arxiv: 2605.06542 · v1 · submitted 2026-05-07 · ✦ hep-th

Recognition: unknown

de Sitter Wavefunction from Quadrangular Polylogarithms: Chain Graphs

Livia Ferro , Tomasz Lukowski , Lecheng Ren , Marcus Spradlin , Anastasia Volovich , He-Chen Weng , Yao-Qi Zhang

Authors on Pith no claims yet

Pith reviewed 2026-05-08 07:38 UTC · model grok-4.3

classification ✦ hep-th

keywords de Sitter spacecosmological wavefunctionchain graphsquadrangular polylogarithmscluster algebraphi^3 theoryconformal scalar

0 comments

The pith

The n-site chain graph contribution to the de Sitter cosmological wavefunction in conformally coupled φ³ theory equals a specific combination of quadrangular polylogarithms.

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

The paper derives a closed-form expression for the wavefunction coefficient associated with an n-site chain graph in de Sitter space. It starts from the known property that the symbol of this coefficient is totally compatible with the A_{2n-2} cluster algebra, which by construction makes Rudenko's quadrangular polylogarithms a complete basis. The authors then match a recursive set of differential equations obeyed by the wavefunction to the coproduct recursion satisfied by these polylogarithms, thereby fixing the explicit formula. A reader cares because these wavefunction coefficients encode the leading cosmological observables in a simple interacting theory, and an explicit formula replaces difficult integrals with evaluable special functions.

Core claim

The n-site chain graph contribution to the cosmological wavefunction for conformally coupled φ³ theory in de Sitter space is given by a linear combination of quadrangular polylogarithms whose arguments are determined by the A_{2n-2} cluster algebra; the coefficients in the combination are fixed by matching the recursive differential equations of the wavefunction to the recursive coproduct formula of the polylogarithms.

What carries the argument

Quadrangular polylogarithms, which serve as a complete basis for functions whose symbols satisfy total compatibility with the A_{2n-2} cluster algebra and whose coproduct recursion reproduces the differential equations of the chain-graph wavefunction coefficients.

If this is right

The wavefunction coefficient for any finite n can be written down immediately once the quadrangular polylogarithm basis is known.
The same differential equation recursion that defines the wavefunction is satisfied term-by-term by the proposed polylogarithm combination.
Cluster-algebra methods previously used for scattering amplitudes now apply directly to de Sitter wavefunction coefficients for this graph family.
The explicit formula automatically inherits all functional equations and symbol properties of the quadrangular polylogarithms.

Where Pith is reading between the lines

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

If the same symbol compatibility holds for other graph topologies, the wavefunction may admit a uniform polylogarithmic expression beyond chain graphs.
The result suggests that de Sitter observables could be computed by lifting known amplitude techniques to the cosmological setting.
Numerical checks for small n against existing literature values would immediately test the completeness assumption.

Load-bearing premise

Rudenko's quadrangular polylogarithms form a complete basis for all functions whose symbols are totally compatible with the A_{2n-2} cluster algebra.

What would settle it

Direct evaluation of the three-site chain graph contribution via Feynman rules or numerical integration, followed by comparison to the explicit quadrangular polylogarithm expression given by the formula for n=3.

read the original abstract

We present an explicit formula for the $n$-site chain graph contribution to the cosmological wavefunction for conformally coupled $\phi^3$ theory in de Sitter space. Our result relies on the recent finding that the symbol of this function satisfies total compatibility with respect to the $A_{2n-2}$ cluster algebra, and that Rudenko's quadrangular polylogarithms provide, by construction, a complete basis for such functions. We prove our formula by directly relating a recursive set of differential equations satisfied by these wavefunction coefficients to a recursive coproduct formula for quadrangular polylogarithms.

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 gives an explicit closed-form for the chain-graph wavefunction coefficients in de Sitter φ³ by matching their differential recursions to the coproduct recursions of quadrangular polylogarithms.

read the letter

