[論文レビュー] Cryptographic Distinguishability Measures for Quantum Mechanical States

Christopher A. Fuchs, Jeroen van de Graaf|ArXiv.org|Dec 18, 1997

Quantum Information and Cryptography参考文献 27被引用数 28

ひとこと要約

本稿は、古典的統計的区別可能性に根ざした4つの量子区別可能性測度—誤差確率、トレース距離（コルモゴロフ距離）、バタチャリャ・係数、シャノン区別可能性—を導入し、それらの関係を提示する。これら測度間の重要な不等式を確立し、ある測度において指数的区別不能性が成立するならば、他のすべての測度に対しても指数的区別不能性が成立することを示しており、これは量子鍵配送のような量子暗号プロトコルの安全性を証明する上で極めて重要である。

ABSTRACT

This paper, mostly expository in nature, surveys four measures of distinguishability for quantum-mechanical states. This is done from the point of view of the cryptographer with a particular eye on applications in quantum cryptography. Each of the measures considered is rooted in an analogous classical measure of distinguishability for probability distributions: namely, the probability of an identification error, the Kolmogorov distance, the Bhattacharyya coefficient, and the Shannon distinguishability (as defined through mutual information). These measures have a long history of use in statistical pattern recognition and classical cryptography. We obtain several inequalities that relate the quantum distinguishability measures to each other, one of which may be crucial for proving the security of quantum cryptographic key distribution. In another vein, these measures and their connecting inequalities are used to define a single notion of cryptographic exponential indistinguishability for two families of quantum states. This is a tool that may prove useful in the analysis of various quantum cryptographic protocols.

研究の動機と目的

• 量子暗号に関連する4つの量子区別可能性測度を定義し、古典的統計的区別可能性に裏付けられた枠組みでそれらを関連付ける。
• これらの量子測度の間の厳密な数学的不等式を確立し、量子状態の識別における比較的分析を可能にする。
• ある測度において指数的区別不能性が成立するならば、他のすべての測度に対しても指数的区別不能性が成立することを示し、プロトコルの安全性分析における頑健性を保証する。
• 量子状態族がどれほど密接に区別可能であるかを定量化することで、量子暗号プロトコルの安全性分析に役立つツールを提供する。
• トレース距離とバタチャリャ・係数を用いて区別可能性測度の境界を導出し、量子鍵配送の安全性証明を支援する。

提案手法

• 任意の行列ノルムを避けて、統計的に根拠を持つ測度に焦点を当てた、量子測定に基づく区別可能性のアプローチを採用する。
• 4つの量子区別可能性測度を、古典的測度の量子一般化として定義する：誤差確率、トレースノルム距離（コルモゴロフ距離）、バタチャリャ・係数（ウルムの遷移確率）、シャノン区別可能性（相互情報量）。
• 重要な不等式を導出する：$\texttt{SD}(\rho_0,\rho_1) \leq \frac{1}{2}\mathrm{Tr}|\rho_0 - \rho_1|$ は、シャノン区別可能性とトレース距離を結ぶ。
• 量子状態のブロック対角構造（例：$\rho_0^{(n)} = \bigoplus_k \rho_{(0,k)}$）を用いて、複数キュービットにおける区別可能性測度の計算を簡略化する。
• 合成状態のバタチャリャ・係数を計算するために、分解 $\texttt{B}(\sigma_0, \sigma_1) = \texttt{B}(\sigma_0^u, \sigma_1^u) + \texttt{B}(\sigma_0^l, \sigma_1^l)$ を適用する。
• 具体的な例を用いて境界を図示し、$n=2$ 量子ビットの場合に $\texttt{B}(\rho_0^{(2)}, \rho_1^{(2)}) = |C|$ および $\texttt{SD}(\rho_0^{(2)}, \rho_1^{(2)})$ を $C = \cos 2\alpha$ の関数として計算する。

実験結果

リサーチクエスチョン

• RQ1 古典的区別可能性測度を、物理的に意味のある方法で量子状態に一般化することは可能か？
• RQ2 誤差確率、トレース距離、バタチャリャ・係数、シャノン区別可能性という4つの量子区別可能性測度の間には、どのような数学的関係があるか？
• RQ3 量子プロトコルにおいて、ある区別可能性測度において指数的区別不能性が成立するならば、他の測度に対しても指数的区別不能性が成立するか？
• RQ4 特に量子鍵配送の安全性証明において、区別可能性測度の間で得られるタイトな境界は何か？
• RQ5 （例：$2\times2$ ブロックを持つブロック対角型の）構造的量子状態の区別可能性は、どのようにして効率的に計算され、境界づけられるか？

主な発見

• 本稿は不等式 $\texttt{SD}(\rho_0, \rho_1) \leq \frac{1}{2}\mathrm{Tr}|\rho_0 - \rho_1|$ を確立し、シャノン区別可能性のトレース距離による有用な上界を提供する。
• $n=2$ の場合、$\rho_0^{(2)}$ と $\rho_1^{(2)}$ 間のバタチャリャ・係数は $|C|$ に等しく、$C = \cos 2\alpha$ である。これは、基礎となるキュービット状態間の角度に直接依存していることを示している。
• $n=2$ のシャノン区別可能性は、$\texttt{SD}(\rho_0^{(2)}, \rho_1^{(2)}) = \frac{1}{2}(1+C^2)I_2\left(\frac{C^2}{1+C^2}\right) + \frac{S^2}{2}$ で与えられ、ここで $S = \sin 2\alpha$ である。
• バタチャリャ・係数の境界は、$n=2$ においてタイトである。関数 $2\sqrt{x(1-x)}$ は、二進エントロピー関数 $\mathtt{H}_2(x)$ をよく近似する。
• 導出された不等式のおかげで、ある測度において指数的区別不能性が成立するならば、他のすべての測度に対しても指数的区別不能性が成立することが保証され、測度間の等価性が得られる。
• $\rho_0^{(n)}$ と $\rho_1^{(n)}$ のブロック対角構造により、バタチャリャ・係数が個々の $2\times2$ ブロックにおける値の和として計算可能となり、多量子ビット状態の効率的計算が可能になる。