[論文レビュー] Modular Categories

Michael Mueger|arXiv (Cornell University)|Jan 31, 2012

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

ひとこと要約

本稿は、トポロジカル量子場理論およびカテゴリカル量子力学の基盤的概念であるモジュラー圏について包括的なレビューを提供する。構造的性質、双対構造、および量子情報分野への応用を統合し、モジュラー圏が任意ons系およびトポロジカルオーダーを統合的な枠組みとして扱うものであることを確立する。

ABSTRACT

This is a review article on modular categories, extending an invited talk given at the workshop Categorical (co)algebraic methods in quantum informatics and Oxford, October 29-31, 2010. To appear in C. Heunen, M. Sadrzadeh, E. Grefenstette (eds.): Compositional methods in quantum physics and linguistics, Oxford University Press, 2012.

研究の動機と目的

• モジュラー圏の理論を、カテゴリカル量子力学およびトポロジカル量子場理論における中心的ツールとして体系化すること。
• モジュラー圏が量子系における任意ons統計およびトポロジカルオーダーを記述する役割を明確にすること。
• 量子情報および数学的物理の研究者を対象に、公理的枠組み、主要な不変量、構造定理について自己完結的な概説を提供すること。
• 圏論的形式主義と物理的応用を結びつけること、特に任意onsモデルおよびトポロジカル量子計算に焦点を当てる。
• 著者の招待講演で提示された基礎的概念を、量子基礎および圏論の研究者を対象に包括的な参考文献へと拡張すること。

提案手法

• 非退化S行列を備えた剛体ブレード付きテンソル圏の公理的枠組みを用いて、モジュラー圏を定義する。
• モノイダル圏における双対性および剛体性の理論を応用し、双対対象および評価／コ評価写像を特徴付ける。
• モジュラーS行列およびT行列を用いて、編み込みとねじれ統計を符号化し、トポロジカル不変性に不可欠な要因とする。
• 融合規則をモジュラーデータから決定するための主要な計算ツールとして、ヴェルリンデの公式を導入する。
• 状態和モデルを通じて、モジュラー圏がトポロジカル量子場理論（TQFT）のカテゴリカルな基礎を提供することを示す。
• 特に頂点演算子代数の表現論を通じて、モジュラー圏と conformal field theory の関係をレビューする。

実験結果

リサーチクエスチョン

• RQ1 モジュラー圏は、トポロジカル量子場理論における任意ons統計の代数的構造をどのように形式化するか？
• RQ2 ブレード付きテンソル圏がモジュラーであるための必要十分条件は何か？
• RQ3 モジュラーS行列およびT行列は、2+1次元TQFTにおけるトポロジカル不変量および編み込み統計をどのように符号化するか？
• RQ4 モジュラー圏は、トポロジカル量子計算のためのカテゴリカルな枠組みをどのように提供するか？
• RQ5 ヴェルリンデの公式は、圏のモジュラーデータからどのように導かれるのか、そして何を計算するのか？

主な発見

• モジュラー圏はS行列の非退化性によって特徴づけられ、圏が完全に双対的であり、トポロジカル不変量が適切に定義されることを保証する。
• ヴェルリンデの公式により、S行列から融合係数を計算可能であり、トポロジカルデータと表現論的構造との直接的な関係が得られる。
• T行列は任意onsのねじれ（フレーミング）を符号化し、その対角成分は任意ons励起状態の量子次元およびトポロジカルスピンに対応する。
• モジュラー圏は、2+1次元におけるユニタリなトポロジカル量子場理論を構成するための完全な代数的枠組みを提供する。
• モジュラー圏の存在は、3次元多様体の普遍的トポロジカル不変量の存在を示唆し、圏論と低次元トポロジーを結ぶ。
• 本稿は、特に任意ons凝縮および任意ons統計において、モジュラー圏がトポロジカルオーダーを記述する自然な設定であることを確立する。