REVIEW 5 minor 13 references
Crossing with spinning probes forces the Goldstone dispersion of the conformal superfluid in large-charge 3d CFTs.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-13 02:11 UTC pith:YLZBOEYP
load-bearing objection Clean TT-channel argument that forces the superfluid Goldstone under stated assumptions; finite-N and parity-even are the real scope limits, not hidden gaps.
Spinning the Large-Charge Bootstrap: Parity-Even Operators
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under the paper's five minimal assumptions, the tensor-tensor bootstrap equations require that every Regge trajectory coupling to the stress tensor satisfy ω_ℓ^{2} = ℓ(ℓ+1)/2 and that at least one such trajectory exist; that dispersion is exactly the standard Goldstone mode of the conformal superfluid. With the two additional assumptions of non-degeneracy among primaries and no non-Goldstone zero at spin zero, the Goldstone trajectory is unique and all other trajectories decouple from both the current and the stress tensor at this order, contributing only to the scalar-scalar channel.
What carries the argument
Algebraic moment equations obtained by integrating the τ-discontinuity of the H-basis coefficient functions against Gegenbauer polynomials near the t-channel contact singularity; these force the spectral densities of trajectories that couple to T to vanish unless ω^{2} equals the Casimir J^{2} = ℓ(ℓ+1)/2.
Load-bearing premise
Only a finite number of Regge trajectories stay unsuppressed at the order considered; if infinitely many light trajectories remain, as expected for a Fermi liquid, the finite-order algebraic reduction fails.
What would settle it
Exhibit a unitary 3d CFT with a global U(1) that satisfies the macroscopic limit and unique scalar ground states per charge, yet whose lowest large-charge spectrum contains no parity-even Regge trajectory with ω_ℓ^{2} = ℓ(ℓ+1)/2, or whose TT four-point function is inconsistent with that dispersion.
If this is right
- Any large-charge phase that couples to the stress tensor at this order must contain at least the conformal-superfluid Goldstone mode.
- Under the extra non-degeneracy and zero-energy assumptions, current and stress-tensor correlators are completely fixed by that single Goldstone trajectory.
- All remaining freedom at this order sits in the pure scalar channel, corresponding to optional light fields that do not couple to J or T.
- Conformal solids and Fermi liquids are excluded from the present system because they violate parity-even or finite-trajectory assumptions.
Where Pith is reading between the lines
- Including parity-odd exchanges should recover the transverse-phonon trajectories of conformal solids as an independent bootstrap solution.
- The same spinning-probe method may force analogous Goldstone-like dispersions in higher dimensions or for non-Abelian global symmetries.
- A concrete microscopic check would be to extract the lowest large-charge spectrum of the O(2) Wilson-Fisher fixed point and verify the ω^{2} = J^{2} relation for the lightest parity-even tower.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the large-charge bootstrap for three-dimensional CFTs with a global U(1) symmetry, using four-point functions of two heavy charge-Q scalars with light probes chosen from a charged scalar, the conserved current J^a, and the stress tensor T^{ab}. After constructing the H-basis tensor structures and writing the s-channel expansions to next-to-leading order in 1/Q (restricted to parity-even exchanges), the authors convert crossing plus the macroscopic-limit singularity structure into algebraic moment equations on the spectral data. Under five minimal assumptions (unique scalar ground state per charge, existence of the macroscopic limit, NLO content of the s-channel, finitely many Regge trajectories, and parity-even exchanges only), the TT sector forces every trajectory that couples to T to satisfy ω_ℓ^{2} = J_ℓ^{2} = ℓ(ℓ+1)/2, and consistency of the spin-1 equations requires that at least one such trajectory exist. With two further assumptions (no non-Goldstone trajectory reaches zero energy at ℓ=0, and non-degeneracy of primaries at fixed spin), the Goldstone trajectory is unique and all non-Goldstone trajectories decouple from J and T, contributing only to the scalar-scalar channel.
Significance. The central result is a genuine bootstrap derivation that the standard conformal-superfluid Goldstone trajectory must appear in the finite-energy, parity-even sector of any 3d large-charge CFT satisfying the stated assumptions. The argument is local to the TT positivity sum (eq. 5.3) and does not insert the Goldstone dispersion by hand; the macroscopic-limit and contact-singularity inputs that produce the algebraic moments are standard and are checked against the EFT in Appendix F. The paper also supplies a complete independent set of crossing equations for the six correlator sectors, two independent proofs of current decoupling (Appendix H), and a clean separation between minimal and additional assumptions. Within the finite-trajectory, parity-even framework the result substantially strengthens earlier scalar and current analyses and brings the large-charge bootstrap close to the expected EFT structure (universal Goldstone plus optional light fields that couple only to scalars).
minor comments (5)
- The abstract and Introduction state that the Goldstone trajectory has sound speed c_s^{2} = 1/2. It would help the reader if this were written once as ω_ℓ^{2} = ℓ(ℓ+1)/2 = J_ℓ^{2} with the explicit identification of c_s, rather than only in the prose of Section 1.
- In Section 4.3 the values of β for the various H-functions are listed without a short derivation. A one-sentence reminder that each explicit power of η^a can raise the singularity by at most one inverse power of distance would make the list self-contained.
- Appendix G reprints the full (redundant) set of crossing equations after the independent subset has already been given in Section 4.4. A brief pointer that Appendix G is for completeness only would avoid the impression of duplication.
- The notation for the residual polynomials R_n(w) and the elementary symmetric polynomials Q_k(w) in Section 5.2.2 is introduced without a forward reference to the standard finite-trajectory recurrence of Refs. [9,10]; a short citation would help.
- A few typographical inconsistencies appear (e.g., occasional missing spaces around = in the displayed equations of Appendix B, and the arXiv identifier in the header). These are purely cosmetic.
Circularity Check
No significant circularity: Goldstone dispersion is forced by TT positivity after the n=1 moment vanishes, not inserted by definition or self-citation.
full rationale
The central existence claim (at least one Regge trajectory with ω_ℓ² = J_ℓ² = ℓ(ℓ+1)/2) is derived locally in the TT sector under the five stated minimal assumptions. From the (TT,δδ) algebraic moment at n=1 the RHS is identically zero, so ∑ |λ_T|^{2} ω (J²−ω²)² / [J⁴(J²−1)²] = 0 for ℓ≥2; non-negativity forces every T-coupled state to satisfy ω²=J² or λ_T=0. The all-vanishing case is then ruled out by the spin-1 TT equation P_n^(TT)(1)=1+∑T_{1,i}>0. Neither the target dispersion nor uniqueness is an input to these equations: the macroscopic-limit singularity bounds, contact-discontinuity assumption, finite-N hypothesis, and parity-even restriction are explicit external assumptions, not outputs of the same algebra. Self-citations to the authors’ prior current-probe paper supply technical scaffolding (divisibility/recurrence methods used only under additional assumptions for decoupling) and do not define or force the Goldstone existence result. Appendix F checks contact singularities against the EFT as a consistency illustration; it does not smuggle the spectrum into the bootstrap equations. The derivation is therefore self-contained against its stated inputs.
Axiom & Free-Parameter Ledger
axioms (7)
- domain assumption For every charge Q the lowest-dimension operator is a unique scalar primary Φ_Q.
- domain assumption The macroscopic limit exists: Δ_Q = α |Q|^{d/(d-1)} with fixed energy and charge densities.
- domain assumption At first sub-leading order the s-channel contains only the first descendant of the ground state plus new primaries of O(1) excitation energy.
- domain assumption Only a finite number of Regge trajectories contribute at this order.
- domain assumption Only parity-even operators appear in the s- and u-channel OPEs at the order considered.
- domain assumption Discontinuities of the h-functions across τ=0 are pure contact distributions on the sphere.
- standard math Standard conformal three-point structures and conservation Ward identities for J and T.
read the original abstract
We study the large-charge bootstrap in three-dimensional CFTs with a global U(1) symmetry using scalar, current, and stress-tensor probes, restricting to parity-even exchanged operators. Under minimal assumptions, the bootstrap requires at least one Regge trajectory with the dispersion relation of the standard Goldstone mode of the conformal superfluid. With additional assumptions, this trajectory is unique, while all non-Goldstone trajectories contribute only to the scalar-scalar channel at this order.
Reference graph
Works this paper leans on
-
[1]
M.S. Costa, J. Penedones, D. Poland and S. Rychkov,Spinning Conformal Correlators, JHEP11(2011) 071 [1107.3554]
Pith/arXiv arXiv 2011
-
[2]
M.S. Costa, J. Penedones, D. Poland and S. Rychkov,Spinning Conformal Blocks,JHEP11 (2011) 154 [1109.6321]. – 62 –
Pith/arXiv arXiv 2011
-
[3]
D. Simmons-Duffin,The Lightcone Bootstrap and the Spectrum of the 3d Ising CFT,JHEP 03(2017) 086 [1612.08471]
Pith/arXiv arXiv 2017
-
[4]
A.L. Fitzpatrick, J. Kaplan, D. Poland and D. Simmons-Duffin,The Analytic Bootstrap and AdS Superhorizon Locality,JHEP12(2013) 004 [1212.3616]
Pith/arXiv arXiv 2013
-
[5]
Z. Komargodski and A. Zhiboedov,Convexity and Liberation at Large Spin,JHEP11 (2013) 140 [1212.4103]
Pith/arXiv arXiv 2013
-
[6]
S. Hellerman, D. Orlando, S. Reffert and M. Watanabe,On the CFT Operator Spectrum at Large Global Charge,JHEP12(2015) 071 [1505.01537]
Pith/arXiv arXiv 2015
-
[7]
A. Monin, D. Pirtskhalava, R. Rattazzi and F.K. Seibold,Semiclassics, Goldstone Bosons and CFT data,JHEP06(2017) 011 [1611.02912]
Pith/arXiv arXiv 2017
-
[8]
N. Dondi, S. Hellerman, I. Kalogerakis, R. Moser, D. Orlando and S. Reffert,Fermionic CFTs at large charge and large N,JHEP08(2023) 180 [2211.15318]
Pith/arXiv arXiv 2023
-
[9]
D. Jafferis, B. Mukhametzhanov and A. Zhiboedov,Conformal Bootstrap At Large Charge, JHEP05(2018) 043 [1710.11161]
Pith/arXiv arXiv 2018
-
[10]
K. Kiaee and A. Monin,Large charge bootstrap with U(1) current probes,JHEP05(2026) 121 [2512.20803]
arXiv 2026
-
[11]
A. Esposito, S. Garcia-Saenz, A. Nicolis and R. Penco,Conformal solids and holography, JHEP12(2017) 113 [1708.09391]
Pith/arXiv arXiv 2017
-
[12]
G. Cuomo, L.V. Delacretaz and U. Mehta,Large Charge Sector of 3d Parity-Violating CFTs,JHEP05(2021) 115 [2102.05046]
Pith/arXiv arXiv 2021
-
[13]
Caron-Huot,Analyticity in Spin in Conformal Theories,JHEP09(2017) 078 [1703.00278]
S. Caron-Huot,Analyticity in Spin in Conformal Theories,JHEP09(2017) 078 [1703.00278]. – 63 –
Pith/arXiv arXiv 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.