pith. machine review for the scientific record. sign in

arxiv: 2603.06521 · v2 · submitted 2026-03-06 · 🌌 astro-ph.CO · gr-qc· hep-ph· hep-th

Recognition: 1 theorem link

· Lean Theorem

Comment on: "Third-order corrections to the slow-roll expansion: Calculation and constraints with Planck, ACT, SPT, and BICEP/Keck [2025 PDU 47 101813]"

Pierre Auclair , Christophe Ringeval
Authors on Pith no claims yet

Pith reviewed 2026-05-15 14:49 UTC · model grok-4.3

classification 🌌 astro-ph.CO gr-qchep-phhep-th
keywords slow-roll expansionthird-order correctionsinflationary power spectrathree-dimensional integralscosmological perturbationsCMB constraintsMonte-Carlo integrationTaylor expansion order
0
0 comments X

The pith

Ballardini et al. misevaluated several three-dimensional integrals by integrating a truncated Taylor expansion instead of Taylor expanding the integral first.

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

This comment identifies specific errors in the third-order corrections to the slow-roll power spectra computed by Ballardini and collaborators. The mistakes occurred because certain definite three-dimensional integrals were evaluated after truncating their Taylor expansions rather than expanding the integrals themselves. The original exact analytic results from the earlier Auclair and Ringeval calculation are confirmed when the integrals are handled in the correct order. A Monte-Carlo numerical integration of the disputed integrals reproduces the original analytic values, showing that differences at the same pivot scale signal a genuine calculation problem rather than a legitimate approximation choice. Accurate higher-order terms matter for tightening constraints on inflationary models from current and future CMB observations.

Core claim

Several terms in the third-order corrections to the slow-roll power spectra presented by Ballardini et al. are incorrect. The authors of that work claim their results differ from the earlier exact derivation due to different approximation schemes, but any difference between two expansions performed at the same pivot wavenumber signals a problem. The errors trace to misevaluation of some definite three-dimensional integrals: integrating a truncated Taylor expansion instead of Taylor expanding an integral. Monte-Carlo numerical integration of the incriminated integrals matches the exact analytical values derived previously.

What carries the argument

The order of operations when evaluating the three-dimensional integrals: integrate first, then perform the Taylor expansion, rather than truncating the integrand before integration.

If this is right

  • All terms at all orders in the slow-roll expansion must be derived exactly to avoid order-dependent errors at a fixed pivot scale.
  • Correct third-order corrections are required for consistent comparison with CMB data from Planck, ACT, SPT, and BICEP/Keck.
  • Any future higher-order slow-roll calculations should integrate before expanding to prevent similar truncation artifacts.
  • Numerical Monte-Carlo checks can reliably validate analytic integral results in multi-dimensional cosmological calculations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar integral-evaluation shortcuts in other higher-order cosmological perturbation calculations could introduce unnoticed errors.
  • Exact integral-first methods may generalize to other multi-dimensional integrals appearing in inflationary model building.
  • Future observational constraints on inflation parameters will shift if the corrected third-order terms are adopted.

Load-bearing premise

The Monte-Carlo numerical integration of the three-dimensional integrals accurately reproduces the exact analytical result without sampling bias or convergence issues.

What would settle it

An independent exact analytical evaluation or a higher-precision numerical integration of the same three-dimensional integrals that yields values matching Ballardini et al. instead of the earlier analytic expressions would falsify the claim.

Figures

Figures reproduced from arXiv: 2603.06521 by Christophe Ringeval, Pierre Auclair.

Figure 1
Figure 1. Figure 1: Finite part of F000(x) computed using the VEGAS algorithm over a two-dimensional and a three-dimensional domain. All the points in the curves were computed using ten iterations of 108 samples each. The error bars show five times the estimated standard deviation. For both methods, they analytically perform the integral of a truncated Taylor expansion of F00(y) at small y, ei￾ther on the full domain – theref… view at source ↗
read the original abstract

