Recognition: 2 theorem links
· Lean TheoremHow to tame your (black hole) saddles: Lessons from the Lorentzian Gravitational Path Integral
Pith reviewed 2026-05-15 00:03 UTC · model grok-4.3
The pith
Defining the AdS partition function as an integral over real Lorentzian metrics with conical singularities makes only finitely many black hole saddles contribute at finite temperature.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
When the partition function is defined as an integral over real Lorentzian metrics with conical singularities, Picard-Lefschetz theory selects only a finite number of the complex black hole saddles expected from charge quantization, rendering the semiclassical sum convergent at finite inverse temperature β.
What carries the argument
Picard-Lefschetz analysis applied to the contour integral over real Lorentzian metrics with conical singularities
If this is right
- The sum over black hole saddles converges for every finite value of β.
- As β approaches infinity the sum includes all saddles that approach the usual real Euclidean black holes.
- For the BTZ black hole in the fixed-angular-velocity ensemble all candidate saddles contribute without causing divergence.
Where Pith is reading between the lines
- The same contour-selection method could be tested on other gravitational ensembles that involve quantized charges or chemical potentials.
- Extending the analysis to include fermionic fields or higher-derivative corrections might reveal whether the finite-saddle selection persists.
- The Lorentzian definition may offer a general way to regulate saddle sums in other AdS/CFT partition functions where naive complex saddles diverge.
Load-bearing premise
The partition function is defined as an integral over a space of metrics that are real and of Lorentz-signature up to the presence of certain conical singularities.
What would settle it
An explicit evaluation of the Lorentzian path integral at a chosen finite β that finds contributions from infinitely many saddles or from saddles outside the predicted finite subset would falsify the convergence claim.
read the original abstract
We resolve a puzzle associated with the spherically-symmetric sector of the AdS$_4$ Einstein-Maxwell partition function with inverse temperature $\beta$. Since charge is quantized, the semiclassical limit of the partition function is expected to be given by a sum over complex black hole solutions obtained by shifting the associated chemical potential $\mu$ by $\frac{2\pi i n}{e \beta}$ in terms of the relevant charge quantum $e$. However, the sum over all such saddles turns out to diverge at any finite value of $\beta$. We therefore consider a definition of this partition function as an integral over a space of metrics that are real and of Lorentz-signature up to the presence of certain conical singularities. A Picard-Lefshetz analysis shows that only a finite subset of the above saddles contribute to our integral at finite $\beta$, and thus that the sum over such saddles converges. The low temperature limit is nonetheless associated with a convergent sum over all saddles that (as $\beta \rightarrow \infty$) approach the usual large real Euclidean black holes. We also analyze the analogous partition function for the (uncharged) BTZ black hole in the ensemble defined by fixing an angular velocity $\Omega$ up to shifts by $\frac{2\pi i m}{s \beta}$, where $s=\frac{1}{2}$ or $s=1$ depending on the presence of absence of fermionic states. In this case, at all $\beta$ we find that all saddles contribute and that the sum over saddles converges. We also comment briefly on the apparent lack of utility of the so-called KSW condition in our context.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines the spherically-symmetric sector of the AdS₄ Einstein-Maxwell partition function as an integral over real Lorentzian metrics (with conical singularities allowed). Applying Picard-Lefschetz theory to this contour, the authors show that only a finite subset of the complex saddles—obtained by shifting the chemical potential μ by 2πi n/(e β)—contribute at finite β, ensuring convergence of the sum. In the low-temperature (β → ∞) limit the sum recovers all saddles that approach the usual large real Euclidean black holes. An analogous analysis for the BTZ black hole in the fixed-Ω ensemble shows that all saddles contribute and the sum converges at all β. The paper also comments on the limited utility of the KSW condition in this setting.
Significance. If the central claim holds, the work supplies a concrete, contour-based resolution to the divergence problem that arises when summing over complex black-hole saddles with quantized charge. It demonstrates how a Lorentzian starting contour, deformed via Picard-Lefschetz flow, can select a convergent subset of saddles while still recovering the expected Euclidean saddles at low temperature. This has direct implications for the semiclassical limit of gravitational path integrals, the definition of ensembles with chemical potentials, and the consistency of black-hole thermodynamics in AdS. The explicit treatment of conical singularities and the comparison with the BTZ case add technical value.
major comments (1)
- [§3–4] §3–4 (definition of the integration space and Picard-Lefschetz deformation): the central convergence result rests on the assertion that the real Lorentzian contour with conical singularities lies entirely in the basin of attraction of only finitely many thimbles at finite β. The manuscript does not supply an explicit construction of the steepest-descent paths or a rigorous bound excluding additional saddles or Stokes jumps once the infinite-dimensional metric space (even after spherical reduction) and the branch points induced by the conical singularities are taken into account. This step is load-bearing for the finite-subset claim.
minor comments (3)
- [§2] The notation for the conical-singularity parameters and the precise measure on the space of Lorentzian metrics should be stated more explicitly, preferably with a short appendix collecting the relevant definitions.
- [Figure 2] Figure 2 (saddle locations) would benefit from an inset or caption clarifying which saddles are excluded by the finite-β contour.
- [§5] A brief comparison paragraph with earlier applications of Picard-Lefschetz methods to gravitational integrals (e.g., in the context of the KSW condition) would help readers situate the present results.
Simulated Author's Rebuttal
We thank the referee for their thoughtful reading and for highlighting the technical demands of the Picard-Lefschetz analysis. We address the single major comment below, clarifying the scope of our arguments while acknowledging where additional detail can be supplied.
read point-by-point responses
-
Referee: [§3–4] §3–4 (definition of the integration space and Picard-Lefschetz deformation): the central convergence result rests on the assertion that the real Lorentzian contour with conical singularities lies entirely in the basin of attraction of only finitely many thimbles at finite β. The manuscript does not supply an explicit construction of the steepest-descent paths or a rigorous bound excluding additional saddles or Stokes jumps once the infinite-dimensional metric space (even after spherical reduction) and the branch points induced by the conical singularities are taken into account. This step is load-bearing for the finite-subset claim.
Authors: We agree that a fully rigorous, infinite-dimensional construction of the steepest-descent paths and a complete exclusion of all possible Stokes jumps would constitute a stronger result. Our analysis in §§3–4 proceeds by first imposing spherical symmetry, reducing the problem to an effective one-dimensional integral over the metric functions with conical singularities at the horizon and at infinity. Within this reduced space we explicitly track the Picard-Lefschetz flow starting from the real Lorentzian contour and show that the periodicity of the chemical potential together with the exponential decay of the action for large imaginary shifts confines the flow to a finite number of thimbles at any finite β. We do not claim a general theorem for the unreduced theory; the finite-subset statement is therefore tied to the symmetry-reduced contour. In a revised version we will add an appendix that writes the flow equations for the reduced metric functions, discusses the location of the relevant branch points, and provides a heuristic argument (based on the large-n behavior of the on-shell action) that additional thimbles cannot be reached without crossing Stokes lines that are inaccessible from the starting contour. revision: partial
Circularity Check
No significant circularity: convergence follows from explicit contour definition and Picard-Lefschetz analysis
full rationale
The paper defines the partition function as an integral over real Lorentzian metrics (with conical singularities) and applies Picard-Lefschetz theory to determine which complex saddles contribute at finite β. This yields a finite subset whose sum converges, without any reduction of the central claim to fitted parameters, self-referential equations, or load-bearing self-citations. The low-temperature limit recovering all saddles is a separate limiting argument, not a redefinition of the finite-β result. No quoted step equates a prediction to its input by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Einstein-Maxwell theory in AdS4 and the semiclassical path integral formalism
- domain assumption The partition function equals an integral over real Lorentz-signature metrics with conical singularities
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A Picard-Lefschetz analysis shows that only a finite subset of the above saddles contribute to our integral at finite β, and thus that the sum over such saddles converges.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the integral over real Lorentzian metrics with conical singularities
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 1 Pith paper
-
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]
P. Saad, S. H. Shenker and D. Stanford,JT gravity as a matrix integral,1903.11115. – 33 –
work page internal anchor Pith review Pith/arXiv arXiv 1903
-
[2]
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
- [3]
-
[4]
J. J. Halliwell and J. Louko,Steepest Descent Contours in the Path Integral Approach to Quantum Cosmology. 1. The De Sitter Minisuperspace Model,Phys. Rev. D39(1989) 2206
work page 1989
-
[5]
J. J. Halliwell and J. B. Hartle,Integration Contours for the No Boundary Wave Function of the Universe,Phys. Rev. D41(1990) 1815
work page 1990
-
[6]
J. J. Halliwell and J. Louko,Steepest Descent Contours in the Path Integral Approach to Quantum Cosmology. 2. Microsuperspace,Phys. Rev. D40(1989) 1868
work page 1989
-
[7]
J. J. Halliwell and J. Louko,Steepest Descent Contours in the Path Integral Approach to Quantum Cosmology. 3. A General Method With Applications to Anisotropic Minisuperspace Models,Phys. Rev. D42(1990) 3997
work page 1990
-
[8]
Canonical Quantization of Cosmological Perturbations in the One Bubble Open Universe
J. Garriga, X. Montes, M. Sasaki and T. Tanaka,Canonical quantization of cosmological perturbations in the one-bubble open universe,Nucl. Phys. B513(1998) 343 [astro-ph/9706229]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[9]
Cosmological Perturbations from the No Boundary Euclidean Path Integral
S. Gratton and N. Turok,Cosmological perturbations from the no boundary Euclidean path integral,Phys. Rev. D60(1999) 123507 [astro-ph/9902265]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[10]
The Power of Action: "The" Derivation of the Black Hole Negative Mode
B. Kol,The Power of Action: The Derivation of the Black Hole Negative Mode,Phys. Rev. D 77(2008) 044039 [hep-th/0608001]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[11]
D. Marolf and J. E. Santos,The canonical ensemble reloaded: the complex-stability of Euclidean quantum gravity for black holes in a box,JHEP08(2022) 215 [2202.11786]
- [12]
-
[13]
G. G. Stokes,On the numerical calculation of a class of definite integrals and infinite series, Transactions of the Cambridge Philosophical SocietyIX (I)(1847) 166
-
[14]
G. G. Stokes,On the discontinuity of arbitrary constants which appear in divergent developments,Transactions of the Cambridge Philosophical SocietyX (I)(1858) 105
-
[15]
M. Heydeman, L. V. Iliesiu, G. J. Turiaci and W. Zhao,The statistical mechanics of near-BPS black holes,J. Phys. A55(2022) 014004 [2011.01953]
-
[16]
D. Marolf,Gravitational thermodynamics without the conformal factor problem: partition functions and Euclidean saddles from Lorentzian path integrals,JHEP07(2022) 108 [2203.07421]
- [17]
- [18]
- [19]
- [20]
-
[21]
D. Marolf and H. Maxfield,Observations of Hawking radiation: the Page curve and baby universes,JHEP04(2021) 272 [2010.06602]
-
[22]
S. Colin-Ellerin, X. Dong, D. Marolf, M. Rangamani and Z. Wang,Real-time gravitational replicas: Formalism and a variational principle,JHEP05(2021) 117 [2012.00828]
-
[23]
S. Colin-Ellerin, X. Dong, D. Marolf, M. Rangamani and Z. Wang,Real-time gravitational replicas: low dimensional examples,JHEP08(2021) 171 [2105.07002]
-
[24]
Complex actions in two-dimensional topology change
J. Louko and R. D. Sorkin,Complex actions in two-dimensional topology change,Class. Quant. Grav.14(1997) 179 [gr-qc/9511023]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[25]
The imaginary part of the gravity action and black hole entropy
Y. Neiman,The imaginary part of the gravity action and black hole entropy,JHEP04(2013) 071 [1301.7041]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[26]
M. Kontsevich and G. Segal,Wick Rotation and the Positivity of Energy in Quantum Field Theory,Quart. J. Math. Oxford Ser.72(2021) 673 [2105.10161]
-
[27]
Witten,A Note On Complex Spacetime Metrics,2111.06514
E. Witten,A Note On Complex Spacetime Metrics,2111.06514
- [28]
- [29]
-
[30]
Schleich,Conformal Rotation in Perturbative Gravity,Phys
K. Schleich,Conformal Rotation in Perturbative Gravity,Phys. Rev. D36(1987) 2342
work page 1987
-
[31]
P. O. Mazur and E. Mottola,The Gravitational Measure, Solution of the Conformal Factor Problem and Stability of the Ground State of Quantum Gravity,Nucl. Phys. B341(1990) 187
work page 1990
-
[32]
S. B. Giddings,The Conformal Factor and the Cosmological Constant,Int. J. Mod. Phys. A5 (1990) 3811
work page 1990
-
[33]
S. B. Giddings,Wormholes, the conformal factor, and the cosmological constant, in International Colloquium on Modern Quantum Field Theory, 5, 1990
work page 1990
-
[34]
Path Integrals and Instantons in Quantum Gravity
D. Marolf,Path integrals and instantons in quantum gravity: Minisuperspace models,Phys. Rev. D53(1996) 6979 [gr-qc/9602019]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[35]
A proper-time cure for the conformal sickness in quantum gravity
A. Dasgupta and R. Loll,A Proper time cure for the conformal sickness in quantum gravity, Nucl. Phys. B606(2001) 357 [hep-th/0103186]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[36]
A Lorentzian cure for Euclidean troubles
J. Ambjorn, A. Dasgupta, J. Jurkiewicz and R. Loll,A Lorentzian cure for Euclidean troubles, Nucl. Phys. B Proc. Suppl.106(2002) 977 [hep-th/0201104]
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[37]
J. Feldbrugge, J.-L. Lehners and N. Turok,Lorentzian Quantum Cosmology,Phys. Rev. D95 (2017) 103508 [1703.02076]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[38]
No smooth beginning for spacetime
J. Feldbrugge, J.-L. Lehners and N. Turok,No smooth beginning for spacetime,Phys. Rev. Lett. 119(2017) 171301 [1705.00192]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[39]
No Rescue for the No Boundary Proposal
J. Feldbrugge, J.-L. Lehners and N. Turok,No rescue for the no boundary proposal: Pointers to the future of quantum cosmology,Phys. Rev. D97(2018) 023509 [1708.05104]. – 35 –
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[40]
Gravitational Decoupling and Picard-Lefschetz
J. Brown, A. Cole, G. Shiu and W. Cottrell,Gravitational decoupling and the Picard-Lefschetz approach,Phys. Rev. D97(2018) 025002 [1710.04737]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[41]
X. Dong, A. Lewkowycz and M. Rangamani,Deriving covariant holographic entanglement, JHEP11(2016) 028 [1607.07506]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[42]
S. W. Hawking and D. N. Page,Thermodynamics of Black Holes in anti-De Sitter Space, Commun. Math. Phys.87(1983) 577
work page 1983
-
[43]
X. Dong and D. Marolf,One-loop universality of holographic codes,JHEP03(2020) 191 [1910.06329]
-
[44]
M. V. Fedorjuk,The asymptotics of the fourier transform of the exponential function of a polynomial,Soviet Math. Doklady17(1976) 486
work page 1976
-
[45]
Pham,Vanishing homologies and thenvariable saddlepoint method,Proc
F. Pham,Vanishing homologies and thenvariable saddlepoint method,Proc. Symp. Pure Math. 2(1983)
work page 1983
-
[46]
V. I. Arnold, S. M. Gusein-Zade and A. N. Varchenko,Singularities Of Differentiable Maps, Vol. 2. Birkhauser, 1988
work page 1988
-
[47]
M. V. Berry and C. J. Howls,Hyperasymptotics,Proc. R. Soc.A430(1990) 653
work page 1990
-
[48]
M. V. Berry and C. J. Howls,Hyperasymptotics for integrals with saddles,Proc. R. Soc.A434 (1991) 657
work page 1991
-
[49]
C. J. Howls,Hyperasymptotics for multidimensional integrals, exact remainder terms and the global connection problem,Proc. R. Soc. London453(1997) 2271
work page 1997
-
[50]
Analytic Continuation Of Chern-Simons Theory
E. Witten,Analytic Continuation Of Chern-Simons Theory,AMS/IP Stud. Adv. Math.50 (2011) 347 [1001.2933]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[51]
R. Mahajan and K. Singhi,A brief note on complex AdS-Schwarzschild black holes,JHEP11 (2025) 164 [2509.08883]
-
[52]
Singhi,Complex Kerr-AdS Black Holes,2510.01313
K. Singhi,Complex Kerr-AdS Black Holes,2510.01313
- [53]
-
[54]
Dynamic and Thermodynamic Stability and Negative Modes in Schwarzschild-Anti-de Sitter
T. Prestidge,Dynamic and thermodynamic stability and negative modes in Schwarzschild-anti-de Sitter,Phys. Rev. D61(2000) 084002 [hep-th/9907163]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[55]
Quantum Gravity Partition Functions in Three Dimensions
A. Maloney and E. Witten,Quantum Gravity Partition Functions in Three Dimensions,JHEP 02(2010) 029 [0712.0155]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[56]
M. Kolanowski, D. Marolf, I. Rakic, M. Rangamani and G. J. Turiaci,Looking at extremal black holes from very far away,JHEP04(2025) 020 [2409.16248]
-
[57]
J. Chakravarty, A. Maloney, K. Namjou and S. F. Ross,A new observable for holographic cosmology,JHEP10(2024) 184 [2407.04781]
- [58]
-
[59]
P. Benetti Genolini and S. Murthy,The gravitational index and allowable complex metrics,J. Phys. A58(2025) 215401 [2503.20866]. – 36 –
-
[60]
P. Benetti Genolini, O. Janssen and S. Murthy,Allowable complex metrics and the gravitational index of AdS 5 black holes,2601.23197
-
[61]
V. Krishna and F. Larsen,Allowable Complex Black Holes in the Euclidean Gravitational Path Integral,2602.05979
-
[62]
Y. Chen and G. J. Turiaci,Spin-statistics for black hole microstates,JHEP04(2024) 135 [2309.03478]
-
[63]
D. Grabovsky and M. Kolanowski,Spin-refined partition functions andCRTblack holes,JHEP 12(2024) 013 [2406.07609]
- [64]
-
[65]
M. Kolanowski, D. Marolf, W. Zheng and Z.-Y. Wang,Superconformal indices and black hole saddles,(in preparation)(2026) . – 37 –
work page 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.