This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Anyon Condensation Web and Multipartite Entanglement in 2D Modulated Gauge Theories

Guilherme Delfino Department of Physics, Boston University, MA, 02215, USA    Yizhi You Department of Physics, Northeastern University, MA, 02115, USA
Abstract

In this work, we introduce an anyon condensation web that interconnects a broad class of 2D finite gauge theories with multipolar conservation laws at a microscopic level. We refer to such theories as spatially modulated since their generators act non uniformly across the system and have a strong position dependence. We find that condensation of appropriate set of anyons triggers the emergence of additional spatially modulated symmetries, which has the general effect of increasing the number of super-selection anyon sectors. As explicit examples, we start with the rank-2 toric code model and implement various anyon condensation protocols, resulting in a range of 2D higher-rank theories, each with a distinct gauge structure. We also expand the scope of anyon condensation by introducing lattice defects into spatially modulated theories and demonstrate that these geometric defects can be viewed as effective anyon condensations along the branch cut. Furthermore, we introduce the Multipartite Entanglement Mutual Information measure as a diagnostic tool to differentiate among various distinct multipole conserving phases. A captivating observation is the UV sensitivity of the mutual information sourced from multipartite entanglement in such modulated gauge theories, which depends on the geometric cut and the system size, and exhibits periodic oscillations at large distances.

I Introduction

Understanding the nature of entanglement in quantum field theory has led to important developments in the theoretical understanding and classification of quantum phases. In the past decades, zoology of quantum stabilizer codes [1, 2, 3, 4] has significantly contributed to the understanding of discrete gauge theories through exactly-solvable Hamiltonians [5, 6, 7, 8, 9]. Specifically, these stabilizer codes can be interpreted as an emergent gauge theory whose gauge structure is incorporated as the higher-form symmetries of the microscopic Hamiltonian [10, 11, 12]. Recently, the concept of fracton topological order in three spatial dimensions, and higher, had drawn attention from both the high energy and condensed matter community [13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25], achieved as low-energy states of gapped subsystem charge and/or multipole moment conserving gauge theories [26, 27]. In two dimensions, gauging discrete multipole symmetries lead to rich symmetry enriched topological orders (SETs), where both translations and rotations act non-trivially on the anyon content [28, 29, 30]. Alternatively, they can be viewed as twisted copies of usual discrete topological orders, where anyons change flavors when going through the periodic boundaries [31, 32]. For N\mathbb{Z}_{N} polynomial gauge theories, the mobility restriction in the quasiparticles content is only up to 𝒪(N)\mathcal{O}(N) sites, due the mod NN conservation of modulated quantities. A richer structure arises when gauging non-polynomial symmetries, e.g. exponential symmetries, where complicated long operators are needed to move excitations arroud [33, 34]. The restricted mobility of quasiparticles can be naturally interpreted in terms of modulated charge conservation laws [35, 36, 37, 38, 39, 40, 32, 41], often resulting in UV dependence of the ground state degeneracy on lattices with periodic boundary conditions [28, 29, 30, 34], a characteristic properties of topological phases enriched by translations [42].

Although proposals have been made regarding the zoology of fracton stabilizer codes with distinct higher-rank gauge structures, a significant question still lingers: What is the interrelation between different modulated gauge theories? In the context of three-dimensional theories, the authors in Ref. [43, 44, 45, 46, 47] successfully bridge the gap between various types of gauge theories. It includes both the conventional 3D topological quantum field theories (TQFT) and 3D fracton gauge theories by adopting a unified defect network perspective. It suggests that diverse topological field theories and fracton gauge theories can be related to each other through defect network approaches, which are achieved by imposing condensation of anyons on defect lines and planes. Somehow related to these ideas, in this work our goal is to intricately intertwine a broad class of two-dimensional modulated gauge theories through the condensation of anyonic quasiparticles.

We are interested in lattice models obtained from gauging symmetries associated with modulated generators

G[f]=rfrqr\displaystyle G[f]=\sum_{r}f_{r}\,q_{r} (1)

where qrq_{r} corresponds to the charge density of quasiparticles at site r=(x,y)r=(x,y) and frf_{r} is a fixed integer lattice function that defines the modulated symmetry. For concreteness, G[1]G[1] corresponds to the global charge, G[x]G[x] and G[y]G[y] are the xx- and yy-components of dipole momentum, and G[x2y2]G[x^{2}-y^{2}] and G[xy]G[xy] are quadrupole momentum, etc. Although in this work we only focus on polynomial symmetries, the generators in Eq. (1) can be more exotic symmetries by choosing non-polynomial functions. As explicit examples, we mention exponential symmetries, with fr=ax+yf_{r}=a^{x+y} for some parameter aa (mod NN); and subsystem symmetries, with fr=δr(Ω)f_{r}=\delta_{r}(\Omega),

δr(Ω)={1,ifrΩ0,otherwise\displaystyle\delta_{r}(\Omega)=\begin{cases}1,\quad\text{if}\quad r\in\Omega\\ 0,\quad\text{otherwise}\end{cases}

for Ω\Omega a subset of lattice points where the symmetry operators have non-trivial support on. In 3D cubic lattices, gauging G[δr(Ω)]G[\delta_{r}(\Omega)] for Ω\Omega corresponding to planes or fractal membranes can give rise to well known fracton codes, as the X-Cube and Haah’s code [48].

In this work, we strive to demonstrate that a variety of 2D discrete modulated gauge theories [28, 29, 30, 34], whose symmetries are generated by Eq. (1), associated to different polynomial functions frf_{r} can be connected to each other through an anyon condensation web. Specifically, the condensation of a subset of quasiparticles confines dual excitations, that have nontrivial braiding statistics with them, thereby altering the underlying higher-rank gauge structure. This do not correspond to usual anyon condensation, as we modulate the condensing potential through space, explicitly breaking some of the lattice symmetries. By meticulously selecting the type of anyon condensation, we can obtain a web of stabilizer models that connect various modulated gauge theories in two dimensions.

Generally, we study phase transitions between phases associated with the ultra-infrared (IR) limit of gauge theories linked to two sets of generators: G[f1],G[f2],,G[fn]G[f_{1}],G[f_{2}],\ldots,G[f_{n}] and G[g1],G[g2],,G[gm]G[g_{1}],G[g_{2}],\ldots,G[g_{m}]. Schematically, the gauge structure before and after the transition can be represented as:

G[f1]G[fn]G[g1]G[gm],\displaystyle G[f_{1}]\oplus\ldots\oplus G[f_{n}]\rightarrow G[g_{1}]\oplus\ldots\oplus G[g_{m}], (2)

where the arrow indicates the condensation of a set of appropriate anyons. Surprisingly, we find that the resulting condensated phase sometimes have more global anyonic super-selection sectors than the uncondensed phase. This is captured by the total quantum dimension 𝒟=ada\mathcal{D}=\sqrt{\sum_{a}d_{a}} which corresponds to the square root of the number of independent anyons in the theory since da=1d_{a}=1 for Abelian anyons. Generically, in the transitions represented in Eq. (2), we find that

𝒟uncondensed𝒟condensed.\displaystyle\mathcal{D}_{\text{uncondensed}}\leq\mathcal{D}_{\text{condensed}}. (3)

The fact that more anyons can emerge after the transition is a direct consequence of their non-trivial transformations under lattice symmetries. This is to be contrasted to usual Abelian anyon condensation transitions, where the number of super-selection sectors is smaller in the condensed phase, since some of the anyons have condensed and some others have confined [49]. As we illustrate in the main text, this follows from the modification of the Gauss law and magnetic flux in the condensed, allowing for emergent additional conserved quantities.

In a nutshell, in the first part of this work we have explored a small section of a large web of theories that can be connected to each other through phase transitions implemented by anyon condensation, as illustrated in Fig. 1. The theories depicted in gray boxes are well known in the literature, and the arrows indicate the condensation of an appropriate set of anyons when transitioning between the SETs. In Fig. 2 we show a summary table with all the main properties of such different topological phases.

Refer to caption
Figure 1: A small section of an anyon condensation web. The arrows correspond to phase transitions implemented through anyon condensation.

Additionally, in a slightly different context, we study lattice defects, such as dislocations or disclinations, as mechanisms for interchanging different charge and flux sectors. This occurs due to the fact that distinct topological sectors in spatially modulated gauge theories undergo nontrivial permutations under translation and rotation. We also posit that geometric defects in modulated gauge theories can be perceived as branch lines subject to the condensation of appropriate anyons [50, 51, 52]. We then proceed to study the implications on the gauge structure of the theory when such condensation defects are present.

We believe our findings might have significant implications for both the theoretical and eventual experimental understanding of 2D modulated gauge theories. The anyon condensation transitions we consider provide a novel playground for exploring unconventional phase transitions beyond the Landau-Ginzburg-Wilson (LGW) paradigm within systems possessing UV/IR scale mixing. From an alternative perspective, anyon condensation can also be implemented through partial measurements on a quantum many-body wave function [53, 54, 55, 56]. Explicitly, by measuring some qubits in the ground state wave function of a higher-rank stabilizer code, the post-measurement state—after error correction—is the ground state of another type of modulated gauge theory. In this context, partial measurement procedures play the role of implementing anyon condensation on the quantum many-body wave function, suggesting that various spatially modulated phases are connected to each other through partial measurements.

Finally, we also propose the multi-partite entanglement mutual information [57] as a strategy to differentiate between distinct 2D modulated gauge theories ground states. While entanglement entropy has been studied in the context of spatially-modulated phases [58, 59], here the idea is that such modulated theories are characterized by their unique gauge structures and holonomies [60, 61, 62]. By performing different geometric cuts on the wave function the long-range correlation between Wilson operators should be reflected in the multipartite entanglement. Effectively, it captures the underlying spatially modulated holonomy structures defined in geometric sectors. An important factor in multi-partite entanglement mutual information in spatially modulated gauge theories is that it is not only influenced by the system size but also by the distance (with periodic oscillations) and orientation of the cuts, incorporating a strong geometric dependence and UV/IR mixing.

Refer to caption
Figure 2: Summary table of properties associated to several two-dimensional spatially modulated N\mathbb{Z}_{N} gauge theories discussed in this work. The table shows the conserved modulated electric and magnetic quantities G[f]G[f] and G~[f~]\tilde{G}[\tilde{f}], respectively. It also shows the local Gauss law and the gauge-invariant magnetic flux for each modulated gauge theory.

II Remarks in Spatially Modulated Gauge Theories

We often refer to spatially modulated gauge theories through the generators G[f]G[f] of their gauged N\mathbb{Z}_{N} symmetries. When gauging the global N\mathbb{Z}_{N} symmetry associated with G[f]G[f], we introduce gauge fields AaA_{a} and their canonical conjugated electric fields EaE_{a}, for some suitable set of indices aa. The gauge transformations AaAa+ΔaαA_{a}\rightarrow A_{a}+\Delta_{a}\alpha are generated by the Gauss-Law, schematically represented as

qr=ΔaEa,\displaystyle q_{r}=\Delta_{a}E_{a}, (4)

where Δa\Delta_{a} is a generalized difference operator that contains information about the lattice function frf_{r}. It is defined through the annihilation property Δ~afr=0\tilde{\Delta}_{a}f_{r}=0, where

rgrΔahr=rhrΔ~agr,\displaystyle\sum_{r}g_{r}\,\Delta_{a}h_{r}=\sum_{r}h_{r}\,\tilde{\Delta}_{a}g_{r}, (5)

for any lattice functions grg_{r} and hrh_{r}. The above definition can be thought of as an integration by parts, defining a generalized notion of the Leibniz rule. Fixed a given function frf_{r}, the annihilation property Δ~afr=0\tilde{\Delta}_{a}f_{r}=0 does not completely fix the derivative operator Δa\Delta_{a}. A simple example is to consider a polynomial function frf_{r} of degree nn, which is annihilated by any mm-th order derivative. If m>n+1m>n+1, however, the theory conserves unwanted extra quantities G[g]G[g], with gg any polynomial of degree m1m-1. We thus want to choose Δa\Delta_{a} carefully such that only G[f]G[f] is conserved.

One can also define a gauge invariant magnetic flux, schematically expressed as

br=Δ𝕢aAa,\displaystyle b_{r}=\widecheck{\Delta}_{a}A_{a}, (6)

where Δ𝕢a\widecheck{\Delta}_{a} is defined such that Δ𝕢aΔaα=0\widecheck{\Delta}_{a}\Delta_{a}\alpha=0 for any lattice function α\alpha. This condition enforces that brb_{r} is gauge invariant. The choices of Δa\Delta_{a} and Δ𝕢a\widecheck{\Delta}_{a} completely specifies the gauge theory.

The Noether’s charges associated to G[f]G[f] are still conserved in the gauge theory through its Gauss law. From inspection, one can see that G[f]G[f] is a conserved quantity in the whole lattice

G[f]\displaystyle G[f] =\displaystyle= rfrΔaEa\displaystyle\sum_{r}f_{r}\,\Delta_{a}E_{a} (7)
=\displaystyle= r(Δ~afr)Ea=0,\displaystyle\sum_{r}(\tilde{\Delta}_{a}f_{r})\,E_{a}=0,

which follows from definition Δ~afr=0\tilde{\Delta}_{a}f_{r}=0. In general, a similar constraint for the magnetic fluxes also exist

G~[f~]\displaystyle\tilde{G}[\tilde{f}] =\displaystyle= rf~rΔ𝕢aAa\displaystyle\sum_{r}\tilde{f}_{r}\,\widecheck{\Delta}_{a}A_{a} (8)
=\displaystyle= r(Δ𝕢~af~r)Aa=0,\displaystyle\sum_{r}(\tilde{\widecheck{\Delta}}_{a}\tilde{f}_{r})\,A_{a}=0,

for dual functions f~r\tilde{f}_{r} that are annihilated by Δ𝕢~a\tilde{\widecheck{\Delta}}_{a}. The fact that G[f]G[f] vanishes (Eq. (7)) for any gauge invariant state in the Hilbert space implies in constrained dynamics for quasi-particles. The excitations can only move in ways such that its dynamics respects Eq. (7), signaling for the presence of fracton-like behavior.

For convenience, we introduce the N\mathbb{Z}_{N} notation Xa=ei2πEa/NX_{a}=e^{i2\pi E_{a}/N} and Za=eiAaZ_{a}=e^{iA_{a}}, which obey the clock algebra XaZb=ωδabZbXaX_{a}Z_{b}=\omega^{\delta_{ab}}Z_{b}X_{a}, with ω=e2πi/N\omega=e^{2\pi i/N}. It is also convenient to introduce N\mathbb{Z}_{N} charge 𝒬r\mathcal{Q}_{r} and magnetic fluxes r\mathcal{B}_{r} operators,

𝒬r\displaystyle\mathcal{Q}_{r} =\displaystyle= e2πiqrN=aXaΔa\displaystyle e^{\frac{2\pi iq_{r}}{N}}=\prod_{a}X_{a}^{\Delta_{a}}
r\displaystyle\mathcal{B}_{r} =\displaystyle= eibrN=aZaΔ𝕢a.\displaystyle e^{\frac{ib_{r}}{N}}=\prod_{a}Z_{a}^{\widecheck{\Delta}_{a}}. (9)

Here, Δa\Delta_{a} and Δ𝕢a\widecheck{\Delta}_{a} should be understood in terms of the coefficients that accompany the terms of EaE_{a} and AaA_{a} in the Gauss law and magnetic fluxes in Eq. (4) and (6).

In this notation the conservation laws become constraints for the allowed charges and fluxes eigenvalues

r𝒬rfr=𝟙\displaystyle\prod_{r}\mathcal{Q}_{r}^{f_{r}}=\mathds{1}
rrf~r=𝟙.\displaystyle\prod_{r}\mathcal{B}_{r}^{\tilde{f}_{r}}=\mathds{1}. (10)

As we discuss later through some examples, under periodic boundary conditions the N\mathbb{Z}_{N} gauge theory can be reduced to a k\mathbb{Z}_{k} gauge theory, where kk might depend on the system sizes. This follows from the imposition that the constraints in (10) are well defined, implying in twisted boundary conditions for the gauge fields.

The higher form symmetries of the N\mathbb{Z}_{N} (or k)\mathbb{Z}_{k}) modulated gauge theories can be made explicit by taking the product 𝒬r\mathcal{Q}_{r} and r\mathcal{B}_{r} in a finite region 𝒜\mathcal{A}. Let 𝒜\partial\mathcal{A} be the boundary 𝒜\mathcal{A}, then we have that the product

