arxiv: 2604.14549 · v2 · submitted 2026-04-16 · ✦ hep-th · gr-qc· hep-ph

Recognition: unknown

Loop integrals in de Sitter spacetime: The parity-split IBP system and dlog-form differential equations

Jiaqi Chen , Bo Feng , Zhehan Qin , Yi-Xiao Tao

Authors on Pith no claims yet

Pith reviewed 2026-05-10 11:04 UTC · model grok-4.3

classification ✦ hep-th gr-qchep-ph

keywords de Sitter spacetimeloop integralsintegration-by-partsdifferential equationsBaikov representationHankel functionscosmological correlatorsparity symmetry

0 comments

The pith

For n-propagator loop integrals in de Sitter spacetime the IBP system splits into 2^n closed subsystems classified by propagator index parity.

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

The paper develops integration-by-parts reduction and differential equations for massive loop integrals that appear in cosmological correlators in de Sitter spacetime. It shows that the full set of IBP relations for an n-propagator family decouples into 2^n independent closed subsystems, each fixed by the even or odd character of the propagator indices. A Baikov representation is constructed for these dS integrals and used to obtain dimensional recurrence relations. The authors conjecture that dlog-form master integrands continue to produce dlog-form differential equations when the integrands involve Hankel functions, and they confirm the conjecture explicitly for the one-loop bubble family while extracting the associated alphabet.

Core claim

For an n-propagator family of loop integrals in de Sitter spacetime, the integration-by-parts system splits into 2^n closed subsystems classified by the parity of the propagator indices. A Baikov representation is formulated for loop integrals in dS space and the corresponding dimensional recurrence relations are derived. Motivated by fibration intersection theory, it is conjectured that dlog-form master integrands lead to dlog-form differential equations for dS integrands involving Hankel functions; this is verified for the one-loop bubble family and the associated alphabet is determined.

What carries the argument

The parity-split IBP system, which partitions the relations for an n-propagator family into 2^n independent closed subsystems according to the even or odd parity of each propagator index.

If this is right

IBP reduction for any n-propagator family can be performed separately inside each of the 2^n parity sectors.
The Baikov representation yields dimensional recurrence relations that relate integrals across different spacetime dimensions.
Once a dlog-form master integrand is chosen, the differential equations for the bubble family are solvable by iterated integrals over the determined alphabet.
The same parity decomposition applies to the construction of master integrals for cosmological correlators at one loop.

Where Pith is reading between the lines

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

The parity sectors may allow independent analytic continuation or numerical evaluation of each subsystem without mixing.
The alphabet extracted for the bubble supplies a concrete test set for checking whether similar letters appear in triangle or box families.
If the conjecture holds more generally, loop corrections to inflationary correlators could be reduced to iterated integrals without resorting to series expansions of the Hankel functions.

Load-bearing premise

The property that dlog-form master integrands produce dlog-form differential equations extends from flat-space cases to de Sitter integrands containing Hankel functions, a step verified only for the bubble family.

What would settle it

Finding a dlog-form master integrand in a higher-point or multi-loop dS family that generates a differential equation outside dlog form, or failing to obtain a closed alphabet for the one-loop triangle, would disprove the conjecture.

Figures

Figures reproduced from arXiv: 2604.14549 by Bo Feng, Jiaqi Chen, Yi-Xiao Tao, Zhehan Qin.

read the original abstract

We develop integration-by-parts (IBP) reduction and differential equations for massive loop integrals of cosmological correlators in de Sitter (dS) spacetime, demonstrating the feasibility of this approach. We identify a structural property of the dS IBP system: for an $n$-propagator family, it splits into $2^n$ closed subsystems classified by the parity of the propagator indices. We further formulate a Baikov representation for loop integrals in dS space and derive the corresponding dimensional recurrence relations. In flat spacetime, intersection theory shows that $\mathrm{d}\log$-form master integrands lead to $\mathrm{d}\log$-form differential equations. Motivated by fibration intersection theory, we conjecture that this construction extends to dS integrands involving Hankel functions. We verify this conjecture in the one-loop bubble family and determine the associated alphabet.

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.

