{"id":"05683389-5f61-4ed5-92b2-90e432122e5d","arxiv_id":"2412.16305","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"With conformal boundary conditions in AdS4, linearized gravity has a new boundary Weyl mode; for a spherical boundary the mode has complex frequencies (exponential growth) at large angular momentum, while for a planar boundary it is massless.","lead":"Physicists studied gravity inside a finite box in anti-de Sitter space with a special boundary condition and found a new kind of boundary field that can grow without bound. This matters for holography, because finite-size versions of AdS/CFT need to account for this extra degree of freedom and its instabilities.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Well-posedness of the Lorentzian IBVP is the load-bearing assumption: the paper's own footnote marks it as open, so the complex-frequency modes are not yet established as physical instabilities.","rationale":"The reader identified the conjectured, unproven well-posedness of the Lorentzian IBVP as the weakest assumption, and this is indeed the most load-bearing concern. The complex-frequency modes are derived from the linearized field equations and the conformal boundary conditions alone; every physical conclusion drawn from them—that the vacuum is not the ground state, that conformal symmetry is broken, that there are growing modes inside a finite worldtube—requires these modes to be genuine dynamical evolutions of admissible initial data. The paper's footnote 1 concedes that this is open, and the boundary/corner mode must be handled nonlinearly. No internal inconsistency in the mode analysis was found; the Kodama-Ishibashi decomposition and the boundary condition (3.29) are applied carefully, and the Euclidean two-point function and planar analysis provide independent support for the reality of most of the spectrum. Other concerns, such as the empirical nature of the 0.26/l scaling in (3.36) or the lack of a nonlinear saturation analysis, are real but secondary: even a modified scaling would not change the qualitative claim that complex frequencies appear for finite Kℓ, and the paper explicitly flags the nonlinear fate as open. Thus the reader's CONDITIONAL verdict is appropriate, and no change is recommended.","tokens_in":42419,"tokens_out":17006,"duration_ms":168290,"concrete_test":"Test the Lopatinski (Kreiss-Sakamoto) condition for the linearized Einstein equations in generalized harmonic gauge with the conformal boundary conditions (2.5)-(2.6) on the timelike boundary r = rb. Compute the principal symbol and evaluate the Lopatinski determinant at the complex frequencies ωℓ found in §3.4.2. A nonzero determinant with an accompanying energy estimate would confirm that the modes are legitimate solutions of a well-posed IBVP; a vanishing determinant would show that the conformal boundary conditions are ill-posed in Lorentzian signature, and the complex-frequency modes would be artifacts of that ill-posedness rather than physical instabilities.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the complex-frequency modes found in §3.4.2 signal an instability of the global AdS4 vacuum inside a finite conformal worldtube presupposes that the conformal boundary conditions define a well-posed Lorentzian initial boundary value problem. The paper explicitly does not prove this: footnote 1 states that 'a complete proof of well-posedness (or lack thereof) ... remains a very interesting open problem,' and notes that the boundary/corner mode must be incorporated at the nonlinear level. Without well-posedness, the modes are formal solutions of the linearized equations: they satisfy the field equations and boundary conditions, but they are not guaranteed to be the unique evolution of any admissible initial data set CΣ ∪ C∂Σ, so they cannot be interpreted as dynamical instabilities of the background. This is not a minor technicality: if the IBVP is ill-posed, the complex-frequency modes may be Hadamard instabilities of the formulation rather than physical perturbations, and the conclusion that the global AdS4 solution is not the ground state would not follow. The paper's own acknowledgment that a nonlinear analysis is needed reinforces that the vacuum-instability interpretation is conditional, but the linear-level well-posedness question is the more immediate gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies four-dimensional Einstein gravity with negative cosmological constant on a manifold with a finite timelike boundary Γ, imposing conformal boundary conditions that fix the conformal class of the induced metric and the trace of the extrinsic curvature K(x^m). It analyzes linearized perturbations about global AdS4 with an S^2×R boundary and about planar AdS4 with an R^{1,2} boundary, using the Kodama-Ishibashi decomposition. For global AdS4 the authors find the usual normal modes together with a novel boundary mode ω(x^m); for sufficiently large K the scalar-sector modes acquire complex frequencies, with a numerically fitted critical curve Kcℓ = 3 + 0.26/l at large l, so that for any Kℓ > 3 there are growing modes with l ≳ 0.26/(Kℓ−3). In the planar case the analogous mode is locally diffeomorphic and all frequencies are real. In Euclidean signature K acts as a source for ω, and the two-point function is that of a massless scalar. The paper speculates that these growing modes indicate that global AdS4 is not the ground state inside a finite conformal worldtube.","tokens_in":42617,"tokens_out":5753,"duration_ms":58680,"significance":"If the conclusions hold, the paper identifies a new boundary degree of freedom in gravitational systems with finite conformal boundaries and provides concrete evidence for linearized instability of global AdS4 in a finite-size setting, with a clean recovery of flat-space results at large K. The manuscript is technically rich: the master equation and boundary conditions are derived explicitly, the analysis includes analytic WKB and large-l limits, and the Euclidean source computation is a useful step toward a finite-boundary holographic dictionary. The main physical interpretation, however, is conditional on the Lorentzian well-posedness of the conformal initial boundary value problem, which the authors themselves state is open, and on numerical root-finding that is not accompanied by error analysis. These issues are load-bearing for the central claim, but they are addressable within the scope of the manuscript.","major_comments":[{"comment":"The central claim that the complex-frequency modes signal an instability — and hence that global AdS4 is not the ground state — presupposes that the conformal boundary conditions define a well-posed Lorentzian initial boundary value problem. The manuscript explicitly states in footnote 1 that a complete proof of well-posedness (or lack thereof) remains an open problem and that the boundary/corner mode must be incorporated at the nonlinear level, and it relies on a conjecture from [15]. Without uniqueness of the evolution for admissible initial data CΣ ∪ C∂Σ, the modes found in Sec. 3.4.2 are only formal solutions of the linearized equations; they could be Hadamard instabilities of the formulation rather than physical perturbations. This is a load-bearing gap. The authors should either prove (or cite a proof of) well-posedness for the linearized conformal IBVP, or explicitly and consistently qualify the instability conclusion as conditional on that conjecture.","section":"Sec. 2.1, footnote 1, and Sec. 3.4.2"},{"comment":"The existence of complex frequencies and the critical scaling Kcℓ = 3 + 0.26/l are established by numerical root-finding of F_l^(S)(Kℓ, ωℓ)=0, but the manuscript reports no precision estimates, convergence checks, or error bars for the fit. The analytic WKB analysis in Sec. 3.4 only shows reality of frequencies in the strict Kℓ → 3 limit; the crucial finite-K complex region is numerical. Since the claim that growing modes exist for any Kℓ > 3 at sufficiently large l rests directly on this fit, the numerical evidence needs to be made quantitative: for example, by reporting the residual of F_l^(S) at the claimed zeros, the dependence on numerical resolution in l and ω, and the uncertainty in the coefficient a ≈ 0.26.","section":"Sec. 3.4.2, Figs. 3–5, Eq. (3.36)"},{"comment":"The manuscript states that the conformal energy of the l ≥ 2 complex modes vanishes to leading order because the integral of a spherical harmonic is zero, and it defers higher-order energy considerations to future work. Nevertheless, the concluding remarks assert that the growing modes indicate that the global AdS4 solution is no longer the vacuum state. A complex-frequency mode in the linearized spectrum is evidence of linearized instability, but the stronger statement about the ground state requires some control of the nonlinear dynamics or of the second-order energy. The paper should either supply such control or rephrase the conclusion as a linearized-instability result, which is what the present analysis actually establishes.","section":"Sec. 3.4.2, Eq. (3.32) and concluding remarks"}],"minor_comments":[{"comment":"There is a typo in the last line of Sec. 4.1: 'boudary' should be 'boundary'.","section":"Sec. 4.1"},{"comment":"In the discussion of Fig. 8, 'atributed' should be 'attributed'.","section":"Appendix E"},{"comment":"The running headers and the table of contents contain the typo 'W eyl' for 'Weyl'.","section":"Table of contents and Sec. 5"},{"comment":"The density plots would benefit from a color scale or contour labels; as printed, the reader cannot quantitatively read the roots of F_l^(S/V) from the figures.","section":"Fig. 1 and Fig. 2"},{"comment":"The abstract says complex frequencies appear 'at sufficiently large angular momentum,' but the precise statement is that they appear only when K exceeds the critical value Kc(l); the text clarifies this, but the abstract could be more explicit.","section":"Abstract and Sec. 3.4.2"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the scope of the journal and represents a serious contribution, but the headline physical claim is more conditional than the abstract suggests. I recommend requesting the numerical data or code used for the root-finding and the fits, since the critical scaling is a central quantitative result. The reliance on the authors' own earlier constructions is appropriate and properly cited, so I see no novelty-disclosure concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is the AdS4 continuation of the gravitational-observatories program, and the genuinely new thing is a set of complex-frequency scalar-sector modes about global AdS4 inside a finite conformal worldtube, with a critical curve Kc*ell = 3 + 0.26/l at large l. If those hold up, they give a concrete gravitational mechanism by which a finite boundary breaks conformal invariance of the dual CFT3. I think the linearized analysis is mostly solid, and the paper is honest about what would make the physical interpretation firm.\n\nWhat is actually new: the spherical-boundary complex modes and the critical curve; the planar case, which has a massless boundary mode but no complex frequencies; and the Euclidean result that K(x) sources the Weyl mode. The derivations are clean — Kodama-Ishibashi reduction, boundary conditions imposed on the master fields, explicit F_l^(S). The evidence is better than average for this kind of paper: the K*ell -> 3 limit analytically reproduces both omega = ±sqrt(l(l+1)-1) and the standard tower |omega*ell| = l+1+2n; the flat-space limit reproduces [20] including the large-l behavior; the large-l real part has an analytic expression (E.2) matching numerics; and the WKB argument is consistent with complex modes turning off near K*ell = 3. The Euclidean two-point function being a massless scalar propagator is a nice cross-check with the planar dispersion. Self-citation is concentrated on [20,21], where the boundary-mode construction actually comes from, so I do not see a citation problem.\n\nThe soft spots, in proportion. First, the central claim rests on numerical root-finding of F_l^(S) = 0, and the critical scaling is a fit — a ≈ 0.26 with no error bars, no analytic derivation, and no code or data shipped. The qualitative phenomenon looks robust given the asymptotic and flat-space limits, but the precise curve is empirical; a referee should push on this. Second, the well-posedness issue is the load-bearing caveat, and the reader and stress-test are right to center it. The modes are formal linearized solutions; whether they are genuine instabilities of the background inside a well-posed nonlinear evolution is open, and the paper says so explicitly in footnote 1 and in the concluding discussion. The paper's own line that global AdS4 is 'no longer the vacuum state' runs ahead of what a linearized analysis can establish — I would phrase that as a strong signal rather than a settled conclusion. Third, minor: the conformal energy of the l ≥ 2 modes vanishes to leading order, so the energetics of the would-be instability are not pinned down at this order.\n\nWho it is for: people working on finite-cutoff holography, TTbar-style deformations, or boundary conditions in classical gravity. It deserves a serious referee; the referee should ask for the critical-curve numerics to be reproducible or derived, and for a sharper statement about how the well-posedness conjecture bears on the instability interpretation.","headline":"Solid linearized analysis of conformal worldtubes in AdS4, with a genuinely new complex-frequency mode; the physical interpretation hinges on the open well-posedness question, and the paper says so itself.","tokens_in":43223,"tokens_out":5064,"would_cite":true,"duration_ms":41636,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A finite AdS4 worldtube grows gravitational boundary modes","keywords":["anti-de Sitter spacetime","conformal boundary conditions","boundary mode","extrinsic curvature","linearized gravity","complex frequencies","AdS4/CFT3 correspondence","initial boundary value problem"],"falsifier":"Solve the linearized evolution numerically for a spherical boundary at, say, $K\\ell=3.5$ with $l=2$ initial data chosen from the boundary mode; the paper predicts exponential growth with a rate set by $\\mathrm{Im}(\\omega\\ell)$ near the critical curve. For example, for $l=4$ the paper fits $\\mathrm{Im}(\\omega\\ell)=0.89\\sqrt{K\\ell-K_c\\ell}$ near threshold; a numerical linearized run with those initial data either reproduces that growth rate or contradicts it. A proof or disproof of well-posedness for the conformal initial boundary value problem would also settle whether the growing modes are genuine dynamical evolutions.","tokens_in":42170,"feed_emoji":"🌌","tokens_out":8323,"duration_ms":73668,"temperature":0.7,"pith_summary":"General relativity with negative cosmological constant, confined inside a finite timelike wall $\\Gamma$ by boundary conditions that fix the conformal class of the induced metric and the trace $K$ of the extrinsic curvature, carries an extra gravitational degree of freedom, a boundary Weyl mode $\\omega(x^m)$, on top of the usual bulk gravitons. Linearizing about empty global AdS$_4$, the paper finds that for angular momentum $l$ above a critical value this mode develops complex frequencies whose imaginary part is positive, so the perturbation grows exponentially in time. The threshold obeys $K_c\\ell = 3 + 0.26/l + O(l^{-2})$, so any wall with $K\\ell$ slightly above 3 is unstable to modes with $l \\gtrsim 0.26/(K\\ell-3)$. The authors conclude that inside a finite conformal worldtube the global AdS$_4$ vacuum is not the ground state, and that a sharp boundary mode must be added to the gravitational phase space; this changes what a finite-size holographic dictionary should look like.","feed_headline":"Finite AdS4 worldtubes grow gravitational boundary modes","feed_subtitle":"A new Weyl mode goes unstable above angular momentum l ≈ 0.26/(Kℓ−3), so empty AdS4 inside a conformal wall is not the vacuum.","key_machinery":"The central object is the boundary mode $\\omega(x^m)$, the dynamical Weyl factor of the induced metric on the finite timelike boundary; it is a corner degree of freedom that cannot be removed by diffeomorphisms respecting the boundary conditions. The analysis carries it through the Kodama-Ishibashi decomposition of metric perturbations into scalar and vector master fields satisfying a wave equation on AdS$_2$, with the conformal boundary conditions imposed as a functional equation $F_l^{(S)}(K\\ell,\\omega\\ell)=0$ that fixes the trace of the extrinsic curvature at $\\Gamma$. Solving that equation produces the real normal modes and the new complex-frequency pairs; a WKB estimate together with a numerical scan over $l$ up to 130 yields the critical-curvature law $K_c\\ell = 3 + 0.26/l + O(l^{-2})$.","core_discovery":"Starting from the Fefferman-Graham expansion, the paper treats the finite boundary as a gravitational observatory: instead of fixing the full induced metric at $\\Gamma$, it fixes only its conformal class and the trace $K(x^m)$ of the extrinsic curvature, the data that asymptotically are fixed to $K\\ell=3$. At linearized order about global AdS$_4$, the bulk perturbations are decomposed with the Kodama-Ishibashi method into scalar and vector master fields. In the scalar sector with $l \\ge 2$, imposing the conformal boundary conditions yields the usual real normal-mode spectrum along with a boundary mode $\\omega(x^m)$; for sufficiently large $l$, two pairs of frequencies become complex, one with positive imaginary part. Numerically the onset is $K_c\\ell=3+0.26/l+O(l^{-2})$, and near threshold $\\mathrm{Im}(\\omega\\ell)\\sim \\alpha(l)\\sqrt{K\\ell-K_c\\ell}$. As $\\Gamma$ is moved toward the asymptotic boundary ($K\\ell\\to3$), the growing modes move to $l\\to\\infty$ and disappear; in planar AdS$_4$ the analogous mode has real frequencies only, while on the AdS$_4$ black brane it dresses the horizon and carries conformal energy. In Euclidean signature, $K(x^m)$ sources $\\omega(x^m)$, giving a two-point function of a massless scalar on the boundary.","pith_inferences":["Editorial inference: if the growing linearized modes persist nonlinearly, the natural end state is a different bulk configuration, possibly a black hole or a time-dependent boundary; this could be tested by numerical relativity with conformal boundary conditions.","Editorial inference: the paper's speculation that $K(x^m)$ acts as a coordinate-dependent ultraviolet cutoff suggests a concrete finite-size dictionary in which the effective action is a Legendre transform with respect to $K$; verifying the massless two-point structure for non-constant $K$ on $S^3$ would support or refute that picture.","Editorial inference: the wrong-sign kinetic structure seen in the $l=0$ sector hints that stabilizing the finite conformal worldtube may require extra boundary counterterms, such as the boundary cosmological constant the paper mentions; adding such a term is a direct, testable modification of the action."],"forward_implications":["Inside any finite conformal worldtube around global AdS$_4$, empty AdS$_4$ is linearly unstable: modes with $l \\gtrsim 0.26/(K\\ell-3)$ grow exponentially, so the vacuum must be sought elsewhere.","Pushing the wall toward the asymptotic AdS$_4$ boundary suppresses the instability: the growing modes appear at larger and larger $l$ and vanish in the strict $K\\ell\\to3$ limit, recovering the standard AdS$_4$/CFT$_3$ spectrum.","The phase space of gravity with a finite conformal boundary is larger than the bulk Cauchy data alone: initial data for $\\{\\omega,\\partial_t\\omega\\}$ at the corner $\\partial\\Sigma$ must be supplied along with the standard Cauchy data on the spatial slice.","In planar AdS$_4$ the boundary mode is massless, locally diffeomorphic, and has no complex frequencies; on the AdS$_4$ black brane it can dress the geometry, carries physical conformal energy, and its linearized equation has real exponential solutions controlled by the brane mass.","The Euclidean on-shell action under conformal boundary data produces a two-point function for $\\omega$ that is that of a massless scalar sourced by $K$, and $K$ acts as the parameter that regulates the divergences of the usual asymptotic boundary stress tensor."],"supporting_citations":[{"why":"Supplies the conformal boundary conditions and the conjecture that the Lorentzian initial boundary value problem is well-posed; the present mode analysis assumes this.","marker":"[15]"},{"why":"Establishes well-posedness of the Euclidean elliptic problem with these boundary conditions, used to argue Euclidean uniqueness and to contrast with the Lorentzian setting.","marker":"[17]"},{"why":"The flat-space gravitational observatories analysis whose boundary-corner mode and complex frequencies this paper generalizes to AdS4; provides the method and the Minkowski limit.","marker":"[20]"},{"why":"The de Sitter analogue used for comparison and for the Rindler and near-horizon boundary mode discussion, including the flat-space large-l frequency behavior.","marker":"[21]"},{"why":"Provide the Kodama-Ishibashi master-function formalism used to reduce linearized Einstein equations to scalar and vector master fields.","marker":"[43,44]"},{"why":"Derives the conformal Brown-York stress tensor and phase-space structure for mixed or conformal boundary conditions, used for conserved charges and energy.","marker":"[28]"},{"why":"Provides the Fefferman-Graham expansion that organizes asymptotically AdS4 configurations and fixes the asymptotic value Kℓ=3, the backdrop for moving the boundary inward.","marker":"[1]"}],"fun_headline_variants":["Conformal walls in AdS4 breed unstable boundary modes","AdS4 conformal walls trigger unstable gravitational modes","Gravitational observatories spot AdS4 conformal-wall instability","Empty AdS4 inside a conformal wall is unstable: new modes","New AdS4 boundary mode goes unstable at high l"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the Lorentzian initial boundary value problem with conformal boundary conditions is well-posed, a conjecture the paper cites but does not prove; if that fails, the complex-frequency modes are formal solutions of the linearized equations but may not correspond to any actual spacetime evolution.","fun_headline_variants_meta":{"raw":{"variants":["Conformal walls in AdS4 breed unstable boundary modes","AdS4 conformal walls trigger unstable gravitational modes","Gravitational observatories spot AdS4 conformal-wall instability","Empty AdS4 inside a conformal wall is unstable: new modes","New AdS4 boundary mode goes unstable at high l"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002135,"raw_usage":{"total_tokens":8396,"prompt_tokens":1164,"completion_tokens":7232,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":780,"completion_tokens_details":{"reasoning_tokens":7157}},"tokens_in":780,"tokens_out":7232,"duration_ms":45006,"temperature":1.0,"reasoning_tokens":7157,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:42:53.113237+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the linearized evolution numerically for a spherical boundary at, say, $K\\ell=3.5$ with $l=2$ initial data chosen from the boundary mode; the paper predicts exponential growth with a rate set by $\\mathrm{Im}(\\omega\\ell)$ near the critical curve. For example, for $l=4$ the paper fits $\\mathrm{Im}(\\omega\\ell)=0.89\\sqrt{K\\ell-K_c\\ell}$ near threshold; a numerical linearized run with those initial data either reproduces that growth rate or contradicts it. A proof or disproof of well-posedness for the conformal initial boundary value problem would also settle whether the growing modes are genuine dynamical evolutions.","supporting_citations":[{"cited_title":"An and M","cited_arxiv_id":null,"evidence_quote":"Supplies the conformal boundary conditions and the conjecture that the Lorentzian initial boundary value problem is well-posed; the present mode analysis assumes this."},{"cited_title":"Fefferman and C","cited_arxiv_id":null,"evidence_quote":"Provides the Fefferman-Graham expansion that organizes asymptotically AdS4 configurations and fixes the asymptotic value Kℓ=3, the backdrop for moving the boundary inward."}],"review_version":1}