Pith. sign in

REVIEW 4 minor 36 references

Moduli Bounds from Spin-2 Sum Rules

T0 review · 0 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves universal upper bounds on the masses of scalar fields that must couple to massive spin-2 particles.

desk verdict Clean proof of the conjectured moduli bound, plus a new bound for all KK gravitons; sound conditional on the externally quoted sum rules. read the letter →

arxiv 2608.05273 v1 pith:B7FG6M4Q submitted 2026-08-05 hep-th

Francesco Bertucci , James Bonifacio , Kurt Hinterbichler This is my paper · ORCID
classification hep-th
keywords massivespin-2Kaluza–Kleintheorymodulistabilizationsumrulesscatteringamplitudesconformalbootstrapuniversalboundseffectivefield
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves two universal bounds on the masses of scalar fields coupled to massive spin-2 particles. Starting from three sum rules for tree-level four-spin-2 scattering, it shows that in any four-dimensional theory with a discrete spectrum of spins at most 2, parity-even two-derivative cubic interactions, and a four-point amplitude growing no faster than $E^2$, every massive spin-2 state $h_n$ must couple to a scalar with $(m_{\rm sc}/m_n)^2 < 36/25$. For the lightest state $h_1$ the bound improves to $(m_{\rm sc}/m_1)^2 \le 4/3$. Since Kaluza–Klein gravitons and moduli form exactly such a system, this caps how much heavier than the KK scale moduli can be made by stabilization, under mild assumptions. The result turns a previously numerical conjecture into a theorem and extends the restriction to all massive spin-2 states.

What carries the argument

The central object is the set of three bottom-up sum rules quoted from [19, Eq. (3.85)], which express the constraints imposed by the $E^2$ growth bound on sums of squares of cubic couplings to scalars, vectors, gravitons, and other massive spin-2 particles. The proof treats these sum rules as the analogue of conformal-bootstrap crossing equations: it forms linear combinations in which every term except the scalar sum is manifestly non-negative. The two load-bearing combinations are $\alpha=(-8,9,27)$ and $\alpha=(0,9,25)$; the positivity of $5x^2-7x+4$ for all $x$ is what makes the massive spin-2 contributions in the first combination harmless, and the non-negativity of the remaining terms forces the scalar sums to cancel with a bounded mass. The method is parameter-free in the sense that the coefficients are fixed numerical vectors, not fitted quantities.

What would settle it

Produce a consistent four-dimensional theory or amplitude model with spins at most 2, parity-even two-derivative cubic couplings, a non-zero tree-level $h_\star h_\star \to h_\star h_\star$ amplitude growing no faster than $E^2$, and no scalar with $(m_{\rm sc}/m_1)^2 \le 4/3$; such a model would disprove the theorem. Equivalently, an explicit amplitude satisfying the growth bound but violating one of the sum rules (2.7) would settle the question against the proof.

Watch

Extended reading notes

Core claim

The central claim is that the bottom-up sum rules (2.7a)–(2.7c), which follow from requiring the tree-level $h_\star h_\star \to h_\star h_\star$ amplitude to grow no faster than $E^2$, have positivity properties that force scalar couplings. Taking the lightest massive spin-2 state $h_1$, the linear combination with coefficients $(-8,9,27)$ puts every contribution except the scalar sum in manifestly non-negative form; since not all cubic couplings can vanish, the scalar sum must be negative, so at least one scalar with $c_{1,I}\neq 0$ must have $(m_I/m_1)^2 \le 4/3$. For a general state $h_n$, the combination $(0,9,25)$ similarly forces a scalar with $(m_I/m_n)^2 < 36/25$, with the inequality strict because saturation would make all cubic couplings vanish. This proves the conjectured modulus bound and gives a new universal bound for every massive spin-2 particle.

Load-bearing premise

The argument rests on the quoted bottom-up sum rules being exactly correct for all theories meeting the stated assumptions, and on the relevant tree-level four-point amplitude being non-zero; if either fails, the scalar-mass bounds need not follow.

Editorial extensions

