We prove the linearity and injectivity of two maps $ϕ_1$ and $ϕ_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(ϕ_1(A)ϕ_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $ϕ_i:\mathcal{S}\to \mathcal{S}$ ($i=1, \ldots, m$) satisfying $$\operatorname{tr} (ϕ_1(A_1)\cdots ϕ_m(A_m))=\operatorname{tr} (A_1\cdots A_m)$$ in which $\mathcal{S}$ is the set of $n$-by-$n$ general, Hermitian, or symmetric matrices for $m\ge 3$, or positive definite or diagonal matrices for $m\ge 2$. The real versions are also given.
We study the triangle inequalities for angles (with different definitions) and present inequalities concerning the entries of correlation matrices through the positivity of $3\times 3$ matrices. We extend our discussions to the inequalities concerning the triangle triplets with metric-preserving and subadditive functions.
For tri-diagonal matrices arising in the simplified Jaynes--Cummings model, we give an asymptotics of the eigenvalues, prove a trace formula and show that the Spectral Riemann Surface is irreducible.
Let H be a positive semidefinite matrix partitioned into Hermitian blocks. Then, up to a direct sum operation, H is the average of matrices isometrically congruent to its partial trace. A few corollaries are given, related to important inequalities in quantum information theory such as the Nielsen-Kempe separability criterion.
We prove a higher order asymptotic formula for traces of finite block Toeplitz matrices with symbols belonging to Hölder-Zygmund spaces. The remainder in this formula goes to zero very rapidly for very smooth symbols. This formula refine previous asymptotic trace formulas by Szegö and Widom and complement higher order asymptotic formulas for determinants of finite block Toeplitz matrices due to Böttcher and Silbermann.
Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the matrix $B$ can be taken to be normal.
In this note we prove that Tr (MN+ PQ)>= 0 when the following two conditions are met: (i) the matrices M, N, P, Q are structured as follows: M = A -B, N = inv(B)-inv(A), P = C-D, Q =inv (B+D)-inv(A+C), where inv(X) denotes the inverse matrix of X (ii) A, B are positive definite matrices and C, D are positive semidefinite matrices.
Suppose a map $ϕ$ on the set of positive definite matrices satisfies $\det(A+B)=\det(ϕ(A)+ϕ(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(ϕ(A){ϕ(B)}^{-1}).$$ Through this viewpoint, we show that $ϕ$ is of the form $ϕ(A)= M^*AM$ or $ϕ(A)= M^*A^tM$ for some invertible matrix $M$ with $\det (M^*M)=1$. We also characterize the map $ϕ: \mathcal{S} \rightarrow \mathcal{S}$ preserving the determinant of convex combinations in $\mathcal{S}$ by using similar method. Here $\mathcal{S}$ can be the set of complex matrices, positive definite matrices, symmetric matrices, and upper triangular matrices.
Let $A$ be a $m\times m$ complex matrix with zero trace. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|_2\le (\log m+O(1))^{1/2}\|A\|_2$ where $\|D\|$ is the norm of $D$ as an operator on $\ell_2^m$ and $\|D\|_2$ is the Hilbert--Schmidt norm of $D$. Moreover, the matrix $B$ can be taken to be normal. Conversely there is a zero trace $m\times m$ matrix $A$ such that whenever $A=[B,C]$, $\|B\|\|C\|_2\ge |\log m-O(1)|^{1/2}\|A\|_2$ for some absolute constant $c>0$.
Functions preserving Loewner positivity when applied entrywise to positive semidefinite matrices have been widely studied in the literature. Following the work of Schoenberg [Duke Math. J. 9], Rudin [Duke Math. J. 26], and others, it is well-known that functions preserving positivity for matrices of all dimensions are absolutely monotonic (i.e., analytic with nonnegative Taylor coefficients). In this paper, we study functions preserving positivity when applied entrywise to sparse matrices, with zeros encoded by a graph $G$ or a family of graphs $G_n$. Our results generalize Schoenberg and Rudi…
Trace and extreme eigenvalues of a product of truncated Toeplitz matrices. The singular case. In a first theorem we give an asymptotic expansion of Tr (T_N (f_1) T_N^{-1}(f_2)) where f1 (θ) = |1 - e^{i θ} | ^{2{α1}c1 (eiθθ) and f2 (θ) = |1 - e ^{iθ}| ^{2α2}c2 (eiθ), with c1 and c2 are two regular functions of the torus and - 1/2 < α1, α2 < 1/2 . In a second part of this work we study the particular case where α1 > 0 and α2 < 0. Then we obtain the asymptotic of the trace of the powers of Tr (T_N (f_1) T_N^{-1}(f_2)) for s {\in} N* that provides us the limits when N goes to the infinity of the e…
We first present a determinant inequality related to partial traces for positive semidefinite block matrices. Our result extends a result of Lin [Czech. Math. J. 66 (2016)] and improves a result of Kuai [Linear Multilinear Algebra 66 (2018)]. Moreover, we provide a unified treatment of a result of Ando [ILAS Conference (2014)] and a recent result of Li, Liu and Huang [Operators and Matrices 15 (2021)]. Furthermore, we also extend some determinant inequalities involving partial traces to a larger class of matrices whose numerical ranges are contained in a sector. In addition, some extensions on…
In this paper we determine those bijective maps of the set of all positive definite $n\times n$ complex matrices which preserve a given Bregman divergence corresponding to a differentiable convex function that satisfies certain conditions. We cover the cases of the most important Bregman divergences and present the precise structure of the mentioned transformations. Similar results concerning Jensen divergences and their preservers are also given.
Let $H$ be a positive semi-definite matrix partitioned in $β\times β$ Hermitian blocks, $H=[A_{s,t}]$, $1\le s,t,\le β$. Then, for all symmetric norms, {equation*} \| H \| \le \| \sum_{s=1}^β A_{s,s} \|. {equation*} The proof uses a nice decomposition for positive matrices and unitary congruences with the generators of a Clifford algebra. A few corollaries are given, in particular the partial trace operation increases norms of separable states on a real Hilbert space, leading to a conjecture for usual complex Hilbert spaces.
Let $V$ be the set of $n\times n$ complex or real general matrices, Hermitian matrices, symmetric matrices, positive definite (resp. semi-definite) matrices, diagonal matrices, or upper triangular matrices. Fix $k\in \mathbb{Z}\setminus \{0, 1\}$. We characterize linear maps $ψ:V\to V$ that satisfy $ψ(A^k)=ψ(A)^k$ on an open neighborhood $S$ of $I_n$ in $V$. The $k$-power preservers are necessarily $k$-potent preservers, and the case $k=2$ corresponds to Jordan homomorphisms. Applying the results, we characterize maps $ϕ,ψ:V\to V$ that satisfy "$ \operatorname{tr}(ϕ(A)ψ(B)^k)=\operatorname{tr}…
This note reports partial results related to the Gaussian product inequality (GPI) conjecture for the joint distribution of traces of Wishart matrices. In particular, several GPI-related results from Wei (2014) and Liu et al. (2015) are extended in two ways: by replacing the power functions with more general classes of functions, and by replacing the usual Gaussian and multivariate gamma distributional assumptions by the more general trace-Wishart distribution assumption. These findings suggest that a Kronecker product form of the GPI holds for diagonal blocks of any Wishart distribution.
In this short paper, we give a complete and affirmative answer to a conjecture on matrix trace inequalities for the sum of positive semidefinite matrices. We also apply the obtained inequality to derive a kind of generalized Golden-Thompson inequality for positive semidefinite matrices.
Negativity-preserving transforms of tuples of symmetric matrices
University of Plymouth（普利茅斯大学）；University of Delaware（特拉华大学）；Indian Institute of Science（印度科学学院）；Analysis & Probability Research Group（分析与概率研究组）；University of California at Santa Barbara（加州大学圣塔芭芭拉分校）
An $n \times n$ matrix $A$ with real entries is said to be Schur stable if all the eigenvalues of $A$ are inside the open unit disc. We investigate the structure of linear maps on $M_n(\mathbb{R})$ that preserve the collection $\mathcal{S}$ of Schur stable matrices. We prove that if $L$ is a linear map such that $L(\mathcal{S}) \subseteq \mathcal{S}$, then $ρ(L)$ (the spectral radius of $L$) is at most $1$ and when $L(\mathcal{S}) = \mathcal{S}$, we have $ρ(L) = 1$. In the latter case, the map $L$ preserves the spectral radius function and using this, we characterize such maps on both $M_n(\ma…
Let ${\mathcal M}_2(\mathbb F)$ be the algebra of 2$\times$2 matrices over the real or complex field $\mathbb F$. For a given positive integer $k\geq 1$, the $k$-commutator of $A$ and $B$ is defined by $[A,B]_k=[[A,B]_{k-1},B]$ with $[A,B]_0=A$ and $[A,B]_1=[A,B]=AB-BA$. The main result is shown that a map $Φ: {\mathcal M}_2(\mathbb F)\to {\mathcal M}_2(\mathbb F)$ with range containing all rank one matrices satisfies that $[Φ(A),Φ(B)]_k = [A,B]_k $ for all $A, B\in{\mathcal M}_2(\mathbb F)$ if and only if there exist a functional $h :{\mathcal M}_2(\mathbb F) \rightarrow {\mathbb F}$ and a sc…
Given a function $f:(0,\infty)\rightarrow\RR$ and a positive semidefinite $n\times n$ matrix $P$, one may define a trace functional on positive definite $n\times n$ matrices as $A\mapsto \Tr(Pf(A))$. For differentiable functions $f$, the function $A\mapsto \Tr(Pf(A))$ is differentiable at all positive definite matrices $A$. Under certain continuity conditions on~$f$, this function may be extended to certain non-positive-definite matrices $A$, and the \emph{directional} derivatives of $\Tr(Pf(A)$ may be computed there. This note presents conditions for these directional derivatives to exist and…
