[論文レビュー] Categorical Operational Physics

Sean Tull|arXiv (Cornell University)|Feb 1, 2019

Quantum Mechanics and Applications参考文献 15被引用数 9

ひとこと要約

この論文は、操作的原理に基づき、有限次元量子理論を完全に圏論的に再構築するものであり、圏論的量子力学と効果論の理論を拡張している。操作的圏と超因果的過程に基づく枠組みを導入し、確率的仮定を一切用いずに、図式圏論を用いて、量子の特徴である純化、重ね合わせ、位相を導出する。

ABSTRACT

Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop an approach to the study of such theories purely in terms of the behaviour of their processes, as described mathematically through the language of category theory. This extends a framework for quantum processes known as categorical quantum mechanics (CQM) due to Abramsky and Coecke. We first consider categorical frameworks for operational theories. We introduce a notion of such theory, based on those of Chiribella, D'Ariano and Perinotti (CDP), but more general than the probabilistic ones typically considered. We establish a correspondence between these and what we call "operational categories", using features introduced by Jacobs et al. in effectus theory, an area of categorical logic to which we provide an operational interpretation. We then see how to pass to a broader category of "super-causal" processes, allowing for the powerful diagrammatic features of CQM. Next we study operational theories themselves. We survey numerous principles that a theory may satisfy, treating them in a basic diagrammatic setting, and relating notions from probabilistic theories, CQM and effectus theory. We provide a new description of superpositions in the category of pure quantum processes, using this to give an abstract construction of the category of Hilbert spaces and linear maps. Finally, we reconstruct finite-dimensional quantum theory itself. More broadly, we give a recipe for recovering a class of generalised quantum theories, before instantiating it with operational principles inspired by an earlier reconstruction due to CDP. This reconstruction is fully categorical, not requiring the usual technical assumptions of probabilistic theories. Specialising to such theories recovers both standard quantum theory and that over real Hilbert spaces.

研究の動機と目的

• 操作的理論を圏論を用いて一般化する枠組みを構築すること。
• 圏論的量子力学、効果論、操作的確率論的理論を統合し、一つの圏論的基盤に統一すること。
• 確率的仮定を一切用いずに、圏論的構造を用いて有限次元量子理論を操作的原理から再構築すること。
• 量子過程における重ね合わせと位相の新しい抽象的特徴づけを提供すること。
• 圏論的双対性と純粋性を用いて、量子再構築における確率的仮定を排除すること。

提案手法

• 効果論と操作的確率論的理論の公理に基づき、操作的圏を用いて一般物理理論における過程をモデル化する。
• 全射化と余直積を用いて超因果的過程を導入し、圏論的量子力学に類似した図式的推論を可能にする。
• 双積、核、最小拡張といった圏論的構成を用いて、純粋性や区別可能性といった量子の特徴をモデル化する。
• 位相付き余直積とダガー構造を用いて、抽象的に量子の重ね合わせと位相ゲートを特徴づける。
• 操作的原理からコンパクト構造とダガー構造を導出し、それらを量子の可逆性と双対性に関連付ける。
• チリベラ＝ダリアーノ＝ペリノッティにインspiredされた公理に基づく再構築のレシピを、純粋な過程の圏に適用する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、圏論を用いて、過程の合成のみに依拠して操作的物理理論を形式化できるか？
• RQ2 純化、重ね合わせ、位相ゲートといった量子の特徴を裏付ける圏論的構造は何か？
• RQ3 確率的仮定を一切用いずに、圏論的および操作的原理のみを用いて、有限次元量子理論を再構築できるか？
• RQ4 一般の操作的圏において、純粋性、理想圧縮、最小拡張の概念はどのように関係するか？
• RQ5 ダガー構造とコンパクト構造は、操作的公理から量子理論的特徴を回復するために果たす役割は何か？

主な発見

• 論文は、操作的理論と操作的圏の間の対応関係を確立し、後者が操作的物理学に自然な圏論的枠組みを提供することを示した。
• 純粋な量子過程の圏において、位相付き余直積を用いた重ね合わせの新しい圏論的構成を導入した。
• この枠組みにより、確率的仮定や凸構造を仮定せずに、有限次元量子理論を完全に再構築できた。
• 操作的公理からコンパクト圏とダガー圏を導出し、これらの構造が物理的仮定から自然に生じることを示した。
• ヒルベルト空間と線形写像の圏が、純粋な過程に関連する「良好に振る舞う」圏として抽象的に再構築可能であることを証明した。
• 本研究は、標準量子理論と実数量子理論を、一般化された量子理論枠組みの特別なケースとして回復した。