pith. machine review for the scientific record. sign in

arxiv: 2603.24681 · v2 · submitted 2026-03-25 · ✦ hep-th · gr-qc

Recognition: 2 theorem links

· Lean Theorem

How to tame your (black hole) saddles: Lessons from the Lorentzian Gravitational Path Integral

Authors on Pith no claims yet

Pith reviewed 2026-05-15 00:03 UTC · model grok-4.3

classification ✦ hep-th gr-qc
keywords Lorentzian path integralPicard-Lefschetz analysisblack hole saddlesAdS Einstein-Maxwellconical singularitiescharge quantizationBTZ black holepartition function convergence
0
0 comments X

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.

The paper resolves the divergence of the semiclassical sum over complex black hole solutions in the AdS4 Einstein-Maxwell partition function, which arises because charge quantization requires summing over saddles shifted by multiples of 2πi/(eβ) in the chemical potential. It redefines the partition function as a path integral over real Lorentz-signature metrics that permit conical singularities. A Picard-Lefschetz analysis of this integral shows that only a finite subset of the candidate saddles actually contribute for any finite β, so the sum converges. In the low-temperature limit the contributing saddles approach the usual large real Euclidean black holes. The analogous ensemble for the BTZ black hole, with angular velocity fixed up to shifts by 2πim/(sβ), has all saddles contributing yet the sum still converges.

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

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

  • 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.

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.

Referee Report