r𝒜𝒬rfr=Wf(𝒜)\displaystyle\prod_{r\in\mathcal{A}}\mathcal{Q}_{r}^{f_{r}}=W^{f}(\partial\mathcal{A})
r𝒜f~r=Vf~(𝒜),\displaystyle\prod_{r}\mathcal{B}_{\mathcal{A}}^{\tilde{f}_{r}}=V^{\tilde{f}}(\partial\mathcal{A}), (11)

reduces to string operators at the boundary 𝒜\partial{\mathcal{A}}. Such closed line operators correspond to gauge invariant Wilson and t’Hooft loops, which allow us to study excitations in the theory as well as their mobility properties. For this, we consider open strings WfW^{f} and Vf~V^{\tilde{f}}, whose general effect is to excite electric charges and magnetic fluxes at their endpoints. The constrained mobility of anyonic excitations, frequently present in modulated gauge theories, are incorporated in the rigidity of such strings.

As a final comment, instead of dealing with a constrained Hilbert space and identifying physical states as gauge invariant ones (𝒬r1)|ψ=0(\mathcal{Q}_{r}-1)\ket{\psi}=0, we instead choose to enforce it energetically. This is convenient as we can interpret non-gauge invariant states as charge excitations in the spectrum of the theory. For this, we add the N\mathbb{Z}_{N} Gauss law and magnetic fluxes operators directly into the lattice Hamiltonian

H=r𝒬rrr+h.c..\displaystyle H=-\sum_{r}\mathcal{Q}_{r}-\sum_{r}\mathcal{B}_{r}+\text{h.c.}. (12)

By construction, the model defined above is exactly solvable, as every term commutes with each other

r𝒬r\displaystyle\mathcal{B}_{r}\mathcal{Q}_{r} =\displaystyle= aωΔ𝕢aΔa𝒬rr\displaystyle\prod_{a}\,\omega^{-\widecheck{\Delta}_{a}\Delta_{a}}\mathcal{Q}_{r}\mathcal{B}_{r} (13)
=\displaystyle= 𝒬rr,\displaystyle\mathcal{Q}_{r}\mathcal{B}_{r},

where we used that Δ𝕢aΔa=0\widecheck{\Delta}_{a}\Delta_{a}=0.

III Review of R2TC from anyon condensation of toric code models

To set the stage, we briefly review the anyon condensate protocol introduced in Ref. [29], where rank-2 gauge theory can emerge through anyon condensation from two copies of the rank-1 gauge theory. The details of this anyon condensate were elucidated in Ref. [29]; we reiterate them here as a prelude to introducing the general anyon condensate procedure later. Let us begin with two sets of N\mathbb{Z}_{N} gauge theories living on the interpenetrating square lattices denoted Λ1\Lambda_{1} (dashed lines) and Λ2\Lambda_{2} (solid lines) as in Fig. 3, with lattice vectors in the xx- and yy-directions given by e1e_{1} and e2e_{2}. Each square lattice has gauge degrees of freedom (Aa,rμ,Ea,rμ)(A^{\mu}_{a,r},E^{\mu}_{a,r}) residing at the μ=x,y\mu=x,y-oriented links of the respective square sublattice labeled by a=1,2a=1,2, at site rr. They satisfy the canonical commutation [Aa,rμ,Ea,rμ]=iδaaδμμδr,r[A_{a,r}^{\mu},E_{a^{\prime},r^{\prime}}^{\mu^{\prime}}]=i\delta_{aa^{\prime}}\delta_{\mu\mu^{\prime}}\delta_{r,r^{\prime}}. Each square lattice hosts a deconfined N\mathbb{Z}_{N} gauge theory as,

qa=(𝑬a),ba=(×𝑨a),\displaystyle q_{a}=({\bm{\nabla}}\cdot{\bm{E}}_{a}),~{}~{}~{}b_{a}=({\bm{\nabla}}\times{\bm{A}}_{a}), (14)

In the above, the charges qaq_{a} can assume any integer value mod NN and the fluxes ba=2πk/Nb_{a}={2\pi k}/{N} with (k=1,2,..N)(k=1,2,..N). Also, =(Δ1,Δ2)\bm{\nabla}=(\Delta_{1},\Delta_{2}) is the two-dimensional lattice derivative nabla operator, with

Δifrfr+eifr.\displaystyle\Delta_{i}f_{r}\equiv f_{r+e_{i}}-f_{r}. (15)
Refer to caption
Figure 3: Illustration for (a) condensed magnetic flux BB and (b) condensed Gauss’s law GG defined in Eqs. (21) on two interpenetrating square lattices. The sublattice 11 is shown by dashed lines and the sublattice 22 is shown by the solid lines. The condensation of the fields takes place on the dotted links. (a) The red and blue arrows represent the fields Ar,1aA_{r,1}^{a} and Ar,2aA_{r,2}^{a} (a=x,ya=x,y), respectively, where the positive directions are right and up. (b) The red and blue arrows represent the fields Er,1aE_{r,1}^{a} and Er,2aE_{r,2}^{a} (a=x,ya=x,y), respectively.

To implement the anyon condensation, we add a strong onsite interaction term cos[2πN(E1,r+eyxE2,r+exy)]\cos[\frac{2\pi}{N}(E^{x}_{1,r+e_{y}}-E^{y}_{2,r+e_{x}})] illustrated in Fig. 3. The local Hilbert space is projected to the subspace as:

E1,r+eyx=E2,r+exy(mod N).\displaystyle E^{x}_{1,r+e_{y}}=E^{y}_{2,r+e_{x}}\quad(\text{mod }N). (16)

The projection operator can be viewed as an anyon condensation process that proliferates an anyon-bound state of a flux dipole of layer 1 oriented in the xx-direction with a flux dipole of layer 2 oriented in the yy-direction. Such procedure, in turn, confines operators A1,r+eyx,A2,r+exyA^{x}_{1,r+e_{y}},A^{y}_{2,r+e_{x}} due to their nontrivial mutual statistics. As a result, the magnetic field operator is no longer well defined and the leading-order gauge invariant operator that commutes with the constraint is,

br=Δx(×𝑨1,r)Δy(×𝑨2,r)\displaystyle b_{r}=\Delta_{x}({\bm{\nabla}}\times{\bm{A}}_{1,r})-\Delta_{y}({\bm{\nabla}}\times{\bm{A}}_{2,r}) (17)

Such a term involves only the symmetric combination A1x+A2yA^{x}_{1}+A^{y}_{2}, which one can explicitly verify its commuting property with the constraint (E1xE2y)=0(E^{x}_{1}-E^{y}_{2})=0 mod NN.

To characterize the gauge theory after anyon condensation, we introduce a convenient notation

(E2,rx,E1,ry,E1,r+eyx=E2,r+exy)(Erxx,Eryy,Erxy).\displaystyle(E_{2,r}^{x},\,E_{1,r}^{y},\,E_{1,r+e_{y}}^{x}=E_{2,r+e_{x}}^{y})\rightarrow(E_{r}^{xx},\,E_{r}^{yy},\,E_{r}^{xy}). (18)

Likewise,

(A2,rx,A1,ry,A1,r+eyx+A2,r+exy)(Arxx,Aryy,Arxy)\displaystyle(A_{2,r}^{x},\,A_{1,r}^{y},\,A_{1,r+e_{y}}^{x}+A_{2,r+e_{x}}^{y})\rightarrow(A_{r}^{xx},\,A_{r}^{yy},\,A_{r}^{xy}) (19)

which makes the relation to a rank-2 gauge theory (Ara,Era)(A_{r}^{a},E_{r}^{a}) (a=xx,xy,yya=xx,xy,yy) more explicitly. From definition, the fields obey the canonical relation [Ara,Erb]=iδrrδab[A_{r}^{a},E_{r^{\prime}}^{b}]=i\delta_{rr^{\prime}}\delta_{ab} and transform under gauge as

AxxAxx+Δxf1,\displaystyle A^{xx}\rightarrow A^{xx}+\Delta_{x}f_{1},
AyyAyy+Δyf2,\displaystyle A^{yy}\rightarrow A^{yy}+\Delta_{y}f_{2},
AxyAxy+Δxf2+Δyf1.\displaystyle A^{xy}\rightarrow A^{xy}+\Delta_{x}f_{2}+\Delta_{y}f_{1}. (20)

The resulting gauge theory is defined by the following Gauss laws and magnetic flux

qx=ΔxExx+ΔyExy\displaystyle q^{x}=\Delta_{x}E^{xx}+\Delta_{y}E^{xy}
qy=ΔxExy+ΔyEyy\displaystyle q^{y}=\Delta_{x}E^{xy}+\Delta_{y}E^{yy}
b=Δx2Ayy+Δy2AxxΔxΔyAxy,\displaystyle b=\Delta^{2}_{x}A^{yy}+\Delta^{2}_{y}A^{xx}-\Delta_{x}\Delta_{y}A^{xy}, (21)

where qxq^{x} and qyq^{y} are the gauge transformation generators associated to f1f_{1} and f2f_{2} in Eq. (III). In the presence of periodic boundary conditions, this theory possesses a ground-state degeneracy that is sensitive to the linear system sizes LxL_{x} and LyL_{y}

GSD=N3gcd(N,Lx)gcd(N,Ly)gcd(N,Lx,Ly).\displaystyle GSD=N^{3}\gcd(N,L_{x})\gcd(N,L_{y})\gcd(N,L_{x},L_{y}). (22)

The gauge theory specified in Eq. (21) corresponds to the rank-2 toric code (R2TC) model, proposed in Ref. [28] and corresponds to a discrete N\mathbb{Z}_{N} rank 2 vector tensor gauge theory. Such a theory has vector-like charges qxq_{x} and qyq_{y}, which can be show to conserve the modulated quantities ,

Gx[1]=rqx,Gy[1]=rqy,\displaystyle G^{x}[1]=\sum_{r}q^{x},\quad G^{y}[1]=\sum_{r}q^{y},
andGy[x]Gx[y]=r(xqyyqx),\displaystyle\text{and}\quad G^{y}[x]-G^{x}[y]=\sum_{r}\left(x\,q^{y}-y\,q^{x}\right), (23)

which follow from the Gauss law in Eq. (21). Similarly, one can explicitly check that the magnetic fluxes conserve

G~[1]G~[x]G~[y],\displaystyle\tilde{G}[1]\oplus\tilde{G}[x]\oplus\tilde{G}[y], (24)

where G~[f~]=rf~rbr\tilde{G}[\tilde{f}]=\sum_{r}\tilde{f}_{r}\,b_{r}, as summarized in Fig. 2. Because of this asymmetry in the electric and magnetic conserved quantities, the electric and magnetic anyons of the R2TC obey different mobility restriction rules. Schematically, we represent the phase transition we discussed in the above as

G[1]G¯[1]Gx[1]Gy[1](Gy[x]Gx[y]),\displaystyle G[1]\oplus\overline{G}[1]\rightarrow G^{x}[1]\oplus G^{y}[1]\oplus(G^{y}[x]-G^{x}[y]), (25)

which encodes the Gauss laws of both theories before and after the transition. These results were originally studied in Ref. [28, 63, 35]. In particular, Ref. [35] pointed out that when choosing N=2N=2, the vector rank-2 tensor gauge theory is reminiscent of three copies of the toric code model (denoted as 23\mathbb{Z}_{2}^{3} gauge theory), with three flavors of (2\mathbb{Z}_{2}) charge and flux. Notably, the three charges (fluxes) can be permuted by lattice translations/rotations, manifesting as a spatial symmetry-enriched topological phase where different anyons are intertwined with each other through crystalline symmetries. This novel interplay between anyon excitation and spatial symmetry is a signature of higher-rank gauge theory in 2D as well as fracton in 3D. Ref. [32] delineated that 2D N\mathbb{Z}_{N} higher-rank gauge theory can be treated as a spatial symmetry-enriched topological order as spatial symmetry permutes different anyon types. Likewise, Ref. [64] suggests that 3D fractonic matter can naturally emerge from a 3D SPT phase with global U(1) and translational symmetries after we gauge the global U(1) symmetry. In the SPT state, the global symmetry quantum numbers of excited quasiparticles depend on their positions in a nontrivial way. Thus, after gauging U(1) symmetry, the resultant gauge charge in 3D exhibits restricted mobility as fractons.

IV Anyon Condensation Web for 2D Modulated Theories

From now on, we will consider the R2TC model as a starting point for our studies and demonstrate that a variety of 2D spatially modulated gauge theories can be derived from different anyon condensation schemes. The key concept is that in spatially modulated gauge theories, the gauge structure and conservation laws are associated with generalized higher-form symmetries, and their ground state degeneracy results from the spontaneous breaking of such symmetries. A specific type of anyon condensation necessarily confines all other excitations that have nontrivial mutual statistical interactions with them, thus altering the gauge structure and engendering a new, distinct, ordered phase.

IV.1 A Route to Dipolar-Quadrupolar code

