[論文レビュー] On extreme quantum Gaussian channels

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

Spectral Theory in Mathematical Physics被引用数 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.

研究の動機と目的

• 固定された入力および出力を持つすべてのチャネルの凸集合内における極値量子ガウシアンチャネルの特徴づけを目的とする。
• 補完的チャネル概念を用いて、完全正値写像の極値性の一般条件を確立することを目的とする。
• ボソン的線形（準自由）チャネルが極値である条件を特定すること、特に非退化条件下での場合を目的とする。
• 有限モードガウシアン系における環境の純粋性と最小雑音がチャネルの極値性に果たす役割を明確にすることを目的とする。

提案手法

• 著者らは、作用素代数における極値性のアーヴェソンのアプローチを採用し、チャネルが極値であるための一般的必要十分条件を導出している。
• この条件を、量子情報理論における中心的役割を果たす補完的チャネルの観点から表現している。
• 解析は、ガウシアン状態で記述される有限モードボソン系に作用する線形（準自由）チャネルに焦点を当てている。
• 著者らは一般の極値性基準をガウシアンチャネルに適用し、極値性が環境が純粋であることと同値であることを示している。
• 非退化条件のもとで、ガウシアンチャネルが極値であるのは、最小雑音を持つときであることを証明している。
• 導出は、完全正値写像の構造的性質およびチャネルとその補完的チャネルの双対性に依拠している。

実験結果

リサーチクエスチョン

• RQ1 ボソン的線形チャネルが、固定された入力および出力を持つすべてのチャネルの凸集合内で極値点である条件は何か？
• RQ2 環境の純粋性は、ガウシアンチャネルの極値性とどのように関係しているか？
• RQ3 非退化条件下で、最小雑音はガウシアンチャネルの極値性にとって必要かつ十分な条件であるか？
• RQ4 補完的チャネルを介して、完全正値写像の一般極値性基準をガウシアンチャネルに効果的に適用できるか？
• RQ5 チャネルおよびその環境のどの構造的特徴が、それが極値であるかどうかを決定づけるか？

主な発見

• 非退化条件下で、ボソン的線形チャネルは、環境が純粋であるときかつそのときに限り極値である。
• ガウシアンチャネルの極値性は、最小雑音を持つことに同値である。
• 補完的チャネル形式は、完全正値写像の一般ケースにおける極値性の必要十分条件を提供する。
• この結果により、アーヴェソンの極値性枠組みが、量子ガウシアンチャネルの文脈へと拡張された。
• 有限モードボソン系では、極値となるのは最小雑音と純粋な環境を持つチャネルに限られる。
• この特徴づけにより、極値ガウシアンチャネルは、同一の入力および出力を持つ他のチャネルの凸結合に分解できない、まさにそれらであることが確認された。