REVIEW 3 major objections 3 minor 23 references
Einstein-Hilbert gravity with a fixed finite timelike boundary (a Dirichlet wall) ends time for open sets of smooth initial data, producing spacelike singularities at the wall in any dimension.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
2026-08-02 12:19 UTC pith:YZMXS4YL
load-bearing objection Exact AdS3 quotient constructions are solid and new; the BTZ horizon-crossing wall rests on a plausible but unproven formal power series. the 3 major comments →
Dirichlet walls and the end of time
The pith
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 Dirichlet walls can act as the locus of generic end-of-time singularities. Quotienting anti-de Sitter space to a spatially compact cosmology and inserting a static S^{d−2}×R wall, the wall is guaranteed to collide with the boundary of the fundamental domain as the spatial slices contract; at the collision the induced metric can no longer be enforced, and the singularity is spacelike for an open set of data (including all cases with large genus and small wall). In 2+1 dimensions, the paper constructs, order by order in proper time, a flat static cylindrical wall that starts outside a BTZ black hole and crosses the horizon; once a piece of the wall enters, the whole S
What carries the argument
Dirichlet wall: a finite timelike boundary on which the induced metric is fixed. It carries the argument because collisions of the wall with itself or with the compactified fundamental domain create points where the fixed metric cannot be maintained—the singularity. The BTZ construction uses a formal power-series embedding: the wall is written as (T(τ,σ), X(τ,σ), ϕ(τ,σ)) in Kruskal-like coordinates, with time-reflection symmetry; requiring the induced metric to be flat (Ricci scalar zero) gives one constraint per order in τ, which the paper solves by choosing the second-order functions X2 and Φ2. This produces a static S^1×R wall that dips through the horizon while keeping the local boundary
Load-bearing premise
The central claim rests on the formal power-series construction of the BTZ wall being extendable to a smooth embedded timelike surface satisfying the flatness condition at all orders, and on the 'open set' conclusion following by continuity—neither is proven.
What would settle it
Numerically or analytically extend the BTZ power-series wall to high order and check convergence to a smooth S^1×R timelike surface that crosses the horizon; a divergent series, a self-intersecting surface, or a smooth numerical evolution that continues past the would-be singularity time would falsify the core claim.
If this is right
- In any dimension d≥3 there are vacuum AdS cosmologies with S^{d−2}×R Dirichlet walls whose future singularity is everywhere spacelike and reaches the wall, so the whole space shrinks to zero volume.
- For fixed wall circumference, choosing high enough genus (or conical deficit) keeps the singularity everywhere spacelike; then no region lies in the causal future of the singularity, so causal new physics cannot prevent collapse.
- In 2+1 dimensions, a static cylindrical wall can start outside the BTZ horizon and cross it; once one point crosses, the entire wall must cross, and the wall then encounters the black-hole singularity in finite time.
- The conserved energy sign does not separate safe from unsafe theories: E>0 end-of-time cosmologies can be driven by time-dependent boundary conditions into the E<0 boxed-black-hole sector, and a BTZ wall with E<0 can still have locally positive boundary energy where it enters the horizon.
- In higher dimensions the same initial-data construction produces trapped surfaces that include parts of the wall; whether these force later singularities is left unresolved.
Where Pith is reading between the lines
- One consequence the paper leaves implicit: if these singularities are real, the 'boxed black hole' sector is not a stable island—time-dependent walls can connect it to end-of-time solutions, so the singular behavior is generic across the solution space.
- The local well-posedness condition (the boundary stress-energy tensor must define a positive metric) fails exactly when T_tt passes through zero; a natural reading is that the classical description itself may end at that moment, making 'end of time' even more common than the explicit singular solutions show.
- A concrete numerical test is suggested by the paper's power series: evolve a BTZ wall that dips through the horizon and check whether any smooth extension exists past the predicted singularity time; divergence of the series or a smooth extension would settle the issue.
- For holographic duals of boundary-condition-deformed CFTs, a bulk end-of-time singularity reaching the wall would appear as a singular boundary condition in the field theory; the paper flags this connection but does not develop it.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Einstein-Hilbert gravity with Dirichlet boundary conditions imposed on a finite timelike wall, focusing on walls with static S^{d-2}×R induced metric. In Section 2, the authors construct exact AdS3 cosmological solutions by inserting such walls into compact quotients of AdS3; they derive explicit formulas for the first and final singularity times (Eqs. 2.13–2.14), the causal character of the singularities (Eqs. 2.15–2.16), and the Brown-York energy (Eq. 2.23). They also argue by continuity that these end-of-time singularities occur for open sets of initial data. In Section 3, they attempt to construct Dirichlet walls that fall through the horizon of a non-rotating BTZ black hole using a formal power-series expansion, claiming that once part of the wall crosses the horizon the entire wall must follow and hit a future singularity. Section 4 discusses extensions to higher dimensions, where only trapped-surface formation is established. The paper concludes that classical Einstein gravity with finite timelike boundaries can have time evolution that terminates in spacelike singularities reaching the boundary.
Significance. If the central claims hold, the paper would establish that generic smooth initial data for Einstein-Hilbert gravity with fixed finite timelike boundaries can evolve into a spacelike singularity reaching the boundary, a genuine end of time in the classical theory. This would be a significant result with implications for T\bar T deformations, finite-distance boundaries in AdS/CFT, and the global well-posedness of the Dirichlet initial-boundary value problem. The exact AdS3 cosmological constructions are self-contained and verifiable: the singularity times and causal character are computed from explicit metrics, and the Brown-York energy comparison with boxed BTZ is clean. The paper is also honest about the limits of the higher-dimensional discussion. However, two load-bearing steps are not proven: the transition from explicit examples to 'open sets' of initial data, and the existence of the BTZ wall beyond a formal power series. These currently prevent the strongest claims from being accepted as theorems.
major comments (3)
- [§1 and §2.2] The abstract's claim of 'open sets of initial data' and the associated notion of 'generic' singularities rests on the sentence in §1: 'It then follows by continuity that this must remain true for an open set of initial data around any such solution.' No argument is given that the property 'the maximal development forms a spacelike singularity that reaches the wall' is an open condition in the constrained initial-data space. The explicit families are finite-dimensional (parameters g, L, δ), and local well-posedness of the initial-boundary value problem does not by itself imply that singularity formation is stable under all perturbations. A concrete demonstration would be a linearized stability analysis around the exact AdS3 solutions, or a reference to a theorem on stability of crushing singularities. Without this, the genericity claim is not established.
- [§3, Eqs. (3.7)–(3.15)] The BTZ wall is constructed only as a formal power series in τ. The statement 'This construction can clearly be extended to higher order in τ, since at each order there is only one constraint' does not address convergence of the series, whether the resulting formal embedding corresponds to a smooth embedded timelike cylinder, or whether that cylinder extends globally to reach the horizon. In addition, the particular solution (3.15) is ill-defined at points where α(σ)^2+β(σ)^2=0; the paper does not verify that this denominator remains nonzero for the illustrative initial curve (3.16), nor does it provide an alternative solution of (3.14) at such points. The subsequent argument that a piece of the wall crosses the horizon, and hence that the entire wall falls in and hits a singularity, depends entirely on this existence. This gap is load-bearing because the BTZ example is the paper's main
- [§4] The higher-dimensional argument is explicitly restricted to showing formation of trapped surfaces that reach the wall; the paper states that whether this leads to singularities is 'a topic for future investigation'. This is appropriately hedged, but it means the abstract's general statement that 'a similar construction in higher dimensions leads to trapped surfaces' is not a claim of singularity formation. The reader should not take Section 4 as evidence for the end-of-time phenomenon in higher dimensions; as written, it is a plausibility argument.
minor comments (3)
- [§2.2] The general-d argument for everywhere-spacelike singularities relies on the local model of colliding null planes and the large-g limit. This is plausible, but the explicit verification is only given for d=3. It would be helpful to state precisely which claims are proven for all d and which are established only for d=3.
- [§2.4] The notation δ is used both for the conical deficit angle and, in the text, for a parameter in the initial curve (later δ_0, δ_m). This can be confusing; a consistent notation would improve readability.
- [References] Reference [9] appears with an incomplete title and is formatted differently from the other references. Also, some arXiv identifiers are given as DOIs; this is unconventional and should be normalized.
Circularity Check
No significant circularity; the derivation is self-contained and no claimed prediction reduces to a fitted input or self-citation.
full rationale
The paper's central claims are supported by explicit constructions rather than by fitting parameters or importing the conclusion through self-citation. Section 2 builds explicit AdS quotient spacetimes with a Dirichlet wall and directly computes the wall-collision times (2.13)–(2.15), the causal character (2.16), and the Brown-York energy (2.23); these are derived quantities, not inputs. The BTZ construction of §3 solves the induced-flatness constraint R=0 order by order (3.14)–(3.15) in a fixed background, and the claim that the wall enters the horizon follows from the chosen initial curve (3.16) plus the causal structure of the horizon; no fitted parameter is renamed as a prediction. The continuity argument for an open set (§1, "It then follows by continuity...") and the formal power series in §3 ("This construction can clearly be extended to higher order") are not proven, and the paper explicitly warns in §2.5 that the An-Anderson well-posedness assumptions fail in the sign-changing solutions; these are rigor gaps, not circularity. Self-citations [3], [11], [15], and [19] are background or standard mathematical facts and are not load-bearing for the end-of-time conclusion.
Axiom & Free-Parameter Ledger
axioms (5)
- domain assumption The Dirichlet initial-boundary value problem for Einstein gravity is locally well-posed (An-Anderson theorem).
- standard math Gauss-Bonnet theorem determines the hyperbolic polygon's geometry; a non-singular quotient requires interior angles summing to 2π.
- domain assumption In 2+1 vacuum GR there are no local degrees of freedom, so inserting a surface with the prescribed induced metric in a fixed BTZ background gives a solution without back-reaction.
- ad hoc to paper The formal power series for the Dirichlet wall (T, X, Φ) converges to a smooth embedded timelike surface satisfying the Dirichlet condition non-perturbatively.
- ad hoc to paper Singularity formation is an open property of initial data: nearby data to an explicit singular solution also form singularities.
Cite this review
Pith. "Pith review of Dirichlet walls and the end of time." pith.science (2026). https://pith.science/paper/YZMXS4YL
@misc{pith2026260605505,
author = {Pith},
title = {Pith review of: Dirichlet walls and the end of time},
year = {2026},
howpublished = {\url{https://pith.science/paper/YZMXS4YL}},
note = {Machine review of arXiv:2606.05505}
}
read the original abstract
We study evolution in Einstein-Hilbert gravity with Dirichlet boundary conditions imposed on a finite surface. We argue that there are open sets of initial data where such evolutions terminate at finite times due to singularities that reach the boundary. In any dimension, the simplest such examples occur in cosmologies. However, in 2+1 dimensions we also show that Dirichlet walls initially outside a BTZ black hole can fall through the horizon, and that this also leads to generic singularities. A similar construction in higher dimensions leads to trapped surfaces that reach the wall, though the end result of such evolutions is more difficult to study.
Reference graph
Works this paper leans on
-
[1]
S. W. Hawking and R. Penrose,The Singularities of gravitational collapse and cosmology, Proc. Roy. Soc. Lond. A314(1970) 529–548
1970
-
[2]
Hawking,The Occurrence of singularities in cosmology
S. Hawking,The Occurrence of singularities in cosmology. II,Proc. Roy. Soc. Lond. A295 (1966) 490–493
1966
-
[3]
T. Hertog and G. T. Horowitz,Holographic description of AdS cosmologies,JHEP04(2005) 005, [hep-th/0503071]
Pith/arXiv arXiv 2005
-
[4]
R. Gregory and R. Laflamme,Black strings and p-branes are unstable,Physical Review Letters70(1993) 2837–2840, [hep-th/9301052]
Pith/arXiv arXiv 1993
-
[5]
R. Emparan and H. S. Reall,Black rings,Classical and Quantum Gravity23(2006) R169–R197, [hep-th/0608012]
Pith/arXiv arXiv 2006
-
[6]
L. Lehner and F. Pretorius,Black strings, low viscosity fluids, and violation of cosmic censorship,Physical Review Letters105(2010) 101102, [1006.5960]
Pith/arXiv arXiv 2010
-
[7]
M. W. Choptuik,Universality and scaling in gravitational collapse of a massless scalar field, Physical Review Letters70(1993) 9–12
1993
-
[8]
D. Marolf,On the fate of black string instabilities: An incomplete null infinity,Classical and Quantum Gravity27(2010) 095015, [1001.3359]
Pith/arXiv arXiv 2010
-
[9]
Moving the CFT into the bulk with$T\bar T$
L. McGough, M. Mezei and H. Verlinde, “Moving the CFT into the bulk with$T\bar T$.” 10.48550/arXiv.1611.03470
-
[10]
Well-posed geometric boundary data in General Relativity, II: Dirichlet boundary data
Z. An and M. T. Anderson, “Well-posed geometric boundary data in General Relativity, II: Dirichlet boundary data.” 10.48550/arXiv.2505.07128
-
[11]
T. Andrade, W. R. Kelly and D. Marolf,Einstein–Maxwell Dirichlet walls, negative kinetic energies, and the adiabatic approximation for extreme black holes,Class. Quant. Grav.32 (2015) 195017, [1503.03915]. – 28 –
Pith/arXiv arXiv 2015
-
[12]
J. W. York,Black hole thermodynamics and the euclidean einstein action,Physical Review D 33(1986) 2092–2099
1986
-
[13]
O. H. E. Philcox, E. Silverstein and G. Torroba,Quantum stress-energy at timelike boundaries: Testing a new beyond-ΛCDM parameter with cosmological data,Phys. Rev. D 113(2026) 043548, [2507.00115]
Pith/arXiv arXiv 2026
-
[14]
S. Aminneborg, I. Bengtsson, D. Brill, S. Holst and P. Peldan,Black holes and wormholes in (2+1)-dimensions,Class. Quant. Grav.15(1998) 627–644, [gr-qc/9707036]
Pith/arXiv arXiv 1998
-
[15]
G. T. Horowitz and D. Marolf,A New approach to string cosmology,JHEP07(1998) 014, [hep-th/9805207]
Pith/arXiv arXiv 1998
-
[16]
N. L. Balazs and A. Voros,Chaos on the pseudosphere,Phys. Rept.143(1986) 109–240
1986
-
[17]
D. M. Eardley and S. B. Giddings,Classical Black Hole Production in High-Energy Collisions,gr-qc/0201034
-
[18]
Penrose 1974, Unpublished manuscript
R. Penrose 1974, Unpublished manuscript
1974
-
[19]
T. Andrade, W. R. Kelly, D. Marolf and J. E. Santos,On the stability of gravity with Dirichlet walls,Class. Quant. Grav.32(2015) 235006, [1504.07580]
Pith/arXiv arXiv 2015
-
[20]
D. Anninos, R. Arias, D. A. Galante and C. Maneerat,Gravitational observatories in AdS 4, JHEP07(2025) 234, [2412.16305]
Pith/arXiv arXiv 2025
-
[21]
New Well-Posed Boundary Conditions for Semi-Classical Euclidean Gravity
X. Liu, J. E. Santos and T. Wiseman, “New Well-Posed Boundary Conditions for Semi-Classical Euclidean Gravity.” 10.48550/arXiv.2402.04308
-
[22]
D. Anninos, D. A. Galante and C. Maneerat,Cosmological observatories,Class. Quant. Grav.41(2024) 165009, [2402.04305]
Pith/arXiv arXiv 2024
-
[23]
J. R. Gott and M. Alpert,General relativity in a (2+1)-dimensional space-time,Gen. Rel. Grav.16(1984) 243–247. – 29 –
1984
This paper was first reviewed by deepseek-v4-flash on August 2, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.