Operator means deformed by a fixed point method (Q782511): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
(4 intermediate revisions by 4 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3004457552 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1711.10170 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concavity of certain maps on positive definite matrices and applications to Hadamard products / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometric means / 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: Monotonicity of the matrix geometric mean / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5326984 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3471077 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matrix Analysis: Matrix Monotone Functions, Matrix Means, and Majorization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Means for matrices and comparison of their norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Log-majorization and Lie-Trotter formula for the Cartan barycenter on probability measure spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometric mean flows and the Cartan barycenter on the Wasserstein space over positive definite matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Operator means of probability measures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ando–Hiai type inequalities for multivariate operator means / rank
 
Normal rank
Property / cites work
 
Property / cites work: The power mean and the least squares mean of probability measures on the space of positive definite matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: A fixed point mean approximation to the Cartan barycenter of positive definite matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Means of positive linear operators / 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: Weighted means and Karcher equations of positive operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Karcher means and Karcher equations of positive definite operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matrix power means and the Karcher mean / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximations to the Karcher mean on Hadamard spaces via geometric power means / 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: Operator means of probability measures and generalized Karcher equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weighted multivariable operator means of positive definite operators / 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: Q4453431 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Certain Contraction Mappings in a Partially Ordered Vector Space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some properties of weighted operator means and characterizations of interpolational means / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Riemannian mean and matrix inequalities related to the Ando-Hiai inequality and chaotic order / rank
 
Normal rank
Property / cites work
 
Property / cites work: An elementary proof of arithmetic-geometric mean inequality of the weighted Riemannian mean of positive definite matrices / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Revision as of 03:40, 23 July 2024

scientific article
Language Label Description Also known as
English
Operator means deformed by a fixed point method
scientific article

    Statements

    Operator means deformed by a fixed point method (English)
    0 references
    0 references
    27 July 2020
    0 references
    The study of operator means began with the work of \textit{W. N. Anderson jun.} and \textit{R. J. Duffin} [J. Math. Anal. Appl. 26, 576--594 (1969; Zbl 0177.04904)] who first studied the arithmetic and harmonic means and proved the arithmetic-harmonic mean inequality. The geometric mean was introduced by \textit{W. Pusz} and \textit{S. L. Woronowicz} [Rep. Math. Phys. 8, 159--170 (1975; Zbl 0327.46032)]. \textit{T. Ando} [Linear Algebra Appl. 26, 203--241 (1979; Zbl 0495.15018)] proved the arithmetic-geometric mean inequality. The axiomatic theory for connections and means for pairs of positive operators was developed by \textit{K. Nishio} and \textit{T. Ando} [J. Math. Anal. Appl. 53, 539--549 (1976; Zbl 0332.94010)] and \textit{F. Kubo} and \textit{T. Ando} [Math. Ann. 246, 205--224 (1980; Zbl 0412.47013)]. An operator connection \(\sigma \) is a binary operation on the set of positive operators \(A,B,C,\dots \) on a Hilbert space satisfying the following axioms: \begin{itemize} \item[(i)] \(A\le C, B\le D \) imply \(A\sigma B\le C\sigma D\), \item[(ii)] \( C(A\sigma B)C \le (CAC)\sigma (CBC)\), \item[(iii)] \(A_k\downarrow A\) and \(B_k\downarrow B\) imply \(( A_k\sigma B_k)\downarrow ( A\sigma B)\). \end{itemize} A mean is a connection with normalization condition \begin{itemize} \item[(iv)] \(I\sigma I=I\). \end{itemize} Kubo and Ando [loc.\,cit.]\ proved that there is an isomorphism between the class of connections and positive operator monotone functions \(f_\sigma\) (called the representing function of \(\sigma \)) on \((0,\infty )\). This isomorphism \(\sigma \leftrightarrow f_\sigma\) is characterized by the relation \[A\sigma B= A^{1/2}f_\sigma (A^{-1/2}BA^{-1/2})A^{1/2}.\] The operator monotone functions \(\frac{x+1}{2}\), \(x^{1/2}\) and \(\frac{2x}{x+1}\) give the arithmetic mean (\(A\Delta B)\), the geometric mean \((A\# B)\) and the harmonic mean \((A!B)\), respectively. If \(f_\sigma \) is the representing function of a connection \(\sigma\), then the connection corresponding to the operator monotone function \(x(f_\sigma (x))^{-1}\) is called the dual \((\sigma ^{\perp})\) of \(\sigma \). In his unpublished thesis, Kubo considered the map \(\theta \) on the set of positive operators for a pair \(\sigma ,\tau\) of operator means and operators \(A,B\) defined by \[\theta (X)= (A\sigma X)\tau (B\sigma X)\] and proved that the iterates converges to a fixed point of \(\theta \) which is unique among \(X\) such that \(X \ge c( A^{-1}+B^{-1})^{-1}\) for some \(c>0.\) It is also shown that \[\lim_{n\rightarrow \infty }\theta ^n\left (\frac{A+B}{2}\right )= \lim_{n\rightarrow \infty }\theta ^n\left(2(A^{-1}+B^{-1})^{-1}\right). \] \textit{Yu. M. Arlinskij} [Ukr. Math. J. 42, No. 6, 639--645 (1990), translation from Ukr. Mat. Zh. 42, No. 6, 723--730 (1990; Zbl 0709.47018)] proved that the geometric mean is the unique fixed point of the map \(X\rightarrow (A\Delta X)!(B\Delta X)\). Extending this result further, \textit{J. S. Aujla} [Linear Algebra Appl. 290, No. 1--3, 109--118 (1999; Zbl 0931.15018)] proved that the geometric mean is the unique fixed point of \(\theta \) in the case when \( \tau =\sigma ^{\perp }\). In Section 2, the author proves that the map \(\theta \) has a unique fixed point and denotes it by \(A\tau_\sigma B\). Then the author proves that \(\tau_\sigma \) itself defines an operator mean and calls it deformed operator mean. In Section~3, the author discusses some properties of the deformed operator means \(\tau_\sigma \) and some examples are also provided. It was a long standing problem to define the geometric mean of more than two operators. In 2004, Ando, Li and Mathias [\textit{T. Ando} et al., Linear Algebra Appl. 385, 305--334 (2004; Zbl 1063.47013)] defined the geometric mean for more than two operators (multivariate geometric mean) in an iterative way and studied its various properties. Then \textit{M. Moakher} [SIAM J. Matrix Anal. Appl. 26, No. 3, 735--747 (2005; Zbl 1079.47021)], \textit{R. Bhatia} and \textit{J. Holbrook} [Linear Algebra Appl. 413, No. 2--3, 594--618 (2006; Zbl 1088.15022)] defined multivariate geometric means using differential geometry approach and studied their properties. After this, several definitions of multivariate geometric mean were proposed and studied by several authors. In Section~4 of the present paper, the author considers a multivariate mean \(M\) satisfying certain properties, operator means \(\sigma _1,\dots ,\sigma _k\), and positive operators \(A_1,\dots ,A_k\). It is shown that the map \(F(X)=M(X\sigma _1A_1,\dots ,X\sigma _k A_k)\) has a unique fixed point. This unique fixed point is called multivariate deformed mean. Some of its properties are studied here. A~reasonable number of references are given.
    0 references
    operator mean
    0 references
    operator monotone function
    0 references
    positive definite matrices
    0 references
    fixed point
    0 references
    Thompson metric
    0 references
    weighted geometric mean
    0 references
    weighted power mean
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references