[论文解读] A holographic view of topological stabilizer codes

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

Theoretical and Computational Physics被引用 4

一句话总结

本文通過證明體系拓撲序的任意Anyon統計性質在邊界Hilbert空間上產生非局域約束，從而建立了拓撲穩定碼的一般體系-邊界對應關係，這些約束無法由局域自由度實現。作者使用有限域上的多項式形式化方法，推導出通用的「阻礙不變量」以分類這些阻礙，並將該框架推廣至三維分形子模型（如X-Cube和Haah's代碼），揭示邊界處出現的自發子系統對稱性。

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.

研究动机与目标

• 建立超越對稱保護拓撲相的拓撲穩定碼的一般體系-邊界對應關係。
• 識別並計算通用不變量——稱為「阻礙者」——以阻礙邊界Hilbert空間由局域自由度實現。
• 將該框架推廣至三維分形子模型，包括X-Cube和Haah's代碼，其中體系拓撲序在邊界誘導出自發子系統對稱性。
• 提供一種系統方法，利用有限域上的多項式映射計算這些阻礙，適用於阿貝爾與非阿貝爾任意Anyon理論。
• 證明邊界理論的非局域結構直接源自體系激發的統計互繞性與移動性特性。

提出的方法

• 作者引入「阻礙不變量」——邊界算符代數的通用不變量，用以編碼因體系拓撲序而導致無法由局域自由度實現邊界Hilbert空間的阻礙。
• 他們採用多項式形式化方法，將穩定碼映射至有限域上的多項式，從而系統化計算體系守恆定律與邊界約束。
• 該框架區分自阻礙不變量與互阻礙不變量，分別對應任意Anyon的自統計與互統計性質。
• 針對2D穩定碼，該方法從體系的任意Anyon數據計算阻礙不變量，證明非平凡的任意Anyon統計性質意味著邊界結構的非局域性。
• 透過分析patch算符及其對易關係，將該方法推廣至3D分形子模型，揭示分形與子系統對稱性。
• 該方法透過在toric代碼、X-Cube模型與Haah's代碼上的明確計算進行驗證，結果經由代數拓撲與有限域算術確認。

实验结果

研究问题

• RQ1 拓撲穩定碼的體系-邊界對應關係能否以通用形式表述，且獨立於邊界終止方式？
• RQ2 邊界算符代數中的哪些代數不變量編碼了因體系拓撲序而導致局域Hilbert空間實現受阻的阻礙？
• RQ3 如何利用有限域上的多項式形式化系統計算2D與3D穩定碼中的這些阻礙不變量？
• RQ4 分形子相是否具有體系-邊界對應關係？若是，其無法移動的激發與受限移動性如何影響邊界對稱性？
• RQ5 邊界處出現的自發子系統對稱性能否直接從體系任意Anyon統計性與移動性推導而出？

主要发现

• 任何2D拓撲穩定碼的邊界Hilbert空間都無法由局域自由度實現，這是直接源自體系任意Anyon統計性的阻礙。
• 自阻礙不變量等於體系中任意Anyon的自統計性，如Fibonacci棱柱模型所示，其與任意Anyon的自統計性完全一致。
• 互阻礙不變量區分了X-Cube模型的邊界與堆疊toric代碼的邊界，反映出不同的任意Anyon統計互繫性。
• 對於X-Cube模型，邊界表現出自發的線性與分形子系統對稱性，這些對稱性直接與體系分形子的移動性與交換統計性相關。
• 在Haah's代碼中，該框架識別出一個非平凡的自阻礙不變量，對應於分形子激發的自統計性，從而確認邊界的非局域性。
• 多項式形式化方法實現了對2D與3D穩定碼的統一處理，阻礙不變量可透過在F2上對多項式進行代數運算計算得出。