{"id":"f9683fd5-4d8a-4e7d-8eba-9bc6b35ad04a","arxiv_id":"2506.04812","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A canonical energy conservation law in double null gauge yields uniform boundedness of energy fluxes for the gauge-invariant Teukolsky variables of linearised Einstein-Maxwell perturbations of Reissner-Nordström for |Q|/M < sqrt(15)/4.","lead":"This paper derives a canonical energy conservation law for linearised Einstein-Maxwell perturbations of a charged black hole, then uses it to prove uniform boundedness of energy fluxes for the gauge-invariant Teukolsky variables, for charge-to-mass ratio below sqrt(15)/4. The method avoids the traditional Teukolsky wave-equation machinery, offering a potentially simpler route to black hole stability proofs.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 as stated omits the decay assumptions (61)–(62) that the proof of Theorem 3.1 actually requires; without them the boundary terms at null infinity need not vanish, so the boundedness claim is only established for a restricted solution class.","rationale":"The paper's central mechanism—the canonical conservation law plus coercivity via Lemma 2.3.1 and the charge restriction—appears internally coherent, and the optimality argument in Appendix A is a genuine independent check of the charge threshold |Q|/M < sqrt(15)/4. The explicit conservation law and the transparent derivation of the charge restriction are real strengths. However, the gap between the stated Theorem 1.1 and the hypotheses actually used in the proof is not cosmetic. Section 2.7 introduces (61)–(62) as 'mild decay assumptions', but they are pointwise asymptotic conditions with two derivatives, uniform in u, and the paper does not prove they hold for all smooth solutions arising from characteristic initial data with finite energy. In Theorem 3.1 they are essential: without them, the boundary terms on the final sphere at infinity do not vanish and the outgoing flux cannot be identified with the coercive limit. Thus the boundedness theorem is only established for the restricted class of solutions satisfying (61)–(62), not for the class named in Theorem 1.1. This is exactly the concern raised by the reader, and I agree it is the weakest assumption. A secondary, more minor gap: Section 4.2 controls E_u[(1)α] by dividing by Q in the Bianchi identity, so the proof as written does not cover Q=0; this is a special-case omission that can likely be patched by invoking [1] for Schwarzschild, but as stated the theorem includes Q=0. The verdict remains conditional: the core ideas are plausible, but the hypotheses must be stated correctly and verified for the intended data class.","tokens_in":33117,"tokens_out":15273,"duration_ms":186900,"concrete_test":"Isolate the v1→∞ step in the proof of Theorem 3.1: the vanishing of the boundary terms on S^2_{u1,v1} in (67)–(68) is asserted from the pointwise limits in (61). Check whether this vanishing can be derived using only the finite data energy E_data and the transport equations (50)–(51), without the pointwise limits (61)–(62). Concretely, construct or identify a smooth characteristic data set with finite E_data but with r^{3+s}(1)α oscillatory in log r (so that (61) fails) and evaluate whether the boundary term −(1/2)Xλ still vanishes as v1→∞. If it does not vanish, Theorem 1.1 is overclaimed without (61)–(62); if it always vanishes, the assumptions can be relaxed and the theorem strengthened.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of the main theorem is conditional on the decay assumptions (61)–(62) in Section 2.7, but Theorem 1.1 is stated for 'any smooth solution arising from characteristic initial data' without these hypotheses. These are pointwise asymptotic conditions: weighted components such as r^{3+s}(1)α, r^{2+s}(F)(1)β, and up to two derivatives must admit finite limits at null infinity, uniformly on [u0,u1]. They do not follow from the L^2-based data energy used elsewhere, and no argument is given that generic finite-energy characteristic data satisfy them. The assumptions are load-bearing in the proof of Theorem 3.1: they are used to show that the boundary term in the v1→∞ limit of the incoming flux E_{v1} vanishes and to identify the data boundary terms. For a solution violating (61)–(62), the conservation law (65) does not yield the coercive estimate, so the boundedness conclusion of Theorem 1.1 is not established. The theorem statement must either include (61)–(62) (together with the partial normalisation and ℓ≥1 conditions) explicitly, or the authors must prove that all smooth solutions from characteristic initial data with finite energy satisfy them.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the linearised Einstein–Maxwell system on a fixed subextremal Reissner–Nordström exterior. Working in double null gauge, the authors define flux integrals on characteristic cones, prove a conservation law by direct computation (Proposition 3.1), and rewrite the fluxes in a manifestly coercive form up to boundary terms. Under pointwise decay assumptions (61)–(62) at null infinity and for partially initial data normalised solutions supported on angular modes ℓ≥1, Theorem 3.1 establishes a coercive energy estimate whenever |Q|/M < √15/4. A hierarchy of transport estimates in Sections 4.1–4.2 then controls the energy fluxes of the gauge-invariant Teukolsky variables (1)b, (1)f, (1)α and their negative-spin counterparts along outgoing null cones, yielding the uniform boundedness statement of Theorem 1.1. Appendix A argues, via Sylvester's criterion, that the charge threshold is optimal for the method used here.","tokens_in":33344,"tokens_out":14423,"duration_ms":189747,"significance":"If correct, the paper provides a genuinely different route to boundedness estimates for linearised Einstein–Maxwell perturbations, avoiding the Teukolsky and Regge–Wheeler machinery and relying instead on a canonical-energy conservation law. This is a meaningful extension of the Holzegel–Collingbourne approach from Schwarzschild to a charged background. The proof is detailed: the conservation law is derived explicitly, the charge restriction appears as the transparent condition r_+ ≥ 4Q²/(3M), and the hierarchy estimates are written out. The authors are also explicit that the range |Q| < √15/4 M is suboptimal compared with known results in the full subextremal range, and Appendix A limits the optimality claim to the method. The main caveats are that Theorem 1.1 is stated more broadly than the hypotheses actually used in the proof, and that one step in the negative-spin hierarchy breaks down at Q=0 even though the theorem includes Q=0.","major_comments":[{"comment":"Theorem 1.1 is stated for “any smooth solution of the system of linearised perturbations arising from characteristic initial data,” but the proof of Theorem 3.1 requires the additional hypotheses explicitly listed in §2.7: partial initial data normalisation, support on ℓ≥1, and the pointwise decay assumptions (61)–(62). These are not cosmetic: (61)–(62) are used in the proof of Theorem 3.1 to show that the boundary term in (67)–(68) vanishes as v1→∞ and to identify the data boundary terms; without them the conservation law (65) does not lead to the coercive bound. The statement in §2.7 that these assumptions are “compatible” with the well-posedness theory of [4] does not imply that every smooth finite-energy characteristic data solution satisfies them, and no proof of such an implication is given. The theorem statement must either include (61)–(62), the partial normalisation and ℓ≥1 support as explicit hypotheses, or the authors must prove that all solutions covered by the current statement satisfy them.","section":"§1.2 (Theorem 1.1), §2.7 ((61)–(62)), §3.2 (Theorem 3.1)"},{"comment":"The bound for the negative-spin variable (1)α is obtained by rewriting the Bianchi identity (56) as “Q r Ω ∇4(rΩ² (1)α) = …” and then applying Lemma 2.3.1. This identity divides by Q. For Q=0 the displayed equation degenerates and the argument does not apply, yet the stated range |Q|/M < √15/4 includes Q=0. No separate Schwarzschild treatment is supplied. Either add an argument covering Q=0 (for example by appealing to known vacuum results, if that is intended) or state the theorem for 0<|Q|<√15/4 M.","section":"§4.2, “Control of E_u[(1)α]”"}],"minor_comments":[{"comment":"In the definition of E^{i,j}_{v0}[S](u0,u1), the displayed integral appears to be ∫_{v1}^{v0} … dv; since this is a flux on the initial outgoing cone C_{v0}, it should presumably be ∫_{u0}^{u1} … du.","section":"§3.2, Corollary 3.1"},{"comment":"The notation “r{∇s” is used extensively in the master energy (66) and in the hierarchy estimates, but it is not formally introduced; the authors should define it explicitly alongside the other projected operators.","section":"§2.2 and §3.2"},{"comment":"The list in (61) includes both r^{2+s}(F)(1)β and r(F)(1)β as quantities with finite limits; for s>0 the second is redundant. This is harmless but could be streamlined.","section":"§2.7"}],"recommendation":"major_revision","confidential_remarks":"The two gaps identified in the major comments are local and fixable: the theorem statement should be aligned with the hypotheses used in the proof, and the Q=0 endpoint needs an explicit treatment or an exclusion from the range. With those changes the paper would be suitable for publication; the conservation-law approach and the detailed hierarchy estimates are solid contributions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Proposition 3.1 is the real new result: a canonical-energy conservation law for the linearised Einstein–Maxwell system in double null gauge, extending Collingbourne–Holzegel's vacuum construction to the charged case. The coercivity step is also genuinely new. Instead of adjusting gauge on the final cone, the authors rewrite the outgoing flux as manifestly positive terms plus boundary terms, then absorb the bad boundary term with a transport estimate. That is where the charge restriction |Q| < sqrt(15)/4 M comes from, and the derivation is transparent: 1 − 32Q^2/(24 M r+) ≥ 0 is exactly r+ ≥ 4Q^2/(3M), i.e. |Q| ≤ sqrt(15)/4 M. Appendix A's Sylvester-criterion argument for optimality is a nice check. Section 4 then ascends a transport hierarchy to bound the Teukolsky fluxes from the coercive master energy, without ever using the Teukolsky equations as hyperbolic. This is a method paper, and the method is worth having even though the boundedness statement itself is weaker than the full-subextremal result already in [22]. The authors are honest about that trade-off.\n\nThe soft spot is real and matches the stress test. Theorem 1.1 is stated for 'any smooth solution arising from characteristic initial data', but the proof of Theorem 3.1 assumes the partial initial-data normalisation, support on ℓ ≥ 1, and the pointwise decay conditions (61)–(62). Those decay conditions are what make the boundary term at null infinity vanish in the v1 → ∞ limit; without them the conservation law does not yield the coercive estimate. The assumptions are not derived from finite-energy data, and they involve up to two derivatives. This is load-bearing, and the theorem statement should carry these hypotheses explicitly or the authors should prove they follow from the data class. As written, the abstract and theorem read as unconditional, which will mislead a reader who only checks those statements.\n\nI have not checked every line of the Section 4 estimates, but the structure is standard transport-plus-elliptic control and nothing jumps out as circular. The citation pattern is appropriate; the comparison with [22] is clearly stated.\n\nBottom line: this deserves a serious referee. The right verdict is roughly 'revise and resubmit', with the main request being to fix the gap between Theorem 1.1 and the actual hypotheses, and to say clearly what remains open about removing (61)–(62).","headline":"A genuinely new conservation-law proof of boundedness for linearised Einstein–Maxwell on Reissner–Nordström, with a real charge restriction and a theorem statement that omits load-bearing decay hypotheses.","tokens_in":691,"tokens_out":1957,"would_cite":true,"duration_ms":38299,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C22","83C57","83C05","35Q75"],"pacs":[],"model":"deepseek-v4-flash","headline":"On charged Reissner–Nordström black holes with $|Q|/M < \\sqrt{15}/4$, the gauge-invariant Teukolsky-variable energy fluxes are uniformly bounded, and a conservation law alone supplies the control.","keywords":["linearised Einstein–Maxwell equations","Reissner–Nordström","canonical energy","conservation law","Teukolsky variables","double null gauge","black hole stability","charge-to-mass ratio"],"falsifier":"The central claim would be refuted by a smooth characteristic initial data set on the Reissner–Nordström exterior with $|Q|/M < \\sqrt{15}/4$, obeying the paper's decay assumptions, whose outgoing energy flux for the Teukolsky variables ${}^{(1)}b$, ${}^{(1)}f$, ${}^{(1)}\\alpha$ or their negative-spin counterparts diverges along a sequence of cones $C_{u_n}$. A more targeted check of the threshold: at $|Q|/M = \\sqrt{15}/4$, one has $r_+ = r_c = 4Q^2/(3M)$, so the absorption coefficient $1 - 32Q^2/(24M r_+)$ in the proof of the coercive estimate vanishes; evaluating the final-sphere boundary term at this charge for the simplest nonzero angular mode would show whether coercivity genuinely degenerates there or whether a different weight function could absorb it.","tokens_in":32864,"feed_emoji":"🕳️","tokens_out":15912,"duration_ms":136704,"temperature":0.7,"pith_summary":"This paper proves a boundedness statement for linear perturbations of charged, non-rotating black holes: for the Reissner–Nordström exterior with charge-to-mass ratio $|Q|/M < \\sqrt{15}/4$, the energy fluxes of the gauge-invariant Teukolsky variables ${}^{(1)}b$, ${}^{(1)}f$, ${}^{(1)}\\alpha$ and their negative-spin counterparts are uniformly bounded along every outgoing null cone. The route is deliberately different from the standard Teukolsky-wave-equation analysis: the authors derive a canonical energy conservation law for the full linearised Einstein–Maxwell system in double null gauge and prove the conserved fluxes are coercive, so they actually bound a positive energy. From that coercive estimate plus a hierarchy of transport equations, they reach the Teukolsky variables without ever invoking the hyperbolic nature of their wave equations. The result yields uniform $L^2$ control on spheres and pointwise weighted bounds, offering an alternative path to linear stability of Reissner–Nordström in this charge range.","feed_headline":"Below the √15/4 charge ratio, black hole perturbations stay bounded","feed_subtitle":"In Reissner–Nordström, a conserved canonical energy — not the Teukolsky wave equations — controls all outgoing null cones.","key_machinery":"The load-bearing object is the canonical energy conservation law in double null gauge, expressed as the flux balance $E_{u_1}[S](v_0,v_1)+E_{v_1}[S](u_0,u_1)=E_{u_0}[S](v_0,v_1)+E_{v_0}[S](u_0,u_1)$ for any solution $S$ of the linearised Einstein–Maxwell system. The fluxes are not obviously positive because they contain mixed curvature–connection terms, so the proof rewrites them as a sum of manifestly positive, gauge-invariant terms plus two boundary terms on the initial and final spheres. The final-sphere boundary term is absorbed through a transport estimate for the combination $\\xi = \\bigl(X + (1 - r_c/r)\\,6M\\lambda\\bigr)/\\sqrt{24M}$, where $X$ and $\\lambda$ are mass-aspect-type quantities built from the perturbed connection and curvature; absorption succeeds precisely when the coefficient $1 - 32Q^2/(24M r_+)$ is non-negative, i.e., $|Q| \\le \\sqrt{15}\\,M/4$. Once the resulting master energy controls the connection and electromagnetic variables, a hierarchy of transport estimates derived from the linearised Bianchi and Maxwell equations carries the control up to the Teukolsky variables ${}^{(1)}b$, ${}^{(1)}f$, ${}^{(1)}\\alpha$ and their negative-spin counterparts.","core_discovery":"The central claim is Theorem 1.1: for any smooth solution of the linearised Einstein–Maxwell equations arising from characteristic initial data on the Reissner–Nordström exterior with $|Q|/M < \\sqrt{15}/4$, the energy fluxes $E_u[\\,^{(1)}b\\,]$, $E_u[\\,^{(1)}f\\,]$, $E_u[\\,^{(1)}\\alpha\\,]$ and their negative-spin counterparts on any outgoing null cone $C_u$ are bounded by a uniformly controlled initial-data energy $E_{\\rm data}(u)$. Here the Teukolsky variables are gauge-invariant combinations of curvature, connection, and electromagnetic components that carry the physical gravitational and electromagnetic degrees of freedom. The proof establishes this from a canonical energy conservation law in double null gauge: the conserved fluxes are rewritten as manifestly positive gauge-invariant terms plus boundary terms, the boundary term on the final sphere is absorbed by a transport estimate exactly when $|Q| \\le \\sqrt{15}\\,M/4$, and then a hierarchy of transport equations propagates control to the desired variables. No use is made of the Teukolsky equations or of any transformation to auxiliary wave-type variables; the boundedness statement is obtained purely from the conservation law and transport estimates. The theorem also holds with additional derivatives after commutation with the spacetime symmetries, giving pointwise bounds such as $\\sup |r^4\\Omega\\,^{(1)}b|$, $\\sup |r^2\\Omega\\,^{(1)}f|$, and $\\sup |r\\Omega^2\\,^{(1)}\\alpha|$ controlled by the initial energy.","pith_inferences":["An extension left implicit in the paper: the boundedness statement does not by itself give decay of the perturbation toward infinity, and it is natural to ask whether the same conserved flux plus a monotonicity argument yields integrated or pointwise decay in $v$.","A testable consequence of the proof's structure: the charge threshold appears only in the absorption of the final-sphere boundary term, so one could look for a different weight function that absorbs that term beyond $|Q| = \\sqrt{15}\\,M/4$; failure would support the paper's suggestion that the threshold is genuine.","For a rotating charged black hole, the background is stationary but not static, so the double-null flux expressions would acquire additional terms; the paper's transport hierarchy would still be available, but the coercivity step would be the main obstacle."],"forward_implications":["For every outgoing null cone $C_u$, the energy fluxes of the gauge-invariant Teukolsky variables ${}^{(1)}b$, ${}^{(1)}f$, ${}^{(1)}\\alpha$ and their negative-spin counterparts are uniformly bounded by the initial-data energy whenever $|Q|/M < \\sqrt{15}/4$.","These flux bounds imply uniform $L^2$ control on the cross-sectional spheres of each outgoing cone, and after commutation with the stationary and angular Killing fields, pointwise weighted bounds on the Teukolsky variables.","The boundedness statement is obtained without analysing the Teukolsky equations as hyperbolic equations and without transforming to auxiliary wave-type variables; the conservation law and transport estimates carry the whole argument.","Because the transport hierarchy itself remains valid for the full range $|Q| \\le M$, any future proof of coercivity of the canonical flux beyond $\\sqrt{15}/4$ would immediately upgrade the boundedness statement to the full subextremal range.","Commutation with the spacetime symmetries yields higher-derivative versions of the energy estimate, which turn sphere $L^2$ bounds into pointwise weighted bounds."],"supporting_citations":[{"why":"Supplies the vacuum Schwarzschild prototype for ascending a transport hierarchy to control Teukolsky variables from conservation laws, which this paper extends to the charged case.","marker":"[1]"},{"why":"Introduces the double-null-gauge conservation laws and the coercivity strategy for gravitational perturbations that the charged version here builds on.","marker":"[19]"},{"why":"Provides the double-null formulation and well-posedness framework for linearised gravitational perturbations that is adapted to the Einstein–Maxwell system.","marker":"[4]"},{"why":"Gives the linearised Einstein–Maxwell system in double null gauge and earlier stability results for small charge that the paper's gauge-invariant quantities rely on.","marker":"[14]"},{"why":"Proves boundedness and decay for the full subextremal range |Q| < M; the present paper recovers a boundedness statement by a conservation-law route under a stronger charge restriction.","marker":"[22]"},{"why":"Identifies the gauge-invariant Teukolsky variables the paper controls and the coupled Teukolsky-type system they satisfy.","marker":"[2, 3]"},{"why":"Shows that the double-null conservation laws correspond to the canonical energy, linking the flux expressions to the canonical-energy construction.","marker":"[27]"},{"why":"Gives the general canonical-energy construction for linearised Einstein-matter systems from which the conserved current is derived.","marker":"[25]"}],"fun_headline_variants":["Charge ratio below √15/4 keeps black hole perturbations bounded","Conserved energy tames Reissner-Nordström perturbations, no Teukolsky needed","Bounded perturbations on Reissner-Nordström for Q/M < √15/4","Canonical energy bounds linearized Einstein-Maxwell on charged black hole","Teukolsky bypassed: conservation law controls black hole stability"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the perturbation falls off fast enough at large distances that certain weighted components and their first two derivatives have well-defined finite limits; if a finite-energy solution decays more slowly, the boundary terms in the conservation law need not vanish and the energy bound could fail.","fun_headline_variants_meta":{"raw":{"variants":["Charge ratio below √15/4 keeps black hole perturbations bounded","Conserved energy tames Reissner-Nordström perturbations, no Teukolsky needed","Bounded perturbations on Reissner-Nordström for Q/M < √15/4","Canonical energy bounds linearized Einstein-Maxwell on charged black hole","Teukolsky bypassed: conservation law controls black hole stability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000289,"raw_usage":{"total_tokens":1729,"prompt_tokens":1016,"completion_tokens":713,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":632,"completion_tokens_details":{"reasoning_tokens":608}},"tokens_in":632,"tokens_out":713,"duration_ms":6787,"temperature":1.0,"reasoning_tokens":608,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:32:54.640680+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The central claim would be refuted by a smooth characteristic initial data set on the Reissner–Nordström exterior with $|Q|/M < \\sqrt{15}/4$, obeying the paper's decay assumptions, whose outgoing energy flux for the Teukolsky variables ${}^{(1)}b$, ${}^{(1)}f$, ${}^{(1)}\\alpha$ or their negative-spin counterparts diverges along a sequence of cones $C_{u_n}$. A more targeted check of the threshold: at $|Q|/M = \\sqrt{15}/4$, one has $r_+ = r_c = 4Q^2/(3M)$, so the absorption coefficient $1 - 32Q^2/(24M r_+)$ in the proof of the coercive estimate vanishes; evaluating the final-sphere boundary term at this charge for the simplest nonzero angular mode would show whether coercivity genuinely degenerates there or whether a different weight function could absorb it.","supporting_citations":[{"cited_title":"Uniform Boundedness for Solutions to the Teukolsky Equation on Schwarz- schild from Conservation Laws of Linearised Gravity,","cited_arxiv_id":null,"evidence_quote":"Supplies the vacuum Schwarzschild prototype for ascending a transport hierarchy to control Teukolsky variables from conservation laws, which this paper extends to the charged case."},{"cited_title":"Conservation laws and flux bounds for gravitational perturbations of the Schwarzschild metric,","cited_arxiv_id":null,"evidence_quote":"Introduces the double-null-gauge conservation laws and the coercivity strategy for gravitational perturbations that the charged version here builds on."},{"cited_title":"The linear stability of the Schwarzschild solution to gravitational perturbations,","cited_arxiv_id":null,"evidence_quote":"Provides the double-null formulation and well-posedness framework for linearised gravitational perturbations that is adapted to the Einstein–Maxwell system."},{"cited_title":"The linear stability of Reissner-Nordstr¨ om spacetime for small charge,","cited_arxiv_id":null,"evidence_quote":"Gives the linearised Einstein–Maxwell system in double null gauge and earlier stability results for small charge that the paper's gauge-invariant quantities rely on."},{"cited_title":"The linear stability of Reissner-Nordstr¨ om spacetime: the full sub-extremal range |Q| ăM ,","cited_arxiv_id":null,"evidence_quote":"Proves boundedness and decay for the full subextremal range |Q| < M; the present paper recovers a boundedness statement by a conservation-law route under a stronger charge restriction."},{"cited_title":"Coercivity properties of the canonical energy in double null gauge on the 4-dimensional Schwarzschild exterior,","cited_arxiv_id":null,"evidence_quote":"Shows that the double-null conservation laws correspond to the canonical energy, linking the flux expressions to the canonical-energy construction."},{"cited_title":"Stability of Black Holes and Black Branes,","cited_arxiv_id":null,"evidence_quote":"Gives the general canonical-energy construction for linearised Einstein-matter systems from which the conserved current is derived."}],"review_version":1}