Desk Editor's Note private letter to a colleague

The paper finds a parity split that breaks dS IBP systems into 2^n closed subsystems and verifies dlog DEs on the bubble case.

read the letter

The main thing here is the parity split of the IBP system in de Sitter. For families with n propagators it divides into 2^n closed subsystems according to the parity of the indices. The authors also write down a Baikov representation for these integrals and extract dimensional recurrence relations from it. They conjecture that dlog-form integrands lead to dlog-form differential equations, as in flat space, and they confirm this explicitly for the one-loop bubble, including the alphabet. This split is a useful structural result because it lets you solve smaller independent systems instead of one big one. The bubble verification gives a practical starting point for using these DEs in cosmological correlator calculations. The weaker part is that the dlog extension is only demonstrated for the bubble. The general conjecture for arbitrary n or higher loops rests on the fibration motivation but lacks further checks in the paper. That is not a fatal issue, just means the claim is more of a motivated proposal than a fully established theorem. The rest of the setup looks consistent with no obvious circularity. This work is aimed at researchers who need reduction methods for loop integrals in de Sitter space, particularly those dealing with massive propagators and Hankel functions in inflation contexts. It is worth sending to peer review. The technical steps are clear enough and the base case works, so referees can assess the details and suggest extensions.

Referee Report

0 major / 0 minor

Summary. The paper develops integration-by-parts (IBP) reduction and differential equations for massive loop integrals of cosmological correlators in de Sitter spacetime. It identifies a structural property where the IBP system for an n-propagator family splits into 2^n closed subsystems classified by the parity of the propagator indices. The authors formulate a Baikov representation for loop integrals in dS space and derive the corresponding dimensional recurrence relations. Motivated by fibration intersection theory, they conjecture that dlog-form master integrands lead to dlog-form differential equations for dS integrands involving Hankel functions, and verify this conjecture for the one-loop bubble family while determining the associated alphabet.

Significance. If the results hold, this work provides important new tools for computing loop integrals in de Sitter space, relevant for understanding cosmological correlators. The parity-split IBP system represents a key structural insight that could substantially reduce the complexity of reductions for multi-propagator families. The Baikov representation and dimensional recurrences offer practical methods for handling these integrals. The verification of the dlog-form conjecture in the bubble case lends support to the broader conjecture and highlights the potential for extending flat-space techniques to curved spacetime, which is a notable advance in the field.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript, as well as for recommending acceptance. The report correctly highlights the parity-split IBP structure, Baikov representation, dimensional recurrences, and the dlog-form conjecture verified on the bubble family.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper presents the parity splitting of the IBP system into 2^n subsystems as a discovered structural property of the dS IBP equations, formulates a Baikov representation with dimensional recurrences as a new construction, and states a conjecture for dlog-form DEs motivated by external flat-space intersection theory (fibration) with explicit verification only on the one-loop bubble. No load-bearing step reduces by definition, by renaming a fit as a prediction, or by a self-citation chain that itself lacks independent support. The central claims remain self-contained against external benchmarks and stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review based on abstract only; no explicit free parameters, ad-hoc axioms, or invented entities are stated beyond standard assumptions of de Sitter geometry and Hankel-function propagators.

axioms (1)

domain assumption Standard properties of de Sitter spacetime and the form of massive propagators involving Hankel functions.
Invoked implicitly in the setup of loop integrals and the IBP system.

pith-pipeline@v0.9.0 · 5462 in / 1276 out tokens · 47011 ms · 2026-05-10T11:04:18.248343+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

128 extracted references · 114 canonical work pages · 3 internal anchors

[1]

Each con- served parity is naturally associated with one prop- agator

For both dq-IBP and dτ-IBP, the parities ofn 1 + n2 +b 1 andn 3 +n 4 +b 2 are conserved. Each con- served parity is naturally associated with one prop- agator
[2]

