{"id":"317fe8f8-d0df-4ae5-ac85-77f5c9834774","arxiv_id":"2512.23629","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Explicit JT-gravity solutions give closed-form descriptions of the late-time approach to dynamical extreme Reissner-Nordström black holes with persistent Aretakis instability.","lead":"The authors construct explicit solutions in Jackiw-Teitelboim gravity that describe a black hole approaching an extreme (maximally charged) state, with a scalar field instability that never decays. The work gives a rare analytic handle on the non-linear fate of the Aretakis instability and on the threshold of black hole formation.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central claim overreaches: conditions (40) on δT are insufficient; full scalar boundary conditions (26)/(27) and the sign of g' are needed, otherwise the same Φ can pair with a non-DERN scalar.","rationale":"The reader's verdict identified the unproven JT reduction and gluing to a 4D DERN as the weakest assumption. That is a real gap, but it is a standard approximation and could plausibly be addressed with additional work. A more decisive and internal problem is that the central claim, as stated, is already false within the JT model itself. The construction via Eq. (38) takes f and δT as independent inputs, but the physical scalar σ=f+g has an extra sign ambiguity for g' that Eq. (38) does not fix. The DERN boundary conditions (26)/(27) require f+g=0, f'+g'=0, f''+g''=0 at U=π/2. Conditions (40) on δT alone do not enforce these; they are only necessary. The counterexample uses the same f and δT as the paper's H=1 example, so the resulting dilaton is literally Eq. (42), which the paper presents as a DERN. But by choosing the opposite sign for g', the same dilaton is paired with a scalar that has f'+g'≠0 and thus lacks the required Aretakis decay in the exterior. Hence the claim 'any smooth f... and sufficiently strong δT satisfying (40)... give rise to a dilaton describing a DERN' is false unless one also imposes (26)/(27) and fixes the sign of g'. The paper's two examples likely satisfy the full conditions, so the explicit solutions may survive, but the general statement must be revised. A simple check—constructing the counterexample and computing σ at r0>0—settles the issue. Therefore the reader's conditional verdict remains appropriate, but for a different, more immediate reason than the one they emphasized.","tokens_in":13271,"tokens_out":21351,"duration_ms":186792,"concrete_test":"Take f(U)=-2U, δT(U)=-A(π/2-U)^2 with A>Amin (e.g., A=3), and a=2,b=c=0. Solve for g' from g'^2 = f'^2 + δT, choosing the negative branch g'(V) = -√(4 - A(π/2-V)^2), and fix g(π/2)=π. This satisfies (40) and leakiness. Compute Φ via (38) (it will equal Eq. (42)); then evaluate σ|B = f(U)+g(U) and its derivatives at U=π/2. Show f'(π/2)+g'(π/2) = -4 ≠ 0, so σ does not obey (27). Then compute σ at r0>0 from Eq. (24) and verify the leading 1/v term is nonzero, contradicting the DERN asymptotics (2). This settles that the stated hypotheses are insufficient.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Section IV, final paragraph) states that any smooth f(U), constants (a,b,c) satisfying (41), and sufficiently strong δT(U) satisfying (40) yield a dilaton Φ in (38) describing a DERN. This is false as stated. The construction determines only f and δT, but the full scalar is σ=f(U)+g(V) with g'^2 = f'^2 + δT on the boundary; the sign of g' is not fixed by (38), nor is the constant part of g. The DERN boundary conditions are the full set (26)/(27): f+g, f'+g', f''+g'' → 0 at U=π/2. Conditions (40) are necessary but not sufficient. Concretely, take f(U)=-2U and δT(U)=-A(π/2-U)^2 with A>Amin≈2.76, as in the H=1 example, but choose the opposite sign of g' relative to the example: g'(π/2)=-2 instead of +2, and set g(π/2)=π so f(π/2)+g(π/2)=0. Then (40) holds and the dilaton (38) is identical to Eq. (42), but f'(π/2)+g'(π/2)=-4≠0. The exterior scalar at fixed r0>0 then decays as 1/v rather than 1/v^2 (see Eq. (24)), so the solution does not match the linear Aretakis behavior (2) and is not a DERN. Thus the claim that any f,δT satisfying the stated conditions gives a DERN is internally inconsistent.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an analytic, closed-form description of the late-time near-horizon approach to dynamical extreme Reissner–Nordström (DERN) black holes, using two-dimensional Jackiw-Teitelboim (JT) gravity with a free massless scalar. It reviews the linear Aretakis instability on ERN and the emergence of AdS2×S2 from ERN, sub-ERN, and super-ERN limits. In Section IV it solves the JT equations for the dilaton sourced by the scalar stress tensor, imposes boundary conditions on the dilaton (the ERN threshold b^2-4ac=0) and on the scalar (Aretakis-type conditions), and presents two explicit dilaton profiles (42) and (43) for nonvanishing and vanishing Aretakis constant H. The central claim is that any smooth f(U), constants (a,b,c) satisfying (41), and a sufficiently leaky δT(U) satisfying (40) yield a DERN.","tokens_in":13841,"tokens_out":21094,"duration_ms":176886,"significance":"If correct, the construction would provide explicit, closed-form models of the late-time approach to DERN, complementing numerical [19] and rigorous [21] results and illustrating how JT captures non-linear s-wave dynamics near extremality. The paper is transparent about several assumptions, most notably the validity of the JT reduction and the gluing to an ERN exterior, and it gives concrete examples that are easy to inspect. However, the central sufficiency claim and the explicit examples contain technical gaps that need to be addressed before the main result can be accepted as stated.","major_comments":[{"comment":"The claim that any f(U) and δT(U) satisfying (40) produce a DERN is false as stated. δT = g'^2 - f'^2 constrains only the combination of derivatives; the DERN boundary conditions are the full set (26): f+g, f'+g', f''+g'' → 0 at U=π/2. Conditions (40) are necessary but not sufficient. Concretely, take f(U)=-2U and δT(U)=-A(π/2-U)^2 with A>Amin≈2.76, but choose the opposite sign for g, i.e. g'(π/2)=-2 and g(π/2)=π. Then (40) holds and the dilaton (38) is identical to the H=1 example (42), yet f'(π/2)+g'(π/2)=-4≠0. Equation (24) then gives exterior scalar decay ~1/v instead of the required 1/v^2 of (2), so the solution is not a DERN. The construction must either impose (26) directly or specify the sign of g' and the constant part of g.","section":"Section IV, final paragraph (Eqs. 37-40)"},{"comment":"The explicit examples appear inconsistent with the stated vacuum constants a=2, b=c=0. Setting A=0 in (42) gives Φ=2(U-V)cot(U-V)-2, but the vacuum solution (35) for a=2,b=c=0 is Φvac=4cosUcosV/sin(U-V). These differ by an O(1) term; for instance at U=1, V=0.5 the former is ~ -0.17 while the latter is ~ 3.79. Thus (42) does not reduce to Φvac at A=0, nor does it reproduce the boundary behavior Φ≈Φvac on B required for the gluing. The stated condition (41) is therefore not implemented in the written examples. Either the vacuum term is missing from (42)-(43) or the quoted values of (a,b,c) are incorrect; the paper should be corrected and re-checked.","section":"Section IV, Eqs. (42)-(43)"},{"comment":"The physical interpretation of the solutions as describing 4D DERN relies on two assumptions that are acknowledged but not derived: (i) that the JT action (28) with a free scalar accurately captures the non-linear s-wave dynamics of the 4D Einstein-Maxwell-scalar theory, including backreaction; and (ii) that the AdS2 solution can be glued to a static ERN exterior at the boundary B for as long as Φ≪1. The paper does not construct a global 4D metric or provide a quantitative matching. As a result the central claim is conditional on these assumptions. A concrete test would be to compare the late-time behavior of the 4D metric and scalar obtained from (42)-(43) with the numerical DERN solutions of [19] or the rigorous stability results of [21]. I encourage the authors to state this more cautiously, e.g. 'candidate JT descriptions' rather than 'description of DERN' in the abstract.","section":"Section IV and Fig. 4 (JT reduction and gluing)"}],"minor_comments":[{"comment":"The footnote that the first condition in (27) does not constrain δT because of shift symmetry is correct for the constant part, but the second condition does constrain δT only after choosing a sign of g'. This should be clarified in the text.","section":"Section III B, around Eq. (27)"},{"comment":"The rewriting of the general solution in terms of δT with upper limit π/2 is a key step; its derivation from (34) involves a choice of lower integration limits and a sign convention. A short derivation or reference to the intermediate steps would help the reader verify the formula.","section":"Section IV, Eq. (38)"},{"comment":"The values Amin≈2.76 and ≈1.73 are determined 'by the requirement that the singularity barely grazes the future horizon', but the numerical procedure is not described. Please specify how these values are computed (e.g. root-finding on the singularity locus).","section":"Fig. 5 and text below (42)"},{"comment":"The paper would benefit from an explicit statement of the regime of validity of the JT approximation, including the hierarchy of scales (e.g. λ, M, and the size of Φ) and how the inequality Φ≪1 is checked for the given examples.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a promising idea and transparent discussion, but the central sufficiency claim is demonstrably incomplete, and the explicit examples appear to have a technical inconsistency with the stated vacuum constants. These are fixable in revision: the boundary conditions on the scalar must be imposed in full, and the example formulas must be verified against (35) and (38). I am not recommending rejection because the core JT approach is sound and the authors can likely correct these issues. However, they should also revisit the strength of the abstract's claim about 'describing' 4D DERN, given that the reduction and gluing are assumed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper's main contribution is explicit closed-form JT dilaton profiles (42) and (43) that are designed to describe the late-time near-horizon approach to a dynamical extreme Reissner–Nordström (DERN) black hole. That's a real and useful piece of work: the formulas are concrete, the boundary-condition logic is clear, and they check the singularity-free condition with plots.\n\nThe soft spot is in the central claim at the end of Section IV. It says any smooth f, any δT satisfying (40), and any (a,b,c) satisfying (41) give a DERN. That's too strong. The dilaton Φ in (38) depends only on f and δT, but the full scalar σ=f(U)+g(V) also needs a choice of sign of g' and an integration constant. The DERN boundary conditions are (26)/(27), not just (40). The paper only imposes two conditions on δT; the sign information is lost. Concretely, the H=1 example uses f=-2U and δT=-A(π/2-U)^2; if you choose g'=+2 at the horizon (the opposite sign from what the boundary condition requires) and set g(π/2) so f+g=0, you get the same dilaton (42) but f'+g' = -4. Then Eq. (24) shows the exterior scalar decays as 1/v, not 1/v^2, so it's not a DERN. So the 'any' statement is false; the condition needs to be that there exists a real g with g'^2 = f'^2 + δT and with (26) satisfied. That's a real constraint, not automatic from (40). The explicit examples probably work with the right choice of g, so the paper is fixable, but the claim as written is overbroad.\n\nThe other caveats are ones the authors acknowledge: the reduction from 4D Einstein–Maxwell–scalar to JT is assumed (footnote 1), the gluing to a static ERN exterior is qualitative (Φ≪1), and the boundary conditions are reverse-engineered from the target DERN behavior. Those are honest limitations, not fatal flaws.\n\nI'd send this to peer review. The explicit solutions are worth having, and the sufficiency issue is a concrete technical point the authors can address. It's for the near-extremal/Aretakis crowd, and it deserves referee time.","headline":"Explicit JT dilaton profiles for approaching DERN are new and useful, but the central claim overreaches: conditions (40) don't fix the scalar boundary data, and the same dilaton can pair with a non-DERN scalar.","tokens_in":14195,"tokens_out":7206,"would_cite":false,"duration_ms":63183,"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":"This paper derives explicit closed-form JT-gravity solutions for the late-time near-horizon approach to a dynamical extreme Reissner–Nordström black hole, with a singularity-free horizon and a scalar Aretakis instability that persists indef","keywords":["dynamical extreme Reissner–Nordström","Jackiw–Teitelboim gravity","Aretakis instability","AdS2 × S2 throat","near-extremal black holes","black hole formation threshold","massless scalar matter","exact solutions"],"falsifier":"A four-dimensional numerical simulation of fine-tuned scalar collapse approaching DERN could check whether the near-horizon metric and scalar match the closed-form profiles (42) or (43), and whether the singularity locus stays away from the horizon precisely for A larger than the quoted Amin; finding a global 4D metric built from the JT data that develops a curvature singularity on the horizon would falsify the construction.","tokens_in":13223,"feed_emoji":"🕳️","tokens_out":8457,"duration_ms":76201,"temperature":0.7,"pith_summary":"The paper tries to establish that the late-time near-horizon approach to a dynamical extreme Reissner–Nordström (DERN) black hole can be solved exactly in a two-dimensional Jackiw–Teitelboim (JT) gravity description. Its main claim is that any smooth scalar profile f(U), three constants (a,b,c) obeying b²−4ac=0, and a sufficiently leaky net flux δT(U) satisfying δT(π/2)=δT′(π/2)=0 produce a dilaton field that describes the DERN throat with a singularity-free horizon and scalar Aretakis behavior continuing forever. The result matters because DERN has been proposed as the threshold of black hole formation in Einstein–Maxwell-scalar theory, and until now evidence was numerical or perturbative. If the claim holds, it provides concrete closed-form nonlinear solutions — explicitly worked out in two examples — that encode the whole approach to extremality and make the criticality of DERN a built-in feature of the boundary conditions.","feed_headline":"Explicit formulas capture an extreme black hole's final approach","feed_subtitle":"A two-dimensional gravity model yields exact near-horizon solutions where the Aretakis instability persists indefinitely.","key_machinery":"The central object is the JT dilaton Φ(U,V), which encodes the variation of the transverse S² area, evolved against a free massless scalar σ=f(U)+g(V) on a fixed AdS₂ background. The general solution separates into a vacuum part Φvac (the SL(2)-orbit hθθ=ar+b r t+c r(t²−1/r²)), a 'balanced' term, and an integral over the net boundary flux δT(U)=g′²−f′². The mechanism that carries the argument: the boundary conditions δT(π/2)=δT′(π/2)=0 convert the Aretakis instability into simple conditions on the flux, the relation b²−4ac=0 pins the vacuum solution to the critical threshold between sub-extreme and super-extreme RN, and a sufficiently negative δT at early times keeps the singularity locus 1+","core_discovery":"The central discovery is that the nonlinear late-time near-horizon dynamics of a DERN black hole are exactly solvable in JT gravity. Imposing linear-Aretakis boundary conditions on the scalar — σ|B, σ′|B, σ″|B → 0 as U→π/2, equivalently δT(π/2)=δT′(π/2)=0 — together with the critical dilaton condition b²−4ac=0, the authors obtain explicit dilaton profiles Φ(U,V) whose late-time boundary value reduces to the static extreme RN vacuum. Two concrete profiles are given: one with nonvanishing Aretakis constant H=1 (f(U)=−2U, δT(U)=−A(π/2−U)², A>2.76) and one with H=0 (f(U)=(π/2−U)², δT(U)=−A(π/2−U)⁴, A>1.73). In both cases the Poincaré horizon U=π/2 is identified with the DERN event horizon and is","pith_inferences":["Editorial inference: If the gluing to a static ERN exterior can be upgraded to a global four-dimensional metric, the same machinery would produce explicit four-dimensional DERN spacetimes, making the threshold condition an exact statement rather than a near-horizon one.","Editorial inference: A natural extension, not pursued in the paper, is to classify the full space of admissible (f,δT) choices; the construction suggests DERN may form a large functional family, whose physical reachability from regular Cauchy data remains to be checked.","Editorial inference: The same translation of Aretakis conditions into flux conditions might apply to other near-extreme settings, such as charged scalars, higher multipoles, or near-extreme Kerr, where an analogous JT-type boundary-value problem could yield explicit late-time throats.","Editorial inference: The predicted minimum leakage amplitudes Amin are concrete, testable numbers; a four-dimensional numerical evolution tuned to the critical family should either reproduce these thresholds or show that the JT reduction misses part of the backreaction."],"forward_implications":["The late-time approach to DERN admits explicit closed-form dilaton profiles, giving exact nonlinear templates (Eqs. 42 and 43) that numerical relativity can target.","The threshold of black-hole formation, with sub-extreme and super-extreme RN on either side, is enforced by the single condition b²−4ac=0 on the vacuum dilaton.","A sufficiently leaky scalar flux δT<0 at early times is necessary for a singularity-free horizon; the minimal amplitudes are Amin≈2.76 for H=1 and Amin≈1.73 for H=0.","The Aretakis instability persists indefinitely in the nonlinear description, not as a transient, because the boundary conditions enforce the linear Aretakis behavior at all late times.","The approach to DERN is accompanied by a final burst of outgoing scalar flux leaking out of the AdS₂ throat."],"fun_headline_variants":["JT gravity exact solution for extreme black hole's end","Aretakis instability persists in exact extreme black hole","Late-time extreme black hole dynamics solved in 2D gravity","Exact approach to dynamical extreme Reissner-Nordstrom horizon","Final burst of scalar flux marks extreme black hole's approach"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing assumption is that the two-dimensional JT theory, with the scalar's stress tensor as the only source for the dilaton, captures the full nonlinear s-wave dynamics of the four-dimensional Einstein-Maxwell-scalar theory in the AdS₂×S₂ throat, and that the near-horizon solution can be glued to a static extreme RN exterior; the paper does not construct a global four-dimensional metric.","fun_headline_variants_meta":{"raw":{"variants":["JT gravity exact solution for extreme black hole's end","Aretakis instability persists in exact extreme black hole","Late-time extreme black hole dynamics solved in 2D gravity","Exact approach to dynamical extreme Reissner-Nordstrom horizon","Final burst of scalar flux marks extreme black hole's approach"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000605,"raw_usage":{"total_tokens":2742,"prompt_tokens":909,"completion_tokens":1833,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":653,"completion_tokens_details":{"reasoning_tokens":1751}},"tokens_in":653,"tokens_out":1833,"duration_ms":13175,"temperature":1.0,"reasoning_tokens":1751,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T13:34:27.746975+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A four-dimensional numerical simulation of fine-tuned scalar collapse approaching DERN could check whether the near-horizon metric and scalar match the closed-form profiles (42) or (43), and whether the singularity locus stays away from the horizon precisely for A larger than the quoted Amin; finding a global 4D metric built from the JT data that develops a curvature singularity on the horizon would falsify the construction.","supporting_citations":[],"review_version":1}