Monotonicity of the matrix geometric mean (Q443939): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(A_{1},A_{2},\dots,A_{m}\) be elements of \(\mathbb{P}\), let \(G=G(A_{1},A_{2},\dots,A_{m})\) and \(\alpha =\sum \frac{1}{m} \delta^{2}_{2}(G,A_{j})\). For \(n\geq1\), let \(\mathcal{J}_{n}\) be the set of all ordered \(n\)-tuples \((j_{1},j_{2},\dots,j_{n})\), with \(j_{k}\in \{1,2,\dots,m \}\). This is a set with \(m^{n}\) elements. For each element of this set a ``mean'' \(\mathcal{M}_{n}(j_{1},j_{2},\dots,j_{n})\) of the given matrices \(A_{1},A_{2},\dots,A_{m}\) is defined by the following inductive procedure: \(\mathcal{M}_{1}(j)=A_{j}\) for all \(j\in\mathcal{J}_{1}\), \(\mathcal{M}_{n+1}(j_{1},j_{2},\dots,j_{n},k)=\mathcal{M}_{n}(j_{1},j_{2},\dots,j_{n})\sharp_{\frac{1}{n+1}}A_{k}\) for all \((j_{1},j_{2},\dots,j_{n})\) in \(\mathcal{J}_{n}\) and \(k\) in \(\mathcal{J}_{1}\). In this paper, the authors give an elementary proof of the below theorem, which was first proved by \textit{J. Lawson} and \textit{Y. Lim} [Math. Ann. 351, No. 2, 267--279 (2011; Zbl 1229.15024)], using standard matrix analysis and some counting arguments: Let \(A_{1},A_{2},\dots,A_{m}\) and \(A_{1}^{'},A_{2}^{'},\dots,A_{m}^{'}\) be positive definite matrices such that \(A_{j}\leq A_{j}^{'}\) for \(1\leq j\leq m\). Then \(G(A_{1},A_{2},\dots,A_{m})\leq G(A_{1}^{'},A_{2}^{'},\dots,A_{m}^{'})\). The authors arguments give simplifications of the proofs of joint concavity and continuity, which are the two important properties of the geometric mean. They give some new inequalities and results. The results can also be proved for the weighted geometric mean and their argument offers an easy transition from the equal-weights case to the general one. | |||
Property / review text: Let \(A_{1},A_{2},\dots,A_{m}\) be elements of \(\mathbb{P}\), let \(G=G(A_{1},A_{2},\dots,A_{m})\) and \(\alpha =\sum \frac{1}{m} \delta^{2}_{2}(G,A_{j})\). For \(n\geq1\), let \(\mathcal{J}_{n}\) be the set of all ordered \(n\)-tuples \((j_{1},j_{2},\dots,j_{n})\), with \(j_{k}\in \{1,2,\dots,m \}\). This is a set with \(m^{n}\) elements. For each element of this set a ``mean'' \(\mathcal{M}_{n}(j_{1},j_{2},\dots,j_{n})\) of the given matrices \(A_{1},A_{2},\dots,A_{m}\) is defined by the following inductive procedure: \(\mathcal{M}_{1}(j)=A_{j}\) for all \(j\in\mathcal{J}_{1}\), \(\mathcal{M}_{n+1}(j_{1},j_{2},\dots,j_{n},k)=\mathcal{M}_{n}(j_{1},j_{2},\dots,j_{n})\sharp_{\frac{1}{n+1}}A_{k}\) for all \((j_{1},j_{2},\dots,j_{n})\) in \(\mathcal{J}_{n}\) and \(k\) in \(\mathcal{J}_{1}\). In this paper, the authors give an elementary proof of the below theorem, which was first proved by \textit{J. Lawson} and \textit{Y. Lim} [Math. Ann. 351, No. 2, 267--279 (2011; Zbl 1229.15024)], using standard matrix analysis and some counting arguments: Let \(A_{1},A_{2},\dots,A_{m}\) and \(A_{1}^{'},A_{2}^{'},\dots,A_{m}^{'}\) be positive definite matrices such that \(A_{j}\leq A_{j}^{'}\) for \(1\leq j\leq m\). Then \(G(A_{1},A_{2},\dots,A_{m})\leq G(A_{1}^{'},A_{2}^{'},\dots,A_{m}^{'})\). The authors arguments give simplifications of the proofs of joint concavity and continuity, which are the two important properties of the geometric mean. They give some new inequalities and results. The results can also be proved for the weighted geometric mean and their argument offers an easy transition from the equal-weights case to the general one. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Süleyman Güler / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15B48 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47A64 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A45 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6065231 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
positive definite matrices | |||
Property / zbMATH Keywords: positive definite matrices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
geometric mean | |||
Property / zbMATH Keywords: geometric mean / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
monotonicity | |||
Property / zbMATH Keywords: monotonicity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
concavity | |||
Property / zbMATH Keywords: concavity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
continuity | |||
Property / zbMATH Keywords: continuity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
inequalities | |||
Property / zbMATH Keywords: inequalities / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00208-011-0721-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2058822223 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric means / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Panoramic View of Riemannian Geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5690490 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3425149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Riemannian geometry and matrix geometric means / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Noncommutative geometric means / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An effective matrix geometric mean satisfying the Ando–Li–Mathias properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4380377 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Riemannian center of mass and mollifier smoothing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monotonic properties of the least squares mean / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalizations of Ky Fan's Dominance Theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Differential Geometric Approach to the Geometric Mean of Symmetric Positive-Definite Matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Functional calculus for sesquilinear forms and the purification map / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3158276 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4453431 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:57, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monotonicity of the matrix geometric mean |
scientific article |
Statements
Monotonicity of the matrix geometric mean (English)
0 references
13 August 2012
0 references
Let \(A_{1},A_{2},\dots,A_{m}\) be elements of \(\mathbb{P}\), let \(G=G(A_{1},A_{2},\dots,A_{m})\) and \(\alpha =\sum \frac{1}{m} \delta^{2}_{2}(G,A_{j})\). For \(n\geq1\), let \(\mathcal{J}_{n}\) be the set of all ordered \(n\)-tuples \((j_{1},j_{2},\dots,j_{n})\), with \(j_{k}\in \{1,2,\dots,m \}\). This is a set with \(m^{n}\) elements. For each element of this set a ``mean'' \(\mathcal{M}_{n}(j_{1},j_{2},\dots,j_{n})\) of the given matrices \(A_{1},A_{2},\dots,A_{m}\) is defined by the following inductive procedure: \(\mathcal{M}_{1}(j)=A_{j}\) for all \(j\in\mathcal{J}_{1}\), \(\mathcal{M}_{n+1}(j_{1},j_{2},\dots,j_{n},k)=\mathcal{M}_{n}(j_{1},j_{2},\dots,j_{n})\sharp_{\frac{1}{n+1}}A_{k}\) for all \((j_{1},j_{2},\dots,j_{n})\) in \(\mathcal{J}_{n}\) and \(k\) in \(\mathcal{J}_{1}\). In this paper, the authors give an elementary proof of the below theorem, which was first proved by \textit{J. Lawson} and \textit{Y. Lim} [Math. Ann. 351, No. 2, 267--279 (2011; Zbl 1229.15024)], using standard matrix analysis and some counting arguments: Let \(A_{1},A_{2},\dots,A_{m}\) and \(A_{1}^{'},A_{2}^{'},\dots,A_{m}^{'}\) be positive definite matrices such that \(A_{j}\leq A_{j}^{'}\) for \(1\leq j\leq m\). Then \(G(A_{1},A_{2},\dots,A_{m})\leq G(A_{1}^{'},A_{2}^{'},\dots,A_{m}^{'})\). The authors arguments give simplifications of the proofs of joint concavity and continuity, which are the two important properties of the geometric mean. They give some new inequalities and results. The results can also be proved for the weighted geometric mean and their argument offers an easy transition from the equal-weights case to the general one.
0 references
positive definite matrices
0 references
geometric mean
0 references
monotonicity
0 references
concavity
0 references
continuity
0 references
inequalities
0 references
0 references