If this is right

  • The previously numerical bound (1.1) becomes a proved theorem: the lightest massive spin-2 state must couple to a scalar with $(m_{\rm sc}/m_1)^2 \le 4/3$.
  • A new bound applies to every massive spin-2 state: each $h_n$ has at least one coupled scalar with $(m_{\rm sc}/m_n)^2 < 36/25$.
  • In gravitational Kaluza–Klein theories, moduli cannot all be stabilized at masses parametrically above the KK scale; at least one coupled scalar must stay within the bound.
  • Saturating the lightest-state bound requires gravity to decouple ($b_1=0$) and the self-coupling to vanish, leaving the lightest KK graviton coupled only to scalars and heavier gravitons of mass $2m_1/\sqrt{3}$.
  • With dynamical gravity ($b_1\neq 0$), the inequality (1.1) is strict rather than saturated.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the input is amplitude-level rather than geometric, the same sign-definite combination method could be applied to scattering in other spacetime dimensions, where the sum rules change and the numerical ratios $4/3$ and $36/25$ would likely become dimension-dependent; the paper does not compute these.
  • The proof suggests a direct spectral test: for any explicit compactification spectrum, every massive spin-2 mode (not just the lightest) should have a scalar partner with $(m_{\rm sc}/m_n)^2 < 36/25$, a condition that could be checked against tabulated KK spectra.
  • The paper notes but does not pursue analogous bounds in (anti) de Sitter space; if such bounds exist, they would constrain moduli masses in cosmological vacua through dual CFT correlators.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper presents a proof of the universal bound (1.1) conjectured by Mirbabayi and Villadoro on the mass ratio of the lightest scalar to the lightest massive spin-2 particle in Kaluza-Klein theories, and a new bound (1.2) for every massive spin-2 state. The proof uses linear combinations of three bottom-up sum rules (2.7a-c) from Bonifacio and Hinterbichler [19] together with positivity arguments. The authors show that the combination alpha=(-8,9,27) forces a scalar coupled to the lightest KK graviton with (m_sc/m_1)^2 <= 4/3, and the combination alpha=(0,9,25) forces every massive spin-2 particle to couple to a scalar with (m_sc/m_n)^2 < 36/25.

Significance. If the sum rules (2.7a-c) are correct, the paper provides a rigorous proof of a bound that was previously supported only by numerical evidence. The proof is elegant and concise, and the extension to all massive spin-2 states is new. The use of conformal-bootstrap-style linear combinations is a nice illustration of the power of the sum-rule approach. The internal algebra is correct: I have checked the linear combinations leading to (3.1)-(3.3) and the positivity arguments. The main caveat is that the sum rules themselves are imported from [19] without derivation, and the argument assumes the existence of at least one non-zero cubic coupling; both points are disclosed in the text.

minor comments (4)
  1. [Section 3, after Eq. (3.2)] The sentence 'the lightest KK graviton couples only to scalars and heavier gravitons with masses 2m_1/√3' is confusing, since in the equality case all e5,a vanish and the vertex (2.5) for coupling to heavier gravitons vanishes. The phrase likely should read 'couples only to scalars with masses 2m_1/√3'.
  2. [Section 2] The text says 'We first briefly review the derivation' but does not actually show the derivation of the sum rules (2.7a-c); it states the results and cites Eq. (3.85) of [19]. To make the review complete, either the derivation should be sketched in more detail or the text should explicitly say that the derivation is given in [19] and only the resulting sum rules are used here.
  3. [Section 3, first paragraph] The sentence 'We can find the α that produce the strongest bounds using SDPB' is not followed by any use of SDPB; the authors simply present three specific α vectors. Please clarify whether these α are proven optimal or merely sufficient, or rephrase the sentence to indicate that SDPB was used to search for these vectors.
  4. [Section 3, strictness of (1.2)] The strictness argument is terse. It would be helpful to spell out that saturation means the scalar term in (3.3) vanishes, so a2=b1=e5,a=0, and then (2.7a) and (2.7b) force all c1,I to vanish, contradicting the non-zero amplitude assumption.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the scalar-mass bounds follow as positivity consequences of independently derived sum rules, not as inputs or fitted quantities.

full rationale

The derivation chain is transparent: from the stated E^2-growth assumption, the paper imports the bottom-up sum rules (2.7a-c) from Ref. [19], then forms sign-definite linear combinations (3.2) and (3.3) to force the existence of a scalar with (m_sc/m_n)^2 bounded by 4/3 or 36/25. The target bounds are not used to define the sum rules; the numerical ratios are fixed by the coefficients of the sum rules and by the selected alpha vectors, not by any fit or by the desired conclusion. The sum rules are load-bearing and are taken from a paper with overlapping authors, but they are parameter-free consistency conditions whose stated assumptions (amplitude growth, spins <= 2, parity-even two-derivative cubics) do not include the scalar-mass bounds, so this is independent support rather than circularity. The paper also notes the sum rules can alternatively be obtained from the independent constraints of [12], and it discloses the extra assumption of a non-vanishing cubic coupling in non-gravitational theories. No fitted parameter is renamed as a prediction, and no known result is merely relabeled. Verdict: no significant circularity.

