Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

IEEE International Symposium on Information Theory (ISIT)

Stein’s Lemma for Classical-Quantum Channels

Mario Berta, Christoph Hirche, Eneet Kaur, Mark M. Wilde

Published Jul 1, 2019• 5 citations
Publisher

Abstract

It is well known that for the discrimination of classical and quantum channels in the finite, non-asymptotic regime, adaptive strategies can give an advantage over non-adaptive strategies. However, Hayashi [IEEE Trans. Inf. Theory 55(8), 3807 (2009)] showed that in the asymptotic regime, the exponential error rate for the discrimination of classical channels is not improved in the adaptive setting. We show that, for the discrimination of classical-quantum channels, adaptive strategies do not lead to an asymptotic advantage. As our main result, this establishes Stein's lemma for classical-quantum channels. Our proofs are based on the concept of amortized distinguishability of channels, which we analyse using entropy inequalities.

DOI
10.1109/isit.2019.8849562

Related papers

Ultimate Limits of Quantum Channel Discrimination.

Kun Fang, Gilad Gour, Xin Wang

This paper studies the difficulty of discriminating quantum channels under operational regimes, proves the quantum channel Stein's lemma (strong converse part), and provides a unified framework to show the operational meaning of quantum channel divergences. First, we establish the exponentially strong converse of quantum channel hypothesis testing under coherent strategies, meaning that any strategy to make the Type II error decays with an exponent larger than the regularized channel relative entropy will unavoidably result in the Type I error converging to one exponentially fast in the asymptotic limit. This result notably delivers the desirable quantum channel Stein's Lemma, enclosing a long-term open problem in quantum information theory. As a byproduct, we show the continuity of the regularized (amortized) Sandwiched R\'{e}nyi channel divergence at $\alpha=1$, resolving another open problem in the field. Second, we develop a framework to show the interplay between the strategies of channel discrimination, the operational regimes, and variants of channel divergences. This framework systematically underlies the operational meaning of quantum channel divergences in quantum channel discrimination. Our work establishes the ultimate limit of quantum channel discrimination, deepening our understanding of quantum channel discrimination and quantum channel divergences in the asymptotic regime. As quantum channel discrimination is strongly connected to many other fundamental tasks in quantum information theory, we expect plentiful applications on related topics such as quantum metrology and quantum communication.

•Oct 28, 2021•0 citations

Quantum Channel Stein Theorem beyond Definite Causal Order

Chengkai Zhu, Xin Wang

Distinguishability is a central concept in information theory and extends naturally to quantum systems. This work shows that, for any two finite-dimensional memoryless quantum channels, parallel, adaptive and general testing strategies achieve the same Stein exponent at every fixed type-I error tolerance $ε\in(0,1)$, namely the regularized channel relative entropy. When this rate is finite, any larger type-II exponent forces the probability of correctly accepting the null hypothesis to decay exponentially. Thus, adaptivity provides no asymptotic advantage. The key step is proving the continuity of the regularized sandwiched Rényi channel divergence at order one. We also derive the exact strong-converse exponent for general testers.

quant-pharXiv:2609.30268•Sep 25, 2026•0 citations

Infinite Dimensional Asymmetric Quantum Channel Discrimination

Bjarne Bergh, Kochanowski, Jan, Salzmann, Robert +1 more

We study asymmetric binary channel discrimination, for qantum channels acting on separable Hilbert spaces. We establish quantum Stein's lemma for channels for both adaptive and parallel strategies, and show that under finiteness of the geometric Rényi divergence between the two channels for some $α> 1$, adaptive strategies offer no asymptotic advantage over parallel ones. One major step in our argument is to demonstrate that the geometric Rényi divergence satisfies a chain rule and is additive for channels also in infinite dimensions. These results may be of independent interest. Furthermore, we not only show asymptotic equivalence of parallel and adaptive strategies, but explicitly construct a parallel strategy which approximates a given adaptive $n$-shot strategy, and give an explicit bound on the difference between the discrimination errors for these two strategies. This extends the finite dimensional result from [B. Bergh et al., arxiv:2206.08350]. Finally, this also allows us to conclude, that the chain rule for the Umegaki relative entropy in infinite dimensions, recently shown in [O. Fawzi, L. Gao, and M. Rahaman, arxiv:2212.14700v2] given finiteness of the max divergence between the two channels, also holds under the weaker condition of finiteness of the geometric Rényi divergence. We give explicit examples of channels which show that these two finiteness conditions are not equivalent.

