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
- Revisiting the operator extension of strong subadditivity [44.99833362998488]
We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy $rho_AB otimes sigma_C-1 leq rho_A otimes sigma_BC-1$ by identifying the mathematical structure behind it as Connes' theory of spatial derivatives.
arXiv Detail & Related papers (2025-07-30T14:18:43Z) - Monotonicity of the von Neumann Entropy under Quantum Convolution [3.130722489512822]
In the classical case, it has been shown that the whole sequence of entropies of the normalized sums of i.i.d.random variables is monotonically increasing.
We prove generalizations of the quantum entropy power inequality, enabling us to compare the von Neumann entropy of the $n$-fold symmetric convolution of $n$ arbitrary states.
We propose a quantum-classical version of this entropy power inequality, which helps us better understand the behavior of the von Neumann entropy under the convolution action between a quantum state and a classical random variable.
arXiv Detail & Related papers (2025-04-03T01:45:45Z) - Von Neumann Entropy and Quantum Algorithmic Randomness [0.0]
A state $rho=(rho_n)_n=1infty$ is a sequence such that $rho_n$ is a density matrix on $n$ qubits.
The von Neumann entropy $H(d)$ of a density matrix $d$ is the Shannon entropy of its eigenvalue distribution.
arXiv Detail & Related papers (2024-12-24T18:09:45Z) - 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) - Constructions of $k$-uniform states in heterogeneous systems [65.63939256159891]
We present two general methods to construct $k$-uniform states in the heterogeneous systems for general $k$.
We can produce many new $k$-uniform states such that the local dimension of each subsystem can be a prime power.
arXiv Detail & Related papers (2023-05-22T06:58:16Z) - 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) - Quantum and classical low-degree learning via a dimension-free Remez
inequality [52.12931955662553]
We show a new way to relate functions on the hypergrid to their harmonic extensions over the polytorus.
We show the supremum of a function $f$ over products of the cyclic group $exp(2pi i k/K)_k=1K$.
We extend to new spaces a recent line of work citeEI22, CHP, VZ22 that gave similarly efficient methods for learning low-degrees on hypercubes and observables on qubits.
arXiv Detail & Related papers (2023-01-04T04:15:40Z) - 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) - Monogamy of entanglement between cones [68.8204255655161]
We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones.
Our proof makes use of a new characterization of products of simplices up to affine equivalence.
arXiv Detail & Related papers (2022-06-23T16:23:59Z) - 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) - Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
We study iterative methods based on Krylov subspaces for low-rank approximation under any Schatten-$p$ norm.
Our main result is an algorithm that uses only $tildeO(k/sqrtepsilon)$ matrix-vector products.
arXiv Detail & Related papers (2022-02-10T16:10:41Z) - 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.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.