We point out that several terms in the third-order corrections to the slow-roll power spectra presented by Ballardini et al. [1] are incorrect. The authors of that work claim that their result differ from the ones originally presented by Auclair & Ringeval [2] due to some different approximation schemes. However, in our original work, all terms at all orders have been derived exactly and any difference between two expansions performed at the same pivot wavenumber signals a problem. As we show in this comment, Ballardini et al. [1] have misevaluated some definite three-dimensional integrals by integrating a truncated Taylor expansion instead of Taylor expanding an integral. Our claim is backed-up with a Monte-Carlo numerical integration of the incriminated three-dimensional integrals, which, unsurprisingly, matches the analytical value derived in Auclair & Ringeval [2].

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. This comment manuscript identifies an error in the third-order slow-roll corrections to the power spectra computed by Ballardini et al. (2025). The authors argue that discrepancies with the exact results of Auclair & Ringeval arise because Ballardini et al. integrated a truncated Taylor expansion of the integrand in certain three-dimensional integrals rather than Taylor-expanding the integrand before performing the integration. The claim is supported by independent Monte-Carlo numerical integration of the relevant integrals, which reproduces the analytical values originally derived in Auclair & Ringeval.

Significance. If the identification of the integral mishandling holds, the comment resolves a concrete methodological discrepancy in the computation of higher-order slow-roll corrections, which are used to derive constraints from Planck, ACT, SPT, and BICEP/Keck data. The provision of an independent numerical verification (Monte-Carlo sampling matching the exact analytical result) is a strength that increases the reliability of the correction for the inflationary cosmology community.

minor comments (2)
  1. The manuscript would benefit from explicitly referencing the specific equation numbers in Ballardini et al. for the three-dimensional integrals under discussion, to allow readers to locate the error without ambiguity.
  2. A brief statement on the number of Monte-Carlo samples used and the estimated numerical uncertainty would further strengthen the verification section, even if convergence is already clear.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our comment and for recommending acceptance. The referee accurately summarizes the central point of our manuscript: that Ballardini et al. evaluated certain three-dimensional integrals by integrating a truncated Taylor expansion of the integrand rather than Taylor-expanding the integral itself, leading to incorrect terms in the third-order slow-roll power spectra. Our Monte-Carlo verification confirms the exact analytic results of Auclair & Ringeval.

Circularity Check

0 steps flagged

Minor self-citation to prior analytical result, supported by independent Monte-Carlo verification

full rationale

The paper identifies a methodological error in Ballardini et al.'s evaluation of three-dimensional integrals (integrating a truncated Taylor expansion rather than expanding the integrand). Its central claim relies on the authors' prior exact derivation in [2] but is explicitly backed by Monte-Carlo numerical integration that reproduces the analytical result. This numerical check constitutes an independent external benchmark, so the self-citation is not load-bearing. No derivation step reduces by construction to a fitted input, self-definition, or unverified self-citation chain. The paper remains self-contained against the numerical evidence.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard rules of calculus for Taylor series and definite integrals plus the accuracy of Monte-Carlo sampling; no new free parameters or invented entities are introduced.

axioms (1)
  • standard math Standard mathematical rules for evaluating definite three-dimensional integrals and performing Taylor expansions in slow-roll parameters
    Invoked when contrasting the correct order of integration and expansion.

pith-pipeline@v0.9.0 · 5473 in / 1012 out tokens · 33616 ms · 2026-05-15T14:49:37.477235+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

