REVIEW 2 major objections 5 minor 28 references
New structurally unstable families of planar vector fields
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Ears and glasses vector fields are structurally unstable under weak equivalence, with a ratio of saddle characteristic numbers as the invariant.
desk verdict New non-polycycle examples with a real numerical invariant and a clean proof architecture; the main risk is the imported sparkling-connection estimate, which a referee should verify. 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 engine is the asymptotic law for sparkling separatrix connections: when a saddle loop is broken with splitting parameter $\varepsilon>0$, the winding separatrix forms a connection with the stable separatrix after $n$ turns exactly for parameters satisfying $\ln(-\ln\varepsilon_n(\beta))=n\ln\lambda(0,\beta)+O(1)$, with the error uniform in the transverse parameter $\beta$. This turns the discrete winding count into the logarithmic coordinate $\ln(-\ln\varepsilon)/\ln\lambda$, and a homeomorphism of parameter spaces preserves the ordered sequence of these connections, forcing the difference of these coordinates for two equivalent families to stay bounded. The second estimate, $\ln\delta=\lambda(\alpha)\rho(\alpha)\ln\varepsilon+O(1)$ on the synchronizing subfamily, is where the product $\lambda\rho$ enters and fixes the exact form of the invariant as $-\ln\rho/\ln\lambda$.
What would settle it
Compute the splitting parameters $\varepsilon$ and $\delta$ along the synchronizing subfamily of an explicit ears or glasses unfolding and compare $\ln\delta$ with $\lambda(\alpha)\rho(\alpha)\ln\varepsilon$: a deviation larger than $O(1)$ as $\varepsilon,\delta\to0$ would break Eq. (10) and with it the invariant. The direct decisive test would be to exhibit two unfoldings that are weakly topologically equivalent with Sep-tracing but whose central fields have different values of $-\ln\rho/\ln\lambda$; the theorem asserts such a pair cannot exist.
Extended reading notes
Core claim
The central claim is Theorem 4: on the union $M=E\sqcup G$ of vector fields with “ears” or “glasses” separatrix graphs, the function $\varphi(v)=-\ln\rho(v)/\ln\lambda(v)$ is a robustly invariant function for weak topological equivalence with Sep-tracing. The manifold has codimension three and is topologically distinguished, so every transverse three-parameter unfolding of such a field is structurally unstable, and the last two conclusions of the theorem—$\varphi(M)=\mathbb{R}_+$ and $d\varphi\neq0$—show the invariant is genuinely non-degenerate. The proof compares two equivalent unfoldings, applies the growth law for sparkling separatrix connections to each of the two broken loops to obtain logarithmic splitting asymptotics, and then restricts to a synchronizing subfamily in which the two splitting parameters are linked by a correspondence map; the limit of the ratio of log-log splitting parameters gives $\lambda\rho$, which forces $\varphi(v_0)=\tilde\varphi(\tilde v_0)$.
Load-bearing premise
The proof rests on the imported growth law $\ln(-\ln\varepsilon_n(\beta))=n\ln\lambda(0,\beta)+O(1)$ for sparkling separatrix connections, with the $O(1)$ term uniform in the parameters; if that estimate, or the analogous synchronizing estimate $\ln\delta=\lambda\rho\ln\varepsilon+O(1)$, fails, the forced equality of the invariants no longer follows.
Editorial extensions
If this is right
- Every transverse three-parameter unfolding of an ears or glasses vector field is structurally unstable with respect to weak topological equivalence with Sep-tracing.
- The function $\varphi(v)=-\ln\rho(v)/\ln\lambda(v)$ becomes a numerical invariant on an open set of non-local three-parameter families, so the instability reaches beyond germs at the degenerate field.
- Since $\varphi$ takes all positive values and $d\varphi\neq0$, the classification of these unfoldings has a continuum of distinct classes.
- The ears and glasses configurations join the “tears of the heart” polycycle as known codimension-three degeneracies whose generic unfoldings escape structural stability under this equivalence.
Reading between the lines
- The same two-loop-plus-bridge architecture could plausibly be stacked: each additional loop that feeds a bridge would force another ratio of log-characteristic numbers, so configurations of this shape may give families with many independent invariants at finite codimension.
- The invariance argument never invokes Hölder regularity of the parameter homeomorphism, unlike the classical saddle-loop modulus; this suggests ears and glasses are unstable under a strictly weaker equivalence than the saddle-loop example, a consequence the authors do not draw explicitly.
- The two asymptotic estimates (3) and (10) could be checked numerically on a concrete unfolding; since they are imported rather than proved here, a direct measurement of their $O(1)$ terms would test the mechanism without waiting for a full proof.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies global bifurcations in generic 3-parameter families of vector fields on the two-sphere. It introduces two new classes of degenerate vector fields, called 'ears' and 'glasses', and proves (Theorems 1 and 4) that the function φ(v) = -ln ρ(v)/ln λ(v) is a robust invariant for transverse 3-parameter unfoldings with respect to weak topological equivalence with Sep-tracing. Consequently, all such unfoldings are structurally unstable, and an open set of non-local 3-parameter families carries a numerical invariant (Theorem 2). The proof reduces the invariance to asymptotic comparisons of separatrix splitting parameters around the 'ears' and 'glasses' graphs, using the theory of 'sparkling separatrix connections' imported from prior work.
Significance. If correct, the paper provides two new examples of locally generic structurally unstable 3-parameter families, complementing the 'tears of the heart' example and simplifying the construction because the separatrix graph is not a polycycle. The invariant is explicitly computable and the overall reduction from a dynamical equivalence to an algebraic identity is transparent. The paper also contains a clean reusable statement (Theorem 3) for the saddle-loop bifurcation. However, the central quantitative estimate (3) is not proved in the manuscript and is only cited, with no explicit statement of hypotheses or uniformity, and the proof of the synchronizing lemma is compressed. These points need to be addressed.
major comments (2)
- [Sec. 3.2, Eq. (3)] The paper's central asymptotic estimate ln(-ln ε_n(β)) = n ln λ(0,β) + O(1) is imported from [16, Lemma 4] and [18, Lemma 6] as a black box. The text asserts that the O(1) term is uniformly bounded in a neighborhood {0<ε<C, ‖β‖<C}, but no proof is given and the hypotheses of the cited lemmas are not stated. This uniformity is essential because it is used in the limit formulas (7)-(8) and in the synchronizing argument of Sec. 4.3; if the O(1) constant grew as β→0, those limits would fail. The authors should either prove (3) with the required uniformity or state and prove a precise lemma, giving a full reference to the exact statement in [16] or [18] and explaining how the uniformity follows.
- [Sec. 4.3, Lemma 1] The proof that the synchronizing subfamily E satisfies ln(-ln ε)/ln(-ln δ) → 1 is too compressed. The derivation of Eq. (10), ln δ = λ(α)ρ(α) ln ε + O(1), relies on an assertion about correspondence maps of a chain of saddles that is not proved in detail; the text says 'for a chain of maps one should multiply the exponents' and cites references that do not clearly cover the composition of a loop and a bridge map. In the 'ears' case the argument is reduced to two displayed equalities followed by 'Similarly'. Since Lemma 1 is the step that forces φ(v0) = φ̃(ṽ0), a fuller proof is needed.
minor comments (5)
- [Sec. 1, p.2] The word 'arbitrafily' is a typo for 'arbitrarily' in the description of metrically generic 3-parameter families.
- [Sec. 4.3, proof of Lemma 1] The citation 'see e.g. [16, Lemma 5, 10, Lemma 1]' appears to be miscopied, since reference [10] concerns the Krylov–Bogolyubov procedure and does not contain a saddle correspondence map. Please correct the citation or explain which lemma supplies the saddle map estimate.
- [Sec. 4.1.2] The claim that M is an embedded Banach submanifold of codimension 3 is justified in one sentence by taking ψ = (ε,σ,δ). The full rank of this map is not demonstrated; please add a brief argument showing that the three splitting parameters are independent.
- [Sec. 4.3, after Eq. (10)] The step 'Taking logarithms of both sides, we get (9)' is not immediate. Since (10) is an asymptotic relation for the logarithms themselves, please add one line showing that ln(-ln δ) = ln(-ln ε) + ln(λρ) + o(1), which gives the desired ratio.
- [Sec. 2.2.1, Definition 5] The definition of 'topologically distinguished' could be phrased more clearly: it should state explicitly that there exists a neighbourhood U of M such that no vector field in U\M is orbitally topologically equivalent to a vector field in M.
Circularity Check
No circularity: the invariant proof is a genuine derivation from an independent published estimate, not a restatement of its inputs.
full rationale
The paper's invariant phi(v) = -ln rho(v)/ln lambda(v) is defined on the ears/glasses manifolds and proven invariant via the asymptotic relations (7), (8), and the synchronizing lemma (9)-(10). The central quantitative engine, Eq. (3), is imported from [16, Lemma 4] and [18, Lemma 6], prior published results by overlapping authors; the paper states 'The following theorem reinterprets results of [16]' and 'Due to [16, Lemma 4]'. This is a load-bearing self-citation, but it is not circular: [16] is an independently published, peer-reviewed proof (Inventiones 213:461-506) whose target portrait ('tears of the heart') differs from the ears/glasses configurations, and the estimate concerns the same local 'sparkling separatrix connection' mechanism rather than the target invariant. The cited estimate is not derived from the present paper's definition of phi, nor is any parameter fitted to force phi's invariance. Eq. (10) is a standard saddle correspondence estimate, and the synchronizing subfamily argument does not presuppose the equality it proves. The robustness and topological-distinguishedness parts are argued from structural stability and the Sep-tracing property, not from the conclusion. Accordingly no step reduces by construction to its inputs.
Assumptions & free parameters
assumptions (4)
- standard math Correspondence maps of a hyperbolic saddle with characteristic number μ are asymptotically x ↦ C x^μ, and exponents multiply along a chain of maps ([16, Lemma 5], [10, Lemma 1]).
- domain assumption Sparkling separatrix connection asymptotic: the curves ε = ε_n(β) satisfy ln(-ln ε_n(β)) = n ln λ(0,β) + O(1), uniformly in β ([16, Lemma 4], [18, Lemma 6]).
- domain assumption M = E ⊔ G is an embedded codimension-3 Banach submanifold of Vect with defining submersion ψ = (ε, σ, δ), the three separatrix splitting parameters; and M is topologically distinguished in a neighborhood.
- standard math Classical structural stability of generic planar vector fields (Andronov-Pontryagin, Peixoto) and Sotomayor's quasi-generic classification.
Cite this review
Pith. "Pith review of New structurally unstable families of planar vector fields." pith.science (2026). https://pith.science/paper/TQZHD5M2
@misc{pith2026190802693,
author = {Pith},
title = {Pith review of: New structurally unstable families of planar vector fields},
year = {2026},
howpublished = {\url{https://pith.science/paper/TQZHD5M2}},
note = {Machine review of arXiv:1908.02693}
}
abstract
We study global bifurcations in generic 3-parameter families of vector fields on $S^2$. In the recent article [arXiv:1506.06797], Ilyashenko, Kudryashov, and Schurov show that 3-parameter unfoldings of vector fields with the polycycle "tears of the heart" are structurally unstable. We consider 3-parameter unfoldings of vector fields with separatrix graphs "ears" and "glasses", and prove that these families are structurally unstable as well. We also study in more details the classical bifurcation of a saddle loop, and use it as a building block in our main example.
Figures
Reference graph
Works this paper leans on
-
[16]
Global bifurcations in the two-sphere: a new perspective
Yu. S. Ilyashenko, Yu. G. Kudryashov, and I. Schurov. “Global bifurcations in the two-sphere: a new perspective”. In: Inventiones mathematicae 213.2 (Aug. 2018), pp. 461–506. issn: 0020-9910. doi: 10.1007/s00222-018-0793-1 . arXiv: 1506:06797. url: http://rdcu.be/IqCp
-
[18]
Bifurcations of the polycycle "tears of the heart": multiple numerical invariants
Yu. G. Kudryashov and N. Goncharuk. Bifurcations of the polycycle “tears of the heart”. multiple numerical invariants . to appear in Moscow Math. J. arXiv: 1808.07459 [math.DS]
-
[1]
A. A. Andronov, E. A. Leontovich, I. I. Gordon, and A. G. Ma˘ ıer. Qualitative theory of second-order dynamic systems . New York-Toronto, Ont. and Jerusalem- London: Halsted Press [A division of John Wiley & Sons] and Israel Program for Scientific Translations, 1973. xxiii+524. Trans. of Kachestvennaya teoriya di- namicheskih sistem vtorogo poryadka . Russ...
work page 1973
-
[2]
A. A. Andronov, E. A. Leontovich, I. I. Gordon, and A. G. Ma˘ ıer. Theory of bifurcations of dynamic systems on a plane . Russian. New York-Toronto, Ont. and Jerusalem-London: Halsted Press [A division of John Wiley & Sons] and Israel Program for Scientific Translations, 1973. xiv+482. Trans. of Teoriya bifurkaciy dinamicheskih sistem na ploskosti . Russia...
work page 1973
-
[3]
A. Andronov and L. Pontrjagin. “Syst` emes grossiers”. In:Dokl. Akad. Nauk. SSSR 14 (1937), pp. 247–251
work page 1937
-
[4]
V. I. Arnold, V. S. Afrajmovich, Yu. S. Ilyashenko, and L. P. Shilnikov. Dy- namical Systems V. Bifurcation Theory and Catastrophe Theory . Ed. by A. V. I. Vol. 5. Encyclopaedia of Mathematical Sciences. Berlin: Springer-Verlag Berlin Heidelberg, 1994, pp. IX, 274. doi: 10.1007/978- 3- 642- 57884- 7. url: http: //www.springer.com/gp/book/9783540181736
arXiv 1994
-
[5]
Dynamical Systems with Stable Structures
H. F. DeBaggis. “Dynamical Systems with Stable Structures”. In: Contributions to the Theory of Nonlinear Oscillations . Ed. by S. Lefschetz. Vol. II. Annals of Mathematics Studies 29. Princeton University Press, 1952, pp. 37–60. url: http: //www.jstor.org/stable/j.ctt1bgz9z7.6
work page 1952
-
[6]
Bifurcations of the ‘heart’ polycycle in generic 2-parameter fam- ilies
A. V. Dukov. “Bifurcations of the ‘heart’ polycycle in generic 2-parameter fam- ilies”. Trans. by I. Marshall. In: Transactions of the Moscow Mathematical So- ciety (2018), pp. 209–229. doi: 10 . 1090 / mosc / 284. Trans. of “Bifurkacii poli- cikla ‘serdce’ v tipichnyh dvuparametricheskih semeistvah”. In:Trudy Moskovskogo Matematicheskogo Obshchestva 79.2...
work page 2018
Show all 28 references
-
[7]
Functional invariants in generic semilocal families of vector fields on two-dimensional sphere
A. V. Dukov. “Functional invariants in generic semilocal families of vector fields on two-dimensional sphere”. In preparation
-
[8]
Numerical invariants in generic semilocal families of vector fields on two-dimensional sphere
A. V. Dukov and Yu. S. Ilyashenko. “Numerical invariants in generic semilocal families of vector fields on two-dimensional sphere”. In preparation
-
[9]
On the saddle loop bifurcation
F. Dumortier and R. Roussarie. “On the saddle loop bifurcation”. In: Bifurcations of Planar Vector Fields (Luminy, France, Sept. 18–22, 1989). Ed. by J.-P. Fran¸ coise and R. Roussarie. Vol. 1455. Lecture Notes in Mathematics. Berlin, Heidelberg: Springer, 1990, pp. 44–73. isb...
1989 doi
-
[10]
Convergence of the Krylov–Bogolyubov Procedure in Bowan’s Example
T. I. Golenishcheva–Kutuzova and V. A. Kleptsyn. “Convergence of the Krylov–Bogolyubov Procedure in Bowan’s Example”. In: Math. Notes 82.5 (2007), pp. 608–618. doi: 10.1134/S0001434607110041
2007 doi
-
[11]
N. B. Goncharuk and Yu. S. Ilyashenko. Large bifurcation supports . Apr. 2018. arXiv: 1804.04596. 16 New structurally unstable families References
2018 arXiv
-
[12]
Equivalence relations in bifurcations of planar vector fields
N. Goncharuk and Yu. S. Ilyashenko. “Equivalence relations in bifurcations of planar vector fields”. In preparation
-
[13]
Goncharuk, Yu
N. Goncharuk, Yu. S. Ilyashenko, and N. Solodovnikov. Global bifurcations in generic one-parameter families with a parabolic cycle on S2. To appear in Moscow Math. Jorunal. arXiv: 1707.09779 [math.DS]
-
[14]
Bifurcations of planar vector fields: new examples of families with functional invariants
N. Goncharuk and Yu. G. Kudryashov. “Bifurcations of planar vector fields: new examples of families with functional invariants”. In preparation
-
[15]
Towards the General Theory of Global Planar Bifurcations
Yu. S. Ilyashenko. “Towards the General Theory of Global Planar Bifurcations”. In: Mathematical Sciences with Multidisciplinary Applications. In Honor of Pro- fessor Christiane Rousseau. And In Recognition of the Mathematics for Planet Earth Initiative . Ed. by B. Toni. Vol. 1...
2016 doi
-
[17]
Global Bifurcations in Generic One- Parameter Families with a Separatrix Loop on S2
Yu. S. Ilyashenko and N. Solodovnikov. “Global Bifurcations in Generic One- Parameter Families with a Separatrix Loop on S2”. In: Moscow Mathematical Journal 18.1 (January-March 2018), pp. 93–115. issn: 1609-4514. url: http : //www.mathjournals.org/mmj/2018-018-001/2018-018-00...
2018
-
[19]
Kuznetsov
Yu. Kuznetsov. Elements of Applied Bifurcation Theory. 3rd ed. Vol. 112. Applied Mathematical Sciences. New York: Springer-Verlag, 2004. XXII, 632. isbn: 978-1- 4757-3978-7. doi: 10.1007/978-1-4757-3978-7
2004 doi
-
[20]
Families of vector fields with finite modulus of stability
I. P. Malta and J. Palis. “Families of vector fields with finite modulus of stability”. In: Dynamical Systems and Turbulence. Proceedings of the Symposium (University of Warwick, 1979–1980). Ed. by D. Rand and L.-S. Young. Vol. 898. Lecture Notes in Mathematics. Berlin, Heidelbe...
1979 doi
-
[21]
On Structural Stability
M. M. Peixoto. “On Structural Stability”. In: Annals of Mathematics . Second Series 69.1 (Jan. 1959), pp. 199–222. doi: 10.2307/1970100. url: http://www. jstor.org/stable/1970100
1959
-
[23]
Structural stability on two-dimensional manifolds. A further re- mark
M. M. Peixoto. “Structural stability on two-dimensional manifolds. A further re- mark”. In: Topology 2.1 (Jan. 1, 1963), pp. 179–180. issn: 0040-9383. doi: 10 . 1016/0040-9383(63)90032-6. url: http://www.sciencedirect.com/science/ article/pii/0040938363900326 (visited on 06/20/2017)
1963
-
[24]
Non-local two-parametric bifurcations of planar vector fields
V. Sh. Roitenberg. “Non-local two-parametric bifurcations of planar vector fields”. PhD thesis. Yaroslavl State Technical University, 2000
2000
-
[25]
On bifurcation of vector fields with a separatrix winding onto a polycycle formed by separatrices of two saddles of different types
V. Sh. Roitenberg. “On bifurcation of vector fields with a separatrix winding onto a polycycle formed by separatrices of two saddles of different types”. In: Almanac of contemporary science and education 7 (2012), pp. 116–121. issn: 1993-5552
2012
-
[26]
Weak and continuous equivalences for families on line diffeomor- phisms
R. Roussarie. “Weak and continuous equivalences for families on line diffeomor- phisms”. English. In: Dynamical systems and bifurcation theory, Proc. Meet. (Rio de Janeiro/Braz. 1985). Pitman Res. Notes Math. Ser. 160. 1987, pp. 377–385
1985
-
[27]
On bifurcation of separatrix contours with two saddles
M. V. Shashkov. “On bifurcation of separatrix contours with two saddles”. In: International journal of Bifurcation and Chaos 2.4 (1992), pp. 911–915. doi: 10. 1142 / S0218127492000525. url: https : / / www . worldscientific . com / toc / ijbc/02/04
1992
-
[28]
Generic one-parameter families of vector fields on two-dimensional manifolds
J. Sotomayor. “Generic one-parameter families of vector fields on two-dimensional manifolds”. In: Publications Math´ ematiques de l’Institut des Hautes´Etudes Scien- tifiques 43.1 (1974), pp. 5–46.issn: 0073-8301, 1618-1913. doi: 10.1007/BF02684365
1974 doi
-
[29]
Global Bifurcations in Generic One-parameter Families on S2
V. Starichkova. “Global Bifurcations in Generic One-parameter Families on S2”. In: Regular and Chaotic Dynamics 23.6 (2018), pp. 767–784. issn: 1560-3547. doi: 10.1134/S1560354718060102. 18
2018 doi
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.