[論文レビュー] The Converse Part of The Theorem for Quantum Hoeffding Bound

Hiroshi Nagaoka|ArXiv.org|Nov 30, 2006

Quantum Information and Cryptography参考文献 12被引用数 68

ひとこと要約

この論文は、NussbaumとSzkolaによる量子チェルノフ境界のアプローチを拡張することで、非対称な量子仮説検定における量子ホーフィング境界の逆方向部分を確立した。第一種誤差確率の誤差指数が、$ \max_{0\leq s<1} \frac{-sr - \phi(s)}{1-s}$ で上界で抑えられることを証明し、Hayashiによる直接部分の証明と組み合わせることで、量子ホーフィング境界の完全な特徴付けが達成された。

ABSTRACT

We prove the converse part of the theorem for quantum Hoeffding bound on the asymptotics of quantum hypothesis testing, essentially based on an argument developed by Nussbaum and Szkola in proving the converse part of the quantum Chernoff bound. Our result complements Hayashi's proof of the direct (achievability) part of the theorem, so that the quantum Hoeffding bound has now been established.

研究の動機と目的

• 第一種誤差指数の上界を確立することで、量子ホーフィング境界の特徴付けを完成させること。
• 量子チェルノフ境界で用いられた双対性の議論を、非対称な量子仮説検定の設定に拡張すること。
• 式 $\max_{0\leq s<1} \frac{-sr - \phi(s)}{1-s}$ が実際に誤差指数 $B(r|\rho\|\sigma)$ のタイトな上界であることを示し、Hayashiの直接部分の証明と一致することを確認すること。
• スペクトル分解と古典的・量子対応関係を用いて、漸近的誤差指数と量子相対エントロピーのLegendre変換との等価性を確立すること。

提案手法

• 量子問題を古典的仮説検定問題に写像するため、$\rho$ と $\sigma$ のスペクトル分解に基づく双対変換を用いる。
• 量子と古典の誤差指数を関連付けるために、確率分布 $p(i,j) = \lambda_i |\langle x_i|y_j\rangle|^2$ と $q(i,j) = \gamma_j |\langle x_i|y_j\rangle|^2$ を定義する。
• 主なステップは、$\phi(s|\rho\|\sigma) = \phi(s|p\|q)$ を示し、古典的ホーフィング境界の結果を量子ケースに転用できることを保証すること。
• 極限上界 $\limsup_{n\to\infty} \frac{1}{n}\log \beta_n[T_n] \leq -r$ が成り立つならば、$\liminf_{n\to\infty} \frac{1}{n}\log \alpha_n[T_n] \geq -b(r)$ が成り立つことを利用し、$b(r)$ をLegendre変換で定義する。
• 補助関数 $\Phi(a)$ と $\Psi(a)$ を導入して境界を再パrameter化し、$b(r) = \Phi(a)$ かつ $r = \Psi(a)$ となることを示し、問題を関数不等式に還元する。
• 量子スティーンの補題の強力な逆補題とゴールデン＝トムソンの不等式を用いて、量子相対エントロピーをトレース関数 $\mathrm{Tr}[\rho^{1-s}\sigma^s]$ の形で上界で抑え込む。

実験結果

リサーチクエスチョン

• RQ1 量子チェルノフ境界の技術を用いて、量子ホーフィング境界の逆方向部分を証明できるか？
• RQ2 式 $\max_{0\leq s<1} \frac{-sr - \phi(s)}{1-s}$ は、量子仮説検定における第一種誤差指数のタイトな上界であるか？
• RQ3 非可換な $\rho$ と $\sigma$ の場合でも、古典的・量子誤差指数の双対性は非対称設定で成立するか？
• RQ4 スペクトル分解と古典的対応関係を用いて、誤差指数のLegendre変換表現を厳密に導出できるか？
• RQ5 量子ホーフィング境界と、量子チャネル下での量子 $f$-発散度の単調性との関係は何か？

主な発見

• 量子ホーフィング境界の逆方向部分が証明された：任意の検定列 $\{T_n\}$ に対して、$\limsup_{n\to\infty} \frac{1}{n}\log \beta_n[T_n] \leq -r$ ならば、$\liminf_{n\to\infty} \frac{1}{n}\log \alpha_n[T_n] \geq -b(r)$ が成り立ち、ここで $b(r) = \max_{0\leq s<1} \frac{-sr - \phi(s)}{1-s}$ である。
• 誤差指数 $B(r|\rho\|\sigma) = \max_{0\leq s<1} \frac{-sr - \phi(s)}{1-s}$ が正確に特定され、量子ホーフィング境界の特徴付けが完全に達成された。
• $\phi(s) = \log \mathrm{Tr}[\rho^{1-s}\sigma^s]$ が境界の主要な生成子であることが示され、これが量子チャネル下で単調性を示すことが導出された。
• 証明により、非可換な場合でも、古典的ホーフィング境界と形式が一致する量子ホーフィング境界が、古典的・量子対応関係を通じて成立することが確認された。
• 新しい結果として、$\mathrm{Tr}[\rho^{1-s}\sigma^s] \leq \mathrm{Tr}[\mathcal{E}(\rho)^{1-s}\mathcal{E}(\sigma)^s]$ が導出され、$f(u) = u^{1-s}$ に対する量子 $f$-発散度の単調性が示された。
• $\mathcal{F}(a) = \Phi(a)$ かつ $\mathcal{G}(a) = \Psi(a)$ であるという予想が提示された。ここで $\mathcal{F}(a)$ と $\mathcal{G}(a)$ はスペクトル射影を用いて定義される漸近的誤差指数関数であり、$\rho$ と $\sigma$ が可換である場合には成立する。