Assumptions & free parameters 1 free parameters · 4 assumptions · 0 invented entities

No new particles, forces, or dimensions are introduced. The only free numbers are the bootstrap coefficients, which are constructive proof choices rather than fitted data. The physical assumptions are inherited from [19] and [12] and are explicitly stated.

free parameters (1)
  • Bootstrap functional coefficients α = (1,1,0), (-8,9,27), (0,9,25)
    Chosen by hand to select sign-definite combinations of the sum rules. They are proof parameters, not physical inputs, and the bound values are determined by the sum-rule structure, not by α.
assumptions (4)
  • domain assumption Bottom-up sum rules (2.7a-c), Eq. (3.85) of [19], are valid
    The entire proof is a linear combination of these rules; no derivation is given in this paper.
  • domain assumption Spectrum is discrete, contains only spins ≤ 2, and cubic couplings are parity-even with at most two derivatives
    Stated in Sec. 2 as part of the framework from [19].
  • domain assumption The tree-level h* h* -> h* h* amplitude is non-zero and grows no faster than E^2 for m_* << E
    The central physical input; in KK theories it is motivated by a return to higher-dimensional gravity. Footnote 4 flags that non-vanishing cubic coupling is only guaranteed by gravity.
  • domain assumption S-matrix equivalence principle gives b1 = b2/2 = 2/M_P
    Used to argue b1 ≠ 0 in dynamical gravity, making the inequality in (1.1) strict; standard gravity input.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Moduli Bounds from Spin-2 Sum Rules." pith.science (2026). https://pith.science/paper/B7FG6M4Q

@misc{pith2026260805273,
  author       = {Pith},
  title        = {Pith review of: Moduli Bounds from Spin-2 Sum Rules},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B7FG6M4Q}},
  note         = {Machine review of arXiv:2608.05273}
}
abstract

Mirbabayi and Villadoro have provided strong numerical evidence for a universal upper bound on the mass of the lightest scalar field in gravitational Kaluza--Klein (KK) theories. This bound states that the lightest KK graviton, with mass $m_{1}$, must couple to at least one scalar with mass $m_{\rm sc}$ such that $(m_{\rm sc} /m_{1})^2 \leq 4/3$. We give a proof of this bound using the approach of the conformal bootstrap applied to sum rules for massive spin-2 scattering amplitudes. We additionally show that each heavier KK graviton, with mass $m_n$, must couple to at least one scalar with mass $m_{\rm sc}$ such that $(m_{\rm sc} /m_{n})^2 < 36/25$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 10 canonical work pages

  1. [19]

    Unitarization from Geometry,

    J. Bonifacio and K. Hinterbichler, “Unitarization from Geometry,” JHEP12(2019) 165, arXiv:1910.04767 [hep-th]

    arXiv 2019

  2. [1]

    Kaluza-Klein Towers on General Manifolds,

    K. Hinterbichler, J. Levin, and C. Zukowski, “Kaluza-Klein Towers on General Manifolds,” Phys. Rev. D89(2014) no. 8, 086007,arXiv:1310.6353 [hep-th]

    arXiv 2014

  3. [2]

    Gluino Condensation in Superstring Models,

    M. Dine, R. Rohm, N. Seiberg, and E. Witten, “Gluino Condensation in Superstring Models,” Phys. Lett. B156(1985) 55–60

    work page 1985

  4. [3]

    Modulus stabilization with bulk fields,

    W. D. Goldberger and M. B. Wise, “Modulus stabilization with bulk fields,” Phys. Rev. Lett.83(1999) 4922–4925,arXiv:hep-ph/9907447

    arXiv 1999

  5. [4]

    Hierarchies from fluxes in string compactifications,

    S. B. Giddings, S. Kachru, and J. Polchinski, “Hierarchies from fluxes in string compactifications,” Phys. Rev. D66(2002) 106006,arXiv:hep-th/0105097

    arXiv 2002

  6. [5]

    De Sitter vacua in string theory,

    S. Kachru, R. Kallosh, A. D. Linde, and S. P. Trivedi, “De Sitter vacua in string theory,” Phys. Rev. D68(2003) 046005,arXiv:hep-th/0301240

    arXiv 2003

  7. [6]

    Systematics of moduli stabilisation in Calabi-Yau flux compactifications,

    V. Balasubramanian, P. Berglund, J. P. Conlon, and F. Quevedo, “Systematics of moduli stabilisation in Calabi-Yau flux compactifications,” JHEP03(2005) 007, arXiv:hep-th/0502058

    arXiv 2005

  8. [7]

    Moduli Stabilization in String Theory,

    L. McAllister and F. Quevedo, “Moduli Stabilization in String Theory,”arXiv:2310.20559 [hep-th]

    arXiv

