Quantum relative entropy is a core concept in physics, governing the limits of communication, thermodynamic irreversibility and quantum resource conversion. However, the requirement that physical processes cannot increase state distinguishability, the data-processing inequality, permits an infinite family of alternative divergence measures. Here we show that quantum relative entropy is uniquely selected by a sharper operational principle. We evaluate distinguishability through binary guessing games, in which an observer discriminates between pairs of quantum states using the optimal measurement. We prove that any additive measure that respects the odds revealed by these optimal measurements must coincide with the Umegaki relative entropy. This rigidity is a purely quantum phenomenon. Whereas classical theory permits a continuous family of valid divergence measures, including Rényi divergences, quantum noncommutativity. collapses this mathematical freedom. The result is exact, requiring neither a thermodynamic limit of infinitely many copies nor super-additivity assumptions for correlated states. It establishes quantum relative entropy not merely as an asymptotic quantity, but as the unique additive distinguishability measure compatible with single-shot quantum discrimination.
Comments
8 pages, 22 pages of supplementary information, 5 figures. Comments are welcome
Quantum relative entropy is a core concept in physics, governing the limits of communication, thermodynamic irreversibility and quantum resource conversion. However, the requirement that physical processes cannot increase state distinguishability, the data-processing inequality, permits an infinite family of alternative divergence measures. Here we show that quantum relative entropy is uniquely selected by a sharper operational principle. We evaluate distinguishability through binary guessing games, in which an observer discriminates between pairs of quantum states using the optimal measurement. We prove that any additive measure that respects the odds revealed by these optimal measurements must coincide with the Umegaki relative entropy. This rigidity is a purely quantum phenomenon. Whereas classical theory permits a continuous family of valid divergence measures, including Rényi divergences, quantum noncommutativity. collapses this mathematical freedom. The result is exact, requiring neither a thermodynamic limit of infinitely many copies nor super-additivity assumptions for correlated states. It establishes quantum relative entropy not merely as an asymptotic quantity, but as the unique additive distinguishability measure compatible with single-shot quantum discrimination.
Chapter 6 builds upon the foundation of divergences from Chapter 5, advancing into entropies and relative entropies with an axiomatic approach, and the inclusion of the additivity axiom. The chapter delves into the classical and quantum relative entropies, establishing their core properties and revealing the significance of the KL-divergence introduced in Chapter 5, notably characterized by asymptotic continuity. Quantum relative entropies are addressed as generalizations of classical ones, with a focus on the conditions necessary for these measures in the quantum framework. Several variants of relative entropies are discussed, including Renyi relative entropies and their extensions to quantum domain such as the Petz quantum Renyi divergence, minimal quantum Renyi divergence, and the maximal quantum Renyi divergence. This discourse underlines the relevance of continuity and its relation to faithfulness in relative entropies. The concept of entropy is portrayed as a measure with a broad spectrum of interpretations and applications across fields, from thermodynamics and information theory to cosmology and economics.
Quantum information processing is limited, in practice, to efficiently implementable operations. This motivates the study of quantum divergences that preserve their operational meaning while faithfully capturing these computational constraints. Using geometric, computational, and information theoretic tools, we define two new types of computational divergences, which we termcomputational max-divergence and computational measured Rényi divergences. Both are constrained by a family of efficient binary measurements, and thus useful for state discrimination tasks in the computational setting. We prove that, in the infinite-order limit, the computational measured Rényi divergence coincides with the computational max-divergence, mirroring the corresponding relation in the unconstrained information-theoretic setting. For the many-copy regime, we introduce regularized versions and establish a one-sided computational Stein bound on achievable hypothesis-testing exponents under efficient measurements, giving the regularized computational measured relative entropy an operational meaning. We further define resource measures induced by our computational divergences and prove an asymptotic continuity bound for the computational measured relative entropy of resource. Focusing on entanglement, we relate our results to previously proposed computational entanglement measures and provide explicit separations from the information-theoretic setting. Together, these results provide a principled, cohesive approach towards state discrimination tasks and resource quantification under computational constraints.
Most quantum divergences derive their structure from classical f-divergences or Renyi-type constructions, a dependence that obscures several quantum geometric effects. We introduce a quantum relative-alpha-entropy that extends Umegaki's relative entropy while falling outside the f-divergence class. The proposed divergence exhibits a nonlinear convexity property, which yields a generalized convexity result for the Petz-Renyi divergence for alpha greater than one, complementing the known convexity for alpha less than one. It is additive under tensor products, invariant under unitary transformations, and depends only on the relative geometry of quantum states rather than their absolute magnitudes. Using Nussbaum-Szkola-type distributions, we also establish an exact correspondence of this divergence with classical relative-alpha-entropy. This reveals relative-alpha-entropy as a fundamentally geometric notion of quantum distinguishability not captured by existing divergence frameworks.
Building upon work by Matsumoto, we show that the quantum relative entropy with full-rank second argument is determined by four simple axioms: (i) Continuity in the first argument; (ii) the validity of the data-processing inequality; (iii) additivity under tensor products; and (iv) super-additivity. This observation has immediate implications for quantum thermodynamics, which we discuss. Specifically, we demonstrate that, under reasonable restrictions, the free energy is singled out as a measure of athermality. In particular, we consider an extended class of Gibbs-preserving maps as free operations in a resource-theoretic framework, in which a catalyst is allowed to build up correlations with the system at hand. The free energy is the only extensive and continuous function that is monotonic under such free operations.
Abstract The quantum relative entropy is a measure of the distinguishability of two quantum states, and it is a unifying concept in quantum information theory: many information measures such as entropy, conditional entropy, mutual information, and entanglement measures can be realized from it. As such, there has been broad interest in generalizing the notion to further understand its most basic properties, one of which is the data processing inequality. The quantum f -divergence of Petz is one generalization of the quantum relative entropy, and it also leads to other relative entropies, such as the Petz–Rényi relative entropies. In this paper, I introduce the optimized quantum f -divergence as a related generalization of quantum relative entropy. I prove that it satisfies the data processing inequality, and the method of proof relies upon the operator Jensen inequality, similar to Petz’s original approach. Interestingly, the sandwiched Rényi relative entropies are particular examples of the optimized f -divergence. Thus, one benefit of this paper is that there is now a single, unified approach for establishing the data processing inequality for both the Petz–Rényi and sandwiched Rényi relative entropies, for the full range of parameters for which it is known to hold. This paper discusses other aspects of the optimized f -divergence, such as the classical case, the classical-quantum case, and how to construct optimized f -information measures.
Recently, an interesting quantity called the quantum Rényi divergence (or 'sandwiched' Rényi relative entropy) was defined for pairs of positive semi-definite operators ρ and σ. It depends on a parameter α and acts as a parent quantity for other relative entropies which have important operational significance in quantum information theory: the quantum relative entropy and the min- and max-relative entropies. There is, however, another relative entropy, called the 0-relative Rényi entropy, which plays a key role in the analysis of various quantum information-processing tasks in the one-shot setting. We prove that the 0-relative Rényi entropy is obtainable from the quantum Rényi divergence only if ρ and σ have equal supports. This, along with existing results in the literature, suggests that it suffices to consider two essential parent quantities from which operationally relevant entropic quantities can be derived—the quantum Rényi divergence with parameter α ⩾ 1/2, and the α-relative Rényi entropy with α ∈ [0, 1).