Eigenvalues and Diagonal Elements
In this paper we discuss some relations between the eigenvalues and the diagonal entries of Hermitian matrices.
Discover
Research tools
Network
Opportunities
Account
Source author record
Rajendra Bhatia appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we discuss some relations between the eigenvalues and the diagonal entries of Hermitian matrices.
We obtain some inequalities which are stronger than the Schur majorization inequalities.
Let $x$ and $y$ be positive $n$-vectors. We show that there exists a $2n\times 2n$ positive definite real matrix whose symplectic spectrum is $y,$ and the symplectic spectrum of whose diagonal is $x$ if and only if $x$ is weakly supermajorised by $y.$
On the space of positive definite matrices we consider distance functions of the form $d(A,B)=\left[\tr\mathcal{A}(A,B)-\tr\mathcal{G}(A,B)\right]^{1/2},$ where $\mathcal{A}(A,B)$ is the arithmetic mean and $\mathcal{G}(A,B)$ is one of the different versions of the geometric mean. When $\mathcal{G}(A,B)=A^{1/2}B^{1/2}$ this distance is $\|A^{1/2}-B^{1/2}\|_2,$ and when $\mathcal{G}(A,B)=(A^{1/2}BA^{1/2})^{1/2}$ it is the Bures-Wasserstein metric. We study two other cases: $\mathcal{G}(A,B)=A^{1/2}(A^{-1/2}BA^{-1/2})^{1/2}A^{1/2},$ the Pusz-Woronowicz geometric mean, and $\mathcal{G}(A,B)=\exp\big(\frac{\log A+\log B}{2}\big),$ the log Euclidean mean. With these choices $d(A,B)$ is no longer a metric, but it turns out that $d^2(A,B)$ is a divergence. We establish some (strict) convexity properties of these divergences. We obtain characterisations of barycentres of $m$ positive definite matrices with respect to these distance measures.
The norm of the $m$th derivative of the map that takes an operator to its $k$th antisymmetric tensor power is evaluated. The case $m=1$ has been studied earlier by Bhatia and Friedland [R. Bhatia and S. Friedland, Variation of Grassman powers and spectra, Linear Algebra and its Applications, 40:1--18, 1981]. For this purpose a multilinear version of a theorem of Russo and Dye is proved: it is shown that a positive $m$-linear map between $C^{\ast}$-algebras attains its norm at the $m$-tuple $(I, \, I, ..., I).$ Expressions for derivatives of the maps that take an operator to its $k$th tensor power and $k$th symmetric tensor power are also obtained. The norms of these derivatives are computed. Derivatives of the map taking a matrix to its permanent are also evaluated.
Given positive numbers p_1 < p_2 < ... < p_n, and a real number r let L_r be the n by n matrix with its (i,j) entry equal to (p_i^r-p_j^r)/(p_i-p_j). A well-known theorem of C. Loewner says that L_r is positive definite when 0 < r < 1. In contrast, R. Bhatia and J. Holbrook, (Indiana Univ. Math. J, 49 (2000) 1153-1173) showed that when 1 < r < 2, the matrix L_r has only one positive eigenvalue, and made a conjecture about the signatures of eigenvalues of L_r for other r. That conjecture is proved in this paper.
Inequalities for norms of different versions of the geometric mean of two positive definite matrices are presented.
We study the function $(1 - \|x\|)\slash (1 - \|x\|^r),$ and its reciprocal, on the Euclidean space $\mathbb{R}^n,$ with respect to properties like being positive definite, conditionally positive definite, and infinitely divisible.