相关论文: Golden-Thompson via pinching inequality
We find further implications of the BMV conjecture, which states that for hermitian matrices A and B, the function Tr exp(A - t B) is the Laplace transform of a positive measure.
Relating to finding possible upper bounds for the probability of error for discriminating between two quantum states, it is well-known that \begin{align*} \mathrm{tr}(A+B) - \mathrm{tr}|A-B|\leq 2\, \mathrm{tr}\big(f(A)g(B)\big)…
In \cite{bik1}, A. M. Bikchentaev conjectured that for positive $\tau-$measurable operators $a$ and $b$ affiliated with an arbitrary semifinite von Neumann algebra $\mathcal M$, the operator $b^{1/2}ab^{1/2}$ is submajorized by the operator…
We observe that the Hermite-Hadamard inequality written in the form $$f\left(\frac{x+y}{2}\right)\leq\frac{F(y)-F(x)}{y-x}\leq\frac{f(x)+f(y)}{2}$$ may be viewed as an inequality between two quadrature operators…
We study concave trace functions of several operator variables and formulate and prove multivariate generalisations of the Golden-Thompson inequality. The obtained results imply that certain functionals in quantum statistical mechanics have…
Let $G = (G,+)$ be a compact connected abelian group, and let $\mu_G$ denote its probability Haar measure. A theorem of Kneser (generalising previous results of Macbeath and Raikov) establishes the bound $$ \mu_G(A + B) \geq \min(…
We establish two inequalities in real inner product spaces. The first is a multiplicative strengthening of the classical Hornich-Hlawka inequality: for all vectors $x, y, z$ in a real inner product space $H$ \[ \|x\|\,\|y\| +…
Let $\mathbb{C}^{n\times n}$ be the set of all $n \times n$ complex matrices. For any Hermitian positive semi-definite matrices $A$ and $B$ in $\mathbb{C}^{n\times n}$, their new common upper bound less than $A+B-A:B$ is constructed, where…
We recognise that an entropy inequality akin to the main intermediate goal of recent works (Gowers, Green, Manners, Tao [3],[2]) regarding a conjecture of Marton provides a black box from which we can also through a short deduction recover…
Let X and Y be two nxn Hermitian matrices. In the article "Proof of a conjectured exponential formula" (Linear and Multilinear Algebra (19) 1986, 187-197) R. C. Thompson proved that there exist two nxn unitary matrices U and V such that $$…
We show that recent multivariate generalizations of the Araki-Lieb-Thirring inequality and the Golden-Thompson inequality [Sutter, Berta, and Tomamichel, Comm. Math. Phys. (2016)] for Schatten norms hold more generally for all unitarily…
We consider a family of multivariate trace inequalities recently derived by Sutter, Berta and Tomamichel. These inequalities generalize the Golden-Thompson inequality and Lieb's three-matrix inequality to an arbitrary number of matrices in…
It is known that for a completely positive and trace preserving (cptp) map ${\cal N}$, $\text{Tr}$ $\exp$$\{ \log \sigma$ $+$ ${\cal N}^\dagger [\log {\cal N}(\rho)$ $-\log {\cal N}(\sigma)] \}$ $\leqslant$ $\text{Tr}$ $\rho$ when $\rho$,…
Let f be a non-negative concave function on the positive half-line. Let A and B be two positive matrices. Then, for all symmetric norms, || f(A+B) || is less than || f(A)+f(B) ||. When f is operator concave, this was proved by Ando and…
Let $A, B$ be positive definite matrices, $p=1, 2$ and $r\ge 0$. It is shown that \begin{equation*} ||A+ B + r(A\sharp_t B+A\sharp_{1-t} B)||_p \le ||A+ B + r(A^{t}B^{1-t} + A^{1-t}B^t)||_p. \end{equation*} We also prove that for positive…
In this article, we prove that the double inequality $$\alpha G(a,b)+(1-\alpha)C(a,b)<M(a,b)<\beta G(a,b)+(1-\beta)C(a,b)$$ holds true for all $a,b>0$ with $a\neq b$ if and only if $\alpha\geq 5/9$ and $\beta\leq…
We fill the gap left open in \cite{MT}, regarding the minimum exponent on the logarithmic correction weight so that the Leray-Trudinger inequality (see \cite{PsSp}) holds. Instead of the representation formula used in \cite{PsSp} and…
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…
For positive definite matrices $A$ and $B$, the Araki-Lieb-Thirring inequality amounts to an eigenvalue log-submajorisation relation for fractional powers $$\lambda(A^t B^t) \prec_{w(\log)} \lambda^t(AB), \quad 0<t\le 1,$$ while for…
Let $A, B$ and $X$ be $n\times n$ matrices such that $A, B$ are positive semidefinite. We present some refinements of the matrix Cauchy-Schwarz inequality by using some integration techniques and various refinements of the Hermite--Hadamard…