pith. machine review for the scientific record. sign in

arxiv: 2604.09396 · v1 · submitted 2026-04-10 · ✦ hep-th · gr-qc

Recognition: 2 theorem links

· Lean Theorem

The many facets of a hyperbolic tetrahedron: open and closed triangulations of 3d gravity

Authors on Pith no claims yet

Pith reviewed 2026-05-10 17:47 UTC · model grok-4.3

classification ✦ hep-th gr-qc
keywords 3d gravityVirasoro TQFTopen sectorCFT ensembleblack hole thresholdhyperbolic tetrahedronopen-closed dualityWilson loops
0
0 comments X

The pith

A restricted open Virasoro TQFT computes 3d gravitational path integrals on compact regions, using fixed-length boundary conditions above the black hole threshold and fixed-angle conditions below it.

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

The paper defines the open Virasoro TQFT by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds. This construction is shown to reproduce gravitational path integrals with boundary conditions that depend on whether the states lie above or below the black hole threshold. The same framework also yields a natural derivation of the relation between Conformal Turaev-Viro theory and the diagonal sector of two copies of Virasoro TQFT for manifolds containing only boundary Wilson loops. A reader would care because the model supplies an explicit quantum theory linking TQFT techniques to 3d gravity in the open sector of a CFT ensemble.

Core claim

The open Virasoro TQFT, obtained by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds, computes gravitational path integrals on compact regions with fixed-length boundary conditions for states above the black hole threshold and fixed-angle boundary conditions for states below the threshold. For a special class of manifolds involving only boundary Wilson loops, the relation between Conformal Turaev-Viro theory and the diagonal sector of two copies of Virasoro TQFT arises naturally from an open-closed duality.

What carries the argument

The open Virasoro TQFT, defined by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds. It carries the argument by supplying the quantum theory whose partition functions match the gravitational path integrals under the stated boundary conditions.

If this is right

  • Gravitational path integrals in the open sector can be evaluated using the restricted TQFT for any compact region whose boundary data respect the admissibility conditions.
  • Boundary conditions switch from fixed lengths to fixed angles precisely at the black hole threshold.
  • The open-closed duality directly produces the correspondence between Conformal Turaev-Viro theory and the diagonal sector of two Virasoro TQFT copies when only boundary Wilson loops are present.

Where Pith is reading between the lines

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

  • Triangulations built from hyperbolic tetrahedra can serve as a concrete discretization that realizes both open and closed sectors of 3d gravity within the same TQFT framework.
  • The threshold-dependent boundary conditions suggest that the model may extend naturally to include dynamical boundaries or defects that cross the black hole threshold.
  • Open-closed duality relations of this type could be tested in other TQFTs to see whether similar reductions to diagonal sectors appear for Wilson-loop-only manifolds.

Load-bearing premise

The restriction of the full open-closed Virasoro TQFT to a subclass of admissible manifolds accurately captures the open sector of a CFT ensemble and yields the stated gravitational path integrals.

What would settle it

An explicit computation of the path integral for a simple admissible manifold (such as a tetrahedron with fixed boundary lengths) that fails to reproduce the expected gravitational result for states above the black hole threshold.

read the original abstract

We study a model of 3d gravity relevant to the open sector of a CFT ensemble. The quantum theory is the open Virasoro TQFT, obtained by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds. We show that it computes gravitational path integrals on compact regions with fixed-length boundary conditions for states above the black hole threshold, and fixed-angle boundary conditions for states below the threshold. Focusing on a special class of manifolds involving only boundary Wilson loops, we further show that the relation between Conformal Turaev-Viro theory and the diagonal sector of two copies of Virasoro TQFT arises naturally from an open-closed duality.

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 / 2 minor

