Related papers: A new operator extension of strong subadditivity of quantum entropy

A new operator extension of strong subadditivity of quantum entropy

URL: http://arxiv.org/abs/2211.13372v3
Date: Thu, 25 May 2023 21:24:15 GMT
Title: A new operator extension of strong subadditivity of quantum entropy
Authors: Ting-Chun Lin, Isaac H. Kim, Min-Hsiu Hsieh
Abstract summary: Weak monotonicity asserts that $S(rho_AB) - S(rho_A) + S(rho_BC) - S(rho_C)geq 0$ for any tripartite density matrix $rho_ABC$. We prove an operator inequality, which, upon taking an expectation value with respect to the state $rho_ABC$, reduces to the weak monotonicity inequality.
Score: 12.547444644243544
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Let $S(\rho)$ be the von Neumann entropy of a density matrix $\rho$. Weak monotonicity asserts that $S(\rho_{AB}) - S(\rho_A) + S(\rho_{BC}) - S(\rho_C)\geq 0$ for any tripartite density matrix $\rho_{ABC}$, a fact that is equivalent to the strong subadditivity of entropy. We prove an operator inequality, which, upon taking an expectation value with respect to the state $\rho_{ABC}$, reduces to the weak monotonicity inequality. Generalizations of this inequality to the one involving two independent density matrices, as well as their R\'enyi-generalizations, are also presented.

Related papers

Physical proof of the topological entanglement entropy inequality [0.0]
Recently it was shown that the topological entanglement entropy (TEE) of a two-dimensional gapped ground state obeys the universal inequality $gamma geq log mathcalD$. Here we present an alternative, more direct proof of this inequality.
arXiv Detail & Related papers (2024-08-08T17:06:23Z)
Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
We construct a dimension-independent k-partite disentangler (like) channel from bipartite unentangled input. We show that to capture NEXP, it suffices to have unentangled proofs of the form $| psi rangle = sqrta | sqrt1-a | psi_+ rangle where $| psi_+ rangle has non-negative amplitudes.
arXiv Detail & Related papers (2024-02-23T12:22:03Z)
Equality cases in monotonicity of quasi-entropies, Lieb's concavity and Ando's convexity [0.0]
We revisit and improve joint concavity/rhoity and monotonicity properties quasi-entropies due to Petz in a new fashion. We characterize equality cases in the monotonicity inequalities (the data-processing inequalities) of quasi-entropies in several ways.
arXiv Detail & Related papers (2023-04-10T02:59:53Z)
Generalizations of Powers--Størmer's inequality [0.0]
mathrmtr|A-B|leq 2, mathrmtrbig(f(A)g(B)big) endalign* holds for every positive-valued matrix monotone function $f$. This study demonstrates that the set of functions satisfying this inequality includes additional elements and provides illustrative examples to support this claim.
arXiv Detail & Related papers (2023-02-15T17:59:01Z)
Near-optimal fitting of ellipsoids to random points [68.12685213894112]
A basic problem of fitting an ellipsoid to random points has connections to low-rank matrix decompositions, independent component analysis, and principal component analysis. We resolve this conjecture up to logarithmic factors by constructing a fitting ellipsoid for some $n = Omega(, d2/mathrmpolylog(d),)$. Our proof demonstrates feasibility of the least squares construction of Saunderson et al. using a convenient decomposition of a certain non-standard random matrix.
arXiv Detail & Related papers (2022-08-19T18:00:34Z)
Enlarging the notion of additivity of resource quantifiers [62.997667081978825]
Given a quantum state $varrho$ and a quantifier $cal E(varrho), it is a hard task to determine $cal E(varrhootimes N)$. We show that the one shot distillable entanglement of certain spherically symmetric states can be quantitatively approximated by such an augmented additivity.
arXiv Detail & Related papers (2022-07-31T00:23:10Z)
A trace inequality of Ando, Hiai and Okubo and a monotonicity property of the Golden-Thompson inequality [1.5229257192293197]
The Golden-Thompson trace inequality $Tr, eH+K leq Tr, eH eK$ has proved to be very useful in quantum statistical mechanics. Here we make this G-T inequality more explicit by proving that for some operators, $H=Delta$ or $H= -sqrt-Delta +m$ and $K=$ potential, $Tr, eH+ (1-u)KeuK$ is a monotone increasing function of the parameter $u$ for $0leq
arXiv Detail & Related papers (2022-03-11T18:09:13Z)
Spectral properties of sample covariance matrices arising from random matrices with independent non identically distributed columns [50.053491972003656]
It was previously shown that the functionals $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$. Here, we show that $|mathbb E[R(z)] - tilde R(z)|_F
arXiv Detail & Related papers (2021-09-06T14:21:43Z)
Simplest non-additive measures of quantum resources [77.34726150561087]
We study measures that can be described by $cal E(rhootimes N) =E(e;N) ne Ne$.
arXiv Detail & Related papers (2021-06-23T20:27:04Z)
Relations between different quantum R\'enyi divergences [2.411299055446423]
We investigate relations between the Petz quantum R'enyi divergence $barD_alpha$ and the maximum quantum R'enyi divergence $widehatD_alpha$. We provide a new proof of the inequality $widetildeD_1(rho | sigma) leqslant widehatD_1(rho | sigma),,$ based on the Araki-Lieb-Thirring
arXiv Detail & Related papers (2020-12-12T09:30:07Z)
Linear Time Sinkhorn Divergences using Positive Features [51.50788603386766]
Solving optimal transport with an entropic regularization requires computing a $ntimes n$ kernel matrix that is repeatedly applied to a vector. We propose to use instead ground costs of the form $c(x,y)=-logdotpvarphi(x)varphi(y)$ where $varphi$ is a map from the ground space onto the positive orthant $RRr_+$, with $rll n$.
arXiv Detail & Related papers (2020-06-12T10:21:40Z)

This list is automatically generated from the titles and abstracts of the papers in this site.