In this section, we aim to establish a connection between the R2TC theory as represented in Eq. (21), and the Dipolar-Quadrupolar code introduced in Ref. [30], and also studied in [65, 35], via charge vector condensation. The operator eiAxye^{iA^{xy}} generates a pair of vector dipole moments for both qxq^{x} and qyq^{y}. Assume we condense these dipole moments by introducing a strong Higgs term that favors the constraint Axy=0A^{xy}=0 (mod 2π\text{mod}\,2\pi), inherently ruling out operators that do not commute with it, such as ExyE^{xy}. Consequently, the vector charge (qx,qy)(q_{x},q_{y}), as specified in Eq. (21), is no longer well-defined after Higgsing. In its place, a new Gauss law arises,

qΔxqyΔxqx=Δx2ExxΔy2Eyy,\displaystyle q\equiv\Delta_{x}q^{y}-\Delta_{x}q^{x}=\Delta^{2}_{x}E^{xx}-\Delta^{2}_{y}E^{yy}, (26)

which commutes with the Axy=0A^{xy}=0 (mod 2π\text{mod}\,2\pi) constraint. Accordingly, the magnetic flux operator after Higgsing yields,

b=Δx2Ayy+Δy2Axx.\displaystyle b=\Delta^{2}_{x}A^{yy}+\Delta^{2}_{y}A^{xx}. (27)
Refer to caption
Figure 4: Gauge fields at vertices and face centers in Dipolar-Quadrupolar code on a square lattice.

To maintain consistency with the notation used for the Dipolar-Quadrupolar code in Ref. [30], we adjust the labels for the electric field and gauge potential as follows:

EyyEyy,\displaystyle E^{yy}\rightarrow-E^{yy},\quad AyyAyy,\displaystyle A^{yy}\rightarrow-A^{yy}, (28)

so the corresponding gauge theory can be rephrased as,

q=Δx2Exx+Δy2Eyy\displaystyle q=\Delta^{2}_{x}E^{xx}+\Delta^{2}_{y}E^{yy}
b=Δx2Ayy+Δy2Axx.\displaystyle b=-\Delta^{2}_{x}A^{yy}+\Delta^{2}_{y}A^{xx}. (29)

The two gauge potential follows a gauge transformation as,

AxxAxx+Δx2f,\displaystyle A^{xx}\rightarrow A^{xx}+\Delta^{2}_{x}f,
AyyAyy+Δy2f.\displaystyle A^{yy}\rightarrow A^{yy}+\Delta^{2}_{y}f. (30)

Before we delve deeper, it is essential to emphasize the gauge structure of this theory. Unlike the traditional lattice gauge theory — which assigns different gauge potentials to individual links—this theory distinctively places both gauge potentials Axx,AyyA^{xx},A^{yy} on the same lattice sites. The gauge theory detailed in Eq. (29) represents a generalized electromagnetism that preserves charge G[1]G[1], dipole moments G[x],G[y]G[x],G[y], and quadrupole moment component G[xy]G[xy]. The self-dual structure of the theory in Eq. (29) indicates that magnetic flux shares a similar multipolar conservation law.

To express the gauge theory in Eq. (29) in terms of a stabilizer code, we parameterize the field components as two sets of N\mathbb{Z}_{N} Pauli operators: ei2πNEyy=X,eiAyy=Z,ei2πNExx=X¯,e^{i\frac{2\pi}{N}E^{yy}}=X,e^{iA^{yy}}=Z,e^{i\frac{2\pi}{N}E^{xx}}=\bar{X}, and eiAxx=Z¯e^{iA^{xx}}=\bar{Z}. Under this notation, the gauge theory can be expressed in terms of a CSS-type stabilizer code,

H=r𝒬rrr+h.c.\displaystyle H=-\sum_{r}\mathcal{Q}_{r}-\sum_{r}\mathcal{B}_{r}+\text{h.c.} (31)

with 𝒬r\mathcal{Q}_{r} and r\mathcal{B}_{r} being the charge and flux operators, defined as

𝒬r\displaystyle\mathcal{Q}_{r} =\displaystyle= X¯rexX¯r+exX¯r2Xr2Xr+eyXrey,\displaystyle\bar{X}^{\dagger}_{r-e_{x}}\,\bar{X}^{\dagger}_{r+e_{x}}\,\bar{X}_{r}^{2}\,X_{r}^{2}\,X^{\dagger}_{r+e_{y}}\,X^{\dagger}_{r-e_{y}},
andr\displaystyle\text{and}\quad\mathcal{B}_{r} =\displaystyle= ZrexZr+exZr2Z¯r2Z¯r+eyZ¯rey,\displaystyle Z_{r-e_{x}}\,Z_{r+e_{x}}\,Z_{r}^{-2}\,\bar{Z}_{r}^{2}\,\bar{Z}^{\dagger}_{r+e_{y}}\,\bar{Z}^{\dagger}_{r-e_{y}}, (32)

as illustrated in Fig. 5.

Refer to caption
Figure 5: Discrete N\mathbb{Z}_{N} charge and flux operators in the doubled version of Dipolar-Quadrupolar code.

The commutative nature of these two terms contributes to the exact solvability of the ground state, generating a wave function characterized by patterns exhibiting zero flux and charge. It is worth mentioning that we added the Gauss law and magnetic flux terms directly into the Hamiltonian (31). In this sense, we are enforcing gauge invariance 𝒬r=1\mathcal{Q}_{r}=1 energetically, in the lowest energy states and do not impose further constraints in the Hilbert space.

As mentioned before, the model in Eq. (32) presents N\mathbb{Z}_{N} dipole, and off-diagonal quadruple moment conservation and, as a consequence, restricts the mobility of excitations. We can see this anyon condensate transition as

Gx[1]Gy[1](Gy[x]Gx[y])\displaystyle G^{x}[1]\oplus G^{y}[1]\oplus(G^{y}[x]-G^{x}[y])
G[1]G[x]G[y]G[xy],\displaystyle\rightarrow G[1]\oplus G[x]\oplus G[y]\oplus G[xy], (33)

where the additional invariance under off-diagonal quadrupole moment G[xy]G[xy] emerges as an effect of the condensation and confinement of dual excitations.

Under periodic boundary conditions, on a Lx×LyL_{x}\times L_{y} square lattice, the ground state degeneracy can be counted to be

GSD=[Ngcd(Lx,N)gcd(Ly,N)gcd(Lx,Ly,N)]2,\displaystyle\text{GSD}=\left[N\gcd(L_{x},N)\,\gcd(L_{y},N)\,\gcd(L_{x},L_{y},N)\right]^{2}, (34)

The excitations above the ground state can be either violations of 𝒬r\mathcal{Q}_{r} or r\mathcal{B}_{r} plaquettes and can come into four flavors each (or combinations of these): xx- and yy-oriented dipolar bound states 𝔭x\mathfrak{p}_{x} and 𝔭y\mathfrak{p}_{y}, as well as single monopoles 𝔮\mathfrak{q} and four-particles bound states 𝔪\mathfrak{m}. While the three first excitation types have constrained mobility, as we discuss later in Sec. V.1, the last one is completely free to move.

Finally, we comment on the relationship between the Dipolar-Quadrupolar code in Eq. 32 and other topological orders in 2D. If we take N=2N=2, the theory reduces to a Z24Z_{2}^{4} gauge theory with four copies of the toric code[35]. This is evident from the stabilizer code perspective, where Eq. 32 simplifies to four independent toric codes living on four sublattice sites: (2m,2m+1)(2m,2m+1), (2m,2m)(2m,2m), (2m+1,2m+1)(2m+1,2m+1), and (2m+1,2m)(2m+1,2m). As a result, different flavors of charges (fluxes) are related by lattice translations. This echoes the fact that the anyonic excitation in most higher-rank gauge theories undergoes permutation under spatial translation, which indeed imposes mobility constraints. For a general ZNZ_{N} Dipolar-Quadrupolar code in Eq. 32, the theory should resemble ZNZ_{N} topological order with N2N^{2} types of charge (flux), featuring nontrivial mutual statistics between charges and fluxes of different types, where translation permutes anyon types[32].

IV.2 Flux attachment, Chern-Simons term, and non-CSS code

At this point, we have established an anyon condensation process that bridges the R2TC code and the CSS version of the Dipolar-Quadrupolar code, as studied in [65] and as schematically illustrated in Eq. (IV.1), both of which are contenders for spatially modulated gauge theories in 2D with distinct charge multipole conservation laws. In this section, our goal is to generate non-CSS codes that exhibit a gauge structure similar to the model in Eq.  (32), recovering the models studied in Ref. [30]. Intriguingly, these theories can be manifested as Chern-Simons theories, where charge and flux are intrinsically linked.

To set the stage, we begin with a modified Gauss law that features charge structures similar to the ones in Eq.  (37), but with an additional constraint: unit charges are bounded to unit gauge fluxes. This flux-charge binding process has the potential to give rise to a higher-rank Chern-Simons theory [38, 30] in addition to the Maxwell term. In conventional Maxwell-type gauge theories, the ground state manifold is defined by projecting the local Hilbert space onto the vanishing net charge and flux sectors. With the flux-charge binding effect, the net charge condition will be automatically satisfied, provided the theory is flux-free. Additionally, any excitation electric charge would also contain gauge flux, and vice versa, leading to fractional statistics between charges (and fluxes).

To create a Chern-Simons-type coupling, we assign the charge density to be equal to the local flux,

qr=!br,\displaystyle q_{r}\stackrel{{\scriptstyle!}}{{=}}b_{r}, (35)

where BrB_{r} is defined in Eq. (32). A sufficient solution to this equation is to impose an onsite operator mapping between the two sets of N\mathbb{Z}_{N} Pauli operators X,ZX,Z and X¯,Z¯\overline{X},\overline{Z}, such that

X¯r=Zr,Z¯r=Xr,\displaystyle\bar{X}^{\dagger}_{r}=Z_{r},~{}\bar{Z}_{r}=X_{r}, (36)

In this case, the local Hilbert space per site is reduced from N2N^{2} to NN, with only one set of Pauli operators per site. The Hamiltonian in Eq. (31) is reduced to,

H=Yr2Zr+exZrexXr+eyXrey+h.c.,\displaystyle H=-Y_{r}^{\dagger 2}\,Z_{r+e_{x}}\,Z_{r-e_{x}}\,X_{r+e_{y}}\,X_{r-e_{y}}+\text{h.c.}, (37)

where Yr=ZrXrY_{r}=Z_{r}X_{r}.

Refer to caption
Figure 6: After the projection, the charge and flux operators are bound together, giving rise to a non-CSS code.

It is worth noting that the solution given in Eq. (36) is not unique. It is possible that there are other solutions that satisfy the flux-charge binding constraint, but we will defer investigation on this to future research.

From a continuum point of view, such a flux attachment process engenders a dipole Chern-Simons-like coupling

12π[A0(x2Ayy+y2Axx)AxxtAyy],\displaystyle\frac{1}{2\pi}[A_{0}(-\partial^{2}_{x}A^{yy}+\partial^{2}_{y}A^{xx})-A^{xx}\partial_{t}A^{yy}], (38)

between the AxxA^{xx} and AyyA^{yy} gauge field components. This is the theory studied in detail in Ref. [30] and defines a dipole-moment, and off-diagonal quadrupole moment, conserving N\mathbb{Z}_{N} Chern-Simons-like theory.

The theory in Eq. (38) presents ground state degeneracy that depends on the system size and is given by

GSD=Ngcd(Lx,N)gcd(Ly,N)gcd(Lx,Ly,N),\displaystyle\text{GSD}=N\gcd(L_{x},N)\,\gcd(L_{y},N)\,\gcd(L_{x},L_{y},N), (39)

which is very similar to the CSS code expression in Eq. (34), but without the overall power of two. This is due precisely to the reduction in total number of charge and flux global sectors under the attachment in Eq. (35). While the doubled theory in Eq. (31) is time reversal (TR) invariant, as expected coming from a Higgsed Maxwell-like theory, the non-CSS theory in Eq. (37) is not. This follows from the requirement that charge and flux, which transform differently under TR, should be bound together, and is expected from a Chern-Simons-like theory.

IV.3 Route to Moessner Code

To develop a comprehensive anyon condensation web that links a variety of modulated models, we once again initiate with the R2TC and employ an alternative anyon condensation scheme that confines the diagonal components Exx,EyyE^{xx},E^{yy}. Through this process, we obtain a new, exactly solvable model dubbed the Moessner code, as its gauge structure bears similarity to the classical spin model proposed by Moessner in Ref. [66].

We still come up with the R2TC exploited in Eq. (21), wherein the operator eiAxx(eiAyy)e^{iA^{xx}}\,(e^{iA^{yy}}) generates a pair of dipole moments for both qx(qy)q^{x}\,(q^{y}). Consider we condense these dipole moments by adding a strong Higgsing term, cos(Axx+Ayy)\cos(A^{xx}+A^{yy}), which imposes the constraint (Axx+Ayy)=0(mod 2π)(A^{xx}+A^{yy})=0\,(\text{mod }2\pi). That necessarily precludes operators such as Exx,EyyE^{xx},E^{yy}, that do not commute with the constraint, and as a result the vector charge (qx,qy)(q^{x},q^{y}) in Eq. (21) ceases to be well-defined. A new Gauss law, that commutes with the constraint, arises

ΔxqxΔyqy=(Δx2Δy2)Exy+ΔxΔy(ExxEyy).\displaystyle\Delta_{x}q^{x}-\Delta_{y}q^{y}=(\Delta^{2}_{x}-\Delta^{2}_{y})E^{xy}+\Delta_{x}\Delta_{y}(E^{xx}-E^{yy}). (40)

Accordingly, the magnetic flux operator becomes

b=(Δx2Δy2)AxxΔxΔyAxy\displaystyle b=(\Delta^{2}_{x}-\Delta^{2}_{y})A^{xx}-\Delta_{x}\Delta_{y}A^{xy} (41)
Refer to caption
Figure 7: (a) Gauss law and (b) magnetic flux for Moessner model.

To avoid confusion and simplify notation, we redefine the field as,

ExyEx,(ExxEyy)Ey\displaystyle E^{xy}\rightarrow E^{x},~{}(E^{xx}-E^{yy})\rightarrow E^{y}
AxxAy,AxyAx,\displaystyle A^{xx}\rightarrow A^{y},~{}A^{xy}\rightarrow A^{x}, (42)

where the elements Ey,AyE^{y},A^{y} reside at centers of plaquettes and Ex,AxE^{x},A^{x} occupy vertex sites. With this, the theory’s Gauss law and magnetic flux are expressed as

