[論文レビュー] A categorical semantics of quantum protocols

Samson Abramsky, Bob Coecke|arXiv (Cornell University)|Feb 18, 2004

Quantum Mechanics and Applications被引用数 4

ひとこと要約

本論文は、双積を備えたコンパクト閉圏を用いて、量子プロトコルのカテゴリカルな意味論を提示する。この枠組みにより、量子テレポーテーション、論理ゲートテレポーテーション、もつれスワッピングの構造的特徴が統一される。スカラーとボーンの法則が、コンパクト閉性と双積から抽象的に導かれることが示され、直感的で図式的な推論によって、量子形式的記法に頼らない、一般的で公理的枠組みにおけるプロトコル正当性の証明が可能になる。

ABSTRACT

We study quantum information and computation from a novel point of view. Our approach is based on recasting the standard axiomatic presentation of quantum mechanics, due to von Neumann, at a more abstract level, of compact closed categories with biproducts. We show how the essential structures found in key quantum information protocols such as teleportation, logic-gate teleportation, and entanglement-swapping can be captured at this abstract level. Moreover, from the combination of the --apparently purely qualitative-- structures of compact closure and biproducts there emerge `scalars` and a `Born rule'. This abstract and structural point of view opens up new possibilities for describing and reasoning about quantum systems. It also shows the degrees of axiomatic freedom: we can show what requirements are placed on the (semi)ring of scalars C(I,I), where C is the category and I is the tensor unit, in order to perform various protocols such as teleportation. Our formalism captures both the information-flow aspect of the protocols (see quant-ph/0402014), and the branching due to quantum indeterminism. This contrasts with the standard accounts, in which the classical information flows are `outside' the usual quantum-mechanical formalism.

研究の動機と目的

• カテゴリー理論を用いて、量子プロトコルについての統一的で抽象的な枠組みを提供すること。
• ヴァン・ノイマンによって元来公理化された標準的量子力学を、コンパクト閉圏と双積を用いて再定式化すること。
• 情報の流れ、不確実性、測定結果といった主要な量子現象が、構造的公理から自然に生じることを示すこと。
• ボーンの法則とスカラー構造が、ヒルベルト空間を仮定せずに、コンパクト閉性と双積から導かれることが示されること。
• 線形代数的計算を、プロトコルの一般化に適した概念的で図式的な証明に置き換えること。

提案手法

• 資源に依存する方法で複合量子系をモデル化するため、対称モノイド圏を用いて量子プロトコルを形式化すること。
• コンパクト閉構造を用いて、もつれ状態の準備、測定、ユニタリ変換をモデル化すること。
• 双積を用いて、量子重ね合わせ、古典的通信、プロトコル内の不確実な分岐を捉えること。
• カテゴリカル枠組み内での可換図式を用いて、テレポーテーションやもつれスワッピングのようなプロトコルを定義すること。
• 任意のコンパクト閉圏と双積を備えた圏において有効な概念的補題を用いて、正確な証明を導出し、明示的なブラケットや行列計算を避けること。
• 随伴写像と双対性を用いて、'二粒子もつれプロジェクター'の概念を導入し、測定と状態射影を形式化すること。

実験結果

リサーチクエスチョン

• RQ1 テレポーテーションのような量子プロトコルを、構造的圏論的公理のみを用いて形式的に記述・検証することは可能か？
• RQ2 テレポーテーションのようなプロトコルが正しく機能するためには、スカラー環 C(I,I) にどのような公理的要件が必要か？
• RQ3 ボーンの法則と量子力学における確率的構造は、コンパクト閉性と双積からだけ導けるか？
• RQ4 量子プロトコルにおける情報の流れと古典的制御は、完全に圏論的枠組み内でどの程度捉えることができるか？
• RQ5 この形式的枠組みは、混合状態、非射影的測定、無限次元系を扱うためにどのように拡張できるか？

主な発見

• ヒルベルト空間に基づく標準的量子形式的記法が、コンパクト閉圏と双積の具体的なモデルであることが示され、この枠組みの一般性が裏付けられる。
• テレポーテーションプロトコルの正当性が、構造的公理のみを用いて、q_B の最終状態が q の初期状態と一致することを示すことによって、圏論的に証明される。
• ボーンの法則とスカラー構造が、コンパクト閉性と双積の組み合わせから自然に生じ、事前に確率を仮定せずに導かれる。
• この形式的枠組みにより、論理ゲートテレポーテーションやもつれスワッピングに対しても、同じ証明テンプレートを再利用可能であり、モジュラリティと一般性が示される。
• 従来の研究で膨大に行われてきた線形代数的計算が、任意のコンパクト閉圏において有効なわずか数個の概念的補題に置き換えられ、推論が著しく簡略化される。
• 核的アイディアルを用いたテンソル *-圏における構成により、無限次元系への拡張が可能であり、合成性の補題がコンパクト性公理に対応する。