2011/05/16 by Miklós Pálfia, Pálfia, Miklós · 1 citation
Computer Science · Mathematics · #FOS: Mathematics #Functional Analysis (math.FA) #Holomorphic and Operator Theory #Mathematical Inequalities and Applications #Matrix Theory and Algorithms #math.FA
paper · pdf · doi:10.48550/arxiv.1105.3398
arxiv created 2011/05/16 · openalex publication_date 2011/05/16 · arxiv updated 2011/05/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Here we prove the convergence of the Ando-Li-Mathias and Bini-Meini-Poloni procedures for matrix means. Actually it is proved here that for a two-variable function which maps pairs of positive definite matrices to a positive definite matrix and is not greater than the square mean of two positive definite matrices, the Ando-Li-Mathias and Bini-Meini-Poloni procedure converges. In order to be able to set up the Bini-Meini-Poloni procedure, a weighted two-variable matrix mean is also needed. Therefore a definition of a two-variable weighted matrix mean corresponding to every symmetric matrix mean is also given. It is also shown here that most of the properties considered by Ando, Li and Mathias for the n-variable geometric mean hold for all of these n-variable maps that we obtain by this two limiting process for all two-variable matrix means. As a consequence it also follows that the Bini-Meini-Poloni procedure converges cubically for every matrix mean.