q=(Δx2Δy2)Ex+ΔxΔyEy\displaystyle q=(\Delta^{2}_{x}-\Delta^{2}_{y})E^{x}+\Delta_{x}\Delta_{y}E^{y}
b=(Δx2Δy2)AyΔxΔyAx.\displaystyle b=(\Delta^{2}_{x}-\Delta^{2}_{y})A^{y}-\Delta_{x}\Delta_{y}A^{x}. (43)

The gauge potential components transform under gauge transformations as,

AxAx+(Δx2Δy2)f,\displaystyle A^{x}\rightarrow A^{x}+(\Delta^{2}_{x}-\Delta^{2}_{y})f,
AyAy+ΔxΔyf.\displaystyle A^{y}\rightarrow A^{y}+\Delta_{x}\Delta_{y}f. (44)

We can also express the gauge theory in Eq.43 in terms of stabilizer code by parameterizing the field components as ei2πNEx=X,eiAx=Z,ei2πNEy=X¯,e^{i\frac{2\pi}{N}E^{x}}=X,e^{iA^{x}}=Z,e^{i\frac{2\pi}{N}E^{y}}=\bar{X}, and eiAy=Z¯e^{iA^{y}}=\bar{Z}. The resulting CSS-type code is given by

H=r𝒬rrr+h.c.\displaystyle H=-\sum_{r}\mathcal{Q}_{r}-\sum_{r}\mathcal{B}_{r}+\text{h.c.} (45)

with 𝒬r\mathcal{Q}_{r} and r\mathcal{B}_{r} being the charge and flux operators, defined as

𝒬r\displaystyle\mathcal{Q}_{r} =\displaystyle= XrexXr+exXr+eyXreyX¯r+evX¯revX¯r+euX¯reu,\displaystyle X^{\dagger}_{r-e_{x}}\,X^{\dagger}_{r+e_{x}}\,X_{r+e_{y}}\,X_{r-e_{y}}\,\bar{X}^{\dagger}_{r+e_{v}}\,\bar{X}_{r-e_{v}}\,\bar{X}_{r+e_{u}}\,\bar{X}^{\dagger}_{r-e_{u}},
andr\displaystyle\text{and}\quad\mathcal{B}_{r} =\displaystyle= Z¯rexZ¯r+exZ¯r+eyZ¯reyZrevZr+evZreuZr+eu,\displaystyle\bar{Z}^{\dagger}_{r-e_{x}}\,\bar{Z}^{\dagger}_{r+e_{x}}\,\bar{Z}_{r+e_{y}}\,\bar{Z}_{r-e_{y}}\,Z^{\dagger}_{r-e_{v}}\,Z_{r+e_{v}}\,Z_{r-e_{u}}\,Z^{\dagger}_{r+e_{u}}, (46)

Here, X,ZX,Z are situated on the vertex sites, while Z¯,X¯\bar{Z},\bar{X} are located at the center of the plaquette. The vectors eu,eve_{u},e_{v} connect coordinates of vertices and centers of plaquettes, where eu=(ex+ey)/2e_{u}=({e_{x}+e_{y}})/{2} and ev=(exey)/2e_{v}=({e_{x}-e_{y}})/{2}.

The exactly solvable Hamiltonian in Eq. (31) can be thought of as coming from gauging symmetries associated with the dilaton transformation generator G[x2+y2]G[x^{2}+y^{2}], as well as charge G[1]G[1] and dipole momenta G[x]G[x] and G[y]G[y]. Thus, this particular scheme of anyon condensation gives rise to a transition

Gx[1]Gy[1](Gy[x]Gx[y])\displaystyle G^{x}[1]\oplus G^{y}[1]\oplus(G^{y}[x]-G^{x}[y])
G[1]G[x]G[y]G[x2+y2],\displaystyle\rightarrow G[1]\oplus G[x]\oplus G[y]\oplus G[x^{2}+y^{2}], (47)

where we again observe the emergence of extra spatially modulated symmetries in the condensed phase.

IV.4 Modulated-Gauge principle: confinement, restricted mobility, and conservation laws

We expect the protocol illustrated in Sec. IV.3 and Sec. IV.1 to establish a connection among a variety of 2D modulated gauge theories through anyon condensation mechanisms, laying the groundwork for a network of spatially modulated stabilizer codes. A prevailing question is: Is there a unique correspondence between the modulated phases before and after a specific type of anyon condensation? Furthermore, can we generalize this scheme to obtain other 2D models [34, 67] via anyon condensation of R2TC?

Before addressing the central question, let’s compare the symmetry and conservation laws between R2TC and the Dipolar-Quadrupolar code, as detailed in Sec. IV.1. R2TC embodies a gauge theory with flux and flux-dipoles

G~[1]\displaystyle\tilde{G}[1] =\displaystyle= rbr\displaystyle\sum_{r}b_{r}
G~[x]\displaystyle\tilde{G}[x] =\displaystyle= rxbr\displaystyle\sum_{r}x\,b_{r}
G~[y]\displaystyle\tilde{G}[y] =\displaystyle= rybr\displaystyle\sum_{r}y\,b_{r} (48)

conservation. In contrast, the Dipolar-Quadrupolar code incorporates an additional flux-quadrupole

G~[xy]=rxybr\displaystyle\tilde{G}[xy]=\sum_{r}xy\,b_{r} (49)

conservation. Implementing anyon condensation through Higgs mechanism and freezing AxyA_{xy} has the effect of confining ei2πNExye^{i\frac{2\pi}{N}E^{xy}}, responsible for transporting a flux xx-dipole in the yy-direction (or a flux yy-dipole in the xx-direction). We review the mobility of flux and charge-bound states in Sec. V.1. This confinement results in two outcomes:

1) Flux-dipoles experience enhanced mobility constraints, such that their motion is strictly limited to the longitudinal direction aligned with the flux-dipole orientation.

2) The ei2πNExye^{i\frac{2\pi}{N}E^{xy}} operator, which acts by creating flux-quadrupoles, is prohibited at low energies, thereby conserving the flux-quadrupole moment G~[xy]\tilde{G}[xy].

Notably, these two outcomes are interconnected. In spatially modulated gauge theories, quasiparticle motions are restricted due to generalized conservation laws. Conversely, the conservation of charge multipole restricts the movement of charge excitations. When condensing anyons (such as charge multipoles), other excitations exhibiting non-trivial braiding with the condensed anyons (like flux multipoles) become confined. This confinement of multipole flux hinders specific kinetic movements of the flux excitations. Such quasiparticle motion constraints imply the presence of additional conservation laws, leading to a new type of modulated gauge theory.

The same ideas are behind the anyon condensation towards Moessner code in Sec. IV.3. When we Higgs the theory by imposing (Axx+Ayy)=0(A^{xx}+A^{yy})=0, the operator ei2πN(Exx+Eyy)e^{i\frac{2\pi}{N}(E^{xx}+E^{yy})} becomes confined. This confined operator is responsible for transporting a flux xx-dipole in the xx-direction (or a flux yy-dipole along the yy-direction). Hence, the flux dipole can only move along the transverse direction perpendicular to its orientation, suggesting the conservation of flux dilaton (x2+y2)B(x^{2}+y^{2})B. This conservation can be further illustrated by the fact that the monopole operator of the flux dilaton, ei2πN(Exx+Eyy)e^{i\frac{2\pi}{N}(E^{xx}+E^{yy})}, is prohibited at low energy.

Refer to caption
Figure 8: Higgs potential, confined bound states, and restriction on mobility of flux excitations in both Dipolar-Quadrupolar and Moessner models.

In summary, the anyon condensation procedure we proposed introduces additional mobility constraints and conservation laws for higher-order charge multipoles, leading to new types of modulated gauge theories. Based on this protocol, the conserved charge multipole before anyon condensation is a subgroup of those after the condensation. This means that if we start with a higher-rank gauge theory with both charge and dipole conservation and allow various anyon condensations schemes, we can reasonably anticipate a hierarchy of spatially modulated gauge theories with charge, quadrupole, or even octupole conservation emergent laws. However, our anyon condensation protocol might not be easily generalized to phases with polynomial fractal symmetries or exponential symmetries [67, 33]. We leave this point for future exploration.

Typical anyon condensation in conventional topological field theory plays a role in reducing the topological degeneracy[49]. This result is intuitive: through the anyon condensation transition, some anyons become indistinguishable from the vacuum, and dual anyons (which have nontrivial statistical interactions with the condensed ones) become confined. These effects have the general role of diminishing the number of global flux sectors, consequently reducing the ground state degeneracy. In the context of gauge theories arising from gauging spatially modulated symmetries, this concept is more nuanced. In these cases, new multipole conservation laws might emerge when we condense anyons. We argue that the additional conservation laws introduce new holonomy sectors in the theory, implying that the ground state degeneracy could also increase after the condensation phase transition

A simple example of this was covered in Sec. III. Starting with two copies of standard N\mathbb{Z}_{N} toric codes, with a total of N4N^{4} anyons, condensation of certain anyonic particles leads to R2TC whose ground state degeneracy is given by Eq. (22). For for some system sizes LxL_{x} and LyL_{y}, it can saturate its upper bound N6N^{6} and effectively be more degenerate than the original uncondensed phase. One significant consideration in this example is that due to the additional conservation laws, the types of charges/fluxes of the uncondensed phase do not completely dictate the ground state degeneracy of the condensed one. Implementing anyon condensation from two copies of standard toric codes (which carry two flavors of charges, e1e_{1} and e2e_{2}, and two types of flux, m1m_{1} and m2m_{2}), results in the R2TC carrying a two-component vector charge (qx,qy)(q^{x},q^{y}) and a scalar flux BB. Despite a qualitative decrease in the number of distinct anyon types, the additional conservation laws have the role of identifying new superselection anyon sectors coming from multi-particle bound states. As a result, the ground state degeneracy of the condensed phase increases when compared to the degeneracy of the uncondensed one.

IV.5 Implement anyon condensation by partial measurement

Building on our previous discussions, we have shown that various 2D modulated gauge theories can be connected through anyon condensation. This is accomplished by introducing a strong onsite potential term so that some gauge potential components completely freeze. The resulting fluctuations to the canonical conjugated electric fields, upon perturbative expansion, yield a new type of modulated gauge theory.

In this section, we propose an alternative approach to implementing the anyon condensate, which relies on the decoherence and partial measurements of wave functions. We begin with the ground state wave function of the R2TC Hamiltonian in Eq. (21). By partially measuring some of the qubits of the wave function, the post-measurement state resembles the ground state of the Dipolar-Quadrupolar code. In this scenario, the measurement process plays a role as anyon condensation. For comparison, the essence of an anyon condensate involves enforcing an operator into its low-energy eigenstate by adding onsite interactions to the Hamiltonian. The partial measurement procedure naturally projects certain qubits of the wave function into their eigenstates.

To obtain the Dipolar-Quadrupolar code in Eq. (29) from R2TC, we need to Higgs the off-diagonal component AxyA^{xy}, as mentioned in Sec. IV.1. This can be achieved by performing a measurement of the operator cos(Axy)\cos(A^{xy}) on all sites. The post-measurement result would fix the value of AxyA^{xy}, which is analogous to the process of anyon condensation through Higgsing AxyA^{xy}. We now demonstrate that the post-measurement state is equivalent to the ground state wave function of the Dipolar-Quadrupolar code. The argument proceeds as follows. The ground state wave function of R2TC can be expressed in terms of a tensor-type wave function that encapsulates an equal weight superposition of all possible patterns of Arxy,Arxx,AryyA^{xy}_{{r}},A^{xx}_{{r}},A^{yy}_{{r}}, with the local constraint Δx2Ayy+Δy2AxxΔxΔyAxy=0\Delta^{2}_{x}A^{yy}+\Delta^{2}_{y}A^{xx}-\Delta_{x}\Delta_{y}A^{xy}=0. Suppose the post-measurement outcome on site r{r} is A¯rxy\bar{A}^{xy}_{{r}}, the post-measurement state then becomes a superposition of all possible patterns of Arxx,AryyA^{xx}_{{r}},A^{yy}_{{r}} that meet the local constraint

Δx2Ayy+Δy2Axx=ΔxΔyA¯xy.\displaystyle\Delta^{2}_{x}A^{yy}+\Delta^{2}_{y}A^{xx}=\Delta_{x}\Delta_{y}\bar{A}^{xy}. (50)

The right-hand side of the equation is a constant, which we denote as the background flux ΔxΔyA¯xy=B¯r\Delta_{x}\Delta_{y}\bar{A}^{xy}=\bar{B}_{r}. This post-measurement wave function is similar to the gauge theory we defined for the Dipolar-Quadrupolar code, with one key difference: the ground state of the Dipolar-Quadrupolar code has a net flux per site, while our result ends up with a background flux that depends on the measurement outcome of A¯rxy\bar{A}^{xy}_{r}.

Our measurement protocol can also be applied to other anyon condensation schemes. As an example, one can begin with the wave function of R2TC and, upon measuring the diagonal component, the post-measurement wave function becomes akin to the ground state of the Moessner model, as described in Sec. IV.3.

The intriguing and emerging effects of measurements on the evolution of quantum many-body states have sparked increased interest from both the condensed matter and quantum information communities. Recently, the potential to create exotic long-range entangled states, e.g., topological order or fracton topological ordered state, through the use of adaptive circuits has been proposed [53, 54, 55, 56] had been studying extensively. While we will not delve into the effects of measurement on the 2D modulated SETs web in detail in this paper, we hope our discussion sheds light on the potential for connecting and manipulating various spatially modulated states through partial measurement.

IV.6 Advantage and limitations of our anyon condensation protocol

To this end, we introduced a protocol for anyon condensation that facilitates the connection between various discrete higher-rank gauge theories. Anyon condensation serves as a useful mechanism for bridging different topological orders, including fracton topological orders. A comprehensive defect network approach for intertwining various topological quantum field theories (TQFT) and higher-rank gauge theories through anyon condensation at network interfaces or junctions is detailed in Ref. [43, 44, 35]. We briefly illustrate both the limitations and advantages of our anyon condensation approach in comparison to others. As detailed in the Modulated-Gauge principle (see Sec. IV.4), a distinctive aspect of our approach is that anyon condensation not only introduces new conservation laws but also generates additional topological sectors. This increase in ground state degeneracy means that the conserved charge multipoles before anyon condensation become a subgroup of those post-condensation. Consequently, our protocol cannot connect two topological phases or higher-rank gauge theories unless one is a subgroup of the other, although most of these examples can still be connected via a defect network approach [43, 44, 35]. Nonetheless, our protocol offers an alternative advancement: it can be implemented either through the addition of an on-site potential or by conducting a single-site measurement. This contrasts with the general protocols in defect networks, which typically require many-body interactions or simultaneous measurements of several operators across multiple sites. Notably, the on-site measurement we illustrated in Sec IV.5 is applicable in Rydberg atom arrays as proposed and realized in Ref. [53, 68, 69, 70]. This method requires only the natural atomic interactions for time evolution, followed by a single qubit measurement.

