Recognition: 2 theorem links
· Lean TheoremHolographic Banners
Pith reviewed 2026-05-13 20:09 UTC · model grok-4.3
The pith
The on-shell bulk action for eternal AdS black holes is defined as a function of independent left, right, future and past boundary data, yielding a holographic banner that obeys the Hamilton-Jacobi equation in all four arguments.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The holographic banner S[φ^(0)L, φ^(0)R, φ^(0)F, φ^(0)P] obeys the Hamilton-Jacobi equation with respect to all four arguments and furnishes the semiclassical future interior state obtained by evolving a past thermofield double with boundary sources; for dynamical gravity it maps boundary data to near-singularity BKL evolution and gives the associated ergodic mixing timescale.
What carries the argument
The holographic banner, the on-shell bulk action treated as a function of four independent boundary data sets (left, right, future, past).
If this is right
- The semiclassical future interior state is obtained directly from the past thermofield double state after evolution by arbitrary boundary sources.
- When gravity is dynamical the banner supplies a map from boundary data to near-singularity semiclassical quantum cosmology obeying chaotic BKL dynamics.
- The timescale for ergodic mixing of the future interior state is fixed by the quantum variance of the past state or by an ensemble of boundary theories.
Where Pith is reading between the lines
- Boundary CFT data could determine the semiclassical interior cosmology in a controlled holographic setting.
- The construction offers a route to study how information injected at the boundary influences the chaotic interior region.
Load-bearing premise
The on-shell bulk action remains well-defined when differentiated independently with respect to left, right, future and past boundary data while the bulk solution stays on-shell.
What would settle it
An explicit check that the four-argument on-shell action fails to satisfy the Hamilton-Jacobi equation, or a direct BKL simulation whose mixing timescale disagrees with the one extracted from the banner.
Figures
read the original abstract
This paper is concerned with eternal AdS black holes. The quantum cosmological future and past interior states of the black hole may be placed on an equal footing to the left and right AdS boundary data by considering the on-shell bulk action as a function of the left/right/future/past data: $S[\phi^{(0)L},\phi^{(0)R},\phi^{(0)F},\phi^{(0)P}]$. We call this object a holographic banner, and it obeys the Hamilton-Jacobi equation with respect to all four of its arguments. We compute the holographic banner for a scalar field in an AdS black hole background explicitly and use it to construct the semiclassical state in the future interior obtained from a thermofield double state in the past evolved by arbitrary time- and space-dependent boundary sources. When the spacetime itself is dynamical we explain how the holographic banner gives, in principle, a map from boundary data to near-singularity semiclassical quantum cosmology following chaotic BKL dynamics. We obtain the timescale for the BKL dynamics to ergodically mix the future interior quantum state, given a quantum variance in the past state or a classical ensemble of boundary theories.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a 'holographic banner' as the on-shell bulk action S[φ^(0)L, φ^(0)R, φ^(0)F, φ^(0)P] for eternal AdS black holes, treated as a function of independent Dirichlet data on left, right, future, and past boundaries. It claims this object obeys the Hamilton-Jacobi equation with respect to each of the four arguments, provides an explicit computation for a scalar field in a fixed AdS black hole background to construct the semiclassical future interior state evolved from a thermofield double state under arbitrary boundary sources, and outlines an in-principle map from boundary data to near-singularity semiclassical quantum cosmology governed by chaotic BKL dynamics, including the timescale for ergodic mixing of the interior state.
Significance. If the central construction can be made rigorous, the holographic banner would provide a novel extension of the AdS/CFT dictionary that places interior quantum cosmology on equal footing with boundary data, potentially yielding falsifiable predictions for mixing timescales in dynamical spacetimes. The claimed explicit scalar-field computation would constitute a concrete strength by demonstrating applicability beyond the abstract definition.
major comments (2)
- [Abstract] Abstract: The definition of the holographic banner assumes the on-shell action can be consistently defined and independently differentiated with respect to four independent boundary data sets while remaining on-shell. For the hyperbolic Klein-Gordon equation in the fixed black hole background, the initial-boundary-value problem is overdetermined; Dirichlet data on the two timelike boundaries (L, R) together with data on the two spacelike surfaces (F, P) can be imposed only on a codimension-1 submanifold of data space satisfying compatibility constraints from the bulk propagator. Independent variation of all four arguments is therefore not possible inside the on-shell sector, so the four-argument Hamilton-Jacobi equation cannot be defined as stated. This issue is load-bearing for both the scalar-field construction and the claimed map to BKL dynamics.
- [Scalar field computation] Scalar field computation section: The manuscript states an explicit computation of the banner for a scalar field but provides no displayed equations, mode expansions, or verification that the resulting functional satisfies the claimed Hamilton-Jacobi equation after accounting for the compatibility constraints on the four data sets. Without these steps, it is impossible to confirm that the construction escapes the overdetermination problem identified above.
minor comments (1)
- [Abstract] The abstract claims an explicit scalar-field result yet contains no equations, error estimates, or sample expressions, which reduces clarity for readers attempting to assess the computation.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for highlighting important technical issues with the definition and explicit realization of the holographic banner. We address each major comment below and have revised the manuscript to incorporate the necessary clarifications and details.
read point-by-point responses
-
Referee: [Abstract] Abstract: The definition of the holographic banner assumes the on-shell action can be consistently defined and independently differentiated with respect to four independent boundary data sets while remaining on-shell. For the hyperbolic Klein-Gordon equation in the fixed black hole background, the initial-boundary-value problem is overdetermined; Dirichlet data on the two timelike boundaries (L, R) together with data on the two spacelike surfaces (F, P) can be imposed only on a codimension-1 submanifold of data space satisfying compatibility constraints from the bulk propagator. Independent variation of all four arguments is therefore not possible inside the on-shell sector, so the four-argument Hamilton-Jacobi equation cannot be defined as stated. This issue is load-bearing for both the scalar-field construction and the claimed map to BKL dynamics.
Authors: We agree that the initial-boundary-value problem is overdetermined for independent Dirichlet data on all four boundaries. The four data sets must satisfy compatibility constraints imposed by the bulk propagator and lie on a codimension-1 submanifold of data space. The on-shell action is defined on this constrained space, and the Hamilton-Jacobi equation holds for variations that remain tangent to the allowed submanifold. We have revised the abstract and relevant sections to state this explicitly, derive the compatibility conditions for the scalar field, and clarify the domain on which the functional is defined. This does not change the central claims but ensures rigor in the setup. revision: yes
-
Referee: [Scalar field computation] Scalar field computation section: The manuscript states an explicit computation of the banner for a scalar field but provides no displayed equations, mode expansions, or verification that the resulting functional satisfies the claimed Hamilton-Jacobi equation after accounting for the compatibility constraints on the four data sets. Without these steps, it is impossible to confirm that the construction escapes the overdetermination problem identified above.
Authors: We apologize for the omission of explicit steps in the scalar-field section. The revised manuscript now includes the full mode expansion in the fixed AdS black-hole background, the closed-form expression for the on-shell action as a functional of the four boundary values, and a direct check that the functional derivatives satisfy the Hamilton-Jacobi equation once the compatibility constraints are imposed. These additions confirm consistency within the allowed data space and address the overdetermination concern. revision: yes
Circularity Check
No significant circularity in the derivation chain
full rationale
The holographic banner is introduced by defining it directly as the on-shell bulk action S[φ^(0)L, φ^(0)R, φ^(0)F, φ^(0)P] treated as a function of four boundary data sets, after which the paper states that this object obeys the Hamilton-Jacobi equation with respect to all four arguments. This property is a standard, general consequence of any on-shell action in classical field theory or gravity (arising from the bulk equations of motion) and does not constitute a self-referential reduction or redefinition within the paper. The explicit scalar-field computation in the fixed AdS black-hole background supplies independent, concrete content. The extension to dynamical spacetime is presented as an in-principle map that imports the known BKL dynamics of classical cosmology rather than deriving those dynamics from the banner; the mixing timescale is likewise obtained by applying the external BKL framework. No load-bearing step reduces by construction to the paper's own inputs or to a self-citation chain. The derivation therefore remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The on-shell bulk action can be treated as a functional of independent left, right, future, and past boundary data and satisfies the Hamilton-Jacobi equation with respect to all four arguments.
- domain assumption BKL dynamics governs the chaotic semiclassical evolution near the black-hole singularity.
invented entities (1)
-
holographic banner
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the on-shell bulk action as a function of the left/right/future/past data: S[ϕ(0)L, ϕ(0)R, ϕ(0)F, ϕ(0)P]. We call this object a holographic banner, and it obeys the Hamilton-Jacobi equation with respect to all four of its arguments.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the BKL scenario suggests that there is a large class of near-singularity dynamics where non-interacting single-particle states again emerge... chaotic hyperbolic billiard dynamics
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
-
[1]
L. Fidkowski, V. Hubeny, M. Kleban and S. Shenker, The Black hole singularity in AdS / CFT, JHEP02, 014, 2004, [arXiv:hep-th/0306170]
-
[2]
G. Festuccia and H. Liu, Excursions beyond the horizon: Black hole singularities in Yang-Mills theories. I., JHEP04, 044, 2006, [arXiv:hep-th/0506202]
-
[3]
A. Frenkel, S. A. Hartnoll, J. Kruthoff and Z. D. Shi, Holographic flows from CFT to the Kasner universe, JHEP08, 003, 2020, [arXiv:2004.01192 [hep-th]]. 30
-
[4]
M. Grinberg and J. Maldacena, Proper time to the black hole singularity from thermal one-point functions, JHEP03, 131, 2021, [arXiv:2011.01004 [hep-th]]
-
[5]
Imprint of the black hole singularity on thermal two-point functions
N. Afkhami-Jeddi, S. Caron-Huot, J. Chakravarty and A. Maloney, Imprint of the black hole singularity on thermal two-point functions, 2025, [arXiv:2510.21673 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[6]
M. Dodelson, C. Iossa and R. Karlsson, Bouncing off a stringy singularity, 2025, [arXiv:2511.09616 [hep-th]]
-
[7]
J. de Boer, D. L. Jafferis and L. Lamprou, On black hole interior reconstruction, singularities and the emergence of time, 2022, [arXiv:2211.16512 [hep-th]]
-
[8]
S. Leutheusser and H. Liu, Volume as an index of a subalgebra, 2025, [arXiv:2508.00056 [hep-th]]
- [9]
-
[10]
B. S. DeWitt, Quantum Theory of Gravity. 1. The Canonical Theory, Phys. Rev.160, 1113–1148, 1967
work page 1967
-
[11]
On the Holographic Renormalization Group
J. de Boer, E. P. Verlinde and H. L. Verlinde, On the holographic renormalization group, JHEP08, 003, 2000, [arXiv:hep-th/9912012]
work page internal anchor Pith review arXiv 2000
-
[12]
Holographic Reconstruction of Spacetime and Renormalization in the AdS/CFT Correspondence
S. de Haro, S. N. Solodukhin and K. Skenderis, Holographic reconstruction of space-time and renormalization in the AdS / CFT correspondence, Commun. Math. Phys.217, 595–622, 2001, [arXiv:hep-th/0002230]
work page Pith review arXiv 2001
-
[13]
I. Heemskerk and J. Polchinski, Holographic and Wilsonian Renormalization Groups, JHEP06, 031, 2011, [arXiv:1010.1264 [hep-th]]
-
[14]
T. Faulkner, H. Liu and M. Rangamani, Integrating out geometry: Holographic Wilsonian RG and the membrane paradigm, JHEP08, 051, 2011, [arXiv:1010.4036 [hep-th]]
-
[15]
Moving the CFT into the bulk with $T\bar T$
L. McGough, M. Mezei and H. Verlinde, Moving the CFT into the bulk withTT, JHEP04, 010, 2018, [arXiv:1611.03470 [hep-th]]
work page Pith review arXiv 2018
-
[16]
Holography at finite cutoff with a $T^2$ deformation
T. Hartman, J. Kruthoff, E. Shaghoulian and A. Tajdini, Holography at finite cutoff with aT 2 deformation, JHEP03, 004, 2019, [arXiv:1807.11401 [hep-th]]. 31
work page Pith review arXiv 2019
- [17]
- [18]
-
[19]
Real-time gauge/gravity duality
K. Skenderis and B. C. van Rees, Real-time gauge/gravity duality, Phys. Rev. Lett. 101, 081601, 2008, [arXiv:0805.0150 [hep-th]]
work page Pith review arXiv 2008
-
[20]
Real-time gauge/gravity duality: Prescription, Renormalization and Examples
K. Skenderis and B. C. van Rees, Real-time gauge/gravity duality: Prescription, Renormalization and Examples, JHEP05, 085, 2009, [arXiv:0812.2909 [hep-th]]
work page Pith review arXiv 2009
-
[21]
V. Balasubramanian, P. Kraus and A. E. Lawrence, Bulk versus boundary dynamics in anti-de Sitter space-time, Phys. Rev. D59, 046003, 1999, [arXiv:hep-th/9805171]
-
[22]
J. M. Maldacena, Eternal black holes in anti-de Sitter, JHEP04, 021, 2003, [arXiv:hep-th/0106112]
work page Pith review arXiv 2003
-
[23]
V. Balasubramanian, A. Lawrence, J. M. Magan and M. Sasieta, Microscopic Origin of the Entropy of Black Holes in General Relativity, Phys. Rev. X14, 011024, 2024, [arXiv:2212.02447 [hep-th]]
-
[24]
S. A. Hartnoll, A. Lucas and S. Sachdev, Holographic quantum matter, 2016, [arXiv:1612.07324 [hep-th]]
work page Pith review arXiv 2016
-
[25]
V. A. Belinsky, I. M. Khalatnikov and E. M. Lifshitz, Oscillatory approach to a singular point in the relativistic cosmology, Adv. Phys.19, 525–573, 1970
work page 1970
- [26]
-
[27]
V. Belinski and M. Henneaux,The Cosmological Singularity. Cambridge Monographs on Mathematical Physics. CUP, 2017, 10.1017/9781107239333
- [28]
-
[29]
M. De Clerck, S. A. Hartnoll and M. Yang, Wheeler-DeWitt wavefunctions for 5d BKL dynamics, automorphic L-functions and complex primon gases, JHEP11, 160, 2025, [arXiv:2507.08788 [hep-th]]. 32
- [30]
-
[31]
G. Araujo-Regado, R. Khan and A. C. Wall, Cauchy slice holography: a new AdS/CFT dictionary, JHEP03, 026, 2023, [arXiv:2204.00591 [hep-th]]
-
[32]
W. G. Unruh, Notes on black hole evaporation, Phys. Rev. D14, 870, 1976
work page 1976
-
[33]
C. P. Herzog and D. T. Son, Schwinger-Keldysh propagators from AdS/CFT correspondence, JHEP03, 046, 2003, [arXiv:hep-th/0212072]
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[34]
Holographic systems far from equilibrium: a review,
H. Liu and J. Sonner, Holographic systems far from equilibrium: a review, Rept. Prog. Phys.83, 016001, 2019, [arXiv:1810.02367 [hep-th]]
- [35]
-
[36]
S. S. Gubser, I. R. Klebanov and A. M. Polyakov, Gauge theory correlators from noncritical string theory, Phys. Lett. B428, 105–114, 1998, [arXiv:hep-th/9802109]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[37]
Anti De Sitter Space And Holography
E. Witten, Anti de Sitter space and holography, Adv. Theor. Math. Phys.2, 253–291, 1998, [arXiv:hep-th/9802150]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[38]
D. T. Son and A. O. Starinets, Minkowski space correlators in AdS / CFT correspondence: Recipe and applications, JHEP09, 042, 2002, [arXiv:hep-th/0205051]
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[39]
A. G. Doroshkevich and I. D. Novikov, Space-Time and Physical Fields inside a Black Hole, Zh. Eksp. Teor. Fiz.74, 3–12, 1978
work page 1978
-
[40]
G. Fournodavlos and J. Sbierski, Generic Blow-Up Results for the Wave Equation in the Interior of a Schwarzschild Black Hole, Arch. Ration. Mech. Anal.235, 927–971, 2020, [arXiv:1804.01941 [gr-qc]]
-
[41]
D. Birmingham, I. Sachs and S. N. Solodukhin, Conformal field theory interpretation of black hole quasinormal modes, Phys. Rev. Lett.88, 151301, 2002, [arXiv:hep-th/0112055]
-
[42]
M. De Clerck, S. A. Hartnoll and J. E. Santos, Mixmaster chaos in an AdS black hole interior, JHEP07, 202, 2024, [arXiv:2312.11622 [hep-th]]. 33
-
[43]
De Clerck, An introduction to BKL theory, PoSModave2024, 002, 2026
M. De Clerck, An introduction to BKL theory, PoSModave2024, 002, 2026
work page 2026
-
[44]
E. B. Bogomolny, B. Georgeot, M. J. Giannoni and C. Schmit, Arithmetical chaos, Phys. Rept.291, 219–324, 1997
work page 1997
-
[45]
Marklof, Arithmetic quantum chaos, inEncyclopedia of Mathematical Physics, Vol 1, pp
J. Marklof, Arithmetic quantum chaos, inEncyclopedia of Mathematical Physics, Vol 1, pp. 212–220. Amsterdam: Elsevier, 2004
work page 2004
-
[46]
T. Hartman and J. Maldacena, Time Evolution of Entanglement Entropy from Black Hole Interiors, JHEP05, 014, 2013, [arXiv:1303.1080 [hep-th]]
-
[47]
S. H. Shenker and D. Stanford, Black holes and the butterfly effect, JHEP03, 067, 2014, [arXiv:1306.0622 [hep-th]]
work page Pith review arXiv 2014
-
[48]
Susskind, Computational Complexity and Black Hole Horizons, Fortsch
L. Susskind, Computational Complexity and Black Hole Horizons, Fortsch. Phys.64, 24–43, 2016, [arXiv:1403.5695 [hep-th]]
-
[49]
D. Stanford and L. Susskind, Complexity and Shock Wave Geometries, Phys. Rev. D 90, 126007, 2014, [arXiv:1406.2678 [hep-th]]
-
[50]
P. Saad, S. H. Shenker and D. Stanford, JT gravity as a matrix integral, 2019, [arXiv:1903.11115 [hep-th]]
work page Pith review arXiv 2019
-
[51]
J. B. Hartle and S. W. Hawking, Wave Function of the Universe, Phys. Rev. D28, 2960–2975, 1983
work page 1983
- [52]
- [53]
- [54]
-
[55]
Z. Rudnick, Zeta functions in arithmetic and their spectral statistics, Lectures at DMV Summer School,http://www.math.tau.ac.il/~rudnick/papers/ihp.ps, 2000
work page 2000
-
[56]
D. Anninos, De Sitter Musings, Int. J. Mod. Phys. A27, 1230013, 2012, [arXiv:1205.3855 [hep-th]]. 34
-
[57]
D. Anninos, S. A. Hartnoll and D. M. Hofman, Static Patch Solipsism: Conformal Symmetry of the de Sitter Worldline, Class. Quant. Grav.29, 075002, 2012, [arXiv:1109.4942 [hep-th]]
-
[58]
A. Strominger, The dS / CFT correspondence, JHEP10, 034, 2001, [arXiv:hep-th/0106113]
work page Pith review arXiv 2001
-
[59]
J. M. Maldacena, Non-Gaussian features of primordial fluctuations in single field inflationary models, JHEP05, 013, 2003, [arXiv:astro-ph/0210603]. 35
work page Pith review arXiv 2003
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.