Quantum Liouville Cosmology
Pith reviewed 2026-05-16 21:10 UTC · model grok-4.3
The pith
Timelike Liouville disk path integrals with matter insertions along complex contours produce Hartle-Hawking-like wavefunctions in 2D quantum cosmology.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that disk path integrals in timelike Liouville theory, taken with matter field insertions along a judiciously chosen complex contour, yield states akin to the Hartle-Hawking wavefunction. Working in the fixed K-representation the one-loop wavefunctions are computed and all-loop expressions are conjectured. A suitable pairing of such integrals produces a K-independent quantity that may form the basis for a well-defined inner product on the space of Euclidean histories. The analysis also covers other ensembles including fixed area and a static patch perspective with a timelike feature.
What carries the argument
The disk path integral of timelike Liouville theory with insertions of matter field operators evaluated along a chosen complex contour, which generates the cosmological wavefunctions and enables construction of a candidate inner product.
Load-bearing premise
The specific complex contour chosen for the disk path integral is the physically correct one that produces meaningful states corresponding to quantum cosmology.
What would settle it
A numerical evaluation of the disk path integral for a simple matter insertion that either reproduces the computed one-loop wavefunction or fails to match the conjectured all-loop form.
Figures
read the original abstract
We provide a detailed analysis of the disk path integral of timelike Liouville theory, conceived as a tractable and precise toy-model quantum cosmology in two dimensions. Disk path integrals with the insertion of matter field operators, taken along a judiciously chosen complex contour, yield states akin to the Hartle-Hawking wavefunction. Working in the fixed $K$-representation, where $K$ is the trace of the extrinsic curvature, we compute the one-loop wavefunctions and put forward a conjecture for the all-loop expressions. A suitable pairing of Liouville disk path integrals yields a $K$-independent quantity that may form the basis for a well-defined inner product on the space of Euclidean histories. We also consider other ensembles, including one with fixed area, and provide a static patch perspective with a timelike feature.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper analyzes the disk path integral of timelike Liouville theory as a 2D toy model for quantum cosmology. It claims that insertions of matter field operators along a judiciously chosen complex contour produce states akin to the Hartle-Hawking wavefunction. In the fixed K-representation, one-loop wavefunctions are computed explicitly and a conjecture is advanced for the all-loop expressions. A pairing of these path integrals is shown to yield a K-independent quantity proposed as the basis for a well-defined inner product on Euclidean histories. Additional results cover fixed-area ensembles and a static-patch perspective with a timelike feature.
Significance. If the contour choice and all-loop conjecture hold, the work supplies a concrete, calculable framework for quantum cosmology in 2D Liouville theory, with explicit one-loop results and a pairing construction that could define an inner product. These elements offer a tractable setting in which to explore wavefunctions of the universe and Hilbert-space structure, providing a potential testing ground for ideas that might extend to higher-dimensional models.
major comments (2)
- [section presenting the all-loop conjecture] The all-loop conjecture for the wavefunctions (advanced after the one-loop computation in the fixed-K representation) is presented as an extrapolation from one-loop results via pattern recognition, without a derivation from the path-integral measure, Ward identities, or recursion relations that would enforce the form at every order. This conjecture is load-bearing for the claimed generality of the K-independent pairing and the cosmological interpretation.
- [disk path integral setup] The specific complex contour for the disk path integral is described as judiciously chosen to produce Hartle-Hawking-like states, yet the manuscript provides no detailed justification, uniqueness argument, or consistency check (e.g., via Ward identities or comparison with known limits) that this contour is the physically correct one. The central claim that the resulting states are meaningful for quantum cosmology rests on this choice.
minor comments (2)
- [K-representation section] The definition and normalization of the fixed-K representation could be stated more explicitly, including how K is held fixed while integrating over the Liouville field.
- A brief comparison table or explicit formulas contrasting the one-loop results with the conjectured all-loop expressions would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We appreciate the recognition of the potential of this 2D Liouville model as a toy model for quantum cosmology. We address each major comment below, indicating planned revisions to the manuscript.
read point-by-point responses
-
Referee: The all-loop conjecture for the wavefunctions (advanced after the one-loop computation in the fixed-K representation) is presented as an extrapolation from one-loop results via pattern recognition, without a derivation from the path-integral measure, Ward identities, or recursion relations that would enforce the form at every order. This conjecture is load-bearing for the claimed generality of the K-independent pairing and the cosmological interpretation.
Authors: We agree that the all-loop expression is advanced as a conjecture extrapolated from the explicit one-loop results and observed patterns in the fixed-K representation. A derivation from the full path-integral measure or Ward identities is not provided and would require substantial additional work beyond the present scope. In revision we will expand the relevant section to state the conjectural status more explicitly, add supporting checks against semiclassical and perturbative limits, and clarify how the conjecture enters the K-independent pairing while distinguishing it from proven results. revision: partial
-
Referee: The specific complex contour for the disk path integral is described as judiciously chosen to produce Hartle-Hawking-like states, yet the manuscript provides no detailed justification, uniqueness argument, or consistency check (e.g., via Ward identities or comparison with known limits) that this contour is the physically correct one. The central claim that the resulting states are meaningful for quantum cosmology rests on this choice.
Authors: The contour is chosen so that the disk path integral reproduces the Hartle-Hawking boundary conditions in the appropriate semiclassical limit, guided by standard constructions in Liouville theory. We will add a dedicated paragraph detailing the motivation, including consistency with the fixed-K representation and comparison to known limits in the literature. This revision will supply the requested justification and checks. revision: yes
- A complete derivation of the all-loop conjecture from the path-integral measure or Ward identities.
Circularity Check
Explicit one-loop computations and pairing construction independent of self-fitted inputs
full rationale
The paper computes one-loop wavefunctions explicitly in the fixed K-representation after selecting a complex contour for the disk path integral, then conjectures an all-loop form by pattern matching rather than deriving it from the measure or Ward identities. The K-independent pairing is introduced as a new construction on the path integrals. No steps reduce by the paper's equations to quantities fitted from the same authors' prior results, nor are there self-definitional equivalences or ansatze smuggled via self-citation that force the central claims. Self-citations to earlier Liouville work exist but are not load-bearing for the one-loop results or pairing.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The path integral formulation of quantum mechanics applies to timelike Liouville theory with matter insertions along a complex contour.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Disk path integrals with the insertion of matter field operators, taken along a judiciously chosen complex contour, yield states akin to the Hartle-Hawking wavefunction. Working in the fixed K-representation we compute the one-loop wavefunctions and put forward a conjecture for the all-loop expressions.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A suitable pairing of Liouville disk path integrals yields a K-independent quantity that may form the basis for a well-defined inner product on the space of Euclidean histories.
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 3 Pith papers
-
A Tale of Two Hartle-Hawking Wave Functions: Fully Gravitational vs Partially Frozen
In AdS the fully gravitational Hartle-Hawking wave function acquires a nontrivial one-loop phase while the partially frozen version stays real and positive; a partially frozen de Sitter sphere shows phase cancellation.
-
Undulating Conformal Boundaries in 3D Gravity
Inhomogeneous torus boundaries in 3D gravity are thermodynamically favourable for AdS in the range 2 < K |Λ|^{-1/2} < 3/√2 and support macroscopic entropy for all Λ.
-
The yes boundaries wavefunctions of the universe
Using two timelike boundaries and a nearly maximally entangled thermofield double state from dressed de Sitter Hamiltonian theories, the authors construct wavefunctions for extended cosmological spacetimes that includ...
Reference graph
Works this paper leans on
-
[1]
DeWitt,Quantum Theory of Gravity
B.S. DeWitt,Quantum Theory of Gravity. 1. The Canonical Theory,Phys. Rev.160 (1967) 1113
work page 1967
-
[2]
DeWitt,Quantum Theory of Gravity
B.S. DeWitt,Quantum Theory of Gravity. 2. The Manifestly Covariant Theory,Phys. Rev.162(1967) 1195
work page 1967
-
[3]
Eternal Inflation, Global Time Cutoff Measures, and a Probability Paradox
A.H. Guth and V. Vanchurin,Eternal Inflation, Global Time Cutoff Measures, and a Probability Paradox,1108.0665
work page internal anchor Pith review Pith/arXiv arXiv
-
[4]
Local Observation in Eternal inflation
J. Hartle, S.W. Hawking and T. Hertog,Local Observation in Eternal inflation,Phys. Rev. Lett.106(2011) 141302 [1009.2525]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[5]
Maldacena,Comments on the no boundary wavefunction and slow roll inflation, arXiv:2403.10510
J. Maldacena,Comments on the no boundary wavefunction and slow roll inflation, 2403.10510
-
[6]
Closed String Tachyon Condensation and Worldsheet Inflation
B. Carneiro da Cunha and E.J. Martinec,Closed string tachyon condensation and world sheet inflation,Phys. Rev. D68(2003) 063502 [hep-th/0303087]. 41
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[7]
T. Bautista, A. Dabholkar and H. Erbin,Quantum Gravity from Timelike Liouville theory,JHEP10(2019) 284 [1905.12689]
-
[8]
The two-sphere partition function in two-dimensional quantum gravity,
D. Anninos, T. Bautista and B. Mühlmann,The two-sphere partition function in two-dimensional quantum gravity,JHEP09(2021) 116 [2106.01665]
-
[9]
D. Anninos, C. Baracco and B. Mühlmann,Remarks on 2D quantum cosmology, JCAP10(2024) 031 [2406.15271]
-
[10]
The two-sphere partition function from timelike Liouville theory at three-loop order,
B. Mühlmann,The two-sphere partition function from timelike Liouville theory at three-loop order,JHEP05(2022) 057 [2202.04549]
-
[11]
David,Conformal Field Theories Coupled to 2D Gravity in the Conformal Gauge, Mod
F. David,Conformal Field Theories Coupled to 2D Gravity in the Conformal Gauge, Mod. Phys. Lett. A3(1988) 1651
work page 1988
-
[12]
J. Distler and H. Kawai,Conformal Field Theory and 2D Quantum Gravity,Nucl. Phys. B321(1989) 509
work page 1989
-
[13]
Liouville theory with a central charge less than one
S. Ribault and R. Santachiara,Liouville theory with a central charge less than one, JHEP08(2015) 109 [1503.02067]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[14]
B. Mühlmann, V. Narovlansky and I. Tsiares,On the three-point functions in timelike N= 1Liouville CFT,2505.08890
-
[15]
J. Roussillon and I. Tsiares,On the Virasoro Crossing Kernels at Rational Central Charge,2512.03172
-
[16]
Polchinski,A Two-Dimensional Model for Quantum Gravity,Nucl
J. Polchinski,A Two-Dimensional Model for Quantum Gravity,Nucl. Phys. B324 (1989) 123
work page 1989
-
[17]
G.W. Gibbons, S.W. Hawking and M.J. Perry,Path Integrals and the Indefiniteness of the Gravitational Action,Nucl. Phys. B138(1978) 141
work page 1978
-
[18]
Rigorous results for timelike Liouville field theory
S. Chatterjee,Rigorous results for timelike Liouville field theory,2504.02348
work page internal anchor Pith review Pith/arXiv arXiv
-
[19]
R. Usciati, C. Guillarmou, R. Rhodes and R. Santachiara,Probabilistic construction of non compactified imaginary Liouville field theory,2505.09390
-
[20]
R. Mahajan, D. Stanford and C. Yan,Sphere and disk partition functions in Liouville and in matrix integrals,JHEP07(2022) 132 [2107.01172]
-
[21]
S. Chaudhuri and F. Ferrari,Finite cut-off JT and Liouville quantum gravities on the disk at one loop,JHEP01(2025) 160 [2404.03748]
-
[22]
T. Bautista and A. Bawane,Boundary timelike Liouville theory: Bulk one-point and boundary two-point functions,Phys. Rev. D106(2022) 126011 [2111.04715]
-
[23]
J.B. Hartle and S.W. Hawking,Wave Function of the Universe,Phys. Rev. D28 (1983) 2960
work page 1983
-
[24]
Boundary Liouville Field Theory I. Boundary State and Boundary Two-point Function
V. Fateev, A.B. Zamolodchikov and A.B. Zamolodchikov,Boundary Liouville field theory. 1. Boundary state and boundary two point function,hep-th/0001012
work page internal anchor Pith review Pith/arXiv arXiv
-
[25]
Liouville field theory on a pseudosphere
A.B. Zamolodchikov and A.B. Zamolodchikov,Liouville field theory on a pseudosphere,hep-th/0101152. 42
work page internal anchor Pith review Pith/arXiv arXiv
-
[26]
Remarks on Liouville theory with boundary
J. Teschner,Remarks on Liouville theory with boundary,PoStmr2000(2000) 041 [hep-th/0009138]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[27]
D. Anninos, D.A. Galante and B. Mühlmann,Finite features of quantum de Sitter space,Class. Quant. Grav.40(2023) 025009 [2206.14146]
-
[28]
D. Anninos, P. Benetti Genolini and B. Mühlmann,dS2 supergravity,JHEP11(2023) 145 [2309.02480]
-
[29]
K. Allameh and E. Shaghoulian,Timelike Liouville theory and AdS3 gravity at finite cutoff,2508.03236
work page internal anchor Pith review arXiv
-
[30]
Polyakov,Quantum Geometry of Bosonic Strings,Phys
A.M. Polyakov,Quantum Geometry of Bosonic Strings,Phys. Lett. B103(1981) 207
work page 1981
-
[31]
Lectures on 2D gravity and 2D string theory (TASI 1992)
P.H. Ginsparg and G.W. Moore,Lectures on 2-D gravity and 2-D string theory, in Theoretical Advanced Study Institute (TASI 92): From Black Holes and Strings to Particles, pp. 277–469, 10, 1993 [hep-th/9304011]
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[32]
J. Polchinski,String theory. Vol. 1: An introduction to the bosonic string, Cambridge University Press (2007)
work page 2007
-
[33]
Random Geometry, Quantum Gravity and the K\"ahler Potential
F. Ferrari, S. Klevtsov and S. Zelditch,Random geometry, quantum gravity and the Kähler potential,Phys. Lett. B705(2011) 375 [1107.4022]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[34]
Analytic Continuation of Liouville Theory
D. Harlow, J. Maltz and E. Witten,Analytic Continuation of Liouville Theory,JHEP 12(2011) 071 [1108.4417]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[35]
S. Collier, L. Eberhardt, B. Mühlmann and V.A. Rodriguez,Complex Liouville String, Phys. Rev. Lett.134(2025) 251602 [2409.17246]
-
[36]
A. Blommaert, D. Tietto and H. Verlinde,SYK collective field theory as complex Liouville gravity,2509.18462
-
[37]
On the Three-point Function in Minimal Liouville Gravity
A.B. Zamolodchikov,Three-point function in the minimal Liouville gravity,Theor. Math. Phys.142(2005) 183 [hep-th/0505063]
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[38]
Bulk correlation functions in 2D quantum gravity
I.K. Kostov and V.B. Petkova,Bulk correlation functions in 2-D quantum gravity, Theor. Math. Phys.146(2006) 108 [hep-th/0505078]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[39]
Non-Rational 2D Quantum Gravity: I. World Sheet CFT
I.K. Kostov and V.B. Petkova,Non-rational 2-D quantum gravity. I. World sheet CFT,Nucl. Phys. B770(2007) 273 [hep-th/0512346]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[40]
Non-Rational 2D Quantum Gravity II. Target Space CFT
I.K. Kostov and V.B. Petkova,Non-Rational 2D Quantum Gravity II. Target Space CFT,Nucl. Phys. B769(2007) 175 [hep-th/0609020]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[41]
Polchinski,The phase of the sum over spheres,Phys
J. Polchinski,The phase of the sum over spheres,Phys. Lett. B219(1989) 251
work page 1989
-
[42]
Seiberg,Notes on quantum Liouville theory and quantum gravity,Prog
N. Seiberg,Notes on quantum Liouville theory and quantum gravity,Prog. Theor. Phys. Suppl.102(1990) 319
work page 1990
-
[43]
Polchinski,Remarks on the Liouville field theory,Conf
J. Polchinski,Remarks on the Liouville field theory,Conf. Proc. C9003122(1990) 62
work page 1990
-
[44]
Structure Constants and Conformal Bootstrap in Liouville Field Theory
A.B. Zamolodchikov and A.B. Zamolodchikov,Structure constants and conformal bootstrap in Liouville field theory,Nucl. Phys. B477(1996) 577 [hep-th/9506136]. 43
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[45]
S. Chaudhuri and F. Ferrari,Dirichlet Scalar Determinants On Two-Dimensional Constant Curvature Disks,2405.14958. [46]NIST Digital Library of Mathematical Functions, Release 1.2.4 of 2025-03-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
-
[46]
Holographic No-Boundary Measure
T. Hertog and J. Hartle,Holographic No-Boundary Measure,JHEP05(2012) 095 [1111.6090]
work page internal anchor Pith review Pith/arXiv arXiv 2012
- [47]
-
[48]
D. Anninos and E. Harris,Interpolating geometries and the stretched dS2 horizon, JHEP11(2022) 166 [2209.06144]
-
[49]
D. Anninos, D.A. Galante and C. Maneerat,Cosmological observatories,Class. Quant. Grav.41(2024) 165009 [2402.04305]
-
[50]
Weinberg,The Cosmological Constant Problem,Rev
S. Weinberg,The Cosmological Constant Problem,Rev. Mod. Phys.61(1989) 1
work page 1989
-
[51]
J.J. Halliwell and J.B. Hartle,Wave functions constructed from an invariant sum over histories satisfy constraints,Phys. Rev. D43(1991) 1170
work page 1991
-
[52]
The Classical Universes of the No-Boundary Quantum State
J.B. Hartle, S.W. Hawking and T. Hertog,The Classical Universes of the No-Boundary Quantum State,Phys. Rev. D77(2008) 123537 [0803.1663]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[53]
What is the No-Boundary Wave Function of the Universe?
J.J. Halliwell, J.B. Hartle and T. Hertog,What is the No-Boundary Wave Function of the Universe?,Phys. Rev. D99(2019) 043526 [1812.01760]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[54]
York, Jr.,Role of conformal three geometry in the dynamics of gravitation,Phys
J.W. York, Jr.,Role of conformal three geometry in the dynamics of gravitation,Phys. Rev. Lett.28(1972) 1082
work page 1972
-
[55]
Witten,Quantum Field Theory and the Jones Polynomial,Commun
E. Witten,Quantum Field Theory and the Jones Polynomial,Commun. Math. Phys. 121(1989) 351
work page 1989
-
[56]
Topological entanglement entropy
A. Kitaev and J. Preskill,Topological entanglement entropy,Phys. Rev. Lett.96 (2006) 110404 [hep-th/0510092]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[57]
Detecting topological order in a ground state wave function
M. Levin and X.-G. Wen,Detecting Topological Order in a Ground State Wave Function,Phys. Rev. Lett.96(2006) 110405 [cond-mat/0510613]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[58]
Features of the Partition Function of a Λ > 0 Universe,
D. Anninos, C. Baracco, S. Brian and F. Denef,Features of the Partition Function of aΛ>0Universe,2505.11330
-
[59]
On boundary value problems for Einstein metrics
M.T. Anderson,On boundary value problems for Einstein metrics,Geom. Topol.12 (2008) 2009 [math/0612647]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[60]
D. Anninos, D.A. Galante and C. Maneerat,Gravitational observatories,JHEP12 (2023) 024 [2310.08648]
-
[61]
G.W. Gibbons and S.W. Hawking,Cosmological Event Horizons, Thermodynamics, and Particle Creation,Phys. Rev. D15(1977) 2738. 44
work page 1977
-
[62]
D. Anninos, C. Baracco, V.A. Letsios and G.A. Silva,Fermionic fields of higher spin in de Sitter space,2510.19652
-
[63]
D. Anninos, F. Denef, Y.T.A. Law and Z. Sun,Quantum de Sitter horizon entropy from quasicanonical bulk, edge, sphere and topological string partition functions,JHEP 01(2022) 088 [2009.12464]
-
[64]
Non-Gaussian features of primordial fluctuations in single field inflationary models
J.M. Maldacena,Non-Gaussian features of primordial fluctuations in single field inflationary models,JHEP05(2003) 013 [astro-ph/0210603]
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[65]
Higher Spin de Sitter Hilbert Space
D. Anninos, F. Denef, R. Monten and Z. Sun,Higher Spin de Sitter Hilbert Space, JHEP10(2019) 071 [1711.10037]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[66]
S. Collier, L. Eberhardt and B. Mühlmann,A microscopic realization of dS3,SciPost Phys.18(2025) 131 [2501.01486]
- [67]
-
[68]
Branes, Rings and Matrix Models in Minimal (Super)string Theory
N. Seiberg and D. Shih,Branes, rings and matrix models in minimal (super)string theory,JHEP02(2004) 021 [hep-th/0312170]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[69]
D. Anninos and D.M. Hofman,Infrared Realization of dS2 in AdS2,Class. Quant. Grav.35(2018) 085003 [1703.04622]
-
[70]
Real observers solving imaginary problems,
J. Maldacena,Real observers solving imaginary problems,2412.14014. 45
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.