SciPost Submission Page
A symmetry principle for gauge theories with fractons
by Yuji Hirono, Minyoung You, Stephen Angus, Gil Young Cho
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Yuji Hirono 
Submission information  

Preprint Link:  https://arxiv.org/abs/2207.00854v2 (pdf) 
Date submitted:  20220726 11:33 
Submitted by:  Hirono, Yuji 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
Fractonic phases are new phases of matter that host excitations with restricted mobility. We show that a certain class of gapless fractonic phases are realized as a result of spontaneous breaking of continuous higherform symmetries whose conserved charges do not commute with spatial translations. We refer to such symmetries as nonuniform higherform symmetries. These symmetries fall within the standard definition of higherform symmetries in quantum field theory, and the corresponding symmetry generators are topological. Worldlines of particles are regarded as the charged objects of 1form symmetries, and mobility restrictions can be implemented by introducing additional 1form symmetries whose generators do not commute with spatial translations. These features are realized by effective field theories associated with spontaneously broken nonuniform 1form symmetries. At low energies, the theories reduce to known higherrank gauge theories such as scalar/vector charge gauge theories, and the gapless excitations in these theories are interpreted as NambuGoldstone modes for higherform symmetries. Due to the nonuniformity of the symmetry, some of the modes acquire a gap, which is the higherform analogue of the inverse Higgs mechanism of spacetime symmetries. The gauge theories have emergent nonuniform magnetic symmetries, and some of the magnetic monopoles become fractonic. We identify the 't~Hooft anomalies of the nonuniform higherform symmetries and the corresponding bulk symmetryprotected topological phases. By this method, the mobility restrictions are fully determined by the choice of the commutation relations of charges with translations. This approach allows us to view existing (gapless) fracton models such as the scalar/vector charge gauge theories and their variants from a unified perspective and enables us to engineer theories with desired mobility restrictions.
Current status:
Reports on this Submission
Report #2 by Anonymous (Referee 2) on 2022926 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2207.00854v2, delivered 20220926, doi: 10.21468/SciPost.Report.5774
Strengths
1. The work provides a systematic treatment of gauge theories for nonuniform symmetries (e.g. dipole symmetries,) and their extended operators as worldlines for particles with restricted mobility.
2. The detailed discussion of the gapless fractons as a result of the spontaneous symmetry breaking of the nonuniform higher form symmetries is very illuminating .
Report
Overall the paper is well written, presents a new comprehensive and unifying treatment of nonuniform gauge theories, and meets all the criteria for publication.
I do however have several comments detailed bellow which I think the authors should address before publication.
Requested changes
1. The use of the same symbol $Q$ to denote both the charge of the original global symmetry and the 1form symmetry resulting from gauging is very confusing. Not only are these genuinely different symmetries in different theories that act on different operators, but they may even have different symmetry groups. I highly recommend distinguishing between the two charges in some way, perhaps by calling the electric 1form symmetry charges $Q^e$, similar to how the magnetic 1form symmetry charges are denoted by $Q^m$.
2. The discussion regarding the normalization of the dipole gauge field (on page 10) seems overly simplistic, and it is not clear to me that the normalization condition of $a$ is independent of the dipole gauge transformations. While the given computation showing why this is the case for the sphere is accurate (eq. 48), it seems like the same argument would fail on a torus that wraps around a nontrivial cycle (as $\int_{S_1} n_i dx^i \neq 0$ for the nontrivial cycle.) In general one would expect that the dipole symmetry could not be $U(1)$ just from the dipole transformations, and this squares with recent discussions of the various continuum limits of a dipole symmetry in [2201.10589]. It would be useful if the authors clarified why they can take the dipole symmetry to be $U(1)$ rather than $\mathbb{R}$.
3. The authors don't discuss these gauge theories in the presence of charged matter apart from the Higgs phase. In particular the coupling of dipole invariant matter to tensor gauge fields was systematically constructed in [1807.11479], but it is not clear how the additional gauge fields of the nonuniform dipole gauge theory fit into this construction, or if there is a universal gauge principle for coupling these gauge theories to charged matter. I think it would be useful to discuss how to gauge the dipole symmetry of simple dipole invariant scalar theories in the spirit of [1807.11479], and present the resulting theory of matter coupled to the complete dipole gauge theory.
4. On page 6 the authors state that "$q_z$ has nonvanishing commutation relations with translations," which directly contradicts equation (20). I think the statement they are trying to make is that $q_z$ is the commutator of a different conserved charge with translations, which results in particles charged under $q_z$ to be immobile in certain directions. Similar imprecise statements appear in the vector charge gauge theory section.
5. The authors discuss t' Hooft anomalies of the 1form symmetries. However there is also a possibility of t' Hooft (or mixed) anomalies between the 0form symmetries that obstructs the gauging of the nonuniform symmetry in the first place, which the authors do not discuss at all. It would be interesting if the authors had anything to say about the possibility of such anomalies appearing, and what their consequences may be.
Report #1 by Anonymous (Referee 1) on 2022926 (Invited Report)
 Cite as: Anonymous, Report on arXiv:2207.00854v2, delivered 20220926, doi: 10.21468/SciPost.Report.5773
