arxiv: 2601.15228 · v2 · submitted 2026-01-21 · ✦ hep-th · gr-qc

Recognition: 2 theorem links

· Lean Theorem

De Sitter Momentum Space

Nathan Belrhali , Arthur Poisson , S\'ebastien Renaux-Petel , Denis Werth

Authors on Pith no claims yet

Pith reviewed 2026-05-16 11:59 UTC · model grok-4.3

classification ✦ hep-th gr-qc

keywords de Sitter spacetimemomentum spacequantum field theoryin-in correlatorsKällén-Lehmann decompositionisometry groupearly universe cosmology

0 comments

The pith

A momentum space for de Sitter spacetime makes equations of motion algebraic and converts time integrals into frequency integrals over meromorphic functions.

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

The paper constructs a momentum space for quantum field theory on de Sitter spacetime by using the unitary representations of the isometry group SO(1,d+1). Diagonalizing the quadratic Casimir together with spatial translations produces the Kontorovitch-Lebedev-Fourier space, in which the dS frequency acts as the representation label. In this space the equations of motion reduce to algebraic relations and the quadratic propagator takes a simple form analogous to flat space. Perturbative in-in correlators are reformulated so that time integrals become frequency integrals over meromorphic functions, naturally incorporating principal and complementary series in the Källén-Lehmann decomposition. The approach supplies a group-theoretic method for loop integrals and streamlines calculations relevant to early-universe cosmology.

Core claim

By identifying the de Sitter frequency with the unitary-representation label of SO(1,d+1) and diagonalizing the quadratic Casimir together with spatial translations, the authors obtain a harmonic expansion of operators in Kontorovitch-Lebedev-Fourier momentum space. In this space the equations of motion become algebraic, the quadratic dynamics yields a propagator analogous to the flat-space case, and the perturbative computation of in-in correlators converts time integrals into frequency-space integrals over meromorphic functions while accommodating both principal and complementary series in the Källén-Lehmann spectral decomposition.

What carries the argument

The Kontorovitch-Lebedev-Fourier (KLF) momentum space obtained by jointly diagonalizing the quadratic Casimir of the de Sitter isometry group SO(1,d+1) and the spatial translation operators.

Load-bearing premise

That the basis obtained by diagonalizing the quadratic Casimir with spatial translations remains complete and valid for the interacting theory while correctly capturing the full Källén-Lehmann decomposition including complementary series.

What would settle it

A mismatch between a specific loop-corrected in-in correlator computed via KLF momentum space and the same quantity obtained by conventional time-ordered perturbation theory in de Sitter spacetime would show that the expansion is incomplete.

read the original abstract

We construct a natural and nonperturbative momentum space for quantum field theory on $(d+1)$-dimensional de Sitter (dS) spacetime in the Poincar\'e slicing, adapted to early Universe cosmology. In particular, we identify the dS frequency as the unitary-representation label of the dS isometry group $\mathrm{SO}(1, d+1)$. By diagonalizing the quadratic Casimir together with spatial translations, we provide a harmonic expansion of operators in what we call the Kontorovitch-Lebedev-Fourier (KLF) space. This momentum space shares many structural properties with its Minkowski counterpart, for instance: equations of motion reduce to algebraic equations, and the quadratic dynamics provides a simple propagator analogous to flat space. We reformulate the perturbative computation of in-in correlators in KLF momentum space, showing from first principles how time integrals turn into frequency-space integrals over meromorphic functions. We show how our construction streamlines computations, naturally accommodates the contributions from principal and complementary series in the K\"all\'en-Lehmann spectral decomposition of composite operators, and leads to a group-theoretical method to evaluate loop momentum integrals.

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 defines a KLF momentum space for de Sitter QFT from SO(1,d+1) representations, turning time integrals into meromorphic frequency integrals, but the interacting completeness claim needs checking.

read the letter

The main takeaway is that this paper constructs a momentum space for de Sitter QFT by taking the dS frequency as the label from the unitary representations of the isometry group. Diagonalizing the quadratic Casimir with spatial translations gives a harmonic expansion they call KLF space, where free equations become algebraic and the propagator looks like the flat-space version. They then recast in-in perturbative calculations so that time integrals become frequency integrals over meromorphic functions, and they show how this setup includes both principal and complementary series in the Källén-Lehmann decomposition of composite operators without extra machinery. That group-theoretic route to loop integrals is the concrete new element. The construction is formally grounded in standard representation theory and avoids fitting parameters, which is a plus. The soft spot is the step from free to interacting theory. The abstract states that the same basis remains complete and sufficient for the full perturbative expansion, but the justification for why the free modes still span the interacting Hilbert space, especially with possible horizon boundary conditions or missing pieces in the spectral decomposition, is not laid out in enough detail here to judge. That is the part that would need the closest look in the full derivations. This is aimed at people who do loop-level calculations in inflationary or late-time de Sitter correlators and want a cleaner organization of the integrals. A reader already working in dS QFT would get practical value if the completeness holds. The work shows clear thinking on the representation side and engages the existing literature on dS propagators, so it deserves a serious referee to verify the interacting extension and check reproducibility of the frequency integrals.

