[論文レビュー] The Decoupling Theorem

Frédéric Dupuis, Mario Berta+2 more|arXiv (Cornell University)|Jan 1, 2011

Quantum Computing Algorithms and Architecture参考文献 27被引用数 12

ひとこと要約

この論文は、滑らかなエントロピーを用いて、量子系における分離のきつい基準を確立し、系Aが時間発展中に環境Eと完全に相関を失う条件を示している。この枠組みは1回限りの設定において普遍的に適用可能であり、最小限の量子もつれコストでほぼ最適な1回限りの状態融合プロトコルを可能にする。

ABSTRACT

If a quantum system A, which is initially correlated to another system, E, undergoes an evolution separated from E, then the correlation to E generally decreases. Here, we study the conditions under which the correlation disappears (almost) completely, resulting in a decoupling of A from E. We give a criterion for decoupling in terms of two smooth entropies, one quantifying the amount of initial correlation between A and E, and the other characterizing the mapping that describes the evolution of A. The criterion applies to arbitrary such mappings in the general one-shot setting. Furthermore, the criterion is tight for mappings that satisfy certain natural conditions. Decoupling has a number of applications both in physics and information theory, e.g., as a building block for quantum information processing protocols. As an example, we give a one-shot state merging protocol and show that it is essentially optimal in terms of its entanglement consumption/production.

研究の動機と目的

• 量子系Aが時間発展中に環境Eと完全に相関を失う正確な条件を同定すること。
• 任意の量子写像に適用可能な一般化された1回限りの分離基準を定式化すること。
• 時間発展演算子に自然な物理的条件が満たされる場合における基準のきつさを確立すること。
• 基準の実用性を、最適な1回限りの状態融合プロトコルの構築を通じて示すこと。

提案手法

• 論文は、2つの滑らかなミニマルおよびマキシマルエントロピーに基づく分離基準を導入する。1つはAとEの初期相関を測定し、もう1つは時間発展演算子を特徴付ける。
• 従来のアプローチで一般的な漸近的近似を避けるために、1回限りの設定にこの基準を適用する。
• 情報理論的道具を用いて、滑らかなエントロピー理論から、実際の状態と分離された状態のトレース距離を評価する。
• 完全正倣性およびトレース保存性といった自然な物理的制約を満たす写像に対して、基準がきついことを証明する。
• 分離条件を活用することで、1回限りの状態融合プロトコルの構築が可能になる枠組みを提供する。
• 導出された基準を用いて、プロトコルのもつれコストがほぼ最適であることを示す。

実験結果

リサーチクエスチョン

• RQ1 量子系Aが1回の時間発展演算ステップで環境Eと完全に分離する条件は何か？
• RQ2 1回限りの設定において、分離条件はどのように滑らかなエントロピーで表現できるか？
• RQ3 提案された分離基準は、物理的に現実的な量子写像に対してきついものか？
• RQ4 分離基準を用いて最適な1回限りの状態融合プロトコルを設計できるか？
• RQ5 この枠組みを用いた1回限りの状態融合で達成可能な最小のもつれコストは何か？

主な発見

• 分離基準は滑らかなミニマルおよびマキシマルエントロピーで表現されており、1回限りの設定における完全な分離の明確な条件を提供する。
• 完全正倣性およびトレース保存性を満たす写像に対して、基準はきついことが保証され、自然な物理的制約下での最適性が裏付けられる。
• この枠組みにより、もつれコストが理論的下界にほぼ一致する1回限りの状態融合プロトコルが構築可能である。
• この方法は、漸近的仮定を必要とせず、任意の量子写像に普遍的に適用可能である。
• 滑らかなエントロピーの使用により、初期相関および時間発展演算のダイナミクスの両方を定量的に特徴付けることができる。
• 結果として、1回のシステムインスタンスしか利用できない状況において特に有用な、量子情報プロトコルの基盤的ツールが確立される。