We show that the generalization of the relative entropy of a resource from states to channels is not unique, and there are at least six such generalizations. We then show that two of these generalizations are asymptotically continuous, satisfy a version of the asymptotic equipartition property, and their regularizations appear in the power exponent of channel versions of the quantum Stein's Lemma. To obtain our results, we use a new type of that can be applied to functions of channels (with no state analog). We call it liberal smoothing as it allows for more spread in the optimization. Along the way, we show that the diamond norm can be expressed as a D_max distance to the set of quantum channels, and prove a variety of properties of all six generalizations of the relative entropy of a resource.
We show that the generalization of the relative entropy of a resource from states to channels is not unique, and there are at least six such generalizations. We then show that two of these generalizations are asymptotically continuous, satisfy a version of the asymptotic equipartition property, and their regularizations appear in the power exponent of channel versions of the quantum Stein's Lemma. To obtain our results, we use a new type of that can be applied to functions of channels (with no state analog). We call it liberal smoothing as it allows for more spread in the optimization. Along the way, we show that the diamond norm can be expressed as a D_max distance to the set of quantum channels, and prove a variety of properties of all six generalizations of the relative entropy of a resource.
We show that the generalization of the relative entropy of a resource from states to channels is not unique, and there are at least six such generalizations. Then, we show that two of these generalizations are asymptotically continuous, satisfy a version of the asymptotic equipartition property, and their regularizations appear in the power exponent of channel versions of the quantum Stein's lemma. To obtain our results, we use a new type of "smoothing" that can be applied to functions of channels (with no state analog). We call it "liberal smoothing" as it allows for more spread in the optimization. Along the way, we show that the diamond norm can be expressed as a max relative entropy distance to the set of quantum channels, and prove a variety of properties of all six generalizations of the relative entropy of a resource.
We show that the regularized channel Rényi divergence is continuous at α=1. As consequences, we establish an exponentially strong converse for channel discrimination, a subchannel-smoothed asymptotic equipartition property, a relative entropy accumulation theorem, and a new proof of the generalized quantum Stein's lemma. Our result further shows that the regularized channel relative entropy is computable. The continuity proof relies on a variational formula that expresses the regularized channel divergence as a single-letter optimization over variables of unrestricted finite dimension. We then establish continuity using a novel spectral confinement technique.
The quantum Stein's lemma is a fundamental result of quantum hypothesis testing in the context of distinguishing two quantum states. The ``generalized quantum Stein's lemma'' asserts that this result is true in a general framework where one of the states is replaced by convex sets of quantum states. Formulated in 2008, the generalized Stein's lemma is one of the most influential results in quantum information theory that links resource convertibility to quantum hypothesis testing. However, in 2023 a logical gap was found in the original proof of the generalized Stein's lemma and since then there has been an enormous effort in resolving this issue. In this work, we show that the assertion of the generalized Stein's lemma is true for the setting where the second hypothesis is the state space of any finite-dimensional subalgebra. This is obtained through a strong asymptotic equipartition property for smooth subalgebra entropies that applies to any fixed smoothing parameter. In fact, we obtain a stronger second-order analysis for the hypothesis-testing relative entropy in this setting. As an application in resource theory, we show that the relative entropy of a subalgebra is the asymptotic dilution cost under suitable operations. This provides a possible route to establishing a connection between different quantum resources based on subalgebras. After finishing this article, we learned that there are two independent works (by Hayashi-Yamasaki, and Lami) that finally resolve the generalized Stein's lemma in its full generality. However, we provide an alternative proof in a special case using different operator-algebraic techniques that may be of independent interest.
The second law of thermodynamics is the cornerstone of physics, characterizing the convertibility between thermodynamic states through a single function, entropy. Given the universal applicability of thermodynamics, a fundamental question in quantum information theory is whether an analogous second law can be formulated to characterize the convertibility of resources for quantum information processing by a single function. In 2008, a promising formulation was proposed, linking resource convertibility to the optimal performance of a variant of the quantum version of hypothesis testing. Central to this formulation was the generalized quantum Stein's lemma, which aimed to characterize this optimal performance by a measure of quantum resources, the regularized relative entropy of resource. If proven valid, the generalized quantum Stein's lemma would lead to the second law for quantum resources, with the regularized relative entropy of resource taking the role of entropy in thermodynamics. However, in 2023, a logical gap was found in the original proof of this lemma, casting doubt on the possibility of such a formulation of the second law. In this work, we address this problem by developing alternative techniques to successfully prove the generalized quantum Stein's lemma under a smaller set of assumptions than the original analysis. Based on our proof, we reestablish and extend the second law of quantum resource theories, applicable to both static resources of quantum states and a fundamental class of dynamical resources represented by classical-quantum (CQ) channels. These results resolve the fundamental problem of bridging the analogy between thermodynamics and quantum information theory.
We establish two results on the asymptotic equipartition property (AEP) for quantum channels. First, the AEP formulated using smoothing over completely positive trace-preserving maps fails in general. Second, the AEP with smoothing over subchannels (completely positive trace-nonincreasing maps) is equivalent to the strong converse for parallel quantum channel Stein's lemma, to a sharp threshold for the channel hockey-stick divergence, and to an AEP for the channel Lorenz divergence. The counterexample reveals a surprising separation between channel and subchannel smoothing. Although states and classical channels admit a sharp, dimension-independent completion bound, which we establish, the corresponding single-shot gap for quantum channels is unbounded already for qubits. This separation persists asymptotically: we construct qutrit channel pairs with finite max-relative entropy whose CPTP-smoothed rate strictly exceeds the regularized channel relative entropy. The asymptotic gap between channel and subchannel smoothing is unbounded across the family, even when the subchannel approximation error decays exponentially. To establish the equivalences, we develop a uniform filter that converts Lorenz smoothing into a single nearby subchannel. The four conjectured formulations thus share a common asymptotic threshold, whose validity for general channel pairs remains open. Together, these results separate this threshold question from the obstruction imposed by exact trace preservation.
Channel conversion constitutes a pivotal paradigm in information theory and its applications to quantum physics, providing a unified problem setting that encompasses celebrated results such as Shannon's noisy-channel coding theorem. Quantum resource theories (QRTs) offer a general framework to study such problems under a prescribed class of operations, such as those for encoding and decoding. In QRTs, quantum states serve as static resources, while quantum channels give rise to dynamical resources. A recent major advance in QRTs is the generalized quantum Stein's lemma, which characterizes the optimal error exponent in hypothesis testing to discriminate resource states from free states, enabling a reversible QRT framework for static resources where asymptotic conversion rates are fully determined by the regularized relative entropy of resource. However, applications of QRTs to channel conversion require a framework for dynamical resources. The earlier extension of the reversible framework to a fundamental class of dynamical resources, represented by classical-quantum (CQ) channels, relied on state-based techniques and imposed an asymptotic continuity assumption on operations, which prevented its applicability to conventional channel coding scenarios. To overcome this problem, we formulate and prove a generalized quantum Stein's lemma directly for CQ channels, by developing CQ-channel counterparts of the core proof techniques used in the state setting. Building on this result, we construct a reversible QRT framework for CQ channel conversion that does not require the asymptotic continuity assumption, and show that this framework applies to the analysis of channel coding scenarios. These results establish a fully general toolkit for CQ channel discrimination and conversion, enabling their broad application to core conversion problems for this fundamental class of channels.