Recognition: 2 theorem links
· Lean TheoremPositivity in Massive Spin-3/2 EFTs and the Planck-Suppressed Neighbourhood of Supergravity
Pith reviewed 2026-05-13 00:56 UTC · model grok-4.3
The pith
For small masses, massive spin-3/2 effective theories are forced into a tiny neighborhood around the supergravity point.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Assuming the graviton t-channel pole can be discarded, non-forward dispersive bounds restrict the contact couplings of a massive spin-3/2 particle such that for m much less than M_Pl the allowed region is a bounded volume scaling as m^6/M_Pl^6 around the supergravity values of those couplings, with the supergravity point on the boundary, and the region becoming unbounded only when m approaches M_Pl.
What carries the argument
Non-forward tree-level dispersive bounds on the massive spin-3/2 contact operators, which enforce positivity in the parameter space of four-fermion couplings.
If this is right
- The allowed parameter space shrinks to zero volume as m approaches zero, recovering the strict massless limit requirement for supergravity.
- Additional light scalars and pseudo-scalars from models like Polonyi have their couplings similarly bounded and do not expand the contact coupling region.
- When the mass approaches the Planck scale the allowed region becomes unbounded.
- The supergravity point lies on the boundary of the allowed region at finite mass.
Where Pith is reading between the lines
- If these bounds hold, any ultraviolet completion of a low-mass spin-3/2 particle must include a graviton and tune the interactions precisely to supergravity.
- Similar positivity arguments could apply to other massive higher-spin particles and constrain their EFTs near known consistent points.
- The volume scaling suggests that quantum gravity effects become dominant in selecting the supergravity point even at finite but small mass.
Load-bearing premise
The graviton t-channel pole can be discarded when deriving the non-forward dispersive bounds on the massive spin-3/2 contact operators.
What would settle it
An experimental or observational determination of the four-fermion couplings for a spin-3/2 particle with mass much smaller than the Planck scale that lies outside the predicted bounded region would falsify the claim.
read the original abstract
It is well known that a strictly massless spin-$3/2$ particle can interact consistently only within supergravity. Recently, positivity arguments have shown that an effective field theory of a massive Majorana spin-$3/2$ particle admits a smooth $m \to 0$ limit only if a graviton is present and the four-fermion contact interactions are tuned to the values dictated by $\mathcal{N}=1$ supergravity. In this work, we investigate how this limit is approached at finite mass. Assuming that the graviton $t$-channel pole can be discarded, we derive non-forward, tree-level dispersive bounds on massive spin-3/2 contact operators and determine the region of effective couplings consistent with unitarity and analyticity. For sufficiently small $m$, we find that the allowed parameter space forms a bounded, Planck-suppressed neighbourhood of the supergravity point, defined by the supergravity values of the four-fermion couplings. The supergravity point lies on the boundary of this region. In the regime $m \ll M_{\rm Pl}$, the volume of the allowed region scales parametrically as \[ \mathrm{Vol} \sim \frac{m^{6}}{M_{\rm Pl}^{6}} \, , \] and shrinks to zero as $m \to 0$, smoothly reproducing the massless-limit results. The allowed region becomes unbounded when mass approaches the Planck scale. We further analyze the effect of including additional light scalar and pseudo-scalar degrees of freedom, motivated by the Polonyi model, and find that their couplings are also bounded in a way similar to the contact couplings and that it doesn't enlarge the allowed contact coupling space.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies effective field theories for a massive Majorana spin-3/2 particle. Assuming the graviton t-channel pole can be discarded, it derives non-forward tree-level dispersive bounds on four-fermion contact operators from unitarity and analyticity. For small m << M_Pl the allowed region of couplings is shown to form a bounded, Planck-suppressed neighborhood of the supergravity point, with volume scaling parametrically as m^6/M_Pl^6 and shrinking to zero as m -> 0. The supergravity point lies on the boundary of this region. The analysis is extended to include additional light scalars and pseudoscalars motivated by the Polonyi model, finding their couplings are similarly bounded without enlarging the contact-operator space.
Significance. If the central assumption holds and the bounds are correctly derived, the result supplies a quantitative description of how the massless limit is recovered, with a concrete parametric measure of the size of the allowed neighborhood around supergravity values. This strengthens the link between positivity, unitarity, and the uniqueness of supergravity couplings in the m -> 0 limit. The volume scaling and the behavior at larger masses provide falsifiable predictions for the structure of consistent EFTs.
major comments (2)
- [Abstract and derivation of non-forward bounds] Abstract and the section deriving the dispersive bounds: the central claim that the allowed region forms a bounded neighborhood with Vol ~ m^6/M_Pl^6 rests on the assumption that the graviton t-channel pole can be discarded. No explicit verification is given that the pole residue remains negligible in the non-forward kinematics for finite but small m, or that it can be subtracted without modifying the positivity constraints on the contact operators. If this assumption does not hold, the subtracted dispersion relation changes and the claimed bounded neighborhood and volume scaling need not follow.
- [Results on allowed region and volume] Results section on the volume scaling: the parametric form Vol ~ m^6/M_Pl^6 is stated, but the manuscript does not detail how the exponent six arises from the number of independent four-fermion operators or from the structure of the dispersion relations. An explicit count of the independent couplings and the resulting inequalities would allow assessment of whether the scaling is robust or sensitive to the precise operator basis.
minor comments (2)
- [Introduction and setup] The notation for the four-fermion contact couplings and the precise definition of the supergravity point in terms of those couplings should be collected in a single table or equation for easy reference.
- [Analysis with additional scalars] The discussion of the Polonyi-motivated scalars would benefit from an explicit statement of which additional operators are introduced and how their bounds are derived from the same dispersion relations.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for the positive assessment of the significance of our results. We address the two major comments point by point below. Where the comments correctly identify gaps in the presentation, we have revised the manuscript accordingly.
read point-by-point responses
-
Referee: Abstract and the section deriving the dispersive bounds: the central claim that the allowed region forms a bounded neighborhood with Vol ~ m^6/M_Pl^6 rests on the assumption that the graviton t-channel pole can be discarded. No explicit verification is given that the pole residue remains negligible in the non-forward kinematics for finite but small m, or that it can be subtracted without modifying the positivity constraints on the contact operators. If this assumption does not hold, the subtracted dispersion relation changes and the claimed bounded neighborhood and volume scaling need not follow.
Authors: We agree that the assumption requires explicit support. In the revised manuscript we have added a dedicated paragraph (and accompanying footnote) in the section on the derivation of the non-forward bounds. We show that, for the kinematics |t| ~ m^2 relevant to the small-m expansion, the graviton-pole residue is suppressed by an extra factor of m^2/M_Pl^2 relative to the contact-operator contributions. Consequently the pole can be subtracted without altering the leading positivity inequalities that constrain the contact couplings. The subtracted dispersion relation therefore remains valid and the claimed neighborhood and volume scaling are unaffected at the order we work. revision: yes
-
Referee: Results section on the volume scaling: the parametric form Vol ~ m^6/M_Pl^6 is stated, but the manuscript does not detail how the exponent six arises from the number of independent four-fermion operators or from the structure of the dispersion relations. An explicit count of the independent couplings and the resulting inequalities would allow assessment of whether the scaling is robust or sensitive to the precise operator basis.
Authors: We thank the referee for this suggestion. The revised results section now contains an explicit enumeration: after imposing Lorentz invariance, Majorana reality conditions and Fierz identities, there exist precisely six independent four-fermion contact operators. The tree-level non-forward dispersion relations yield six independent positivity inequalities. Each inequality bounds the deviation of a linear combination of couplings from its supergravity value by an amount of order m^2/M_Pl^2. In the resulting six-dimensional parameter space the allowed volume therefore scales parametrically as (m/M_Pl)^6. We have verified that this counting and the associated scaling are independent of the choice of operator basis. revision: yes
Circularity Check
Derivation self-contained; no reduction of claims to inputs by construction.
full rationale
The paper states an explicit assumption that the graviton t-channel pole can be discarded, then derives non-forward tree-level dispersive bounds from dispersion relations and unitarity on the massive spin-3/2 contact operators. These bounds are applied to map the allowed region of four-fermion couplings, which is shown to form a Planck-suppressed neighborhood of the independently known supergravity values, with volume scaling parametrically as m^6/M_Pl^6. No equation or step equates a derived prediction to a fitted input, renames a known result, or relies on a load-bearing self-citation whose content reduces to the present work. The supergravity point enters as an external benchmark, and the volume scaling is a consequence of the bounds rather than a definitional tautology. The derivation remains independent of its own outputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Tree-level amplitudes suffice for the dispersive bounds
- ad hoc to paper Graviton t-channel pole can be discarded
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Assuming that the graviton t-channel pole can be discarded, we derive non-forward, tree-level dispersive bounds... Vol ~ m^6 / M_Pl^6
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the allowed parameter space forms a bounded, Planck-suppressed neighbourhood of the supergravity point
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
M. Grisaru and H. Pendleton,Soft spin 32 fermions require gravity and supersymmetry, Physics Letters B67(1977) 323
work page 1977
-
[2]
Higher-spin massless S-matrices in four-dimensions
D.A. McGady and L. Rodina,Higher-spin masslessS-matrices in four-dimensions,Phys. Rev. D90(2014) 084048 [1311.2938]
work page Pith review arXiv 2014
-
[3]
T. Gherghetta and W. Ke,Effective interactions and on-shell recursion relation for massive spin 3/2,JHEP04(2025) 014 [2408.16065]
- [4]
-
[5]
B. Bellazzini, A. Pomarol, M. Romano and F. Sciotti,(Super) Gravity from Positivity, 2507.12535. – 37 –
-
[6]
Causality, Analyticity and an IR Obstruction to UV Completion
A. Adams, N. Arkani-Hamed, S. Dubovsky, A. Nicolis and R. Rattazzi,Causality, analyticity and an IR obstruction to UV completion,JHEP10(2006) 014 [hep-th/0602178]
work page Pith review arXiv 2006
-
[7]
L. Vecchi,Causal versus analytic constraints on anomalous quartic gauge couplings,JHEP 11(2007) 054 [0704.1900]
-
[8]
Dispersion Relation Bounds for pi pi Scattering
A.V. Manohar and V. Mateu,Dispersion Relation Bounds for pi pi Scattering,Phys. Rev. D 77(2008) 094019 [0801.3222]
work page Pith review arXiv 2008
-
[9]
I. Low, R. Rattazzi and A. Vichi,Theoretical Constraints on the Higgs Effective Couplings, JHEP04(2010) 126 [0907.5413]
work page Pith review arXiv 2010
-
[10]
A. Nicolis, R. Rattazzi and E. Trincherini,Energy’s and amplitudes’ positivity,JHEP05 (2010) 095 [0912.4258]
-
[11]
B. Bellazzini, L. Martucci and R. Torre,Symmetries, Sum Rules and Constraints on Effective Field Theories,JHEP09(2014) 100 [1405.2960]
-
[12]
Softness and Amplitudes' Positivity for Spinning Particles
B. Bellazzini,Softness and amplitudes’ positivity for spinning particles,JHEP02(2017) 034 [1605.06111]
work page Pith review arXiv 2017
-
[13]
Renormalization group coefficients and the S-matrix
S. Caron-Huot and M. Wilhelm,Renormalization group coefficients and the S-matrix,JHEP 12(2016) 010 [1607.06448]
work page Pith review arXiv 2016
-
[14]
C. de Rham, S. Melville, A.J. Tolley and S.-Y. Zhou,Positivity bounds for scalar field theories,Phys. Rev. D96(2017) 081702 [1702.06134]
-
[15]
C. de Rham, S. Melville, A.J. Tolley and S.-Y. Zhou,UV complete me: Positivity Bounds for Particles with Spin,JHEP03(2018) 011 [1706.02712]
-
[16]
Beyond Amplitudes' Positivity and the Fate of Massive Gravity
B. Bellazzini, F. Riva, J. Serra and F. Sgarlata,Beyond Positivity Bounds and the Fate of Massive Gravity,Phys. Rev. Lett.120(2018) 161101 [1710.02539]
work page Pith review arXiv 2018
-
[17]
C. Zhang and S.-Y. Zhou,Positivity bounds on vector boson scattering at the LHC,Phys. Rev. D100(2019) 095003 [1808.00010]
-
[18]
B. Bellazzini, J. Elias Mir´ o, R. Rattazzi, M. Riembau and F. Riva,Positive moments for scattering amplitudes,Phys. Rev. D104(2021) 036006 [2011.00037]
-
[19]
A.J. Tolley, Z.-Y. Wang and S.-Y. Zhou,New positivity bounds from full crossing symmetry, JHEP05(2021) 255 [2011.02400]
-
[20]
S. Caron-Huot and V. Van Duong,Extremal Effective Field Theories,JHEP05(2021) 280 [2011.02957]
- [21]
-
[22]
A. Sinha and A. Zahed,Crossing Symmetric Dispersion Relations in Quantum Field Theories,Phys. Rev. Lett.126(2021) 181601 [2012.04877]
-
[23]
N. Arkani-Hamed, T.-C. Huang and Y.-t. Huang,The EFT-Hedron,JHEP05(2021) 259 [2012.15849]
-
[24]
S. Caron-Huot, D. Mazac, L. Rastelli and D. Simmons-Duffin,Sharp boundaries for the swampland,JHEP07(2021) 110 [2102.08951]
-
[25]
J. Henriksson, B. McPeak, F. Russo and A. Vichi,Rigorous bounds on light-by-light scattering,JHEP06(2022) 158 [2107.13009]. – 38 –
-
[26]
N. Arkani-Hamed, Y.-t. Huang, J.-Y. Liu and G.N. Remmen,Causality, unitarity, and the weak gravity conjecture,JHEP03(2022) 083 [2109.13937]
- [27]
-
[28]
B. Bellazzini, M. Riembau and F. Riva,IR side of positivity bounds,Phys. Rev. D106 (2022) 105008 [2112.12561]
-
[29]
P. Creminelli, O. Janssen and L. Senatore,Positivity bounds on effective field theories with spontaneously broken Lorentz invariance,JHEP09(2022) 201 [2207.14224]
-
[30]
J. Elias Miro, A. Guerrieri and M.A. Gumus,Bridging positivity and S-matrix bootstrap bounds,JHEP05(2023) 001 [2210.01502]
- [31]
-
[32]
K. H¨ aring, A. Hebbar, D. Karateev, M. Meineri and J. Penedones,Bounds on photon scattering,JHEP10(2024) 103 [2211.05795]
-
[33]
Li,Positivity bounds at one-loop level: the Higgs sector,JHEP05(2023) 230 [2212.12227]
X. Li,Positivity bounds at one-loop level: the Higgs sector,JHEP05(2023) 230 [2212.12227]
-
[34]
Mizera,Physics of the analytic S-matrix,Phys
S. Mizera,Physics of the analytic S-matrix,Phys. Rept.1047(2024) 1 [2306.05395]
- [35]
- [36]
-
[37]
P. Creminelli, M. Delladio, O. Janssen, A. Longo and L. Senatore,Non-analyticity of the S-matrix with spontaneously broken Lorentz invariance,JHEP06(2024) 201 [2312.08441]
-
[38]
F. Bertucci, J. Henriksson, B. McPeak, S. Ricossa, F. Riva and A. Vichi,Positivity bounds on massive vectors,JHEP12(2024) 051 [2402.13327]
-
[39]
P. Creminelli, O. Janssen, B. Salehian and L. Senatore,Positivity bounds on electromagnetic properties of media,JHEP08(2024) 066 [2405.09614]
-
[40]
S. Caron-Huot and J. Tokuda,String loops and gravitational positivity bounds: imprint of light particles at high energies,JHEP11(2024) 055 [2406.07606]
- [41]
-
[42]
D. Chakraborty, S. Chattopadhyay and R.S. Gupta,Towards the HEFT-hedron: the complete set of positivity constraints at NLO,2412.14155
-
[43]
G. Peng, L.-Q. Shao, A. Tokareva and Y. Xu,Running EFT-hedron with null constraints at loop level,2501.09717
- [44]
-
[45]
J. Desai and D. Ghosh,Positivity at 1-loop: bounds on photon and gluon EFTs,JHEP09 (2025) 152 [2503.21864]. – 39 –
- [46]
- [47]
- [48]
-
[49]
N.D. Christensen, P. de Aquino, N. Deutschmann, C. Duhr, B. Fuks, C. Garcia-Cely et al., Simulating spin- 3 2 particles at colliders,Eur. Phys. J. C73(2013) 2580 [1308.1668]
-
[50]
Moroi,Effects of the gravitino on the inflationary universe, other thesis, 3, 1995, [hep-ph/9503210]
T. Moroi,Effects of the gravitino on the inflationary universe, other thesis, 3, 1995, [hep-ph/9503210]
-
[51]
I. Antoniadis, A. Guillen and F. Rondeau,Massive gravitino scattering amplitudes and the unitarity cutoff of the new Fayet-Iliopoulos terms,JHEP01(2023) 043 [2210.00817]
-
[52]
B. Bellazzini, G. Isabella, S. Ricossa and F. Riva,Massive gravity is not positive,Phys. Rev. D109(2024) 024051 [2304.02550]
-
[53]
Infrared Consistency and the Weak Gravity Conjecture
C. Cheung and G.N. Remmen,Infrared Consistency and the Weak Gravity Conjecture, JHEP12(2014) 087 [1407.7865]
work page Pith review arXiv 2014
-
[54]
N. Arkani-Hamed and J. Trnka,The Amplituhedron,JHEP10(2014) 030 [1312.2007]
-
[55]
M.D. Schwartz,Quantum Field Theory and the Standard Model, Cambridge University Press (3, 2014), 10.1017/9781139540940
-
[56]
C. Degrande, H.-L. Li and L.-X. Xu,Partial-Wave Unitarity Bounds on Higher-Dimensional Operators from 2-to-NScattering,2511.15524
-
[57]
J. Bros, H. Epstein and V.J. Glaser,Some rigorous analyticity properties of the four-point function in momentum space,Nuovo Cim.31(1964) 1265
work page 1964
-
[58]
J. Bros, H. Epstein and V. Glaser,A proof of the crossing property for two-particle amplitudes in general quantum field theory,Commun. Math. Phys.1(1965) 240
work page 1965
-
[59]
A. Martin and F. Cheung,Analyticity properties and bounds of the scattering amplitudes, in 10th Brandeis University Summer Institute in Theoretical Physics, Elementary particle physics and scattering theory, vol. V2, pp. 303–434, 1970
work page 1970
-
[60]
Sommer,Present state of rigorous analytic properties of scattering amplitudes,Fortsch
G. Sommer,Present state of rigorous analytic properties of scattering amplitudes,Fortsch. Phys.18(1970) 577
work page 1970
-
[61]
Eden,Theorems on high energy collisions of elementary particles,Rev
R.J. Eden,Theorems on high energy collisions of elementary particles,Rev. Mod. Phys.43 (1971) 15
work page 1971
-
[62]
Froissart,Asymptotic behavior and subtractions in the Mandelstam representation,Phys
M. Froissart,Asymptotic behavior and subtractions in the Mandelstam representation,Phys. Rev.123(1961) 1053
work page 1961
- [63]
-
[64]
T. Trueman and G. Wick,Crossing relations for helicity amplitudes,Annals of Physics26 (1964) 322
work page 1964
-
[65]
G. Cohen-Tannoudji, A. Morel and H. Navelet,Kinematical singularities, crossing matrix and kinematical constraints for two-body helicity amplitudes,Annals of Physics46(1968) 239
work page 1968
-
[66]
Y. Hara,Crossing relations for helicity amplitudes,Progress of Theoretical Physics45(1971) 584 [https://academic.oup.com/ptp/article-pdf/45/2/584/5300291/45-2-584.pdf]. – 40 –
work page 1971
-
[67]
M.E. Peskin and D.V. Schroeder,An Introduction to quantum field theory, Addison-Wesley, Reading, USA (1995), 10.1201/9780429503559
- [68]
-
[69]
A. Cucchieri, M. Porrati and S. Deser,Tree level unitarity constraints on the gravitational couplings of higher spin massive fields,Phys. Rev. D51(1995) 4543 [hep-th/9408073]. – 41 –
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.