For dq-IBP, the parities ofn 1 +n 3 +a 1 andn 2 + n4 +a 2 are also conserved [117]. In particular, in the residual familyRdefined in (11), the line carrying momentumk s +qno longer contains any Hankel functions, so the corresponding conserved parity is simply the parity ofb 2. More generally, the first conservation pattern extends straightforwardly ton-pr...
[3]

Ach´ ucarroet al., Inflation: Theory and observations, arXiv e-prints (2022), arXiv:2203.08128 [astro-ph.CO]

A. Ach´ ucarroet al., (2022), arXiv:2203.08128 [astro- ph.CO]

work page arXiv 2022
[4]

Arkani-Hamed, C

N. Arkani-Hamed, C. Figueiredo, and F. Vaz˜ ao, JHEP 11, 029 (2025), arXiv:2412.19881 [hep-th]

work page arXiv 2025
[5]

Arkani-Hamed, D

N. Arkani-Hamed, D. Baumann, A. Hillman, A. Joyce, H. Lee, and G. L. Pimentel, (2023), arXiv:2312.05303 [hep-th]

work page arXiv 2023
[6]

Arkani-Hamed, D

N. Arkani-Hamed, D. Baumann, A. Hillman, A. Joyce, H. Lee, and G. L. Pimentel, Phys. Rev. Lett.135, 031602 (2025), arXiv:2312.05300 [hep-th]

work page arXiv 2025
[7]

Benincasa, (2022), 10.1142/S0217751X22300101, arXiv:2203.15330 [hep-th]

P. Benincasa, (2022), 10.1142/S0217751X22300101, arXiv:2203.15330 [hep-th]

work page doi:10.1142/s0217751x22300101 2022
[8]

Benincasa and G

P. Benincasa and G. Dian, SciPost Phys.18, 105 (2025), arXiv:2401.05207 [hep-th]

work page arXiv 2025
[9]

Benincasa and F

P. Benincasa and F. Vaz˜ ao, SciPost Phys.19, 029 (2025), arXiv:2402.06558 [hep-th]

work page arXiv 2025
[10]

Cosmological Amplitudes in Power-Law FRW Universe,

B. Fan and Z.-Z. Xianyu, JHEP12, 042 (2024), arXiv:2403.07050 [hep-th]

work page arXiv 2024
[11]

Benincasa, G

P. Benincasa, G. Brunello, M. K. Mandal, P. Mastrolia, and F. Vaz˜ ao, (2024), arXiv:2408.16386 [hep-th]

work page arXiv 2024
[12]

Baumann, H

D. Baumann, H. Goodhew, and H. Lee, JHEP07, 131 (2025), arXiv:2410.17994 [hep-th]

work page arXiv 2025
[13]

S. He, X. Jiang, J. Liu, Q. Yang, and Y.-Q. Zhang, (2024), arXiv:2407.17715 [hep-th]

work page arXiv 2024
[14]

Chowdhury, A

C. Chowdhury, A. Lipstein, J. Marshall, J. Mei, and I. Sachs, JHEP03, 076 (2026), arXiv:2503.10598 [hep- th]

work page arXiv 2026
[15]

Cosmology Meets Cohomology,

S. De and A. Pokraka, JHEP03, 156 (2024), arXiv:2308.03753 [hep-th]

work page arXiv 2024
[16]

S. De, S. Paranjape, A. Pokraka, M. Spradlin, and A. Volovich, JHEP07, 174 (2025), arXiv:2503.23579 [hep-th]

work page arXiv 2025
[17]

Amplitubes: graph cosmohedra,

R. Glew and T. Lukowski, JHEP09, 074 (2025), arXiv:2502.17564 [hep-th]

work page arXiv 2025
[18]

Kinematic flow from the flow of cuts,

R. Glew and A. Pokraka, (2025), arXiv:2508.11568 [hep-th]

work page arXiv 2025
[19]

G. L. Pimentel and T. Westerdijk, (2026), arXiv:2601.00952 [hep-th]

work page arXiv 2026
[20]

Hang and C

