⚛️ high-energy theory

de Sitter Wavefunction from Quadrangular Polylogarithms: Polygon Graphs

This paper presents an explicit formula for the $n$ -gon graph contribution to the cosmological wavefunction in de Sitter space for conformally coupled $\phi^3$ theory, expressing the result in terms of newly introduced $B$ -type quadrangular polylogarithms derived from centrally symmetric quadrangulations of a $4n$ -gon and proving the formula by linking the wavefunction's recursive differential equation to a coproduct structure within the $B_{2n-1}$ cluster algebra.

Original authors: Livia Ferro, Tomasz Lukowski, Shruti Paranjape, Lecheng Ren, Marcus Spradlin, Anastasia Volovich, He-Chen Weng, Yao-Qi Zhang

Published 2026-10-06

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Livia Ferro, Tomasz Lukowski, Shruti Paranjape, Lecheng Ren, Marcus Spradlin, Anastasia Volovich, He-Chen Weng, Yao-Qi Zhang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast, expanding universe, the space between galaxies is not empty but filled with a faint, ghostly energy that stretches and thins as the cosmos grows. This is de Sitter space, the mathematical model physicists use to describe our current universe and its distant future. To understand how matter behaves in this stretching environment, scientists study a "wavefunction," a complex mathematical object that encodes the probabilities of every possible arrangement of particles. For decades, calculating these probabilities for even simple interactions has been a formidable challenge, often requiring the summation of countless intricate diagrams that look like tangled webs of lines. However, a recent breakthrough has revealed that these tangled webs are not random; they follow a hidden, rigid order. The researchers have discovered that the mathematical structure governing these cosmic probabilities is deeply connected to a specific type of geometric pattern, one that can be visualized as a polygon with many sides, where every line and angle obeys a strict set of rules.

The team, led by physicists from institutions in the United Kingdom and the United States, focused on a specific shape: a polygon graph, which represents a loop of particles interacting in a circle. In the language of their field, these are called "n-gon" graphs, where "n" is the number of points on the loop. For years, scientists knew that the letters making up the mathematical symbols for these shapes came from a special collection called a "cluster algebra," a system that organizes numbers and variables into compatible groups. But knowing the letters were not enough; the scientists needed to write the actual words, the full functions that describe the physics. In a previous study, the same group solved this problem for a straight line of particles, a "chain" graph, by finding a new class of functions called quadrangular polylogarithms. These functions are built by summing over all the ways a polygon can be divided into four-sided shapes, much like tiling a floor with square tiles.

In this new work, the researchers tackled the more difficult problem of the circular loop. They found that the solution for the polygon graph is not a messy combination of many different pieces, as one might expect, but a single, elegant function. They constructed a new family of mathematical objects they call "B-type quadrangular polylogarithms." To build these, they imagined a polygon with twice as many sides as the particle loop, but with a special symmetry: if you rotate the shape by half a turn, it looks exactly the same. This symmetry is the key. They showed that every possible way to divide this symmetric shape into four-sided pieces contributes to a single, unified answer. This answer is a "weight-n" function, meaning its complexity matches the number of particles in the loop, and it contains no extra, unnecessary terms. The researchers proved this by showing that their new function satisfies the exact same recursive rules that the physical wavefunction must obey. If you take a large loop and remove one particle, the function breaks down perfectly into the function for the smaller loop, just as the physics demands.

The discovery is significant because it reveals a surprising simplicity in the heart of a complex problem. While the straight-line chain graphs required a combination of three different functions and some lower-level corrections, the circular loop graphs collapse into just one. The researchers demonstrated this explicitly for loops with one, two, and three particles, and provided a general proof that it holds for any number. They also showed that if you stretch the loop until one of the connections becomes infinitely long, the circular shape effectively breaks, and their new B-type function smoothly transforms into the function for the straight chain. This confirms that their new mathematical tool is not merely a specific solution for one specific shape, but a fundamental piece of the larger puzzle. The work suggests that the universe's wavefunction, even in its most complex looped forms, is governed by a deep, geometric harmony that can be described by these newly defined functions, offering a clearer path to understanding the quantum nature of our expanding cosmos.

Technical Summary: De Sitter Wavefunction from Quadrangular Polylogarithms: Polygon Graphs

Problem Statement
The paper addresses the mathematical structure of cosmological observables, specifically the wavefunction coefficients for a conformally coupled $\phi^3$ theory in de Sitter space. While recent work established that wavefunction coefficients for chain graphs correspond to A-type cluster algebras and can be expressed using A-type quadrangular polylogarithms (QLi), the analogous problem for $n$ -gon graphs remained unsolved. These $n$ -gon graphs are known to have symbol alphabets corresponding to B-type cluster algebras ( $B_{2n-1}$ ) and exhibit "total cluster compatibility," a property where every letter in a symbol word belongs to a single cluster. The challenge was to construct explicit function-level formulas for these coefficients that respect this B-type structure, moving beyond symbol-level analysis to exact transcendental functions.