The main advance is the explicit formula for the n-site chain graph contribution to the cosmological wavefunction in conformally coupled cubic theory. They obtain it by showing that the recursive differential equations obeyed by these coefficients are the same as the recursive coproduct relations that define Rudenko's quadrangular polylogarithms. Once the symbol is known to be totally A_{2n-2}-compatible, the matching pins down the function uniquely inside that basis. That step is clean and direct; it converts a recursive definition into a concrete expression without having to integrate term by term. The paper does a good job keeping the argument self-contained on the physics side once the two external inputs are accepted. The soft spot is exactly where the stress-test note says: the compatibility of the symbol with the A_{2n-2} cluster algebra and the completeness of the quadrangular polylog basis are both taken from prior literature and not re-derived for these particular de Sitter integrals. The paper states the mapping but does not verify that the wavefunction coefficients actually live in the space spanned by those functions. If the prior claims have any gap when applied to the conformally coupled case, the formula would miss terms or require extra corrections. The derivation itself contains no internal contradictions and the logic is proportionate to the assumptions. This is for people already working on cosmological wavefunctions or on polylogarithms in Feynman integrals. A reader who knows the cluster-algebra results will get immediate value from the explicit expression and the recursion proof. It deserves a serious referee because the concrete formula and the differential-equation matching are checkable pieces of work even if the priors need separate scrutiny.

Referee Report

2 major / 2 minor

Summary. The manuscript presents an explicit formula for the n-site chain graph contribution to the cosmological wavefunction for conformally coupled φ³ theory in de Sitter space. The formula is obtained by mapping the recursive differential equations satisfied by the wavefunction coefficients onto the recursive coproduct relations of Rudenko's quadrangular polylogarithms, relying on the symbol of the function satisfying total compatibility with the A_{2n-2} cluster algebra and on the quadrangular polylogarithms forming a complete basis for such functions.

Significance. If the result holds, it is significant for supplying closed-form expressions for these contributions to the de Sitter wavefunction, which are relevant to cosmological correlators and the application of cluster-algebra methods to QFT in curved space. The direct correspondence between the physical recursion relations and the coproduct structure provides a concrete bridge between the two domains and is a methodological strength. The work is credited for the explicit mapping and for leveraging the recent external result on symbol compatibility to reach a concrete formula.

major comments (2)

Abstract and the proof outline: the central claim that the mapping yields the explicit formula rests on the external assertion that the symbol is totally A_{2n-2}-compatible and that quadrangular polylogarithms form a complete basis. The manuscript does not re-derive or independently verify these properties for the specific de Sitter chain-graph integrals; without such grounding the uniqueness of the proposed closed form is not established within the paper itself.
The recursive differential equations (presumably in the main derivation section) are mapped to the coproduct recursion, but the load-bearing step is the identification that the physical functions lie inside the span of the quadrangular basis. A concrete check or reference to the precise theorem establishing completeness for this class of symbols would be required to make the argument self-contained.

minor comments (2)

Notation for the n-site chain graphs and the associated cluster algebra indices should be introduced with an explicit example for small n (e.g., n=3 or n=4) to aid readability.
The reference to the prior work on symbol compatibility should include the exact theorem or proposition number being invoked.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We respond to each major comment below and indicate the revisions we will make to address the concerns about self-containedness.

read point-by-point responses

Referee: Abstract and the proof outline: the central claim that the mapping yields the explicit formula rests on the external assertion that the symbol is totally A_{2n-2}-compatible and that quadrangular polylogarithms form a complete basis. The manuscript does not re-derive or independently verify these properties for the specific de Sitter chain-graph integrals; without such grounding the uniqueness of the proposed closed form is not established within the paper itself.

