Positivity 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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.