[論文レビュー] On extreme Bosonic linear channels

A. S. Holevo|arXiv (Cornell University)|Nov 15, 2011

Spectral Theory in Mathematical Physics被引用数 4

ひとこと要約

この論文は、非退化性の条件下で、ボソン的線形（準自由）チャネルが極端であるための必要十分条件は、環境が純粋であることであると確立している。主な結果は、有限モードのボソン的系間のガウス型チャネルが、最小雑音を持つときかつそのときに限り極端であるということであり、これはイヴァン、サバパシー、シモンによる1モードの予想を一般化したものである。

ABSTRACT

The set of all channels with fixed input and output is convex. We first give a convenient formulation of necessary and sufficient condition for a channel to be extreme point of this set in terms of complementary channel, a notion of big importance in quantum information theory. This formulation is based on the general approach to extremality of completely positive maps in an operator algebra due to Arveson. We then apply this formulation to prove the main result of this note: under certain nondegeneracy conditions, purity of the environment is necessary and sufficient for extremality of Bosonic linear (quasi-free) channel. It follows that Gaussian channel between finite-mode Bosonic systems is extreme if and only if it has minimal noise.

研究の動機と目的

• 完全正値写像のC*-代数的枠組みにおける極端性の特徴付け（アーヴェソン理論）を用いて、ボソン的線形チャネルの極点を特徴付けること。
• 一般の完全正値写像における極性基準（アーヴェソン理論による）を、ボソン的ガウス型チャネルという特定の状況に拡張すること。
• 1モードのガウス型チャネルが最小雑音を持つときかつそのときに限り極端であるという予想を解明すること。
• ボソン的線形チャネルの極性の必要十分条件を、環境の純粋性と雑音の最小性の観点から確立すること。

提案手法

• C*-代数的枠組みにおける完全正値写像の極性に関するアーヴェソンの特徴付けを用いる。
• スティンブリッング拡大を介して補完的チャネルの概念を適用し、等長作用素 $ V $ を用いてチャネルとその補完写像を定義する。
• チャネル $ \tilde{\rho} $ が極端であるための必要十分条件は、その補完チャネル $ \tilde{\tilde{\rho}} $ が自明な核を持つこと、すなわち $ \mathrm{Ker}\tilde{\tilde{\rho}} = 0 $ であることであることを確立する。
• ガウス型チャネルを特徴関数とウェイル演算子を用いて分析し、チャネルを $ \Phi_{K,l,\mu}[W_B(z_B)] = W(Kz_B) \exp[il^T z_B - \frac{1}{2}z_B^T \mu z_B] $ と表現する。
• 共分散行列の形式とウィリアムソンの標準形を用いて、ガウス状態の純粋性と雑音の最小性を分析する。
• 可逆な $ K $ に対して、$ \hat{K} = K^{-1}, \hat{l} = -(K^{-1})^T l, \hat{\mu^T} = (K^{-1})^T \mu K^{-1} $ の双対性関係を適用して、チャネル表現の関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 ボソン的線形チャネルが、すべての同様のチャネルの凸集合における極端点であるための条件は何か？
• RQ2 環境の純粋性は、ボソン的線形チャネルの極性にとって必要かつ十分か？
• RQ3 有限モードのボソン的系間のガウス型チャネルが最小雑音を持つときかつそのときに限り極端であるか？
• RQ4 イヴァン、サバパシー、シモンによる1モードの予想を、多モード系に一般化できるか？
• RQ5 補完的チャネルの構造は、ガウス型チャネルの文脈において極性とどのように関係するか？

主な発見

• 非退化性の条件下で、ボソン的線形チャネルが極端であるための必要十分条件は、環境が純粋であることである。
• 有限モードのボソン的系間のガウス型チャネルに関して、極性は最小雑音を持つことと同値であり、すなわち $ \mu $ が不等式 $ \mu \geq \frac{i}{2}[\Delta_B - K^T \Delta_A K] $ の最小解であるときである。
• 最小雑音条件は、環境における双対状態の共分散行列 $ \alpha_D $ が、対称行列の部分順序において最小であることを意味する。
• ガウス状態が純粋であるための必要十分条件は、その共分散行列 $ \alpha $ が $ \alpha \geq \frac{i}{2}\Delta $ を満たし、最小解の意味で等号が成り立つこと、すなわちすべてのシンプレクティック固有値が $ \frac{1}{2} $ であることである。
• 双対性関係 $ (\hat{K}, \hat{l}, \hat{\mu}) = (K^{-1}, -(K^{-1})^T l, (K^{-1})^T \mu K^{-1}) $ は、1モードチャネルに既知の双対性を一般化する。
• 補完チャネル $ \tilde{\Phi} $ の核が自明であるという極性基準、すなわち $ \mathrm{Ker}\tilde{\Phi} = 0 $ は、チャネルが極端であることと同値である。