Sufficiency of Rényi divergences
arXiv:2304.12989 · doi:10.1109/TIT.2024.3376395
Abstract
A set of classical or quantum states is equivalent to another one if there exists a pair of classical or quantum channels mapping either set to the other one. For dichotomies (pairs of states), this is closely connected to (classical or quantum) Rényi divergences (RD) and the data-processing inequality: If a RD remains unchanged when a channel is applied to the dichotomy, then there is a recovery channel mapping the image back to the initial dichotomy. Here, we prove for classical dichotomies that equality of the RDs alone is already sufficient for the existence of a channel in any of the two directions and discuss some applications. In the quantum case, all families of quantum RDs are seen to be insufficient because they cannot detect anti-unitary transformations. Thus, including anti-unitaries, we pose the problem of finding a sufficient family. It is shown that the Petz and maximal quantum RD are still insufficient in this more general sense and we provide evidence for sufficiency of the minimal quantum RD. As a side result of our techniques, we obtain an infinite list of inequalities fulfilled by the classical, the Petz quantum, and the maximal quantum RDs. These inequalities are not true for the minimal quantum RDs. Our results further imply that any sufficient set of conditions for state transitions in the resource theory of athermality must be able to detect time-reversal.
arXiv commentComments welcome, 40 pages, major changes, modified conjecture
References in corpus (35)
- Quantum Resource Theories
- Fundamental limitations for quantum and nano thermodynamics
- The second laws of quantum thermodynamics
- The Resource Theory of Quantum States Out of Thermal Equilibrium
- Quantum majorization and a complete set of entropic conditions for quantum thermodynamics
- Structure of states which satisfy strong subadditivity of quantum entropy with equality
- Entanglement-assisted local manipulation of pure quantum states
- Quantum Information Processing with Finite Resources -- Mathematical Foundations
- (Quantumness in the context of) Resource Theories
- The Chernoff lower bound for symmetric quantum hypothesis testing
- alpha-z-relative Renyi entropies
- Strong converse exponent for classical-quantum channel coding
- Sufficiency in quantum statistical inference
- Beyond heat baths: Generalized resource theories for small-scale thermodynamics
- On Variational Expressions for Quantum Relative Entropies
- Resource convertibility and ordered commutative monoids
- Relative submajorization and its use in quantum resource theories
- Resource theory of asymmetric distinguishability
- Catalysis of entanglement and other quantum resources
- A limit of the quantum Renyi divergence
- Computing conditional entropies for quantum correlations
- An information-theoretic treatment of quantum dichotomies
- Reverse Test and Characterization of Quantum Relative Entropy
- Defining quantum divergences via convex optimization
- Separability and Entanglement-Breaking in Infinite Dimensions
- Relative Entropy and Catalytic Relative Majorization
- The strong converse exponent of discriminating infinite-dimensional quantum states
- Equality conditions of Data Processing Inequality for - Rényi relative entropies
- Some continuity properties of quantum Rényi divergences
- Geometric relative entropies and barycentric Rényi divergences
- Matrix majorization in large samples
- Minimal sufficient statistical experiments on von Neumann algebras
- Accessible information without disturbing partially known quantum states on a von Neumann algebra
- Quantum dichotomies and coherent thermodynamics beyond first-order asymptotics
- The Limit of the Sharp Quantum Rényi Divergence