[論文レビュー] A holographic view of topological stabilizer codes

Thomas Schuster, Nathanan Tantivasadakarn+2 more|arXiv (Cornell University)|Dec 7, 2023

Theoretical and Computational Physics被引用数 4

ひとこと要約

本稿は、有限体上の多項式形式を用いて、トポロジカル安定化コードの一般化されたバルク-境界対応を確立する。バルクにおけるトポロジカル秩序の anyonic 統計が、局所的自由度では実現できない境界ヒルベルト空間における非局所的制約を生成することを示す。著者らは、これらの障害を分類する普遍的な「障害者不変量（obstructor invariants）」を導出し、X-Cube や Haah’s code などの三次元フラクタルモデルへと枠組みを一般化。境界に顕在する準拡張のサブシステム対称性を明らかにする。

ABSTRACT

The bulk-boundary correspondence is a hallmark feature of topological phases of matter. Nonetheless, our understanding of the correspondence remains incomplete for phases with intrinsic topological order, and is nearly entirely lacking for more exotic phases, such as fractons. Intriguingly, for the former, recent work suggests that bulk topological order manifests in a non-local structure in the boundary Hilbert space; however, a concrete understanding of how and where this perspective applies remains limited. Here, we provide an explicit and general framework for understanding the bulk-boundary correspondence in Pauli topological stabilizer codes. We show -- for any boundary termination of any two-dimensional topological stabilizer code -- that the boundary Hilbert space cannot be realized via local degrees of freedom, in a manner precisely determined by the anyon data of the bulk topological order. We provide a simple method to compute this "obstruction" using a well-known mapping to polynomials over finite fields. Leveraging this mapping, we generalize our framework to fracton models in three-dimensions, including both the X-Cube model and Haah's code. An important consequence of our results is that the boundaries of topological phases can exhibit emergent symmetries that are impossible to otherwise achieve without an unrealistic degree of fine tuning. For instance, we show how linear and fractal subsystem symmetries naturally arise at the boundaries of fracton phases.

研究の動機と目的

• 対称性保護型トポロジカル相にとどまらない、トポロジカル安定化コードの一般化されたバルク-境界対応を確立すること。
• 境界ヒルベルト空間を局所的自由度で実現できない障害を特定・計算する普遍的不変量（「障害者」と呼ばれる）を同定すること。
• X-Cube や Haah’s code を含む三次元フラクタルモデルへと枠組みを拡張し、バルクにおけるトポロジカル秩序が境界に準拡張のサブシステム対称性を誘発することを明らかにすること。
• 有限体上の多項式写像を用いた体系的な方法により、アーベルおよび非アーベル anyon 理論の両方に適用可能な、これらの障害の計算手法を提供すること。
• 境界理論の非局所的構造が、バルク励起の編み合わせおよび移動性特性から直接引き継がれることを示すこと。

提案手法

• 著者らは、境界作用素代数の普遍的不変量として「障害者不変量」を導入し、局所的自由度による境界ヒルベルト空間の実現が妨げられる理由を符号化する。
• 安定化コードを有限体上の多項式へ写像する多項式形式を用い、バルク保存則および境界制約の体系的計算を可能にする。
• 自己障害者不変量と相互障害者不変量を区別し、それぞれが anyon の自己統計と相互統計に対応する。
• 2次元安定化コードに対しては、バルクの anyon データから障害者不変量を計算し、非自明な anyonic 統計が非局所的境界構造をもたらすことを証明する。
• パッチ作用素とその交換関係の解析を通じて、フラクタル的およびサブシステム的対称性を明らかにすることにより、3次元フラクタルモデルへのアプローチを一般化する。
• トーリックコード、X-Cube モデル、Haah’s code における明示的計算により、手法の妥当性を検証。結果は代数的トポロジーや有限体算術によって確認された。

実験結果

リサーチクエスチョン

• RQ1 トポロジカル安定化コードにおけるバルク-境界対応は、境界の終着条件に依存しない普遍的な形で定式化可能か？
• RQ2 バルクトポロジカル秩序に起因する局所的ヒルベルト空間実現の障害を、境界作用素代数に内在するどの代数的不変量が符号化するか？
• RQ3 有限体上の多項式形式を用いることで、2次元および3次元安定化コードにおけるこれらの障害者不変量を体系的に計算できるか？
• RQ4 フラクタル相ではバルク-境界対応が成立するか？ もし成立するならば、非移動性を持つ励起および制限された移動性は、境界対称性にどのように影響するか？
• RQ5 境界に顕在する準拡張のサブシステム対称性は、直接的にバルク anyon 統計および移動性特性から導出可能か？

主な発見

• 任意の2次元トポロジカル安定化コードの境界ヒルベルト空間は、バルク anyon 統計から直接引き継がれる障害のため、局所的自由度では実現不可能である。
• 自己障害者不変量は、バルクの anyon の自己統計と等しい。Fibonacci プリズムモデルにおいて、これは anyon の自己統計と一致している。
• 相互障害者不変量は、X-Cube モデルの境界とトーリックコードのスタックの境界を区別でき、それぞれ異なる anyon 編み合わせ統計を反映している。
• X-Cube モデルでは、境界に線形的およびフラクタル的サブシステム対称性が顕在し、これらはバルクフラクタルの移動性および交換統計と直接関連している。
• Haah’s code では、フラクタル励起の自己統計に対応する非自明な自己障害者不変量が同定され、境界の非局所的性質が確認された。
• 多項式形式により、2次元および3次元安定化コードを統一的に取り扱うことが可能となり、F2 上の多項式における代数的演算により障害者不変量が計算可能である。