d n arxiv:2007.05002v1 [cond-mat.str-el] 9 jul 2020field theory is derived from this procedure (for...

39
TIBCO Slingshot User Guide Software Release 1.9.2 August 2014

Upload: others

Post on 22-Jul-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

arX

iv:2

007.

0500

2v2

[co

nd-m

at.s

tr-e

l] 1

1 A

ug 2

020

Note on Generalized Symmetries, Gapless Excitations, Generalized Symmetry

Protected Topological states, and Anomaly

Chao-Ming Jian1 and Cenke Xu2

1Department of Physics, Cornell University, Ithaca, New York 14853, USA2Department of Physics, University of California, Santa Barbara, CA 93106, USA

In this note we consider quantum many body systems with generalized symmetries, such as thehigher form symmetry introduced recently, and the “tensor symmetry”. We consider a general formof lattice Hamiltonians which allow a certain level of nonlocality. Based on the assumption of dualgeneralized symmetries, we explicitly construct low energy excited states. We also derive the ’tHooft anomaly for the general Hamiltonians after “gauging” the dual generalized symmetries. A 3dsystem with dual anomalous 1-form symmetries can be viewed as the boundary of a 4d generalizedsymmetry protected topological (SPT) state with 1-form symmetries. We also present a prototypeexample of 4d SPT state with mixed 1-form and 0-form symmetry topological response theory aswell as its physical construction, and possible boundary states. Insights are gained by dimensionalcompatification/reduction. After dimensional compatification, the 3d system with N pairs of dual1-form symmetries reduces to a 1d system with 2N pairs of dual U(1) global symmetries, which isthe boundary of an ordinary 2d SPT state; while the 3d system with the tensor symmetry reducesto a 1d Lifshitz theory, which is protected by the center of mass conservation of the system.

PACS numbers:

I. INTRODUCTION

Various lattice models with different emergent gauge invariance were constructed in the context of quantum many-body condensed matter systems, including models with emergent U(1) gauge invariance1–3, and models with moreexotic tensor like gauge transformations4–9. The most well-known example is the quantum spin ice system withemergent electromagnetism and photon like excitations at low energy, as well as Dirac monopole10. The analysis ofthese lattice models usually rely on the “spin-wave” expansion, meaning expanding the theory at certain presumedsemiclassical mean field minimum of the Hamiltonian, or saddle point of the action in path integral. A low energyfield theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theorycaptures the infrared physics of the lattice model at long scale. The stability of the state of interests described bythe low energy field theory usually needs to be studied separately for each particular example. The general procedureof such analysis is that, one treats the deviation from the field theory as perturbations, and demonstrate that theseperturbations are irrelevant under renormalization group flow at the desired state described by the field theory. Butfor a general form of lattice Hamiltonian, it is unclear whether such a mean-field minimum (and its corresponding fieldtheory) really exists, or whether the perturbative renormalization group argument is reliable because the deviationfrom the desired state can be too strong to be treated perturbatively. For example, it is known that the lattice modelfor the emergent photon phase can be tuned to different phases, such as the confined phase, and a RK point withnonrelativistic dispersion2,11,12.Sometimes the argument for the stability of the desired low energy state can also be translated to certain physical

picture, for example the behavior of the topological defects such as the Dirac monopoles; namely depending on whetherthe Dirac monopoles are gapped or condensed, the lattice gauge theory is in its deconfined or confined phases. Butthis argument relies heavily on the specific theory, since the physical picture and theory describing the condensationof topological defects are very different for lattice theories with generalized gauge transformations9.Recently new tools and languages such as generalized higher-form symmetries were introduced to analyze gauge

fields13–20, and various features of gauge fields such as the physical consequence of a topological term can be clearlystudied following this language21. In the current note, the most fundamental assumption we make about the systemsunder study is that, though our system is defined on a lattice, at least at the long scale there exists a U(1)g symmetry.U(1)g is a generalized U(1) symmetry such as the higher-form symmetry or a “tensor symmetry”, whose definitionswill be explained later. The U(1) nature of the symmetry means that the charges of the generalized symmetry takearbitrary discrete integer eigenvalues, and charges with different supports in space all commute with each other. U(1)g

can be an actual symmetry on the lattice scale (UV scale), it can also be of emergent nature, meaning it only existsat long scale.Depending on the dimensionality, there exists a topological soliton associated with this presumed U(1)g symmetry.

The topological soliton is defined in space but not space-time, and it has a smooth spatial energy distribution withoutsingularity (for example, a Dirac monopole is referred to as a defect, instead of soliton). We then further assume

Page 2: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

2

that at long scale the topologically quantized soliton number is conserved, which means that the system also has anemergent U(1)gdual symmetry. Hence at the long scale, there exists a dual structure with an enlarged U(1)g ×U(1)gdualsymmetry where the two U(1)g and U(1)gdual symmetries act on two sets of degrees of freedom that are related to eachother in non-local fashions. Some physical consequence of discrete symmetries that act on sets of degrees of freedomsnon-locally related to each other are discussed in Ref. 22. In this work, we focus on the U(1)g × U(1)gdual symmetryand its physical implications.The goals of the current note are (1) to start with the assumption of dual generalized symmetries (such as dual 1-

form symmetries and also dual tensor symmetries), and demonstrate the existence of stable gapless phases on generalground, without relying on certain semiclassical treatment of the lattice model; (2) derive the ’t Hooft anomaly ofthe dual generalized symmetries for general Hamiltonians; (3) identify these gapless phases as the boundary of higherdimensional generalized symmetry protected topological (SPT) states, and make connection to ordinary SPT statesafter dimensional compactification/reduction; (4) clarify the concepts and models introduced in previous literaturesusing recently developed language.

II. 3D SYSTEMS WITH U(1) 1-FORM SYMMETRY

A. Consequences of 1-form symmetries

For our purpose, we do not take a specific example of state of matter, and show that this example has a generalizedsymmetry. Instead, we start with the assumption that at least at the long scale, our 3d system has a U(1)g symmetry,where U(1)g is a 1-form symmetry13–20. We will explore what this assumption can lead to. Here 3d means 3 spatialdimensions.There is a 1-form charge density associated with this presumed U(1)g symmetry: QA =

∫ Ad~S · ~ρ. The integral is

over a two dimensional surface A. The conservation of the charge density means that the 1-form charge cannot becreated or annihilated, but it can “leak” through the boundary of A through a 1-form symmetry current. But if A isa closed surface without any boundary, QA must be a constant, namely

QA =

∫ A

∂A=∅

d~S · ~ρ =

∫ V

∂V=A

d3x ~∇ · ~ρ = const. (1)

Since this must be valid for any closed surface, it implies that ~∇ · ~ρ is a time-independent constant everywhere in theentire space at long scale. Hence ~ρ can be viewed as an electric field ~e which satisfies the Gauss law constraint. Theequation of motion of the ordinary electromagnetic field, i.e. the Maxwell equations, can be viewed as the continuityequation of the 1-form symmetries:

∂µJ(e)µ =

∂ei∂t

− ∂jǫijkbk = 0,

∂µJ(m)µ =

∂bi∂t

+ ∂jǫijkek = 0. (2)

This means that for the ordinary Maxwell theory, the currents of the two 1-form symmetries are:

J (e) = (ρ(e)i , J

(e)ij ) = (ei, ǫijkbk),

J (m) = (ρ(m)i , J

(m)ij ) = (bi, −ǫijkek). (3)

This is analogous to the more familiar fact that, the equation of motion of a superfluid is also the continuity equation ofits super-current. Note that the conserved current J (e) is associated with the aforementioned 1-form U(1)g symmetry.The conserved current J (m) will be associated with a different 1-form symmetry, denoted as U(1)gdual, whose physicalmeaning and definition will be explained later in the section.

Let us denote the operator of the electric field as ~e. When a quantized electric field is realized in condensedmatter systems, it usually only takes discrete integer eigenvalues, because the physical meaning of the electric fieldoperator is usually the number operator of certain quantum boson (for example the dimer number operator2,23), orspin component Sz1,3. We consider a lattice model for these electric field operators like the previous literatures onquantum spin ices. If the Gauss law constraint is imposed strictly on the lattice, the 1-form symmetry is a microscopicsymmetry of the system. However in condensed matter realizations the Gauss law constraint is usually not imposedstrictly on the lattice, instead there is a large energy penalty for creating defects that violate the Gauss law constraint.

Page 3: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

3

The Gauss law constraint and hence the 1-form symmetry (now we refer to it as the electric 1-form symmetry) is onlyan emergent symmetry at long scale.Due to the (emergent) Gauss law constraint, it is straightforward to prove that the Hamiltonian of the system

must have a gauge invariance: ~a(x) → ~a(x) + ~∇f , where ai = ai + 2π is the canonical conjugate operator of −ei, i.e.[ei(x), ai′ (x

′)] = iδii′δ(x − x′). Here, we’ve chosen the convention that −ei is the canonical conjugate momentum of

ai to match the convention of the ordinary Maxwell theory. We will defer the proof to the example with the “tensorsymmetry” we will discuss. Here we state that by assuming there is a U(1)g 1-form symmetry, the Hamiltonian of thesystem must have a U(1) gauge invariance. Hence a local Hamiltonian of the system will only involve gauge invariant

operators such as ~e and ~b = ~∇ × ~a. Generally, a local Hamiltonian of the system that respects the 1-form U(1)g

symmetry takes the form:

H =∑

x

H[~e(x), ~b(x)] (4)

H[X,Y ] must be a periodic function of Y , because ~b(x) and ~a(x) are both periodically defined at any spatial locationx. This means that a 2π flux has no physical effect if it is only inserted through a single plaquette of the lattice. Theflux only affects physics when it is spread out in space. We do not assume any space-time symmetry in H , hence H

can involve mixture terms such as e(x)ni sin(b(x)j)m +H.c.. H also does not need to be translationally invariant, i.e.

it can have disorder. Here, we mainly focus on the local Hamiltonian of the form Eq. 4. As we will explain later,our analysis on the systems with the general local Hamiltonian Eq. 4 can be extended to Hamiltonians with a certaindegree of non-locality.

Now we are ready to define the dual U(1)gdual symmetry. Since ~b = ~∇ × ~a, it appears that the magnetic charge

density vanishes ~∇ · ~b = 0. But just like the existence of vortices in superfluid, there exists singular defects like

Dirac monopoles which complicate the scenario. We assume that ~∇ · ~b = 0 holds at low energy or long scale, hence∫ A

∂A=∅d~S ·~b = 0 for a large enough closed surface A (unless A has nontrivial winding over the entire space), i.e. there

is a U(1)g ×U(1)gdual 1-form symmetry at long scale. This is similar to the physical picture that the topological defectDirac monopole has a large energy gap, hence positive and negative monopole pairs must be tightly bound at lowenergy. For the ordinary Maxwell theory, the current associated to the U(1)gdual symmetry is given by the second lineof Eq. 3. In the following, we will discuss the general consequence of the U(1)g ×U(1)gdual symmetry described by thegeneral Hamiltonian Eq. 4 of which the ordinary Maxwell theory is only a special case.For a general Hamiltonian given in Eq. 4, using the Heisenberg equation, we can derive the 1-form currents for both

the electric and magnetic 1-form symmetries:

∂ei(x)

∂t= i[H, ei(x)] =

dy i∂H

∂bk(y)ǫji′k∂yj

[ai′(y), ei(x)] = ǫijk∂xj

∂H

∂bk(x),

∂bi(x)

∂t= i[H, bi(x)] =

dy i∂H

∂ek′(y)ǫijk∂xj

[ek′(y), ak(x)] = −ǫijk∂xj

∂H

∂ek(x), (5)

which can be viewed as the generalized 1-form electric and 1-form magnetic current conservation equations. The

charges associated to 1-form electric and 1-form magnetic symmetries are still identified as ~e and ~b. The 1-formsymmetry currents for a general Hamiltonian are

J(e)ij (x) = ǫijk

∂H

∂bk(x), J

(m)ij (x) = −ǫijk

∂H

∂ek(x)(6)

respectively.The U(1)g × U(1)gdual dual 1-form symmetries have the ’t Hooft anomaly. For the ordinary Maxwell theory, this

anomaly can be seen by the form of the 1-form currents Eq. 3: the current of U(1)g symmetry is the charge densityof the U(1)gdual symmetry, and vice versa. This means that the process of generating a current associated to onesymmetry, necessarily violates the conservation of the charge of the other symmetry. Hence there must be a mixedanomaly between these two symmetries. The mixed U(1)g×U(1)gdual anomaly of the ordinary (3+1)d Maxwell theorywas derived in previous literatures such as Ref. 24.In the following, we derive the ’t Hooft anomaly for systems described by the general Hamiltonian Eq. 4, which has

the U(1)g × U(1)gdual 1-form symmetries. To demonstrate the anomaly, we start by gauging the 1-form symmetries,

i.e. by coupling J (e) and J (m) to external gauge fields A(e) and A(m), both of which are rank-2 tensor (2-form) gauge

Page 4: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

4

fields. A(e) and A(m) carry with them the following gauge transformations:

A(e,m)i,0 → A

(e,m)i,0 + ∂tf

(e,m)i ,

A(e,m)ij → A

(e,m)ij + ∂jf

(e,m)i − ∂if

(e,m)j . (7)

These tensor gauge fields are antisymmetric: A(e,m)ij = −A

(e,m)ji .

To explain how the rank-2 tensor gauge fields A(e,m) couple to the system described in Eq. 4, we need to switchto a Lagrangian formalism of the problem. Before turning on the gauge fields A(e,m), the Lagrangian of the systemis given by

L =∑

x

ei(x)δH

δei(x)−H[~e(x), ~b(x)], (8)

where ~e(x) and ~b(x) should be viewed as fields (instead of as operators). In the Legendre transformation, ai(x) =

−δH/δei(x), which allows us to express ~e(x) as a function of ~a(x) and ~b(x), and, further, to write the Lagrangian as

a function of ~a(x) and ~b(x), namely L[~a(x),~b(x)]. Under the electric 2-form gauge transformation (whose action on

A(e) are given in Eq. 7), the degrees of freedom in the Lagrangian L[~a(x),~b(x)] transform as

ai → ai − f(e)i ,

ai → ai − ∂tf(e)i , (9)

bi → bi − ǫijk∂jf(e)k .

When the system is coupled to the background two-form gauge fields A(e,m), it can be described by the Lagrangian

Lg = L

[

ai +A(e)i,0 , bi −

1

2ǫijkA

(e)jk

]

+∑

x

1

(

A(m)ij (x)J

(m)ij (x) +A

(m)i,0 (x)bi(x)

)

= L

[

ai +A(e)i,0 , bi −

1

2ǫijkA

(e)jk

]

+∑

x

1

(

−A(m)ij (x)ǫijk ak(x) +A

(m)i,0 (x)bi(x)

)

(10)

One can easily check that, when A(m) = 0, the Lagrangian Lg is invariant under the electric 2-form gauge transfor-

mations given by Eq. 7 and Eq. 9. The coupling to the magnetic 2-form gauge field A(m) is introduced in Lg in the

form of minimal coupling. Here, we have made use of the general definition of J(m)ij given in Eq. 6 as well as the fact

that ai(x) = −δH/δei(x).It turns out that, when A(m) 6= 0, the Lagrangian Lg is no longer invariant under the electric 2-form gauge

transformation:

Lg → Lg +∑

x

1

(

A(m)ij ǫijk∂tf

(e)k −A

(m)i,0 ǫijk∂jf

(e)k

)

, (11)

which indicates a mixed ’t Hooft anomaly of the U(1)g × U(1)gdual symmetry in the system. In fact, this anomalymatches that of the boundary theory of a (4 + 1)d symmetry-protected topological (SPT) state that has the 1-formU(1)g ×U(1)gdual symmetry and a topological response given by18,24,25

SCS =

dτd4x1

2πA(e) ∧ dA(m) (12)

Hence if the U(1)g×U(1)gdual symmetries are microscopic symmetries, the 3d state described by the Hamiltonian Eq. 4must be a boundary state of a 4d generalized symmetry protected topological (SPT) state with 1-form symmetries.Here, A(e) and A(m) are treated as two-form fields in (4 + 1)d.

Page 5: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

5

B. A prototype SPT state with mixed 0-form and 1-form symmetries

Eq. 12 is a (4 + 1)d topological response theory involving only 1-form symmetries. In general, if there is an extraordinary (0-form) symmetry G in the system, one can also consider the mixed topological response theory betweenthe 0-form symmetry G and the 1-form symmetries. For example, we can consider a (4 + 1)d bulk system which hasa topological response

Stopo = π

dτd4x w2[ASO(3)] ∪

dA(e)

2π. (13)

Here, ASO(3) is the background (1-form) gauge field associate to the 0-form symmetry G = SO(3) and w2 is the secondStiefel-Whitney class.A candidate system with this response theory can be constructed as following: we start with a (4 + 1)d QED with

a microscopic electric U(1)g 1-form symmetry. We will denote the (4 + 1)d bulk dynamical gauge field as aµ. Thereis no microscopic magnetic higher-form symmetry, hence there are defects with their own dynamics analogous to theDirac monopole. The Dirac monopole defect in (4 + 1)d is a one dimensional line/loop. Then we follow the physicalpicture of “decorated defects”26,27, and attach the Dirac monopole line with a one dimensional ordinary SPT phasewith G = SO(3) symmetry, i.e. the Haldane phase, and proliferate the Dirac monopole line. The (4 + 1)d bulk willbe driven into a gapped and confined phase, while the most natural (3 + 1)d boundary state of the system will be aQED whose Dirac monopole carries a spin-1/2 under the 0-form SO(3) symmetry, while there is no electric charge.A theory which describes this boundary state is the 3 + 1d CP1 model:

Sboundary =

dτd3x

2∑

α=1

|(∂ − ia)zα|2 + · · · (14)

where zα represents a spin-1/2 representation of the SO(3) 0-form symmetry carried by the boundary termination ofthe Dirac monopole line in the (4 + 1d) bulk, while aµ is the “dual” gauge field of aµ at the (3 + 1)d boundary whosegauge charge is the Dirac monopole of aµ. As we can see from its topological response Stopo, this (4 + 1)d bulk is anSPT state protected by the electric 1-form U(1) symmetry and the 0-form symmetry G. Its boundary state cannotbe gapped with a unique ground state without breaking the symmetries. One way to understand it is to consider thecompactification of 3 spatial dimensions to a 3-dimensional sphere S3 with a non-trivial flux

S3 dA(e) = 2π. The

effective (1 + 1)d system after the dimensional compactification/reduction has a topological response identical to theSO(3) symmetric Haldane phase in (1 + 1)d which is a (1 + 1)d SPT whose boundary does not admit a unique fullysymmetric ground state.This “decorated monopole line” construction can be generalized to many other SPT states with mixed 1-form and

0-form symmetries. One just need to decorate the Dirac monopole line in the 4d space with a nontrivial 1d bosonicSPT state with ordinary 0-form symmetry.The system with a 0-form SO(3) symmetry and a U(1)g 1-form symmetry can also support other 3d boundary state.

For example, one can condense the bound state of a pair of the Dirac monopoles, which can be a singlet of SO(3)0-form symmetry. Then the system enters a “monopole superconductor”, which is a Z2 topological order with bothpoint and loop excitations. The point excitation is a spin-1/2 of the SO(3) 0-form symmetry (zα in Eq. 14), whilethe loop excitation carries a half charge of the U(1)g 1-form symmetry. This fractionalization of 1-form symmetry isidentical to the simple fact that in an ordinary superconductor, the vortex line carries half magnetic flux quantum.Due to the fractionalization of the 1-form symmetry, the loop excitation must couple to a gauge field, which is preciselythe 2-form gauge field dual to the condensed Dirac monopole pair.This Z2 topological order with fractionalized 1-form symmetry is the 3d analogue of a 2d Z2 topological order whose

mutual semionic anyon excitations (the so called e and m excitations) carry half charge and spin-1/2 representationof 0-form U(1) and SO(3) symmetries respectively. This 2d Z2 topological order is the boundary of a 3d ordinarySPT state26.

C. Excitations of systems with dual 1-form symmetries

Coming back to the U(1)g×U(1)gdual symmetry, the mixed ’t Hooft anomaly of the dual U(1)g×U(1)gdual symmetryimplies that the spectrum of the 3d system cannot be trivially gapped, namely the Hamiltonian H cannot have aunique ground state and gapped spectrum in the thermodynamics limit. We define our system on a three dimensionalcubic lattice which forms torus with size L3, and we assume there is a unique ground state ofH in Eq. 4 denoted by |Ω〉.

Page 6: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

6

Then we will explicitly construct an excited state of the Hamiltonian with vanishing energy in the thermodynamicslimit. We consider the following state |Ψ〉:

|Ψ〉 = Oq|Ω〉, Oq = exp

(

iq∑

x

x2πey(x)

L2

)

, (15)

where Oq is a function of ~e only, and it creates a magnetic flux quantum 2πq with size L2 along the z direction. Oq

shifts ay by ay → ay + 2πx/L2. Hence the gauge invariant Wilson loop Wy = exp(i∫ L

0dyay) still has a periodic

boundary condition after the shift, i.e. Wy(x = 0) = Wy(x = L) for integer q. Notice that since Oq is a function

of ~e, Oq must commute with all the operator of ~e. This operator inserts flux 2πq/L2 on every plaquette in the XYplane. Using the language in Ref. 3, The state |Ψ〉 carries a nontrivial topological charge. But using more recentlydeveloped language, |Ψ〉 carries a different 1-form U(1)gdual symmetry charge compared with the ground state. To be

more precise, this symmetry charge here is referring to∫

dxdy bz (with the integration over the XY-plane).Since we made a powerful assumption that there is an emergent magnetic 1-form symmetry U(1)gdual at long scale,

the assumption of |Ω〉 being the unique ground state implies that it is also an eigenstate of the 1-form U(1)gdual chargesthat commutes with the Hamiltonian. |Ψ〉 must be orthogonal to |Ω〉 when the size of the created soliton is largecompared with the lattice constant, because these two states carry different charges under U(1)gdual. Though |Ψ〉 isnot necessarily the eigenstate of the Hamiltonian, the energy of |Ψ〉 is evaluated as

EΨ = 〈Ψ|H |Ψ〉 = 〈Ω|O†qHOq|Ω〉

=∑

x

〈Ω|H[~e(x), ~b(x) +2πq

L2z]|Ω〉

= EΩ +∑

x

∞∑

m=1

1

m!〈Ω|∂m

bzH[~e(x), ~b(x)]|Ω〉

(

2πq

L2

)m

, (16)

where z is the unit vector along the z direction. We have expanded the energy as a polynomial of 1/L2. For ourpurpose we only need to worry about the leading order expansion of 1/L2, because all the other terms will vanishunder the limit L → ∞.The leading order expansion of EΨ involves the following terms:

x

〈Ω|∂bzH[~e(x), ~b(x)]|Ω〉

2πq

L2. (17)

For a general state this expectation value does not vanish. However, since |Ω〉 is the ground state,

〈Ω|∑

x∂bzH[~e(x), ~b(x)]|Ω〉 must vanish because otherwise one can always choose the sign of q to make the energy of

|Ψ〉 lower than |Ω〉, for large enough L, which violates the assumption that |Ω〉 is the ground state.Let us review our logic here: we do not first take the ordinary Maxwell theory and demonstrate that there is a

1-form symmetry; instead we start with the assumption that there exists one 1-form symmetry U(1)g at long scale,then demonstrated that there must be a gauge invariance as a consequence of the 1-form symmetry. And the gaugeinvariance allows us to define the dual 1-form symmetry U(1)gdual. Then by further assuming U(1)g ×U(1)gdual at longscale, we constructed a state that is orthogonal to the ground state, with energy approaching the ground state in thethermodynamics limit. The construction also does not rely on the semiclassical “spin-wave” expansion used oftenin literature of lattice quantum spin or boson models. Similar “soliton insertion” argument was used in the originalLieb-Shultz-Matthis theorem28, and proof of the Luttinger theorem29.The argument above can go through even with a certain degree of non-locality is present in the Hamiltonian. For

example, if there is a term in the Hamiltonian

H ′ =∑

x,x′

f(|x− x′|)F [~b(x)]F [~b(x′)], (18)

one can show that as long as f(|x|) falls off faster than 1/|x|2 at the long distance, the state |Ψ〉 constructed abovestill has vanishing energy with L → ∞.

III. GENERALIZED SPT STATES AND DIMENSIONAL REDUCTION

Helpful further insights can be gained through compactifying the system to one dimension, regarding the discussionsin the previous section. The mixed ’t Hooft anomaly between the two dual 1-form symmetries reduces to a mixed

Page 7: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

7

anomaly of two ordinary (0-form) U(1) symmetries. The 4d bulk also reduces to a 2d bosonic SPT state with ordinary(0-form) symmetries.We compactify the YZ plane to a 2d torus with a small size. Since the 1d system is along the x direction, a 2d

surface A wrapping around the 1d line could be either in the XY plane, or the XZ plane. In the 3d systems with theU(1)g ×U(1)gdual 1-form symmetry, there is a 1-form charge associated with the compactified XZ plane:

x∈XZ

d2x ey(x) ∼

dx n(x). (19)

Since the system is highly compact in the Y and Z directions, we ignore the modes with finite discrete momentain these directions. In other words, all the fields are constants in these two directions. Then, we can define a 1dparticle density n(x) ∼ ey(x) in this compactified system. After proper normalization, we can also define the canonical

conjugate variable of n(x), i.e. the phase angle operator θ(x) as

x∈XY

d2x bz(x) ∼

dx ∇xθ(x), (20)

θ(x) ∼ ay(x). θ(x) and n(x) obey the standard commutation relation: [θ(x), n(x′)] = −iδx,x′. The 1-form symmetriesdiscussed in previous examples becomes the ordinary global symmetries (0-form symmetries) in 1d.The U(1)gdual charge now becomes the topological soliton number in this 1d system:

NT =1

∫ L

0

dx ∇xθ(x). (21)

The general Hamiltonian we considered in Eq. 4 now becomes a 1d Hamiltonian with an ordinary U(1) symmetry

H =∑

x

H[n(x),∇xθ(x)]. (22)

All the analysis in Sec. II have counterparts in the compactified system. We assume that at long scales both theparticle number

dx n(x) and the topological soliton number NT are conserved, namely there is a U(1) × U(1)dualsymmetry at long scale. We denote the ground state of the Hamiltonian described above as |Ω〉, and then considerthe following state |Ψ〉:

|Ψ〉 = Oq|Ω〉 = exp

(

iq∑

x

2πn(x)

Lx

)

|Ω〉. (23)

The operator Oq is the analogue of the operator Oq in Eq. 15 compactified to 1d. With q = 1, |Ψ〉 contains one extra

soliton NT compared with the ground state |Ω〉: O1 creates one extra winding of θ in the 1d system. Since we’veassumed that the U(1)dual is an emergent symmetry at long scale, |Ψ〉 must be orthogonal to the ground state. Theevaluation of the energy of |Ψ〉 is similar to the discussion in Sec. II. We can show that the energy of |Ψ〉 approachesthat of |Ω〉 as L → ∞.When the system is reduced to 1d, its U(1) × U(1)dual symmetry has an ordinary ’t Hooft anomaly. In fact, the

action of the U(1) × U(1)dual in the reduced 1d system mimics the spin and charge U(1) symmetry actions on theboundary of a 2d quantum spin Hall insulator. It is known that the boundary of the quantum spin Hall insulator withboth charge and spin U(1) symmetries has a mixed perturbative ’t Hooft anomaly. To show this anomaly formally,one can couple the charge U(1) current to a U(1)(e) back ground gauge field A(e), and couple the spin U(1) (or theU(1)dual) current to another background U(1)(m) gauge field A(m). This mixed anomaly is identical to the boundaryof a (2 + 1)d bulk Chern-Simons theory

S =

dτd2x1

2πA(e) ∧ dA(m). (24)

Physically, this anomaly simply means that the current of one U(1) symmetry is the charge density of the other U(1)symmetry, hence a process of creating the current of one U(1) symmetry would necessarily breaks the conservationof the charge of the other U(1) symmetry.There is another pair of dual U(1) symmetries that originate from the 3d dual U(1) 1-form symmetries: the U(1) sym-

metries generated by∫

x∈XY d2x ez(x), and the U(1)dual symmetry associated to the conservation of∫

x∈XZ d2x by(x).

Page 8: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

8

There is also a mixed ’t Hooft anomaly between these two dual U(1) symmetries. Hence one pair of dual 1-form sym-metries in 3d will reduce to two pairs of ordinary dual symmetries in 1d. In general, if we start with N pairs of dualU(1)g ×U(1)gdual 1-form symmetries in 3d, after compactification to 1d there will be 2N pairs of dual U(1)×U(1)dualsymmetries in 1d. The 4d bulk system for the 3d system with a series of 1-form symmetries can have a Chern-Simonsresponse theory

S =

dτd4x1

4πKIJC

I ∧ dCJ , (25)

where CI is a two form gauge field, and KIJ is an antisymmetric matrix. Then after dimensional reduction asdiscussed in this section, the corresponding 2d bulk theory for the 1d system should have a CS response theory

S =

dτd2x1

4πK ′

IJCI ∧ dCJ , K ′ = K ⊗

(

0 −11 0

)

. (26)

In the (2 + 1)d system CI is a 1-form gauge field, and K ′ is a symmetric matrix. Hence the 4d generalized SPTstate can be studied and understood as its 2d counterpart with ordinary symmetries after dimensional reduction.The SO(2) spatial rotation in the YZ plane becomes the rotation in the flavor space of the gauge field CI after thedimensional compactification. The K ′ matrix in the (2+1)d CS response theory is invariant under the SO(2) rotation.

IV. 3D SYSTEM WITH TENSOR SYMMETRIES

Now we consider an example with a generalized tensor 1-form symmetry, whose lattice realization was discussed inRef. 4–6. Connections of this system as well as similar tensor gauge theories7–9 and fracton states were pointed outin recent literature (for instance30–49). In our current note we will still focus on the gapless phase with the tensorsymmetry, instead of the gapped phase. This generalized tensor 1-form symmetry is to certain extent similar to three1-form U(1)g symmetries discussed in the previous section, meaning that with a given closed surface A, there are three

U(1) charge: QaA =

∫ A

∂A=∅d~S · ~ρa =

∫ V

∂V =Ad3x ~∇ · ~ρa. These charges are individual constants. We further demand

that ρia is a symmetric tensor: ρij = ρji. Then ρij can be viewed as the generalized symmetric tensor electric fieldintroduced in Ref. 4–6: E ij , which is subjected to the constraints: ∂iE

ij = ∂jEij = 0.

Now we promote E ij to an operator E ij , whose eigenvalues are again integers. We can define the following operatorG(f i(x)) parameterized by an arbitrary vector function f i(x):

G(f i) = exp

(∫

d3x i2f i∂j Eij

)

= exp

(∫

d3x if i∂j Eij + if j∂iE

ij

)

= exp

(

d3x i(

∂jfi + ∂if

j)

E ij

)

. (27)

Let us denote Aij as the canonical conjugate operator of E ij (Aij is again periodically defined). More precisely, we

impose the commutation relations [E ij(x), Ai′j′(x′)] = i(δii′δjj′ + δij′δji′ )δ(x− x′). The G(f i) operator will generate

a gauge transformation to Aij :

G−1(f i)Aij(x)G(f i) = Aij(x) + 2∂ifj + 2∂jf

i, (28)

However, because of the constraint on E ij , G(f i) is actually an identity operator, which must commute with any

Hamiltonian of E ij and Aij . It means that the Hamiltonian of the system must be invariant under the gaugetransformation Eq. 28. The derivation of gauge invariance in this paragraph applies to other systems with localconstraints, such as systems with generalized gauge transformations9.Then the Hamiltonian must be a function of E ij , and gauge invariant operator Bij = ǫiabǫjcd∂a∂cA

bd. A generallocal Hamiltonian should take the form:

H =∑

x

H[E ij(x), Bij(x)], (29)

and again H is a periodic function of Bij . B is completely dual to E . Besides the more exotic gauge invariance, theseHamiltonians all have an extra center of mass conservation: H is invariant under transformation

Aij → Aij + F ij [x], (30)

Page 9: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

9

where F ij [x] is a linear function of space coordinate. This extra conservation law in the series of tensor models4,6,9

was noticed in Ref. 30.We can define a dual tensor 1-form symmetry U(1)gdual, whose charge corresponds to the generalized tensor magnetic

flux through a surface A: QaA =

dSi · Bia. We assume that the generalized tensor magnetic 1-form charge density

∂iBij = ∂jB

ij = 0 remains zero at low energy, meaning there is an emergent dual tensor symmetry U(1)gdual at longscale. Then again one can insert magnetic flux through the system through (for example) the following operator:

Oq = exp

(

iq∑

x

2πx2

L2Ezz(x)

)

. (31)

This operator is still compatible with the periodic boundary condition, and it will shift Azz by

O−1q AzzOq = Azz(x) +

4πqx2

L2. (32)

If we denote the ground state of the system as |Ω〉, then |Ψ〉 has nonzero extra quantized flux of Byy through any XZplain compared with the ground state, and the extra flux density is Byy ∼ 1/L2. Or we can create the a configurationof Axy(x) as Axy(x) = 2πz2/L2. Then there is a nonzero flux of Bxy, again with flux density ∼ 1/L2.Again we will demonstrate that the ground state of the system cannot be trivially gapped, if we assume the emergent

U(1)g ×U(1)gdual symmetry at long scale. Suppose there is a unique ground state |Ω〉 of the system, then |Ψ〉 = Oq|Ω〉must be orthogonal to |Ω〉 for large enough L, because |Ω〉 must be an eigenstate of the tensor 1-form charge, and |Ψ〉carries different tensor 1-form charge from |Ω〉. And by going through the same argument as the previous section,we can demonstrate that when L → ∞, the energy of |Ψ〉 must also approach the energy of |Ω〉. This statement stillholds with disorder, and also when there is a long range interaction that falls off more rapidly than 1/|x|2.We have argued again that an emergent U(1)g ×U(1)gdual tensor symmetry rules out a trivial gapped ground state.

This result can be equivalently stated as that the U(1)g×U(1)gdual tensor symmetry is anomalous. Again, the equationof motion of E ij and Bij can be viewed as the continuity equation of the currents of the tensor symmetries. For thesimplest semiclassical limit of the theory4,6, the Hamiltonian of the system is approximately

H ∼1

4

x

ij

[

(

E ij(x))2

+(

Bij(x))2]

, (33)

then the equation of motion reads

∂E ij

∂t− ∂a

(

ǫiab∂cǫjcdBbd)

= 0,

∂Bij

∂t− ∂a

(

ǫiab∂cǫjcdEbd)

= 0. (34)

This means that the currents of the tensor symmetries are:

J (e) = (ρ(e)ij , J

(e)ij,k) =

(

E ij ,1

2ǫikbǫjcd∂cB

bd + i ↔ j

)

,

J (m) = (ρ(m)ij , J

(m)ij,k ) =

(

Bij,1

2ǫikbǫjcd∂cE

bd + i ↔ j

)

. (35)

Again in a process that creating a nonzero current of one of the U(1) tensor symmetries, the charge conservation of theother U(1) tensor symmetry must be violated, hence there is a ’t Hooft anomaly of the two U(1) tensor symmetries.Formally we can still discuss the anomalies in a Lagrangian formalism. The Lagrangian is given by

L[Aij ,Bij ] =1

4

x

ij

[

(

Aij(x))2

−(

Bij(x))2]

, (36)

where Aij ≡ δH/δE ij = E ij is introduced through the Legendre transformation L =(

x

ij Eij δH

δEij

)

− H . The

electric U(1)g tensor symmetry is defined by the symmetry transformation

Aij → Aij + Λ(e)ij , (37)

Page 10: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

10

where Λ(e)ij is a constant symmetric tensor, namely Λ

(e)ij = Λ

(e)ji . In the following, we will use the terms U(1)g tensor

symmetry and electric tensor symmetry interchangeably. We can gauge the electric tensor symmetry by promoting

Λ(e)ij to a space-time function, and introducing the electric tensor gauge fields G

(e)ij,0 and G

(e)ij,k which are symmetric

under the exchange of the first two indices, namely G(e)ij,0 = G

(e)ji,0 and G

(e)ij,k = G

(e)ji,k. Under the electric tensor gauge

transformation, we have

Aij → Aij + Λ(e)ij

Aij → Aij + ∂tΛ(e)ij

Bij → Bij + ǫiabǫjcd∂a∂cΛ(e)bd (38)

G(e)ij,0 → G

(e)ij,0 + ∂tΛ

(e)ij

G(e)ij,k → G

(e)ij,k + ∂kΛ

(e)ij ,

When the electric tensor background gauge field is turned on, the system is described by the Lagrangian

L

[

Aij −G(e)ij,0,B

ij −1

2(ǫiabǫjcd + ǫicbǫjad) ∂aG

(e)bd,c

]

= L[Aij ,Bij]−∑

ijk

x

(

G(e)ij,0ρ

(e)ij +G

(e)ij,kJ

(e)ij,k

)

+ ..., (39)

which is explicitly gauge invariant under the gauge transformation given by Eq. 38. The “...” part contains higherorder terms in Aij and Bij. As a sanity check, we notice that the Lagrangian above effectively introduces the minimal

coupling between the electric tensor gauge fields(

G(e)ij,0, G

(e)ij,k

)

and the current J (e) introduced in Eq. 35.

Similarly, we can introduce the magnetic tensor gauge fields G(m)ij,0 and G

(m)ij,k which are also symmetric under the

exchange of the first two indices, namely G(m)ij,0 = G

(m)ji,0 and G

(m)ij,k = G

(m)ji,k . The magnetic tensor gauge fields are

associated to the emergent U(1)gdual symmetry. They transform under the magnetic tensor gauge transformation as

G(m)ij,0 → G

(m)ij,0 + ∂tΛ

(m)ij ,

G(m)ij,k → G

(m)ij,k + ∂kΛ

(m)ij . (40)

We can introduce the minimal coupling between the magnetic tensor gauge fields and the current J (m) introduced inEq. 35, which yields

Lg = L

[

Aij −G(e)ij,0, Bij −

1

2(ǫiabǫjcd + ǫicbǫjad) ∂aG

(e)bd,c

]

−∑

ijk

x

(

G(m)ij,0ρ

(m)ij +G

(m)ij,kJ

(m)ij,k

)

= L

[

Aij −G(e)ij,0, Bij −

1

2(ǫiabǫjcd + ǫicbǫjad) ∂aG

(e)bd,c

]

−∑

ijk

x

(

G(m)ij,0B

ij +1

2G

(m)ij,k (ǫikbǫjcd + ǫjkbǫicd) ∂cA

bd

)

. (41)

When the magnetic tensor gauge field(

G(m)ij,0 , G

(m)ij,k

)

is turned on, the Lagrangian Lg is no longer invariant under the

electric tensor gauge transformation Eq. 38:

Lg → Lg−∑

ijk

x

(

G(m)ij,0 ǫiabǫjcd∂a∂cΛ

(e)bd

+1

2G

(m)ij,k (ǫikbǫjcd + ǫjkbǫicd) ∂c∂tΛ

(e)bd

)

. (42)

The fact that Lg is no longer gauge invariant once the magnetic tensor gauge field(

G(m)ij,0 , G

(m)ij,k

)

is turned on indicates

an anomaly of the emergent U(1)g ×U(1)gdual tensor symmetry.

Page 11: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

11

The 3d system with tensor symmetry can also be compactified to 1d. After compactification, one can still defineseveral ordinary 1d global U(1) symmetries. One of the U(1) symmetries has the following charge:

x∈XY

d2x Ezz(x) ∼

dx n(x). (43)

The conjugate variable of n(x), i.e. the phase angle θ(x) is defined as∫

x∈XZ

d2x Byy(x) ∼

dx ∇2xθ(x), (44)

and θ(x) ∼ Azz(x). The 3d Hamiltonian then reduces to a 1d Lifshitz theory: H =∑

xH[n(x), ∇2xθ(x)].

The 1d Hamiltonian H also inherits the center of mass conservation Eq. 30, which in 1d becomes θ → θ + Bx

with constant B. This center of mass conservation prohibits terms like cos(∇xθ) after compactification. Hence aftercompactification, the 2d bulk of the system should be an exotic SPT state with a special center of mass conservation,whose nature deserves further studies.

V. DISCUSSION

In this note we explored the results of the assumption of dual generalized symmetries. We discussed the implicationof the dual symmetries on low energy excitations, ’t Hooft anomaly, their bulk description, and corresponding stateafter dimensional compactification.Further studies can be pursued following the questions raised in this work. We have shown that, for N pairs of

dual 1-form symmetries in 3d, there will be 2N pairs of dual 0-form symmetries after compactification to 1d. If webreak the dual 1-form symmetries to certain combination of these two 1-form symmetries, a bound state of electricand magnetic charges (a dyon) is allowed and has its own dynamics. The 3d system can be driven to a gappedphase by condensing these dyons, and the gapped 3d system may have a topological order which depends on thecondensed object. There should be a systematic formalism describing the relation between the gapped 3d systemsand the corresponding gapped 1d systems after dimensional compactification. The problem is further enriched if thereis topological Θ−term in the 3d system50,51.

The 1d system after compactification is described by ordinary boson operators n and θ, and these bosons donot fractionalize. Hence it is sufficient to view the 1d system as the boundary of a 2d SPT state, instead of a 2dtopological order with fractionalization. Hence the 4d bulk of the 3d system is also a generalized SPT state with1-form symmetries, rather than a topological order. But a 3d system with fractionalized 1-form symmetries would bean interesting direction to explore in the future, which likely reduces to the 1d boundary of a topological order in 2d.Besides the higher-form symmetries and tensor like symmetries, many other generalized concepts of symmetries

have been discussed in the past (for early examples please see Ref. 52–55). Much of the topics discussed in this paper,such as the SPT states and anomalies involving these generalized symmetries are also interesting future directions.This work is supported by NSF Grant No. DMR-1920434, the David and Lucile Packard Foundation, and the

Simons Foundation.

1 X.-G. Wen, Phys. Rev. B 68, 115413 (2003), URL https://link.aps.org/doi/10.1103/PhysRevB.68.115413.2 R. Moessner and S. L. Sondhi, Phys. Rev. B 68, 184512 (2003), URL https://link.aps.org/doi/10.1103/PhysRevB.68.184512 .3 M. Hermele, M. P. A. Fisher, and L. Balents, Phys. Rev. B 69, 064404 (2004), URLhttps://link.aps.org/doi/10.1103/PhysRevB.69.064404.

4 C. Xu, Novel algebraic boson liquid phase with soft graviton excitations (2006), cond-mat/0602443.5 Z.-C. Gu and X.-G. Wen, A lattice bosonic model as a quantum theory of gravity (2006), gr-qc/0606100.6 C. Xu, Physical Review B 74 (2006), ISSN 1550-235X, URL http://dx.doi.org/10.1103/PhysRevB.74.224433.7 C. Xu and C. Wu, Physical Review B 77 (2008), ISSN 1550-235X, URL http://dx.doi.org/10.1103/PhysRevB.77.134449.8 C. Xu and P. Ho?ava, Physical Review D 81 (2010), ISSN 1550-2368, URLhttp://dx.doi.org/10.1103/PhysRevD.81.104033.

9 A. Rasmussen, Y.-Z. You, and C. Xu, Stable gapless bose liquid phases without any symmetry (2016), 1601.08235.10 C. Castelnovo, R. Moessner, and S. L. Sondhi, Nature 451, 42C45 (2008), ISSN 1476-4687, URL

http://dx.doi.org/10.1038/nature06433 .11 D. S. Rokhsar and S. A. Kivelson, Phys. Rev. Lett. 61, 2376 (1988), URL

https://link.aps.org/doi/10.1103/PhysRevLett.61.2376.

Page 12: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

12

12 E. Fradkin, D. A. Huse, R. Moessner, V. Oganesyan, and S. L. Sondhi, Physical Review B 69 (2004), ISSN 1550-235X, URLhttp://dx.doi.org/10.1103/PhysRevB.69.224415.

13 O. Aharony, N. Seiberg, and Y. Tachikawa, Journal of High Energy Physics 2013 (2013), ISSN 1029-8479, URLhttp://dx.doi.org/10.1007/JHEP08(2013)115 .

14 S. Gukov and A. Kapustin, Topological quantum field theory, nonlocal operators, and gapped phases of gauge theories (2013),1307.4793.

15 A. Kapustin and R. Thorngren, Topological field theory on a lattice, discrete theta-angles and confinement (2013), 1308.2926.16 A. Kapustin and R. Thorngren, Higher symmetry and gapped phases of gauge theories (2013), 1309.4721.17 A. Kapustin and N. Seiberg, Journal of High Energy Physics 2014 (2014), ISSN 1029-8479, URL

http://dx.doi.org/10.1007/JHEP04(2014)001 .18 D. Gaiotto, A. Kapustin, N. Seiberg, and B. Willett, Journal of High Energy Physics 2015 (2015), ISSN 1029-8479, URL

http://dx.doi.org/10.1007/JHEP02(2015)172 .19 P.-S. Hsin, H. T. Lam, and N. Seiberg, SciPost Physics 6 (2019), ISSN 2542-4653, URL

http://dx.doi.org/10.21468/SciPostPhys.6.3.039 .20 N. Seiberg, SciPost Physics 8 (2020), ISSN 2542-4653, URL http://dx.doi.org/10.21468/SciPostPhys.8.4.050.21 D. Gaiotto, A. Kapustin, Z. Komargodski, and N. Seiberg, Journal of High Energy Physics 2017 (2017), ISSN 1029-8479,

URL http://dx.doi.org/10.1007/JHEP05(2017)091.22 W. Ji and X.-G. Wen, Categorical symmetry and non-invertible anomaly in symmetry-breaking and topological phase tran-

sitions (2019), 1912.13492.23 E. FRADKIN and S. KIVELSON, Modern Physics Letters B 04, 225 (1990), https://doi.org/10.1142/S0217984990000295,

URL https://doi.org/10.1142/S0217984990000295.24 C. Cordova, T. T. Dumitrescu, and K. Intriligator, Journal of High Energy Physics 2019, 184 (2019), 1802.04790.25 S. M. Kravec and J. McGreevy, Physical Review Letters 111 (2013), ISSN 1079-7114, URL

http://dx.doi.org/10.1103/PhysRevLett.111.161603.26 A. Vishwanath and T. Senthil, Phys. Rev. X 3, 011016 (2013).27 X. Chen, Y.-M. Lu, and A. Vishwanath, Nature Communications 5, 3507 (2014).28 E. Lieb, T. Schultz, and D. Mattis, Annals of Physics 16, 407 (1961), ISSN 0003-4916, URL

http://www.sciencedirect.com/science/article/pii/0003491661901154.29 M. Oshikawa, Phys. Rev. Lett. 84, 3370 (2000), URL https://link.aps.org/doi/10.1103/PhysRevLett.84.3370 .30 M. Pretko, Physical Review B 95 (2017), ISSN 2469-9969, URL http://dx.doi.org/10.1103/PhysRevB.95.115139 .31 M. Pretko, Physical Review B 96 (2017), ISSN 2469-9969, URL http://dx.doi.org/10.1103/PhysRevB.96.035119 .32 K. Slagle and Y. B. Kim, Physical Review B 96 (2017), ISSN 2469-9969, URL

http://dx.doi.org/10.1103/PhysRevB.96.165106.33 K. Slagle and Y. B. Kim, Physical Review B 96 (2017), ISSN 2469-9969, URL

http://dx.doi.org/10.1103/PhysRevB.96.195139.34 D. Bulmash and M. Barkeshli, Physical Review B 97 (2018), ISSN 2469-9969, URL

http://dx.doi.org/10.1103/PhysRevB.97.235112.35 S. Pai and M. Pretko, Physical Review B 97 (2018), ISSN 2469-9969, URL

http://dx.doi.org/10.1103/PhysRevB.97.235102.36 J. Wang, K. Xu, and S.-T. Yau, Higher-rank non-abelian tensor field theory: Higher-moment or subdimensional polynomial

global symmetry, algebraic variety, noether’s theorem, and gauge (2019), 1911.01804.37 J. Wang and S.-T. Yau, Non-abelian gauged fractonic matter field theory: New sigma models, superfluids and vortices (2019),

1912.13485.38 L. Radzihovsky and M. Hermele, Physical Review Letters 124 (2020), ISSN 1079-7114, URL

http://dx.doi.org/10.1103/PhysRevLett.124.050402.39 M. Pretko, X. Chen, and Y. You, International Journal of Modern Physics A 35, 2030003 (2020),

https://doi.org/10.1142/S0217751X20300033, URL https://doi.org/10.1142/S0217751X20300033.40 V. B. Shenoy and R. Moessner, Physical Review B 101 (2020), ISSN 2469-9969, URL

http://dx.doi.org/10.1103/PhysRevB.101.085106.41 N. Seiberg and S.-H. Shao, Exotic symmetries, duality, and fractons in 2+1-dimensional quantum field theory (2020),

2003.10466.42 N. Seiberg and S.-H. Shao, Exotic u(1) symmetries, duality, and fractons in 3+1-dimensional quantum field theory (2020),

2004.00015.43 N. Seiberg and S.-H. Shao, Exotic u(1) symmetries, duality, and fractons in 3+1-dimensional quantum field theory (2020),

2004.00015.44 W. B. Fontana, P. R. S. Gomes, and C. Chamon, Lattice clifford fractons and their chern-simons-like theory (2020),

2006.10071.45 D. X. Nguyen, A. Gromov, and S. Moroz, Fracton-elasticity duality of two-dimensional superfluid vortex crystals: defect

interactions and quantum melting (2020), 2005.12317.46 A. Gromov, Phys. Rev. X 9, 031035 (2019), URL https://link.aps.org/doi/10.1103/PhysRevX.9.031035.47 A. Gromov, A. Lucas, and R. M. Nandkishore, Fracton hydrodynamics (2020), 2003.09429.48 A. Gromov and P. Surwka, SciPost Phys. 8, 65 (2020), URL https://scipost.org/10.21468/SciPostPhys.8.4.065 .49 A. Gromov, Phys. Rev. Lett. 122, 076403 (2019), URL https://link.aps.org/doi/10.1103/PhysRevLett.122.076403 .50 J. L. Cardy and E. Rabinovici, Nuclear Physics B 205, 1 (1982), ISSN 0550-3213, volume B205 [FS5] No. 2 to follow in

Page 13: d N arXiv:2007.05002v1 [cond-mat.str-el] 9 Jul 2020field theory is derived from this procedure (for example the Maxwell theory), then it is expected that this field theory captures

13

approximately one month, URL http://www.sciencedirect.com/science/article/pii/0550321382904631 .51 J. L. Cardy, Nuclear Physics B 205, 17 (1982), ISSN 0550-3213, volume B205 [FS5] No. 2 to follow in approximately one

month, URL http://www.sciencedirect.com/science/article/pii/0550321382904643.52 A. Paramekanti, L. Balents, and M. P. A. Fisher, Physical Review B 66 (2002), ISSN 1095-3795, URL

http://dx.doi.org/10.1103/PhysRevB.66.054526.53 C. D. Batista and Z. Nussinov, Phys. Rev. B 72, 045137 (2005), URL https://link.aps.org/doi/10.1103/PhysRevB.72.045137.54 C. Xu and M. P. A. Fisher, Physical Review B 75 (2007), ISSN 1550-235X, URL

http://dx.doi.org/10.1103/PhysRevB.75.104428.55 Z. Nussinov and G. Ortiz, Proceedings of the National Academy of Sciences 106, 16944 (2009), ISSN 0027-8424,

https://www.pnas.org/content/106/40/16944.full.pdf, URL https://www.pnas.org/content/106/40/16944.