Authors: We agree that the uniqueness of the closed-form expression depends on the external result establishing total A_{2n-2}-compatibility of the symbol and the completeness of Rudenko's quadrangular polylogarithms as a basis. Our paper's core contribution is the direct correspondence between the recursive differential equations for the wavefunction coefficients and the coproduct recursions of the quadrangular polylogarithms. In the revised manuscript we will update the abstract, introduction, and the statement of the main theorem to explicitly cite the precise theorem from the external reference that guarantees completeness for this class of symbols. We will also add a short paragraph explaining why the de Sitter chain-graph integrals satisfy the hypotheses of that theorem. A complete re-derivation of the symbol properties lies outside the scope of this work, as it was the subject of a separate recent paper. revision: partial
Referee: The recursive differential equations (presumably in the main derivation section) are mapped to the coproduct recursion, but the load-bearing step is the identification that the physical functions lie inside the span of the quadrangular basis. A concrete check or reference to the precise theorem establishing completeness for this class of symbols would be required to make the argument self-contained.

Authors: We will strengthen the main derivation section by inserting, immediately after the statement of the recursive differential equations, an explicit reference to the theorem in the cited external work that proves the quadrangular polylogarithms span all functions with totally A_{2n-2}-compatible symbols. In addition, we will include a brief concrete check for the lowest nontrivial cases (n=2 and n=3), verifying by direct computation that the wavefunction coefficients obtained from the differential equations coincide with the corresponding quadrangular polylogarithms. This will make the identification of the physical functions with the basis elements explicit and self-contained within the paper. revision: yes

Circularity Check

1 steps flagged

Reliance on prior result for A_{2n-2} symbol compatibility and quadrangular polylogarithm basis completeness

specific steps

self citation load bearing [Abstract]
"Our result relies on the recent finding that the symbol of this function satisfies total compatibility with respect to the A_{2n-2} cluster algebra, and that Rudenko's quadrangular polylogarithms provide, by construction, a complete basis for such functions. We prove our formula by directly relating a recursive set of differential equations satisfied by these wavefunction coefficients to a recursive coproduct formula for quadrangular polylogarithms."

The explicit closed-form expression is asserted to hold because the wavefunction coefficients obey the same recursive relations as the quadrangular polylogarithms, but this equivalence is only guaranteed if the symbol compatibility and basis-completeness statements (taken from the cited recent finding) are true for these specific integrals. The paper does not independently establish either property within the conformally coupled φ³ de Sitter setting; therefore the claimed formula reduces to the validity of the external claim.

full rationale

The paper's explicit formula for the n-site chain graph wavefunction is obtained by matching recursive differential equations to the coproduct relations of quadrangular polylogarithms. This matching is presented as a proof, but it presupposes two external claims: that the symbol is totally compatible with the A_{2n-2} cluster algebra and that Rudenko's functions form a complete basis for such symbols. These are invoked without re-derivation inside the de Sitter context, making the central claim dependent on the cited finding. The direct DE-to-coproduct correspondence supplies independent content, so the circularity is partial rather than total.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the assumption that the wavefunction symbol is totally compatible with the A_{2n-2} cluster algebra and that quadrangular polylogarithms form a complete basis for the resulting functions; no free parameters or new entities are introduced.

axioms (2)

domain assumption The symbol of the n-site chain graph wavefunction coefficient satisfies total compatibility with the A_{2n-2} cluster algebra
Invoked as a recent finding on which the explicit formula is built.
domain assumption Rudenko's quadrangular polylogarithms provide a complete basis for functions whose symbols are compatible with the A_{2n-2} cluster algebra
Used to guarantee that the wavefunction coefficient can be expressed exactly in this basis.

pith-pipeline@v0.9.0 · 5420 in / 1374 out tokens · 58094 ms · 2026-05-08T07:38:28.369705+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

36 extracted references · 34 canonical work pages · 2 internal anchors

[1]

Rudenko,On the goncharov depth conjecture and a formula for volumes of orthoschemes, Journal of the American Mathematical Society36(2023) 1003 [2012.05599]

D. Rudenko,On the goncharov depth conjecture and a formula for volumes of orthoschemes, Journal of the American Mathematical Society36(2023) 1003 [2012.05599]

work page arXiv 2023
[2]

Matveiakin and D

A. Matveiakin and D. Rudenko,Cluster polylogarithms i: Quadrangular polylogarithms, 2208.01564

work page arXiv
[3]

Arkani-Hamed, P

