{"id":"5dd3dfad-ac49-474e-89d5-8838894287b8","arxiv_id":"2501.12790","paper_version":4,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"For the Bizon-Kahl Yang-Mills kink in an extremal Reissner-Nordström background, globally bounded perturbations are shown to converge locally in space, and a finite-codimensional stable manifold is built.","lead":"This paper addresses stability of a magnetic Yang-Mills wave near an extremal Reissner-Nordström black hole, claiming that solutions staying close to the kink decay to it on bounded intervals. It also constructs a codimension-one stable manifold, using virial estimates adapted to a medium with polynomial tail and weak resonance.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5.2 invokes Lemma 5.1 on (u1,v1), but v1=(1−γ∂²)^{-1}U(χ̃_Bu1) has no proved orthogonality; without (5.4), the ∫eQ^7u1² term in (3.21) is uncontrolled and Theorem 1.1 collapses.","rationale":"The reader's weakest assumption is exactly the point on which the proof breaks: Lemma 5.2 transfers coercivity to a regularized, localized variable v1 that does not satisfy the hypothesis of Lemma 5.1 as stated. I read the paper in good faith and checked whether some earlier construction could implicitly supply ⟨v1,ϕ0⟩=0 or an equivalent replacement; Section 4 defines v1 via χ̃_B and derives the system (4.5), but never computes ⟨v1,ϕ0⟩. The proof of Lemma 5.1 itself uses the orthogonality of the input u, not directly ⟨v,ϕ0⟩, which makes the mismatch with Lemma 5.2 even more concrete: the input in Lemma 5.2 would have to be either u1 or χ̃_Bu1, and neither gives the hypothesis needed for the localized v1. Since Proposition 5.3 combines (3.21) with (5.4), and the rest of Theorem 1.1 depends on Proposition 5.3, the gap is in the central argument, not a peripheral lemma. I therefore agree with the reader's REJECT verdict and recommend no change. I do not claim the theorem is false; the concern is that the paper as written does not establish it. The proposed concrete test would determine whether the gap is repairable by a localization error estimate or is instead a failure of Lemma 5.2 as stated.","tokens_in":73505,"tokens_out":9434,"duration_ms":97681,"concrete_test":"Apply Lemma 5.1 with u=u1 and the unlocalized variable \tilde v=(1−γ∂²)^{-1}Uu1, then estimate the localization error when passing from \tilde v to v1=(1−γ∂²)^{-1}U(χ̃_Bu1). A decisive check: for a bump η supported where χ̃_B is non-constant and u1=η−⟨η,ϕ0⟩ϕ0, evaluate ⟨v1,ϕ0⟩=⟨u1, χ̃_BU*(1−γ∂²)^{-1}ϕ0⟩ and directly compare both sides of (5.4); a nonzero value, or a violated inequality for such u1, shows Lemma 5.2's invocation is unjustified, while a uniform bound independent of δ would suggest the gap is cosmetic.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The virial closure requires the transfer estimate (5.4), whose proof in Lemma 5.2 consists of “Since u1 satisfies orthogonality condition (3.2), applying (5.2).” But (5.2) is proved in Lemma 5.1 for pairs (u,v) with v=(1−γ∂²)^{-1}Uu and with ⟨v,ϕ0⟩=0, whereas the object v1 in §5.2 was defined in (4.4) as v1=(1−γ∂²)^{-1}U(χ̃_B u1). The localization χ̃_B does not commute with the adjoint U* or with (1−γ∂²)^{-1}, so ⟨v1,ϕ0⟩=⟨u1, χ̃_BU*(1−γ∂²)^{-1}ϕ0⟩ is not forced by ⟨u1,ϕ0⟩=0; and if one instead sets u=χ̃_Bu1 in Lemma 5.1, the required hypothesis would be ⟨χ̃_Bu1,ϕ0⟩=0, which is also unproved. Thus Lemma 5.2 is a genuine gap. It is load-bearing because (5.4) is the only estimate controlling the bad term C∫eQ^7u1² in Proposition 3.3; without it, Proposition 5.3 and the final integration leading to (5.12)–(5.13) do not follow. No alternative argument in §§6–8 replaces this transfer, and the paper supplies no machine-checked or independent numerical certificate. The flaw is a missing proof rather than a demonstrated contradiction; a repair may exist (for example, absorbing an exponentially small orthogonality defect via decay of ϕ0), but it is absent from the text.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Yang-Mills kink in the exterior of an extremal Reissner-Nordström black hole, following the model of Bizoń and Kahl. It claims two main results: Theorem 1.1, a conditional asymptotic stability statement for globally bounded perturbations of the kink in the energy space, and Theorem 1.2, the existence of a finite-codimensional Lipschitz stable manifold. The proof strategy is a virial approach adapted to a variable-coefficient, polynomial-tail setting: a large-scale virial functional I is combined with a dual, transformed virial functional J, and the required coercivity and repulsivity are established through a detailed spectral analysis of the linearized operator L and its supersymmetric partner L0.","tokens_in":73898,"tokens_out":16064,"duration_ms":153385,"significance":"If the results were fully proved, they would be a substantial contribution: asymptotic stability for an unstable kink with only polynomial tail in an inhomogeneous medium, including a virial treatment of a threshold resonance. The manuscript contains a coherent and ambitious framework, with many explicit estimates, a careful decomposition into stable and unstable modes, and an interesting use of the Darboux transform to obtain repulsivity of the transformed potential. However, the central proof is not complete as written: the key transfer estimate (5.4) is not justified, and this estimate is load-bearing for Theorem 1.1. In addition, several spectral and sign assertions rest on numerical evaluations rather than rigorous certificates. These issues prevent the paper from establishing its main claims in its current form.","major_comments":[{"comment":"The proof of Lemma 5.2 applies Lemma 5.1 to the pair (u1, v1), but the v1 defined in (4.4) is v1 = (1-γ∂²)^{-1}U(χ̃_Bu1), not (1-γ∂²)^{-1}Uu1 as required by (5.1). The localization χ̃_B does not commute with U* or with (1-γ∂²)^{-1}, so the orthogonality ⟨v1, ϕ0⟩ = 0 does not follow from ⟨u1, ϕ0⟩ = 0; the alternative hypothesis ⟨χ̃_Bu1, ϕ0⟩ = 0 is also not proved. Consequently the transfer estimate (5.4) is unsupported. This is load-bearing: (5.4) is the only control for the bad term C∫eQ^7u1² in (3.21); without it, Proposition 5.3 and the closure argument leading to (5.12)-(5.13) do not go through, and Theorem 1.1 is not proved.","section":"§5.2, Lemma 5.2, Eq. (5.4)"},{"comment":"There is a mismatch between the statement and the proof of Lemma 5.1. The statement assumes ⟨v, ϕ0⟩ = 0, but the proof invokes ⟨u, ϕ0⟩ = 0 to bound the constant a in the representation u = aϕ0 - γ∂xv + ũ. These two orthogonality conditions are not equivalent under (5.1). As stated, the lemma is therefore not proved; if the intended hypothesis is ⟨u, ϕ0⟩ = 0, this must be stated explicitly, and Lemma 5.2 would still require a separate argument for the localization defect introduced by χ̃_B.","section":"§5.1, Lemma 5.1"},{"comment":"Several assertions that are used in the spectral and repulsivity arguments are justified only by numerical evaluation or graphical inspection. In particular, Lemma 7.4 (0.808 ≤ µ0 ≤ 0.883), the comparison potential inequality 2eQ²(1-eQ) ≥ -0.845Q^{7/2}_{9/2}, and the sign assertions on the auxiliary functions i1, i2, i3, k1, k2, j1, j2, m, m̂ in Section 8 are supported by phrases such as 'graph reveals', 'computing', and 'easily checked'. No interval-arithmetic or analytic certificate is provided. These inequalities are used in Lemmas 8.8, 8.9, 8.13, 8.14 and in Lemma 6.5, so the spectral/repulsivity component of the proof is not fully rigorous as written.","section":"§7, Lemma 7.4 and §8"},{"comment":"The final estimate in the proof of Proposition 4.2 contains the step Bα(B)(α(B)∥u1∥_{L∞}∥eQ^{3/2}w1∥)² ≲ δ^{3/2}∥eQ^{3/2}w1∥², which appears to use ∥u1∥_{L∞} ≲ δ. Assumption (3.4) only gives ∥eQ^{1/2}u1∥_{L∞} ≲ δ via Claim 3.2; ∥u1∥_{L∞} is not controlled because H0 admits functions with logarithmic growth. If the intended norm is eQ^{1/2}u1, the displayed estimate should be corrected; as written, the final bound (4.9) of Proposition 4.2 is not justified.","section":"§4.6, end of Proposition 4.2"}],"minor_comments":[{"comment":"The proof of Proposition 5.3 fixes B = δ^{-1/8}, whereas Proposition 4.2 defines B = α^{-1}(δ^{-1/8}); these definitions should be reconciled, since the scale hierarchy and the estimates depend on the choice of B.","section":"§5.2, Proposition 5.3"},{"comment":"The sentence introducing the term ∫eQ^7u1² contains a leftover 'for n ∈ N' that is not used; please remove it.","section":"§5, before (5.1)"},{"comment":"The caption states that ϕ0 is 'not rescaled to have unit norm', but Lemma 7.2 and the surrounding text normalize ϕ0 to have unit norm; this apparent contradiction should be clarified.","section":"Figure 1 caption"}],"recommendation":"major_revision","confidential_remarks":"The gap in Lemma 5.2 is serious and sits at the center of the proof of Theorem 1.1. I do not see an immediate way to derive ⟨v1, ϕ0⟩ = 0 from the stated hypotheses; a repair would require either a new orthogonality condition or a quantitative estimate of the localization defect. Because the paper's overall framework is coherent and the missing argument may be repairable within the same virial approach, I am recommending major revision rather than outright rejection, but the authors must also address the non-rigorous numerical sign checks in Sections 7 and 8."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline is that this is a serious paper with a real hole in the middle. What is new is substantial: the first asymptotic stability result for the Bizon-Kahl kink in the extremal Reissner-Nordstrom model, and the first virial treatment of a weak zero-energy resonance in this kind of variable-coefficient, polynomial-tail setting. The adaptation of the virial machinery is not routine, and Section 7 does real work in developing spectral theory for an operator with no explicit eigenfunctions. The stable manifold construction is also carried through in a nonstandard degenerate-energy setting. I want to be clear about that because the paper earns credit where it is due.\n\nThe problem is Lemma 5.2. Lemma 5.1 is proved for a pair (u,v) with v=(1-γ∂²)^{-1}Uu and ⟨v,ϕ0⟩=0. In Lemma 5.2, the object v1 is defined by v1=(1-γ∂²)^{-1}U(χ̃_B u1), not by (1-γ∂²)^{-1}Uu1. The localization χ̃_B does not commute with U* or with the resolvent, so ⟨v1,ϕ0⟩=0 is not forced by ⟨u1,ϕ0⟩=0. The proof simply says that since u1 satisfies the orthogonality condition, applying (5.2) gives the estimate. That is not a valid application of Lemma 5.1 as written. This matters because (5.4) is the only estimate controlling the bad term ∫eQ^7u1² in Proposition 3.3. Without it, Proposition 5.3 does not close and Theorem 1.1 collapses. This is a missing proof rather than a demonstrated contradiction; a repair may exist, for instance by absorbing an exponentially small orthogonality defect using the decay of ϕ0, but that repair is not in the text.\n\nThere is a second, less serious weakness: several spectral comparisons and positivity checks in Sections 7 and 8 are supported by graphs and Mathematica evaluations, with no code or certificates. The inequalities look plausible and the explicit auxiliary functions are checkable, but the reliance on unverified numerics is a reproducibility weakness in a long proof where some inequalities are otherwise close.\n\nThe citation pattern is not a problem. The main lineage to the authors' earlier virial papers is methodological, not circular, and the specific theorem is not in the prior literature.\n\nWho is this for? Specialists in asymptotic stability of kinks, virial identities, and variable-coefficient dispersive equations. It deserves a serious referee: the ideas are important, the technical effort is large, and the gap is localized enough that expert scrutiny could either repair it or confirm it is fatal. But I would not cite it in its current form, and my own verdict is that the main theorem is not yet proved.","headline":"A serious and substantial virial-stability paper whose central proof currently has a load-bearing gap in the coercivity transfer lemma, so the main theorem is not established as written.","tokens_in":74436,"tokens_out":2136,"would_cite":false,"duration_ms":24568,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L70","35B40","37K40","70S15","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the kink solution of the reduced Yang–Mills equation on an extremal Reissner–Nordström black hole is asymptotically stable on a finite-codimensional Lipschitz manifold of the energy space, despite its polynomial…","keywords":["Yang-Mills","extremal Reissner-Nordström black hole","kink","asymptotic stability","virial estimates","threshold resonance","stable manifold","variable-coefficient wave equation"],"falsifier":"Compute $\\langle (1-\\gamma\\partial_x^2)^{-1}U(\\widetilde{\\chi}_B u),\\phi_0\\rangle$ for a smooth compactly supported $u$ with $\\langle u,\\phi_0\\rangle=0$ and nonzero spatial derivative; if the inner product does not vanish for small $\\gamma>0$, the transfer estimate (5.4) fails as stated and Theorem 1.1 would need a different closure.","tokens_in":73257,"feed_emoji":"🕳️","tokens_out":11233,"duration_ms":101414,"temperature":0.7,"pith_summary":"This paper establishes asymptotic stability for the kink solution of the reduced Yang–Mills wave equation describing a purely magnetic SU(2) field on the exterior of an extremal Reissner–Nordström black hole. The kink has only a polynomial tail, is not given by an explicit formula, and possesses a strongly unstable linear direction, so classical kink-stability theory does not apply. The authors prove that any global solution staying uniformly close to the kink in the weighted energy space converges to the kink on every bounded interval, and they construct a finite-codimensional Lipschitz manifold of initial data on which the kink is globally bounded and locally asymptotically stable. If the theorems are correct, they constitute the first virial-based treatment of a weak threshold resonance in this class of models and supply a concrete description of the stable side of the kink's instability.","feed_headline":"Extremal black-hole kink proven asymptotically stable","feed_subtitle":"Virial estimates handle the polynomial tail and the weak resonance, yielding a stable manifold in the energy space.","key_machinery":"The argument is carried by two virial functionals paired across scales: a large-scale functional $I$ built from $\\varphi_A(x)=\\int_0^x \\widetilde{Q}\\zeta_A^2$ acting on the localized variable $w_i=\\zeta_A u_i$, and a dual functional $J$ built from a Darboux-transformed, regularized variable $v_1=(1-\\gamma\\partial_x^2)^{-1}U(\\widetilde{\\chi}_B u_1)$, with $U=\\phi_0\\partial_x\\phi_0^{-1}$ and a localized variable $z=\\widetilde{\\chi}_A\\zeta_B v_1$. The load-bearing identities are the Darboux factorization $L=U^*U-\\mu_0^2$ and the modified linearization $\\widetilde{L}=L-2\\widetilde{Q}^2\\widetilde{H}^2$, whose kernel contains the weak threshold resonance $\\widetilde{H}$; a coercivity estimate for $\\widetilde{L}$ under two orthogonality conditions, together with a transfer estimate $\\int\\widetilde{Q}^7u_1^2\\lesssim\\int\\widetilde{Q}^{9/2}[(\\partial_xv)^2+v^2]$, closes the control of the bad term $\\int\\widetilde{Q}^7u_1^2$.","core_discovery":"The central claim is Theorem 1.1: there is a $\\delta>0$ such that if a global solution $\\varphi\\in E$ of (1.11) satisfies $\\sup_{t\\ge0}\\|\\varphi(t)-\\widetilde{H}\\|_{H_0\\times L^2}<\\delta$, then for every bounded interval $I$, $\\lim_{t\\to\\infty}\\|\\varphi(t)-\\widetilde{H}\\|_{H^1\\times L^2(I)}=0$. Theorem 1.2 sharpens this by showing that, inside a uniform neighborhood of the kink, the set of global solutions is exactly a Lipschitz graph $M=\\{\\widetilde{H}+\\varepsilon+h(\\varepsilon)Y_+ : \\varepsilon\\in A_0\\}$ with $h(0)=0$ and $|h(\\varepsilon)|\\le C\\|\\varepsilon\\|^{3/2}$, where $A_0$ is the codimension-one subspace orthogonal to $Z_+$. Together the two theorems assert that the unstable kink carries a finite-codimensional stable manifold in the energy space, on which perturbations are globally controlled and decay locally in space.","pith_inferences":["The fate of data outside $M$ is left open; the structure of the proof suggests that $Y_+$ is the only escape channel, so numerical runs with small nonzero $\\langle\\varepsilon,Z_+\\rangle$ could reveal a blow-up or radiation mechanism.","The same combination of a modified linearization with a zero mode, a repulsive transformed potential, and a quartic positivity structure should transfer to other variable-coefficient scalar field kinks with polynomial tails.","Tracking constants in Lemma 5.1 and Proposition 5.3 could convert Theorem 1.1 into explicit decay rates for the local convergence, which the paper does not state.","The quantitative bound on the $L^2$ solution $\\phi_1$ of $\\widetilde{L}\\phi_1=\\phi_0$ could be used as a diagnostic: if $\\langle\\phi_1,\\phi_0\\rangle$ approaches zero, the resonance becomes marginal and the stable manifold construction should break down."],"forward_implications":["Any global solution that satisfies the uniform closeness condition of Theorem 1.1 converges to the kink on bounded intervals, so local energy eventually concentrates onto the stationary kink while the total weighted norm remains only bounded.","The stable manifold $M$ is Lipschitz and contains every global solution that stays within $\\delta_0/2$ of the kink; within this neighborhood the global solution set is a single codimension-one graph.","The resonant modulation $a(t)$ associated with the zero-energy mode of $\\widetilde{L}$ stays bounded and tends to zero, so the weak threshold resonance does not prevent asymptotic stability for data on the manifold.","Because the argument uses only the polynomial decay of $\\widetilde{Q}$ and no explicit kink formula, the virial strategy extends kink-stability results beyond exponential-tail, explicitly solvable models."],"supporting_citations":[{"why":"Supplies the reduced Yang-Mills model, the kink family, and the numerical eigenvalue information on which the spectral setup rests.","marker":"[7]"},{"why":"Provides the template for the paired virial functionals and the regularized Darboux-transformed variables used in Sections 3-5.","marker":"[39]"},{"why":"Gives the general sufficient condition for kink asymptotic stability that the variable-coefficient, polynomial-tail setting of this paper must adapt.","marker":"[41]"},{"why":"Introduces the localized virial estimates for scalar field kinks with one internal mode, the method extended here to an inhomogeneous medium.","marker":"[37]"},{"why":"Establishes kink asymptotic stability in the phi4 model in the energy space, the constant-coefficient analogue that Theorem 1.1 generalizes.","marker":"[38]"},{"why":"Treats asymptotic stability for the variable-speed phi4 kink, the closest earlier inhomogeneous-medium result that the paper improves.","marker":"[74]"},{"why":"Provides the variational coercivity argument used to obtain the weighted lower bounds for the linearized operators.","marker":"[78]"},{"why":"Offers a recent sufficient condition for asymptotic stability of kinks with internal modes under odd perturbations, used as a comparison and a baseline.","marker":"[17]"}],"fun_headline_variants":["Extremal black-hole kink tamed via virial bounds","Asymptotic stability proved for unstable black-hole kink","Finite-codim stable manifold for extremal black-hole kink","Virial methods yield stable manifold near black-hole kink"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The transfer step needs the localized, regularized transformed variable $v_1=(1-\\gamma\\partial_x^2)^{-1}U(\\widetilde{\\chi}_B u_1)$ to inherit the orthogonality $\\langle v_1,\\phi_0\\rangle=0$ from $\\langle u_1,\\phi_0\\rangle=0$; the paper applies Lemma 5.1 to this variable without proving that inheritance, and the control of the bad term $\\int\\widetilde{Q}^7u_1^2$ collapses if it fails.","fun_headline_variants_meta":{"raw":{"variants":["Extremal black-hole kink tamed via virial bounds","Asymptotic stability proved for unstable black-hole kink","Finite-codim stable manifold for extremal black-hole kink","Virial methods yield stable manifold near black-hole kink"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000248,"raw_usage":{"total_tokens":1521,"prompt_tokens":896,"completion_tokens":625,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":512,"completion_tokens_details":{"reasoning_tokens":553}},"tokens_in":512,"tokens_out":625,"duration_ms":5976,"temperature":1.0,"reasoning_tokens":553,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T16:48:06.378080+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\langle (1-\\gamma\\partial_x^2)^{-1}U(\\widetilde{\\chi}_B u),\\phi_0\\rangle$ for a smooth compactly supported $u$ with $\\langle u,\\phi_0\\rangle=0$ and nonzero spatial derivative; if the inner product does not vanish for small $\\gamma>0$, the transfer estimate (5.4) fails as stated and Theorem 1.1 would need a different closure.","supporting_citations":[{"cited_title":"Bizo´ n and M","cited_arxiv_id":null,"evidence_quote":"Supplies the reduced Yang-Mills model, the kink family, and the numerical eigenvalue information on which the spectral setup rests."},{"cited_title":"Kowalczyk, Y","cited_arxiv_id":null,"evidence_quote":"Provides the template for the paired virial functionals and the regularized Darboux-transformed variables used in Sections 3-5."},{"cited_title":"Kowalczyk, Y","cited_arxiv_id":null,"evidence_quote":"Gives the general sufficient condition for kink asymptotic stability that the variable-coefficient, polynomial-tail setting of this paper must adapt."},{"cited_title":"Kink dynamics under odd perturbations for (1+1)-scalar field models with one internal mode","cited_arxiv_id":"2203.04143","evidence_quote":"Introduces the localized virial estimates for scalar field kinks with one internal mode, the method extended here to an inhomogeneous medium."},{"cited_title":"Kowalczyk, Y","cited_arxiv_id":null,"evidence_quote":"Establishes kink asymptotic stability in the phi4 model in the energy space, the constant-coefficient analogue that Theorem 1.1 generalizes."},{"cited_title":"Snelson, Asymptotic stability for odd perturbations of the the stationary kink in the variable-speed ϕ4 model, Transactions of the AMS 370(10) 7437-7460, 2018","cited_arxiv_id":null,"evidence_quote":"Treats asymptotic stability for the variable-speed phi4 kink, the closest earlier inhomogeneous-medium result that the paper improves."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the variational coercivity argument used to obtain the weighted lower bounds for the linearized operators."},{"cited_title":"Cuccagna, M","cited_arxiv_id":null,"evidence_quote":"Offers a recent sufficient condition for asymptotic stability of kinks with internal modes under odd perturbations, used as a comparison and a baseline."}],"review_version":1}