V Geometry defects in SETs: an Anyon condensation view

In this section, we explore the role of geometry defects in spatially modulated gauge theories. As explored in Refs. [50, 51, 52], lattice defects in fracton and modulated theories might have the role of permuting anyons, as well as introducing non-Abelian zero modes in the theory. Here we study geometric defects in spatially modulated gauge theory naturally realized as branch lines subject to specific anyon condensation. As we show, the condensations of mobile anyons along a branch cut play a role in creating an edge dislocation, while in a similar way, the condensation of diagonally moving bound states has the general role of creating disclination defects. For simplicity, we study excitations in the Dipolar-Quadrupolar model, whose properties we quickly review in the next section.

V.1 Excitations and String operators

Let us quickly review the allowed symmetry respecting dynamics of the excitations of Dipolar-Quadrupolar code in Eq. (37). There are four types of excitations: monopole particles 𝔮\mathfrak{q}, dipolar bound states 𝔭x\mathfrak{p}_{x} and 𝔭y\mathfrak{p}_{y}, and four-particle bound states 𝔪\mathfrak{m} anyons. The 𝔪\mathfrak{m} particles are completely mobile and can be created at the endpoints of the completely flexible string

𝔪\displaystyle\mathfrak{m} :{W(γx)=γxXrXr+ey,W(γy)=γyZrZr+ex,\displaystyle:\begin{cases}W(\gamma_{x})=\prod_{\gamma_{x}}X_{r}X_{r+e_{y}}^{\dagger},\\ W(\gamma_{y})=\prod_{\gamma_{y}}Z_{r}Z_{r+e_{x}}^{\dagger},\end{cases} (51)

where γx\gamma_{x} and γy\gamma_{y} are xx- and yy-oriented string sections. The dipolar bound states 𝔭x\mathfrak{p}^{x} and 𝔭y\mathfrak{p}^{y} can only move along straight lines, in a lineon-like behavior, and are created at the endpoints of the string operators

𝔭x\displaystyle\mathfrak{p}^{x} :V(γx)=γxXr\displaystyle:V(\gamma_{x})=\prod_{\gamma_{x}}X_{r} (52)
𝔭y\displaystyle\mathfrak{p}^{y} :V(γy)=γyZr,\displaystyle:V(\gamma_{y})=\prod_{\gamma_{y}}Z_{r},

as illustrated in Fig. 9. Lastly, the isolated excitations can only be moved through fixed-length NN string operators

𝔮\displaystyle\mathfrak{q} :{U(λx)=λxXrx,U(λy)=λy,Zry\displaystyle:\begin{cases}U(\lambda_{x})=\prod_{\lambda_{x}}X_{r}^{x},\\ U(\lambda_{y})=\prod_{\lambda_{y}},Z_{r}^{y}\end{cases} (53)

for straight strings λx\lambda_{x} and λy\lambda_{y} whose size are NN (or integer multiples of NN).

Additionally, there are also “diagonal”-dipoles 𝔡1\mathfrak{d}^{1} and 𝔡2\mathfrak{d}^{2}, created at the endpoint of diagonal strings Γ1\Gamma_{1} and Γ2\Gamma_{2}

S(Γ1)\displaystyle S(\Gamma_{1}) =\displaystyle= Γ1XrZr\displaystyle\prod_{\Gamma_{1}}X_{r}Z_{r}
S(Γ2)\displaystyle S(\Gamma_{2}) =\displaystyle= Γ2XrZr,\displaystyle\prod_{\Gamma_{2}}X_{r}Z_{r}^{\dagger}, (54)

as illustrated in Fig. 9. These dipolar bound states are not completely independent from the 𝔭x\mathfrak{p}^{x} and 𝔭y\mathfrak{p}^{y} ones. Instead, they are the result of fusion

𝔡1=𝔭x×𝔭yand𝔡2=𝔭x×𝔭y¯.\displaystyle\mathfrak{d}^{1}=\mathfrak{p}^{x}\times\mathfrak{p}^{y}\quad\text{and}\quad\mathfrak{d}^{2}=\mathfrak{p}^{x}\times\overline{\mathfrak{p}^{y}}. (55)

We note that, similarly to the V(γx)V(\gamma_{x}) and V(γy)V(\gamma_{y}) strings, the S(Γ1)S(\Gamma_{1}) and S(Γ2)S(\Gamma_{2}) ones have support along straight lines Γ1\Gamma_{1} and Γ2\Gamma_{2}, which and cannot bend. Otherwise, additional excitations are created around the region of the bent region.

Refer to caption
Figure 9: Anyons 𝔭\mathfrak{p} and 𝔡\mathfrak{d} and their corresponding string operators with support on γx\gamma_{x}, γy\gamma_{y}, Γ1\Gamma_{1}, and Γ2\Gamma_{2}

V.2 Anyon Condensate: 𝔪\mathfrak{m}-dipole

Let us start by spatially condensing 𝔪\mathfrak{m} dipoles along a defect line γx\gamma_{x} and demonstrate that such anyon condensation on the defect branch is akin to adding a dislocation defect. To begin with, we apply a strong Ising coupling along the yy link XrXr+eyX_{r}X_{r+e_{y}}^{\dagger}, which is responsible for condensing a dipole consisting of a pair of 𝔪\mathfrak{m} anyons

HHgrγxXrXr+ey.\displaystyle H\rightarrow H-g\sum_{r\in\gamma_{x}}X_{r}X_{r+e_{y}}^{\dagger}. (56)

The condensation along the branch is illustrated in Fig. (11).

In the strong gg coupling limit, we consider only states in the Hilbert space that obey XrXr+ey|ψ=+1|ψX_{r}X_{r+e_{y}}^{\dagger}\ket{\psi}=+1\ket{\psi}. We then use a perturbative expansion on the stabilizers near the branch to obtain an effective Hamiltonian. For this, let us explicitly write

H=g(H0+1gH1),\displaystyle H=g\left(H_{0}+\dfrac{1}{g}H_{1}\right), (57)

where H1=HDQH_{1}=H_{DQ} is the Dipolar-Quadrupolar Hamiltonian in Eq. (37). The perturbative parameter is g1g^{-1} and H0=rγxXrXr+ey+h.c.H_{0}=\sum_{r\in\gamma_{x}}X_{r}X_{r+e_{y}}^{\dagger}+\text{h.c.} is the strong field applied along γx\gamma_{x}

Let 𝒫\mathcal{P} be a projection operator onto the states satisfying the constraint XrXr+ey=+1X_{r}X_{r+e_{y}}^{\dagger}=+1 for all xx in γx\gamma_{x} and let BrB_{r} abbreviate each one of the terms in Hamiltonian (37). Then, in first-order perturbation theory, the terms in the Hamiltonian that overlap with the condensed branch γx\gamma_{x} vanish. The effective Hamiltonian, in first-order

Heff(1)=𝒫H1𝒫=rγxBr+h.c.,\displaystyle H^{(1)}_{\text{eff}}=\mathcal{P}H_{1}\mathcal{P}=-\sum_{r\notin\gamma_{x}}B_{r}+\text{h.c.}, (58)

only contain terms that are not in the string γx\gamma_{x}. This follow because the plaquette terms BrB_{{r}} do not commute with the constraint XrXr+ey=+1X_{r}X_{r+e_{y}}^{\dagger}=+1 for rγxr\in\gamma_{x}. In second order, however, there are non-trivial contributions to the effective Hamiltonian near the branch

Heff(2)\displaystyle H^{(2)}_{\text{eff}} =\displaystyle= 𝒫H1(1𝒫)EH0H1𝒫\displaystyle\mathcal{P}H_{1}\dfrac{(1-\mathcal{P})}{E-H_{0}}H_{1}\mathcal{P} (59)
\displaystyle\ni KrγxB~r+h.c.\displaystyle-K\sum_{r\in\gamma_{x}}\tilde{B}_{r}+\text{h.c.}

where K𝒪(g2)K\sim\mathcal{O}(g^{-2}) and B~r\tilde{B}_{r} for rγxr\in\gamma_{x} is depicted in Fig. 10.

Refer to caption
Figure 10: New plaquette operators B~r\tilde{B}_{r}, in second-order perturbation theory, overlapping with the double string at γx\gamma_{x} and γx+1\gamma_{x+1}, generated in second order in perturbation theory.

Upon condensing the 𝔪\mathfrak{m}-dipole along the branch cut by projecting XrXr+ey=+1X_{r}X_{r+e_{y}}^{\dagger}=+1, the two qubits at sites xx and x+eyx+e_{y} become constrained, and can be effectively treated as a single degree of freedom located at an intermediate site. In other words, the dipole condensation introduces a dislocation where two adjacent rows along the xx-direction shrink into a single row, as depicted in Fig 11. The effective perturbative Hamiltonian we derived in Eq. (59) indeed produces the stabilizer Hamiltonian of the Dipolar-Quadrupolar code on a dislocation lattice as Fig. 11.

Refer to caption
Figure 11: Condensing 𝔪\mathfrak{m} anyons along a branch γx\gamma_{x} effectively implements a lattice dislocation defect.

When we condense the 𝔪\mathfrak{m}-dipole along the branch cut, reminiscent of creating a translation defect (dislocation) that merges two adjacent xx-rows, both the total charge and xx-dipole remain conserved quantities, as

rBr=𝟙andrBrρxx=𝟙,\displaystyle\prod_{r}B_{r}=\mathds{1}\quad\text{and}\quad\prod_{r}B^{\rho_{x}x}_{r}=\mathds{1}, (60)

still hold. However, since the dislocation literally mixes the positions between rr and r+eyr+e_{y} along the branch cut, the yy-dipole and xyxy-quadrupole moment of BrB_{r} become ill-defined when passing through the branch cut. In particular, if we count the total number of yy-dipoles and xyxy-quadrupole moments in the presence of dislocation lines,

rBrρyy\displaystyle\prod_{r}B^{\rho_{y}y}_{r} =\displaystyle= W(γx+1)ρy\displaystyle W(\gamma_{x+1})^{\rho_{y}}
rBrρxyxy\displaystyle\prod_{r}B^{\rho_{xy}xy}_{r} =\displaystyle= W(γx+1)ρxyx,\displaystyle W(\gamma_{x+1})^{\rho_{xy}\,x}, (61)

where W(γx)W(\gamma_{x}) is the string-like operator defined in Eq. (51). The fact that Eq. (61) does not act as an identity in the entire Hilbert space under closed boundary conditions implies that the yy-dipole and xyxy-quadrupole momenta are no longer conserved quantities and as a consequence 𝔭y\mathfrak{p}^{y} and 𝔪\mathfrak{m} no longer correspond to well defined anyonic superselection sectors in the theory.

V.3 Anyon Condensate: 𝔡1\mathfrak{d}^{1}-particle

Condensates of 𝔡1\mathfrak{d}^{1} anyons can offer a more intriguing scenario. Similar to the protocol we elucidated in the previous section, we can introduce a strong onsite field

HHhΓ1(ZrXr+h.c.)\displaystyle H\rightarrow H-h\sum_{\Gamma_{1}}(Z_{r}X_{r}+h.c.) (62)

acting along a diagonal line Γ1\Gamma_{1} (Fig. 12) that proliferates 𝔡1\mathfrak{d}^{1} anyons. Under a perturbative expansion, the effective plaquette stabilizers BrB^{\prime}_{r} around the branch cut, which commutes with the 𝔡1\mathfrak{d}^{1} condensate, are shown in Fig. 13. The effect of the defect line is to transmute 𝔭x\mathfrak{p}^{x} anyons into 𝔭y\mathfrak{p}^{y} anyons as they cross the condensation line, as showed in Fig. 12.

Refer to caption
Figure 12: The presence of a 𝔡1\mathfrak{d}^{1} condensate along the line Γ\Gamma breaks the total xx and yy dipole conservation and allows 𝔭x\mathfrak{p}^{x} and 𝔭y\mathfrak{p}^{y} anyons to convert into each other.

If we create a 𝔭x\mathfrak{p}^{x} excitation along the xx-direction and cross the defect branch cut, the resulting excitation becomes 𝔭y\mathfrak{p}^{y} anyons, which can only move along the yy-direction. In this regard, the role of the 𝔡1\mathfrak{d}^{1}-particle condensate along the branch cut is reminiscent of a disclination line (a rotational defect) that can permute two types of anyons—𝔭x\mathfrak{p}^{x} and 𝔭y\mathfrak{p}^{y}—which display nontrivial braiding statistics with different subdimensional mobilities. What sets its peculiar character is that the 𝔡1\mathfrak{d}^{1} anyon condensation along the Γ\Gamma introduces additional non-Abelian defects at the endpoints of the line, as referenced in Ref. [71, 50]. We plan to address this matter in a future study.

Refer to caption
Figure 13: New plaquette operators BrB^{\prime}_{r} in second order perturbation theory.

VI Multipartite Entanglement mutual information

VI.1 Holonomies and Wilson algebra

In this section, we derive the Wilson algebra of the code, as presented in Eq. (37). A detailed derivation of the Wilson line operator can be found in the Appendix; here, we only summarize the results. There are four types of Wilson operators along the yy-direction,

W1(x)\displaystyle W_{1}(x) =yX(x,y)X(x+1,y),\displaystyle=\prod_{y}X(x,y)X^{\dagger}(x+1,y),
W2(x)\displaystyle W_{2}(x) =yXy(x,y)Xy(x+1,y),\displaystyle=\prod_{y}X^{y}(x,y)X^{\dagger y}(x+1,y),
W3(x)\displaystyle W_{3}(x) =yX(x,y),W4(x)=yXy(x,y).\displaystyle=\prod_{y}X(x,y),~{}W_{4}(x)=\prod_{y}X^{y}(x,y). (63)

The Wilson operators are subjected to the uniform condition: x2W3(x)=x2W4(x)=0\partial^{2}_{x}W_{3}(x)=\partial^{2}_{x}W_{4}(x)=0. This indicates that we need to pin the value of two nearby Wilson lines to establish the value of all holonomies generated by W3,W4W_{3},W_{4}. Further, once we set the values of W3W_{3} and W4W_{4}, other Wilson lines like W1,W2W_{1},W_{2} can be uniquely determined, since xW3=W1,xW4=W2\partial_{x}W_{3}=W_{1},\partial_{x}W_{4}=W_{2}. This implies the existence of four independent Wilson operators along the yy-direction. We can apply the same logic to identify the dual Wilson operators along the xx-lines.

V1(y)\displaystyle V_{1}(y) =xZ(x,y)Z(x,y+1),\displaystyle=\prod_{x}Z(x,y)Z^{\dagger}(x,y+1),
V2(y)\displaystyle V_{2}(y) =xZx(x,y)Zx(x,y+1),\displaystyle=\prod_{x}Z^{x}(x,y)Z^{\dagger x}(x,y+1),
V3(y)\displaystyle V_{3}(y) =xZ(x,y),V4(y)=xZx(x,y).\displaystyle=\prod_{x}Z(x,y),~{}V_{4}(y)=\prod_{x}Z^{x}(x,y). (64)

It is worth mentioning that all the WiW_{i} and ViV_{i} operators have support on closed single/double parallel strings. Not all WiW_{i} and ViV_{i} operators commute with each other, as they have a non-vanishing intersection. The non-trivial algebra between these operators and its action on the Hilbert space produces the degeneracy of the ground state space (as well as a topological degeneracy in all other energy sectors).

In order to specify the Wilson line algebra and recover the ground state degeneracy, we identify the set of Wilson line operators that generate the ground state manifold. From our previous demonstration, it is not hard to conclude that the eigenvalue of operators Vi(0),Wi(0)V_{i}(0),W_{i}(0) for i=1,,4i=1,\ldots,4 fix the ground state Hilbert space so we can use them to span ground state manifold,

V3(0)W3(0)\displaystyle V_{3}(0)W_{3}(0) =ei2πNW3(0)V3(0)\displaystyle=e^{-i\frac{2\pi}{N}}W_{3}(0)V_{3}(0)
V1(0)W4(0)\displaystyle V_{1}(0)W_{4}(0) =ei2πNW4(0)V1(0),\displaystyle=e^{i\frac{2\pi}{N}}W_{4}(0)V_{1}(0),
V4(0)W1(0)\displaystyle V_{4}(0)W_{1}(0) =ei2πNW4(0)V1(0),\displaystyle=e^{i\frac{2\pi}{N}}W_{4}(0)V_{1}(0),
V2(0)W2(0)\displaystyle V_{2}(0)W_{2}(0) =ei2πNW2(0)V2(0).\displaystyle=e^{i\frac{2\pi}{N}}W_{2}(0)V_{2}(0). (65)

Now we comment on the ground state degeneracy. The operators V3(y),W3(x)V_{3}(y),W_{3}(x) are N\mathbb{Z}_{N} operators, regardless of the system size. It is not difficult to show that these operators span an NN-fold degenerate Hilbert space. Extra caution is needed when evaluating the eigenvalues of the remaining operator pairs. For W4(x)W_{4}(x), it reduces to a gcd(Ly,N)\mathbb{Z}_{\gcd(L_{y},N)} operator under closed boundary conditions, meaning its eigenvalues can only change mod gcd(Ly,N){\gcd(L_{y},N)}. The same reasoning applies to V4(y)V_{4}(y) and W1(x)W_{1}(x), which together span a gcd(Lx,N)\gcd(L_{x},N)-fold degenerate Hilbert space. Finally, consider the pair V2(y),W2(x)V_{2}(y),W_{2}(x). Under closed boundary conditions, V2(y)V_{2}(y) reduces to a Zgcd(Lx,N)Z_{\gcd(L_{x},N)} operator and its eigenvalues can only change mod gcd(Lx,N){\gcd(L_{x},N)}. Similarly, W2(x)W_{2}(x) reduces to a Zgcd(Ly,N)Z_{\gcd(L_{y},N)} operator and its eigenvalues can only change mod gcd(Ly,N){\gcd(L_{y},N)}. Thus, V2(y),W2(x)V_{2}(y),W_{2}(x) span a gcd(Lx,Ly,N)\gcd(L_{x},L_{y},N)-fold degenerate Hilbert space.

VI.2 Diagnosing Modulated Behavior Using Mutual Information

Many intriguing aspects of modulated gauge theories stem from UV/IR mixing [72, 73, 74, 75, 76], where the behavior at low energy can be influenced by the specific details of the lattice. This phenomenon is compelling because it seemingly contradicts the principles of topological quantum field theories, where low-energy physics arises from topologically robust patterns due to entanglement [77, 78, 79, 18] and often remains unaffected by UV properties [80, 81]. When it comes to modulated gauge theories, a pertinent question is whether one can visualize UV-IR mixing through observable quantities, such as correlation functions or entanglement mutual information. In this section, we show that the emergence of UV-IR mixing in spatially modulated gauge theories can be detected through entanglement entropy and mutual information. More specifically, we will evaluate the long-range mutual information between distant rows of qubits under various geometric cuts, which sheds light on the inherent correlation between different Wilson line operators.

In the referenced work [57, 82], the authors demonstrate that both topological order and symmetry-breaking states can be detected and diagnosed using long-range mutual information (LRMI). This formalism is based on the fact that a topological ground state, when on a closed manifold, exhibits long-range correlations between non-local string operators. Starting with a maximally entangled state on a half-torus, the Wilson line operators—defined on the open cylinder—emerge as cat states exhibiting maximal uncertainty. This state resembles the cat state of the 1D quantum Ising model, except that in the topologically ordered state, the order parameter assumes the form of a non-contractible string. Thus, it is natural to expect a non-vanishing long-range mutual information (LRMI) between two distant non-contractible regions (such as stripes), which symbolize string-like order parameters circling the non-contractible loops. The existence of non-vanishing mutual information between stripes implies that the Wilson line operator defined on different stripe regions shares the same eigenvalue, so determining the pattern in one stripe would subsequently reduce the information entropy of the other stripe. In this section, our aim is to adapt and expand upon this concept for 2D modulated codes, such as the Dipolar-Quadrupolar code. Intriguingly, due to the UV-IR mixing nature inherent in modulated gauge theories, we witness that the entanglement LRMI is acutely sensitive to both the geometry and distance of the cut.

Refer to caption
Figure 14: We compute the tripartite mutual information among the three rows illustrated as dashed lines at xax_{a}, xbx_{b}, and xcx_{c}.

We focus on the Dipolar-Quadrupolar code in Eq. 37 as an example. Suppose we take out three rows of qubits along the yy-direction and label their position as xa,xb,xcx_{a},x_{b},x_{c} (with xaxb=bcxc=Mx_{a}-x_{b}=b_{c}-x_{c}=M) as Fig. 14. The mutual information among these three rows indicates the information entropy shared over large distances. Let us assume we start with a specific ground state, which is the eigenstate of all Wilson line operators ViV_{i} along the xx-direction. In other words, all WiW_{i} operators along the yy-direction appear as cat states with maximal uncertainty. We now calculate the tripartite mutual information among these three regions.

I(a:b:c)=S(abc)+S(a)+S(b)+S(c)\displaystyle I(a:b:c)=S(a\cup b\cup c)+S(a)+S(b)+S(c)
S(cb)S(ac)S(ab)\displaystyle-S(c\cup b)-S(a\cup c)-S(a\cup b) (66)

Here a,b,ca,b,c refer to the three rows at xa,xb,xcx_{a},x_{b},x_{c}. The entanglement entropy SS offsets the information entropy contributed by locally fluctuating patterns in each region, and the residual LRMI I(a:b:c)I(a:b:c) documents the long-range correlations between them.

We first analyze the entropy produced by each row at xix_{i}. Given that the ground state wave function is projected by the stabilizer operators in the Hamiltonian, the entanglement entropy of a single row or sets of rows depends on two factors: 1) The number of independent stabilizers, including combinations of several stabilizers, that act directly on the row or sets of rows, and 2) The constraints on certain global operators, like Wilson line operators, that are independent of local stabilizers.

