[論文レビュー] Higher Quantum Theory

Jamie Vicary|arXiv (Cornell University)|Jul 19, 2012

Quantum Mechanics and Applications参考文献 32被引用数 17

ひとこと要約

本稿では、対称モノイド2カテゴリおよび2ヒルベルト空間を用いた2カテゴリカル形式的枠組みを提案し、量子情報と古典的情報の流れを記述する。古典的情報は、量子系間の相関から生じる。この形式的枠組みは位相的不変性を持つ図式的言語を提供し、2Hilbにおいて標準的量子理論を回復する。さらに、量子もつれ、量子テレポーテーション、デューブルコーディング、量子消去といったプロトコルを統合的かつ計算検証可能な枠組みで記述し、実装可能性に関する構造的同等性と新たな不変量を明らかにする。

ABSTRACT

We propose a 2-categorical formalism for describing classical information, quantum systems, and their interactions, based on the principle that classical information can be encoded as correlations between quantum systems. Applying this in the 2-category of 2-Hilbert spaces recovers ordinary quantum theory. The formalism gives a simple, graphical way to describe the specification and implementation of certain quantum procedures, which we use to investigate quantum teleportation, dense coding, complementarity and quantum erasure, verifying our results computationally using a software package.

研究の動機と目的

• 量子および古典的情報の流れを記述する統一的で高階カテゴリカルな枠組みを構築すること。
• 対称モノイド2カテゴリを用いて、古典的情報を量子系間の相関として形式化すること。
• 量子プロトコルの指定および検証に適した図式的で位相的不変な言語を提供すること。
• 有限次元量子物理学における位相的不変量を通じて、新規プロトコルの実装可能性を調査すること。
• 水平に可逆な写像の概念を通じて、補完性や量子消去といった現象の数学的基盤を確立すること。

提案手法

• 形式的枠組みは、時間の流れが図式の上方向を向くように、測定、符号化、コピー、制御操作などの操作を対称モノイド2カテゴリ内の2セルで表現する。
• 古典的情報は、相関する量子系を表す線で囲まれた領域に符号化され、公理的方程式から物理的解釈が導かれる。
• 図式的等式によりプロトコルが指定される。例えば、量子テレポーテーションはエンタングルメントを表すU字型のループと、一様な古典的出力との等価性によって表現される。
• 形式的枠組みは、2ヒルベルト空間の2カテゴリである2Hilbにおいて実装され、これにより従来の有限次元量子理論が回復される。
• 共有環境の古典的情報データに整合する状態を捉えるために、等化子を用いたテンソル積の構成 S ⊗E S′ が定義される。
• バッファ系 B を導入することで、環境との相互作用写像と可換になることで、保護されたダイナミクスが定義され、デコherenceを防ぐ進化が可能になる。

実験結果

リサーチクエスチョン

• RQ1 高階カテゴリカル枠組み内において、古典的情報はどのように量子系間の相関として体系的に符号化可能か？
• RQ2 この形式的枠組みにおいて、量子テレポーテーションとデューブルコーディングプロトコルの間にはどのような構造的同等性が存在するか？
• RQ3 図式的指定の位相的不変量は、有限次元量子理論における実装可能性を決定づけることができるか？
• RQ4 環境との相互作用が存在する状況で、線形写像がデコherenceから保護されるための条件は何か？
• RQ5 水平に可逆な写像は、補完性や量子消去といった量子現象の新しい数学的基盤をどのように提供するか？

主な発見

• この形式的枠組みは、2ヒルベルト空間の2カテゴリ（2Hilb）に解釈することで、通常の量子理論をうまく回復する。
• 量子テレポーテーションとデューブルコーディングが、それらのプロトコル図式を等価にする図式的等式を通じて構造的に同等であることが示された。
• 水平に可逆な写像の概念により、補完的観測量や量子消去の新しい代数的特徴づけが得られた。
• 入れ違いテレポーテーションは、位相的障害に基づき、従来の量子理論では実装不可能であることが特定された。
• バッファ系 B を用いてシステムを埋め込むことで、保護された系 S の進化が環境との相互作用写像と可換になるようにし、デコherenceを防ぐダイナミクスが達成された。
• 等化子を用いた環境適合テンソル積 S ⊗E S′ の構成により、共有される古典的情報伝達下での結合状態の整合性が保証された。