[論文レビュー] Gapped boundaries of (3+1)d topological orders

Zhu-Xi Luo|arXiv (Cornell University)|Dec 19, 2022

Theoretical and Computational Physics被引用数 5

ひとこと要約

本稿では、(3+1)dトポロジカルオーダーにおけるギャップを持つ境界のクラスを、分離可能な(2+1)dトポロジカルオーダーに加え、フラクタル的系のような特異な表面相を含めて商することによって再定義する。異なる境界クラスは、それらの端点に依存しない、バルクのストリング型励起が境界に終わるかどうかに依存して分類されることを示しており、(3+1)dボソン的 $β$-トーリックコードに対しては、これらのクラスが基礎となる群 $G$ の正規部分群に対応することを示している。これにより、既知の粗い、滑らかで、ねじれた滑らかな境界タイプに加え、新たな境界タイプが出現する。

ABSTRACT

Given a gapped boundary of a (3+1)d topological order (TO), one can stack on it a decoupled (2+1)d TO to get another boundary theory. Should one view these two boundaries as "different"? A natural choice would be no. Different classes of gapped boundaries of (3+1)d TO should be defined modulo these decoupled (2+1)d TOs. But is this enough? We examine the possibility of coupling the boundary of a (3+1)d TO to additional (2+1)d TOs or fractonic systems, which leads to even more possibilities for gapped boundaries. Typically, the bulk point-like excitations, when touching the boundary, become excitations in the added (2+1)d phase, while the string-like excitations in the bulk may end on the boundary but with endpoints dressed by some other excitations in the (2+1)d phase. For a good definition of "class" for gapped boundaries of (3+1)d TO, we choose to quotient out the different dressings as well. We characterize a class of gapped boundaries by the string-like excitations that can end on the boundary, whatever their endpoints are. A concrete example is the (3+1)d bosonic toric code. Using group cohomology and category theory, three gapped boundaries have been found previously: rough boundary, smooth boundary and twisted smooth boundary. We can construct many more gapped boundaries beyond these, which all naturally fall into two classes corresponding to whether the $m$-string can or cannot end on the boundary. According to this classification, the previously found three boundaries are grouped as {rough}, {smooth, twisted smooth}. For a (3+1)d TO characterized by a finite group $G$, different classes correspond to different subgroups of $G$. We illustrate the physical picture from various perspectives including coupled layer construction, Walker-Wang model and field theory.

研究の動機と目的

• ギャップを持つ境界の分類における曖昧さを解消するため、分離可能な(2+1)dトポロジカルオーダーからの冗長性を除去すること。
• 分離可能な(2+1)d相のみを商することによって、異なる境界クラスを定義することが十分であるかどうかを調査すること。
• フラクタル的系やanyonicトポロジカルオーダーなどの特異な2次元相への結合が、新たな物理的に異なるギャップを持つ境界理論を生成する役割を調査すること。
• 境界にバルクのストリング励起が終わるかどうかに依存する一貫した分類枠組みを確立し、その端点構造とは独立して行う。
• 有限群 $G$ で特徴づけられるモデルに一般化し、境界クラスが群 $G$ の正規部分群に対応することを示すこと。

提案手法

• (3+1)dバルクと(2+1)dトポロジカルオーダーまたはフラクタル的系を積層することで、ギャップを持つ境界を実現するカップルドレイヤー構成を用いる。
• ウォーカー＝ワングモデルを用いてバルクの(3+1)dトポロジカルオーダーを実現し、境界にスティル・ネットモデルを適用し、anyonの凝縮を通じて結合する。
• 場理論と異常流入メカニズムを用いて境界データからバルクを再構成し、特に表面anyonの凝縮とモノドロミー条件を分析する。
• 圏論と群コhomologyを用い、ラグランジュ代数およびバルクanyonと表面anyonの複合体を介して境界タイプを分類する。
• バルクストリング演算子が境界に終わるかどうか、その端点励起とは無関係に、境界クラスの定義的不変量としての基準を導入する。
• 特に(3+1)d $\mathbb{Z}_2$ トーリックコードに対しては、境界クラスが $\mathbb{Z}_2$ の正規部分群、すなわち $\{e\}$ と $\mathbb{Z}_2$ と一対一に対応することを示している。

実験結果

リサーチクエスチョン

• RQ1 ギャップを持つ(3+1)dトポロジカルオーダーの境界は、分離可能な(2+1)dトポロジカルオーダーを除くこと以上の意味のある分類が可能か？
• RQ2 フラクタル的系やanyonicトポロジカルオーダーなどの特異な2次元相と結合した場合、(3+1)dトポロジカルオーダーでは何が起こるか？
• RQ3 バルクストリング励起が境界に終わる能力が、異なる境界タイプを分類するための頑健な不変量であるか？
• RQ4 境界に終わるストリングの端点が、ギャップを持つ境界の分類に与える影響は何か？この依存性は除去可能か？
• RQ5 有限群 $G$ で特徴づけられる(3+1)dトポロジカルオーダーに対して、異なる境界クラスに対応する $G$ 内の代数的構造は何か？

主な発見

• 本稿では、(3+1)dボソン的 $\mathbb{Z}_2$ トーリックコードに対して、$m$-ストリングが境界に終わるかどうかに応じて2つの異なる境界クラスを特定している。これらは $\mathbb{Z}_2$ の自明な正規部分群と全正規部分群に対応する。
• 従来知られていた3つの境界（粗い、滑らか、ねじれた滑らか）は、$m$-ストリングの終端可能性に基づき、2つのクラスに分類される：{粗い} と {滑らか, ねじれた滑らか}。
• 追加の(2+1)dトポロジカルオーダーまたはフラクタル的系と結合することで、新たなギャップを持つ境界が構成され、バルクに存在しない異常な表面励起が生じる。
• 境界クラスの分類が、(3+1)dトポロジカルオーダーを特徴付ける有限群 $G$ の正規部分群の分類と等価であることが示された。
• この枠組みにより、バルクにそれらの励起が存在しない場合でも、非自明な表面anyonや移動制約を持つ境界を構築可能である。
• この方法は、分離可能な(2+1)dトポロジカルオーダーと特異な表面相の両方を除く物理的に動機付けられ、数学的に整合性のある分類を提供し、バルクストリングの終端可能性を主要な不変量として用いる。