Recognition: 2 theorem links
· Lean TheoremMassive Exchange and the Sign of the Equilateral Bispectrum
Pith reviewed 2026-05-10 18:46 UTC · model grok-4.3
The pith
The equilateral bispectrum from tree-level massive scalar exchange during inflation is not universally negative once the full EFT operator basis is included.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Within the full EFT operator basis the inflationary bispectrum generated by principal-series massive scalar exchange receives independent contributions from multiple cubic structures. These structures compete in the equilateral configuration, so the overall sign is fixed by a critical ratio of interaction coefficients rather than being locked negative by the leading operator alone. The de Sitter-invariant seed four-point function, transformed by weight-shifting operators and a soft-limit procedure, yields this result. The same competition persists, though the critical ratio is modified, when the inflaton sound speed is reduced below one or when multiple massive particles are exchanged.
What carries the argument
Critical ratio of interaction coefficients separating regions of positive and negative equilateral bispectrum, obtained by decomposing the full EFT into competing cubic structures and evaluating their net contribution in the equilateral limit.
If this is right
- Only the leading boost-breaking operator produces a strictly negative equilateral bispectrum.
- Reduced sound speed alters the numerical value of the critical ratio.
- Exchange of several massive particles can produce a positive equilateral bispectrum even when the higher-order operator is subdominant.
- Universally negative equilateral non-Gaussianity is therefore a signature of restricted rather than generic EFT operator content.
Where Pith is reading between the lines
- Model builders can now construct hidden-sector scenarios that yield positive equilateral signals without violating the leading-operator constraints.
- Observational analyses that assume the bispectrum must be negative may need to enlarge their parameter space to include positive values from massive exchange.
- The same competition between operators is likely to appear in other kinematic limits or in higher-point correlators, offering additional observational handles.
Load-bearing premise
The bootstrap-constructed de Sitter-invariant seed four-point function plus weight-shifting operators and soft limits fully captures every tree-level contribution allowed by the complete EFT operator basis.
What would settle it
An explicit Feynman-diagram calculation of the equilateral bispectrum for two choices of coefficient ratio lying on either side of the derived critical value, checking whether the sign actually reverses.
Figures
read the original abstract
We study the inflationary bispectrum generated by the tree-level exchange of a massive hidden-sector scalar during inflation. When the interaction between the inflaton and the hidden sector arises only from the leading boost-breaking operator of the Effective Field Theory (EFT) of inflation, the equilateral bispectrum for principal-series scalar exchange is known to be universally negative, independent of the sign of the coupling. We revisit this result within the full EFT operator basis. Using bootstrap methods, we construct the de Sitter-invariant seed four-point function and obtain the inflationary bispectrum via weight-shifting operators and a soft-limit procedure. While the equilateral bispectrum remains strictly negative when only the leading interaction is present, additional operators generate independent cubic structures whose contributions compete in the equilateral configuration. As a result, the sign of the bispectrum is no longer universal. We derive a critical ratio of interaction coefficients that separates regions of positive and negative equilateral bispectrum. We further study the effects of reduced sound speed $c_s<1$ and the exchange of multiple particles. In both cases, the critical ratio is modified, and for multi-particle exchange a positive equilateral bispectrum can arise even when the higher-order operator is subdominant. Our results show that the negativity of the equilateral bispectrum from massive exchange is not generic, but reflects a restricted operator structure in the EFT of inflation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the equilateral bispectrum from tree-level massive scalar exchange during inflation is not universally negative once the full EFT operator basis is considered. While the leading boost-breaking operator alone produces a strictly negative signal independent of coupling sign, additional operators generate independent cubic structures whose contributions can compete. Using bootstrap methods to build a de Sitter-invariant seed four-point function, followed by weight-shifting operators and a soft-limit extraction, the authors derive a critical ratio of interaction coefficients that separates regions of positive and negative equilateral bispectrum. They further show that reduced sound speed and multi-particle exchange modify this ratio, allowing positive signals even when higher operators are subdominant.
Significance. If the central result holds, the work is significant for inflationary cosmology and the EFT of inflation: it demonstrates that the negativity of the equilateral bispectrum from massive exchange is an artifact of a restricted operator set rather than a generic feature. This has direct implications for interpreting CMB and large-scale structure constraints on primordial non-Gaussianity and for model-building with hidden-sector scalars. Credit is due for the independent bootstrap construction of the seed function and the explicit, falsifiable critical ratio that emerges from the equations rather than being imposed by hand.
major comments (2)
- [Section 2] Section 2 (seed four-point function construction): the bootstrap procedure for the de Sitter-invariant seed 4pt function must be shown to produce the complete set of independent cubic vertices allowed by the general EFT Lagrangian. It is not demonstrated that weight-shifting operators applied to this single seed generate linearly independent contributions to the equilateral bispectrum that can genuinely compete with the leading boost-breaking operator, as required for the existence of a critical ratio.
- [Section 4] Soft-limit procedure and critical ratio derivation (abstract and Section 4): the extraction of the bispectrum via soft limits assumes that the additional operators contribute independently in the equilateral configuration. An explicit basis decomposition or numerical check of the coefficient matrix in the equilateral limit is needed to confirm that the structures remain independent rather than being correlated by the weight-shifting or soft-limit steps; without this, the claimed separation into positive and negative regions is not load-bearing.
minor comments (3)
- Notation for the interaction coefficients and the critical ratio could be made more explicit (e.g., a clear definition table) to facilitate reproduction of the sign-change boundary.
- The figures illustrating the bispectrum sign as a function of the ratio would benefit from additional curves for different sound speeds and particle masses to better visualize the modified critical ratios discussed in the text.
- A few intermediate algebraic steps in the weight-shifting application (around the transition from seed 4pt to bispectrum) are compressed; expanding one representative calculation would improve readability without lengthening the manuscript substantially.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for their constructive comments. We are pleased that the referee recognizes the significance of our results for the EFT of inflation. Below we provide point-by-point responses to the major comments. We agree that additional explicit demonstrations will improve the clarity and rigor of the paper, and we will incorporate these in the revised version.
read point-by-point responses
-
Referee: [Section 2] Section 2 (seed four-point function construction): the bootstrap procedure for the de Sitter-invariant seed 4pt function must be shown to produce the complete set of independent cubic vertices allowed by the general EFT Lagrangian. It is not demonstrated that weight-shifting operators applied to this single seed generate linearly independent contributions to the equilateral bispectrum that can genuinely compete with the leading boost-breaking operator, as required for the existence of a critical ratio.
Authors: We appreciate the referee's suggestion to make the completeness of the bootstrap construction more explicit. In the manuscript, the seed four-point function is constructed to be the general de Sitter-invariant object consistent with the symmetries of the EFT, and the weight-shifting operators are chosen to generate all allowed cubic interactions. To address this concern directly, we will revise Section 2 to include an explicit mapping from the EFT operators to the seed and weight-shifted contributions, along with a demonstration that the resulting equilateral bispectrum structures are linearly independent by computing their overlap matrix and showing it has full rank. This will confirm that the contributions can compete and support the existence of the critical ratio. revision: yes
-
Referee: [Section 4] Soft-limit procedure and critical ratio derivation (abstract and Section 4): the extraction of the bispectrum via soft limits assumes that the additional operators contribute independently in the equilateral configuration. An explicit basis decomposition or numerical check of the coefficient matrix in the equilateral limit is needed to confirm that the structures remain independent rather than being correlated by the weight-shifting or soft-limit steps; without this, the claimed separation into positive and negative regions is not load-bearing.
Authors: We agree that an explicit check of independence in the equilateral limit would make the derivation more robust. The analytical expressions in Section 4 are derived such that the soft-limit extraction preserves the independence of the operator contributions, as each weight-shifted term produces a distinct functional form in the bispectrum. In the revised manuscript, we will add a numerical verification by evaluating the individual contributions in the equilateral configuration and presenting the coefficient matrix, demonstrating that it is invertible and that the critical ratio indeed separates positive and negative regions without correlations introduced by the procedure. revision: yes
Circularity Check
No circularity: bootstrap seed construction yields independent operator contributions
full rationale
The paper constructs the de Sitter-invariant seed four-point function via bootstrap methods, then applies weight-shifting operators and soft-limit extraction to obtain the bispectrum. The critical ratio separating positive and negative equilateral bispectrum is obtained by direct comparison of the independent cubic structures generated by the leading boost-breaking operator versus additional EFT operators. No step reduces by definition to a fitted parameter, self-citation chain, or renamed input; the sign non-universality follows from the explicit competition in the equilateral limit as stated in the abstract and derivation outline. The method is self-contained against external EFT operator basis benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The seed four-point function is de Sitter-invariant
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean, Cost/FunctionalEquation.leanreality_from_one_distinction, washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We use bootstrap methods, we construct the de Sitter-invariant seed four-point function and obtain the inflationary bispectrum via weight-shifting operators and a soft-limit procedure.
-
IndisputableMonolith/Foundation/BranchSelection.lean, AlphaCoordinateFixation.leanbranch_selection, alpha_pin_under_high_calibration unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the equilateral bispectrum for principal-series scalar exchange is known to be universally negative... additional operators generate independent cubic structures
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]
A. A. Starobinsky, Phys. Lett. B91, 99 (1980)
1980
-
[2]
A. H. Guth, Phys. Rev. D23, 347 (1981)
1981
-
[3]
A. D. Linde, Phys. Lett. B108, 389 (1982)
1982
-
[4]
A. A. Starobinsky, JETP Lett.30, 682 (1979)
1979
-
[5]
V. F. Mukhanov and G. V. Chibisov, JETP Lett.33, 532 (1981)
1981
- [6]
-
[7]
D. Baumann, inTheoretical Advanced Study Institute in Elementary Particle Physics: Physics of the Large and the Small(2011) pp. 523–686, arXiv:0907.5424 [hep-th]
work page Pith review arXiv 2011
-
[8]
An introduction to inflation and cosmological perturbation theory
L. Sriramkumar, (2009), arXiv:0904.4584 [astro-ph.CO]
-
[9]
B. A. Bassett, S. Tsujikawa, and D. Wands, Rev. Mod. Phys.78, 537 (2006), arXiv:astro-ph/0507632
work page Pith review arXiv 2006
-
[10]
D. Baumann and H. V. Peiris, Adv. Sci. Lett.2, 105 (2009), arXiv:0810.3022 [astro-ph]
-
[11]
Planck 2018 results. VI. Cosmological parameters
N. Aghanimet al.(Planck), Astron. Astrophys.641, A6 (2020), [Erratum: Astron.Astrophys. 652, C4 (2021)], arXiv:1807.06209 [astro-ph.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2020
-
[12]
Planck 2018 results. X. Constraints on inflation
Y. Akramiet al.(Planck), Astron. Astrophys.641, A10 (2020), arXiv:1807.06211 [astro-ph.CO]
work page internal anchor Pith review arXiv 2020
- [13]
- [14]
-
[15]
D. Seery and J. E. Lidsey, JCAP06, 003 (2005), arXiv:astro-ph/0503692
-
[16]
Observational signatures and non-Gaussianities of general single field inflation
X. Chen, M.-x. Huang, S. Kachru, and G. Shiu, JCAP 01, 002 (2007), arXiv:hep-th/0605045
-
[17]
Primordial perturbations and non-Gaussianities in DBI and general multi-field inflation
D. Langlois, S. Renaux-Petel, D. A. Steer, and T. Tanaka, Phys. Rev. D78, 063523 (2008), arXiv:0806.0336 [hep-th]
- [18]
-
[19]
Enhanced Non-Gaussianity from Excited Initial States
R. Holman and A. J. Tolley, JCAP05, 001 (2008), arXiv:0710.1302 [hep-th]
-
[20]
X. Chen, R. Easther, and E. A. Lim, JCAP04, 010 (2008), arXiv:0801.3295 [astro-ph]
work page Pith review arXiv 2008
-
[21]
S. Shandera, Phys. Rev. D79, 123518 (2009), arXiv:0812.0818 [astro-ph]
- [22]
- [23]
-
[24]
Primordial Non-Gaussianities from Inflation Models
X. Chen, Adv. Astron.2010, 638979 (2010), arXiv:1002.1416 [astro-ph.CO]
work page Pith review arXiv 2010
-
[25]
L. Senatore and M. Zaldarriaga, JCAP01, 003 (2011), arXiv:1004.1201 [hep-th]
-
[26]
N. Bartolo, M. Fasiello, S. Matarrese, and A. Riotto, JCAP08, 008 (2010), arXiv:1004.0893 [astro-ph.CO]
- [27]
- [28]
-
[29]
S. Bhowmick, D. Ghosh, and F. Ullah, JHEP10, 057 (2024), arXiv:2405.10374 [hep-th]
- [30]
-
[31]
D. Ghosh and F. Ullah, JCAP09, 016 (2025), arXiv:2502.05630 [hep-th]
-
[32]
S. Bhowmick, M. H. G. Lee, D. Ghosh, and F. Ullah, JHEP02, 116 (2026), arXiv:2503.21880 [hep-th]
- [33]
-
[34]
D. Baumann and L. McAllister,Inflation and String The- ory, Cambridge Monographs on Mathematical Physics (Cambridge University Press, 2015) arXiv:1404.2601 [hep- th]
-
[35]
Signatures of Supersymmetry from the Early Universe,
D. Baumann and D. Green, Phys. Rev. D85, 103520 (2012), arXiv:1109.0292 [hep-th]
-
[36]
On Soft Limits of Inflationary Correlation Functions
V. Assassi, D. Baumann, and D. Green, JCAP11, 047 (2012), arXiv:1204.4207 [hep-th]
work page Pith review arXiv 2012
-
[37]
Effective Field Theory Approach to Quasi-Single-Field Inflation and Effects of Heavy Fields,
T. Noumi, M. Yamaguchi, and D. Yokoyama, JHEP06, 051 (2013), arXiv:1211.1624 [hep-th]
-
[38]
N. Arkani-Hamed and J. Maldacena, (2015), arXiv:1503.08043 [hep-th]
work page Pith review arXiv 2015
-
[39]
N. Arkani-Hamed, D. Baumann, H. Lee, and G. L. Pi- mentel, JHEP04, 105 (2020), arXiv:1811.00024 [hep-th]
-
[40]
G. L. Pimentel and C. Yang, (2025), arXiv:2503.17840 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[41]
Strongly Coupled Sectors in Inflation: Gapped Theories of Unparticles
Y. Jiang, G. L. Pimentel, and C. Yang, (2025), arXiv:2512.23796 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[42]
Banks and A
T. Banks and A. Zaks, Nucl. Phys. B196, 189 (1982)
1982
-
[43]
H. Georgi, Phys. Rev. Lett.98, 221601 (2007), arXiv:hep- ph/0703260
-
[44]
Another odd thing about unparticle physics,
H. Georgi, Phys. Lett. B650, 275 (2007), arXiv:0704.2457 [hep-ph]
-
[45]
H. Georgi and Y. Kats, Phys. Rev. Lett.101, 131603 (2008), arXiv:0805.3953 [hep-ph]
-
[46]
H. Georgi and Y. Kats, JHEP02, 065 (2010), arXiv:0904.1962 [hep-ph]. 11
-
[47]
B. Grinstein, K. A. Intriligator, and I. Z. Rothstein, Phys. Lett. B662, 367 (2008), arXiv:0801.1140 [hep-ph]
- [48]
-
[49]
S. Cespedes, V. Atal, and G. A. Palma, JCAP05, 008 (2012), arXiv:1201.4848 [hep-th]
-
[50]
D.-G. Wang and B. Zhang, JHEP09, 122 (2025), arXiv:2505.19066 [hep-th]
-
[51]
P. Chakraborty and J. Stout, JHEP02, 021 (2024), arXiv:2310.01494 [hep-th]
- [52]
-
[53]
M. Alishahiha, E. Silverstein, and D. Tong, Phys. Rev. D70, 123505 (2004), arXiv:hep-th/0404084
- [54]
-
[55]
N. Bartolo, E. Komatsu, S. Matarrese, and A. Riotto, Phys. Rept.402, 103 (2004), arXiv:astro-ph/0406398
-
[56]
P. Creminelli and M. Zaldarriaga, JCAP10, 006 (2004), arXiv:astro-ph/0407059
- [57]
-
[58]
D. Baumann and D. Green, JCAP09, 014 (2011), arXiv:1102.5343 [hep-th]
-
[59]
A. Achucarro, J.-O. Gong, S. Hardeman, G. A. Palma, and S. P. Patil, JCAP01, 030 (2011), arXiv:1010.3693 [hep-ph]
-
[60]
R. Flauger, M. Mirbabayi, L. Senatore, and E. Silverstein, JCAP10, 058 (2017), arXiv:1606.00513 [hep-th]
-
[61]
The Effective Field Theory of Inflation
C. Cheung, P. Creminelli, A. L. Fitzpatrick, J. Kaplan, and L. Senatore, JHEP03, 014 (2008), arXiv:0709.0293 [hep-th]
work page Pith review arXiv 2008
-
[62]
Effective Field Theory for Inflation
S. Weinberg, Phys. Rev. D77, 123541 (2008), arXiv:0804.4291 [hep-th]
work page Pith review arXiv 2008
-
[63]
H. Lee, D. Baumann, and G. L. Pimentel, JHEP12, 040 (2016), arXiv:1607.03735 [hep-th]
work page Pith review arXiv 2016
-
[64]
Weinberg, PoSCD09, 001 (2009), arXiv:0908.1964 [hep-th]
S. Weinberg, PoSCD09, 001 (2009), arXiv:0908.1964 [hep-th]
-
[65]
L. Senatore and M. Zaldarriaga, JHEP04, 024 (2012), arXiv:1009.2093 [hep-th]
-
[66]
P. Creminelli, G. D’Amico, M. Musso, J. Norena, and E. Trincherini, JCAP02, 006 (2011), arXiv:1011.3004 [hep-th]
-
[67]
Fasiello,Effective Field Theory for Inflation, Ph.D
M. Fasiello,Effective Field Theory for Inflation, Ph.D. thesis, Milan Bicocca U. (2011), arXiv:1106.2189 [astro- ph.CO]
-
[68]
R. Jimenez, P. Talavera, and L. Verde, Int. J. Mod. Phys. A27, 1250174 (2012), arXiv:1107.2542 [astro-ph.CO]
-
[69]
G. Shiu and J. Xu, Phys. Rev. D84, 103509 (2011), arXiv:1108.0981 [hep-th]
-
[70]
D. Lopez Nacir, R. A. Porto, L. Senatore, and M. Zal- darriaga, JHEP01, 075 (2012), arXiv:1109.4192 [hep-th]
- [71]
- [72]
-
[73]
A. Achucarro, J.-O. Gong, S. Hardeman, G. A. Palma, and S. P. Patil, JHEP05, 066 (2012), arXiv:1201.6342 [hep-th]
- [74]
-
[75]
Creminelli, JCAP10, 003 (2003), arXiv:astro- ph/0306122
P. Creminelli, JCAP10, 003 (2003), arXiv:astro- ph/0306122
-
[76]
T. N. Pham and T. N. Truong, Phys. Rev. D31, 3027 (1985)
1985
- [77]
-
[78]
C. de Rham, S. Jazayeri, and A. J. Tolley, Phys. Rev. D 112, 083531 (2025), arXiv:2506.19198 [hep-th]
-
[79]
Cosmological Bootstrap in Slow Motion,
S. Jazayeri and S. Renaux-Petel, JHEP12, 137 (2022), arXiv:2205.10340 [hep-th]
-
[80]
D. Baumann, C. Duaso Pueyo, A. Joyce, H. Lee, and G. L. Pimentel, SciPost Phys.11, 071 (2021), arXiv:2005.04234 [hep-th]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.