Recognition: 2 theorem links
· Lean TheoremDifferential Equations for Massive Correlators
Pith reviewed 2026-05-10 16:51 UTC · model grok-4.3
The pith
Massive cosmological correlators obey differential equations derived from a combinatorial graph structure.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Feynman integrals underlying cosmological correlators of massive scalars are expressed, via the integral representation of the massive mode functions, as twisted integrals of rational functions belonging to a finite master-integral basis. This basis obeys a closed first-order system of differential equations that can be derived in the time-integral representation. The system possesses a simple graphical description in terms of graph tubings, which encode the couplings among the basis functions and the evolution of singularities, thereby supplying both an efficient derivation algorithm and a boundary-centric view of the analytic structure.
What carries the argument
Graph tubings, which combinatorially encode the couplings among master integrals and the evolution of their singularities in the differential equations.
If this is right
- The differential equations for any finite number of external legs can be generated algorithmically once the graph tubing rules are specified.
- Explicit solutions become available in the small-mass and large-mass limits by integrating the first-order system.
- The locations and residues of singularities in the correlators are determined by the combinatorial data of the tubings rather than by direct integration.
- The same structure supplies a boundary-centric organization in which initial and final conditions fix the integration constants of the system.
Where Pith is reading between the lines
- The tubing construction may extend directly to correlators involving spinning fields once their mode-function integrals are written in analogous twisted form.
- Consistency checks against known massless limits would test whether the massive equations reduce correctly when masses are taken to zero.
- The finite-basis property suggests that higher-loop contributions could be organized by enlarging the set of allowed tubings rather than by adding new integral representations.
Load-bearing premise
That the Feynman integrals for these massive correlators can always be rewritten as twisted integrals of rational functions from a finite closed set of master integrals.
What would settle it
An explicit computation of a massive three-point or four-point correlator whose differential equation system fails to close inside any finite master-integral basis or whose singularity structure cannot be reproduced by any assignment of graph tubings.
read the original abstract
We uncover a combinatorial structure governing the differential equations satisfied by wavefunction coefficients of scalar fields with generic masses in de Sitter space. Using an integral representation of the massive mode functions, we express the Feynman integrals underlying cosmological correlators as twisted integrals of rational functions. In this formulation, the integrals belong to a finite set of master integrals obeying a first-order system of differential equations, which can be derived efficiently in the time-integral representation. We show that these equations admit a simple graphical description in terms of graph tubings, which encode the couplings among basis functions and the evolution of singularities. This structure provides an efficient algorithm to derive the differential equations, and a boundary-centric perspective on massive cosmological correlators in which their analytic structure emerges from underlying combinatorial data. As an illustration, we solve the system in the limits of small and large masses.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to uncover a combinatorial structure for the differential equations of wavefunction coefficients of scalar fields with generic masses in de Sitter space. Using an integral representation of the massive mode functions, the Feynman integrals are expressed as twisted integrals of rational functions belonging to a finite set of master integrals that obey a closed first-order system. These equations are shown to admit a graphical description via graph tubings encoding couplings among basis functions and the evolution of singularities, yielding an efficient algorithm for derivation. Explicit solutions are given in the small- and large-mass limits, with a boundary-centric perspective on the analytic structure.
Significance. If the finiteness and closure of the master-integral basis hold, the work provides a valuable combinatorial tool for the analytic structure of massive cosmological correlators, with the graph-tubing formalism and efficient algorithm as clear strengths. The explicit limiting-case solutions and the boundary-centric viewpoint are useful contributions that could streamline computations in de Sitter QFT.
major comments (3)
- [§3 (the section introducing the twisted-integral representation and master-integral basis)] The central claim that the twisted integrals span a finite-dimensional vector space closed under differentiation (yielding the first-order system) is load-bearing for the entire graphical description and algorithm, yet the manuscript only verifies it in the small- and large-mass limits; a general argument or explicit basis-dimension count for a diagram with two or more massive lines at generic masses is required to rule out basis growth.
- [§4 (the section on the graphical description in terms of graph tubings)] The graph-tubing construction is asserted to encode all couplings and singularity evolution for arbitrary time orderings, but the mapping from the time-integral representation to the tubings is not shown to preserve rationality of the integrands when multiple massive propagators are present; this directly affects whether the first-order system remains closed.
- [Introduction and §2 (the derivation of the integral representation)] The assumption that all time integrals reduce to twisted integrals of rational functions from a finite set is stated without an explicit check that differentiation with respect to external momenta or masses cannot generate new independent integrals outside the basis for generic mass values.
minor comments (2)
- [§4] The notation for graph tubings and the precise definition of the twisting factors should be introduced with a small worked example (e.g., a two-point or three-point diagram) before the general algorithm is presented.
- [§5 (the limiting-case solutions)] A few sentences clarifying how the boundary conditions for the differential system are obtained from the integral representation would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the constructive comments. We address each major comment below, providing clarifications and indicating the revisions that will be made to strengthen the general arguments.
read point-by-point responses
-
Referee: [§3 (the section introducing the twisted-integral representation and master-integral basis)] The central claim that the twisted integrals span a finite-dimensional vector space closed under differentiation (yielding the first-order system) is load-bearing for the entire graphical description and algorithm, yet the manuscript only verifies it in the small- and large-mass limits; a general argument or explicit basis-dimension count for a diagram with two or more massive lines at generic masses is required to rule out basis growth.
Authors: We agree that an explicit general argument and basis count would strengthen the central claim. The finite dimensionality and closure follow from the twisted-integral representation in §2, where the basis consists of all possible combinations of pole subsets from the propagators together with the twisting factors arising from the massive mode integrals; this set is finite for any fixed diagram. Differentiation with respect to parameters maps the space into itself via partial-fraction decomposition and integration-by-parts identities that stay within the same rational twisted class. We will add a general proof sketch together with an explicit dimension count for a two-massive-line diagram at generic masses in the revised §3. revision: yes
-
Referee: [§4 (the section on the graphical description in terms of graph tubings)] The graph-tubing construction is asserted to encode all couplings and singularity evolution for arbitrary time orderings, but the mapping from the time-integral representation to the tubings is not shown to preserve rationality of the integrands when multiple massive propagators are present; this directly affects whether the first-order system remains closed.
Authors: The tubings are constructed directly from the residue calculus applied to the time-integral representation, with each tubing corresponding to a specific sequence of contour deformations that extracts residues while preserving the rational character of the integrand. When multiple massive propagators are present, the twisting factors combine multiplicatively and the resulting poles remain of the same meromorphic type, so rationality is maintained. We will insert an explicit worked example of the mapping for a diagram containing two massive propagators in the revised §4, demonstrating that the integrands stay rational and the system closes. revision: yes
-
Referee: [Introduction and §2 (the derivation of the integral representation)] The assumption that all time integrals reduce to twisted integrals of rational functions from a finite set is stated without an explicit check that differentiation with respect to external momenta or masses cannot generate new independent integrals outside the basis for generic mass values.
Authors: The reduction to a finite set is a direct consequence of the integral representation of the massive mode functions, which converts each time integral into a twisted integral whose denominator factors are drawn from a finite collection determined by the propagator graph. Differentiation with respect to external momenta or masses produces additional polynomial factors in the numerator that can be reduced back to the original basis by the same partial-fraction and IBP relations used to define the master integrals. We will add an explicit verification, including differentiation with respect to a mass parameter for a generic-mass two-propagator diagram, as a new subsection in the revised §2. revision: yes
Circularity Check
Derivation chain is self-contained from integral representations and combinatorial data
full rationale
The paper starts from the integral representation of massive mode functions in de Sitter space, substitutes into the time integrals for cosmological correlators, and obtains twisted integrals over rational functions. It then asserts that these span a finite-dimensional space of master integrals closed under differentiation, organized by graph tubings. No step reduces a claimed result to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is unverified within the paper. The finite basis and first-order system are presented as direct consequences of the twisted-integral structure and the combinatorial encoding of couplings and singularities, with explicit illustrations only in small- and large-mass limits serving as checks rather than the source of the general claim. The derivation therefore remains independent of its own outputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Feynman integrals for massive correlators can be rewritten as twisted integrals of rational functions that close under a finite set of master integrals.
invented entities (1)
-
graph tubings
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We express the Feynman integrals underlying cosmological correlators as twisted integrals of rational functions. In this formulation, the integrals belong to a finite set of master integrals obeying a first-order system of differential equations... graph tubings, which encode the couplings among basis functions and the evolution of singularities.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
This structure provides an efficient algorithm to derive the differential equations, and a boundary-centric perspective on massive cosmological correlators in which their analytic structure emerges from underlying combinatorial data.
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.
Forward citations
Cited by 4 Pith papers
-
On the simplicity of de Sitter correlators
De Sitter correlators in conformally coupled φ³ theory admit a time-integral representation built from flat-space correlators, revealing intrinsic simplifications including vanishing of odd conjugate-momentum graphs a...
-
Loop integrals in de Sitter spacetime: The parity-split IBP system and $\mathrm{d}\log$-form differential equations
A parity-split IBP system for n-propagator families in de Sitter space is identified, along with a conjecture that dlog-form differential equations extend to dS integrands with Hankel functions, verified for the one-l...
-
de Sitter Wavefunction from Quadrangular Polylogarithms: Chain Graphs
The n-site chain graph contribution to the de Sitter cosmological wavefunction in conformally coupled φ³ theory is expressed explicitly in terms of Rudenko's quadrangular polylogarithms.
-
Kinematic Flow for Banana Loops and Unparticles
Banana loop cosmological correlators are captured by master integrals from tubings of marked graphs, with connection matrices derived from activation, merger, swap, and copy rules unique to unparticle exchanges.
Reference graph
Works this paper leans on
-
[1]
Baumann and A
D. Baumann and A. Joyce,Lectures on Cosmological Correlations
-
[2]
D. Baumann, D. Green, A. Joyce, E. Pajer, G. Pimentel, C. Sleight, and M. Taronna, “Snowmass White Paper: The Cosmological Bootstrap,”SciPost Phys. Comm. Rep.2024(2024) 1, arXiv:2203.08121 [hep-th]
-
[3]
Benincasa,Amplitudes meet Cosmology: A (Scalar) Primer,2203.15330
P. Benincasa, “Amplitudes Meet Cosmology: A (Scalar) Primer,”arXiv:2203.15330 [hep-th]
-
[4]
N. Arkani-Hamed, D. Baumann, A. Hillman, A. Joyce, H. Lee, and G. Pimentel, “Differential Equations for Cosmological Correlators,”JHEP09(2025) 009,arXiv:2312.05303 [hep-th]
-
[5]
N. Arkani-Hamed, P. Benincasa, and A. Postnikov, “Cosmological Polytopes and the Wavefunction of the Universe,”arXiv:1709.02813 [hep-th]
-
[6]
N. Arkani-Hamed, D. Baumann, A. Hillman, A. Joyce, H. Lee, and G. Pimentel, “Kinematic Flow and the Emergence of Time,”Phys. Rev. Lett.135no. 3, (2025) 031602,arXiv:2312.05300 [hep-th]
-
[7]
D. Baumann, H. Goodhew, A. Joyce, H. Lee, G. Pimentel, and T. Westerdijk, “Geometry of Kinematic Flow,”arXiv:2504.14890 [hep-th]
-
[8]
S. De and A. Pokraka, “Cosmology Meets Cohomology,”JHEP03(2024) 156,arXiv:2308.03753 [hep-th]
- [9]
-
[10]
Cosmological Amplitudes in Power-Law FRW Universe,
B. Fan and Z.-Z. Xianyu, “Cosmological Amplitudes in Power-Law FRW Universe,”JHEP12(2024) 042,arXiv:2403.07050 [hep-th]
-
[11]
Differential equations and recursive solutions for cosmological amplitudes,
S. He, X. Jiang, J. Liu, Q. Yang, and Y.-Q. Zhang, “Differential Equations and Recursive Solutions for Cosmological Amplitudes,”JHEP01(2025) 001,arXiv:2407.17715 [hep-th]
-
[12]
Kinematic flow from the flow of cuts,
R. Glew and A. Pokraka, “Kinematic Flow from the Flow of Cuts,”arXiv:2508.11568 [hep-th]
-
[13]
M. Capuano, L. Ferro, T. Lukowski, and A. Palazio, “Canonical Differential Equations for Cosmology from Positive Geometries,”arXiv:2505.14609 [hep-th]
-
[14]
A Graphical Coaction for FRW Wavefunction Coefficients,
A. McLeod, A. Pokraka, and L. Ren, “A Graphical Coaction for FRW Wavefunction Coefficients,” arXiv:2603.25703 [hep-th]
-
[15]
Notes on Diagrammatic Coaction for Cosmological Wavefunction Coefficients: A Two-Site Prelude,
Y. Fu and J. Liu, “Notes on Diagrammatic Coaction for Cosmological Wavefunction Coefficients: A Two-Site Prelude,”arXiv:2603.25698 [hep-th]
-
[16]
Quasi-Single Field Inflation and Non-Gaussianities
X. Chen and Y. Wang, “Quasi-Single Field Inflation and Non-Gaussianities,”JCAP04(2010) 027, arXiv:0911.3380 [hep-th]
-
[17]
Signatures of Supersymmetry from the Early Universe,
D. Baumann and D. Green, “Signatures of Supersymmetry from the Early Universe,”Phys. Rev. D 85(2012) 103520,arXiv:1109.0292 [hep-th]
-
[18]
Effective Field Theory Approach to Quasi-Single-Field Inflation and Effects of Heavy Fields,
T. Noumi, M. Yamaguchi, and D. Yokoyama, “Effective Field Theory Approach to Quasi-Single-Field Inflation and Effects of Heavy Fields,”JHEP06(2013) 051,arXiv:1211.1624 [hep-th]
-
[19]
N. Arkani-Hamed and J. Maldacena, “Cosmological Collider Physics,”arXiv:1503.08043 [hep-th]
-
[20]
Non-Gaussianity as a Particle Detector
H. Lee, D. Baumann, and G. Pimentel, “Non-Gaussianity as a Particle Detector,”JHEP12(2016) 040,arXiv:1607.03735 [hep-th]
work page Pith review arXiv 2016
-
[21]
N. Arkani-Hamed, D. Baumann, H. Lee, and G. Pimentel, “The Cosmological Bootstrap: Inflationary Correlators from Symmetries and Singularities,”JHEP04(2020) 105,arXiv:1811.00024 [hep-th]. 57
-
[22]
D. Baumann, C. Duaso Pueyo, A. Joyce, H. Lee, and G. Pimentel, “The Cosmological Bootstrap: Weight-Shifting Operators and Scalar Seeds,”JHEP12(2020) 204,arXiv:1910.14051 [hep-th]
-
[23]
Bootstrapping Inflationary Correlators in Mellin Space,
C. Sleight and M. Taronna, “Bootstrapping Inflationary Correlators in Mellin Space,”JHEP02 (2020) 098,arXiv:1907.01143 [hep-th]
-
[24]
L.-T. Wang and Z.-Z. Xianyu, “In Search of Large Signals at the Cosmological Collider,”JHEP02 (2020) 044,arXiv:1910.12876 [hep-ph]
-
[25]
The Scalar Chemical Potential in Cosmological Collider Physics,
A. Bodas, S. Kumar, and R. Sundrum, “The Scalar Chemical Potential in Cosmological Collider Physics,”JHEP02(2021) 079,arXiv:2010.04727 [hep-ph]
-
[26]
Boostless cosmological collider bootstrap,
G. Pimentel and D.-G. Wang, “Boostless Cosmological Collider Bootstrap,”JHEP10(2022) 177, arXiv:2205.00013 [hep-th]
-
[27]
Cosmological Bootstrap in Slow Motion,
S. Jazayeri and S. Renaux-Petel, “Cosmological Bootstrap in Slow Motion,”JHEP12(2022) 137, arXiv:2205.10340 [hep-th]
-
[28]
Cosmological Polytopes and the Wavefuncton of the Universe for Light States,
P. Benincasa, “Cosmological Polytopes and the Wavefunction of the Universe for Light States,” arXiv:1909.02517 [hep-th]
-
[29]
J. Chen and B. Feng, “Towards Systematic Evaluation of De Sitter Correlators via Generalized Integration-By-Parts Relations,”JHEP06(2024) 199,arXiv:2401.00129 [hep-th]
-
[30]
J. Chen, B. Feng, and Y.-X. Tao, “Multivariate Hypergeometric Solutions of Cosmological (dS) Correlators by dlog-Form Differential Equations,”JHEP03(2025) 075,arXiv:2411.03088 [hep-th]
-
[31]
Massive Inflationary Amplitudes: Differential Equations and Complete Solutions for General Trees,
H. Liu and Z.-Z. Xianyu, “Massive Inflationary Amplitudes: Differential Equations and Complete Solutions for General Trees,”arXiv:2412.07843 [hep-th]
-
[32]
Differential Equations for Tree-Level Cosmological Correlators with Massive States,
F. Gasparotto, P. Mazloumi, and X. Xu, “Differential Equations for Tree-Level Cosmological Correlators with Massive States,”JHEP09(2025) 043,arXiv:2411.05632 [hep-th]
-
[33]
A De Sitter S-matrix from Amputated Cosmological Correlators,
S. Melville and G. Pimentel, “A De Sitter S-matrix from Amputated Cosmological Correlators,” JHEP08(2024) 211,arXiv:2404.05712 [hep-th]
-
[34]
Spectral Representation of Cosmological Correlators,
D. Werth, “Spectral Representation of Cosmological Correlators,”JHEP12(2024) 017, arXiv:2409.02072 [hep-th]
-
[35]
P. Raman and Q. Yang, “Mastering Cosmological Amplitudes Using Generalized Ramanujan’s Theorem,”arXiv:2508.13126 [hep-th]
-
[36]
Massive Inflationary Amplitudes: New Representations and Degenerate Limits,
Z.-Z. Xianyu and J. Zang, “Massive Inflationary Amplitudes: New Representations and Degenerate Limits,”arXiv:2511.08677 [hep-th]
-
[37]
N. Belrhali, A. Poisson, S. Renaux-Petel, and D. Werth, “De Sitter Momentum Space,” arXiv:2601.15228 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[38]
Aomoto and M
K. Aomoto and M. Kita,Theory of Hypergeometric Functions. Springer Monographs in Mathematics. Springer, 2011
2011
-
[39]
C. Coriano, L. Delle Rose, E. Mottola, and M. Serino, “Solving the Conformal Constraints for Scalar Operators in Momentum Space and the Evaluation of Feynman’s Master Integrals,”JHEP07(2013) 011,arXiv:1304.6944 [hep-th]
-
[40]
Implications of Conformal Invariance in Momentum Space,
A. Bzowski, P. McFadden, and K. Skenderis, “Implications of Conformal Invariance in Momentum Space,”JHEP03(2014) 111,arXiv:1304.7760 [hep-th]
-
[41]
A. Goncharov, M. Spradlin, C. Vergu, and A. Volovich, “Classical Polylogarithms for Amplitudes and Wilson Loops,”Phys. Rev. Lett.105(2010) 151605,arXiv:1006.5703 [hep-th]. 58
-
[42]
Multiple Polylogarithms and Mixed Tate Motives,
A. Goncharov, “Multiple Polylogarithms and Mixed Tate Motives,”arXiv:0103059 [math.AG]
-
[43]
A Simple Construction of Grassmannian Polylogarithms,
A. Goncharov, “A Simple Construction of Grassmannian Polylogarithms,”arXiv:0908.2238 [math.AG]
-
[44]
From Polygons and Symbols to Polylogarithmic Functions,
C. Duhr, H. Gangl, and J. Rhodes, “From Polygons and Symbols to Polylogarithmic Functions,” JHEP10(2012) 075,arXiv:1110.0458 [math-ph]
-
[45]
Mathematical Aspects of Scattering Amplitudes,
C. Duhr, “Mathematical Aspects of Scattering Amplitudes,” inTheoretical Advanced Study Institute in Elementary Particle Physics: Journeys Through the Precision Frontier: Amplitudes for Colliders, pp. 419–476. 2015.arXiv:1411.7538 [hep-ph]
-
[46]
Hillman,Symbol Recursion for the dS Wave Function,1912.09450
A. Hillman, “Symbol Recursion for the dS Wave Function,”arXiv:1912.09450 [hep-th]
-
[47]
On the Asymptotic Nature of Cosmological Effective Theories,
C. Duaso Pueyo, H. Goodhew, C. McCulloch, and E. Pajer, “On the Asymptotic Nature of Cosmological Effective Theories,”JHEP01(2026) 009,arXiv:2505.17820 [hep-th]
-
[48]
Coxeter complexes and graph-associahedra,
M. Carr and S. L. Devadoss, “Coxeter complexes and graph-associahedra,” 2005. https://arxiv.org/abs/math/0407229
-
[49]
A Realization of Graph Associahedra,
S. Devadoss, “A Realization of Graph Associahedra,”Discrete Mathematics309no. 1, (2009) 271–276
2009
-
[50]
Zaslavsky,Facing up to Arrangements: Face-Count Formulas for Partitions of Space by Hyperplanes
T. Zaslavsky,Facing up to Arrangements: Face-Count Formulas for Partitions of Space by Hyperplanes. American Mathematical Society, 1975
1975
-
[51]
An Introduction to Hyperplane Arrangements,
R. Stanleyet al., “An Introduction to Hyperplane Arrangements,” inLecture notes, IAS/Park City Mathematics Institute, Citeseer. 2004
2004
-
[52]
Orlik and H
P. Orlik and H. Terao,Arrangements of Hyperplanes. Springer, 1992
1992
-
[53]
P. Benincasa and G. Dian, “The Geometry of Cosmological Correlators,”SciPost Phys.18(2025) 105,arXiv:2401.05207 [hep-th]
-
[54]
C. Figueiredo and F. Vaz˜ ao, “Correlator Polytopes,”Phys. Rev. D113no. 2, (2026) 025005, arXiv:2506.19907 [hep-th]
-
[55]
Glew,Correlators from Amplitubes,2507.07199
R. Glew, “Correlators from Amplitubes,”arXiv:2507.07199 [hep-th]
-
[56]
D. Baumann, H. Goodhew, and H. Lee, “Kinematic Flow for Cosmological Loop Integrands,”JHEP 07(2025) 131,arXiv:2410.17994 [hep-th]
-
[57]
Y. Hang and C. Shen, “A Note on Kinematic Flow and Differential Equations for Two-Site One-Loop Graph in FRW Spacetime,”JHEP09(2025) 209,arXiv:2410.17192 [hep-th]. 59
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.