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

arXiv:quant-ph/0208139 · IEEE International Symposium on Information Theory (ISIT)

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

T. Ogawa, Hiroshi Nagaoka

Published Jun 25, 2003• 60 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1109/isit.2002.1023345

Related papers

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

Tomohiro Ogawa, Hiroshi Nagaoka

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

IEEE Transactions on Information Theory•Jun 1, 2007•104 citations

A New Proof of the Direct Part of Stein's Lemma in Quantum Hypothesis Testing

Tomohiro Ogawa, Masahito Hayashi

The direct part of Stein's lemma in quantum hypothesis testing is revisited based on a key operator inequality between a density operator and its pinching. The operator inequality is used to show a simple proof of the direct part of Stein's lemma without using Hiai-Petz's theorem, along with an operator monotone function, and in addition it is also used to show a new proof of Hiai-Petz's theorem.

arXiv:quant-ph/0110125•IEEE International Symposium on Information Theory (ISIT)•Oct 21, 2001•5 citations

Strong converse theorems in the quantum information theory

Tomohiro Ogawa, Hiroshi Nagaoka

Strong converse theorems for two different subjects in quantum information theory are presented. First, we show a lower bound on the probability of decoding error for a quantum communication channel, from which the strong converse to the quantum channel coding theorem is obtained. Second, we give the strong converse theorem for the quantum hypothesis testing as an application of a new inequality on the error probabilities. This inequality is also used to establish the quantum Stein's lemma.

•Jan 20, 2003•34 citations

On Error Exponents in Quantum Hypothesis Testing

T. Ogawa, Masahito Hayashi

In the simple quantum hypothesis testing problem for two density operators, upper bounds on the error probabilities are shown based on a key operator inequality between a density operator and a conditional expectation of it. Concerning the error exponents, the upper bounds lead to a noncommutative analog of the Hoeffding bound, which is identical with the classical counterpart if two density operators commute. The upper bounds also provide a simple proof of the direct part of the quantum Stein's lemma.

IEEE Transactions on Information Theory•Jun 1, 2004•92 citations

On error exponents in quantum hypothesis testing

T. Ogawa, Masahito Hayashi

On error exponents in the simple quantum hypothesis testing problem, a noncommutative analogue of the Hoeffding bound (W. Hoeffding, 1991) is presented. If the hypotheses, namely two density operators, are mutually commutative, the bound is identical with the classical counter part and thus is optimal. As a by-product, a simple proof of the direct part of the quantum Stein's lemma [F. Hiai (1991)] [T. Ogawa (2000)] is also given.

IEEE International Symposium on Information Theory (ISIT)•Jan 1, 2003•3 citations

On Error Exponents in Quantum Hypothesis Testing

Tomohiro Ogawa, Masahito Hayashi

In the simple quantum hypothesis testing problem, upper bounds on the error probabilities are shown based on a key operator inequality between a density operator and its pinching. Concerning the error exponents, the upper bounds lead to a noncommutative analogue of the Hoeffding bound, which is identical with the classical counter part if the hypotheses, composed of two density operators, are mutually commutative. The upper bounds also provide a simple proof of the direct part of the quantum Stein's lemma.

arXiv:quant-ph/0206151•Jun 21, 2002•0 citations
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.
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
In the simple quantum hypothesis testing problem for two density operators, upper bounds on the error probabilities are shown based on a key operator inequality between a density operator and a conditional expectation of it. Concerning the error exponents, the upper bounds lead to a noncommutative analog of the Hoeffding bound, which is identical with the classical counterpart if two density operators commute. The upper bounds also provide a simple proof of the direct part of the quantum Stein's lemma.
In the simple quantum hypothesis testing problem, upper bounds on the error probabilities are shown based on a key operator inequality between a density operator and its pinching. Concerning the error exponents, the upper bounds lead to a noncommutative analogue of the Hoeffding bound, which is identical with the classical counter part if the hypotheses, composed of two density operators, are mutually commutative. The upper bounds also provide a simple proof of the direct part of the quantum Stein's lemma.