Y. Hang and C. Shen, JHEP09, 209 (2025), arXiv:2410.17192 [hep-th]

work page arXiv 2025
[21]

D. Jain, E. Pajer, and X. Tong, JHEP03, 225 (2026), arXiv:2509.02696 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[22]

Farren, C

A. Farren, C. McCulloch, E. Pajer, and X. Tong, (2026), arXiv:2603.08794 [hep-th]

work page arXiv 2026
[23]

Arkani-Hamed, P

N. Arkani-Hamed, P. Benincasa, and A. Postnikov, (2017), arXiv:1709.02813 [hep-th]

work page arXiv 2017
[24]

Arkani-Hamed and P

N. Arkani-Hamed and P. Benincasa, (2018), arXiv:1811.01125 [hep-th]

work page arXiv 2018
[25]

Lee and X

H. Lee and X. Wang, Phys. Rev. D108, L061702 (2023), arXiv:2212.11282 [hep-th]

work page arXiv 2023
[26]

Gomez, R

H. Gomez, R. L. Jusinskas, and A. Lipstein, Phys. Rev. Lett.127, 251604 (2021), arXiv:2106.11903 [hep-th]

work page arXiv 2021
[27]

Gomez, R

H. Gomez, R. Lipinski Jusinskas, and A. Lipstein, JHEP07, 004 (2022), arXiv:2112.12695 [hep-th]

work page arXiv 2022
[28]

Armstrong, H

C. Armstrong, H. Gomez, R. Lipinski Jusinskas, A. Lip- stein, and J. Mei, Phys. Rev. D106, L121701 (2022), arXiv:2209.02709 [hep-th]

work page arXiv 2022
[29]

Tao and Q

Y.-X. Tao and Q. Chen, JHEP02, 030 (2023), arXiv:2210.15411 [hep-th]

work page arXiv 2023
[30]

Chen and Y.-X

Q. Chen and Y.-X. Tao, JHEP08, 038 (2023), arXiv:2301.08043 [hep-th]

work page arXiv 2023
[31]

Chen and Y.-X

Q. Chen and Y.-X. Tao, Phys. Rev. D108, 105005 (2023), arXiv:2307.00870 [hep-th]

work page arXiv 2023
[32]

K. G. Chetyrkin and F. V. Tkachov, Nucl. Phys. B192, 159 (1981)

1981
[33]

A. V. Kotikov, Phys. Lett. B254, 158 (1991)

1991
[34]

A. V. Kotikov, Phys. Lett. B267, 123 (1991), [Erratum: Phys.Lett.B 295, 409–409 (1992)]

1991
[35]

Gehrmann and E

T. Gehrmann and E. Remiddi, Nucl. Phys. B580, 485 (2000), arXiv:hep-ph/9912329

work page arXiv 2000
[36]

Z. Bern, L. J. Dixon, and D. A. Kosower, Nucl. Phys. B412, 751 (1994), arXiv:hep-ph/9306240

work page arXiv 1994
[37]

Arkani-Hamed, D

N. Arkani-Hamed, D. Baumann, H. Lee, and G. L. Pimentel, JHEP04, 105 (2020), arXiv:1811.00024 [hep- th]

work page arXiv 2020
[38]

Baumann, C

D. Baumann, C. Duaso Pueyo, A. Joyce, H. Lee, and G. L. Pimentel, JHEP12, 204 (2020), arXiv:1910.14051 [hep-th]

work page arXiv 2020
[39]

Baumann, C

D. Baumann, C. Duaso Pueyo, A. Joyce, H. Lee, and G. L. Pimentel, SciPost Phys.11, 071 (2021), arXiv:2005.04234 [hep-th]

work page arXiv 2021
[40]

Pajer, D

E. Pajer, D. Stefanyszyn, and J. Supe l, JHEP 12, 198 (2020), [Erratum: JHEP 04, 023 (2022)], arXiv:2007.00027 [hep-th]

work page arXiv 2020
[41]

Building a Boostless Bootstrap for the Bispectrum,

E. Pajer, JCAP01, 023 (2021), arXiv:2010.12818 [hep- th]

