REVIEW 5 minor 13 references
Spinning the Large-Charge Bootstrap: Parity-Even Operators
T0 review · 0 major / 5 minor · reviewed 2026-07-13 · grok-4.5
Pith's one-line read Crossing with spinning probes forces the Goldstone dispersion of the conformal superfluid in large-charge 3d CFTs.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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.
Extended reading notes
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.
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.
Editorial extensions
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.
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.
Assumptions & free parameters
assumptions (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.
Cite this review
Pith. "Pith review of Spinning the Large-Charge Bootstrap: Parity-Even Operators." pith.science (2026). https://pith.science/paper/YLZBOEYP
@misc{pith2026260709550,
author = {Pith},
title = {Pith review of: Spinning the Large-Charge Bootstrap: Parity-Even Operators},
year = {2026},
howpublished = {\url{https://pith.science/paper/YLZBOEYP}},
note = {Machine review of arXiv:2607.09550}
}
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]
- [2]
-
[3]
D. Simmons-Duffin,The Lightcone Bootstrap and the Spectrum of the 3d Ising CFT,JHEP 03(2017) 086 [1612.08471]
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]
arXiv 2013
-
[5]
Z. Komargodski and A. Zhiboedov,Convexity and Liberation at Large Spin,JHEP11 (2013) 140 [1212.4103]
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]
arXiv 2015
- [7]
- [8]
Show all 13 references
-
[9]
Jafferis, B
D. Jafferis, B. Mukhametzhanov and A. Zhiboedov,Conformal Bootstrap At Large Charge, JHEP05(2018) 043 [1710.11161]
2018 arXiv
-
[10]
Kiaee and A
K. Kiaee and A. Monin,Large charge bootstrap with U(1) current probes,JHEP05(2026) 121 [2512.20803]
2026
-
[11]
Esposito, S
A. Esposito, S. Garcia-Saenz, A. Nicolis and R. Penco,Conformal solids and holography, JHEP12(2017) 113 [1708.09391]
2017 arXiv
-
[12]
Cuomo, L.V
G. Cuomo, L.V. Delacretaz and U. Mehta,Large Charge Sector of 3d Parity-Violating CFTs,JHEP05(2021) 115 [2102.05046]
2021 arXiv
-
[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 –
2017 arXiv
Reviewed July 13, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.