SciPost Submission Page
Mean string field theory: LandauGinzburg theory for 1form symmetries
by Nabil Iqbal, John McGreevy
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Nabil Iqbal 
Submission information  

Preprint Link:  scipost_202209_00052v1 (pdf) 
Date accepted:  20220928 
Date submitted:  20220924 10:41 
Submitted by:  Iqbal, Nabil 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
By analogy with the LandauGinzburg theory of ordinary zeroform symmetries, we introduce and develop a LandauGinzburg theory of oneform global symmetries, which we call mean string field theory. The basic dynamical variable is a string field  defined on the space of closed loops  that can be used to describe the creation, annihilation, and condensation of effective strings. Like its zeroform cousin, the mean string field theory provides a useful picture of the phase diagram of broken and unbroken phases. We provide a transparent derivation of the area law for charged line operators in the unbroken phase and describe the dynamics of gapless Goldstone modes in the broken phase. The framework also provides a theory of topological defects of the broken phase and a description of the phase transition that should be valid above an upper critical dimension, which we discuss. We also discuss general consequences of emergent oneform symmetries at zero and finite temperature.
Published as SciPost Phys. 13, 114 (2022)
Author comments upon resubmission
//
So, regarding this derivative operator, is it clear that the definition they use is the correct/physical/best/unique/… one? While the authors have an extensive discussion of the derivative, the answers to these questions are still not obvious to me. //
To the best of our knowledge, any other derivative cannot be made gaugecovariant with respect to an external 2form source. This is an important physical point, and we have now further emphasized it below Eq (2.20) with the words:
“Note that the area derivative is precisely the correct object for this construction, and indeed this is why the formalism requires the area derivative rather than a more conventional functional derivative with respect to the coordinates of the curve $X(\lambda)$”
(as well as a footnote providing some more background).
//
Is it clear that one can neglect higher derivative terms? Is there some reason that they are suppressed in the IR in a similar way to normal derivative terms in standard EFTs?
//
So the usual derivative expansion about a free field theory is basically just dimensional analysis. (Subtleties that arise when there are marginal terms or when one tries to expand about a stronglycoupled fixed point can be ignored here.) Dimensional analysis also applies here, so we can attempt to apply the same reasoning, and thus the answer to both questions of the referee is expected to be “Yes”. We have made this somewhat more explicit in the words following Eq (7.4), which now read:
“(Compare with [φ] = d−2 for field theory; the difference arises from the dimension of the area derivative, which is 2). We can now attempt to use dimensional analysis to suppress higher derivative terms as usual in conventional field theory”.
(As mentioned in the text, however, it is somewhat difficult to apply the reasoning to topologychanging terms).
//
One other question: above eq. (2.9), what does it mean that the upper critical dimension for U(1) is 4? Why is it related to the group choice and what is it for other groups? It also seems that there is a word (maybe “for”) missing in “(which the U(1) case above is 4)”
//
We thank the referee for pointing out the typo, which we have now fixed. We define (as usual) the upper critical dimension for the theory to be the dimension where the leading interaction coupling becomes marginal. We specify the group $U(1)$ simply because that's the case that has a U(1) 1form symmetry, which is the example we focus on. With other choices of gauge group, the 1form symmetry will be different and the mean string field theory must be modified accordingly; in particular the leading interaction and the corresponding upper critical dimension for the theory might change.
//
Finally, would it be useful to describe in greater detail why one cannot write down a mean field theory for open strings? Surely, some condensed matter system can be made of open dynamical topological defects.
//
Here we should reemphasize that our starting point is not a theory of strings, but a theory of linearlyrealized 1form symmetry. The fact that this involves (closed) strings is an output of the analysis; we have made this more explicit below Eq (2.10), where we state
“Note that the curves C must be closed loops for invariance under the 1form symmetry, and thus our framework only involves closed strings.”
We are not aware of a clean symmetry principle that would produce a theory of open strings; in some examples they appear to arise when a 1form symmetry is explicitly broken at some high scale which determines the worldline tension of the “edge” of a string; if this scale can be parametrically separated from the string tension the system may admit a useful description in terms of open strings. It would be very interesting to try and use our framework to study such a system, but it it outside the scope of the current work.
List of changes
See above.