{"id":"c69e79ca-853c-4721-b21e-f23811130a22","arxiv_id":"2608.05273","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"The paper proves, from massive spin-2 scattering sum rules, that the lightest KK graviton must couple to a scalar with (m_sc/m_1)^2 ≤ 4/3, and every KK graviton m_n to a scalar with (m_sc/m_n)^2 < 36/25.","lead":"This paper gives an analytic proof of a recently conjectured universal bound on the mass of the lightest scalar (modulus) that must couple to the lightest massive Kaluza-Klein graviton: (m_sc/m_1)^2 ≤ 4/3. It also proves a new bound for every heavier KK graviton, (m_sc/m_n)^2 < 36/25.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proof is sound conditional on the externally quoted sum rules; the load-bearing step is the unrederived set (2.7a-c), whose signs and domain must be exactly as in [19] for (3.2)-(3.3) to force a scalar.","rationale":"The reader's weakest assumption identified the same load-bearing point: the proof inherits the full content of the sum rules (2.7a-c) from [19]. My independent check of the linear algebra in Section 3 confirms that, given those sum rules, the bounds (1.1) and (1.2) follow rigorously. The paper is explicit about its assumptions, including the non-zero amplitude requirement, the E^2 growth behavior, parity-even two-derivative couplings, and spins ≤ 2. The external dependency is disclosed via citation, and the additional 'pure contact grows faster than E^2' assertion is likewise attributed to prior work. This is normal scientific dependence rather than an internal flaw, so it does not justify changing the reader's ACCEPT verdict. The proposed concrete test would, however, settle the residual risk by re-deriving the quoted sum rules from the stated vertex ansatz.","tokens_in":7439,"tokens_out":9428,"duration_ms":87778,"concrete_test":"Independently re-derive the tree-level constraints that lead to Eq. (3.85) of [19]: with the most general parity-even two-derivative cubic vertices (2.1)-(2.5) and a 95-parameter quartic vertex, impose that the h_* h_* -> h_* h_* amplitude grow at most as E^2 for all external polarizations, eliminate quartic couplings, and verify that the resulting sum rules are exactly (2.7a-c). As a targeted sub-check, set all cubic couplings to zero and test whether any local quartic contact term yields an amplitude growing no faster than E^2; if such a term exists, the inference 'non-zero amplitude ⇒ non-zero cubic coupling' used before (3.1) fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The internal algebra is correct: I checked that α=(-8,9,27) and (0,9,25) give the displayed combinations, and the positivity/sign arguments for m_*=m_1 and for general m_*=m_n are valid. The central claim therefore stands if the bottom-up sum rules (2.7a-c) are correct and apply to every massive spin-2 mode considered. These rules are imported from Eq. (3.85) of [19] without derivation; if a coefficient or sign there is wrong, or if their derivation requires additional restrictions not stated (for example, a specific treatment of the 95-parameter quartic vertex, or the removal of parity-odd or higher-derivative cubic couplings in a way not captured by (2.6)), then the strict scalar-mass bounds fail. The non-vanishing-cubic-coupling step also relies on the claim that a purely contact h_*^4 amplitude cannot grow no faster than E^2; this is cited to [17,18] but not shown here. These are disclosed external inputs rather than internal inconsistencies, so they do not by themselves overturn the proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":7734,"tokens_out":14750,"duration_ms":114134,"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.","major_comments":[],"minor_comments":[{"comment":"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'.","section":"Section 3, after Eq. (3.2)"},{"comment":"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.","section":"Section 2"},{"comment":"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.","section":"Section 3, first paragraph"},{"comment":"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.","section":"Section 3, strictness of (1.2)"}],"recommendation":"minor_revision","confidential_remarks":"The paper depends crucially on the sum rules (2.7a-c) from [19], which is by two of the present authors. This is a legitimate use of prior work, but editors should ensure that the derivation in [19] is correct and that the assumptions are properly stated. The present paper is short and could have included a fuller derivation, but the result is significant."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper proves the Mirbabayi-Villadoro bound on the lightest scalar mass in KK theories, and extends it to every massive spin-2 mode. The proof is a careful linear-algebraic manipulation of the spin-2 sum rules from the authors' own 2019 paper. I checked the key combinations: (3.1), (3.2), (3.3) are correct linear combinations, the displayed polynomial factorizations are right, and the sign arguments that force a scalar below m_sc^2/m_1^2 <= 4/3 (or m_sc^2/m_n^2 < 36/25) are valid. The strictness argument for (1.2) also holds.\n\nWhat's genuinely new: the first analytic proof of (1.1), which was previously supported only numerically, and the new bound (1.2) applying to all heavier gravitons. That is a real, if modest, advance. The paper is clearly written, assumptions are stated explicitly (parity-even two-derivative cubics, spins <=2, E^2 growth, non-zero four-point amplitude), and the authors are careful to note where the non-zero coupling is automatic (gravity) versus an extra assumption.\n\nSoft spots, in proportion: the load-bearing input is the set of sum rules (2.7a-c), quoted from [19] without derivation. If any coefficient or sign there is wrong, or if the derivation requires hidden restrictions (e.g., on the 95-parameter quartic vertex, or on parity-odd/higher-derivative couplings that are excluded by (2.6)), the bounds don't follow. This is an external dependency, disclosed via citation rather than a flaw in the present argument. Similarly, the step that non-vanishing cubic couplings exist cites [17,18] for the claim that a purely contact h_*^4 amplitude cannot grow no faster than E^2; that is not shown here. Both are reasonable citations to prior work by essentially the same group, but a referee should check them.\n\nOne more thing: the paper uses SDPB to find the functional alpha, but the actual combinations found are simple rational vectors. That's fine - the numerical search is just for discovery, and the proof is analytic once the combination is known.\n\nOverall: this is a sound, honest, short proof paper. It doesn't open new frameworks, but it settles a conjecture and adds a new result. A serious referee should engage with it, mainly to verify the quoted sum rules and the cited claims about contact amplitudes. I'd accept it.\n\nWho's it for: hep-th readers working on KK phenomenology, moduli stabilization, or amplitude bootstrap. I wouldn't bring it to a general reading group, but it deserves publication.","headline":"Clean proof of the conjectured moduli bound, plus a new bound for all KK gravitons; sound conditional on the externally quoted sum rules.","tokens_in":8278,"tokens_out":2203,"would_cite":true,"duration_ms":18777,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves universal upper bounds on the masses of scalar fields that must couple to massive spin-2 particles.","keywords":["massive spin-2","Kaluza–Klein theory","moduli stabilization","sum rules","scattering amplitudes","conformal bootstrap","universal bounds","effective field theory"],"falsifier":"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.","tokens_in":7246,"feed_emoji":"📏","tokens_out":8442,"duration_ms":67505,"temperature":0.7,"pith_summary":"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.","feed_headline":"Spin-2 sum rules force light scalar partners","feed_subtitle":"The lightest massive spin-2 state needs a scalar at most sqrt(4/3) times its mass; heavier ones at most 6/5 times.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"supplies the numerically supported conjecture (1.1) that the paper proves, and its derived constraints can alternatively yield the sum rules.","marker":"[12]"},{"why":"derives the bottom-up sum rules (2.7a)–(2.7c) that are the proof's starting input.","marker":"[19]"},{"why":"establishes the high-energy growth behavior of massive spin-2 amplitudes that underlies the $E^2$ assumption.","marker":"[17]"},{"why":"gives the universal strong-coupling bound for a gravitationally coupled massive spin-2 particle, supporting the premise that no-scalar effective theories are excluded.","marker":"[18]"}],"fun_headline_variants":["Proof: spin-2 sum rules force light scalars","Scalar mass bound proven from spin-2 sum rules","Spin-2 sum rules set scalar mass limits","Kaluza-Klein scalars can't be too heavy","New proof tightens scalar-modulus bound"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Proof: spin-2 sum rules force light scalars","Scalar mass bound proven from spin-2 sum rules","Spin-2 sum rules set scalar mass limits","Kaluza-Klein scalars can't be too heavy","New proof tightens scalar-modulus bound"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000605,"raw_usage":{"total_tokens":2805,"prompt_tokens":911,"completion_tokens":1894,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":527,"completion_tokens_details":{"reasoning_tokens":1817}},"tokens_in":527,"tokens_out":1894,"duration_ms":12553,"temperature":1.0,"reasoning_tokens":1817,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T16:33:42.591894+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}