Methodology
The authors employ a combinatorial construction based on the geometry of cluster algebras and the theory of multiple polylogarithms (MPLs).

Geometric Framework: The paper utilizes the geometric description of $B_m$ cluster algebras as centrally symmetric triangulations of a regular $(2m+2)$ -gon. This is realized by folding a $D_{m+1}$ algebra via a $\mathbb{Z}_2$ symmetry (180 $^\circ$ rotation).
Arborification and Partial Quadrangulations: Extending the work of Matveiakin and Rudenko on A-type functions, the authors define B-type quadrangular polylogarithms ( $QLiB_n$ $Q L i B_{n}$ ). The construction involves:
- Considering a centrally symmetric alternating $4n$ -gon ( $P_{4n}$ ).
- Defining partial quadrangulations of $P_{4n}$ that are invariant under the $\mathbb{Z}_2$ involution. These consist of a central, self-conjugate $4k$ -gon and full quadrangulations of the remaining components.
- Mapping these quadrangulations to weighted symbols in the Connes-Kreimer Hopf algebra of rooted trees. A key modification from the A-type case is the treatment of the central polygon: it acts as a root node with a specific weight- $k$ letter derived from a self-conjugate cross-ratio (the square root of a standard cross-ratio), rather than a standard cross-ratio.
Recursive Differential Equations: The authors utilize the known recursive differential equation (coproduct formula) satisfied by cosmological wavefunction coefficients. They demonstrate that the constructed $QLiB_n$ functions satisfy the exact same recursion relation as the $n$ -gon wavefunction coefficients ( $\psi^\circ_n$ ).
Boundary Conditions: The solution to the recursion is fixed by the soft limit (vanishing internal energy), ensuring no additive constants are missing.

Key Contributions

Definition of $QLiB_n$ : The paper introduces a new class of weight- $n$ functions, $QLiB_n$ , constructed from centrally symmetric quadrangulations of a $4n$ -gon. These functions are defined as linear combinations of multiple polylogarithms with arguments derived from B-type cluster variables.
Exact Formula for $n$ -gon Graphs: The primary result is the explicit identification of the $n$ -gon wavefunction coefficient $\psi^\circ_n$ with the single function $QLiB_n$ . Unlike the chain graph case, which required a linear combination of three permutations of a function plus lower-weight products, the $n$ -gon coefficient is a single, pure weight- $n$ function.
Proof of Total Compatibility: The authors prove that the symbol of $QLiB_n$ satisfies total compatibility with respect to the $B_{2n-1}$ cluster algebra. This is demonstrated by showing that the coproduct of the function decomposes into mutually compatible sub-polygons, recursively building the total compatibility property.
Limit Analysis: The paper establishes a kinematic limit where the $n$ -gon wavefunction coefficient degenerates into the $n$ -site chain wavefunction coefficient. In this limit, the B-type quadrangular polylogarithm $QLiB_n$ reduces exactly to the combination of A-type quadrangular polylogarithms ( $QLi$ ) found in the chain graph solution, confirming consistency between the two graph topologies.

Results

Explicit Formulas: The authors provide explicit expressions for $n=1, 2, 3$ (corresponding to the tadpole, bubble, and triangle graphs). For $n=2$ , the result is a sum of five terms involving dilogarithms and products of logarithms, matching previous numerical evaluations and known results for the bubble graph.
Symbol Structure: The symbol letters of $\psi^\circ_n$ are identified as the cluster variables of the $B_{2n-1}$ algebra. The construction ensures that the "self-conjugate" letters (associated with the central polygon) are square roots of cross-ratios, a feature distinct from A-type functions.
Verification: The formula is verified for $n=1, 2, 3$ by direct integration of the defining loop integrals and by checking the soft limit behavior. The general proof relies on the matching of the recursive coproduct structure.

Significance
The paper claims that this work provides the first explicit, function-level formula for the wavefunction coefficients of polygon graphs in de Sitter space. The significance lies in:

Simplicity: The $n$ -gon coefficient is expressed as a single function ( $QLiB_n$ ), which is structurally simpler than the chain graph counterpart.
New Function Class: It introduces B-type quadrangular polylogarithms as a genuinely new family of transcendental functions, distinct from A-type ones due to the presence of square-root cluster variables.
Unification: It demonstrates that the total cluster compatibility observed in chain graphs extends to polygon graphs, with the B-type cluster algebra providing the correct mathematical framework.
Mathematical Physics Bridge: The work connects the combinatorics of centrally symmetric polygon quadrangulations directly to physical observables in cosmology, offering a concrete realization of how cluster algebras govern the analytic structure of cosmological wavefunctions.

The authors note that while they have solved the problem for one-loop polygon graphs, the extension to multi-loop diagrams or more general graphs remains an open problem. They also highlight the potential for classifying higher-weight members of the sequence of B-type compatible functions.

More like this