Stopping criteria for the Ando-Li-Mathias and Bini-Meini-Poloni geometric means

We provide an upper bound for the number of iterations necessary to achieve a desired level of accuracy for the Ando-Li-Mathias [Linear Algebra Appl. 385 (2004) 305-334] and Bini-Meini-Poloni [Math. Comput. 79 (2010) 437-452] symmetrization procedures for computing the geometric mean of n positive definite matrices, where accuracy is measured by the spectral norm and the Thompson metric on the convex cone of positive definite matrices. It is shown that the upper bound for the number of iterations depends only on the diameter of the set of n matrices and the desired convergence tolerance. A striking result is that the upper bound decreases as n increases on any bounded region of positive definite matrices.     

Multi-variable weighted geometric means of positive definite matrices

We define a family of weighted geometric means {G(t;ω;A)}_t∈[0,1]ⁿ where ω and A vary over all positive probability vectors in Rⁿ and n-tuples of positive definite matrices resp. Each of these weighted geometric means interpolates between the weighted ALM (t=0_n) and BMP (t=1_n) geometric means (ALM and BMP geometric means have been defined by Ando-Li-Mathias and Bini-Meini-Poloni, respectively.) We show that the weighted geometric means satisfy multidimensional versions of all properties that one would expect for a two-variable weighted geometric mean.     

Recursively generated weighted shifts and the subnormal completion problem,II

Both authors were partially supported by grants from NSF Raúl Curto was partially supported by a University of Iowa faculty scholar award     

Path of quasi-means as a geodesic

As a generalization of the Hiai-Petz geometries, we discuss two types of them where the geodesics are the quasi-arithmetic means and the quasi-geometric means respectively. Each derivative of such a geodesic might determine a new relative operator entropy. Also in these cases, the Finsler metric can be induced by each unitarily invariant norm. If the norm is strictly convex, then the geodesic is the shortest. We also give examples of the shortest paths which are not the geodesics when the Finsler metrics are induced by the Ky Fan k-norms.     

Structure of Hiai-Petz parametrized geometry for positive definite matrices

Recently Hiai-Petz (2009) [10] discussed a parametrized geometry for positive definite matrices with a pull-back metric for a diffeomorphism to the Euclidean space. Though they also showed that the geodesic is a path of operator means, their interest lies mainly in metrics of the geometry. In this paper, we reconstruct their geometry without metrics and then we show their metric for each unitarily invariant norm defines a Finsler one. Also we discuss another type of geometry in Hiai and Petz (2009) [10] which is a generalization of Corach-Porta-Recht’s one [3].     

Recursively generated weighted shifts and the subnormal completion problem

Both authors were partially supported by grants from NSF Raúl Curto was partially supported by a University of Iowa faculty scholar award     

The geometric mean and B-loop quasigroups of the convex cone of positive definite matrices

In this paper we consider the convex cone of positive definite matrices as algebraic system equipped with geometric mean and B-loop from the standard matrix polar decomposition. Some algebraic structures of these quasigroups are investigated in the context of matrix theory. In particular, their autotopism groups are completely determined: they are isomorphic to the group of positive real numbers.Received: 28 April 2004     

Geometric properties of positive definite matrices cone with respect to the Thompson metric

We shall discuss geometric properties of a quadrangle with parallelogramic properties in a convex cone of positive definite matrices with respect to Thompson metric.     

The sum of unitary similarity orbits containing only special operators

Let B(H) be the algebra of bounded linear operator acting on a Hilbert space H (over the complex or real field). Characterization is given to A₁,…,A_k∈B(H) such that for any unitary operators is always in a special class S of operators such as normal operators, self-adjoint operators, unitary operators. As corollaries, characterizations are given to A∈B(H) such that complex, real or nonnegative linear combinations of operators in its unitary orbit U(A)={U^∗AU:Uunitary} always lie in S.     

The limit of the spectral radius of block Toeplitz matrices with nonnegative entries

A bi-infinite sequence ...,t _–2,t _–1,t ₀,t ₁,t ₂,... of nonnegativep×p matrices defines a sequence of block Toeplitz matricesT _n =(t _ik ),n=1,2,...,, wheret _ik =t _k–i ,i,k=1,...,n. Under certain irreducibility assumptions, we show that the limit of the spectral radius ofT _n , asn tends to infinity, is given by inf{()[0,]}, where () is the spectral radius of _jz t _j ^j .Supported by SFB 343 Diskrete Strukturen in der Mathematik, Universität Bielefeld     

Strong monotonicity for various means

Point-wise monotonicity (in parameters) for various one-parameter families of scalar means such as power difference means, binomial means and Stolarsky means is well known, but norm comparison for corresponding operator means requires monotonicity in the sense of positive definiteness. Among other things we obtain monotonicity in the sense of infinite divisibility, which is much stronger than that in the sense of positive definiteness. These strong monotonicity results are proved based on explicit computations for measures in relevant Lévy–Khintchine (or actually Kolmogorov) formulas.     

Generalized matrix version of reverse Hölder inequality

A generalized matrix version of reverse Cauchy-Schwarz/Hölder inequality is proved. This includes the recent results proved by Bourin, Fujii, Lee, Niezgoda and Seo.     

Positivity and matrix semigroups

We study various aspects of how certain positivity assumptions on complex matrix semigroups affect their structure. Our main result is that every irreducible group of complex matrices with nonnegative diagonal entries is simultaneously similar to a group of weighted permutations. We also consider the corresponding question for semigroups and discuss the effect of the assumption that a fixed linear functional has nonnegative values when restricted to a given semigroup.     

A difference counterpart to a matrix Hölder inequality

We point out a sharp reverse Cauchy-Schwarz/Hölder matrix inequality. The Cauchy-Schwarz version involves the usual matrix geometric mean: Let A_i and B_i be positive definite matrices such that 0<mA_i?B_i?MA_i for some scalars 0<m?M and i=1,2,?,n. Then

     

Positive definite solutions of some matrix equations

In this paper we investigate some existence questions of positive semi-definite solutions for certain classes of matrix equations known as the generalized Lyapunov equations. We present sufficient and necessary conditions for certain equations and only sufficient for others.     

The period and base of a reducible sign pattern matrix

A square sign pattern matrix A (whose entries are ) is said to be powerful if all the powers A,A²,A³,…, are unambiguously defined. For a powerful pattern A, if A^l=A^l+p with l and p minimal, then l is called the base of A and p is called the period of Li et al. [On the period and base of a sign pattern matrix, Linear Algebra Appl. 212/213 (1994) 101-120] characterized irreducible powerful sign pattern matrices. In this paper, we characterize reducible, powerful sign pattern matrices and give some new results on the period and base of a powerful sign pattern matrix.     

The inverse problem of geometric and golden means of positive definite matrices

In this paper we prove that the inverse mean problem of geometric and golden means of positive definite matrices

Positivity Preserving Hadamard Matrix Functions

For every positive real number p that lies between even integers 2(m − 2) and 2(m − 1) we demonstrate a matrix A = [a_ij] of order 2m such that A is positive definite but the matrix with entries |a_ij|^p is not.