Let us start with S(a)S(a), which quantifies the information entropy of the qubits on row xax_{a}. There are no stabilizers, nor combinations thereof, that act on the row of xax_{a} independently. Additionally, given that the WiW_{i} operators along the yy-direction appear as cat states with maximal uncertainty, there are no global constraints on the row of xax_{a}. Consequently, S(a)S(a) has only local contributions with its entropy being Lyln(N)L_{y}\ln(N). The same principle applies to S(b)S(b) and S(c)S(c).

Now, let’s examine S(cb)S(c\cup b). There are no stabilizers, nor combinations thereof, that act on the rows on xbxcx_{b}\cup x_{c} independently. Given that all WiW_{i} operators along the yy-direction manifest as cat states with maximal uncertainty, there appears to be no global constraint on the two distant rows at xa,xbx_{a},x_{b}. Nevertheless, the conditions x2W3=0\partial^{2}_{x}W_{3}=0 and xW42=0\partial_{x}W^{2}_{4}=0 necessitate that (see appendix for full derivations),

(W3(xa)W31(xb))Lxgcd(Lx,M)=1\displaystyle(W_{3}(x_{a})W^{-1}_{3}(x_{b}))^{\frac{L_{x}}{\gcd(L_{x},M)}}=1
(W4(xa)W41(xb))Lxgcd(Lx,M)=1\displaystyle(W_{4}(x_{a})W^{-1}_{4}(x_{b}))^{\frac{L_{x}}{\gcd(L_{x},M)}}=1 (67)

The operator W3(xa)W31(xb)W_{3}(x_{a})W^{-1}_{3}(x_{b}) is a ZNZ_{N} operator, but the constraint from Eq. 67 reduces its eigenvalue to a Zgcd(Lxgcd(Lx,M),N)Z_{\gcd(\frac{L_{x}}{\gcd(L_{x},M)},N)} value. Likewise, W4(xa)W41(xb)W_{4}(x_{a})W^{-1}_{4}(x_{b}) is a Zgcd(Ly,N)Z_{\gcd(L_{y},N)} operator, but the constraint reduces its eigenvalue to a Zgcd(Lxgcd(Lx,M),N,Ly)Z_{\gcd(\frac{L_{x}}{\gcd(L_{x},M)},N,L_{y})} value. This reduces the information entropy of the two rows by

ln(N)+ln(gcd(Ly,N))ln(gcd(Lxgcd(Lx,M),N))\displaystyle\ln(N)+\ln(\gcd(L_{y},N))-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},M)},N\right)\right)
ln(gcd(Lxgcd(Lx,M),N,Ly))\displaystyle-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},M)},N,L_{y}\right)\right) (68)

in addition to the entropy contributed by local fluctuations. By applying the same logic, the information entropy of S(ab)S(a\cup b) is reduced by

ln(N)+ln(gcd(Ly,N))ln(gcd(Lxgcd(Lx,M),N))\displaystyle\ln(N)+\ln(\gcd(L_{y},N))-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},M)},N\right)\right)
ln(gcd(Lxgcd(Lx,M),N,Ly))\displaystyle-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},M)},N,L_{y}\right)\right) (69)

while that of S(ac)S(a\cup c) is reduced by

ln(N)+ln(gcd(Ly,N))ln(gcd(Lxgcd(Lx,2M),N))\displaystyle\ln(N)+\ln(\gcd(L_{y},N))-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},2M)},N\right)\right)
ln(gcd(Lxgcd(Lx,2M),N,Ly))\displaystyle-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},2M)},N,L_{y}\right)\right) (70)

Now we look into S(cba)S(c\cup b\cup a). As long as we know the patterns on the rows at xa,xbx_{a},x_{b}, the Wilson line operators W3(xa)W_{3}(x_{a}) and W4(xa)W_{4}(x_{a}) are determined, leading to a reduction in total information entropy by ln(N)+ln(gcd(Ly,N))\ln(N)+\ln(\gcd(L_{y},N)). Additionally, the restrictions in Eq. 67 further decrease the information entropy by

ln(N)+ln(gcd(Ly,N))ln(gcd(Lxgcd(Lx,M),N))\displaystyle\ln(N)+\ln(\gcd(L_{y},N))-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},M)},N\right)\right)
ln(gcd(Lxgcd(Lx,M),N,Ly))\displaystyle-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},M)},N,L_{y}\right)\right) (71)

Based on these arguments, it can be concluded that the tripartite mutual information takes the following form:

I(a:b:c)=ln(N)+ln(gcd(Ly,N))ln(gcd(Lxgcd(Lx,M),N))ln(gcd(Lxgcd(Lx,M),N,Ly))\displaystyle I(a:b:c)=\ln(N)+\ln(\gcd(L_{y},N))-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},M)},N\right)\right)-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},M)},N,L_{y}\right)\right)
ln(gcd(Lxgcd(Lx,2M),N))ln(gcd(Lxgcd(Lx,2M),N,Ly))\displaystyle-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},2M)},N\right)\right)-\ln\left(\gcd\left(\frac{L_{x}}{\gcd(L_{x},2M)},N,L_{y}\right)\right) (72)

The LRMI depends on both the system size and the distance between the three areas, which is distinctly different from the mutual information in conventional gauge theories[57]. More precisely, the LRMI of modulated gauge theories is influenced by the system size as well as the distance between the cuts. By altering the distance M between the a-b-c region, the LRMI exhibits periodic fluctuations. This starkly contrasts with LRMI in conventional gauge theory, where mutual information saturates to a constant at long distances.

The novelty of modulated gauge theories arises from the fact that the Wilson operators must adhere to a specific geometric pattern without local deformation. Consequently, if we calculate the tri-partite mutual information between distant rows along different directions by varying cuts, the LRMI can change dramatically depending on the geometric cut. To substantiate this statement, we rotate the system by π/4\pi/4 and examine the qubits along the rows in the x^±y^\hat{x}\pm\hat{y} directions. Here we redefined the coordinate as:

2r1=x+y,2r2=xy,\displaystyle\sqrt{2}r_{1}=x+y,\sqrt{2}r_{2}=x-y, (73)

The magnetic flux operator becomes,

(r12+r22)(AyyAxx)+r2r1(Axx+Ayy)=B,\displaystyle(\partial^{2}_{r_{1}}+\partial^{2}_{r_{2}})(A_{yy}-A_{xx})+\partial_{r_{2}}\partial_{r_{1}}(A_{xx}+A_{yy})=B,
AxxAyyAxxAyy+r2r1α\displaystyle A_{xx}-A_{yy}\rightarrow A_{xx}-A_{yy}+\partial_{r_{2}}\partial_{r_{1}}\alpha
Axx+AyyAxx+Ayy+(r12+r22)α\displaystyle A_{xx}+A_{yy}\rightarrow A_{xx}+A_{yy}+(\partial^{2}_{r_{1}}+\partial^{2}_{r_{2}})\alpha (74)

If we remove a single row along the r1r_{1} direction, the only non-contractible operator that commutes with the Hamiltonian is:

(AxxAyy)𝑑r1=U(r2),r22U=0\displaystyle\int(A_{xx}-A_{yy})\,dr_{1}=U(r_{2}),~{}\partial^{2}_{r_{2}}U=0 (75)

