[論文レビュー] Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories

Samson Abramsky|ArXiv.org|Oct 15, 2009

Computability, Logic, AI Algorithms参考文献 13被引用数 4

ひとこと要約

本稿は、量子力学のためのより洗練された圏的枠組みを提供するため、自由なトレース付き対称モノイド圏および強くコンパクト閉じた圏の明示的で組み合わせ的な構成を提示する。ベース圏からこれらの構造を生成するための幾何学的・代数的メソッドを導入し、その主要な貢献はループ評価を通じて所定のスカラーのモノイドを「接続」できることであり、量子理論における振幅などの定量的側面を正確に制御可能にする。

ABSTRACT

We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures support a notion of scalar which allows quantitative aspects of physical theory to be expressed, and how the notion of strong compact closure emerges as a significant refinement of the more classical notion of compact closed category. We then proceed to an extended discussion of free constructions for a sequence of progressively more complex kinds of structured category, culminating in the strongly compact closed case. The simple geometric and combinatorial ideas underlying these constructions are emphasized. We also discuss variations where a prescribed monoid of scalars can be "glued in" to the free construction.

研究の動機と目的

• モノイド圏からトレース付き、コンパクト閉じた、そして最終的に強くコンパクト閉じた圏へと構造が高まる自由圏の明示的・合成的構成を提供すること。
• スカラーの概念を導入することで、量子力学のための圏的枠組みを洗練させ、定量的物理的推論を可能にする。
• 自由構成を、所定のスカラーのモノイドを含めるように拡張し、量子モデルにおける振幅（例えば複素数）を外部から指定可能にする。
• ダガー（対合）構造がこれらの構成を通じてどのように持ち上がるかを示し、セルリンジャーの枠組みと整合する「ダガー版」の各自由圏を生成すること。
• トレース付き対称モノイド圏を介して、自由なコンパクト閉じた圏のキーン・ラプラザと$Γ$-構成（Int）のアプローチの関係を統一的かつ明確にする。

提案手法

• ループを含むストリング図の同値類を用いて、自由なトレース付き対称モノイド圏を構成し、射は集合のストリング、置換、ラベルを符号化するタプル$(S, \pi, \lambda)$として表現される。
• 合成とモノイド構造を多重集合の和と再ラベリングにより定義し、トレースはフィードバックループを許容する「ヤンキング公理」によって実装される。
• 生成圏における対合を用いてストリングと矢印の方向を反転させ、ラベルを双対化することで、自由圏にダガー構造を導入する。
• スカラーのパrameterizationのために、自由モノイドのループをユーザー指定の可換モノイド$M$に置き換え、ループ評価を関数$\varphi$により$M$にマッピングする。
• コンma圏$(\mathcal{L} \downarrow U_{\mathbf{InvCMon}})$を用いて、所定のスカラーを備えた自由な強くコンパクト閉じた圏の構成を形式化する。
• すべての構成を通じてダガー構造を持ち上げ、セルリンジャーの研究におけるダガーコンパクト閉じた圏の概念と整合性を持つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 ベース圏から自由なトレース付き対称モノイド圏をどのように明示的かつ組み合わせ的に構成できるか？
• RQ2 自由なコンパクト閉じた圏の文脈において、キーン・ラプラザ構成と$\mathrm{Int}$-構成の正確な関係は何か？
• RQ3 所定のスカラーのモノイドを自由な強くコンパクト閉じた圏に組み込む方法は何か？ その際、圏的構造を保ちながら行う。
• RQ4 ダガー（対合）構造は自由構成を通じてどのように持ち上がるのか？ そして強いついコンパクト閉じた性質とどのように関係するか？
• RQ5 ストリング図の幾何学的・組み合わせ的直感を用いて、高階の圏的構造における自由構成の合成的・直感的な記述を可能にするか？

主な発見

• 本稿は、文献における空白を埋める、ベース圏上での自由なトレース付き対称モノイド圏の最初の明示的で組み合わせ的な構成を提供する。
• 自由なコンパクト閉じた圏が自由なトレース付き対称モノイド圏の商として構成可能であることが確立され、キーン・ラプラザと$\mathrm{Int}$-構成のアプローチの関係が明確にされた。
• 自由な強くコンパクト閉じた圏の構成が、ダガー構造を追加した自由なコンパクト閉じた圏と同等であることが示され、生成圏からの対合の持ち上げが行われた。
• 所定のモノイド$M$を備えた自由な強くコンパクト閉じた圏の新しい構成が導入され、ループ評価が関数$\varphi$によりユーザー定義のモノイド$M$にマッピングされ、モノイド演算が多重集合の和に置き換えられる。
• 自由圏におけるダガー構造は、ストリングの方向を反転させ、ラベルを双対化することで定義され、コンパクト閉じた構造と整合性を持ち、ダガーコンパクト閉じた圏を生成する。
• 最終的な自由圏におけるスカラーのモノイドは正確に所定のモノイド$M$に一致し、量子理論の定量的側面をモデル化する上で、本構成が柔軟かつ正確であることが示された。