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 Transactions on Information Theory

Making Good Codes for Classical-Quantum Channel Coding via Quantum Hypothesis Testing

Tomohiro Ogawa, Hiroshi Nagaoka

Published Jun 1, 2007• 104 citations
Publisher

Abstract

In this correspondence, we give an alternative proof of the direct part of the classical-quantum channel coding theorem (the Holevo-Schumacher-Westmoreland (HSW) theorem), using ideas of quantum hypothesis testing. In order to show the existence of good codes, we invoke a limit theorem, relevant to the quantum Stein's lemma, in quantum hypothesis testing as the law of large numbers used in the classical case. We also apply a greedy construction of good codes using a packing procedure of noncommutative operators. Consequently we derive an upper bound on the coding error probability, which is used to give an alternative proof of the HSW theorem. This approach elucidates how the Holevo information applies to the classical-quantum channel coding problems

DOI
10.1109/tit.2007.896874

Related papers

A new proof of the channel coding theorem via hypothesis testing in quantum information theory

T. Ogawa, Hiroshi Nagaoka

A new proof of the direct part of the quantum channel coding theorem is shown based on a standpoint of quantum hypothesis testing. A packing procedure of mutually noncommutative operators is carried out to derive an upper bound on the error probability, which is similar to Feinstein's lemma in classical channel coding. The upper bound is used to show the proof of the direct part along with a variant of Hiai-Petz's theorem in hypothesis testing.

arXiv:quant-ph/0208139•IEEE International Symposium on Information Theory (ISIT)•Jun 25, 2003•60 citations

A quantum version of Feinstein's Theorem and its application to channel coding

Nilanjana Datta, T. C. Dorlas

In this paper, a quantum version of Feinstein's theorem is developed. This is then used to give a completely self-contained proof of the direct channel coding theorem, for transmission of classical information through a quantum channel with Markovian correlated noise. Our proof does not rely on the Holevo-Schumacher-Westmoreland (HSW) theorem. In addition, for the case of memoryless channels, our method yields an alternative proof of the HSW Theorem

IEEE International Symposium on Information Theory (ISIT)•Jul 1, 2006•6 citations

A Quantum Multiparty Packing Lemma and the Relay Channel

Dawei Ding, Hrant Gharibyan, Patrick M. Hayden +1 more

Optimally encoding classical information in a quantum system is one of the oldest and most fundamental challenges of quantum information theory. Holevo's bound places a hard upper limit on such encodings, while the Holevo-Schumacher-Westmoreland (HSW) theorem addresses the question of how many classical messages can be “packed” into a given quantum system. In this article, we use Sen's recent quantum joint typicality results to prove a one-shot multiparty quantum packing lemma generalizing the HSW theorem. The lemma is designed to be easily applicable in many network communication scenarios. As an illustration, we use it to straightforwardly obtain quantum generalizations of well-known classical coding schemes for the relay channel: multihop, coherent multihop, decode-forward, and partial decode-forward. We provide both finite blocklength and asymptotic results, the latter matching existing classical formulas. Given the key role of the classical packing lemma in network information theory, our packing lemma should help open the field to direct quantum generalization.

arXiv:1809.10149•IEEE Transactions on Information Theory•Dec 18, 2019•12 citations

One-Shot Classical-Quantum Capacity and Hypothesis Testing

Ligong Wang, Renato Renner

The one-shot classical capacity of a quantum channel quantifies the amount of classical information that can be transmitted through a single use of the channel such that the error probability is below a certain threshold. In this work, we show that this capacity is well approximated by a relative-entropy-type measure defined via hypothesis testing. Combined with a quantum version of Stein's lemma, our results give a conceptually simple proof of the well-known Holevo-Schumacher-Westmoreland theorem for the capacity of memoryless channels. More generally, we obtain tight capacity formulas for arbitrary (not necessarily memoryless) channels.

arXiv:1007.5456•Physical Review Letters•May 15, 2012•294 citations

A Smooth Entropy Approach to Quantum Hypothesis Testing and the Classical Capacity of Quantum Channels

Nilanjana Datta, Milán Mosonyi, Min-Hsiu Hsieh +1 more

We use the smooth entropy approach to treat the problems of binary quantum hypothesis testing and the transmission of classical information through a quantum channel. We provide lower and upper bounds on the optimal type II error of quantum hypothesis testing in terms of the smooth max-relative entropy of the two states representing the two hypotheses. Then using a relative entropy version of the quantum asymptotic equipartition property (QAEP), we can recover the strong converse rate of the i.i.d. hypothesis testing problem in the asymptotics. On the other hand, combining Stein's lemma with our bounds, we obtain a stronger ( ε-independent) version of the relative entropy-QAEP. Similarly, we provide bounds on the one-shot ε-error classical capacity of a quantum channel in terms of a smooth max-relative entropy variant of its Holevo capacity. Using these bounds and the ε-independent version of the relative entropy-QAEP, we can recover both the Holevo- Schumacher- Westmoreland theorem about the optimal direct rate of a memoryless quantum channel with product state encoding, as well as its strong converse counterpart.

arXiv:1106.3089•IEEE Transactions on Information Theory•Nov 19, 2013•51 citations

The Packing Lemma

Mark M. Wilde

