2001 Fiscal Year Annual Research Report
量子力学系における仮説検定と通信路符号化の漸近理論
| Project/Area Number |
13750058
|
|---|
| Research Category |
Grant-in-Aid for Encouragement of Young Scientists (A)
|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
小川 朋宏 東京大学, 大学院・情報工学系研究科, 助手 (00323527)
|
|---|
| Keywords | 量子情報理論 / 量子仮説検定 / Steinの補題 / 量子相対エントロピー / Hoeffdingの定理 / 量子通信路符号化 / 量子相互情報量 / 作用素不等式 |
|---|
| Research Abstract |
量子力学的確率論に基づいた量子情報理論の体系的構築を目的として,量子系における仮説検定と通信路符号化に焦点をしぼり,以下の研究を行った.
1.量子仮説検定における誤り確率指数部の評価
量子力学系における仮説検定問題において,第一種誤り確率と第二種誤り確率を共に指数的に減少させる場合について考察し,誤り確率指数部の理論的性能評価を行った.古典的な仮説検定問題においては,第一種誤り確率と第二種誤り確率の最適なトレードオフを与える指数を導く公式として,「Hoeffdingの定理」が知られている.本研究においては,作用素不等式を用いて第一種誤り確率と第二種誤り確率の上界を導き,誤り確率指数部の評価を行った.この指数は,二つの仮説が可換な場合(=古典的)には「Hoeffdingの定理」と一致する.またこの上界を用いることで,「量子Steinの補題」順定理の別証明を与えた.
2.量子通信路符号化定理の証明の簡単化
量子通信路符号化定理の証明において,符号の構成,誤り確率の評価を,量子仮説検定問題に帰着させる手法が知られている(著者博士論文).本研究においては,量子系における「情報スペクトル的方法」の構築を目指して,上記手法の簡単化を行った.まず符号の構成部分においては,測定による量子状態の破壊の度合を評価するWinterの不等式を用いることで,見通しの良い符号構成を行った.その後に,1で導出した量子仮説検定における誤り確率の上界を用いて,量子通信路符号化における誤り確率の漸近挙動を評価し,直接的な量子通信路符号化定理の証明を与えた.ところで,Winterの不等式は物理的にも重要な不等式である.その証明は数ページにおよぶものであったが、本研究において別証明が与えられ大幅に簡略化された.
|
-
[Publications] Tomohiro Ogawa, Masahito Hayashi: "A new proof of the direct part of quantum Stein's lemma"Proceedings of the ERATO Workshop on Quantum Information Science 2001(EQIS2001), Tokyo, Japan. 57 (2001)
-
[Publications] Tomohiro Ogawa, Masahito Hayashi: "A new proof of the direct part of Stein's lemma in quantum hypothesis testing"Proceedings of the 24^<th> Symposium on Information Theory and Its Applications(SITA2001), Kobe, Japan. Vol.2. 595-598 (2001)
-
[Publications] Tomohiro Ogawa, Hiroshi Nagaoka: "A new proof of the channel coding theorem via hypothesis testing in quantum information theory"Proceedings of the 24^<th> Symposium on Information Theory and Its Applications(SITA2001), Kobe, Japan. Vol.2. 599-602 (2001)
-
[Publications] Tomohiro Ogawa, Hiroshi Nagaoka: "A new proof of the channel coding theorem via hypothesis testing in quantum information theory"Proceedings of the International Symposium on Information Theory 2002(ISIT2002), Lausanne, Switzerland. (to appear). (2002)