Referee Report

2 major / 2 minor

Summary. The paper constructs a momentum space for QFT on (d+1)-dimensional de Sitter spacetime in Poincaré slicing by identifying the dS frequency with the unitary representation label of SO(1,d+1). Diagonalizing the quadratic Casimir together with spatial translations yields the Kontorovitch-Lebedev-Fourier (KLF) harmonic expansion. This leads to algebraic equations of motion, a flat-space-like propagator at quadratic order, and a reformulation of perturbative in-in correlators in which time integrals become frequency integrals over meromorphic functions. The construction is claimed to naturally accommodate principal and complementary series in the Källén-Lehmann decomposition of composite operators and to provide a group-theoretical method for loop integrals.

Significance. If the completeness of the KLF basis for interacting theories is established, the work would supply a nonperturbative, group-theoretic momentum space for dS QFT that directly parallels Minkowski space, converting time-dependent integrals into meromorphic frequency integrals and offering a systematic handle on complementary-series contributions. This could streamline cosmological perturbation theory and loop computations in de Sitter backgrounds. The use of SO(1,d+1) representation theory to define the frequency label is a clear structural strength.

major comments (2)

[§3] §3 (harmonic expansion): The KLF basis is obtained by diagonalizing the quadratic Casimir of SO(1,d+1) with spatial translations for free fields. The central claim that this basis remains complete for the interacting theory and captures the full Källén-Lehmann decomposition (including complementary series) without additional boundary conditions is asserted but not demonstrated. This completeness is required for the reformulation of all in-in correlators to hold.
[§5] §5 (in-in correlators): The statement that time integrals reduce to frequency integrals over meromorphic functions is derived from the quadratic propagator. No explicit check is given that the same algebraic structure and meromorphic property survive at higher orders once interactions are turned on, which is load-bearing for the perturbative reformulation claim.

minor comments (2)

Notation for the KLF momentum variables and the precise relation between the Casimir eigenvalue and the frequency label should be collected in a single table for quick reference.
[Introduction] The abstract states the construction is 'nonperturbative,' yet the explicit results are perturbative; a brief clarification in the introduction on the scope would avoid confusion.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major points below, clarifying the group-theoretic foundations and indicating where revisions will strengthen the presentation.

read point-by-point responses

Referee: [§3] §3 (harmonic expansion): The KLF basis is obtained by diagonalizing the quadratic Casimir of SO(1,d+1) with spatial translations for free fields. The central claim that this basis remains complete for the interacting theory and captures the full Källén-Lehmann decomposition (including complementary series) without additional boundary conditions is asserted but not demonstrated. This completeness is required for the reformulation of all in-in correlators to hold.

Authors: The KLF expansion is constructed from the unitary irreducible representations of the isometry group SO(1,d+1), which furnish a complete basis for square-integrable functions on the Poincaré patch independently of the dynamics. This completeness is a kinematic consequence of the representation theory (Peter-Weyl-type decomposition for the non-compact group), automatically incorporating both principal and complementary series. In the perturbative interacting theory the in-in correlators are built from free propagators, so the same basis applies order by order; the Källén-Lehmann spectral decomposition of composite operators follows directly from the allowed unitary irreps. We will add a clarifying paragraph in §3 that makes this group-theoretic origin explicit and notes its applicability to perturbative computations. revision: partial
Referee: [§5] §5 (in-in correlators): The statement that time integrals reduce to frequency integrals over meromorphic functions is derived from the quadratic propagator. No explicit check is given that the same algebraic structure and meromorphic property survive at higher orders once interactions are turned on, which is load-bearing for the perturbative reformulation claim.

Authors: The reduction of time integrals to frequency integrals follows from the exponential time dependence of the free KLF modes, which produces simple poles in the frequency variable. At higher perturbative orders the in-in expressions involve products of these propagators; the time integrals are still evaluated by contour integration in the complex frequency plane, yielding meromorphic integrands. We will insert an explicit one-loop example in the revised §5 that demonstrates the persistence of this structure. revision: yes

