[論文レビュー] On quantum channels

Frank Verstraete, Henri Verschelde|ArXiv.org|Feb 21, 2002

Quantum Information and Cryptography参考文献 38被引用数 23

ひとこと要約

本稿では、量子チャネルと量子状態の間に双対性を確立し、入力および出力のヒルベルト空間のテンソル積上に定義される双対状態が、完全正値マップ（CPマップ）のすべての性質を符号化することを示している。エンタングルメント理論を活用することで、著者らは極端なCPマップを特徴づけ、エンタングルド状態の標準形を用いた qubit チャネルのパrameter化を行い、concurrence とエントロピー最適化を用いた正確な古典的容量の式を導出し、古典的容量が2つの純粋状態入力で最大になると明らかにした。

ABSTRACT

One of the most challenging open problems in quantum information theory is to clarify and quantify how entanglement behaves when part of an entangled state is sent through a quantum channel. Of central importance in the description of a quantum channel or completely positive map (CP-map) is the dual state associated to it. The present paper is a collection of well-known, less known and new results on quantum channels, presented in a unified way. We will show how this dual state induces nice characterizations of the extremal maps of the convex set of CP-maps, and how normal forms for states defined on a Hilbert space with a tensor product structure lead to interesting parameterizations of quantum channels.

研究の動機と目的

• CPマップとエンタングルド状態の間の双対性を用いた量子チャネルの記述を統一すること。
• 双対状態形式を用いて、トレース保存CPマップの凸集合の極端な点を特徴づけること。
• 量子チャネルと二粒子状態の間の双対性を活用して、パrameter化と古典的容量の計算を行うこと。
• qubit チャネルに対して、古典的容量と concurrence のようなエンタングルメント測度との直接的な対応関係を確立すること。
• 純粋状態系の最適化を用いた構成的メソッドにより、極端な qubit チャネルの古典的容量を計算すること。

提案手法

• 双対状態は $ \rho_{\Phi} = I_n \otimes \Phi(|I\rangle\langle I|) $ として定義され、ここで $ |I\rangle $ は正規化されていない最大エンタングル状態である。
• $ \rho_{\Phi} $ の固有値分解により、Kraus 演算子 $ A_i $ が得られ、$ \Phi(X) = \sum_i \lambda_i A_i X A_i^\dagger $ として CPマップのパrameter化が可能になる。
• 古典的容量は、純粋状態系の Holevo 情報を最適化することで計算され、concurrence $ C $ と出力エントロピー $ S(\Phi(\rho)) $ の関数に簡略化される。
• ランク2の qubit チャネルでは、最適な入力系は2つの純粋状態から構成され、行列 $ A_1^T\sigma_y A_2 - A_2^T\sigma_y A_1 $ の特異値分解を用いて最適分解が得られる。
• 容量の式は $ S(\Phi(\rho)) - f(C) $ として導出され、ここで $ f(C) $ は concurrence $ C $ に依存し、集合平均 $ \rho $ における最適化が行われる。
• 混合二粒子状態と量子チャネルの双対性を用いて、容量計算をエンタングルメントの形成に類似た問題に再定式化する。

実験結果

リサーチクエスチョン

• RQ1 完全正値マップの集合は、どのように双対量子状態を用いて特徴づけられるか？
• RQ2 量子チャネルの双対状態におけるエンタングルメントの役割は何か？ また、それはチャネルの極端性とどのように関係するか？
• RQ3 エンタングルメント理論的ツールを用いて、極端な qubit チャネルの古典的容量を正確に計算できるか？
• RQ4 1キュービットチャネルにおいて、Holevo 情報を最大化する最適な入力系は何か？
• RQ5 双対状態の concurrence は、量子チャネルの古典的容量とどのように関係するか？

主な発見

• 双対状態 $ \rho_{\Phi} $ は任意の CPマップを完全に特徴づけ、そのエンタングルメント特性はチャネルの構造を直接反映する。
• 極端なトレース保存 CPマップは、双対空間における純粋状態に対応し、その Kraus 演算子は $ \rho_{\Phi} $ の固有ベクトルから導出される。
• 極端な qubit チャネルでは、古典的容量は2つの純粋状態入力で最大となり、最適分解は特異値分解を用いて構成的に決定される。
• 古典的容量は $ S(\Phi(\rho)) - f(C) $ として与えられ、ここで $ C $ は行列 $ X^T(A_1^T\sigma_y A_2 - A_2^T\sigma_y A_1)X $ の concurrence であり、$ f(C) $ は concurrence に依存する関数である。
• 最適な入力状態は、対称行列の固有ベクトルを回転行列の特異ベクトルと一致させることで得られ、回転された行列の対角成分が消えるように保証される。
• qubit チャネルの古典的容量は、3パラメータの最適化として数値的に計算可能であり、双対状態形式によりランク2の場合に正確な解析的取り扱いが可能になる。