{"id":"06b3ea76-a0c3-43ca-890a-b49c39e8552f","arxiv_id":"2608.10610","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Small equivariant perturbations of the degree-one vortex decay with radiation rate, while the internal mode damps like epsilon squared over one plus Gamma epsilon squared t, proving asymptotic stability.","lead":"This paper proves that the degree-one vortex soliton in the abelian Yang-Mills-Higgs model is asymptotically stable: small symmetric perturbations decay and the vortex is approached at late times. It supplies the first proof of asymptotic stability for this topological soliton in 2+1 dimensions, a long-open problem in nonlinear field theory.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Fermi Golden Rule positivity Γ1>0, imported from the companion paper's interval-arithmetic proof with no shipped artifact, is the load-bearing input for the claimed internal-mode decay; if it fails, Theorem 1.1 collapses.","rationale":"I read the paper in good faith: it is a serious, detailed proof with a coherent bootstrap architecture, and the visible portions through Section 6 show real analytical work with explicit statements of the linear inputs (Propositions 4.1, 4.6, 4.7, 4.10) and detailed normal-form estimates. I did not find an internal contradiction in the displayed analytical steps, and the reliance on companion papers for the spectral and distorted-Fourier theory is standard practice. However, the reader's weakest-assumption identification is correct: the strict positivity Γ1>0 is the single most load-bearing input for the claimed decay. Without it, the effective ODE system (2.43) has no dissipative term, the predicted z(t) decay (1.36) and the matching lower bound (1.39) both fail, and the entire radiation-damping mechanism on the ε⁻² time scale collapses. The paper explicitly delegates this positivity to [Luh+26a, Proposition 4.3] via interval arithmetic, but ships no code or artifact, so the key numerical sign condition cannot be independently checked from the present manuscript. This is an external-verification gap rather than a demonstrated error, so rejection is not warranted; the verdict remains CONDITIONAL pending access to the companion artifact and the final Sections 7–11, which are truncated here and would close the bootstrap. My read does not change the reader's verdict, hence UNCHANGED.","tokens_in":88472,"tokens_out":4279,"duration_ms":46543,"concrete_test":"Obtain the companion paper [Luh+26a] source code/artifact and rerun its interval-arithmetic verification of Proposition 4.3, checking that D1<0, D2<0, D12<0 and hence Γ1>0 at (9.68); if no artifact is available, independently evaluate the radial integrals defining D1,D2,D12 from (9.64)–(9.65) using high-precision numerical solutions of the vortex ODEs (1.6) and verify the strict sign with a robust margin.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim Theorem 1.1 states that the internal-mode energy z(t) decays as ε²/(1+Γ1ε²t). In Section 9 the proof reduces this to the effective ODEs (2.43) for the profiles Z1,Z2, and Proposition 9.6 requires Γ1>0, defined in (9.68) via Γ1 := 2 min{|D12|, (D1D2)^{1/2}} min{(D1/D2)^{1/2}, (D2/D1)^{1/2}}. The paper never proves Γ1>0; Remark 1.2 and §2.2.4 state only that it is 'verified in [Luh+26a, Proposition 4.3] using rigorous numerics', i.e. interval arithmetic in the companion paper, and no code or artifact is included here. If Γ1=0, the effective ODE for |Z1|²+|Z2|² loses its cubic dissipative term, z(t) does not decay on the ε⁻² time scale, estimate (2.14) for the bad radiation component fails, and the bootstrap cannot close. The lower bound (1.39) depends on the same positivity through Γ0>Γ1>0. This is not a dispute with the numerical claim; it is that the theorem's central decay mechanism is conditional on an external computational proof whose artifact is not shipped, so the reader cannot independently verify the sign condition that makes the whole radiation-damping argument run.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper, the third in a three-part series, proves asymptotic stability of the degree-one abelian Yang-Mills-Higgs vortex at the self-dual coupling for small equivariant perturbations in weighted Sobolev spaces. The main result, Theorem 1.1, asserts global existence, decay of the internal-mode energy z(t) on the radiation-damping time scale ε^{-2}, and matching upper/lower bounds under a lower-bound condition on the initial internal-mode amplitude. The proof combines a good-bad decomposition of the radiation, a flat-sharp decomposition that localizes the nonlinear normal-form analysis to the flat Klein-Gordon flow, integrated local energy decay and transference estimates from the distorted Fourier theory, and a Fermi Golden Rule analysis of the internal-mode ODEs. The theorem depends in an essential way on spectral and Fermi Golden Rule inputs established in the two companion papers, including the strict positivity of the damping constant Γ1.","tokens_in":88684,"tokens_out":5250,"duration_ms":65382,"significance":"If correct, the result resolves a long-standing open problem: asymptotic stability of the degree-one vortex in the self-dual abelian Yang-Mills-Higgs model, in a genuinely two-dimensional setting where dispersive decay is weak and the nonlinearities contain non-spatially-localized quadratic terms. The paper is methodologically ambitious: it develops a modular flat-sharp normal-form scheme, uses transference estimates to pass from flat to perturbed Klein-Gordon flows, and gives explicit bootstrap constants with no fitted parameters. The upper and lower decay laws for the internal mode are concrete and falsifiable. The main caveat is that the central decay mechanism is conditional on the Fermi Golden Rule non-degeneracy Γ1>0 and on substantial spectral/linear inputs from the companion papers, so the value of the theorem rests on the reliability and availability of those external results.","major_comments":[{"comment":"The strict positivity Γ1>0 is load-bearing and is not proved in this manuscript. The bound z(t) ≤ (5/4)ε²/(1+Γ1ε²t), the bootstrap assumption (3.23), the lower bound (1.39) via Γ0>Γ1, and the bad-radiation estimate (2.14) all depend on the cubic dissipative term in the effective ODEs (2.43). The paper delegates Γ1>0 to [Luh+26a, Proposition 4.3], a computer-assisted interval-arithmetic verification, and no code or artifact is shipped. If Γ1=0, the dissipative term disappears, z(t) does not decay on the ε^{-2} time scale, and the bootstrap cannot close. This is not a dispute about the numerical claim; it is a request that the manuscript either make the theorem explicitly conditional on that companion result with a precise statement, or include the verification/artifact as part of the reviewable material. As written, the central claim of Theorem 1.1 is conditional on an external computational proof that the reader cannot check from the present text.","section":"Section 9, Proposition 9.6, Eq. (9.68); Remark 1.2; §2.2.4"},{"comment":"The proof of Theorem 1.1 relies on a large body of linear theory quoted from the companion papers: absolute continuity of the continuous spectrum on [1,∞), absence of threshold eigenvalues/resonances, uniqueness and location of the internal eigenvalue, the existence and properties of the distorted Fourier transform, the dispersive/ILED estimates, and the transference estimate Proposition 4.10. These are not peripheral technicalities; without them the nonlinear analysis has no linear evolution to perturb. For a three-paper series this division of labor can be acceptable, but the present paper should state clearly which of these inputs are proved in which companion, and the refereeing process must ensure those companions are available and independently verified. If any of those spectral facts fail, Theorem 1.1 collapses. I recommend adding an explicit dependency table or theorem statement listing each external input and its precise source.","section":"Section 4, Propositions 4.1, 4.6, 4.7, and 4.10"},{"comment":"Several load-bearing nonlinear estimates are dispatched with 'similar or easier terms' or 'the lengthy details are omitted'. In particular, the treatment of type (2) derivative quadratic terms after Eq. (6.47) says the details 'are similar to the treatment of I1 and are thus omitted'; the type (5) temporal-component terms say 'We omit the lengthy details for these harmless contributions'; and Proposition 5.1 uses 'similar or better terms' after reabsorption. These terms belong to the classes that the normal-form machinery is specifically designed to control, so they are not cosmetic. The proof would be verifiable only if these omitted cases are either written out in an appendix or matched by precise references to equations in the companion papers where the same estimates are proved. Without that, the central estimates in Propositions 6.1–6.4 and 5.1 are not fully established in the presented text.","section":"Section 6.4, especially §6.4.1.1 through §6.4.1.3, and Section 5"}],"minor_comments":[{"comment":"The subsection titled 'References' is actually a literature review; renaming it 'Related literature' would avoid confusion with the bibliography.","section":"Section 1.7"},{"comment":"The informal notation '0<δ!1' and 'N≫1' is used before the precise smallness conditions are fixed; it would be clearer to state once in Section 1.9 that δ, κ, and 1/N are chosen so that N≥100/δ and κ is sufficiently small.","section":"Throughout"},{"comment":"The numerical value λ²≈0.7774 appears, while §2.2.2 gives the interval [0.777471875,0.777473750]; please make the displayed approximation consistent with the rigorous interval.","section":"Section 2.2.2 and Proposition 4.1"},{"comment":"The bootstrap assumption uses Γ1 defined only later in (9.68); forward-referencing is acceptable in a long paper, but a one-line definition in Section 3 would improve readability.","section":"Section 3.4, Eq. (3.23)"}],"recommendation":"major_revision","confidential_remarks":"The paper's fate is inseparable from the two companion papers, especially [Luh+26a], which contains the computer-assisted proof of Γ1>0 and the spectral properties of the linearized operator. I strongly recommend that the editor obtain those companions for the referees and, if possible, review them together with this manuscript. The absence of any shipped artifact for the Fermi Golden Rule verification is the main risk to the theorem; if the companion's interval-arithmetic proof has not been independently checked, acceptance should be delayed. The manuscript is otherwise a serious and detailed contribution that warrants a major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Know this about the paper: it's the real proof of a long-open problem—asymptotic stability of the degree-one vortex for small equivariant perturbations—and the proof architecture is serious and mostly convincing. The one truly load-bearing input you must check is the Fermi Golden Rule positivity Γ1>0, imported from a companion interval-arithmetic proof with no artifact shipped here.\n\nWhat's new is exactly what the abstract says: the first asymptotic stability theorem for this vortex, with explicit decay rates for the internal mode and radiation. The flat-sharp decomposition, variable-coefficient normal forms, and transference estimates form a genuinely new combination, and the paper is candid about what it takes from the two companion papers. The bootstrap setup is clear, Section 6 shows real care with the non-localized quadratic interactions, and I saw no circularity: constants are chosen, not fitted.\n\nWhere the soft spots are, in order of size. First, Γ1>0. The decay of the internal-mode energy z(t)~ε²/(1+Γ1ε²t), the pointwise radiation bounds, and the lower bound all ride on it. The paper defines Γ1 in (9.68), states in Remark 1.2 and §2.2.4 that it is verified in [Luh+26a, Prop. 4.3] via rigorous numerics—interval arithmetic—but ships no code or artifact. Without that positivity, the effective ODE loses its dissipative term and Theorem 1.1 collapses. This is not a dispute with the numerical claim; it's a conditionality a referee can't resolve from this PDF alone.\n\nSecond, the copy we got truncates before Sections 7–11, so the bootstrap closure and the internal-mode estimates in Section 10 are not directly verifiable here. That may just be the arXiv upload, but it means the final step is still a black box for us.\n\nThird, like many long PDE proofs, some nonlinear estimates are dispatched with 'similar or easier terms' and 'details omitted.' Normal, but the proof isn't fully self-contained.\n\nWho it's for: PDE analysts working on soliton stability, gauge field theory, or space-time resonances with potentials. Section 2 is worth reading even if you don't check every estimate.\n\nRecommendation: send it to peer review. A serious referee will need the two companion papers and the verification artifact for Γ1>0, but the result is important enough and the argument serious enough to warrant that effort. My own verdict would be conditional: I'd want Prop. 4.3 of [Luh+26a] and its code inspected, plus a look at the final four sections.","headline":"Serious proof of a long-open vortex stability problem; the decay mechanism hinges on Γ1>0 imported from a companion interval-arithmetic proof—check that.","tokens_in":89280,"tokens_out":4094,"would_cite":true,"duration_ms":43617,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B35","35B40","35Q40","35Q51"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the degree-one vortex in the self-dual abelian Yang-Mills-Higgs model is asymptotically stable: for small equivariant perturbations the solution exists globally and returns to the vortex, with internal-mode energy…","keywords":["asymptotic stability","degree-one vortex","abelian Yang-Mills-Higgs","internal mode","Fermi Golden Rule","radiation damping","space-time resonances","Klein-Gordon equation"],"falsifier":"Inspect or recompute the interval-arithmetic verification of the strict inequalities $D_1<0$, $D_2<0$, $D_{12}<0$ (equivalently $\\Gamma_1>0$ in (9.68)); if any of these signs is reversed or zero, the dissipative term in the effective ODE for the internal modes vanishes and the claimed $z(t)\\lesssim \\varepsilon^2/(1+\\Gamma_1\\varepsilon^2 t)$ decay cannot hold.","tokens_in":88227,"feed_emoji":"🌀","tokens_out":10522,"duration_ms":102400,"temperature":0.7,"pith_summary":"The paper establishes asymptotic stability of the degree-one vortex in the self-dual abelian Yang-Mills-Higgs model: small equivariant perturbations in a weighted Sobolev space do not destroy the vortex but instead radiate away, and the perturbed solution converges back to the vortex. The precise statement (Theorem 1.1) gives global existence under the orthogonal gauge condition, the internal-mode energy bound $z(t) \\le \\frac{5}{4} \\frac{\\varepsilon^2}{1+\\Gamma_1 \\varepsilon^2 t}$, and the radiation decay $\\|e^{i\\theta}u(t)\\|_{L^\\infty} \\lesssim t^{-1+\\delta}$ for $t \\ge \\varepsilon^{-2}$; with the initial condition $z(0)=\\varepsilon^2$, the same estimate holds from below with a constant $\\Gamma_0>\\Gamma_1>0$. The reason this matters is that the degree-one vortex is the simplest topological soliton of a classical gauge theory, and its asymptotic stability had remained open after earlier orbital stability results. The proof shows that the only long-lived obstruction, an internal mode oscillating at frequency $\\lambda$, is drained by its resonant coupling to the continuous spectrum—nonlinear radiation damping—on the time scale $\\varepsilon^{-2}$.","feed_headline":"Asymptotic stability proved for the degree-one vortex","feed_subtitle":"Small equivariant perturbations radiate away; the internal mode drains on the epsilon^-2 time scale and the vortex returns to rest.","key_machinery":"The load-bearing machinery is a three-part decomposition of the dynamics. The spectral decomposition separates the two internal-mode components $z_1,z_2$ (the unique gap eigenfunction of the linearized operator $M$, with $2\\lambda>1$) from the radiation $u$; the good-bad split separates radiation driven by radiation self-interactions from radiation forced by localized internal-mode sources; the flat-sharp split writes the good part as a flat Klein-Gordon wave (where the normal-form analysis lives) plus a sharp correction driven by the decaying potential. The central identity is the normal-form renormalization $g^5_{\\mathrm{ren}}=g^5-\\mathcal{B}[f,f]$, whose final data at $T$ are chosen to cancel the quadratic boundary terms, together with the transference estimate (Proposition 4.10) that controls weighted norms of flat profiles by localized space-time norms of inhomogeneous terms for the perturbed Klein-Gordon flow. The Fermi Golden Rule constant $\\Gamma_1>0$, defined in (9.68), is what turns the effective internal-mode ODE into a dissipative equation.","core_discovery":"On the paper's own terms, the central discovery is Theorem 1.1: under the hypotheses (1.34)–(1.35) and the gauge condition (1.32), the coupled radiation–internal-mode system (1.30)–(1.31) has a global solution satisfying $z(t)\\le \\frac{5}{4}\\frac{\\varepsilon^2}{1+\\Gamma_1\\varepsilon^2 t}$ and $\\|e^{i\\theta}u(t)\\|_{L^\\infty}\\lesssim t^{-1+\\delta}$ for $t\\ge\\varepsilon^{-2}$, and under the extra lower-bound assumption $z(0)=\\varepsilon^2$ the matching lower bound $\\frac{3}{4}\\frac{\\varepsilon^2}{1+\\Gamma_0\\varepsilon^2 t}\\le z(t)$ holds for constants $\\Gamma_0>\\Gamma_1>0$. The decay is produced by radiation damping: reinserting the radiation generated by the internal mode into the internal-mode equation yields an effective ODE for the profiles $Z_1,Z_2$ whose leading cubic term is $-\\Gamma_1|Z|^2Z$, a dissipation coming from the Fermi Golden Rule, so $|Z(t)|^2$ behaves like $|Z(0)|^2/(1+2\\Gamma_1|Z(0)|^2 t)$.","pith_inferences":["If the flat-sharp/transference method transfers to non-equivariant perturbations or to higher-degree vortices, the same Fermi-Golden-Rule mechanism would predict internal-mode decay on the same $\\varepsilon^{-2}$ scale; the principal new difficulty would be the loss of the radial ODE reduction.","A direct numerical check of the reduced two-mode ODE (2.43) with the rigorous interval-arithmetic coefficients from the companion paper should reproduce $z(t)=\\varepsilon^2/(1+\\Gamma_1\\varepsilon^2 t)$; this would independently corroborate the damping mechanism without solving the full PDE.","The theorem suggests the vortex's stable manifold in the equivariant phase space is finite-dimensional, parametrized by the two internal-mode amplitudes and the radiation data, with the internal-mode directions transversally damped."],"forward_implications":["If the theorem is correct, small equivariant perturbations of the degree-one vortex at self-dual coupling scatter to radiation and the vortex acts as a local attractor, not merely an orbitally stable solution.","The internal-mode energy decays on the universal time scale $\\varepsilon^{-2}$: for $t\\gg\\varepsilon^{-2}$, $z(t)$ is comparable to $1/(\\Gamma_1 t)$, independent of the initial size $\\varepsilon$.","The radiation field decays like $t^{-1+\\delta}$ at late times, the expected two-dimensional Klein-Gordon dispersive rate up to small losses, so the far field is asymptotically free radiation.","The matching lower bound when $z(0)=\\varepsilon^2$ shows the decay law is sharp and not an artifact of an upper-bound argument."],"supporting_citations":[{"why":"Establishes the spectral picture of the linearized operator (absolutely continuous spectrum $[1,\\infty)$, unique gap eigenvalue $\\lambda^2\\approx 0.7774$) and verifies the Fermi Golden Rule non-degeneracy $\\Gamma_1>0$ by rigorous numerics.","marker":"[Luh+26a]"},{"why":"Constructs the distorted Fourier theory for $M$ and proves the dispersive, integrated local energy decay, and transference estimates (including Proposition 4.10) used to pass between the flat and perturbed Klein-Gordon evolutions.","marker":"[Luh+26b]"},{"why":"Provides global existence for finite-energy solutions in the Lorenz gauge, invoked as the local and continuation theory under the orthogonal gauge condition used here.","marker":"[BM85]"},{"why":"Introduces the orthogonal (Stuart) gauge condition under which the perturbation system takes the nondegenerate hyperbolic-elliptic form analyzed in the paper.","marker":"[Stu94]"},{"why":"Supplies the good-bad decomposition model for treating radiation forced by a localized internal-mode source, the template for the corresponding decomposition in this system.","marker":"[LP]"},{"why":"Introduces the radiation-damping mechanism through which a non-degenerate Fermi Golden Rule coefficient produces decay of internal modes.","marker":"[BP95; SW99]"}],"fun_headline_variants":["Vortex stability proven via radiation damping","Degree-one vortex returns to rest after small kicks","Radiation damping stabilizes Yang-Mills vortex","Proof: self-dual vortex asymptotically stable"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the Fermi Golden Rule constant $\\Gamma_1$ is strictly positive; the present paper does not prove this positivity but imports it from a companion computer-assisted verification, and if $\\Gamma_1\\le 0$ the effective internal-mode equation loses its dissipative term and the claimed decay collapses.","fun_headline_variants_meta":{"raw":{"variants":["Vortex stability proven via radiation damping","Degree-one vortex returns to rest after small kicks","Radiation damping stabilizes Yang-Mills vortex","Proof: self-dual vortex asymptotically stable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000206,"raw_usage":{"total_tokens":1504,"prompt_tokens":1163,"completion_tokens":341,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":779,"completion_tokens_details":{"reasoning_tokens":284}},"tokens_in":779,"tokens_out":341,"duration_ms":94528,"temperature":1.0,"reasoning_tokens":284,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T20:54:22.830652+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Inspect or recompute the interval-arithmetic verification of the strict inequalities $D_1<0$, $D_2<0$, $D_{12}<0$ (equivalently $\\Gamma_1>0$ in (9.68)); if any of these signs is reversed or zero, the dissipative term in the effective ODE for the internal modes vanishes and the claimed $z(t)\\lesssim \\varepsilon^2/(1+\\Gamma_1\\varepsilon^2 t)$ decay cannot hold.","supporting_citations":[],"review_version":1}