Circularity Check

0 steps flagged

No circularity: KLF basis defined via standard Casimir diagonalization without reduction to inputs

full rationale

The paper defines the Kontorovitch-Lebedev-Fourier (KLF) momentum space explicitly by diagonalizing the quadratic Casimir of SO(1,d+1) together with spatial translations to obtain the harmonic expansion and frequency label. This is a direct application of representation theory, making equations of motion algebraic by the eigenbasis property rather than by any self-referential fit or redefinition. The reformulation of in-in integrals into meromorphic frequency integrals follows from substituting the mode expansion, without the central claims (propagator form, KL decomposition accommodation) reducing to tautologies or self-citation chains. Completeness for interacting theories is stated as an extension but does not create a circular derivation step in the provided construction. No self-definitional, fitted-prediction, or ansatz-smuggling patterns are exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction relies on the representation theory of the de Sitter isometry group and the completeness of the resulting harmonic expansion; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption The dS isometry group SO(1,d+1) admits unitary representations whose labels can be identified with a frequency that diagonalizes the quadratic Casimir together with spatial translations.
Invoked to define the KLF space and the harmonic expansion of operators.

pith-pipeline@v0.9.0 · 5507 in / 1268 out tokens · 40206 ms · 2026-05-16T11:59:52.321785+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

By diagonalizing the quadratic Casimir together with spatial translations, we provide a harmonic expansion of operators in what we call the Kontorovich-Lebedev-Fourier (KLF) space.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the Casimir eigenvalues of interest read M²(μ)=μ²+d²/4

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 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Kontorovich-Lebedev-Fourier Space for de Sitter Correlators
hep-th 2026-04 unverdicted novelty 8.0

A Kontorovich-Lebedev-Fourier space is built for (d+1)-dimensional de Sitter correlators from the Casimir operator of SO(1,d+1), producing rational propagators and Feynman rules that turn tree and loop diagrams into s...
Differential Equations for Massive Correlators
hep-th 2026-04 unverdicted novelty 7.0

A graph-tubing combinatorial framework governs the first-order differential equations obeyed by master integrals for massive cosmological correlators in de Sitter space.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · cited by 2 Pith papers · 12 internal anchors

[1]

Strominger, JHEP10, 034 (2001), arXiv:hep- th/0106113

A. Strominger, JHEP10, 034 (2001), arXiv:hep- th/0106113

work page arXiv 2001
[2]

Quantum Gravity In De Sitter Space

E. Witten, Strings 2001: International Conference, (2001), arXiv:hep-th/0106109

work page internal anchor Pith review Pith/arXiv arXiv 2001
[3]

Perturbative S-matrix for massive scalar fields in global de Sitter space

D. Marolf, I. A. Morrison, and M. Srednicki, Class. Quant. Grav.30, 155023 (2013), arXiv:1209.6039 [hep- th]

work page internal anchor Pith review Pith/arXiv arXiv 2013
[4]

Melville and G

S. Melville and G. L. Pimentel, Phys. Rev. D110, 103530 (2024), arXiv:2309.07092 [hep-th]

work page arXiv 2024
[5]

Donath and E

Y. Donath and E. Pajer, JHEP07, 064 (2024), arXiv:2402.05999 [hep-th]

work page arXiv 2024
[6]

Melville and G

S. Melville and G. L. Pimentel, JHEP08, 211 (2024), arXiv:2404.05712 [hep-th]

work page arXiv 2024
[7]

Di Pietro, V

L. Di Pietro, V. Gorbenko, and S. Komatsu, JHEP03, 023 (2022), arXiv:2108.01695 [hep-th]

work page arXiv 2022
[8]

Xianyu and H

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

work page arXiv 2023
[9]

Chakraborty and J

P. Chakraborty and J. Stout, JHEP02, 021 (2024), arXiv:2310.01494 [hep-th]

work page arXiv 2024
[10]

Qin and Z.-Z

Z. Qin and Z.-Z. Xianyu, JHEP09, 116 (2023), arXiv:2304.13295 [hep-th]

work page arXiv 2023
[11]

Qin and Z.-Z

Z. Qin and Z.-Z. Xianyu, JHEP01, 168 (2024), arXiv:2308.14802 [hep-th]

work page arXiv 2024
[12]