The packing lemma is a general method for one party to “pack” or encode classical messages into a Hilbert space so that another party can distinguish the encoded messages. The first party can prepare an ensemble of quantum states, and the other party has access to a set of projectors using which he can form a quantum measurement. If the ensemble and the projectors satisfy the conditions of the packing lemma, then it guarantees the existence of a scheme by which the second party can distinguish the classical messages that the first party prepares. The statement of the packing lemma is quite general, and this approach has a great advantage because we can use it as a primitive for many coding theorems. Examples of coding theorems that we can prove using the packing lemma are the Holevo–Schumacher–Westmoreland (HSW) theorem for the transmission of classical information over a quantum channel and the entanglement-assisted classical capacity theorem for the transmission of classical information over an entanglement-assisted quantum channel (furthermore, Chapter 22 shows that these two protocols are sufficient to generate most known protocols in quantum Shannon theory). Combined with the covering lemma of the next chapter, the packing lemma gives a method for transmitting private classical information over a quantum channel, and this technique in turn gives a way to communicate quantum information over a quantum channel. As long as we can determine an ensemble and a set of projectors satisfying the conditions of the packing lemma, we can apply it in a straightforward way. For example, we prove the HSW coding theorem in Chapter 20 largely by relying on the properties of typical and conditionally typical subspaces that we proved in the previous chapter, and some of these properties are equivalent to the conditions of the packing lemma. The packing lemma is a “one-shot” lemma because it applies to a general scenario that is not limited only to i.i.d. uses of a quantum channel. This “oneshot” approach is part of the reason that we can apply it to a variety of situations. The technique of proving a “one-shot” result and applying it to the i.i.d.

Cambridge University Press eBooks•Nov 2, 2016•0 citations
In this correspondence, we give an alternative proof of the direct part of the classical-quantum channel coding theorem (the Holevo-Schumacher-Westmoreland (HSW) theorem), using ideas of quantum hypothesis testing. In order to show the existence of good codes, we invoke a limit theorem, relevant to the quantum Stein's lemma, in quantum hypothesis testing as the law of large numbers used in the classical case. We also apply a greedy construction of good codes using a packing procedure of noncommutative operators. Consequently we derive an upper bound on the coding error probability, which is used to give an alternative proof of the HSW theorem. This approach elucidates how the Holevo information applies to the classical-quantum channel coding problems
Optimally encoding classical information in a quantum system is one of the oldest and most fundamental challenges of quantum information theory. Holevo's bound places a hard upper limit on such encodings, while the Holevo-Schumacher-Westmoreland (HSW) theorem addresses the question of how many classical messages can be “packed” into a given quantum system. In this article, we use Sen's recent quantum joint typicality results to prove a one-shot multiparty quantum packing lemma generalizing the HSW theorem. The lemma is designed to be easily applicable in many network communication scenarios. As an illustration, we use it to straightforwardly obtain quantum generalizations of well-known classical coding schemes for the relay channel: multihop, coherent multihop, decode-forward, and partial decode-forward. We provide both finite blocklength and asymptotic results, the latter matching existing classical formulas. Given the key role of the classical packing lemma in network information theory, our packing lemma should help open the field to direct quantum generalization.
The one-shot classical capacity of a quantum channel quantifies the amount of classical information that can be transmitted through a single use of the channel such that the error probability is below a certain threshold. In this work, we show that this capacity is well approximated by a relative-entropy-type measure defined via hypothesis testing. Combined with a quantum version of Stein's lemma, our results give a conceptually simple proof of the well-known Holevo-Schumacher-Westmoreland theorem for the capacity of memoryless channels. More generally, we obtain tight capacity formulas for arbitrary (not necessarily memoryless) channels.
We use the smooth entropy approach to treat the problems of binary quantum hypothesis testing and the transmission of classical information through a quantum channel. We provide lower and upper bounds on the optimal type II error of quantum hypothesis testing in terms of the smooth max-relative entropy of the two states representing the two hypotheses. Then using a relative entropy version of the quantum asymptotic equipartition property (QAEP), we can recover the strong converse rate of the i.i.d. hypothesis testing problem in the asymptotics. On the other hand, combining Stein's lemma with our bounds, we obtain a stronger ( ε-independent) version of the relative entropy-QAEP. Similarly, we provide bounds on the one-shot ε-error classical capacity of a quantum channel in terms of a smooth max-relative entropy variant of its Holevo capacity. Using these bounds and the ε-independent version of the relative entropy-QAEP, we can recover both the Holevo- Schumacher- Westmoreland theorem about the optimal direct rate of a memoryless quantum channel with product state encoding, as well as its strong converse counterpart.
The packing lemma is a general method for one party to “pack” or encode classical messages into a Hilbert space so that another party can distinguish the encoded messages. The first party can prepare an ensemble of quantum states, and the other party has access to a set of projectors using which he can form a quantum measurement. If the ensemble and the projectors satisfy the conditions of the packing lemma, then it guarantees the existence of a scheme by which the second party can distinguish the classical messages that the first party prepares. The statement of the packing lemma is quite general, and this approach has a great advantage because we can use it as a primitive for many coding theorems. Examples of coding theorems that we can prove using the packing lemma are the Holevo–Schumacher–Westmoreland (HSW) theorem for the transmission of classical information over a quantum channel and the entanglement-assisted classical capacity theorem for the transmission of classical information over an entanglement-assisted quantum channel (furthermore, Chapter 22 shows that these two protocols are sufficient to generate most known protocols in quantum Shannon theory). Combined with the covering lemma of the next chapter, the packing lemma gives a method for transmitting private classical information over a quantum channel, and this technique in turn gives a way to communicate quantum information over a quantum channel. As long as we can determine an ensemble and a set of projectors satisfying the conditions of the packing lemma, we can apply it in a straightforward way. For example, we prove the HSW coding theorem in Chapter 20 largely by relying on the properties of typical and conditionally typical subspaces that we proved in the previous chapter, and some of these properties are equivalent to the conditions of the packing lemma. The packing lemma is a “one-shot” lemma because it applies to a general scenario that is not limited only to i.i.d. uses of a quantum channel. This “oneshot” approach is part of the reason that we can apply it to a variety of situations. The technique of proving a “one-shot” result and applying it to the i.i.d.