Skip to content

Large-Charge EFT and Fixed-Charge CFT Data

Fixing a large global charge can make a sector of an otherwise strongly coupled CFT semiclassical. On the cylinder, a large charge density introduces a scale much greater than the inverse sphere radius, and the lowest state is often a homogeneous superfluid described by a compact Goldstone field. The resulting EFT predicts the charge dependence of the lowest scaling dimension and low-lying excitations, but only within the chosen charge sector and symmetry-breaking phase.

Required background. The cylinder map and Hamiltonian supplies Δ=ER\Delta=ER. Power counting and predictive order supplies the derivative expansion. Helpful background. Effective field theory as a controlled expansion gives the general validity tests, and controlled interacting families compares this sectoral limit with whole-theory expansions.

Let a CFT in d>2d>2 have a compact U(1)U(1) symmetry with the smallest declared charge equal to one. The Goldstone variable is then periodic, χχ+2π\chi\sim\chi+2\pi, and QZQ\in\mathbb Z. Quantizing on

Rt×SRd1,vol(SRd1)=Ωd1Rd1,\mathbb R_t\times S_R^{d-1}, \qquad \operatorname{vol}(S_R^{d-1})=\Omega_{d-1}R^{d-1},

maps the lowest primary of charge QQ to the lowest-energy state in that sector, Δ(Q)=REQ\Delta(Q)=R E_Q. A fixed-charge path integral can be defined by projecting a twisted partition function,

ZQ=02πdθ2πeiQθZ(θ).Z_Q=\int_0^{2\pi}\frac{d\theta}{2\pi}\, e^{-iQ\theta}Z(\theta).

This Fourier integral treats the compact zero mode rather than integrating it as an unconstrained Gaussian. In a saddle description, the conjugate chemical potential is determined by QQ; it is not an independent observable.

Assume the lowest state at large positive QQ is homogeneous and breaks the U(1)U(1) symmetry with no additional gapless fields. Using the inherited Lorentzian metric convention, define

X=μχμχ,X=\sqrt{\partial_\mu\chi\,\partial^\mu\chi},

on configurations with a timelike phase gradient. Weyl invariance and the shift symmetry give the leading local terms

LEFT=c1Xd+c2RXd2+higher derivatives,\mathcal L_{\mathrm{EFT}} =c_1X^d+c_2\mathcal R X^{d-2}+\text{higher derivatives},

where R=(d1)(d2)/R2\mathcal R=(d-1)(d-2)/R^2 on the sphere. The coefficients c1,c2c_1,c_2 depend on the CFT and on the charge normalization; stability requires c1>0c_1>0 for the homogeneous branch.

For χ=μt\chi=\mu t, the leading charge and energy densities are

ρ=dc1μd1,E=(d1)c1μd.\rho=d c_1\mu^{d-1}, \qquad \mathcal E=(d-1)c_1\mu^d.

Consequently,

Q=dc1Ωd1Rd1μd1Q=d c_1\Omega_{d-1}R^{d-1}\mu^{d-1}

and

Δ(Q)=αdQd/(d1)+βdQ(d2)/(d1)+,\Delta(Q)=\alpha_d Q^{d/(d-1)} +\beta_d Q^{(d-2)/(d-1)}+\cdots,

with the leading normalization

αd=d1dd/(d1)(c1Ωd1)1/(d1).\alpha_d= \frac{d-1}{d^{d/(d-1)}} \bigl(c_1\Omega_{d-1}\bigr)^{-1/(d-1)}.

βd\beta_d receives the curvature contribution proportional to c2c_2 and therefore is not universal across CFTs. The powers of QQ are fixed by the EFT. Since μRQ1/(d1)\mu R\sim Q^{1/(d-1)}, each additional pair of derivatives is suppressed by Q2/(d1)Q^{-2/(d-1)} on the homogeneous background.

Write χ=μt+π\chi=\mu t+\pi. Expanding c1Xdc_1X^d to quadratic order and canonically normalizing π\pi gives a relativistic Goldstone with

ω2=cs2(+d2)R2,cs2=1d1,\omega^2=c_s^2\frac{\ell(\ell+d-2)}{R^2}, \qquad c_s^2=\frac1{d-1},

for sphere harmonic number \ell. The =0\ell=0 phase mode is tied to changing the total charge and is absent from the oscillator spectrum at exactly fixed QQ. The first nonzero modes and their loop vacuum energy generate universal subleading information once the field content and regularization are fixed.

In d=3d=3, the common single-Goldstone universality class has

Δ(Q)=c3/2Q3/2+c1/2Q1/2+c0+o(Q0).\Delta(Q)=c_{3/2}Q^{3/2}+c_{1/2}Q^{1/2}+c_0+o(Q^0).

For the O(2)O(2) and cubic Wess–Zumino examples studied by Hellerman and collaborators, the Goldstone Casimir contribution is c0=0.0937256c_0=-0.0937256\ldots and the excited mode has cs=1/2c_s=1/\sqrt2 Hellerman, Orlando, Reffert, and Watanabe 2015, §§3 and 5. The coefficients c3/2c_{3/2} and c1/2c_{1/2} remain theory-dependent. The relation between the derivative expansion and inverse charge, including higher-rank symmetry breaking, is systematized in Monin, Pirtskhalava, Rattazzi, and Seibold 2017, §§2–4.

