Search arXivSearch

arXiv · 2301.09777

The entry sum of the inverse Cauchy matrix

Abstract

Let $x_{1},x_{2},\ldots,x_{n}$ be $n$ numbers, and $y_{1},y_{2},\ldots,y_{n}$ be $n$ further numbers chosen such that all $n^{2}$ pairwise sums $x_{i}+y_{j}$ are nonzero. Consider the $n\times n$-matrix \[ C:=\left( \dfrac{1}{x_{i}+y_{j}}\right) _{1\leq i\leq n,\ 1\leq j\leq n} = \begin{pmatrix} \dfrac{1}{x_{1}+y_{1}} & \dfrac{1}{x_{1}+y_{2}} & \cdots & \dfrac{1}{x_{1}+y_{n}}\\ \dfrac{1}{x_{2}+y_{1}} & \dfrac{1}{x_{2}+y_{2}} & \cdots & \dfrac{1}{x_{2}+y_{n}}\\ \vdots & \vdots & \ddots & \vdots\\ \dfrac{1}{x_{n}+y_{1}} & \dfrac{1}{x_{n}+y_{2}} & \cdots & \dfrac{1}{x_{n}+y_{n}} \end{pmatrix}. \] This matrix $C$ is known as the "Cauchy matrix", and has been studied for 180 years. A classical result says that if $C$ is invertible, then the sum of all entries of its inverse $C^{-1}$ is $\sum_{k=1}^{n}x_{k}+\sum_{k=1}^{n}y_{k}$. We give a simple and short proof of this result, and briefly discuss a "tropicalized" variant in which the entries $\dfrac{1}{x_i+y_j}$ are replaced by $ \min\left\{ x_{i},y_{j}\right\}$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Darij Grinberg. 2023-01-24. The entry sum of the inverse Cauchy matrix. https://doi.org/10.1007/s00283-023-10268-4

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Normal Quaternionic Matrices and Finitely Generated Witt Rings

We present a new approach to verify the Elementary Type Conjecture for abstract Witt rings with small number of square classes. To do so, we make use of an abstract analogue of the 2-torsion part of the Brauer group. We develop a description of the entire structure of an abstract Witt ring with $2^n$ square classes in terms of a unique $n\times n$ matrix satisfying a small additional condition that particularly holds for Witt rings of fields. Via computational search, we find all these matrices for $n$ up to $7$. This verifies that all Witt rings of fields with up to $128$ square classes are of elementary type.

math.RA

Graded differential polynomial rings

We study differential polynomial rings $R[t;δ]$ over $Γ$-graded rings, where $Γ$ is an arbitrary group. We show that $R[t;δ]$ admits a $Γ$-grading compatible with that of $R$ if and only if $δ$ is a $γ$-derivation for some $γ\in C_Γ(Γ_R)$, and that this grading is unique once $°(t)=γ$ is fixed; if $δ\neq0$, then $γ$ is itself uniquely determined by $δ$. We characterize the resulting graded ring by a universal property. We prove a characteristic-free center criterion for gr-simplicity whenever $Z(R[t;δ])$ is a graded subring; in characteristic zero, gr-simplicity is equivalent to $δ$-gr-simplicity of $R$ and $γ$-outerness of $δ$, extending Jordan's simplicity criterion to the graded setting. We further show that $R[t;δ]$ is gr-prime if and only if $R$ is $δ$-gr-prime, and that gr-Noetherianity of $R$ passes to $R[t;δ]$, recovering a graded Hilbert basis theorem as a special case. When $Γ$ is abelian, gr-simplicity and gr-primality are shown to be invariants of homogeneous graded Morita equivalence, and every ring homogeneously graded equivalent to $R[t;δ]$ via a compatible idempotent is again a graded differential polynomial ring.

math.RA

Affinization of algebraic structures: Poisson algebras

An affinization of the notion of a Poisson algebra is presented. This is termed a Poisson affgebra and consists of an affine space together with an associative bi-affine multiplication and a bi-affine Lie bracket that acts as an affine derivation for the associative product. The constructive relation between Poisson affgebras and Poisson algebras is described and several low-dimensional examples are studied in detail.

math.RA