N. Arkani-Hamed, P. Benincasa and A. Postnikov,Cosmological Polytopes and the Wavefunction of the Universe,1709.02813

work page arXiv
[4]

Arkani-Hamed, L.J

N. Arkani-Hamed, L.J. Dixon, A.J. McLeod, M. Spradlin, J. Trnka and A. Volovich,Solving Scattering inN= 4 Super-Yang-Mills Theory,2207.10636

work page arXiv
[5]

Golden, A.B

J. Golden, A.B. Goncharov, M. Spradlin, C. Vergu and A. Volovich,Motivic Amplitudes and Cluster Coordinates,JHEP01(2014) 091 [1305.1617]

work page arXiv 2014
[6]

Goncharov, M

A.B. Goncharov, M. Spradlin, C. Vergu and A. Volovich,Classical Polylogarithms for Amplitudes and Wilson Loops,Phys. Rev. Lett.105(2010) 151605 [1006.5703]

work page arXiv 2010
[7]

Drummond, J

J. Drummond, J. Foster and ¨O. G¨ urdo˘ gan,Cluster Adjacency Properties of Scattering Amplitudes inN= 4Supersymmetric Yang-Mills Theory,Phys. Rev. Lett.120(2018) 161601 [1710.10953]

work page arXiv 2018
[8]

Drummond, J

J. Drummond, J. Foster and ¨O. G¨ urdo˘ gan,Cluster adjacency beyond MHV,JHEP03(2019) 086 [1810.08149]

work page arXiv 2019
[9]

Golden, A.J

J. Golden, A.J. McLeod, M. Spradlin and A. Volovich,The Sklyanin Bracket and Cluster Adjacency at All Multiplicity,JHEP03(2019) 195 [1902.11286]

work page arXiv 2019
[10]

Dixon, J.M

L.J. Dixon, J.M. Drummond and J.M. Henn,Bootstrapping the three-loop hexagon,JHEP11 (2011) 023 [1108.4461]

work page arXiv 2011
[11]

Dixon, J

L.J. Dixon, J. Drummond, T. Harrington, A.J. McLeod, G. Papathanasiou and M. Spradlin, Heptagons from the Steinmann Cluster Bootstrap,JHEP02(2017) 137 [1612.08976]

work page arXiv 2017
[12]

Caron-Huot, L.J

S. Caron-Huot, L.J. Dixon, J.M. Drummond, F. Dulat, J. Foster, ¨O. G¨ urdo˘ gan et al.,The Steinmann Cluster Bootstrap forN= 4 Super Yang-Mills Amplitudes,PoSCORFU2019 (2020) 003 [2005.06735]. – 26 –

work page arXiv 2020
[13]

Dixon and Y.-T

L.J. Dixon and Y.-T. Liu,An eight loop amplitude via antipodal duality,JHEP09(2023) 098 [2308.08199]

work page arXiv 2023
[14]

S. He, X. Jiang, X. Li and J. Liu,Heptagon Symbols at Five Loops and All-Loop Sequences, 2511.09669

work page arXiv
[15]

Hannesdottir, A.J

H.S. Hannesdottir, A.J. McLeod, M.D. Schwartz and C. Vergu,Constraints on sequential discontinuities from the geometry of on-shell spaces,JHEP07(2023) 236 [2211.07633]

work page arXiv 2023
[16]

Benincasa,Amplitudes meet Cosmology: A (Scalar) Primer,2203.15330

P. Benincasa,Amplitudes meet Cosmology: A (Scalar) Primer,2203.15330

work page arXiv
[17]

Baumann, D

D. Baumann, D. Green, A. Joyce, E. Pajer, G.L. Pimentel, C. Sleight et al.,Snowmass White Paper: The Cosmological Bootstrap,SciPost Phys. Comm. Rep.2024(2024) 1 [2203.08121]

work page arXiv 2024
[18]

Benincasa and F

P. Benincasa and F. Vaz˜ ao,Observables in Expanding Universes,Lect. Notes Phys.1041 (2025) 131

2025
[19]

Arkani-Hamed, D

