REVIEW 5 minor 48 references
For 3d CFTs with a moduli space, the projected minimal dimension at large charge is asymptotically convex: the subleading coefficient α0 is never positive, while α1 has no universal bound.
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 · deepseek-v4-flash
2026-08-03 00:34 UTC pith:UKT2UMAF
load-bearing objection A careful, mostly convincing proof of a projected convexity bound for large-charge towers, with a clean EFT counterexample to the stronger fixed-ray version; worth sending to a serious referee.
Towers of Operators in CFTs and Convexity Bounds at Large Charge
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper's central claim is the projected convexity bound: for any Cartan generator T_n of a 3d CFT with a moduli space, the projected minimal dimension satisfies α0^(n) ≤ 0 in the expansion Δ^(n)_min(Q) = α1^(n) Q + α0^(n) + O(1/Q). In the single-U(1) case this is the asymptotic charge convexity bound α0 ≤ 0. The argument shows that the saddle computing the projected observable must have a positive semidefinite mass matrix M ≥ 0; then a variational comparison with a reference harmonic Hamiltonian with relativistic dispersion proves the one-loop Casimir energy is non-positive, while fermion and gauge contributions are already known to be non-positive. The paper further claims α1 admits no u
What carries the argument
The central object is the projected large-charge saddle and the quadratic fluctuation problem around it. Fluctuations split into a universal charged sector (radial dilaton plus the Goldstone along the chosen direction) and a non-universal sector of n−2 modes, governed by a Lagrangian with kinetic matrix K, antisymmetric mixing A, and symmetric mass matrix M. The projected observable fixes only the charge along T_n, so the orthogonal charge fluctuations (encoded in canonical momenta) are unconstrained; minimality then forces M ≥ 0. The proof of α0 ≤ 0 uses a variational inequality comparing the true ground-state energy of the quadratic Hamiltonian to that of the reference Hamiltonian with rel
Load-bearing premise
The load-bearing assumption is that the unconstrained charges orthogonal to the chosen direction can be varied infinitesimally in the stability argument—but in an actual CFT those charges are quantized, so a genuinely nearby state may not exist.
What would settle it
A direct falsifier would be a single 3d CFT with a moduli space and a chosen Cartan generator for which the projected large-charge tower has α0^(n) > 0, computed non-perturbatively (e.g., by lattice simulation or bootstrap). A more targeted check: if charge quantization prevents infinitesimal orthogonal-charge fluctuations, then the mass matrix M could have a negative eigenvalue; computing M for the projected saddle in a solvable finite-N model and finding a negative direction would break the proof.
If this is right
- The projected large-charge tower is asymptotically superadditive whenever α0 < 0; if α0 = 0 the sign of the next correction decides, so the asymptotic charge convexity conjecture is recovered in this projected sense.
- The bound α0 ≤ 0 is proven from the moduli-space EFT, giving a CFT-side derivation of a weak-gravity-conjecture-motivated convexity constraint in the projected setting.
- Fixed-charge-ray convexity cannot be established by moduli-space EFT alone; a two-derivative supersymmetric EFT violates it, so stronger statements need additional UV assumptions.
- α1 cannot be universally bounded: finite quotienting of a U(1) scales α1 up arbitrarily, and long primitive directions in higher-rank charge lattices scale it down arbitrarily.
- The new computations in SO(N)×SO(N), SO(3), SQED, and SU(2) SQCD provide explicit examples with α0 ≤ 0, including some of the first direct 3d computations of the subleading coefficient.
Where Pith is reading between the lines
- The stability proof's reliance on continuous orthogonal-charge fluctuations is the point most worth stress-testing: if charge quantization forbids infinitesimal shifts of the orthogonal charges, the proof of M ≥ 0—and with it α0 ≤ 0—could fail.
- The EFT counterexample to fixed-charge-ray convexity suggests that the strong version of the conjecture, if true in all CFTs, must follow from UV input (unitarity, crossing, or full-spectrum data) rather than from the two-derivative moduli-space EFT; seeking a UV-complete realization of this counterexample would test that.
- In the saturation case α0 = 0, the next O(1/Q) term decides convexity; computing it in models with exactly linear towers (or finding a model with α0 = 0 and a subleading violation) would settle whether the bound is tight.
- The normalized slope √(CJ/CT) α1 may be a more robust diagnostic of scale separation than α1 alone; the paper leaves its upper bound open, so a next step is to search for holographic or bootstrap bounds on that combination.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the large-charge expansion Δ_min(Q)=α1 Q+α0+O(1/Q) in 3d CFTs with a moduli space and a spontaneously broken symmetry. Its main result is a proof, within the moduli-space EFT of [1], that for the projected observable in which only one linear combination T_n of Cartan charges is held fixed, the one-loop coefficient satisfies α0^(n)≤0. The proof combines a stability argument for the projected saddle (§3.3, M≥0) with a variational bound showing that M≥0 implies a non-positive scalar Casimir energy (§3.2), while fermionic and gauge contributions are imported from [1]. The paper also shows that the stronger fixed-charge-ray convexity statement cannot be derived from the two-derivative EFT, and it provides a concrete 3d N=1 EFT counterexample with positive α0. In addition, the paper computes α1 and α0 in several models (SO(N)×SO(N), SO(3), SQED, SU(2) SQCD) and argues that α1 has no universal upper or lower bound beyond α1≥0.
Significance. If correct, the projected convexity bound is a nontrivial, swampland-motivated CFT inequality that is explicitly provable within the moduli-space EFT. It also sharpens the distinction between projected and fixed-charge-ray convexity, and the EFT counterexample convincingly shows that the stronger statement cannot be established from the two-derivative EFT alone. The paper is careful in stating its assumptions and the conditional nature of the EFT derivation, and it provides several new explicit computations of subleading large-charge coefficients. The variational argument of §3.2 and the explicit counterexample of §3.4.3 are particularly clean. The main limitation, acknowledged by the authors, is the reliance on the large-charge framework of [1] rather than on a full non-perturbative CFT proof.
minor comments (5)
- [§3.3, Eqs. (3.50)–(3.52)] The fluctuation X=εv, P=AX is used to argue that a negative direction of M destabilizes the projected saddle. Because the orthogonal Cartan charges are quantized in the CFT, the statement that this is an 'allowed nearby configuration' needs a brief justification. I suggest adding one sentence: the configuration should be viewed as a coherent-state trial wavefunction with expectation values (X,P)=(εv,Aεv). Its energy expectation is 1/2 ε² vᵀM v, and if negative, projecting onto integer-charge sectors yields a lower-energy state at the same n·Q. This removes the apparent charge-quantization obstruction and makes the proof of M≥0 immediate.
- [§3.2, Eq. (3.43)] The proof that E_Cas≤E_ref_Cas requires the difference D to be finite. The paper states this is 'easily checked' but does not show the asymptotic cancellation. Since this is the step where the regulator is removed, please add a one-line estimate: the O(ℓ) and O(1/ℓ) terms in the sum of frequencies cancel, leaving a difference O(ℓ^{-3/2}), so the sum converges.
- [§2.2.2 and Figure 1] The function ξ(x) is plotted only for |x|≤1/4, but later equations, e.g. (2.91) and (3.72), require ξ for arguments outside this range. Please state the domain of validity and the asymptotic behavior of ξ for large positive arguments, so the reader can verify the non-positivity claims in those ranges.
- [§3.4.3, Eq. (3.63)] The counterexample metric is presented as a local expression. Please specify the periodicities of θ1, θ2, and x so that the target metric is globally well-defined on a compact manifold (e.g., a T^2×S^1 or a torus bundle). This would make the EFT counterexample unambiguous.
- [References and typos] There are a few minor presentation issues: Ref. [44] is missing journal/arXiv information; §2.1.1 has 'Ind= 4−ϵdimensions' with missing spaces; in §3.4.2 the sentence about n≤3 moduli spaces would benefit from a parenthetical explanation for n=2. These are non-blocking.
Circularity Check
No significant circularity: the central convexity bound is derived from a variational stability argument; the only self-citation is independent support.
full rationale
The paper's central claim, α0^(n)≤0, is not an input or a renamed version of an input. It is derived in §3.2–3.3 by proving (i) the scalar one-loop Casimir energy is non-positive whenever M≥0 (via a variational comparison to a reference Hamiltonian), and (ii) the projected saddle necessarily has M≥0, because a negative direction would give a lower-energy trial configuration X=εv, P=AX with the same n·Q. Step (ii) uses the definition of the projected minimization (orthogonal charges are not held fixed), but that is a legitimate stability argument, not a circular reduction: the saddle is shown to be inconsistent with being the projected minimum if M<0. The only load-bearing citation is [1] for the non-positivity of fermion/gauge contributions; [1] is a separate published derivation by overlapping authors (including A. Sharon), but it is parameter-free, does not assume the target bound α0≤0, and is externally checkable, so it qualifies as independent support rather than circular self-citation. Section 2's α1,α0 computations are direct large-N/epsilon-expansion evaluations, not fitted inputs renamed as predictions, and the Section 3.4 EFT counterexample is self-contained. The charge-quantization concern about the trial fluctuation is a consistency issue about the EFT treatment, not circularity; the fluctuation is a coherent-state trial state in the continuous large-charge formalism. Overall, no circular step was found; the derivation is self-contained apart from benign reliance on the prior moduli-space EFT framework.
Axiom & Free-Parameter Ledger
free parameters (2)
- Wilson coefficient c in SU(2) SQCD moduli-space EFT =
not determined (1+O(1/N_f) at large N_f)
- Metric amplitude f(x)=(1/2)sin(2x) in the EFT counterexample =
1/2
axioms (5)
- domain assumption The large-charge expansion ∆min(Q)=α1Q+α0+O(1/Q) for a CFT with a broken U(1) on a moduli space, taken from [1].
- domain assumption The two-derivative moduli-space EFT action (3.6) with homogeneous helical saddle and constant transverse moduli.
- standard math Dimensional regularization with local power divergences removed, giving ξ(0)=0 for Casimir sums.
- standard math The variational principle applies to the quadratic Hamiltonian with a centered Gaussian reference ground state.
- ad hoc to paper Orthogonal Cartan charge fluctuations may be treated as continuous in the projected-saddle stability argument.
read the original abstract
In arXiv:2406.19441, it was shown that for 3d CFTs with a moduli space along which a $U(1)$ symmetry is spontaneously broken, the minimum scaling dimension at large charge $Q$ scales as $\Delta_{\min}(Q)=\alpha_1 Q+\alpha_0+O(1/Q)$. Motivated by the holographic swampland program, we study possible bounds on the coefficients $\alpha_i$. For $\alpha_0$, the weak gravity conjecture motivates the CFT charge convexity conjecture, which requires the bound $\alpha_0\leq 0$. Using the moduli space EFT we prove this bound for the $\textit{projected}$ $\Delta_{\min}(Q)$, obtained by fixing a single charge $Q$ and minimizing the dimension while allowing all other charges to vary. This provides a WGC-motivated bound that is explicitly provable using CFT methods. On the other hand, we show that $\alpha_1$ admits no universal bound apart from the trivial bound $\alpha_1\geq 0$. We also compute $\alpha_1$ and $\alpha_0$ in several new 3d $\mathcal{N}=1$ theories via the $\epsilon$-expansion and large-$N$ methods.
Reference graph
Works this paper leans on
-
[1]
G. Cuomo, L. Rastelli and A. Sharon,Moduli spaces in CFT: large charge operators,JHEP 09(2024) 185 [2406.19441]
Pith/arXiv arXiv 2024
-
[2]
Z. Komargodski and A. Zhiboedov,Convexity and Liberation at Large Spin,JHEP11(2013) 140 [1212.4103]
Pith/arXiv arXiv 2013
-
[3]
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
-
[4]
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]
Pith/arXiv arXiv 2017
-
[5]
J. Maldacena and A. Zhiboedov,Constraining Conformal Field Theories with A Higher Spin Symmetry,J. Phys. A46(2013) 214011 [1112.1016]
Pith/arXiv arXiv 2013
-
[6]
J. Maldacena and A. Zhiboedov,Constraining conformal field theories with a slightly broken higher spin symmetry,Class. Quant. Grav.30(2013) 104003 [1204.3882]. – 41 –
Pith/arXiv arXiv 2013
-
[7]
Vafa,The String landscape and the swampland,hep-th/0509212
C. Vafa,The String landscape and the swampland,hep-th/0509212
-
[8]
H. Ooguri and C. Vafa,On the Geometry of the String Landscape and the Swampland,Nucl. Phys. B766(2007) 21 [hep-th/0605264]
Pith/arXiv arXiv 2007
-
[9]
Palti,The Swampland: Introduction and Review,Fortsch
E. Palti,The Swampland: Introduction and Review,Fortsch. Phys.67(2019) 1900037 [1903.06239]
Pith/arXiv arXiv 2019
-
[10]
E. Perlmutter, L. Rastelli, C. Vafa and I. Valenzuela,A CFT Distance Conjecture,JHEP10 (2021) 070 [2011.10040]
Pith/arXiv arXiv 2021
-
[11]
F. Baume and J. Calder´ on-Infante,On higher-spin points and infinite distances in conformal manifolds,JHEP12(2023) 163 [2305.05693]
Pith/arXiv arXiv 2023
-
[12]
F. Baume and J. Calder´ on Infante,Tackling the SDC in AdS with CFTs,JHEP08(2021) 057 [2011.03583]
Pith/arXiv arXiv 2021
-
[13]
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
-
[14]
S. Hellerman, S. Maeda and M. Watanabe,Operator Dimensions from Moduli,JHEP10 (2017) 089 [1706.05743]
Pith/arXiv arXiv 2017
-
[15]
S. Hellerman and S. Maeda,On the LargeR-charge Expansion inN= 2Superconformal Field Theories,JHEP12(2017) 135 [1710.07336]
Pith/arXiv arXiv 2017
-
[16]
D. Gaiotto, Z. Komargodski and J. Wu,Curious Aspects of Three-DimensionalN= 1 SCFTs,JHEP08(2018) 004 [1804.02018]
Pith/arXiv arXiv 2018
-
[17]
N. Arkani-Hamed, L. Motl, A. Nicolis and C. Vafa,The String landscape, black holes and gravity as the weakest force,JHEP06(2007) 060 [hep-th/0601001]
Pith/arXiv arXiv 2007
-
[18]
O. Aharony and E. Palti,On Convexity of Charged Operators in CFTs and the Weak Gravity Conjecture,Phys. Rev. D104(2021) 126005 [2108.04594]
Pith/arXiv arXiv 2021
-
[19]
O. Antipin, J. Bersini, N.A. Dondi, F. Sannino and Z.-W. Wang,More on the Weak Gravity Conjecture via Convexity of Charged Operators,2109.04946
-
[20]
O. Aharony and Y.-N. Breitstein,Tests of the Charge Convexity Conjecture in Caswell-Banks-Zaks Theory,2305.08947
-
[21]
E. Palti and A. Sharon,Convexity of Charged Operators with Multiple Abelian Symmetries, 2206.06703
- [22]
-
[23]
T.D. Cohen, K. Fadakar, D. Gomes, A. Monin and R. Rattazzi,Superadditivity at Large Charge,2503.16603
-
[24]
A. Sharon and M. Watanabe,A counterexample to the CFT convexity conjecture,JHEP05 (2023) 202 [2301.08262]
Pith/arXiv arXiv 2023
-
[25]
C. Cheung and G.N. Remmen,Naturalness and the Weak Gravity Conjecture,Phys. Rev. Lett.113(2014) 051601 [1402.2287]
Pith/arXiv arXiv 2014
-
[26]
F.F. Gautason, M. Schillo, T. Van Riet and M. Williams,Remarks on scale separation in flux vacua,JHEP03(2016) 061 [1512.00457]
Pith/arXiv arXiv 2016
-
[27]
D. L¨ ust, E. Palti and C. Vafa,AdS and the Swampland,Phys. Lett. B797(2019) 134867 [1906.05225]. – 42 –
Pith/arXiv arXiv 2019
-
[28]
N. Cribiori and G. Dall’Agata,Weak gravity versus scale separation,JHEP06(2022) 006 [2203.05559]
Pith/arXiv arXiv 2022
-
[29]
Coudarchet,Hiding the extra dimensions: A review on scale separation in string theory, Physics Reports1064(2024) 1
T. Coudarchet,Hiding the extra dimensions: A review on scale separation in string theory, Physics Reports1064(2024) 1
2024
-
[30]
O. DeWolfe, A. Giryavets, S. Kachru and W. Taylor,Type IIA Moduli Stabilization,JHEP 07(2005) 066 [hep-th/0505160]
Pith/arXiv arXiv 2005
-
[31]
P.G. Camara, A. Font and L.E. Ibanez,Fluxes, moduli fixing and MSSM-like vacua in a simple IIA orientifold,JHEP09(2005) 013 [hep-th/0506066]
Pith/arXiv arXiv 2005
-
[32]
A. Font, A. Herr´ aez and L.E. Ib´ a˜ nez,On scale separation in type II AdS flux vacua,JHEP 03(2020) 013 [1912.03317]
Pith/arXiv arXiv 2020
-
[33]
J. Polchinski and E. Silverstein,Dual Purpose Landscaping Tools: Small Extra Dimensions in AdS/CFT,0908.0756
-
[34]
S. de Alwis, R.K. Gupta, F. Quevedo and R. Valandro,On KKLT/CFT and L VS/CFT Dualities,JHEP07(2015) 036 [1412.6999]
Pith/arXiv arXiv 2015
-
[35]
J.P. Conlon and F. Quevedo,Putting the Boot into the Swampland,JHEP03(2019) 005 [1811.06276]
Pith/arXiv arXiv 2019
-
[36]
J.P. Conlon and F. Revello,Moduli Stabilisation and the Holographic Swampland,LHEP 2020(2020) 171 [2006.01021]
Pith/arXiv arXiv 2020
-
[37]
T.C. Collins, D. Jafferis, C. Vafa, K. Xu and S.-T. Yau,On Upper Bounds in Dimension Gaps of CFT’s,2201.03660
-
[38]
J. Gates, S. James, M.T. Grisaru, M. Rocek and W. Siegel,Superspace, or One Thousand and One Lessons in Supersymmetry, Benjamin/Cummings, Reading, MA (1983), [hep-th/0108200]
Pith/arXiv arXiv 1983
-
[39]
G. Arias-Tamargo, D. Rodriguez-Gomez and J.G. Russo,The large charge limit of scalar field theories and the Wilson-Fisher fixed point atϵ= 0,JHEP10(2019) 201 [1908.11347]
Pith/arXiv arXiv 2019
-
[40]
G. Badel, G. Cuomo, A. Monin and R. Rattazzi,The Epsilon Expansion Meets Semiclassics, JHEP11(2019) 110 [1909.01269]
Pith/arXiv arXiv 2019
-
[41]
Watanabe,Accessing Large Global Charge via theϵ-Expansion,JHEP04(2021) 264 [1909.01337]
M. Watanabe,Accessing Large Global Charge via theϵ-Expansion,JHEP04(2021) 264 [1909.01337]
Pith/arXiv arXiv 2021
-
[42]
A. Sharon and M. Watanabe,Transition of LargeR-Charge Operators on a Conformal Manifold,JHEP01(2021) 068 [2008.01106]
Pith/arXiv arXiv 2021
-
[43]
L. Fei, S. Giombi, I.R. Klebanov and G. Tarnopolsky,Yukawa CFTs and Emergent Supersymmetry,PTEP2016(2016) 12C105 [1607.05316]
Pith/arXiv arXiv 2016
-
[44]
Thomas,Emergent Supersymmetry,
S. Thomas,Emergent Supersymmetry,
-
[45]
Y.-N. Breitstein and A. Sharon,Hunting 3dN= 1 SQED in theϵ-expansion,JHEP10 (2024) 197 [2407.07148]
Pith/arXiv arXiv 2024
-
[46]
L. Alvarez-Gaume, D. Orlando and S. Reffert,Large charge at large N,JHEP12(2019) 142 [1909.02571]
Pith/arXiv arXiv 2019
-
[47]
S. Giombi and J. Hyman,On the Large Charge Sector in the CriticalO(N)Model at Large N,JHEP09(2021) 184 [2011.11622]. – 43 –
Pith/arXiv arXiv 2021
-
[48]
L.A. Gaum´ e, D. Orlando and S. Reffert,Selected topics in the large quantum number expansion,Phys. Rept.933(2021) 1 [2008.03308]. – 44 –
Pith/arXiv arXiv 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.