The EFT does not follow from large charge alone. Its assumptions can fail in several ways.

Extra light fields. Supersymmetric flat directions, moduli, gauge fields, or additional Goldstones change the low-energy field content and can change the powers or logarithms in Δ(Q)\Delta(Q).

Inhomogeneous ground states. A helical, crystalline, vortex, or phase-separated configuration can have lower energy than the homogeneous saddle. Stability must be checked against fluctuations in every available channel.

Several charges. For a higher-rank group, the answer depends on the direction in charge space. Noncommuting charges, type-B Goldstones, and unbroken subgroups require a coset and power counting specific to that charge matrix.

Wrong sector. Large-QQ control says nothing by itself about neutral operators, arbitrary high-energy states, or the existence of a tunable coupling for the whole CFT. It is a controlled kinematic sector, not a weakly coupled theory globally.

The schematic map below places large charge beside the other solvable limits. Inspect that its small parameter is fixed by a quantum number of the state, rather than by changing dd, NN, or a microscopic coupling.

Large charge controls one symmetry sector through a Goldstone EFT, alongside but distinct from epsilon, large-N, and collision limits

Controlled higher-dimensional limits, shown schematically and not to scale. Large charge produces the hierarchy R1μQ1/(d1)R1R^{-1}\ll\mu\sim Q^{1/(d-1)}R^{-1} inside one CFT, whereas the neighboring limits vary a theory parameter or continue fixed-point data.

The large-charge part has the following structured form:

IngredientAssumption or normalizationParameter and orderPredictionRemainder or independent checkFailure signal
Charge projectioncompact χχ+2π\chi\sim\chi+2\pi, unit minimal charge, integer QQexact Fourier projectionfixed-sector cylinder energyreproduce charge orthogonalityan inconsistent charge lattice or untreated zero mode
Homogeneous saddleχ=μt\chi=\mu t, c1>0c_1>0, no lower inhomogeneous stateleading in Q1/(d1)Q^{-1/(d-1)}μRQ1/(d1)\mu R\sim Q^{1/(d-1)}Legendre-transform checka negative fluctuation eigenvalue or competing phase
Leading EFTone Goldstone, L=c1Xd+\mathcal L=c_1X^d+\cdotsleading derivative orderΔQd/(d1)\Delta\sim Q^{d/(d-1)} and cs2=1/(d1)c_s^2=1/(d-1)higher derivatives suppressed by (μR)2(\mu R)^{-2}extra gapless modes or nonlocal response
Curvature termsphere radius RR, coefficient c2c_2first curvature orderQ(d2)/(d1)Q^{(d-2)/(d-1)} correctionnext local operators and coefficient matchingflat directions making curvature leading
Quantum correctionfixed-charge zero mode removed; remaining harmonics regularized locallystated Goldstone-loop orderuniversal terms within a specified Goldstone universality classregulator dependence must be absorbed into local EFT coefficientsa residual regulator dependence or changed light spectrum

Legendre test. Verify ρ=L/μ\rho=\partial\mathcal L/\partial\mu and E=μρL\mathcal E=\mu\rho-\mathcal L. Missing the second relation gives the wrong factor of d1d-1.

Power-counting test. Express every correction in powers of (μR)1(\mu R)^{-1}. A term that grows relative to the retained action signals a missing light field or a nonuniform limit.

Spectrum test. Confirm that the fixed-charge ground state is a scalar before applying the state–operator map to Δ(Q)\Delta(Q). Excited states carry additional spin and oscillator quantum numbers.

A bounded calculation can be used for fitting synthetic or supplied finite-QQ data to competing truncations once implemented. This page neither assumes that calculation has run nor uses a fit produced by it.

Derive αd\alpha_d from the homogeneous charge and energy densities.

Solution

Solve μR=[Q/(dc1Ωd1)]1/(d1)\mu R=[Q/(dc_1\Omega_{d-1})]^{1/(d-1)}. Then Δ=RΩd1Rd1(d1)c1μd\Delta=R\Omega_{d-1}R^{d-1}(d-1)c_1\mu^d, which simplifies to the displayed αdQd/(d1)\alpha_dQ^{d/(d-1)}.

Why is the =0\ell=0 Goldstone oscillator omitted at fixed QQ?

Solution

The spatially constant phase and total charge are conjugate variables. Fixing the charge removes fluctuations that change it; the constant mode is handled by the compact charge projection rather than counted as an independent harmonic oscillator.

  • Hellerman, S., Orlando, D., Reffert, S., and Watanabe, M. (2015), “On the CFT operator spectrum at large global charge,” Journal of High Energy Physics 2015(12), 071. doi:10.1007/JHEP12(2015)071. Open PDF
  • Monin, A., Pirtskhalava, D., Rattazzi, R., and Seibold, F. K. (2017), “Semiclassics, Goldstone bosons and CFT data,” Journal of High Energy Physics 2017(06), 011. doi:10.1007/JHEP06(2017)011. Open PDF