work page arXiv 2021
[42]

Cabass, E

G. Cabass, E. Pajer, D. Stefanyszyn, and J. Supe l, JHEP05, 077 (2022), arXiv:2109.10189 [hep-th]

work page arXiv 2022
[43]

Baumann, D

D. Baumann, D. Green, A. Joyce, E. Pajer, G. L. Pi- mentel, C. Sleight, and M. Taronna, SciPost Phys. Comm. Rep.2024, 1 (2024), arXiv:2203.08121 [hep-th]

work page arXiv 2024
[44]

G. L. Pimentel and D.-G. Wang, JHEP10, 177 (2022), arXiv:2205.00013 [hep-th]

work page arXiv 2022
[45]

Cosmological Bootstrap in Slow Motion,

S. Jazayeri and S. Renaux-Petel, JHEP12, 137 (2022), arXiv:2205.10340 [hep-th]

work page arXiv 2022
[46]

Qin and Z.-Z

Z. Qin and Z.-Z. Xianyu, JHEP04, 059 (2023), arXiv:2208.13790 [hep-th]

work page arXiv 2023
[47]

D.-G. Wang, G. L. Pimentel, and A. Ach´ ucarro, JCAP 05, 043 (2023), arXiv:2212.14035 [astro-ph.CO]

work page arXiv 2023
[48]

Qin and Z.-Z

Z. Qin and Z.-Z. Xianyu, JHEP07, 001 (2023), arXiv:2301.07047 [hep-th]

work page arXiv 2023
[49]

S. Aoki, L. Pinol, F. Sano, M. Yamaguchi, and Y. Zhu, JHEP09, 176 (2024), arXiv:2404.09547 [hep-th]

work page arXiv 2024
[50]

Massive Inflationary Amplitudes: Differential Equations and Complete Solutions for General Trees,

H. Liu and Z.-Z. Xianyu, JHEP09, 183 (2025), arXiv:2412.07843 [hep-th]

work page arXiv 2025
[51]

Z. Qin, S. Renaux-Petel, X. Tong, D. Werth, and Y. Zhu, JCAP09, 058 (2025), arXiv:2506.01555 [hep- th]

work page arXiv 2025
[52]

Massive Inflationary Amplitudes: New Representations and Degenerate Limits,

Z.-Z. Xianyu and J. Zang, JHEP03, 122 (2026), arXiv:2511.08677 [hep-th]

work page arXiv 2026
[53]

Sleight, JHEP01, 090 (2020), arXiv:1906.12302 [hep- th]

C. Sleight, JHEP01, 090 (2020), arXiv:1906.12302 [hep- th]

work page arXiv 2020
[54]

Bootstrapping Inflationary Correlators in Mellin Space,

C. Sleight and M. Taronna, JHEP02, 098 (2020), arXiv:1907.01143 [hep-th]

work page arXiv 2020
[55]

Sleight and M

C. Sleight and M. Taronna, Phys. Rev. D104, L081902 (2021), arXiv:2007.09993 [hep-th]

work page arXiv 2021
[56]

From dS to AdS and back,

C. Sleight and M. Taronna, JHEP12, 074 (2021), arXiv:2109.02725 [hep-th]

work page arXiv 2021
[57]

Premkumar, Phys

A. Premkumar, Phys. Rev. D109, 045003 (2024), arXiv:2110.12504 [hep-th]

work page arXiv 2024
[58]

Qin and Z.-Z

Z. Qin and Z.-Z. Xianyu, JHEP10, 192 (2022), arXiv:2205.01692 [hep-th]. 7

work page arXiv 2022
[59]

Xianyu and J

Z.-Z. Xianyu and J. Zang, JHEP03, 070 (2024), arXiv:2309.10849 [hep-th]

work page arXiv 2024
[60]

Qin, JHEP03, 051 (2025), arXiv:2411.13636 [hep- th]

Z. Qin, JHEP03, 051 (2025), arXiv:2411.13636 [hep- th]

work page arXiv 2025
[61]