1 major / 3 minor

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)
  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)
  1. [§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.
  2. [Figure 2] Figure 2 (saddle locations) would benefit from an inset or caption clarifying which saddles are excluded by the finite-β contour.
  3. [§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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard axioms of general relativity and quantum field theory in curved space; the key domain assumption is the validity of the Lorentzian integral definition with conical singularities. No free parameters or new postulated entities are introduced.

axioms (2)
  • standard math Einstein-Maxwell theory in AdS4 and the semiclassical path integral formalism
    Invoked throughout as the background framework for the partition function.
  • domain assumption The partition function equals an integral over real Lorentz-signature metrics with conical singularities
    This is the central definitional choice that enables the Picard-Lefschetz analysis.

pith-pipeline@v0.9.0 · 5609 in / 1294 out tokens · 48113 ms · 2026-05-15T00:03:03.289706+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

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

  1. The yes boundaries wavefunctions of the universe

    hep-th 2026-04 unverdicted novelty 6.0

    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

65 extracted references · 65 canonical work pages · cited by 1 Pith paper · 17 internal anchors

  1. [1]

    P. Saad, S. H. Shenker and D. Stanford,JT gravity as a matrix integral,1903.11115. – 33 –

  2. [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

  3. [3]

    G. T. Horowitz, D. Marolf and J. E. Santos,Constraints are not enough,JHEP10(2025) 031 [2505.13600]

  4. [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

  5. [5]

    J. J. Halliwell and J. B. Hartle,Integration Contours for the No Boundary Wave Function of the Universe,Phys. Rev. D41(1990) 1815

  6. [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

  7. [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

  8. [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]

  9. [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]

  10. [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]

  11. [11]

    Marolf and J

    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. [12]

    X. Liu, D. Marolf and J. E. Santos,Stability of saddles and choices of contour in the Euclidean path integral for linearized gravity: dependence on the DeWitt parameter,JHEP05(2024) 087 [2310.08555]

  13. [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. [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. [15]

    Heydeman, L

    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. [16]

    Marolf,Gravitational thermodynamics without the conformal factor problem: partition functions and Euclidean saddles from Lorentzian path integrals,JHEP07(2022) 108 [2203.07421]

    D. Marolf,Gravitational thermodynamics without the conformal factor problem: partition functions and Euclidean saddles from Lorentzian path integrals,JHEP07(2022) 108 [2203.07421]

  17. [17]

    H. Z. Chen,Thermodynamic stability from Lorentzian path integrals and codimension-two singularities,JHEP05(2025) 180 [2501.08409]

  18. [18]

    J. Held, X. Liu, D. Marolf and Z. Wang,Euclidean and complex geometries from real-time computations of gravitational R´ enyi entropies,JHEP02(2025) 136 [2409.17428]

  19. [19]

    J. Held, M. Kaplan, D. Marolf and Z. Wang,Axion Wormholes and the AdS/CFT Factorization Problem,2601.02507. – 34 –

  20. [20]

    J. Held, M. Kaplan, D. Marolf and Z. Wang,Lorentzian Path Integrals and Jackiw-Teitelboim wormholes with imaginary scalars,2601.09932

  21. [21]

    Marolf and H

    D. Marolf and H. Maxfield,Observations of Hawking radiation: the Page curve and baby universes,JHEP04(2021) 272 [2010.06602]

  22. [22]

    Colin-Ellerin, X

    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. [23]

    Colin-Ellerin, X

    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. [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]

  25. [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]

  26. [26]

    Kontsevich and G

    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. [27]

    Witten,A Note On Complex Spacetime Metrics,2111.06514

    E. Witten,A Note On Complex Spacetime Metrics,2111.06514

  28. [28]

    Harlow, L

    D. Harlow, L. Iliesiu, H. Ooguri and J. Turiaci 2022

  29. [29]

    J. B. Hartle and K. Schleich,The Conformal Rotation in Linearised Gravity, inQuantum Field Theory and Quantum Statistics(C. J. I. I. A. Batalin and G. A. Vilkovisky, eds.), pp. 67–87, 4, 1987,2004.06635

  30. [30]

    Schleich,Conformal Rotation in Perturbative Gravity,Phys

    K. Schleich,Conformal Rotation in Perturbative Gravity,Phys. Rev. D36(1987) 2342

  31. [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

  32. [32]

    S. B. Giddings,The Conformal Factor and the Cosmological Constant,Int. J. Mod. Phys. A5 (1990) 3811

  33. [33]

    S. B. Giddings,Wormholes, the conformal factor, and the cosmological constant, in International Colloquium on Modern Quantum Field Theory, 5, 1990

  34. [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]

  35. [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]

  36. [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]

  37. [37]

    Lorentzian Quantum Cosmology

    J. Feldbrugge, J.-L. Lehners and N. Turok,Lorentzian Quantum Cosmology,Phys. Rev. D95 (2017) 103508 [1703.02076]

  38. [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]

  39. [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 –

  40. [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]

  41. [41]

    X. Dong, A. Lewkowycz and M. Rangamani,Deriving covariant holographic entanglement, JHEP11(2016) 028 [1607.07506]

  42. [42]

    S. W. Hawking and D. N. Page,Thermodynamics of Black Holes in anti-De Sitter Space, Commun. Math. Phys.87(1983) 577

  43. [43]

    Dong and D

    X. Dong and D. Marolf,One-loop universality of holographic codes,JHEP03(2020) 191 [1910.06329]

  44. [44]

    M. V. Fedorjuk,The asymptotics of the fourier transform of the exponential function of a polynomial,Soviet Math. Doklady17(1976) 486

  45. [45]

    Pham,Vanishing homologies and thenvariable saddlepoint method,Proc

    F. Pham,Vanishing homologies and thenvariable saddlepoint method,Proc. Symp. Pure Math. 2(1983)

  46. [46]

    V. I. Arnold, S. M. Gusein-Zade and A. N. Varchenko,Singularities Of Differentiable Maps, Vol. 2. Birkhauser, 1988

  47. [47]

    M. V. Berry and C. J. Howls,Hyperasymptotics,Proc. R. Soc.A430(1990) 653

  48. [48]

    M. V. Berry and C. J. Howls,Hyperasymptotics for integrals with saddles,Proc. R. Soc.A434 (1991) 657

  49. [49]

    C. J. Howls,Hyperasymptotics for multidimensional integrals, exact remainder terms and the global connection problem,Proc. R. Soc. London453(1997) 2271

  50. [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]

  51. [51]

    Mahajan and K

    R. Mahajan and K. Singhi,A brief note on complex AdS-Schwarzschild black holes,JHEP11 (2025) 164 [2509.08883]

  52. [52]

    Singhi,Complex Kerr-AdS Black Holes,2510.01313

    K. Singhi,Complex Kerr-AdS Black Holes,2510.01313

  53. [53]

    Ailiga, S

    M. Ailiga, S. Mallik and G. Narain,Complex saddles of charged-AdS gravitational partition function,JHEP02(2026) 054 [2510.25396]

  54. [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]

  55. [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]

  56. [56]

    Kolanowski, D

    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. [57]

    Chakravarty, A

    J. Chakravarty, A. Maloney, K. Namjou and S. F. Ross,A new observable for holographic cosmology,JHEP10(2024) 184 [2407.04781]

  58. [58]

    G. J. Turiaci and C.-H. Wu,The wavefunction of a quantum S 1 ×S 2 universe,JHEP07 (2025) 158 [2503.14639]

  59. [59]

    Benetti Genolini and S

    P. Benetti Genolini and S. Murthy,The gravitational index and allowable complex metrics,J. Phys. A58(2025) 215401 [2503.20866]. – 36 –

  60. [60]

    Benetti Genolini, O

    P. Benetti Genolini, O. Janssen and S. Murthy,Allowable complex metrics and the gravitational index of AdS 5 black holes,2601.23197

  61. [61]

    Krishna and F

    V. Krishna and F. Larsen,Allowable Complex Black Holes in the Euclidean Gravitational Path Integral,2602.05979

  62. [62]

    Chen and G

    Y. Chen and G. J. Turiaci,Spin-statistics for black hole microstates,JHEP04(2024) 135 [2309.03478]

  63. [63]

    Grabovsky and M

    D. Grabovsky and M. Kolanowski,Spin-refined partition functions andCRTblack holes,JHEP 12(2024) 013 [2406.07609]

  64. [64]

    Goker, L

    C. Goker, L. Iliesiu and E. Tabor,A note on the quantization of angular momentum for black holes,in preparation(2026)

  65. [65]

    Kolanowski, D

    M. Kolanowski, D. Marolf, W. Zheng and Z.-Y. Wang,Superconformal indices and black hole saddles,(in preparation)(2026) . – 37 –