arXiv:2308.12959•Aug 24, 2023•0 citations

Quantum Channel Stein's Lemma with an Exponential Strong Converse

Minbo Gao, Zhengfeng Ji, Chenghua Liu

We establish the quantum channel Stein lemma at every fixed type-I error tolerance in $(0,1)$ and prove an exponential strong converse under arbitrary adaptive strategies. For any finite-dimensional channel pair, the optimal type-II exponent equals the regularized channel relative entropy and is attained by parallel strategies. When this divergence is finite, every strictly larger type-II rate forces the probability of accepting the null hypothesis to decay exponentially, uniformly over strategies and quantum memories. The proof rests on a uniform Stinespring approximation: tensor powers of the null dilation are approximated by tensor powers of the alternative dilation after applying an auxiliary linear map to the environment. The operator-norm error is exponentially small under a squared-norm bound at any rate above the regularized relative entropy. We construct the approximation from a weak testing bound by iterative rate reduction and a fixed-block tensor expansion with an exact residual. It implies right continuity at order one of the regularized sandwiched Rényi channel divergence, which yields the adaptive converse through the channel chain rule. We also obtain a sharp hockey-stick threshold and a subchannel smoothing asymptotic equipartition property for fixed and subexponentially vanishing diamond-norm errors.

quant-pharXiv:2609.27196•Sep 24, 2026•0 citations

Generalized Quantum Stein's Lemma and Reversibility of Quantum Resource Theories for Classical-Quantum Channels

Bjarne Bergh, Nilanjana Datta, Anirudh Khaitan

We extend the recent proof of the Generalized Quantum Stein's Lemma by Hayashi and Yamasaki [arXiv:2408.02722] to classical-quantum (c-q) channels. We analyze the composite hypothesis testing problem of testing a c-q channel $\mathcal{E}^{\otimes n}$ against a sequence of sets of c-q channels $(\mathcal{S}_n)_n$ (satisfying certain natural assumptions), under parallel strategies. We prove that the optimal asymptotic asymmetric error exponent is given by the regularization of Umegaki channel divergence, minimized over $\mathcal{S}_n$. This allows us to prove the reversibility of resource theories of classical-quantum channels in a natural framework, where the distance between channels (and hence also the notion of approximate interconvertibility of channels) is measured in diamond norm, and the set of free operations is the set of all asymptotically resource non-generating superchannels. The results we obtain are similar to the ones in the concurrent and independent work by Hayashi and Yamasaki [arXiv:2509.07271]. However the proof of the direct part of the GQSL uses different arguments and techniques to deal with the challenges that arise from dealing with c-q channels.

arXiv:2509.13280•Sep 16, 2025•0 citations

A Generalized Stein Lemma for Quantum Channels

Minbo Gao, Zhengfeng Ji, Chenghua Liu

