REVIEW 3 major objections 4 minor 18 references
Asymptotic stability of the degree-one vortex in the abelian Yang-Mills-Higgs model
T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read 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…
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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)$.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [Section 9, Proposition 9.6, Eq. (9.68); Remark 1.2; §2.2.4] 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 4, Propositions 4.1, 4.6, 4.7, and 4.10] 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 6.4, especially §6.4.1.1 through §6.4.1.3, and Section 5] 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.
minor comments (4)
- [Section 1.7] The subsection titled 'References' is actually a literature review; renaming it 'Related literature' would avoid confusion with the bibliography.
- [Throughout] 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 2.2.2 and Proposition 4.1] 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 3.4, Eq. (3.23)] 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.
Circularity Check
No significant circularity: the internal-mode decay law is the solution of a genuinely derived ODE whose Fermi Golden Rule coefficient Γ1>0 is imported from the authors' companion rigorous-numerics paper; this is a load-bearing same-author dependency worth flagging, but no fitted parameter, renamed result, or definitional reduction is present.
-
self citation load bearing
[Remark 1.2; (9.68); Subsection 2.2.4; Proposition 9.6]
"The constants Γ0 > Γ1 > 0 in the statement of Theorem 1.1 are the Fermi Golden Rule constants defined in (9.68) in the proof of Proposition 9.6. The fact that Γ1 > 0 is verified in [Luh+26a, Proposition 4.3] using rigorous numerics."
The claimed decay z(t) ≤ (5/4)ε²/(1+Γ1ε²t) is the solution of the derived internal-mode ODE whose dissipative term has coefficient Γ1 := 2 min{|D12|, √(D1D2)} min{√(D1/D2), √(D2/D1)} from (9.68). The sign input Γ1 > 0 — equivalently D1, D2, D12 < 0 in (2.42) — is not proved anywhere in this paper; Remark 1.2 and §2.2.4 delegate it to the same-authors companion [Luh+26a, Proposition 4.3] via interval arithmetic, with no code or artifact shipped here. If that self-cited computation failed, the cubic dissipative term in the z-ODE would vanish, z(t) would not decay on the ε⁻² scale, the bad-radiation bound (2.14) and the bootstrap closure would fail, and Theorem 1.1 collapses.
full rationale
The nonlinear analysis does not reduce, by its own equations, to the result it claims. The decay law for z(t) emerges from the effective ODE system (2.43), which is derived from the constrained Hamiltonian structure (Section 9) with coefficients computed as explicit radial integrals; the bootstrap constants C0, 5/4, 3/4 are chosen and improved, not fitted to any data, and no parameter is renamed as a prediction. The spectral decomposition (1.28), distorted Fourier theory, ILED, and transference estimates are imported from the companion papers [Luh+26a; Luh+26b]: these are same-author citations, but they are parameter-free linear-theory inputs whose assumptions (self-dual coupling, equivariance, potential decay) do not include asymptotic stability, so per the reviewing rules they count as real evidence rather than circularity. The one load-bearing self-citation worth flagging is the Fermi Golden Rule non-degeneracy Γ1 > 0 (Remark 1.2, (9.68), Proposition 9.6): the main theorem's internal-mode decay mechanism is conditional on a rigorous-numerics sign verification performed in the companion paper, and no artifact is shipped in this paper for independent re-checking. That is a correctness-verification concern, not a circular derivation, because the decay rate is the actual solution of the derived ODE with a pre-computed coefficient, not a quantity fitted to the quantity it predicts. Overall the derivation chain is logically linear: companion spectral facts -> bootstrap estimates -> ODE analysis -> Theorem 1.1, with no loop back to the theorem's statement, and the paper is self-contained against external benchmarks. Score 2 reflects the single load-bearing same-author citation whose computational artifact is not reproduced here.
Assumptions & free parameters
assumptions (6)
- domain assumption The Hamiltonian formulation and orthogonal gauge condition (1.19) reduce the full Yang-Mills-Higgs evolution to the nonlinear Klein-Gordon system (1.20)-(1.21).
- domain assumption The linearized operator M has purely absolutely continuous spectrum [1,∞), no threshold eigenvalue or resonance, and a unique positive internal mode eigenvalue λ² ∈ (0,1) of multiplicity two.
- domain assumption The Fermi Golden Rule constant Γ1 is strictly positive.
- domain assumption The distorted Fourier theory for M supplies the dispersive, integrated local energy, mapping, and transference estimates stated in Propositions 4.6, 4.7, and 4.10.
- domain assumption Local-in-time existence at H^N regularity and preservation of the orthogonal gauge follow from the global existence result of [BM85].
- domain assumption The vortex profiles (U, a_θ) are unique, smooth, and have sufficiently decaying derivatives, so that the matrix potential V satisfies |V(r)| ≲ ⟨r⟩^{-2}.
Cite this review
Pith. "Pith review of Asymptotic stability of the degree-one vortex in the abelian Yang-Mills-Higgs model." pith.science (2026). https://pith.science/paper/O34NX5U6
@misc{pith2026260810610,
author = {Pith},
title = {Pith review of: Asymptotic stability of the degree-one vortex in the abelian Yang-Mills-Higgs model},
year = {2026},
howpublished = {\url{https://pith.science/paper/O34NX5U6}},
note = {Machine review of arXiv:2608.10610}
}
abstract
We prove asymptotic stability of the degree-one vortex in the $(1+2)$-dimensional abelian Yang-Mills-Higgs model at the self-dual coupling, for small equivariant perturbations in weighted Sobolev spaces. The abelian Yang-Mills-Higgs model is a classical relativistic field theory on $(1+2)$-dimensional Minkowski space, describing a complex-valued field coupled to an electromagnetic potential and admitting topological solitons known as vortices. This paper is the final and main part of a three-paper series. Under the orthogonal gauge condition used here, perturbations of the vortex are governed by a system of nonlinear Klein-Gordon equations for the dynamical variables, coupled to an elliptic equation for the temporal component of the electromagnetic potential. The linearized operator has continuous spectrum $[1,\infty)$ and a single positive gap eigenvalue (internal mode) of multiplicity two, whose spectral properties, associated distorted Fourier theory, and linear decay estimates are developed in the two companion papers. The main difficulty is the long-time analysis of the coupled radiation--internal-mode dynamics. In two space dimensions the dispersive decay of the Klein-Gordon radiation is relatively weak, while the internal mode decays only on the long time scale dictated by nonlinear radiation damping. At the same time, the Klein-Gordon equations for the radiation contain non-spatially localized variable coefficient quadratic interactions, which cannot be treated perturbatively and require a normal form analysis. We prove decay of the radiation by combining a good-bad decomposition, a flat-sharp decomposition, and a space-time resonance analysis carried out relative to the flat Klein-Gordon flow. The passage between the flat analysis and the Klein-Gordon flow with potential is achieved through ILED and transference estimates derived from the distorted Fourier theory.
Figures
Reference graph
Works this paper leans on
-
[1]
[AMP23] M. Alejo, C. Mu˜ noz, and J. Palacios.On asymptotic stability of the sine-Gordon kink in the energy space. In:Comm. Math. Phys.402.1 (2023), pp. 581–636. [Alo+24] A. Alonso-Izquierdo, J. J. Blanco-Pillado, D. Migu´ elez-Caballero, S. Navarro-Obreg´ on, and J. Queiruga.Excited Abelian-Higgs vortices: Decay rate and radiation emission. In:Phys. Rev....
work page 2023
-
[2]
Boston, MA: Birkh¨ auser, 1980, pp. v+287. [KP23] A. Kairzhan and F. Pusateri.Asymptotic stability near the soliton for quartic Klein- Gordon in 1D. In:Pure Appl. Anal.5.4 (2023), pp. 795–832. [KLS14] C. Kenig, A. Lawrie, and W. Schlag.Relaxation of Wave Maps Exterior to a Ball to Harmonic Maps for All Data. In:Geometric and Functional Analysis24.2 (2014)...
work page 2023
-
[12]
CRM Proc. Lecture Notes. Providence, RI: Amer. Math. Soc., 1997, pp. 159–165. REFERENCES 135 [Gus02] S. Gustafson.Dynamic stability of magnetic vortices. In:Nonlinearity15.5 (2002), pp. 1717–1728. [GKT07] S. Gustafson, K. Kang, and T.-P. Tsai.Schr¨ odinger flow near harmonic maps. In: Communications on Pure and Applied Mathematics60.4 (2007), pp. 463–499....
work page 2002
-
[17]
CRM Proc. Lecture Notes. Amer. Math. Soc., 1997, pp. 199–220. [OS98a] Y. N. Ovchinnikov and I. M. Sigal.Long-time behaviour of Ginzburg-Landau vortices. In:Nonlinearity5 (1998), pp. 1295–1309. [OS98b] Y. N. Ovchinnikov and I. M. Sigal.The Ginzburg-Landau equation. III. Vortex dy- namics. In:Nonlinearity5 (1998), pp. 1277–1294. [OS02] Y. N. Ovchinnikov and...
arXiv 1998
-
[18]
Current directions in nonlinear partial differential equations (Provo, UT, 1987). 1991, pp. 821–827. [Zha] J. Zhao.Convergence of the self-dual abelian Higgs gradient flow. Preprint arXiv:2603.24900. Department of Mathematics and Computer Science, University of Cologne, Cologne, Germany Email address:jonas.luehrmann@uni-koeln.de Institute of Mathematics, ...
-
[27]
[KMM22] M. Kowalczyk, Y. Martel, and C. Mu˜ noz.Soliton dynamics for the 1D NLKG equa- tion with symmetry and in the absence of internal modes. In:J. Eur. Math. Soc. (JEMS)24.6 (2022), pp. 2133–2167. [KNS12] J. Krieger, K. Nakanishi, and W. Schlag.Global dynamics above the ground state energy for the one-dimensional NLKG equation. In:Math. Z.272.1–2 (2012...
work page 2022
-
[39]
[GPS22] P. Gravejat, E. Pacherie, and D. Smets.On the stability of the Ginzburg-Landau vortex. In:Proc. Lond. Math. Soc. (3)125.5 (2022), pp. 1015–1065. [Gus97] S. Gustafson.Stability of vortex solutions of the Ginzburg-Landau heat equation. In: Partial differential equations and their applications. Vol
work page 2022
-
[47]
[Cuc+24] S. Cuccagna, M. Maeda, F. Murgante, and S. Scrobogna.On asymptotic stability on a center hypersurface at the soliton for even solutions of the nonlinear Klein-Gordon equation when2ěpą 5 3 . In:SIAM J. Math. Anal.56.4 (2024), pp. 5445–5473. [CM08] S. Cuccagna and T. Mizumachi.On Asymptotic Stability in Energy Space of Ground States for Nonlinear S...
work page 2024
Show all 18 references
-
[252]
Kowalczyk and Y
[KM24] M. Kowalczyk and Y. Martel.Kink dynamics under odd perturbations forp1`1q- scalar field models with one internal mode. In:Math. Res. Lett.31.3 (2024), pp. 795–
2024
-
[316]
Krieger and W
136 REFERENCES [KS06] J. Krieger and W. Schlag.Stable manifolds for all monic supercritical focusing non- linear Schr¨ odinger equations in one dimension. In:J. Amer. Math. Soc.19.4 (2006), pp. 815–920. [KS07] J. Krieger and W. Schlag.On the focusing critical semi-linear wave ...
2006 arXiv
-
[406]
Oh.Long-term Behavior of Linear and Nonlinear Waves
[Oh] S.-J. Oh.Long-term Behavior of Linear and Nonlinear Waves. In:Proceedings of the International Congress of Mathematicians 2026 - Volume 5: Invited Lectures (Sections 9–11), pp. 348–367. [OS97] Y. N. Ovchinnikov and I. M. Sigal.Ginzburg-Landau equation. I. Static vortices....
2026
-
[473]
Contemp. Math. 2008, pp. 129–148. [Ger] P. Germain.A review on asymptotic stability of solitary waves in nonlinear dispersive problems in dimension one. Preprint arXiv:2410.04508. [GP22] P. Germain and F. Pusateri.Quadratic Klein-Gordon equations with a potential in one dimens...
2022 arXiv
-
[832]
Kowalczyk, Y
[KMM17a] M. Kowalczyk, Y. Martel, and C. Mu˜ noz.Kink dynamics in theϕ 4 model: asymptotic stability for odd perturbations in the energy space. In:J. Amer. Math. Soc.30.3 (2017), pp. 769–798. [KMM17b] M. Kowalczyk, Y. Martel, and C. Mu˜ noz.On asymptotic stability of nonlinear...
2017
-
[1468]
Bejenaru, J
[BKT13] I. Bejenaru, J. Krieger, and D. Tataru.A codimension two stable manifold of near soliton equivariant wave maps. In:Analysis & PDE6.4 (2013), pp. 829–858. [BPT] I. Bejenaru, M. Pillai, and D. Tataru.Near soliton evolution for2-equivariant Schr¨ odinger Maps in two space...
2013 arXiv
-
[1964]
Donninger, J
[Don+16] R. Donninger, J. Krieger, J. Szeftel, and W. W. Y. Wong.Codimension one stability of the catenoid under the vanishing mean curvature flow in Minkowski space. In: Duke Math. J.165.4 (2016), pp. 723–791. [GS07] Z. Gang and I. M. Sigal.Relaxation of solitons in nonlinear...
2016
-
[2018]
Vol. III. Invited lectures, pp. 2439–2466. [NS11] K. Nakanishi and W. Schlag.Global dynamics above the ground state energy for the focusing nonlinear Klein–Gordon equation. In:Journal of Differential Equations 250.5 (2011), pp. 2299–2333. REFERENCES 137 [NS12] K. Nakanishi and...
2011
-
[2025]
Lawrie, J
[Law+23] A. Lawrie, J. L¨ uhrmann, S.-J. Oh, and S. Shahshahani.Asymptotic Stability of Har- monic Maps on the Hyperbolic Plane under the Schr¨ odinger Maps Evolution. In: Communications on Pure and Applied Mathematics76.3 (2023), pp. 453–584. [LOS17] A. Lawrie, S.-J. Oh, and ...
2023 arXiv
-
[2026]
L¨ uhrmann and W
[LS23] J. L¨ uhrmann and W. Schlag.Asymptotic stability of the sine-Gordon kink under odd perturbations. In:Duke Math. J.172.14 (2023), pp. 2715–2820. [LS24] J. L¨ uhrmann and W. Schlag.On codimension one stability of the soliton for the 1D focusing cubic Klein-Gordon equation...
2023 arXiv
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.