[論文レビュー] Asymptotic Error Rates in Quantum Hypothesis Testing

Koenraad M. R. Audenaert, M. Nussbaum+2 more|Aug 31, 2007

Random Matrices and Applications被引用数 18

ひとこと要約

本稿は、二つの量子状態間の量子仮説検定における誤差確率の漸近的指数的減少率を確立し、量子チルンオフ距離を古典的チルンオフ距離の自然な一般化として特定する。新規のトレース不等式と古典的確率分布への写像を用いて、対称および非対称設定における最適な誤差率を導出し、量子スティーンの補題とサナフの定理を従える。

ABSTRACT

We consider the problem of discriminating between two different states of a finite quantum system in the setting of large numbers of copies, and find a closed form expression for the asymptotic exponential rate at which the specified error probability tends to zero. This leads to the identification of the quantum generalisation of the classical Chernoff distance. The proof relies on two new techniques that have been introduced in [quant-ph/0610027] and [quant-ph/0607216], respectively, and that are also well suited to prove the quantum generalisation of the Hoeffding bound, which is a modification of the Chernoff distance and specifies the optimal achievable asymptotic error rate in the context of asymmetric hypothesis testing. This has been done subsequently by Hayashi [quant-ph/0611013] and Nagaoka [quant-ph/0611289] for the special case where both hypotheses have full support. Moreover, quantum Stein's Lemma and quantum Sanov's theorem may be derived directly from the quantum Hoeffding bound combining it with a result obtained recently in [math/0703772]. The goal of this paper is to present the proofs of the above mentioned results in a unified way and in full generality (allowing hypothetic states with different supports). Additionally, we give an in-depth treatment of the properties of the quantum Chernoff distance. We argue that, although it is not a metric, it is a natural distance measure on the set of density operators, due to its clear operational meaning.

研究の動機と目的

• 量子系の複数コピーを用いた量子仮説検定における誤差確率の漸近的指数的減少率を特定すること。
• 対称的仮説検定における最適な誤差率として、古典的チルンオフ距離の量子一般化である量子チルンオフ距離を同定すること。
• 非対称的仮説検定への分析を拡張し、量子ホーディング境界を導出し、それと量子スティーンの補題およびサナフの定理との関係を明らかにすること。
• 量子状態が異なるスティッピングを持つ場合でさえも有効な、包括的で一般化された証明フレームワークを提供すること。これには、高度なトレース不等式と確率分布への写像が用いられる。
• 量子チルンオフ距離が、三角不等式を満たさないものの、意味的で操作的に根拠のある密度作用素の空間上の距離測度としての意味を持つことを確立すること。

提案手法

• 正の作用素のペアに対して新しいトレース不等式を導入し、それらの平方根の積のトレースノルムを、重み付きトレースで上界評価する。
• 密度作用素のペアから確率分布のペアへの特別な写像を適用し、量子問題を古典的問題に還元する。
• 量子ホーディング境界を中心的な道具として用い、これは古典的ホーディング境界を量子設定に一般化したものである。
• 対称的検定における主要な量として、$ C(\rho,\rho) = -\log \max_{0\leq s\leq 1} \mathrm{Tr}[\rho^s \sigma^{1-s}] $ で定義される量子チルンオフ距離を用いる。
• 最近の相対エントロピー距離に関する結果を用いて、ホーディング境界から量子スティーンの補題と量子サナフの定理を従える。
• 無限次元ヒルベルト空間における主要な不等式の直接的証明を提供し、有限次元系にとどまらない一般性を保証する。

実験結果

リサーチクエスチョン

• RQ1 対称的量子仮説検定における誤差確率がゼロに近づく漸近的指数的減少率は何か？
• RQ2 量子状態識別という文脈において、量子チルンオフ距離はどのように古典的チルンオフ距離を一般化するか？
• RQ3 非対称的量子仮説検定における最適な誤差率は何か？ また、それは量子ホーディング境界とどのように関係するか？
• RQ4 スティッピングが異なる状態を含む一般状況において、量子スティーンの補題と量子サナフの定理を量子ホーディング境界から導出できるか？
• RQ5 三角不等式を満たさないものの、量子チルンオフ距離は密度作用素の空間上での意味的で妥当な距離測度とみなせるか？

主な発見

• 対称的量子仮説検定における漸近的誤差率は、量子チルンオフ距離によって決定され、これは平均誤差確率の最適な指数的減少率を定量化する。
• 量子チルンオフ距離は $ C(\rho,\sigma) = -\log \max_{0\leq s\leq 1} \mathrm{Tr}[\rho^s \sigma^{1-s}] $ として定義され、古典的チルンオフ距離を量子領域に一般化する。
• 本稿では新しいトレース不等式を証明する：$ \|A^{1/2}B^{1/2}\|_1 \leq (\mathrm{Tr}[A^s B^{1-s}])^{1/2} (\mathrm{Tr}[A])^{(1-s)/2} (\mathrm{Tr}[B])^{s/2} $。この不等式はチルンオフ境界を導出する上で不可欠である。
• 第二のトレース不等式も確立される：$ \|A-B\|_1^2 + 4(\mathrm{Tr}[A^{1/2}B^{1/2}])^2 \leq (\mathrm{Tr}[A+B])^2 $。この不等式は誤差率の分析の基盤をなす。
• 量子ホーディング境界が導出され、それが非重複スティッピングを持つ状態でさえも、量子スティーンの補題と量子サナフの定理を一般に導くことが示された。
• 量子チルンオフ距離が、三角不等式を満たさないものの、自然で操作的に根拠のある距離測度として、密度作用素の空間上に意味を持つことが示された。