which can be treated as a Wilson line operator along the r1r_{1} direction. We now place the theory under periodic boundary conditions along r1,r2r_{1},r_{2} and choose the ground state as a cat state for which both the UU and r2U\nabla_{r_{2}}U operators reach maximal uncertainty. We then remove three rows of qubits along the r1r_{1} direction and label the columns as ra,rb,rcr_{a},r_{b},r_{c} (rarb=rbrc=2Mr_{a}-r_{b}=r_{b}-r_{c}=2M). Based on our previous argument, one can conclude that tripartite mutual information takes the following form:

I(a:b:c)=ln(N)ln(gcd(L2gcd(L2,M),N))\displaystyle I(a:b:c)=\ln(N)-\ln\left(\gcd\left(\frac{L_{2}}{\gcd(L_{2},M)},N\right)\right)
ln(gcd(L2gcd(L2,2M),N))\displaystyle-\ln\left(\gcd\left(\frac{L_{2}}{\gcd(L_{2},2M)},N\right)\right) (76)

L2L_{2} is the number of sites along r2r_{2} direction. Upon comparing this result with Eq. (72), it becomes evident that the long-range mutual information (LRMI) between three distant regions is influenced not only by their distance but also by the orientation of the cut, thereby introducing a level of geometric dependence. This sensitivity to geometry can be interpreted through the perspective of the Wilson operators, which might adhere to a specific geometric shape without the flexibility to bend. Since LRMI is governed by the correlations among the Wilson operators, changing the direction or geometry of the cut also changes the number of Wilson line operators that survive within the cut, which results in a change in LRMI.

VII Outlook

In this work, we have introduced an anyon condensation framework that links different two-dimensional spatially modulated gauge theories. As we explicitly studied through some examples, a general effect of the condensate is the emergence of additional higher-multipole momenta conservations, which directly affects the quasi-particle content, as well as their allowed dynamics.

For future perusal, we highlight a few open questions that are worth exploring in the future: 1) As discussed in Sec. IV.5, anyon condensation can be manipulated by making partial measurements upon the wavefunction. Since measurements can be achieved by introducing decoherence channels in an open system, it is feasible that the anyon condensation scheme we have introduced in this manuscript could be realized through quantum decoherence. This scenario extends the exploration of spatially modulated states in open systems and provides a feasible platform for building quantum memories in Noisy Intermediate-Scale Quantum (NISQ) devices. 2) Likewise, since the geometric defect introduces additional anyon condensation defects to the modulated gauge theory, we expect that impurities and lattice defects can engender a zoology of new exotic spatially modulated states. 3) We studied a multi-partite mutual information protocol that is able to detect UV/IR mixing information in the ground state wavefunction, in contrast to the usual topological entanglement topological entropy. We expect that it can applied to various 3D fracton theories, opening a new chapter in the exploration of novel entanglement features in higher-dimensional fracton phases

Acknowledgement— We are grateful to Claudio Chamon for enlightening discussions and valuable comments in the draft. This work was completed in part at Aspen Center for Physics (Y.Y.) and at Paths to Quantum Field Theory 2023 workshop at Durham University (G.D.). It is supported by National Science Foundation grant PHY-2210452 and Durand Fund (Y.Y) as well as the DOE Grant No. DE-FG02-06ER46316 (G. D.).

Appendix

Wilson Algebra for Dipolar-Quadrupolar code

Historically, the holonomies engendered by the Wilson line operators manifest the global flux sectors to which the ground state on a torus belongs. Building on this line of thinking, we show how to obtain Wilson operators pertinent to the Dipolar-Quadrupolar code from the underlying gauge theory. For higher-rank gauge theories, the ‘Wilson operators’ creating immobile quasi-particle excitations turn out to be richer and more diverse than in the conventional N\mathbb{Z}_{N} gauge theory for the following reasons. 1) Due to the restricted mobility of the quasiparticles, some of the Wilson lines need to be straight and geometrically oriented in a specific direction. 2) There might exist other ‘Wilson operators’ defined on a non-contractible manifold, such as membrane, cage, or fractal, that are responsible for the holonomies of higher-rank gauge theory [83, 24, 84]. 3) Different Wilson operators that are parallel to each other may not render the same value, as opposed to the conventional N\mathbb{Z}_{N} gauge theory whose Wilson line operators are invariant under translation. For higher rank gauge theory, the dipole and quadruple moments transform non-trivially under translation, and so does the global flux sector. Consequently, two parallel flux lines might return different values.

Recall that in the usual 2D N\mathbb{Z}_{N} gauge theory, the magnetic flux is given by B=xAyyAxB=\partial_{x}A_{y}-\partial_{y}A_{x} and the total flux on the half cylinder 𝒜{\cal A} bounded by at x=x0x=x_{0} and x=xnx=x_{n} is be characterized by parallel Wilson line operators

𝒜B𝑑V=Ay(xn,y)𝑑yAy(x0,y)𝑑y=0,\displaystyle\int_{\cal A}B\,dV=\oint A_{y}(x_{n},y)dy-\oint A_{y}(x_{0},y)dy=0,

With the integral \oint going around the full circumference of the cylinder. The net flux condition (B𝑑V=0\int BdV=0) implies that the two parallel Wilson lines render the same value. Since the two Wilson lines are spatially separated while the Hamiltonian is local, each Ay(x,y)𝑑y\oint A_{y}(x,y)dy must commute with all local terms in the Hamiltonian and can be treated as a global flux operator that characterizes the holonomy. One obtains another Wilson line operator along the yy-direction from the charge sector, i.e. Ey(x,y)𝑑y\oint E_{y}(x,y)dy. These two comprise all possible Wilson lines along the yy-loop.

Refer to caption
Figure 15: The integral of conserved quantities in a finite region 𝒜\mathcal{A} results into Wilson lines at the boundary 𝒜\partial\mathcal{A} of the region 𝒜\mathcal{A}.

In this appendix, we derive the Wilson operators of the non-CSS version of the Dipolar-Quadrupolar code, as represented in Eq. (37). We begin with the definition of the flux operator b=x2Ayyy2Axxb=\partial^{2}_{x}A^{yy}-\partial^{2}_{y}A^{xx}. Given that the Dipolar-Quadrupolar code can be characterized by a Chern-Simons type gauge theory, the pattern of the ground state on a closed manifold is based on the net flux condition b=0b=0. The magnetic charges represented by bb demonstrate a number of conservation laws associated to G~[1],G~[x],G~[y],G~[xy]\tilde{G}[1],\tilde{G}[x],\tilde{G}[y],\tilde{G}[xy].

Suppose we place the ground state wave function on an open cylinder and focus on the Wilson lines defined along the yy-loop. In this scenario, we can study the holonomies associated to G~[1]\tilde{G}[1] and G~[x]\tilde{G}[x] by integrating them in a finite region 𝒜\mathcal{A}, as showed in Fig. 15

r𝒜r=yeiΔxAyy(xn,y)eiΔxAyy(x0,y),\displaystyle\prod_{r\in\mathcal{A}}\mathcal{B}_{r}=\prod_{y}e^{i\Delta_{x}A^{yy}(x_{n},y)}e^{-i\Delta_{x}A^{yy}(x_{0},y)},
r𝒜ry=yeiΔxyAyy(xn,y)eiΔxyAyy(x0,y).\displaystyle\prod_{r\in\mathcal{A}}\mathcal{B}_{r}^{y}=\prod_{y}e^{i\Delta_{x}yA^{yy}(x_{n},y)}e^{-i\Delta_{x}yA^{yy}(x_{0},y)}. (77)

where Δx\Delta_{x} refers to the lattice difference along the xx-direction. Based on Eq. (77), the total flux on an open cylinder is reduced to two operators localized on the boundary. Following the notation in Sec. IV.1, we express the gauge potential in terms of Pauli operators X=eiAyy,Z=eiAxxX=e^{iA^{yy}},Z=e^{iA^{xx}} and obtain the Wilson operators,

W1(x)\displaystyle W_{1}(x) =yX(x,y)X(x+1,y),\displaystyle=\prod_{y}X(x,y)X^{\dagger}(x+1,y),
W2(x)\displaystyle W_{2}(x) =yXy(x,y)Xy(x+1,y)\displaystyle=\prod_{y}X^{y}(x,y)X^{\dagger y}(x+1,y) (78)

Here we choose a coordinate that the site (x,y) resides on the lattice characterized by integer coordinates. Due to the flux conservation law, Eq. (77), these two operators are uniform along the xx-coordinate: ΔxW2(x)=ΔxW1(x)=0\Delta_{x}W_{2}(x)=\Delta_{x}W_{1}(x)=0.

Similarly, the other two conserved quantities G~[y]\tilde{G}[y] and G~[xy]\tilde{G}[xy] engender another set of Wilson line operators,

W3(x)\displaystyle W_{3}(x) =yX(x,y),\displaystyle=\prod_{y}X(x,y),
W4(x)\displaystyle W_{4}(x) =yXy(x,y).\displaystyle=\prod_{y}X^{y}(x,y). (79)

Due to the flux conservation law, they are nonuniform along the xx-coordinate: Δx2W3(x)=Δx2W4(x)=0\Delta^{2}_{x}W_{3}(x)=\Delta^{2}_{x}W_{4}(x)=0. This indicates the necessity of pinning the value of two proximate Wilson lines to establish the value of all holonomies generated by W1,W2W_{1},W_{2}. However, once the values of the aforementioned Wilson operators W1,W2W_{1},W_{2} are fixed, W3(x),W4(x)W_{3}(x),W_{4}(x) can be uniquely determined, since ΔxW3=W1,ΔxW4=W2\Delta_{x}W_{3}=W_{1},\Delta_{x}W_{4}=W_{2}. This implies the existence of four independent Wilson operators along the yy-direction. The same argument can be applied to identify the dual Wilson operators along the xx-lines.

V1(y)\displaystyle V_{1}(y) =xZ(x,y)Z(x,y+1),\displaystyle=\prod_{x}Z(x,y)Z^{\dagger}(x,y+1),
V2(y)\displaystyle V_{2}(y) =xZx(x,y)Zx(x,y+1),\displaystyle=\prod_{x}Z^{x}(x,y)Z^{\dagger x}(x,y+1),
V3(y)\displaystyle V_{3}(y) =xZ(x,y),\displaystyle=\prod_{x}Z(x,y),
V4(y)\displaystyle V_{4}(y) =xZx(x,y).\displaystyle=\prod_{x}Z^{x}(x,y). (80)

Information entropy for Wilson line operators

In this appendix, we provide a detailed derivation for the constraint of the Wilson line operator in Eq. (67). There are no stabilizers, nor combinations thereof, that act on the rows on xbxcx_{b}\cup x_{c} independently. Nevertheless, the conditions x2W3=0\partial^{2}_{x}W_{3}=0 and xW42=0\partial_{x}W^{2}_{4}=0 indicate the value of (W3(xa)W31(xb))(W_{3}(x_{a})W^{-1}_{3}(x_{b})) and (W4(xa)W41(xb))(W_{4}(x_{a})W^{-1}_{4}(x_{b})) are uniform under translation. In the presence of periodic boundary conditions, multiply these operators along xx-direction Lxgcd(Lx,M){\frac{L_{x}}{\gcd(L_{x},M)}} times gives unity:

(W3(xa)W31(xb))Lxgcd(Lx,M)=1\displaystyle(W_{3}(x_{a})W^{-1}_{3}(x_{b}))^{\frac{L_{x}}{\gcd(L_{x},M)}}=1
(W4(xa)W41(xb))Lxgcd(Lx,M)=1\displaystyle(W_{4}(x_{a})W^{-1}_{4}(x_{b}))^{\frac{L_{x}}{\gcd(L_{x},M)}}=1 (81)

The operator W3(xa)W31(xb)W_{3}(x_{a})W^{-1}_{3}(x_{b}), by definition, is a ZNZ_{N} operator, but the constraint reduces its eigenvalue to a gcd(Lxgcd(Lx,M),N)\gcd(\frac{L_{x}}{\gcd(L_{x},M)},N) value. Likewise, W4(xa)W41(xb)W_{4}(x_{a})W^{-1}_{4}(x_{b}) is a Zgcd(Ly,N)Z_{\gcd(L_{y},N)} operator, but the constraint reduces its eigenvalue to a gcd(Lxgcd(Lx,M),N,Ly)\gcd\left(\frac{L_{x}}{\gcd(L_{x},M)},N,L_{y}\right) value.