N. Arkani-Hamed, D. Baumann, A. Hillman, A. Joyce, H. Lee and G.L. Pimentel, Differential equations for cosmological correlators,JHEP09(2025) 009 [2312.05303]

work page arXiv 2025
[20]

De and A

S. De and A. Pokraka,A physical basis for cosmological correlators from cuts,JHEP03 (2025) 040 [2411.09695]

work page arXiv 2025
[21]

Capuano, L

M. Capuano, L. Ferro, T. Lukowski and A. Palazio,Canonical Differential Equations for Cosmology from Positive Geometries,2505.14609

work page arXiv
[22]

Mazloumi and X

P. Mazloumi and X. Xu,Cluster algebras for cosmological correlators,2512.14854

work page arXiv
[23]

Capuano, L

M. Capuano, L. Ferro, T. Lukowski and A. Palazio,Cosmology meets cluster algebra, 2512.14859

work page arXiv
[24]

Del Duca, S

V. Del Duca, S. Druc, J. Drummond, C. Duhr, F. Dulat, R. Marzucca et al.,Multi-Regge kinematics and the moduli space of Riemann spheres with marked points,JHEP08(2016) 152 [1606.08807]

work page arXiv 2016
[25]

Paranjape, M

S. Paranjape, M. Skowronek, M. Spradlin, A. Volovich and H.-C. Weng,Cluster Bootstrap for Cosmological Correlators,2603.08670

work page arXiv
[26]

Capuano, L

M. Capuano, L. Ferro, T. Lukowski, A. Palazio and Y.-Q. Zhang,Generalised Cluster Adjacency for Cosmology,2603.09965

work page arXiv
[27]

L. Ren, M. Spradlin, C. Vergu and A. Volovich,One-loop integrals from volumes of orthoschemes,JHEP05(2024) 104 [2306.04630]

work page arXiv 2024
[28]

Hillman,Symbol Recursion for the dS Wave Function,1912.09450

A. Hillman,Symbol Recursion for the dS Wave Function,1912.09450

work page arXiv 1912
[29]

S. He, X. Jiang, J. Liu, Q. Yang and Y.-Q. Zhang,Differential equations and recursive solutions for cosmological amplitudes,JHEP01(2025) 001 [2407.17715]

work page arXiv 2025
[30]

Connes and D

A. Connes and D. Kreimer,Hopf algebras, renormalization and noncommutative geometry, Commun. Math. Phys.199(1998) 203 [hep-th/9808042]

work page arXiv 1998
[31]

Goncharov,Polylogarithms in arithmetic and geometry, inProceedings of the International Congress of Mathematicians: August 3–11, 1994 Z¨ urich, Switzerland, pp

A.B. Goncharov,Polylogarithms in arithmetic and geometry, inProceedings of the International Congress of Mathematicians: August 3–11, 1994 Z¨ urich, Switzerland, pp. 374–387, Springer, 1995

1994
[32]

Goncharov,Multiple polylogarithms, cyclotomy and modular complexes,Math

A.B. Goncharov,Multiple polylogarithms, cyclotomy and modular complexes,Math. Res. Lett.5(1998) 497 [1105.2076]

work page arXiv 1998
[33]

Duhr and F

C. Duhr and F. Dulat,PolyLogTools — polylogs for the masses,JHEP08(2019) 135 [1904.07279]. – 27 –

work page arXiv 2019
[34]

Differential Equations for Massive Correlators

D. Baumann, A. Joyce, H. Lee and K. Salehi Vaziri,Differential Equations for Massive Correlators,2604.08658

work page internal anchor Pith review Pith/arXiv arXiv
[35]

Arkani-Hamed, R

N. Arkani-Hamed, R. Glew and F. Vaz˜ ao,Correlators are simpler than wavefunctions, 2512.23795

work page arXiv
[36]

On the simplicity of de Sitter correlators

C. Chowdhury, S. He, Y.-X. Su and D. Yang,On the simplicity of de Sitter correlators, 2604.26421. – 28 –

work page internal anchor Pith review Pith/arXiv arXiv