[論文レビュー] Gauging Categorical Symmetries in 3d Topological Orders and Bulk Reconstruction

Matthew Yu|arXiv (Cornell University)|Nov 26, 2021

Geophysics and Sensor Technology被引用数 14

ひとこと要約

本稿は、モジュラーテンソルカテゴリ（MTC）における代数的対象を用いたカテゴリカル凝縮を用いて、3次元トポロジカルオーダーにおける非アーベル任意子のゲージ化を記述するカテゴリカルな枠組みを構築する。これにより、子理論の体系的構成が可能となり、親理論と壁カテゴリ（界面理論）の間の整合性関係が導入され、子理論のS行列要素から親理論のS行列要素が導出される。ヴェルリンドの公式の応用により、バルク再構成が実現され、明示的な量子次元とモジュラー不変量が得られる。

ABSTRACT

We use the language of categorical condensation to give a procedure for gauging nonabelian anyons, which are the manifestations of categorical symmetries in three spacetime dimensions. We also describe how the condensation procedure can be used in other contexts such as for topological cosets and constructing modular invariants. By studying a generalization of which anyons are condensable, we arrive at representations of congruence subgroups of the modular group. We finally present an analysis for ungauging anyons, which is related to the problem of constructing a Drinfeld center for a fusion category; this procedure we refer to as bulk reconstruction. We introduce a set of consistency relations regarding lines in the parent theory and wall category. Through use of these relations along with the $S$-matrix elements of the child theory, we construct $S$-matrix elements of a parent theory in a number of examples.

研究の動機と目的

• 非アーベル一形式対称性を超えて、カテゴリカル凝縮を用いた3次元トポロジカルオーダーにおける非アーベル任意子のゲージ化の一般的手続きを構築すること。
• 非アーベル任意子の凝縮後の子理論におけるラインのスペクトルと量子次元を体系的に決定するアルゴリズムを提供すること。
• 子理論のS行列から親理論のデータを回復する「バルク再構成」と呼ばれる、任意子の非ゲージ化の方法を確立すること。
• モジュラー不変量の構成、トポロジカルコセット、モジュラーテンソルカテゴリ間のモリタ同値性の検証への応用を示すこと。
• 整合性関係とヴェルリンドの公式を用いて、親理論の明示的なS行列要素を導出することを、具体的な例で検証すること。

提案手法

• モジュラーテンソルカテゴリ（MTC）における特別なフォビオス代数を用いたカテゴリカル凝縮を、非アーベル任意子のゲージ化の記述に用いる。
• 親理論のラインと壁カテゴリ（インターフェース理論）の間の整合性関係を適用し、S行列要素を制約する。
• ヴェルリンドの公式 $ N^{0}_{a,b} = \sum_d \frac{S^2_{a,d} S^*_{b,d}}{S_{0,d}} $ を用いて、子理論データから親理論S行列要素を再構成する。
• 融合規則と対称性制約を用いて、S行列要素間の関係を導出し、たとえば $ S_{2,0} = S_{2,2} = -S_{2,4} = \cdots $ のように独立変数の数を削減する。
• 具体例における明示的計算を実施し、融合規則とユニタリティから導かれる方程式系を解き、$ S_{2,0} = \frac{1}{\sqrt{12}} $ および $ S_{5,0} = \frac{1}{\sqrt{6}} $ を得る。
• この手続きを用いて、共形埋め込みの検証とトポロジカルコセットの解析を実施し、ギャップのある境界構成を超えた有用性を示す。

実験結果

リサーチクエスチョン

• RQ1 非アーベル任意子は、カテゴリカル凝縮を用いて3次元トポロジカルオーダーでどのようにゲージ化可能であり、任意子代数が凝縮可能であるかどうかを決定する条件は何か？
• RQ2 親理論、壁カテゴリ、子理論のS行列要素の間で支配的な整合性関係は何か？
• RQ3 ヴェルリンドの公式と融合規則を用いて、子理論のS行列から親理論のS行列をどのように再構成できるか？
• RQ4 一般化された凝縮枠組みにおいて、モジュラー群の合同部分群の役割は何か？
• RQ5 任意子の非ゲージ化（バルク再構成）の手続きは、子理論から親理論のデータを回復するためにどのように機能するか？

主な発見

• ヴェルリンドの公式と融合規則からの対称性制約を用いて、$ S_{2,0} = \frac{1}{\sqrt{12}} $ および $ S_{2,1} = -S_{2,5} = \frac{1}{\sqrt{24}} $ が導出された。
• ラベル5のラインに関しては、S行列要素が $ S_{5,0} = \frac{1}{\sqrt{6}} $、$ S_{5,2} = -S_{5,8} = -\frac{2}{\sqrt{24}} $、および $ S_{5,1} = S_{5,3} = S_{5,5} = S_{5,7} = S_{5,9} = 0 $ であることが判明し、$ S_{5,4} = S_{5,0} $、$ S_{5,6} = -S_{5,0} $、$ S_{5,10} = S_{5,0} $ が成り立つ。
• ヴェルリンドの公式により整合性が確認され、$ 1 = 6S^2_{2,0} + 3S^2_{2,1} $ から $ S_{2,0} = \frac{1}{\sqrt{12}} $ が得られる。
• この手続きにより、子理論のデータから親理論のS行列が成功裏に再構成され、代数的制約と対称性関係を用いたバルク再構成が実証された。
• 解析により $ S_{5,5} = 0 $ かつ $ S_{5,10} \neq S_{5,0} $ であることが判明し、以前の式との矛盾が解消され、ユニタリティと整合的であることが保証された。
• 本手法は、モジュラー不変量の構成とトポロジカルコセットの解析のための枠組みを提供し、モリタ同値性および共形埋め込みへの応用が可能である。