[論文レビュー] *-Autonomous categories in quantum theory

Brian J. Day|arXiv (Cornell University)|May 1, 2006

Algebraic structures and combinatorial models参考文献 5被引用数 5

ひとこと要約

この論文は、*-自己双対的プロモノイダル圏が量子数学における双対性を統合する枠組みを提供することを確立しており、完全な *-自己双対的モノイダル圏との畳み込みが *-自己双対性を保存することを示している。量子理論の具体例を用いて、包括的関数、正規直交モジュラー格子、および conformal field theory を通じて、物理理論の背後にある深い圏論的双対性構造を明らかにしている。

ABSTRACT

*-Autonomous categories were initially defined by M. Barr to describe a type of duality carried by many monoidal closed categories. Later they were generalised by the current author to include *-autonomous promonoidal categories. Together, these structures under "convolution" product give a clear indication of the usefulness of *-autonomy in quantum mathematics and related areas.

研究の動機と目的

• 量子数学的構造の一般化として *-自己双対的プロモノイダル圏を形式化すること。
• 完全な *-自己双対的モノイダル圏との *-自己双対的プロモノイダル圏の畳み込みが、再び *-自己双対圏を生成することを示すこと。
• 包括的関数、正規直交モジュラー格子、および conformal field theory からの具体例を通じて、*-*自己双対性が量子理論に広く存在することを示すこと。
• 圏論的畳み込みを通じて、量子的および論理的構造における双対性と巡回的対称性の役割を明確にすること。

提案手法

• プロモノイダル構造 (p, j) と双対性関手 S を用いて、*-*自己双対圏の一般化として *-自己双対的プロモノイダル圏を定義すること。
• *-*自己双対的プロモノイダル圏 𝒜 と完全な *-*自己双対的モノイダル圏 𝒱 との畳み込み積 [𝒜, 𝒱] を適用し、新たな *-*自己双対圏を生成すること。
• 畳み込み構成を用いて、ベース圏 𝒱 からの *-*自己双対構造を関手圏 [𝒜, 𝒱] に持ち上げること。
• 偏順序集合（例：冪集合、正規直交モジュラー格子）およびベクトル値プロマルチプライケーションを有する有限集合を用いて、具体的な例を構築すること。
• 例における巡回的双対性条件 p(a,b,Sc) = p(b,c, Sa) = p(c,a, Sb) を用いて *-*自己双対性を検証すること。
• 加法と乗法を双対モノイダル構造として持つ拡張実数 ℝ≥0∞ と ℝ−∞∞ を用い、包括的関数および凸関数における双対性をモデル化すること。

実験結果

リサーチクエスチョン

• RQ1 量子数学における *-*自己双対圏を、プロモノイダル構造を含む一般化する方法は何か？
• RQ2 畳み込みが圏的構成における *-*自己双対構造を保存する役割は何か？
• RQ3 *-*自己双対的プロモノイダル圏が、量子論理、包括的関数、および conformal field theory における双対性をどのように統合するか？
• RQ4 巡回的双対性条件（例：p(a,b,Sc) = p(b,c, Sa)）は、量子系における物理的または論理的対称性をどのように反映するか？
• RQ5 Chu構成と自由な *-*自己双対的プロモノイダル圏は、ベクトル空間とのプロモノイダル圏の畳み込みとどのように関係するか？

主な発見

• 𝒜 が *-*自己双対的プロモノイダル圏であり、𝒱 が完全な *-*自己双対的モノイダル圏である限り、畳み込み圏 [𝒜, 𝒱] は *-*自己双対圏である。
• 冪集合上の包括的関数の例において、上部畳み込みと下部畳み込みは、互いに素な和集合における sup と inf に対応し、補集合による双対性が誘導される。
• 正規直交モジュラー格子において、p(a,b,c)=1 ならば a∨b≤c であり、S が正規直交補元であるとすると、巡回的双対性条件 p(a,b,Sc)=p(b,c,Sa)=p(c,a,Sb) を満たす。
• conformal field theory において、ベクトル空間値プロマルチプライケーション p(i,j,k)=Vij^k を有する有限集合 𝒜 は、p(i,j,Sk)=p(j,k,Si)=p(k,i,Sj) を満たし、p(Si,Sj,Sk)=p(i,j,k)* も成り立つため、*-*自己双対性が確認される。
• 乗法と ∞⊗0=0 を持つ ℝ≥0∞ の圏は *-*自己双対であり、指数関数的同型により ℝ−∞∞（加法を伴う）と同型であり、最適化と論理における双対構造を提供する。
• カテゴリを 𝒫=𝒜+𝒜^op に埋め込む Hedliková–Pulmannová の構成により、スイッチ写像 S による *-*自己双対圏が得られ、格子論と *-*自己双対構造が結びつく。