Strengths
Interesting application of higher form symmetries to gapless fractonic theories
Weaknesses
Some technical aspects are not sufficiently spelled out, or unclear
Report
The authors consider higherform symmetries that do not commute with translations, which they dub as ''nonuniform higherform symmetries''. More concretely, they start with nonuniform 0form symmetries and their 1form conserved currents, which have an explicit dependence on the coordinates. Then they introduce a set of Abelian gauge fields coupled to the currents and postulate gauge transformations that are consistent with the conservation equations of the currents. Promoting the gauge fields to be dynamical, they construct an invariant action for them using the field strengths and derive the equations of motion and Bianchi identities. Using this last set of equations they identify electric and magnetic 1form symmetries acting on Wilson or 't Hooft line operators. They identify the gapless modes of the dynamical gauge fields as the NambuGoldstone bosons of the spontaneously broken 1form symmetries, analogously to electromagnetism.
From the invariance of Wilson (and 't Hooft) lines under (magnetic dual) gauge transformations they deduce the mobility constraints on (magnetically) charged particles, which agree with those proposed before for fractons in theories with nonuniform symmetries. They also derive 't Hooft anomalies of 1form symmetries by introducing external gauge fields in the partition function.
They study in detail cases with a scalar and dipole Abelian charges and with vector charges in 3+1 dimensions, and introduce generalizations to theories containing higher multipole charges and in other dimensions. They connect with other descriptions of gapless fractonic phases based on higherrank tensor fields in a low energy limit, and associate the necessary reduction in the number of degrees of freedom to an inverse Higgs mechanism originating in the explicit coordinate dependence of the charges.
The paper introduces an interesting point of view on the description of gapless phases with fractons, in particular in the identification of 1form symmetries and magnetic charges. There are however some technical aspects that would benefit from some clarification before the paper is considered for publication.
Requested changes
1) I do not understand the first equality in (8). Suppose the space is $\mathbb{R}_t\times M^3$, and $j$ is a oneform. Denoting with $i$ the $M^3$ directions, and taking $\sqrt{g_3}$ the square root of the metric determinant, then, naively,
$$
\int_{M^3} {\cal L}_{e^\mu} (\star j)=\int_{M^3}d^3x {\cal L}_{e^\mu} (\sqrt{g_3}j^t)=\int_{M^3}d^3x \left(e^\mu \partial_\mu (\sqrt{g_3}j^t)\nabla_\alpha e^\mu (\sqrt{g_3}j^\alpha)\right)
$$
If $e^\mu=\delta_i^\mu$ in general $\nabla_\alpha e^\mu=\delta_i^\mu \Gamma_{\alpha i}^i \neq 0$ if $M^3$ is curved. I have a similar issue with the equality in (111).
2) This is maybe a typo, in (56) one is taking variations with respecto to $da$ and $dA$, but the formulas suggests the variations are respect to $a$ and $A$.
3) I'm not sure I agree with the comment below (50) relative to changing coefficients of time and space derivatives, it is not clear how one would maintain gauge invariance, at least with all the formulas that are provided in the language of differential forms.
4) I'm not sure about the conditions in (60) and (179) and how are they derived from the equations of motion (52)(55) and (175)(178), for instance, imposing $f=0$ in (54) does not give an additional constraint? Same for (177) when $f_i=0$.
5) Can the authors show that the equations of motion obtained from the Lagrangians (67) and (194) coincide with the equations (52)(55) and (175)(178)? Given the gauge fixings and change of variables involved it is not immediately obvious.
Author: Yuji Hirono on 20231128 [id 4154]
(in reply to Report 1 on 20220926)Please find our response to the comments in the attached file.
Author: Yuji Hirono on 20231128 [id 4155]
(in reply to Report 2 on 20220926)Please find our response to the comments in the attached file.
Attachment:
response2.pdf