[論文レビュー] 2+1D symmetry-topological-order from local symmetric operators in 1+1D

Kansei Inamura, Xiao-Gang Wen|arXiv (Cornell University)|Oct 9, 2023

Advanced Chemical Physics Studies被引用数 4

ひとこと要約

本稿では、1+1次元系における局所的対称演算子から、共役パッチ演算子（境界を除き可換となるように構築された局所的対称演算子の積・和からなる拡張演算子）を用いて、2+1次元対称的トポロジカル秩序（symmetry-TO）を計算する新しい手法を提案する。主な結果として、トポロジカル不変量（ボロメアン環やホワイトヘッドリンクの不変量など、非モジュラーな不変量を含む）が、これらのパッチ演算子の縮約積として計算可能であることが示され、1+1次元対称系と2+1次元 symmetry-TO 間に直接的な代数的関係を確立する。

ABSTRACT

A generalized symmetry (defined by the algebra of local symmetric operators) can go beyond group or higher group description. A theory of generalized symmetry (up to holo-equivalence) was developed in terms of symmetry-TO -- a bosonic topological order (TO) with gappable boundary in one higher dimension. We propose a general method to compute the 2+1D symmetry-TO from the local symmetric operators in 1+1D systems. Our theory is based on the commutant patch operators, which are extended operators constructed as products and sums of local symmetric operators. A commutant patch operator commutes with all local symmetric operators away from its boundary. We argue that topological invariants associated with anyon diagrams in 2+1D can be computed as contracted products of commutant patch operators in 1+1D. In particular, we give concrete formulae for several topological invariants in terms of commutant patch operators. Topological invariants computed from patch operators include those beyond modular data, such as the link invariants associated with the Borromean rings and the Whitehead link. These results suggest that the algebra of commutant patch operators is described by 2+1D symmetry-TO. Based on our analysis, we also argue briefly that the commutant patch operators would serve as order parameters for gapped phases with finite symmetries.

研究の動機と目的

• 1+1次元量子系における局所的対称演算子から、2+1次元対称的トポロジカル秩序（symmetry-TO）を体系的に導出するフレームワークを確立すること。
• 2+1次元 symmetry-TO に含まれるトポロジカル不変量を符号化する中心的代数的構造として、共役パッチ演算子を同定すること。
• モジュラー・データを超えるトポロジカル不変量（ボロメアンリングやホワイトヘッドリンクのリンク不変量など）が、1+1次元パッチ演算子から計算可能であることを示すこと。
• 共役パッチ演算子の代数が、2+1次元 symmetry-TO の完全な構造を実現することを示し、明確な計算ツールを提供すること。
• 共役パッチ演算子が、有限の対称性を持つギャップのある相の秩序パラメータとして機能しうることを提唱し、対称性構造とトポロジカル秩序を結びつけること。

提案手法

• 1+1次元系における局所的対称演算子の積・和から構成される拡張演算子として、共役パッチ演算子を定義する。
• 共役パッチ演算子が境界を除きすべての局所的対称演算子と可換となるように保証し、トポロジカル保護を実現する。
• 共役パッチ演算子を用いて、任意 anyon 図式計算に類似した方法で、2+1次元におけるトポロジカル不変量を積の縮約として計算する。
• パッチ演算子代数を用いて、非モジュラーな不変量を含む具体的なトポロジカル不変量の式を構築する。
• ギャップのある境界を持つ低エネルギー理論とバルクのトポロジカル秩序との間のホログラフィック同型を活用し、1+1次元対称系と2+1次元 symmetry-TO を関連付ける。
• キタエフの量子デュアルモデルの粗い境界におけるリボン演算子と1+1次元パッチ演算子との間の対応関係を確立し、構成の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 1+1次元系における局所的対称演算子から、2+1次元対称的トポロジカル秩序を体系的にどのように導出できるか？
• RQ2 1+1次元におけるどの代数的構造が、非モジュラー不変量を含む2+1次元 symmetry-TO の完全なトポロジカル不変量内容を符号化しているか？
• RQ3 共役パッチ演算子は、有限の対称性を持つギャップのある相の秩序パラメータとして機能できるか？
• RQ4 ボロメアンリングやホワイトヘッドリンクに関連する非モジュラーなトポロジカル不変量は、1+1次元対称系からどのように生じるか？
• RQ5 1+1次元パッチ演算子と2+1次元 anyon 演算子の間の明確な数学的・物理的対応関係は何か？

主な発見

• 1+1次元系における共役パッチ演算子が、2+1次元 symmetry-TO の完全な代数的構造を符号化していることが示された。
• ボロメアンリングやホワイトヘッドリンクのトポロジカル不変量といった不変量が、1+1次元における共役パッチ演算子の縮約積として計算可能である。
• この構成により、理論のモジュラー・データを超えるこれらの不変量の明示的式が得られ、理論の拡張が可能になった。
• 共役パッチ演算子の代数が、2+1次元 symmetry-TO における anyon の融合・バーニング則と同型であることが実証された。
• キタエフの量子デュアルモデルの粗い境界におけるリボン演算子と1+1次元パッチ演算子との間の直接的対応関係が確立され、フレームワークの妥当性が裏付けられた。
• 理論により、共役パッチ演算子が、特にホロ等価な一般化対称性の文脈において、有限群対称性を持つギャップのある相の秩序パラメータとして機能することが確認された。