X. Chen, Y. Wang, and Z.-Z. Xianyu, JCAP12, 006 (2017), arXiv:1703.10166 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2017
[13]

Higuchi, J

A. Higuchi, J. Math. Phys.28, 1553 (1987), [Erratum: J.Math.Phys. 43, 6385 (2002)]

work page 1987
[14]

Bros, Nucl

J. Bros, Nucl. Phys. B Proc. Suppl.18, 22 (1991)

work page 1991
[15]

Two-point Functions and Quantum Fields in de Sitter Universe

J. Bros and U. Moschella, Rev. Math. Phys.8, 327 (1996), arXiv:gr-qc/9511019

work page internal anchor Pith review Pith/arXiv arXiv 1996
[16]

The IR stability of de Sitter: Loop corrections to scalar propagators

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

work page internal anchor Pith review Pith/arXiv arXiv 2010
[17]

The IR stability of de Sitter QFT: results at all orders

D. Marolf and I. A. Morrison, Phys. Rev. D84, 044040 (2011), arXiv:1010.5327 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[18]

On the Equivalence between Euclidean and In-In Formalisms in de Sitter QFT

A. Higuchi, D. Marolf, and I. A. Morrison, Phys. Rev. D83, 084029 (2011), arXiv:1012.3415 [gr-qc]. 7

work page internal anchor Pith review Pith/arXiv arXiv 2011
[19]

Belrhali, A

N. Belrhali, A. Poisson, S. Renaux-Petel, and D. Werth, (2026)

work page 2026
[20]

Bargmann and E

V. Bargmann and E. P. Wigner, Proc. Nat. Acad. Sci. 34, 211 (1948)

work page 1948
[21]

Sun, Rev

Z. Sun, Rev. Math. Phys.37, 2430007 (2025), arXiv:2111.04591 [hep-th]

work page arXiv 2025
[22]

Shift Symmetries in (Anti) de Sitter Space

J. Bonifacio, K. Hinterbichler, A. Joyce, and R. A. Rosen, JHEP02, 178 (2019), arXiv:1812.08167 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[23]

Weinberg, Phys

S. Weinberg, Phys. Rev. D72, 043514 (2005), arXiv:hep- th/0506236

work page arXiv 2005
[24]

Late-time Structure of the Bunch-Davies De Sitter Wavefunction

D. Anninos, T. Anous, D. Z. Freedman, and G. Konstan- tinidis, JCAP11, 048 (2015), arXiv:1406.5490 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2015
[25]

Sleight and M

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

work page arXiv 2021
[26]

Loparco, J

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

work page arXiv 2023
[27]

Chowdhury, A

C. Chowdhury, A. Lipstein, J. Mei, I. Sachs, and P. Van- hove, JHEP03, 007 (2025), arXiv:2312.13803 [hep-th]

work page arXiv 2025
[28]

NIST Digital Library of Mathematical Func- tions,

DLMF, “NIST Digital Library of Mathematical Func- tions,”https://dlmf.nist.gov/, Release 1.2.5 of 2025- 12-15, f. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

work page 2025
[29]

Kontorovich and N

M. Kontorovich and N. Lebedev, Doklady Akademii Nauk SSSR19, 441 (1938)

work page 1938
[30]

Lebedev, Doklady Akademii Nauk SSSR52, 655 (1946)

N. Lebedev, Doklady Akademii Nauk SSSR52, 655 (1946)

work page 1946
[31]

Gel’fand and N

I. Gel’fand and N. Vilenkin, Generalized Functions, Vol. IV (Academic Press, New York, 1964)

work page 1964
[32]

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

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

work page arXiv 2024
[33]

Implications of conformal invariance in momentum space

A. Bzowski, P. McFadden, and K. Skenderis, JHEP03, 111 (2014), arXiv:1304.7760 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2014
[34]

Evaluation of conformal integrals

A. Bzowski, P. McFadden, and K. Skenderis, JHEP02, 068 (2016), arXiv:1511.02357 [hep-th]

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

Hogervorst, J

M. Hogervorst, J. Penedones, and K. S. Vaziri, JHEP 02, 162 (2023), arXiv:2107.13871 [hep-th]

work page arXiv 2023
[36]

Loparco, J

M. Loparco, J. Qiao, and Z. Sun, SciPost Phys.18, 164 (2025), arXiv:2310.15944 [hep-th]

work page arXiv 2025
[37]

J. Bros, H. Epstein, M. Gaudin, U. Moschella, and V. Pasquier, Commun. Math. Phys.295, 261 (2010), arXiv:0901.4223 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2010