Marolf and I

D. Marolf and I. A. Morrison, Phys. Rev. D82, 105032 (2010), arXiv:1006.0035 [gr-qc]

work page arXiv 2010
[62]

Xianyu and H

Z.-Z. Xianyu and H. Zhang, JHEP04, 103 (2023), arXiv:2211.03810 [hep-th]

work page arXiv 2023
[63]

Loparco, J

M. Loparco, J. Penedones, K. Salehi Vaziri, and Z. Sun, JHEP12, 159 (2023), arXiv:2306.00090 [hep-th]

work page arXiv 2023
[64]

Spectral Representation of Cosmological Correlators,

D. Werth, JHEP12, 017 (2024), arXiv:2409.02072 [hep- th]

work page arXiv 2024
[65]

Zhang, JHEP02, 119 (2026), arXiv:2507.19318 [hep- th]

H. Zhang, JHEP02, 119 (2026), arXiv:2507.19318 [hep- th]

work page arXiv 2026
[66]

B. L. Altshuler, JHEP12, 102 (2025), arXiv:2508.07467 [hep-th]

work page arXiv 2025
[67]

H. Liu, Z. Qin, and Z.-Z. Xianyu, JHEP02, 101 (2025), arXiv:2407.12299 [hep-th]

work page arXiv 2025
[68]

S. Das, D. Karan, B. Khatun, and N. Kundu, (2026), arXiv:2602.05546 [hep-th]

work page arXiv 2026
[69]

Wang, Z.-Z

L.-T. Wang, Z.-Z. Xianyu, and Y.-M. Zhong, JHEP02, 085 (2022), arXiv:2109.14635 [hep-ph]

work page arXiv 2022
[70]

Werth, L

D. Werth, L. Pinol, and S. Renaux-Petel, Phys. Rev. Lett.133, 141002 (2024), arXiv:2302.00655 [hep-th]

work page arXiv 2024
[71]

Pinol, S

L. Pinol, S. Renaux-Petel, and D. Werth, JCAP02, 019 (2025), arXiv:2312.06559 [astro-ph.CO]

work page arXiv 2025
[72]

Werth, L

D. Werth, L. Pinol, and S. Renaux-Petel, Class. Quant. Grav.41, 175015 (2024), arXiv:2402.03693 [astro-ph.CO]

work page arXiv 2024
[73]

J. Chen, B. Feng, and Y.-X. Tao, JHEP03, 075 (2025), arXiv:2411.03088 [hep-th]

work page arXiv 2025
[74]

Large non-Gaussianities with Intermediate Shapes from Quasi- Single Field Inﬂation

X. Chen and Y. Wang, Phys. Rev. D81, 063511 (2010), arX:0909.0496 [astro-ph.CO]

work page arXiv 2010
[75]

Quasi-Single Field Inﬂation and Non-Gaussianities

X. Chen and Y. Wang, JCAP04, 027 (2010), arXiv:0911.3380 [hep-th]

work page arXiv 2010
[76]

Signatures of Supersymmetry from the Early Universe,

D. Baumann and D. Green, Phys. Rev. D85, 103520 (2012), arXiv:1109.0292 [hep-th]

work page arXiv 2012
[77]

Effective Field Theory Approach to Quasi-Single-Field Inflation and Effects of Heavy Fields,

T. Noumi, M. Yamaguchi, and D. Yokoyama, JHEP 06, 051 (2013), arXiv:1211.1624 [hep-th]

work page arXiv 2013
[78]

Cosmological Collider Physics

N. Arkani-Hamed and J. Maldacena, (2015), arXiv:1503.08043 [hep-th]

work page Pith review arXiv 2015
[79]

Cespedes, Z

S. Cespedes, Z. Qin, and D.-G. Wang, (2025), arXiv:2510.25826 [hep-th]

work page arXiv 2025
[80]

D. Wang, X. Wang, Y. Wang, and W. Yu, (2025), arXiv:2508.12856 [hep-th]

work page arXiv 2025

Showing first 80 references.