[論文レビュー] A categorical semantics for causal structure

Aleks Kissinger, Sander Uijlen|arXiv (Cornell University)|Jun 20, 2017

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

ひとこと要約

本稿は、古典的および量子力学のような過程理論において、確定的および不定の因果構造を同時にモデル化する、新しいカテゴリー的枠組みを導入する。微細な因果関係を図式的公理によって符号化することで、ワンウェイシグナリング、ノンシグナリング写像、量子nコンブ、および量子スイッチといったプロセスの操作的挙動を導出し、一貫した形式主義の下で多様な因果構造を統一的に扱う。

ABSTRACT

We present a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include classical probability theory and quantum theory. Unlike prior constructions within categorical quantum mechanics, the objects of this theory encode fine-grained causal relationships between subsystems and give a new method for expressing and deriving consequences for a broad class of causal structures. To illustrate this point, we show that this framework admits processes with definite causal structures, namely one-way signalling processes, non-signalling processes, and quantum n-combs, as well as processes with indefinite causal structure, such as the quantum switch and the process matrices of Oreshkov, Costa, and Brukner. We furthermore give derivations of their operational behaviour using simple, diagrammatic axioms.

研究の動機と目的

• 過程理論における因果構造を統一的にモデル化するカテゴリー的枠組みの構築を目的とする。
• サブシステム間の因果関係を微細に捉えること、すなわち確定的および不定的因果関係を包括的に表現することを目的とする。
• 因果的プロセスの操作的挙動を図式的導出法で得るための手法を提供することを目的とする。
• 因果関係をオブジェクトの構造的特徴として組み込むことで、カテゴリー的量子力学を拡張することを目的とする。

提案手法

• オブジェクトが明示的な因果関係を持つサブシステムを表すような圏を構築する。
• 因果的依存関係とシグナリング制約を捉える公理に基づく図式的推論を採用する。
• 因果順序を圏的オブジェクトに埋め込むことで、量子コンブやプロセスマトリクスといった既存構造を一般化する。
• ワンウェイシグナリングやノンシグナリング写像といったプロセスを、この圏内のモルフィズムとして定義する。
• 量子スイッチのようなプロセスの挙動を、単純で合成的な図式的規則から導出する。
• アプローチは古典的確率論および量子理論の両方に適用可能であり、広範な一般性を保証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、過程理論のカテゴリー的枠組みにおいて、確定的および不定的因果構造を一様にモデル化できるか？
• RQ2 複雑な因果順序を持つプロセスの操作的挙動を導出するのに十分な図式的公理は何か？
• RQ3 量子スイッチおよびプロセスマトリクスは、どのように統一的なカテゴリー的構成から導出可能か？
• RQ4 この枠組みにおけるオブジェクトは、サブシステム間の微細な因果関係をどのように符号化するか？
• RQ5 一貫した原理の集合を用いて、量子nコンブやノンシグナリング写像といった既知の因果プロセスを再現できるか？

主な発見

• 方向性情報を圏的オブジェクトに符号化することで、ワンウェイシグナリングプロセスがうまくモデル化された。
• ノンシグナリングプロセスは、サブシステム間の因果的独立性を尊重するモルフィズムとして自然に捉えられた。
• 量子nコンブは、この圈权の特定の例として導出され、既知の操作的挙動と整合的であることが示された。
• 量子スイッチは公理から図式的に導出され、追加の仮定なしにその操作的挙動が示された。
• Oreshkov, Costa, および Bruknerのプロセスマトリクスが、この枠組み内で実現可能であることが示され、その一般性が確認された。
• この構成全体が古典理論および量子理論の両方で一貫しており、因果構造の統一的取り扱いが可能であることが裏付けられた。