Global Dynamics of Asymptotically AdS Spacetimes
Scrollable formula. Use Left and Right arrow keys to reveal hidden content.
Scrollable table. Use Left and Right arrow keys to reveal additional columns.
Scrollable figure. Use Left and Right arrow keys to inspect hidden content.
Global anti-de Sitter evolution asks whether arbitrarily small perturbations repeatedly reflected by the timelike boundary collapse, approach a periodic state, or remain globally regular. The answer changes with matter, symmetry, boundary condition, and the quantifier on initial data. As of 2026-08-20, small collapsing data are rigorous in one spherical Vlasov model, while scalar and vacuum evidence includes turbulence, periodic branches, and boundary-sensitive suppression. The broad question is open and contested, with moderate confidence because unmatched models and finite-time numerics control much of the comparison.
Helpful background. Asymptotically Anti-de Sitter Spacetimes explains the timelike conformal boundary and why boundary data are part of the dynamical system. This record evaluates long-time outcomes rather than the local geometry.
Which AdS stability problem is finite?
Section titled “Which AdS stability problem is finite?”Fix global AdS dimension, an Einstein or Einstein–matter system, a topology on small initial data, and a boundary condition at conformal infinity. The finite question is whether arbitrarily small data in that class form a trapped surface, remain globally regular or quasiperiodic, or lose energy through the boundary.
Reflecting, dissipative, and multitrace boundary conditions define different problems. So do vacuum gravitational modes, a massless scalar, Vlasov matter, and other fields. Existence of one collapsing sequence is weaker than generic instability; existence of a periodic solution is weaker than nonlinear stability of an open neighborhood; and absence of collapse over a finite run is weaker than a global bound.
| Assessment at 2026-08-20 | Meaning |
|---|---|
| Question status | Open |
| Evidence status | Contested |
| Confidence | Moderate across the broad record; higher inside individual theorem cells |
| Domain | Global asymptotically AdS evolution with model and timelike-boundary condition fixed; planar black branes are excluded |
| What could change the conclusion | A long-time theorem, converged simulation family, or boundary-condition classification |
A starting project: validate a reflecting scalar evolution
Section titled “A starting project: validate a reflecting scalar evolution”Fit and preparation. Choose this computational route if you can discretize a radial wave equation, impose regularity at the center, and measure convergence independently of a plotted solution. A laptop is sufficient for linear and modest-resolution spherical tests; long nonlinear cascades need additional resolution, runtime estimates, and numerical-relativity supervision.
Reading and baseline. Read Bizoń and Rostworowski 2011, Eqs. (4)–(8) and (11)–(12) for the evolution, endpoint conditions, and linear mode basis. First evolve one linear normal mode for several reflections and recover its frequency and constant energy under separate spatial and time-step refinement. Only then use the two-mode initial data specified in Fig. 3 to examine early nonlinear energy transfer. Record the time normalization: center proper time and boundary time are not interchangeable.
Deliverable. Supply a runnable spherical test with the equations, initial mode coefficients, grid, boundary treatment, and refinement results. The target is a resolved early-time mode-energy comparison, not a claim to reproduce arbitrarily delayed collapse. State the longest interval on which constraints and energy errors are smaller than the reported transfer.
Possible extension and stopping point. After checking the resonant-system and AdS stability literature, investigate the sensitivity of that resolved interval to one small perturbation of the initial mode mixture. Keep the matter model and reflecting condition fixed. This is a candidate extension whose novelty must be established. Stop nonlinear interpretation if transfer to high modes approaches the numerical cutoff, if reflections cause nonconvergent mass drift, or if changing resolution moves the claimed recurrence. Pivot to improving the solver or to the linear spectral problem before extending the runtime; a longer unresolved run does not distinguish stability from delayed collapse.
What is established in the stated domain
Section titled “What is established in the stated domain”Bizoń and Rostworowski found that families of arbitrarily small, spherically symmetric massless-scalar pulses undergo repeated transfer to short scales and eventually collapse in their simulations Figs. 1–3 and the amplitude-scaling discussion. The work established a powerful mechanism and conjecture, not a generic theorem.
In vacuum gravity, Dias, Horowitz, and Santos identify secular resonant channels in perturbation theory §§2–4 and conclusion. Perturbative resonance shows why naive expansions fail on long time scales; it does not by itself imply horizon formation.
Adverse branches are equally concrete. Maliborski and Rostworowski construct time-periodic scalar solutions and numerically long-lived neighborhoods periodic construction and Figs. 1–3. Horowitz and Santos construct vacuum geons solution branches in §§2–5. Existence of these horizonless branches refutes “every perturbation promptly collapses,” but does not prove an open globally stable island.
Moschidis gives the strongest rigorous instability result: in spherical Einstein–massless-Vlasov with reflecting boundary, arbitrarily small smooth regular data form a trapped sphere Theorem 1 and detailed statement in §4. This is a theorem about a regular matter model, not vacuum or the massless scalar system.
Results and open questions at 2026-08-20
Section titled “Results and open questions at 2026-08-20”| Claim or evidence | What it supports | What it does not establish |
|---|---|---|
| Scalar collapse simulations | Weakly nonlinear transfer can lead to collapse | Genericity or a continuum theorem |
| Vacuum resonant perturbation theory | Secular channels exist in pure gravity | A global nonlinear endpoint |
| Periodic scalar solutions and geons | Noncollapsing exact branches exist | Nonlinear stability of an open set |
| Moschidis Vlasov theorem | Arbitrarily small regular collapsing data exist rigorously | Vacuum or scalar generic instability |
| Multitrace boundary study | Spectral resonance and outcome change with boundary deformation | A model-independent boundary classification |
The rows cannot be averaged. The theorem and simulations use different matter, while the periodic constructions answer an existence question rather than a neighborhood question. The robust conclusion is boundary- and model-dependent multiplicity of outcomes.
Competing interpretations of turbulent transfer
Section titled “Competing interpretations of turbulent transfer”The instability interpretation treats repeated reflections and a resonant spectrum as a cascade toward short scales. It is supported by scalar collapse simulations, vacuum secular terms, and the Vlasov theorem. Its strongest gap is quantifier: existence of arbitrarily small collapsing data is not yet generic collapse for vacuum or scalar fields.
The stability-island interpretation points to exact periodic solutions, geons, recurrences, and noncollapsing numerical neighborhoods. Its gap is time. A run long compared with the light-crossing time may still be short compared with an amplitude-dependent cascade time. Without amplitude-uniform bounds, delayed collapse and true global stability remain distinguishable only conjecturally.
Counterexamples, null results, and failed routes
Section titled “Counterexamples, null results, and failed routes”Periodic scalar solutions and geons are direct counterexamples to universal prompt-collapse language. They do not establish that generic nearby data stay close forever. Conversely, resonant perturbation theory cannot be promoted to a collapse theorem because secular growth may reorganize into a quasiperiodic solution or be removed by nonlinear frequency shifts.
Boundary deformation is a deeper scope test. Serantes, Travieso Mayo, and Mas report that multitrace deformations alter the spectrum and nonlinear outcome main numerical results and Figs. 2–11 of arXiv:2411.03297v1. Dissipative boundaries can also permit decay. “AdS is unstable” is therefore incomplete without the boundary condition.
What would change the assessment
Section titled “What would change the assessment”A vacuum or scalar theorem proving generic small-data collapse for a fixed reflecting problem would move the assessment substantially. So would a nonlinear stability theorem giving an open neighborhood of a geon or periodic scalar solution with amplitude-uniform long-time control. Numerically, two independent formulations spanning several amplitudes and boundary conditions, with predeclared convergence and recurrence criteria, could sharply narrow the competing interpretations.
Research checklist
Section titled “Research checklist”- Fix field equations, dimension, symmetry, topology, and the exact timelike-boundary condition.
- State whether the claim is existence, openness, genericity, or global stability.
- Pin initial-data families, amplitude normalization, basis or grid, dealiasing, and boundary implementation.
- Monitor constraints, conserved mass drift, spectral transfer, apparent-horizon criteria, and convergence in resolution and time step.
- Compare evolution time with the predicted amplitude scaling; do not infer stability from a fixed finite window.
- Test the same data with an independent formulation and distinguish coordinate concentration from invariant curvature growth.
Source and data map
Section titled “Source and data map”Bizoń–Rostworowski and Maliborski–Rostworowski provide complementary scalar simulations; Dias–Horowitz–Santos and Horowitz–Santos provide vacuum perturbative and geon cells; Moschidis supplies rigorous Vlasov collapse; Serantes and collaborators supply the current boundary-deformation challenge. The search excluded planar black branes and local theory without a long-time claim.
No end-to-end rerun was performed. No version-pinned public package containing decisive initial data, boundary implementation, code, and analysis was verified for the simulations. A reproduction must include convergence under resolution and time-step refinement, constraint and mass budgets, and a horizon or recurrence diagnostic stated before examining the outcome.
References
Section titled “References”- Bizoń, Piotr, and Andrzej Rostworowski. “Weakly Turbulent Instability of Anti–de Sitter Spacetime.” Physical Review Letters 107 (2011), 031102. DOI.
- Dias, Óscar J. C., Gary T. Horowitz, and Jorge E. Santos. “Gravitational Turbulent Instability of Anti-de Sitter Space.” Classical and Quantum Gravity 29 (2012), 194002. DOI.
- Horowitz, Gary T., and Jorge E. Santos. “Geons and the Instability of Anti-de Sitter Spacetime.” Physical Review D 91 (2015), 024077. DOI.
- Maliborski, Maciej, and Andrzej Rostworowski. “Time-Periodic Solutions in an Einstein AdS–Massless-Scalar-Field System.” Physical Review Letters 111 (2013), 051102. DOI.
- Moschidis, Georgios. “A Proof of the Instability of AdS for the Einstein–Massless Vlasov System.” Inventiones Mathematicae 231 (2023), 467–672. DOI.
- Serantes, Alexandre, David Travieso Mayo, and Javier Mas. “Multitrace Deformations and the Nonlinear Stability of Anti-de Sitter Space.” arXiv:2411.03297v1 (2024). arXiv.