Summary. The manuscript defines the open Virasoro TQFT by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds and claims this computes gravitational path integrals on compact regions of 3d gravity. Fixed-length boundary conditions are used for states above the black hole threshold and fixed-angle conditions below it. For manifolds involving only boundary Wilson loops, an open-closed duality is shown to yield the relation between Conformal Turaev-Viro theory and the diagonal sector of two Virasoro TQFT copies.

Significance. If the claimed equivalences hold, the work supplies a TQFT framework for the open sector of CFT ensembles in 3d gravity, with potential to clarify path-integral computations near the black hole threshold and to derive known relations via duality without extra assumptions. The restriction to admissible manifolds and the Wilson-loop specialization are presented as natural consequences of the TQFT structure.

major comments (1)
  1. The central claim that the restricted open Virasoro TQFT computes the stated gravitational path integrals rests on the definition of admissible manifolds and the boundary-condition switch at the black hole threshold; the manuscript must supply explicit derivations or checks (e.g., in the section presenting the restriction and the path-integral evaluation) rather than asserting the result from the TQFT axioms alone.
minor comments (2)
  1. Clarify the precise definition of 'admissible manifolds' and how the restriction is implemented, including any explicit criteria or examples, to make the construction reproducible.
  2. The title emphasizes hyperbolic tetrahedra and triangulations, yet the abstract and summary focus on TQFT duality; ensure the introduction explicitly connects the tetrahedron geometry to the admissible-manifold restriction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for greater explicitness in the central claim. We address the major comment below and will revise the manuscript to strengthen the presentation.

read point-by-point responses
  1. Referee: The central claim that the restricted open Virasoro TQFT computes the stated gravitational path integrals rests on the definition of admissible manifolds and the boundary-condition switch at the black hole threshold; the manuscript must supply explicit derivations or checks (e.g., in the section presenting the restriction and the path-integral evaluation) rather than asserting the result from the TQFT axioms alone.

    Authors: We agree that the connection between the restriction to admissible manifolds and the gravitational path integrals, as well as the boundary-condition switch, would be clearer with additional explicit steps. In the revised manuscript we will expand the relevant section (currently Section 3) to include: (i) a step-by-step derivation showing how the TQFT axioms imply the admissible-manifold restriction and reproduce the fixed-length boundary conditions above the black-hole threshold; (ii) an analogous derivation for the fixed-angle conditions below threshold; and (iii) an explicit path-integral evaluation on a simple admissible manifold (the solid torus with a single Wilson loop) that demonstrates the threshold-dependent switch without additional assumptions. These additions will be placed immediately after the definition of admissible manifolds and before the open-closed duality discussion. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines the open Virasoro TQFT explicitly as the restriction of the full open-closed Virasoro TQFT to a subclass of admissible manifolds, then shows that this restricted theory computes the gravitational path integrals on compact regions with the stated boundary conditions. This is a direct construction rather than a derivation that reduces by construction to its own fitted inputs or self-citations. The open-closed duality for Wilson-loop manifolds is presented as following from the TQFT structure itself. No load-bearing step is shown to be equivalent to its inputs via self-definition, renaming of known results, or imported uniqueness theorems from the same authors. The derivation chain is self-contained against the external benchmark of the full open-closed Virasoro TQFT.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the definition of the open Virasoro TQFT via restriction to admissible manifolds and on the existence of an open-closed duality; no free parameters or invented entities are visible in the abstract.

axioms (1)
  • domain assumption The open Virasoro TQFT is obtained by restricting the full open-closed Virasoro TQFT to a subclass of admissible manifolds.
    Stated directly in the abstract as the definition of the quantum theory under study.

pith-pipeline@v0.9.0 · 5414 in / 1280 out tokens · 38601 ms · 2026-05-10T17:47:46.357384+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.

Reference graph

Works this paper leans on

