[論文レビュー] Introducing categories to the practicing physicist

Bob Coecke|ArXiv.org|Aug 7, 2008

Quantum Mechanics and Applications参考文献 31被引用数 48

ひとこと要約

この論文は、量子力学および量子情報における物理的過程を記述するための自然な数学的枠組みとしてモノイダル圏が適していると主張している。伝統的な形式的記法とは対照的に、構造的かつ操作的根拠に基づく代替的枠組みを提供する。物理的系と操作を対象と射としてモデル化し、テンソル積と双対を組み込むことで、エンタングルメント、測定、ユニタリ性といった量子力学の核となる特徴を直感的な図式的推論で捉えることができるグラフィカルな計算体系を可能にする。

ABSTRACT

We argue that category theory should become a part of the daily practice of the physicist, and more specific, the quantum physicist and/or informatician. The reason for this is not that category theory is a better way of doing mathematics, but that monoidal categories constitute the actual algebra of practicing physics. We will not provide rigorous definitions or anything resembling a coherent mathematical theory, but we will take the reader for a journey introducing concepts which are part of category theory in a manner that the physicist will recognize them.

研究の動機と目的

• カテゴリー理論、特にモノイダル圏が、量子力学における物理的過程の背後にある自然な代数的構造であることを示すこと。
• 純粋な数学者を対象とした伝統的なカテゴリー理論の文献と、物理学者や量子情報科学者らの実用的ニーズとの間のギャップを埋めること。
• 従来の形式的記法と比較して、操作的および概念的利点を示すことで、物理学におけるカテゴリー的アプローチの採用を提唱すること。
• モノイダル圏に基づく図式的計算体系が、複雑な量子力学的計算を単純化および統一できることを確立すること。
• 特に量子基礎論および量子計算分野において、カテゴリー理論を物理学の統一的言語として推進すること。

提案手法

• 物理的系を圏内の対象、物理的操作を射としてモデル化し、合成が逐次的プロセスを表すようにする。
• 複合系とそれらの操作をテンソル積 $ A \otimes B $ を用いてモノイダル圏でモデル化し、もつれや相関を捉える。
• 強コンパクト閉包（強いコンパクト閉包）の概念——双対、ベル状態 $ \eta_A $、随伴——を用いて、測定やユニタリ性といった量子的特徴を符号化する。
• 2次元の図式的計算体系を採用し、方向付きの線とボックスで射を表すストリング図式を用いて、量子プロセスの直感的取り扱いを可能にする。
• 「引き抜き」恒等式—$ \eta_A^\dagger \circ (\eta_A \otimes \text{id}) = \text{id} $—を用いて、量子テレポーテーションや双対性といった主要な量子現象を導出する。
• この計算体系における等式的推論と図式的推論が同等であることを示し、図式を厳密な証明として正当化する。

実験結果

リサーチクエスチョン

• RQ1 カテゴリー理論は、量子力学における物理的過程を記述する上で、より自然かつ統一的な枠組みをどのように提供できるか？
• RQ2 モノイダル圏のどの構造的特徴が、もつれや測定を含む量子操作の本質的代数的性質を捉えているか？
• RQ3 カテゴリー理論に基づく図式的計算体系は、量子力学における従来のディラック記法や行列代数を置き換えたり単純化したりできるか？
• RQ4 概念的および操作的利点があるにもかかわらず、なぜカテゴリー理論はまだ物理学の標準的手段となっていないのか？
• RQ5 量子力学の公理は、強コンパクト閉包のようなカテゴリー的原理からどの程度導出可能か？

主な発見

• モノイダル圏は、対象が系を表し、射が物理的操作を表す数学的に厳密でありながら操作的直感に裏付けられた枠組みを提供する。
• 強コンパクト閉包に基づく図式的計算体系により、内積、ユニタリ性、トレース、ボーン則といった標準的な量子力学的特徴がすべて図式的変形によって導出可能である。
• 図式的計算体系における「引き抜き」恒等式は、量子テレポーテーションやもつれスワッピングを視覚的かつ代数的に正当化し、複雑なプロトコルを単純な図式的操作に還元する。
• 等式的証明と図式的推論が正式に同等であることを示すことで、ストリング図式が量子基礎論および量子情報分野における正当かつ強力な推論ツールとして使用可能であることが裏付けられる。
• このアプローチは、ディラック記法、行列計算、量子回路図式といった既存の形式的記法を、単一のカテゴリー的枠組みの下で統一的かつ一般化する。
• 本論文は、カテゴリー理論が単なる統一的言語ではなく、物理的プロセスそのものの代数的構造であることを示しており、基礎的および計算的物理学において不可欠であると結論づける。