We prove a generalized quantum Stein lemma for parallel discrimination of an arbitrary finite-dimensional channel against families of alternative channels. The alternatives are compact and convex, closed under tensor products, and contain a faithful replacer. At every fixed type-I error tolerance, the optimal type-II error exponent equals the regularized Umegaki channel relative entropy minimized over the alternatives, and both defining limits exist. Inputs may be entangled across channel uses and with a reference system. The main technical result constructs exactly trace-preserving approximations with exponentially small diamond error, dominated in completely positive order by free channels at every rate above the common exponent. The proof combines uniform auxiliary map approximation, iterative reduction of the domination rate, and tensor amplification. It yields asymptotic equipartition with trace-preserving smoothing at every subexponentially vanishing error, an exponential strong converse, and stability under vanishing diamond-norm perturbations. Under additional permutation invariance and closure under insertion of a fixed faithful input state and discarding of its output, we also prove an explicit finite-block completion bound. This quantitative construction uses weighted discarding, local operator corrections, and comparison with auxiliary extensions. Applications include state-preserving, coherence-restricted, covariant, entanglement-breaking, and positive-partial-transpose channels. For isometric targets against entanglement-breaking or positive-partial-transpose alternatives, we obtain exact finite-block testing and smoothing formulas.

quant-pharXiv:2609.30762•Sep 28, 2026•0 citations
It is well known that for the discrimination of classical and quantum channels in the finite, non-asymptotic regime, adaptive strategies can give an advantage over non-adaptive strategies. However, Hayashi [IEEE Trans. Inf. Theory 55(8), 3807 (2009)] showed that in the asymptotic regime, the exponential error rate for the discrimination of classical channels is not improved in the adaptive setting. We show that, for the discrimination of classical-quantum channels, adaptive strategies do not lead to an asymptotic advantage. As our main result, this establishes Stein's lemma for classical-quantum channels. Our proofs are based on the concept of amortized distinguishability of channels, which we analyse using entropy inequalities.
This paper studies the difficulty of discriminating quantum channels under operational regimes, proves the quantum channel Stein's lemma (strong converse part), and provides a unified framework to show the operational meaning of quantum channel divergences. First, we establish the exponentially strong converse of quantum channel hypothesis testing under coherent strategies, meaning that any strategy to make the Type II error decays with an exponent larger than the regularized channel relative entropy will unavoidably result in the Type I error converging to one exponentially fast in the asymptotic limit. This result notably delivers the desirable quantum channel Stein's Lemma, enclosing a long-term open problem in quantum information theory. As a byproduct, we show the continuity of the regularized (amortized) Sandwiched R\'{e}nyi channel divergence at α=1\alpha=1α=1, resolving another open problem in the field. Second, we develop a framework to show the interplay between the strategies of channel discrimination, the operational regimes, and variants of channel divergences. This framework systematically underlies the operational meaning of quantum channel divergences in quantum channel discrimination. Our work establishes the ultimate limit of quantum channel discrimination, deepening our understanding of quantum channel discrimination and quantum channel divergences in the asymptotic regime. As quantum channel discrimination is strongly connected to many other fundamental tasks in quantum information theory, we expect plentiful applications on related topics such as quantum metrology and quantum communication.
Distinguishability is a central concept in information theory and extends naturally to quantum systems. This work shows that, for any two finite-dimensional memoryless quantum channels, parallel, adaptive and general testing strategies achieve the same Stein exponent at every fixed type-I error tolerance ε∈(0,1)ε\in(0,1)ε∈(0,1), namely the regularized channel relative entropy. When this rate is finite, any larger type-II exponent forces the probability of correctly accepting the null hypothesis to decay exponentially. Thus, adaptivity provides no asymptotic advantage. The key step is proving the continuity of the regularized sandwiched Rényi channel divergence at order one. We also derive the exact strong-converse exponent for general testers.
We study asymmetric binary channel discrimination, for qantum channels acting on separable Hilbert spaces. We establish quantum Stein's lemma for channels for both adaptive and parallel strategies, and show that under finiteness of the geometric Rényi divergence between the two channels for some α>1α> 1α>1, adaptive strategies offer no asymptotic advantage over parallel ones. One major step in our argument is to demonstrate that the geometric Rényi divergence satisfies a chain rule and is additive for channels also in infinite dimensions. These results may be of independent interest. Furthermore, we not only show asymptotic equivalence of parallel and adaptive strategies, but explicitly construct a parallel strategy which approximates a given adaptive nnn-shot strategy, and give an explicit bound on the difference between the discrimination errors for these two strategies. This extends the finite dimensional result from [B. Bergh et al., arxiv:2206.08350]. Finally, this also allows us to conclude, that the chain rule for the Umegaki relative entropy in infinite dimensions, recently shown in [O. Fawzi, L. Gao, and M. Rahaman, arxiv:2212.14700v2] given finiteness of the max divergence between the two channels, also holds under the weaker condition of finiteness of the geometric Rényi divergence. We give explicit examples of channels which show that these two finiteness conditions are not equivalent.
We establish the quantum channel Stein lemma at every fixed type-I error tolerance in (0,1)(0,1)(0,1) and prove an exponential strong converse under arbitrary adaptive strategies. For any finite-dimensional channel pair, the optimal type-II exponent equals the regularized channel relative entropy and is attained by parallel strategies. When this divergence is finite, every strictly larger type-II rate forces the probability of accepting the null hypothesis to decay exponentially, uniformly over strategies and quantum memories. The proof rests on a uniform Stinespring approximation: tensor powers of the null dilation are approximated by tensor powers of the alternative dilation after applying an auxiliary linear map to the environment. The operator-norm error is exponentially small under a squared-norm bound at any rate above the regularized relative entropy. We construct the approximation from a weak testing bound by iterative rate reduction and a fixed-block tensor expansion with an exact residual. It implies right continuity at order one of the regularized sandwiched Rényi channel divergence, which yields the adaptive converse through the channel chain rule. We also obtain a sharp hockey-stick threshold and a subchannel smoothing asymptotic equipartition property for fixed and subexponentially vanishing diamond-norm errors.
We extend the recent proof of the Generalized Quantum Stein's Lemma by Hayashi and Yamasaki [arXiv:2408.02722] to classical-quantum (c-q) channels. We analyze the composite hypothesis testing problem of testing a c-q channel E⊗n\mathcal{E}^{\otimes n}E⊗n against a sequence of sets of c-q channels (Sn)n(\mathcal{S}_n)_n(Sn​)n​ (satisfying certain natural assumptions), under parallel strategies. We prove that the optimal asymptotic asymmetric error exponent is given by the regularization of Umegaki channel divergence, minimized over Sn\mathcal{S}_nSn​. This allows us to prove the reversibility of resource theories of classical-quantum channels in a natural framework, where the distance between channels (and hence also the notion of approximate interconvertibility of channels) is measured in diamond norm, and the set of free operations is the set of all asymptotically resource non-generating superchannels. The results we obtain are similar to the ones in the concurrent and independent work by Hayashi and Yamasaki [arXiv:2509.07271]. However the proof of the direct part of the GQSL uses different arguments and techniques to deal with the challenges that arise from dealing with c-q channels.
We prove a generalized quantum Stein lemma for parallel discrimination of an arbitrary finite-dimensional channel against families of alternative channels. The alternatives are compact and convex, closed under tensor products, and contain a faithful replacer. At every fixed type-I error tolerance, the optimal type-II error exponent equals the regularized Umegaki channel relative entropy minimized over the alternatives, and both defining limits exist. Inputs may be entangled across channel uses and with a reference system. The main technical result constructs exactly trace-preserving approximations with exponentially small diamond error, dominated in completely positive order by free channels at every rate above the common exponent. The proof combines uniform auxiliary map approximation, iterative reduction of the domination rate, and tensor amplification. It yields asymptotic equipartition with trace-preserving smoothing at every subexponentially vanishing error, an exponential strong converse, and stability under vanishing diamond-norm perturbations. Under additional permutation invariance and closure under insertion of a fixed faithful input state and discarding of its output, we also prove an explicit finite-block completion bound. This quantitative construction uses weighted discarding, local operator corrections, and comparison with auxiliary extensions. Applications include state-preserving, coherence-restricted, covariant, entanglement-breaking, and positive-partial-transpose channels. For isometric targets against entanglement-breaking or positive-partial-transpose alternatives, we obtain exact finite-block testing and smoothing formulas.