[論文レビュー] Sine distance for quantum states

Alexey E. Rastegin|ArXiv.org|Feb 14, 2006

Quantum Mechanics and Applications参考文献 3被引用数 40

ひとこと要約

この論文は、量子状態の状態ベクトルのなす角度の正弦として定義される正弦距離を、量子状態の距離計測のための指標として導入し、厳密に分析している。正弦距離が有効な距離関数であり、0から1の間で値をとり、その二乗が凸であること、またトレース保存量子操作に対しては増加しないこと—これらにより、観測可能な差異に直接的な物理的解釈をもつ信頼性の高い量子状態の近接度の測定法であることが示された。

ABSTRACT

We thoroughly analyse the distance between quantum states that has been applied to state-dependent cloning and partly studied in the previous work of the author [Phys. Rev. A 66, 042304 (2002)]. Elementary proofs of its significant properties are given.

研究の動機と目的

• 量子状態の近接度を定量化するための正弦距離を、厳密かつ信頼性のある距離関数として確立すること。
• 正弦距離が、すべての必要な数学的性質を満たす量子状態空間上の適切な距離関数であることを示すこと。
• 正弦距離が、量子状態間の観測可能な差異の観点から直接的な操作的解釈を提供することを示すこと。
• 正弦距離がトレース保存量子操作に対して増加しないことを証明し、量子情報処理における物理的整合性を保証すること。
• 正弦距離を量子状態距離測定の他の指標（fidelity や Bures 距離）と比較し、その範囲と解釈可能性における利点を強調すること。

提案手法

• 純粋状態間の角度 $ \delta(x,y) = \arccos |\langle x|y\rangle| $ を用いて、正弦距離を $ d(x,y) = \sin \delta(x,y) $ として定義する。
• 非負性、対称性、三角不等式の確認により、純粋状態上での正弦距離が距離関数であることを証明する。
• 混合状態への定義をトレースノルムを用いて拡張する：$ d(\sigma, \rho) = \sqrt{1 - F(\sigma, \rho)} $、ここで $ F $ はfidelityを表す。
• 量子操作の演算子和表現を用いて、一般の量子操作下での正弦距離の変化に関する上限を導出する。
• 任意の測定に対して、出力確率分布間の全 Variation 距離が $ 2d(\sigma, \rho) $ で有界であることを示す。
• トレース保存量子操作下で正弦距離が増加しないことを、fidelity がこのような写像で非減少であるという性質を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 正弦距離は量子状態空間上での有効な距離関数であり、標準的な距離関数の公理を満たすか？
• RQ2 正弦距離は、2つの量子状態間の測定結果の観測可能な差異とどのように関係しているか？
• RQ3 特にトレース保存操作に対して、正弦距離は有界かつ良好に振る舞うか？
• RQ4 正弦距離は、fidelity や Bures 距離といった他の状態距離測定法と比較して、範囲や操作的意味においてどのように異なるか？
• RQ5 正弦距離は、物理的に意味のある方法で量子状態の区別可能性を定量化できるか？

主な発見

• 正弦距離 $ d(\sigma, \rho) $ は、量子状態空間上で有効な距離関数であり、非負性、対称性、三角不等式を満たす。
• 正弦距離は 0 から 1 の間で値をとり、論文では角度（0 から $ \pi/2 $）や Bures 距離（0 から $ \sqrt{2} $）と比較して、より自然な範囲であると主張する。
• 任意の測定に対して、状態 $ \sigma $ と $ \rho $ の出力確率分布間の全 Variation 距離は $ 2d(\sigma, \rho) $ で有界であり、直接的な操作的関連性を示している。
• 正弦距離の二乗は、密度行列に関して凸関数である。これは、最適化や情報理論的文脈での応用を支援する。
• 任意のトレース保存量子操作 $ \mathcal{E} $ に対して、出力間の正弦距離は入力間のそれ以上に増加しない：$ d(\mathcal{E}(\sigma), \mathcal{E}(\rho)) \leq d(\sigma, \rho) $。
• 入力間の正弦距離が小さい場合、出力間のfidelityと任意の基準状態との間のfidelityはほぼ等しくなる。これは、入力が近接している場合、出力が区別しにくくなることを示唆する。