Related papers: Spectral geometric mean and trace characterization…

A geometric characterization is given for invertible quantum measurement maps. Denote by ${\mathcal S}(H)$ the convex set of all states (i.e., trace-1 positive operators) on Hilbert space $H$ with dim$H\leq \infty$, and $[\rho_1, \rho_2]$…

We establish some new properties of spectral geometric mean. In particular, we prove a log majorization relation between $\left(B^{ts/2}A^{(1-t)s}B^{ts/2} \right)^{1/s}$ and the $t$-spectral mean $A\natural_t B :=(A^{-1}\sharp…

We prove the linearity and injectivity of two maps $\phi_1$ and $\phi_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(\phi_1(A)\phi_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $\phi_i:\mathcal{S}\to…

The Riemannian metric on the manifold of positive definite matrices is defined by a kernel function $\phi$ in the form $K_D^\phi(H,K)=\sum_{i,j}\phi(\lambda_i,\lambda_j)^{-1} Tr P_iHP_jK$ when $\sum_i\lambda_iP_i$ is the spectral…

We characterize maps $\phi_i: \mathcal{S} \to \mathcal{S}$, $i=1, \ldots, m$ and $m\ge 1$, that have the multiplicative spectrum or trace preserving property: \begin{eqnarray*} \textrm{spec} (\phi_1(A_1)\cdots \phi_m(A_m)) &=& \textrm{spec}…

In this paper, we prove a trace inequality $\text{Tr}[ f(A) A^s B^s ] \leq \text{Tr}[ f(A) (A^{1/2} B A^{1/2} )^s ]$ for any positive and monotone increasing function $f$, $s\in[0,1]$, and positive semi-definite matrices $A$ and $B$. On the…

The main goal of this article is to present new inequalities for the spectral geometric mean $A\natural_t B$ of two positive definite operators $A, B$ on a Hilbert space. The obtained results complement many known inequalities for the…

We investigate the properties of positive definite and positive semi-definite symmetric matrices within the framework of symmetrized tropical algebra, an extension of tropical algebra adapted to ordered valued fields. We focus on the…

Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…

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…

We show that if $f$ is a non-negative superquadratic function, then $A\mapsto\mathrm{Tr}f(A)$ is a superquadratic function on the matrix algebra. In particular, \begin{align*} \tr f\left( {\frac{{A + B}}{2}} \right) +\tr f\left(\left|…

In the 1980s, Kubo and Ando introduced operator means on $\mathbb{P}$, the open convex cone of positive definite operators. One significant example is the weighted geometric mean $$ A \sharp_{t} B = A^{1/2} (A^{-1/2} B A^{-1/2})^{t}…

The purpose of this paper is to present some general inequalities for operator concave functions which include some known inequalities as a particular case. Among other things, we prove that if $A\in \mathcal{B}\left( \mathcal{H} \right)$…

In this paper we introduce the limit, unique solution of the nonlinear equations, geodesic property, tolerance relations and pinch on the spectral geometric mean for two positive definite operators. We show that the spectral geometric mean…

We extend the geometric side of Arthur's non-invariant trace formula for a reductive group $G$ defined over $\mathbb{Q}$ continuously to a natural space $\mathcal{C}(G(\mathbb{A}^1))$ of test functions which are not necessarily compactly…

We introduce and study a one-parameter family of fidelity-type quantities based on the weighted spectral geometric mean, which we call the \emph{weighted spectral fidelity} \(…

We extend Hardy's inequality from sequences of non-negative numbers to sequences of positive semi-definite operators if the parameter p satisfies 1<p<=2, and to operators under a trace for arbitrary p>1. Applications to trace functions are…

Following an idea of Lin, we prove that if $A$ and $B$ be two positive operators such that $0<mI\le A\le m'I\le M'I\le B\le MI$, then \begin{equation*} {{\Phi }^{2}}\left( \frac{A+B}{2} \right)\le \frac{{{K}^{2}}\left( h \right)}{{{\left(…

For a positive linear map F and a normal matrix N, we show that |F(N)| is bounded by some simple linear combinations in the unitary orbit of F(|N|). Several elegant sharp inequalities are derived, especially for the Schur product.

A linear map $\Phi :\mathbb{M}_n \to \mathbb{M}_k$ is called completely copositive if the resulting matrix $[\Phi (A_{j,i})]_{i,j=1}^m$ is positive semidefinite for any integer $m$ and positive semidefinite matrix $[A_{i,j}]_{i,j=1}^m$. In…