50 extracted references · 50 canonical work pages · 17 internal anchors

  1. [1]

    Ballardini, A

    M. Ballardini, A. Davoli, S. S. Sirletti, Third- order corrections to the slow-roll expansion: Calculation and constraints with Planck, ACT, SPT, and BICEP/Keck, Phys. Dark Univ. 47 (2025) 101813. doi: 10.1016/j.dark.2025.101813. arXiv:2408.05210

    work page doi:10.1016/j.dark.2025.101813 2025

  2. [2]

    Auclair, C

    P. Auclair, C. Ringeval, Slow-roll infla- tion at N3LO, Phys. Rev. D 106 (2022) 063512. doi: 10.1103/PhysRevD.106.063512. arXiv:2205.12608

    work page doi:10.1103/physrevd.106.063512 2022

  3. [3]

    A. A. Starobinsky, Spectrum of relict gravitational radiation and the early state of the universe, JETP Lett. 30 (1979) 682–685

    work page 1979

  4. [4]

    A. A. Starobinsky, A New Type of Isotropic Cosmological Models Without Sin- gularity, Phys. Lett. B 91 (1980) 99–102. doi:10.1016/0370-2693(80)90670-X

    work page doi:10.1016/0370-2693(80)90670-x 1980

  5. [5]

    A. H. Guth, The Inflationary Universe: A Possible Solution to the Horizon and Flatness Problems, Phys. Rev. D 23 (1981) 347–356. doi:10.1103/PhysRevD.23.347

    work page doi:10.1103/physrevd.23.347 1981

  6. [6]

    A. D. Linde, A New Inflationary Universe Sce- nario: A Possible Solution of the Horizon, Flatness, Homogeneity, Isotropy and Primordial Monopole Problems, Phys. Lett. B 108 (1982) 389–393. doi:10.1016/0370-2693(82)91219-9

    work page doi:10.1016/0370-2693(82)91219-9 1982

  7. [7]

    Albrecht, P

    A. Albrecht, P. J. Steinhardt, Cosmology for Grand Unified Theories with Radiatively Induced Symme- try Breaking, Phys. Rev. Lett. 48 (1982) 1220–1223. doi:10.1103/PhysRevLett.48.1220

    work page doi:10.1103/physrevlett.48.1220 1982

  8. [8]

    A. D. Linde, Chaotic Inflation, Phys. Lett. B 129 (1983) 177–181. doi:10.1016/0370-2693(83)90837-7

    work page doi:10.1016/0370-2693(83)90837-7 1983

  9. [9]

    V. F. Mukhanov, G. V. Chibisov, Quantum Fluctu- ations and a Nonsingular Universe, JETP Lett. 33 (1981) 532–535

    work page 1981

  10. [10]

    V. F. Mukhanov, G. V. Chibisov, The Vacuum energy and large scale structure of the universe, Sov. Phys. JETP 56 (1982) 258–265

    work page 1982

  11. [11]

    A. A. Starobinsky, Dynamics of Phase Transition in the New Inflationary Universe Scenario and Genera- tion of Perturbations, Phys. Lett. B 117 (1982) 175–

    work page 1982

  12. [12]

    doi: 10.1016/0370-2693(82)90541-X

    work page doi:10.1016/0370-2693(82)90541-x

  13. [13]

    A. H. Guth, S. Y. Pi, Fluctuations in the New Infla- tionary Universe, Phys. Rev. Lett. 49 (1982) 1110–

    work page 1982

  14. [14]

    doi: 10.1103/PhysRevLett.49.1110. 4

    work page doi:10.1103/physrevlett.49.1110

  15. [15]

    S. W. Hawking, The Development of Ir- regularities in a Single Bubble Inflationary Universe, Phys. Lett. B 115 (1982) 295. doi:10.1016/0370-2693(82)90373-2

    work page doi:10.1016/0370-2693(82)90373-2 1982

  16. [16]

    J. M. Bardeen, P. J. Steinhardt, M. S. Turner, Spon- taneous creation of almost scale-free density pertur- bations in an inflationary universe, Phys. Rev. D 28 (1983) 679–693

    work page 1983

  17. [17]

    Martin, C

    J. Martin, C. Ringeval, V. Vennin, Ency- clopædia Inflationaris, Phys. Dark Univ. 5-6 (2014) 75–235. doi: 10.1016/j.dark.2014.01.003. arXiv:1303.3787v3

    work page doi:10.1016/j.dark.2014.01.003 2014

  18. [18]

    Martin, C

    J. Martin, C. Ringeval, V. Vennin, Encyclopædia In- flationaris: Opiparous Edition, Phys. Dark Univ. 46 (2024) 101653. doi: 10.1016/j.dark.2024.101653. arXiv:1303.3787

    work page doi:10.1016/j.dark.2024.101653 2024

  19. [19]

    Martin, C

    J. Martin, C. Ringeval, V. Vennin, Cos- mic Inflation at the crossroads, JCAP 07 (2024) 087. doi: 10.1088/1475-7516/2024/07/087. arXiv:2404.10647

    work page doi:10.1088/1475-7516/2024/07/087 2024

  20. [20]

    Martin, C

    J. Martin, C. Ringeval, V. Vennin, Vanilla in- flation predicts negative running, EPL 148 (2024) 29002. doi: 10.1209/0295-5075/ad847c. arXiv:2404.15089

    work page doi:10.1209/0295-5075/ad847c 2024

  21. [21]

    Ringeval, BaBy cosmic tension, EPL 153 (2026) 29001

    C. Ringeval, BaBy cosmic tension, EPL 153 (2026) 29001. doi: 10.1209/0295-5075/ae37a0. arXiv:2510.03118

    work page doi:10.1209/0295-5075/ae37a0 2026

  22. [22]

    D. S. Salopek, J. R. Bond, Nonlinear evolution of long-wavelength metric fluctuations in inflationary models, Phys. Rev. D 42 (1990) 3936–3962. URL: https://link.aps.org/doi/10.1103/PhysRevD.42.3936. doi:10.1103/PhysRevD.42.3936

    work page doi:10.1103/physrevd.42.3936 1990

  23. [23]

    J. A. Adams, B. Cresswell, R. Easther, Inflationary perturbations from a potential with a step, Phys. Rev. D64 (2001) 123514. arXiv:astro-ph/0102236

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  24. [24]

    The exact numerical treatment of inflationary models

    C. Ringeval, The exact numerical treatment of inflationary models, Lect. Notes Phys. 738 (2008) 243–273. doi: 10.1007/978-3-540-74353-8\_7 . arXiv:astro-ph/0703486

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-540-74353-8 2008

  25. [25]

    M. J. Mortonson, H. V. Peiris, R. Easther, Bayesian Analysis of Inflation: Parameter Esti- mation for Single Field Models, Phys.Rev. D83 (2011) 043505. doi: 10.1103/PhysRevD.83.043505. arXiv:1007.4205

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.83.043505 2011

  26. [26]

    CppTransport: a platform to automate calculation of inflationary correlation functions

    D. Seery, CppTransport: a platform to automate cal- culation of inflationary correlation functions (2016). doi:10.5281/zenodo.61239. arXiv:1609.00380

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.5281/zenodo.61239 2016

  27. [27]

    Werth, L

    D. Werth, L. Pinol, S. Renaux-Petel, Cos- moFlow: Python Package for Cosmologi- cal Correlators, Class. Quant. Grav. 41 (2024) 175015. doi: 10.1088/1361-6382/ad6740. arXiv:2402.03693

    work page doi:10.1088/1361-6382/ad6740 2024

  28. [28]

    E. D. Stewart, D. H. Lyth, A more accurate analytic calculation of the spectrum of cosmological pertur- bations produced during inflation, Phys. Lett. B302 (1993) 171–175. arXiv:gr-qc/9302019

    work page internal anchor Pith review Pith/arXiv arXiv 1993

  29. [29]

    A. R. Liddle, P. Parsons, J. D. Bar- row, Formalizing the slow roll approxima- tion in inflation, Phys. Rev. D 50 (1994) 7222–7232. doi: 10.1103/PhysRevD.50.7222. arXiv:astro-ph/9408015

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.50.7222 1994

  30. [30]

    T. T. Nakamura, E. D. Stewart, The Spectrum of cosmological perturbations produced by a mul- ticomponent inflaton to second order in the slow roll approximation, Phys. Lett. B381 (1996) 413–419. doi: 10.1016/0370-2693(96)00594-1. arXiv:astro-ph/9604103

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0370-2693(96)00594-1 1996

  31. [31]

    J.-O. Gong, E. D. Stewart, The Density pertur- bation power spectrum to second order corrections in the slow roll expansion, Phys. Lett. B 510 (2001) 1–9. doi: 10.1016/S0370-2693(01)00616-5. arXiv:astro-ph/0101225

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0370-2693(01)00616-5 2001

  32. [32]

    M. B. Hoffman, M. S. Turner, Kinematic constraints to the key inflationary observables, Phys. Rev. D 64 (2001) 023506. doi: 10.1103/PhysRevD.64.023506. arXiv:astro-ph/0006321

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.64.023506 2001

  33. [33]

    D. J. Schwarz, C. A. Terrero-Escalante, A. A. Garcia, Higher order corrections to primordial spectra from cosmological inflation, Phys. Lett. B 517 (2001) 243–249. doi: 10.1016/S0370-2693(01)01036-X. arXiv:astro-ph/0106020

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0370-2693(01)01036-x 2001

  34. [34]

    S. M. Leach, A. R. Liddle, J. Martin, D. J. Schwarz, Cosmological parameter estimation and the inflationary cosmology, Phys. Rev. D 66 (2002) 023515. doi: 10.1103/PhysRevD.66.023515. arXiv:astro-ph/0202094

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.66.023515 2002

  35. [35]

    D. J. Schwarz, C. A. Terrero-Escalante, Pri- mordial fluctuations and cosmological infla- tion after WMAP 1.0, JCAP 0408 (2004)

    work page 2004

  36. [36]

    Primordial fluctuations and cosmological inflation after WMAP 1.0

    doi: 10.1088/1475-7516/2004/08/003. arXiv:hep-ph/0403129

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1475-7516/2004/08/003 2004

  37. [37]

    On the accuracy of slow-roll inflation given current observational constraints

    A. Makarov, On the accuracy of slow-roll inflation given current observational constraints, Phys. Rev. D72 (2005) 083517. arXiv:astro-ph/0506326

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  38. [38]

    Fast Bayesian inference for slow-roll inflation

    C. Ringeval, Fast Bayesian inference for slow- roll inflation, Mon. Not. Roy. Astron. Soc. 439 (2014) 3253–3261. doi: 10.1093/mnras/stu109. arXiv:1312.2347. 5

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1093/mnras/stu109 2014

  39. [39]

    Shortcomings of New Parametrizations of Inflation

    J. Martin, C. Ringeval, V. Vennin, Shortcomings of New Parametrizations of Inflation, Phys. Rev. D 94 (2016) 123521. doi: 10.1103/PhysRevD.94.123521. arXiv:1609.04739

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.94.123521 2016

  40. [40]

    Auclair, B

    P. Auclair, B. Blachier, C. Ringeval, Clock- ing the end of cosmic inflation, JCAP 10 (2024) 049. doi: 10.1088/1475-7516/2024/10/049. arXiv:2406.14152

    work page doi:10.1088/1475-7516/2024/10/049 2024

  41. [41]

    Lacasa, Cosmology in the non-linear regime : the small scale miracle, Astron

    F. Lacasa, Cosmology in the non-linear regime : the small scale miracle, Astron. Astrophys. 661 (2022) A70. doi: 10.1051/0004-6361/202037512. arXiv:1912.06906

    work page doi:10.1051/0004-6361/202037512 2022

  42. [42]

    Ilić, et al

    S. Ilić, et al. (Euclid), Euclid preparation. XV. Forecasting cosmological constraints for the Eu- clid and CMB joint analysis, Astron. Astrophys. 657 (2022) A91. doi: 10.1051/0004-6361/202141556. arXiv:2106.08346

    work page doi:10.1051/0004-6361/202141556 2022

  43. [43]

    Mellier, et al

    Y. Mellier, et al. (Euclid), Euclid. I. Overview of the Euclid mission, Astron. Astrophys. 697 (2025) A1. doi: 10.1051/0004-6361/202450810. arXiv:2405.13491

    work page doi:10.1051/0004-6361/202450810 2025

  44. [44]

    Bianchi, M

    E. Bianchi, M. Gamonal, Primordial power spectrum at N3LO in effective theo- ries of inflation, Phys. Rev. D 110 (2024) 104032. doi: 10.1103/PhysRevD.110.104032. arXiv:2405.03157

    work page doi:10.1103/physrevd.110.104032 2024

  45. [45]

    WKB approximation for inflationary cosmological perturbations

    J. Martin, D. J. Schwarz, Wkb approximation for inflationary cosmological perturbations, Phys. Rev. D67 (2003) 083512. arXiv:astro-ph/0210090

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  46. [46]

    K-inflationary Power Spectra in the Uniform Approximation

    L. Lorenz, J. Martin, C. Ringeval, K- inflationary Power Spectra in the Uniform Approximation, Phys.Rev. D78 (2008) 083513. doi: 10.1103/PhysRevD.78.083513. arXiv:0807.3037

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.78.083513 2008

  47. [47]

    G. P. Lepage, A New Algorithm for Adaptive Multi- dimensional Integration, J. Comput. Phys. 27 (1978)

    work page 1978

  48. [48]

    doi: 10.1016/0021-9991(78)90004-9

    work page doi:10.1016/0021-9991(78)90004-9

  49. [49]

    G. P. Lepage, Adaptive multidimensional integra- tion: VEGAS enhanced, J. Comput. Phys. 439 (2021) 110386. doi: 10.1016/j.jcp.2021.110386. arXiv:2009.05112

    work page doi:10.1016/j.jcp.2021.110386 2021

  50. [50]

    I. S. Gradshteyn, I. M. Ryzhik, A. Jeffrey, D. Zwill- inger, Table of Integrals, Series, and Products, 2007. 6

    work page 2007