[論文レビュー] Quantum Information Theory - an Invitation

Reinhard F. Werner|ArXiv.org|Jan 15, 2001

Quantum Mechanics and ApplicationsPhysics and Astronomy参考文献 20被引用数 17

ひとこと要約

本稿は、量子情報理論の基礎的導入を提供し、量子テレポーテーションやスーパーデンス・コーディングなどの主要プロトコルの数学的枠組みを確立する。最適なスキームが最大もつれ状態と正規直交ユニタリ基底を必要とすることを証明し、主要な結果として、テレポーテーションとデューブル・コーディングが、特定のヒルベルト＝シュミット直交性条件を満たすユニタリ演算子によって結びつけられる双対的プロセスであることを示す。

ABSTRACT

We give a non-technical introduction of the basic concepts of Quantum Information Theory along the distinction between possible and impossible machines. We then proceed to describe the mathematical framework of Quantum Information Theory. The capacities of a quantum channel for classical and for quantum information are defined in a unified scheme, and a mathematical characterization of all teleportation and dense coding schemes is given.

研究の動機と目的

• 標準的量子力学に基づき、解釈的バイアスなしに、量子情報理論の厳密かつアクセス可能な基礎を確立すること。
• 量子情報が信頼性を持って伝送・処理可能な物理的および数学的条件を明確にすること。
• テレポーテーションとデューブル・コーディングの双対性を示し、ユニタリ双対性と最大もつれ状態の下で両者が等価であることを証明すること。
• 有限次元系における最適なテレポーテーションおよびデューブル・コーディングスキームの必要十分条件を特定すること。
• ユニタリ基底と組合せ構造（ラテン二乗やハダマード行列）を用いた、このようなスキームを構成的に生成するフレームワークを提供すること。

提案手法

• 量子チャネルと二粒子状態の双対性を分析することで、テレポーテーションおよびデューブル・コーディングの必要十分条件を導出する。
• ヒルベルト＝シュミット内積を用いてユニタリ演算子の正規直交性を特徴づける：$\operatorname{tr}(U_x^*U_y) = d\delta_{xy}$ であり、これは信号の完全な区別可能性を保証する。
• 最適な性能を達成するためには共有状態 $\omega = |\Omega\rangle\langle\Omega|$ が最大もつれ状態でなければならないことを、トレースの最小化と固有値制約を用いて証明する。
• 演算子空間におけるユニタリの正規直交基底からスキームを構成し、このような基底がテレポーテーションおよびデューブル・コーディングプロトコルに対応することを示す。
• 特にラテン二乗とハダマード行列を用いた群論的および組合せ的技法を適用し、このようなユニタリ基底の例を体系的に生成する。
• アリスとボブの役割を入れ替えることで、テレポーテーションスキームがデューブル・コーディングスキームに、逆にそれも成り立つことを示し、それらの双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 $d$ 次元系において、$d^2$ 個の区別可能な古典的信号を伝える量子テレポーテーションスキームが完全な忠実度を達成するために必要な最小限の物理的および数学的条件は何か？
• RQ2 共有もつれ状態の構造が、デューブル・コーディングプロトコルの性能にどのように制約を加えるか？
• RQ3 双対性およびユニタリ変換の観点から、テレポーテーションとデューブル・コーディングの正確な関係は何か？
• RQ4 すべての最適なテレポーテーションおよびデューブル・コーディングスキームは、ラテン二乗やハダマード行列といった組合せ的対象を用いて体系的に構成可能か？
• RQ5 両プロトコルにおいて完全な区別可能性を達成するために必要なユニタリ操作 $U_x$ の必要十分条件は何か？

主な発見

• $d$ 次元系において $d^2$ 個の区別可能な古典的信号を伝えるテレポーテーションまたはデューブル・コーディングスキームは、共有状態 $\omega = |\Omega\rangle\langle\Omega|$ が最大もつれ状態でなければならない。
• プロトコル演算子 $T_x(A) = U_x^* A U_x$ は、$\operatorname{tr}(U_x^*U_y) = d\delta_{xy}$ を満たす $d^2$ 個のユニタリ演算子から生成され、ヒルベルト＝シュミット空間における正規直交基底を形成する。
• 最大もつれ状態 $|\Omega\rangle$ は、ユニタリ基底によって一意に定まる：$|\Phi_x\rangle = (U_x \otimes \mathbf{1})|\Omega\rangle$ であり、$|\Phi_x\rangle$ は最大もつれ出力状態である。
• テレポーテーションとデューブル・コーディングの双対性は正確である：共有状態とユニタリ操作の役割を入れ替えることで、一方のプロトコルが他方のプロトコルに変換される。
• このようなスキームの構成は、組合せデザインと深く関連している：$d$ 次のラテン二乗と $d \times d$ のハダマード行列は、有効なユニタリ基底を生成する一般的手法を提供する。
• このようなスキームの包括的分類は存在しない。ラテン二乗やハダマード行列の存在が完全に特徴づけられていないため、無限大の族や新しい構成が残されている。