Stabilizer information inequalities from phase space distributions

Abstract

The Shannon entropy of a collection of random variables is subject to a number of constraints, the best-known examples being monotonicity and strong subadditivity. It remains an open question to decide which of these "laws of information theory" are also respected by the von Neumann entropy of many-body quantum states. In this article, we consider a toy version of this difficult problem by analyzing the von Neumann entropy of stabilizer states. We find that the von Neumann entropy of stabilizer states satisfies all balanced information inequalities that hold in the classical case. Our argument is built on the fact that stabilizer states have a classical model, provided by the discrete Wigner function: The phase-space entropy of the Wigner function corresponds directly to the von Neumann entropy of the state, which allows us to reduce to the classical case. Our result has a natural counterpart for multi-mode Gaussian states, which sheds some light on the general properties of the construction. We also discuss the relation of our results to recent work by Linden, Ruskai, and Winter.

8 pages. See closely related work arXiv:1302.5453. v3: added appendix on discrete phase spaces

References in corpus (8)

• Positive Wigner functions render classical simulation of quantum computation efficient
• Structure of states which satisfy strong subadditivity of quantum entropy with equality
• The Spectra of Density Operators and the Kronecker Coefficients of the Symmetric Group
• Efficient simulation scheme for a class of quantum optics experiments with non-negative Wigner representation
• Hyperdeterminantal relations among symmetric principal minors
• Non-negative Wigner functions in prime dimensions
• A new inequality for the von Neumann entropy
• Qubit stabilizer states are complex projective 3-designs

Cited by in corpus (21)

• Holographic duality from random tensor networks
• The Holographic Entropy Cone
• Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
• Schur complement inequalities for covariance matrices and monogamy of quantum correlations
• Multipartite Entanglement in Stabilizer Tensor Networks
• Linearity of Holographic Entanglement Entropy
• A family of generalized quantum entropies: definition and properties
• A Non-Commuting Stabilizer Formalism
• Strong subadditivity for log-determinant of covariance matrices and its applications
• Analysing causal structures with entropy
• Maximin is Not Enough
• From log-determinant inequalities to Gaussian entanglement via recoverability theory
• Hypergraph min-cuts from quantum entropies
• Holographic entropy inequalities and gapped phases of matter
• On the relation between the subadditivity cone and the quantum entropy cone
• Recoupling coefficients and quantum entropies
• Bosonic and fermionic Gaussian states from Kähler structures
• An Entropic Lens on Stabilizer States
• Generalized entropies in quantum and classical statistical theories
• Algorithmic construction of SSA-compatible extreme rays of the subadditivity cone and the $\mathsf{N}=6$ solution
• Bounding Entanglement Entropy with Clifford Double Cosets