77 extracted references · 63 canonical work pages · 1 internal anchor

  1. [1]

    Achucarro and P

    A. Achucarro and P. K. Townsend,A Chern-Simons Action for Three-Dimensional anti-De Sitter Supergravity Theories,Phys. Lett. B180(1986) 89

  2. [2]

    Witten,(2+1)-Dimensional Gravity as an Exactly Soluble System,Nucl

    E. Witten,(2+1)-Dimensional Gravity as an Exactly Soluble System,Nucl. Phys. B 311(1988) 46

  3. [3]

    Kraus and A

    P. Kraus and A. Maloney,A cardy formula for three-point coefficients or how the black hole got its spots,JHEP05(2017) 160 [1608.03284]

  4. [4]

    Cardy, A

    J. Cardy, A. Maloney and H. Maxfield,A new handle on three-point coefficients: OPE asymptotics from genus two modular invariance,JHEP10(2017) 136 [1705.05855]

  5. [5]

    Collier, A

    S. Collier, A. Maloney, H. Maxfield and I. Tsiares,Universal dynamics of heavy operators in CFT 2,JHEP07(2020) 074 [1912.00222]

  6. [6]

    Belin and J

    A. Belin and J. de Boer,Random statistics of OPE coefficients and Euclidean wormholes,Class. Quant. Grav.38(2021) 164001 [2006.05499]

  7. [7]

    Belin, J

    A. Belin, J. de Boer and D. Liska,Non-Gaussianities in the statistical distribution of heavy OPE coefficients and wormholes,JHEP06(2022) 116 [2110.14649]

  8. [8]

    Anous, A

    T. Anous, A. Belin, J. de Boer and D. Liska,OPE statistics from higher-point crossing, JHEP06(2022) 102 [2112.09143]

  9. [9]

    Chandra, S

    J. Chandra, S. Collier, T. Hartman and A. Maloney,Semiclassical 3D gravity as an average of large-c CFTs,JHEP12(2022) 069 [2203.06511]

  10. [10]

    Collier, L

    S. Collier, L. Eberhardt and M. Zhang,Solving 3d gravity with Virasoro TQFT, SciPost Phys.15(2023) 151 [2304.13650]

  11. [11]

    Belin, J

    A. Belin, J. de Boer, D. L. Jafferis, P. Nayak and J. Sonner,Approximate CFTs and random tensor models,JHEP09(2024) 163 [2308.03829]

  12. [12]

    de Boer, D

    J. de Boer, D. Liska, B. Post and M. Sasieta,A principle of maximum ignorance for semiclassical gravity,JHEP2024(2024) 003 [2311.08132]

  13. [13]

    Collier, L

    S. Collier, L. Eberhardt and M. Zhang,3d gravity from Virasoro TQFT: Holography, wormholes and knots,SciPost Phys.17(2024) 134 [2401.13900]. – 30 –

  14. [14]

    de Boer, D

    J. de Boer, D. Liska and B. Post,Multiboundary wormholes and OPE statistics,JHEP 10(2024) 207 [2405.13111]

  15. [15]

    D. L. Jafferis, L. Rozenberg and G. Wong,3d gravity as a random ensemble,JHEP02 (2025) 208 [2407.02649]

  16. [16]

    Chandra,Statistics in 3d gravity from knots and links,JHEP12(2025) 139 [2508.10864]

    J. Chandra,Statistics in 3d gravity from knots and links,JHEP12(2025) 139 [2508.10864]

  17. [17]

    Belin, S

    A. Belin, S. Collier, L. Eberhardt, D. Liska and B. Post,A universal sum over topologies in 3d gravity,2601.07906

  18. [18]

    Wang,Crossing symmetry of OPE statistics,2512.21258

    D. Wang,Crossing symmetry of OPE statistics,2512.21258

  19. [19]

    Quantum Gravity Partition Functions in Three Dimensions

    A. Maloney and E. Witten,Quantum Gravity Partition Functions in Three Dimensions,JHEP02(2010) 029 [0712.0155]

  20. [20]

    C. A. Keller and A. Maloney,Poincare Series, 3D Gravity and CFT Spectroscopy, JHEP02(2015) 080 [1407.6008]

  21. [21]

    Cotler and K

    J. Cotler and K. Jensen,AdS 3 gravity and random CFT,JHEP04(2021) 033 [2006.08648]

  22. [22]

    Maxfield and G

    H. Maxfield and G. J. Turiaci,The path integral of 3D gravity near extremality; or, JT gravity with defects as a matrix integral,JHEP01(2021) 118 [2006.11317]

  23. [23]

    AdS 3/RMT2 duality,

    G. Di Ubaldo and E. Perlmutter,AdS 3/RMT2 duality,JHEP12(2023) 179 [2307.03707]

  24. [24]

    Modular-Invariant Random Matrix Theory and AdS3 Wormholes,

    J. Boruch, G. Di Ubaldo, F. M. Haehl, E. Perlmutter and M. Rozali, Modular-invariant random matrix theory and AdS 3 wormholes,2503.00101

  25. [25]

    Witten,Quantum Field Theory and the Jones Polynomial,Commun

    E. Witten,Quantum Field Theory and the Jones Polynomial,Commun. Math. Phys. 121(1989) 351

  26. [26]

    Holographic Dual of BCFT

    T. Takayanagi,Holographic Dual of BCFT,Phys. Rev. Lett.107(2011) 101602 [1105.5165]

  27. [27]

    Aspects of AdS/BCFT

    M. Fujita, T. Takayanagi and E. Tonni,Aspects of AdS/BCFT,JHEP11(2011) 043 [1108.5152]

  28. [28]

    D. Wang, Z. Wang and Z. Wei,Wormholes with ends of the world,JHEP09(2025) 166 [2504.12278]

  29. [29]

    Kusuki,Analytic bootstrap in 2D boundary conformal field theory: towards braneworld holography,JHEP03(2022) 161 [2112.10984]

    Y. Kusuki,Analytic bootstrap in 2D boundary conformal field theory: towards braneworld holography,JHEP03(2022) 161 [2112.10984]

  30. [30]

    Numasawa and I

    T. Numasawa and I. Tsiares,Universal dynamics of heavy operators in boundary CFT2,JHEP08(2022) 156 [2202.01633]

  31. [31]

    Geng,Aspects of AdS 2 quantum gravity and the Karch-Randall braneworld,JHEP 09(2022) 024 [2206.11277]

    H. Geng,Aspects of AdS 2 quantum gravity and the Karch-Randall braneworld,JHEP 09(2022) 024 [2206.11277]. – 31 –

  32. [32]

    C. I. Lazaroiu,On the structure of open - closed topological field theory in two-dimensions,Nucl. Phys. B603(2001) 497 [hep-th/0010269]

  33. [33]

    A. D. Lauda and H. Pfeiffer,Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras,math/0510664

  34. [34]

    G. W. Moore and G. Segal,D-branes and K-theory in 2D topological field theory, hep-th/0609042

  35. [35]

    D. L. Jafferis, L. Rozenberg and D. Wang,Open-closed 3d gravity as a random ensemble,JHEP10(2025) 228 [2506.19817]

  36. [36]

    Collier, L

    S. Collier, L. Eberhardt, B. M¨ uhlmann and V. A. Rodriguez,The Virasoro minimal string,SciPost Phys.16(2024) 057 [2309.10846]

  37. [37]

    D. L. Jafferis, L. Rozenberg, D. Sarkar and D. Wang,On random matrix statistics of 3d gravity,2512.05045

  38. [38]

    L.-Y. Hung, Y. Jiang and B.-X. Lao,Universal Structures and Emergent Geometry from Large-cBCFT Ensemble,2504.21660

  39. [39]

    Hartman,Triangulating quantum gravity in AdS3, 2507.12696

    T. Hartman,Triangulating quantum gravity in AdS 3,2507.12696

  40. [40]

    J. W. Barrett, J. M. Garcia-Islas and J. F. Martins,Observables in the Turaev-Viro and Crane-Yetter models,J. Math. Phys.48(2007) 093508 [math/0411281]

  41. [41]

    F. J. Burnell and S. H. Simon,Space-Time Geometry of Topological phases,Annals Phys.325(2010) 2550 [1004.5586]

  42. [42]

    V. G. Turaev and O. Y. Viro,State sum invariants of 3-manifolds and quantum 6 j-symbols,Topology31(1992) 865

  43. [43]

    Hartman,Conformal Turaev-Viro Theory, 2507.11652

    T. Hartman,Conformal Turaev-Viro Theory,2507.11652

  44. [44]

    J. M. Maldacena and L. Maoz,Wormholes in AdS,JHEP02(2004) 053 [hep-th/0401024]

  45. [45]

    Schlenker and E

    J.-M. Schlenker and E. Witten,No ensemble averaging below the black hole threshold, JHEP07(2022) 143 [2202.01372]

  46. [46]

    Locally Localized Gravity

    A. Karch and L. Randall,Locally localized gravity,JHEP05(2001) 008 [hep-th/0011156]

  47. [47]

    Open and Closed String Interpretation of SUSY CFT's on Branes with Boundaries

    A. Karch and L. Randall,Open and closed string interpretation of SUSY CFT’s on branes with boundaries,JHEP06(2001) 063 [hep-th/0105132]

  48. [48]

    Transcending the ensemble: baby universes, spacetime wormholes, and the order and disorder of black hole information,

    D. Marolf and H. Maxfield,Transcending the ensemble: baby universes, spacetime wormholes, and the order and disorder of black hole information,JHEP08(2020) 044 [2002.08950]

  49. [49]

    J. L. Cardy,Conformal Invariance and Surface Critical Behavior,Nucl. Phys. B240 (1984) 514. – 32 –

  50. [50]

    H. L. Verlinde,Conformal Field Theory, 2-DQuantum Gravity and Quantization of Teichmuller Space,Nucl. Phys. B337(1990) 652

  51. [51]

    Dorn, H.J

    H. Dorn and H. J. Otto,Two and three point functions in Liouville theory,Nucl. Phys. B429(1994) 375 [hep-th/9403141]

  52. [52]

    A. B. Zamolodchikov and A. B. Zamolodchikov,Structure constants and conformal bootstrap in Liouville field theory,Nucl. Phys. B477(1996) 577 [hep-th/9506136]

  53. [53]

    Miyaji and C

    M. Miyaji and C. Murdia,Holographic BCFT with a Defect on the End-of-the-World brane,JHEP11(2022) 123 [2208.13783]

  54. [54]

    Hayward,Gravitational action for space-times with nonsmooth boundaries,Phys

    G. Hayward,Gravitational action for space-times with nonsmooth boundaries,Phys. Rev. D47(1993) 3275

  55. [55]

    G. W. Moore and N. Seiberg,Polynomial Equations for Rational Conformal Field Theories,Phys. Lett. B212(1988) 451

  56. [56]

    G. W. Moore and N. Seiberg,Classical and Quantum Conformal Field Theory, Commun. Math. Phys.123(1989) 177

  57. [57]

    J. L. Cardy and D. C. Lewellen,Bulk and boundary operators in conformal field theory, Phys. Lett. B259(1991) 274

  58. [58]

    D. C. Lewellen,Sewing constraints for conformal field theories on surfaces with boundaries,Nucl. Phys. B372(1992) 654

  59. [59]

    Teschner and G

    J. Teschner and G. Vartanov,6j symbols for the modular double, quantum hyperbolic geometry, and supersymmetric gauge theories,Lett. Math. Phys.104(2014) 527 [1202.4698]

  60. [60]

    Teschner and G

    J. Teschner and G. S. Vartanov,Supersymmetric gauge theories, quantization ofM flat, and conformal field theory,Adv. Theor. Math. Phys.19(2015) 1 [1302.3778]

  61. [61]

    Eberhardt,Notes on crossing transformations of Virasoro conformal blocks, 2309.11540

    L. Eberhardt,Notes on crossing transformations of Virasoro conformal blocks, 2309.11540

  62. [62]

    Liouville bootstrap via harmonic analysis on a noncompact quantum group

    B. Ponsot and J. Teschner,Liouville bootstrap via harmonic analysis on a noncompact quantum group,hep-th/9911110

  63. [63]

    Ponsot and J

    B. Ponsot and J. Teschner,Clebsch-Gordan and Racah-Wigner coefficients for a continuous series of representations of U(q)(sl(2,R)),Commun. Math. Phys.224 (2001) 613 [math/0007097]

  64. [64]

    W. P. Thurston,Hyperbolic structures on 3-manifolds i: Deformation of acylindrical manifolds,Annals of Mathematics124(1986) 203

  65. [65]

    Ushijima,A volume formula for generalised hyperbolic tetrahedra, inNon-Euclidean Geometries: J´ anos Bolyai Memorial Volume, pp

    A. Ushijima,A volume formula for generalised hyperbolic tetrahedra, inNon-Euclidean Geometries: J´ anos Bolyai Memorial Volume, pp. 249–265. Springer, 2006

  66. [66]

    Roberts,Skein theory and Turaev-Viro invariants,Topology34(1995)

    J. Roberts,Skein theory and Turaev-Viro invariants,Topology34(1995) . – 33 –

  67. [67]

    J. W. Barrett,Geometrical measurements in three-dimensional quantum gravity,Int. J. Mod. Phys. A18S2(2003) 97 [gr-qc/0203018]

  68. [68]

    J. M. Garcia-Islas,Observables in three-dimensional quantum gravity and topological invariants,Class. Quant. Grav.21(2004) 3933 [gr-qc/0401093]

  69. [69]

    L. Y. Hung and G. Wong,Entanglement branes and factorization in conformal field theory,Phys. Rev. D104(2021) 026012 [1912.11201]

  70. [70]

    E. M. Brehm and I. Runkel,Lattice models from CFT on surfaces with holes: I. Torus partition function via two lattice cells,J. Phys. A55(2022) 235001 [2112.01563]

  71. [71]

    L. Chen, K. Ji, H. Zhang, C. Shen, R. Wang, X. Zeng et al.,CFTD from TQFTD+1 via Holographic Tensor Network, and Precision Discretization of CFT2,Phys. Rev. X 14(2024) 041033 [2210.12127]

  72. [72]

    Cheng, L

    G. Cheng, L. Chen, Z.-C. Gu and L.-Y. Hung,Precision Reconstruction of Rational Conformal Field Theory from Exact Fixed-Point Tensor Network,Phys. Rev. X15 (2025) 011073 [2311.18005]

  73. [73]

    E. M. Brehm and I. Runkel,Lattice models from CFT on surfaces with holes II: Cloaking boundary conditions and loop models,2410.19938

  74. [74]

    Chen, L.-Y

    L. Chen, L.-Y. Hung, Y. Jiang and B.-X. Lao,Deriving the non-perturbative gravitational dual of quantum Liouville theory from BCFT operator algebra,SciPost Phys.19(2025) 163 [2403.03179]

  75. [75]

    Hung and Y

    L.-Y. Hung and Y. Jiang,Building up quantum spacetimes with BCFT Legos, 2404.00877

  76. [76]

    Bao, L.-Y

    N. Bao, L.-Y. Hung, Y. Jiang and Z. Liu,QG from SymQRG: AdS 3/CFT2 Correspondence as Topological Symmetry-Preserving Quantum RG Flow,2412.12045

  77. [77]

    Geng, L.-Y

    H. Geng, L.-Y. Hung and Y. Jiang,It from ETH: Multi-interval Entanglement and Replica Wormholes from Large-cBCFT Ensemble,2505.20385. – 34 –