References

  • Kitaev [2003] A. Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics 303, 2 (2003).
  • Wen [2003a] X.-G. Wen, Quantum orders in an exact soluble model, Phys. Rev. Lett. 90, 016803 (2003a).
  • Shor [1995] P. W. Shor, Scheme for reducing decoherence in quantum computer memory, Physical review A 52, R2493 (1995).
  • Steane [1996] A. M. Steane, Error correcting codes in quantum theory, Physical Review Letters 77, 793 (1996).
  • Atiyah [1988] M. F. Atiyah, Topological quantum field theory, Publications Mathématiques de l’IHÉS 68, 175 (1988).
  • Wen [2015] X.-G. Wen, Construction of bosonic symmetry-protected-trivial states and their topological invariants via g×\times s o (σ\sigma) nonlinear σ\sigma models, Physical Review B 91, 205101 (2015).
  • Wen [2003b] X.-G. Wen, Quantum orders in an exact soluble model, Physical review letters 90, 016803 (2003b).
  • Witten [1991] E. Witten, Quantization of chern-simons gauge theory with complex gauge group, Communications in Mathematical Physics 137, 29 (1991).
  • Kitaev and Laumann [2010] A. Kitaev and C. Laumann, Topological phases and quantum computation, Exact Methods in Low-dimensional Statistical Physics and Quantum Computing: Lecture Notes of the Les Houches Summer School: Volume 89, July 2008 , 101 (2010).
  • Wen [2019] X.-G. Wen, Emergent anomalous higher symmetries from topological order and from dynamical electromagnetic field in condensed matter systems, Physical Review B 99, 205139 (2019).
  • Kapustin and Thorngren [2017] A. Kapustin and R. Thorngren, Higher symmetry and gapped phases of gauge theories, Algebra, Geometry, and Physics in the 21st Century: Kontsevich Festschrift , 177 (2017).
  • Rayhaun and Williamson [2023] B. Rayhaun and D. Williamson, Higher-form subsystem symmetry breaking: Subdimensional criticality and fracton phase transitions, SciPost Physics 15, 017 (2023).
  • Haah [2011a] J. Haah, Local stabilizer codes in three dimensions without string logical operators, Phys. Rev. A 83, 042330 (2011a).
  • Vijay et al. [2015] S. Vijay, J. Haah, and L. Fu, A new kind of topological quantum order: A dimensional hierarchy of quasiparticles built from stationary excitations, Phys. Rev. B Condens. Matter 92, 235136 (2015).
  • Chamon [2005] C. Chamon, Quantum glassiness in strongly correlated clean systems: An example of topological overprotection, Phys. Rev. Lett. 94, 040402 (2005).
  • Alicki et al. [2009] R. Alicki, M. Fannes, and M. Horodecki, On thermalization in kitaev’s 2d model, Journal of Physics A: Mathematical and Theoretical 42, 065303 (2009).
  • Castelnovo and Chamon [2007] C. Castelnovo and C. Chamon, Entanglement and topological entropy of the toric code at finite temperature, Physical Review B 76, 184442 (2007).
  • Shirley et al. [2019a] W. Shirley, K. Slagle, and X. Chen, Universal entanglement signatures of foliated fracton phases, SciPost Physics 6, 015 (2019a).
  • Shirley et al. [2018] W. Shirley, K. Slagle, Z. Wang, and X. Chen, Fracton models on general three-dimensional manifolds, Phys. Rev. X 8, 031051 (2018).
  • Shirley et al. [2019b] W. Shirley, K. Slagle, and X. Chen, Fractional excitations in foliated fracton phases, Annals of Physics 410, 167922 (2019b).
  • Slagle et al. [2019] K. Slagle, A. Prem, and M. Pretko, Symmetric tensor gauge theories on curved spaces, Annals of Physics 410, 167910 (2019).
  • Yoshida et al. [2015] T. Yoshida, T. Morimoto, and A. Furusaki, Bosonic symmetry-protected topological phases with reflection symmetry, Physical Review B 92, 245122 (2015).
  • Hirono et al. [2022] Y. Hirono, M. You, S. Angus, and G. Y. Cho, A symmetry principle for gauge theories with fractons, arXiv preprint arXiv:2207.00854  (2022).
  • You et al. [2020a] Y. You, T. Devakul, S. Sondhi, and F. Burnell, Fractonic chern-simons and bf theories, Physical Review Research 2, 023249 (2020a).
  • You et al. [2020b] Y. You, J. Bibo, and F. Pollmann, Higher-order entanglement and many-body invariants for higher-order topological phases, Physical Review Research 2, 033192 (2020b).
  • Gromov [2019] A. Gromov, Towards classification of fracton phases: the multipole algebra, Physical Review X 9, 031035 (2019).
  • You et al. [2019a] Y. You, F. Burnell, and T. L. Hughes, Multipolar topological field theories: Bridging higher order topological insulators and fractons, arXiv preprint arXiv:1909.05868  (2019a).
  • Oh et al. [2022a] Y.-T. Oh, J. Kim, E.-G. Moon, and J. H. Han, Rank-2 toric code in two dimensions, Physical Review B 105, 045128 (2022a).
  • Oh et al. [2023] Y.-T. Oh, S. D. Pace, J. H. Han, Y. You, and H.-Y. Lee, Aspects of rank-2 gauge theory in (2+1)d : construction schemes, holonomies, and sublattice one-form symmetries, arXiv preprint arXiv:2301.04706  (2023).
  • Delfino et al. [2023a] G. Delfino, W. B. Fontana, P. R. S. Gomes, and C. Chamon, Effective fractonic behavior in a two-dimensional exactly solvable spin liquid, SciPost Physics 1410.21468/scipostphys.14.1.002 (2023a).
  • Kou et al. [2008a] S.-P. Kou, M. Levin, and X.-G. Wen, Mutual Chern-Simons theory for z2z_{2} topological order, Phys. Rev. B 78, 155134 (2008a)arXiv:0803.2300 .
  • Pace and Wen [2022] S. D. Pace and X.-G. Wen, Position-dependent excitations and UV/IR mixing in the N{\mathbb{Z}}_{N} rank-2 toric code and its low-energy effective field theory, Phys. Rev. B 106, 045145 (2022)arXiv:2204.07111 .
  • Sala et al. [2022] P. Sala, J. Lehmann, T. Rakovszky, and F. Pollmann, Dynamics in systems with modulated symmetries, Physical Review Letters 129, 170601 (2022).
  • Delfino et al. [2023b] G. Delfino, C. Chamon, and Y. You, 2d fractons from gauging exponential symmetries, arXiv preprint arXiv:2306.17121  (2023b).
  • Bulmash and Barkeshli [2018] D. Bulmash and M. Barkeshli, Higgs mechanism in higher-rank symmetric u (1) gauge theories, Physical Review B 97, 235112 (2018).
  • Pretko [2018] M. Pretko, The fracton gauge principle, Physical Review B 98, 115134 (2018).
  • Pretko [2017] M. Pretko, Generalized electromagnetism of subdimensional particles: A spin liquid story, Physical Review B 96, 035119 (2017).
  • You et al. [2019b] Y. You, T. Devakul, S. Sondhi, and F. Burnell, Fractonic chern-simons and bf theories, arXiv preprint arXiv:1904.11530  (2019b).
  • You et al. [2018] Y. You, T. Devakul, F. Burnell, and S. Sondhi, Symmetric fracton matter: Twisted and enriched, arXiv preprint arXiv:1805.09800  (2018).
  • Radzihovsky and Hermele [2020] L. Radzihovsky and M. Hermele, Fractons from vector gauge theory, Physical review letters 124, 050402 (2020).
  • Nguyen et al. [2020] D. Nguyen, A. Gromov, and S. Moroz, Fracton-elasticity duality of two-dimensional superfluid vortex crystals: defect interactions and quantum melting, SciPost Physics 9, 076 (2020).
  • Kou et al. [2008b] S.-P. Kou, M. Levin, and X.-G. Wen, Mutual chern-simons theory for Z2{Z}_{2} topological order, Phys. Rev. B 78, 155134 (2008b).
  • Aasen et al. [2020] D. Aasen, D. Bulmash, A. Prem, K. Slagle, and D. J. Williamson, Topological defect networks for fractons of all types, Physical Review Research 2, 043165 (2020).
  • Song et al. [2023] Z. Song, A. Dua, W. Shirley, and D. J. Williamson, Topological defect network representations of fracton stabilizer codes, PRX Quantum 4, 010304 (2023).
  • Vijay [2017] S. Vijay, Isotropic layer construction and phase diagram for fracton topological phases (2017), arXiv:1701.00762 [cond-mat.str-el] .
  • Ma et al. [2017] H. Ma, E. Lake, X. Chen, and M. Hermele, Fracton topological order via coupled layers, Phys. Rev. B 95, 245126 (2017).
  • Ma et al. [2018] H. Ma, M. Hermele, and X. Chen, Fracton topological order from the Higgs and partial-confinement mechanisms of rank-two gauge theory, Phys. Rev. B 98, 035111 (2018)arXiv:1802.10108 .
  • Vijay et al. [2016] S. Vijay, J. Haah, and L. Fu, Fracton topological order, generalized lattice gauge theory, and duality, Phys. Rev. B 94, 235157 (2016).
  • Burnell [2018] F. Burnell, Anyon condensation and its applications, Annual Review of Condensed Matter Physics 9, 307 (2018).
  • You [2019] Y. You, Non-abelian defects in fracton phases of matter, Physical Review B 100, 075148 (2019).
  • Manoj et al. [2020] N. Manoj, K. Slagle, W. Shirley, and X. Chen, Screw dislocations in the x-cube fracton model, arXiv preprint arXiv:2012.07263  (2020).
  • Aitchison et al. [2023] C. T. Aitchison, D. Bulmash, A. Dua, A. C. Doherty, and D. J. Williamson, No strings attached: Boundaries and defects in the cubic code, arXiv preprint arXiv:2308.00138  (2023).
  • Verresen et al. [2021] R. Verresen, N. Tantivasadakarn, and A. Vishwanath, Efficiently preparing ghz, topological and fracton states by measuring cold atoms, arXiv preprint arXiv:2112.03061  (2021).
  • Lu et al. [2022] T.-C. Lu, L. A. Lessa, I. H. Kim, and T. H. Hsieh, Measurement as a shortcut to long-range entangled quantum matter, PRX Quantum 3, 040337 (2022).
  • Choi et al. [2021] J. Choi, A. L. Shaw, I. S. Madjarov, X. Xie, R. Finkelstein, J. P. Covey, J. S. Cotler, D. K. Mark, H.-Y. Huang, A. Kale, et al., Emergent quantum randomness and benchmarking from hamiltonian many-body dynamics, arXiv preprint arXiv:2103.03535  (2021).
  • Cotler et al. [2023] J. S. Cotler, D. K. Mark, H.-Y. Huang, F. Hernandez, J. Choi, A. L. Shaw, M. Endres, and S. Choi, Emergent quantum state designs from individual many-body wave functions, PRX Quantum 4, 010311 (2023).
  • Jian et al. [2015] C.-M. Jian, I. H. Kim, and X.-L. Qi, Long-range mutual information and topological uncertainty principle, arXiv preprint arXiv:1508.07006  (2015).
  • Ebisu [2023a] H. Ebisu, Entanglement entropy of higher rank topological phases (2023a), arXiv:2302.11468 [cond-mat.str-el] .
  • Kim et al. [2023] J. Kim, Y.-T. Oh, D. Bulmash, and J. H. Han, Unveiling uv/ir mixing via symmetry defects: A view from topological entanglement entropy (2023), arXiv:2310.09425 [cond-mat.str-el] .
  • Ma et al. [2018a] H. Ma, A. T. Schmitz, S. A. Parameswaran, M. Hermele, and R. M. Nandkishore, Topological entanglement entropy of fracton stabilizer codes, Phys. Rev. B 97, 125101 (2018a).
  • Shi and Lu [2018] B. Shi and Y.-M. Lu, Deciphering the nonlocal entanglement entropy of fracton topological orders, Phys. Rev. B 97, 144106 (2018).
  • Dua et al. [2020] A. Dua, P. Sarkar, D. J. Williamson, and M. Cheng, Bifurcating entanglement-renormalization group flows of fracton stabilizer models, Phys. Rev. Res. 2, 033021 (2020).
  • Oh et al. [2022b] Y.-T. Oh, J. Kim, and J. H. Han, Effective field theory of dipolar braiding statistics in two dimensions, Phys. Rev. B 106, 155150 (2022b).
  • Williamson et al. [2019] D. J. Williamson, Z. Bi, and M. Cheng, Fractonic matter in symmetry-enriched u(1)u(1) gauge theory, Phys. Rev. B 100, 125150 (2019).
  • Ebisu [2023b] H. Ebisu, Symmetric higher rank topological phases on generic graphs, Phys. Rev. B 107, 125154 (2023b).
  • Benton and Moessner [2021] O. Benton and R. Moessner, Topological route to new and unusual coulomb spin liquids, Physical Review Letters 127, 107202 (2021).
  • Watanabe et al. [2022] H. Watanabe, M. Cheng, and Y. Fuji, Ground state degeneracy on torus in a family of n\mathbb{Z}_{n} toric code, arXiv:2211.00299  (2022).
  • Iqbal et al. [2023a] M. Iqbal, N. Tantivasadakarn, R. Verresen, S. L. Campbell, J. M. Dreiling, C. Figgatt, J. P. Gaebler, J. Johansen, M. Mills, S. A. Moses, et al., Creation of non-abelian topological order and anyons on a trapped-ion processor, arXiv preprint arXiv:2305.03766  (2023a).
  • Chen et al. [2023] E. H. Chen, G.-Y. Zhu, R. Verresen, A. Seif, E. Baümer, D. Layden, N. Tantivasadakarn, G. Zhu, S. Sheldon, A. Vishwanath, et al., Realizing the nishimori transition across the error threshold for constant-depth quantum circuits, arXiv preprint arXiv:2309.02863  (2023).
  • Iqbal et al. [2023b] M. Iqbal, N. Tantivasadakarn, T. M. Gatterman, J. A. Gerber, K. Gilmore, D. Gresh, A. Hankin, N. Hewitt, C. V. Horst, M. Matheny, et al., Topological order from measurements and feed-forward on a trapped ion quantum computer, arXiv preprint arXiv:2302.01917  (2023b).
  • You et al. [2013] Y.-Z. You, C.-M. Jian, and X.-G. Wen, Synthetic non-abelian statistics by abelian anyon condensation, Phys. Rev. B 87, 045106 (2013).
  • You et al. [2020c] Y. You, Z. Bi, and M. Pretko, Emergent fractons and algebraic quantum liquid from plaquette melting transitions, Phys. Rev. Res. 2, 013162 (2020c).
  • Xu and Fisher [2007] C. Xu and M. P. Fisher, Bond algebraic liquid phase in strongly correlated multiflavor cold atom systems, Physical Review B 75, 104428 (2007).
  • Paramekanti et al. [2002] A. Paramekanti, L. Balents, and M. P. Fisher, Ring exchange, the exciton bose liquid, and bosonization in two dimensions, Physical Review B 66, 054526 (2002).
  • Tay and Motrunich [2010] T. Tay and O. I. Motrunich, Possible exciton bose liquid in a hard-core boson ring model, Physical review letters 105, 187202 (2010).
  • Seiberg and Shao [2020] N. Seiberg and S.-H. Shao, Exotic u(1)u(1) symmetries, duality, and fractons in 3+ 1-dimensional quantum field theory, arXiv preprint arXiv:2004.00015  (2020).
  • Haah [2014] J. Haah, Bifurcation in entanglement renormalization group flow of a gapped spin model, Physical Review B 89, 075119 (2014).
  • Ma et al. [2018b] H. Ma, A. T. Schmitz, S. A. Parameswaran, M. Hermele, and R. M. Nandkishore, Topological entanglement entropy of fracton stabilizer codes, Physical Review B 97, 125101 (2018b).
  • He et al. [2018] H. He, Y. Zheng, B. A. Bernevig, and N. Regnault, Entanglement entropy from tensor network states for stabilizer codes, Physical Review B 97, 125102 (2018).
  • Levin and Wen [2006] M. Levin and X.-G. Wen, Detecting topological order in a ground state wave function, Phys. Rev. Lett. 96, 110405 (2006).
  • Levin and Wen [2005] M. A. Levin and X.-G. Wen, String-net condensation: A physical mechanism for topological phases, Physical Review B 71, 045110 (2005).
  • Liu et al. [2023] Y. Liu, Y. Kusuki, J. Kudler-Flam, R. Sohal, and S. Ryu, Multipartite entanglement in two-dimensional chiral topological liquids, arXiv preprint arXiv:2301.07130  (2023).
  • Haah [2011b] J. Haah, Local stabilizer codes in three dimensions without string logical operators, Physical Review A 83, 042330 (2011b).
  • Prem et al. [2019] A. Prem, S.-J. Huang, H. Song, and M. Hermele, Cage-net fracton models, Physical Review X 9, 021010 (2019).