Show all 36 references
  1. [8]

    To the problem of nonvanishing gravitation mass,

    A. I. Vainshtein, “To the problem of nonvanishing gravitation mass,” Phys. Lett. B39 (1972) 393–394

    1972

  2. [9]

    Chameleon fields: Awaiting surprises for tests of gravity in space,

    J. Khoury and A. Weltman, “Chameleon fields: Awaiting surprises for tests of gravity in space,” Phys. Rev. Lett.93(2004) 171104,arXiv:astro-ph/0309300

    2004 arXiv

  3. [10]

    Symmetron Fields: Screening Long-Range Forces Through Local Symmetry Restoration,

    K. Hinterbichler and J. Khoury, “Symmetron Fields: Screening Long-Range Forces Through Local Symmetry Restoration,” Phys. Rev. Lett.104(2010) 231301,arXiv:1001.4525 [hep-th]

    2010 arXiv

  4. [11]

    An introduction to the Vainshtein mechanism,

    E. Babichev and C. Deffayet, “An introduction to the Vainshtein mechanism,” Class. Quant. Grav.30(2013) 184001,arXiv:1304.7240 [gr-qc]

    2013 arXiv

  5. [12]

    How Heavy Can Moduli Be?,

    M. Mirbabayi and G. Villadoro, “How Heavy Can Moduli Be?,”arXiv:2603.09817 [hep-th]

  6. [13]

    Resummation of Massive Gravity,

    C. de Rham, G. Gabadadze, and A. J. Tolley, “Resummation of Massive Gravity,” Phys. Rev. Lett.106(2011) 231101,arXiv:1011.1232 [hep-th]. 7

    2011 arXiv

  7. [14]

    Bimetric Gravity from Ghost-free Massive Gravity,

    S. F. Hassan and R. A. Rosen, “Bimetric Gravity from Ghost-free Massive Gravity,” JHEP 02(2012) 126,arXiv:1109.3515 [hep-th]

    2012 arXiv

  8. [15]

    Interacting Spin-2 Fields,

    K. Hinterbichler and R. A. Rosen, “Interacting Spin-2 Fields,” JHEP07(2012) 047, arXiv:1203.5783 [hep-th]

    2012 arXiv

  9. [16]

    Constructing gravitational dimensions,

    M. D. Schwartz, “Constructing gravitational dimensions,” Phys. Rev. D68(2003) 024029, arXiv:hep-th/0303114

    2003 arXiv

  10. [17]

    Bounds on Amplitudes in Effective Theories with Massive Spinning Particles,

    J. Bonifacio and K. Hinterbichler, “Bounds on Amplitudes in Effective Theories with Massive Spinning Particles,” Phys. Rev. D98(2018) no. 4, 045003,arXiv:1804.08686 [hep-th]

    2018 arXiv

  11. [18]

    Universal bound on the strong coupling scale of a gravitationally coupled massive spin-2 particle,

    J. Bonifacio and K. Hinterbichler, “Universal bound on the strong coupling scale of a gravitationally coupled massive spin-2 particle,” Phys. Rev. D98(2018) no. 8, 085006, arXiv:1806.10607 [hep-th]

    2018 arXiv

  12. [20]

    Constraints on a gravitational Higgs mechanism,

    J. Bonifacio, K. Hinterbichler, and R. A. Rosen, “Constraints on a gravitational Higgs mechanism,” Phys. Rev. D100(2019) no. 8, 084017,arXiv:1903.09643 [hep-th]

    2019 arXiv

  13. [21]

    Bootstrap Bounds on Closed Einstein Manifolds,

    J. Bonifacio and K. Hinterbichler, “Bootstrap Bounds on Closed Einstein Manifolds,” JHEP 10(2020) 069,arXiv:2007.10337 [hep-th]

    2020 arXiv

  14. [22]

    Bootstrap bounds on closed hyperbolic manifolds,

    J. Bonifacio, “Bootstrap bounds on closed hyperbolic manifolds,” JHEP02(2022) 025, arXiv:2107.09674 [hep-th]

    2022 arXiv

  15. [23]

    Bootstrapping closed hyperbolic surfaces,

    J. Bonifacio, “Bootstrapping closed hyperbolic surfaces,” JHEP03(2022) 093, arXiv:2111.13215 [hep-th]

    2022 arXiv

  16. [24]

    Automorphic spectra and the conformal bootstrap,

    P. Kravchuk, D. Maz´ aˇ c, and S. Pal, “Automorphic spectra and the conformal bootstrap,” Commun. Am. Math. Soc.4(2024) no. 1, 1–63,arXiv:2111.12716 [hep-th]

    2024 arXiv

  17. [25]

    Bounds on spectral gaps of Hyperbolic spin surfaces,

    E. Gesteau, S. Pal, D. Simmons-Duffin, and Y. Xu, “Bounds on spectral gaps of Hyperbolic spin surfaces,” J. Assoc. Math. Res.3(2025) no. 1, 72–139,arXiv:2311.13330 [math.SP]

    2025 arXiv

  18. [26]

    Spectral Bounds on Hyperbolic 3-Manifolds: Associativity and the Trace Formula,

    J. Bonifacio, D. Maz´ aˇ c, and S. Pal, “Spectral Bounds on Hyperbolic 3-Manifolds: Associativity and the Trace Formula,” Commun. Math. Phys.406(2025) 51, arXiv:2308.11174 [math.SP]

    2025 arXiv

  19. [27]

    Non-saturation of bootstrap bounds by hyperbolic orbifolds,

    A. Radcliffe, “Non-saturation of bootstrap bounds by hyperbolic orbifolds,” JHEP12(2025) 115,arXiv:2404.14479 [hep-th]

    2025

  20. [28]

    Weyl bound for trilinear periods via conformal bootstrap,

    A. Adve, J. Bonifacio, P. Kravchuk, D. Maz´ aˇ c, S. Pal, A. Radcliffe, and G. Rogelberg, “Weyl bound for trilinear periods via conformal bootstrap,”arXiv:2508.20576 [math.NT]. 8

    arXiv

  21. [29]

    A converse theorem for hyperbolic surface spectra and the conformal bootstrap,

    A. Adve, “A converse theorem for hyperbolic surface spectra and the conformal bootstrap,” arXiv:2509.17935 [math.SP]

  22. [30]

    Bootstrapping Euclidean Lattices,

    F. Bertucci and J. Bonifacio, “Bootstrapping Euclidean Lattices,”arXiv:2606.13771 [hep-th]

  23. [31]

    Bounding scalar operator dimensions in 4D CFT,

    R. Rattazzi, V. S. Rychkov, E. Tonni, and A. Vichi, “Bounding scalar operator dimensions in 4D CFT,” JHEP12(2008) 031,arXiv:0807.0004 [hep-th]

    2008 arXiv

  24. [32]

    Universal Constraints on Conformal Operator Dimensions,

    V. S. Rychkov and A. Vichi, “Universal Constraints on Conformal Operator Dimensions,” Phys. Rev. D80(2009) 045006,arXiv:0905.2211 [hep-th]

    2009 arXiv

  25. [33]

    A Semidefinite Program Solver for the Conformal Bootstrap,

    D. Simmons-Duffin, “A Semidefinite Program Solver for the Conformal Bootstrap,” JHEP 06(2015) 174,arXiv:1502.02033 [hep-th]

    2015 arXiv

  26. [34]

    Scaling the semidefinite program solver SDPB,

    W. Landry and D. Simmons-Duffin, “Scaling the semidefinite program solver SDPB,” arXiv:1909.09745 [hep-th]

    1909 arXiv

  27. [35]

    Dynamics of Dimensional Reduction,

    P. G. O. Freund and M. A. Rubin, “Dynamics of Dimensional Reduction,” Phys. Lett. B97 (1980) 233–235

    1980

  28. [36]

    Spectrum and stability of compactifications on product manifolds,

    A. R. Brown and A. Dahlen, “Spectrum and stability of compactifications on product manifolds,” Phys. Rev. D90(2014) no. 4, 044047,arXiv:1310.6360 [hep-th]. 9

    2014 arXiv

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.