pith. sign in

arxiv: 2605.12636 · v1 · pith:B7KDYGNOnew · submitted 2026-05-12 · 🧮 math.DS

Bifurcations and Structural Stability of Generic PC-HC Families

Alexey Dorovskiy This is my paper

Pith reviewed 2026-05-14 20:24 UTC · model grok-4.3

classification 🧮 math.DS
keywords bifurcationsstructural stabilityPC-HC familiesvector fieldstwo-spheremoderate equivalencebifurcation diagramsrealization lemma
0
0 comments X

The pith

Generic families of PC-HC vector fields on the sphere are structurally stable near their large bifurcation supports under moderate equivalence.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves the structural stability of generic one-parameter families of vector fields belonging to the PC-HC class on the two-dimensional sphere. It classifies these families up to moderate equivalence in neighborhoods of their large bifurcation supports, taking the configuration of the support and the characteristic set as complete invariants. The work also establishes a realization lemma that shows every admissible configuration can occur and constructs the corresponding bifurcation diagrams. A reader would care because the result supplies a finite list of normal forms that completely describe the local qualitative dynamics for all such generic families.

Core claim

Generic families of vector fields of the PC-HC class on S² are structurally stable. They admit a classification up to moderate equivalence in neighborhoods of their large bifurcation supports, with the configuration and the characteristic set serving as invariants. The realization lemma holds, and explicit bifurcation diagrams can be constructed for each equivalence class.

What carries the argument

The large bifurcation support together with its configuration and characteristic set, which function as complete invariants under moderate equivalence for the generic families.

Load-bearing premise

The families under study must be generic inside the PC-HC class so that their local behavior is fully determined by the configuration and characteristic set.

What would settle it

A concrete counter-example would be any generic PC-HC family that undergoes a qualitative change in its phase portrait inside a neighborhood of its large bifurcation support after an arbitrarily small perturbation that remains inside the PC-HC class.

Figures

Figures reproduced from arXiv: 2605.12636 by Alexey Dorovskiy.

Figure 1
Figure 1. Figure 1: Examples of phase portraits of unperturbed fields from families of different [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Phase portrait of the unperturbed field from a PC-HC family of configuration [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Bifurcation scheme 8 [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Neighborhood of the large bifurcation support of a family of configuration 101. [PITH_FULL_IMAGE:figures/full_fig_p015_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Part of the annulus UHC Consider a local chart on the phase space S 2 with polar coordinates (r, ϕ). Let UHC be the annulus 4 ≤ r ≤ 6. Define a vector field v on it so that it has a homo￾clinic curve γh of the saddle-node N and no other degeneracies. Let this curve γh be the circle {r = 5}, and let the saddle￾node N be located at the point (5, π/2). For example, the field v in a neighborhood of the curve {… view at source ↗
Figure 6
Figure 6. Figure 6: Domains obtained at Step 2, adjacent to the curve [PITH_FULL_IMAGE:figures/full_fig_p025_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Construction of separatrices corresponding to points of characteristic sets from [PITH_FULL_IMAGE:figures/full_fig_p025_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Curves in the rectangle Ub obtained after completing Step 1 [PITH_FULL_IMAGE:figures/full_fig_p026_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Curves in the rectangle Ub obtained after completing Step 4 for configurations 111 and 011. 26 [PITH_FULL_IMAGE:figures/full_fig_p026_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Curves in the rectangle Ub obtained after completing Step 4 for configurations 100 and 000. repellers. Also draw a curve connecting the point b to the repeller lying in the same rectangle as b. Denote this curve by β1. (An example is shown in [PITH_FULL_IMAGE:figures/full_fig_p028_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Simple bifurcation diagram of a PC-HC family with configurations with [PITH_FULL_IMAGE:figures/full_fig_p032_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Simple bifurcation diagram of a PC-HC family with configurations with [PITH_FULL_IMAGE:figures/full_fig_p033_12.png] view at source ↗
read the original abstract

In this paper the structural stability of generic families of vector fields of the PC-HC class on the two-dimensional sphere $S^2$ is proved. A classification of these families up to moderate equivalence in neighborhoods of their large bifurcation supports is presented, based on such invariants as the configuration and the characteristic set. The realization lemma is proved. Furthermore, bifurcation diagrams for the considered class of families are constructed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves the structural stability of generic families of vector fields of the PC-HC class on the two-dimensional sphere S². It classifies these families up to moderate equivalence near their large bifurcation supports using the configuration and characteristic set as invariants, proves the realization lemma, and constructs the associated bifurcation diagrams.

Significance. If the central claims hold, the work advances the classification of bifurcations for a concrete class of vector fields on a compact manifold. The explicit invariants, realization construction, and diagrams provide a usable framework that could template similar results for other generic families in low-dimensional dynamics.

major comments (2)
  1. [Realization lemma section] Realization lemma section: the construction of local models does not include an explicit verification that the models glue consistently on the compact S² without generating new periodic orbits or heteroclinic connections outside the large bifurcation support; this check is required for the structural-stability claim to follow from the local classification.
  2. [Classification section] Classification section: the assertion that configuration plus characteristic set form a complete set of invariants under moderate equivalence lacks an argument ruling out global topological obstructions on S² (e.g., linking numbers or Euler-class effects) that could separate orbits with identical local invariants.
minor comments (2)
  1. [Bifurcation diagrams] The bifurcation diagrams would be clearer if each panel were labeled with the precise parameter values at which the depicted bifurcations occur.
  2. [Main text] The definition of moderate equivalence is referenced repeatedly but is not restated in the main body after the preliminaries; a brief recall would aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major comments point by point below. We will revise the manuscript to incorporate additional explicit arguments and verifications as outlined in our responses.

read point-by-point responses

  1. Referee: [Realization lemma section] Realization lemma section: the construction of local models does not include an explicit verification that the models glue consistently on the compact S² without generating new periodic orbits or heteroclinic connections outside the large bifurcation support; this check is required for the structural-stability claim to follow from the local classification.

    Authors: We agree that an explicit gluing verification strengthens the argument. In the revised version we will add a short paragraph immediately after the realization lemma stating that the local models are supported in disjoint neighborhoods whose union is the large bifurcation support; by the genericity conditions defining the PC-HC class (transversality of intersections and absence of other singularities or connections), any orbit leaving these neighborhoods cannot close or connect without violating the defining assumptions. Compactness of S² then guarantees no new periodic orbits or heteroclinic connections appear globally. This makes the passage from local classification to structural stability fully rigorous. revision: yes

  2. Referee: [Classification section] Classification section: the assertion that configuration plus characteristic set form a complete set of invariants under moderate equivalence lacks an argument ruling out global topological obstructions on S² (e.g., linking numbers or Euler-class effects) that could separate orbits with identical local invariants.

    Authors: The configuration invariant is constructed precisely to record the global combinatorial arrangement of all orbits on S², thereby encoding linking data and the overall topology. The characteristic set supplements this with local dynamical data. On the sphere the Euler class of the tangent bundle is fixed and the moderate equivalence relation preserves the global configuration, so no additional independent invariants arise. Nevertheless, to make the completeness argument fully explicit we will insert a brief subsection after the classification theorem that rules out linking-number or Euler-class obstructions by showing they are already determined by the configuration. This constitutes a partial revision: the claim remains unchanged, but its justification is expanded. revision: partial

Circularity Check

0 steps flagged

No circularity: classification and realization lemma rest on independent invariants and standard moderate equivalence

full rationale

The derivation proceeds by defining configuration and characteristic-set invariants for PC-HC families, proving they classify orbits under moderate equivalence near large bifurcation supports, and establishing a realization lemma that constructs the families from these invariants. None of these steps reduces by construction to a fitted parameter, a self-citation chain, or a renaming of the target stability statement; the local models and gluing arguments are presented as external to the final stability conclusion. The paper therefore remains self-contained against external benchmarks in bifurcation theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the domain definition of the PC-HC class and standard background results from dynamical systems and bifurcation theory on manifolds.

axioms (2)
  • domain assumption The PC-HC class of vector fields is a well-defined and standard object in the literature.
    The paper assumes the reader knows the precise definition of PC-HC families.
  • domain assumption Moderate equivalence is an appropriate equivalence relation for classifying families near bifurcation supports.
    Invoked for the classification statement.

pith-pipeline@v0.9.0 · 5347 in / 1204 out tokens · 57029 ms · 2026-05-14T20:24:37.220100+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages · 1 internal anchor

  1. [1]

    I.; Afrajmovich, V

    Arnold, V. I.; Afrajmovich, V. S.; Ilyashenko, Yu. S.; Shilnikov, L. P. Bifurcation the- ory in Bifurcation theory and catastrophe theory. Translated from the 1986 Russian original by N. D. Kazarinoff, Reprint of the 1994 English edition from the series En- cyclopaedia of Mathematical Sciences [Dynamical systems. V, Encyclopaedia Math. Sci., 5, Springer, ...

    work page 1986

  2. [2]

    Large bifurcation supports

    Goncharuk, N.B.; Ilyashenko, Yu.S. Large bifurcation supports. Apr. 2018 arXiv: 1804.04596

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  3. [3]

    Global bifurcations in generic one-parameter families with a parabolic cycle on S2

    Goncharuk, N.; Ilyashenko Yu.S.; Solodovnikov, N. Global bifurcations in generic one-parameter families with a parabolic cycle on S2. In: Moscow Mathematical Jour- nal 19.4 , pp. 709–737

    work page

  4. [4]

    Germs of bifurcation diagrams and SN-SN families

    Ilyashenko, Yu. Germs of bifurcation diagrams and SN-SN families. Chaos. 2021 Jan;31(1):013103. doi: 10.1063/5.0030742. PMID: 33754753

    work page doi:10.1063/5.0030742 2021

  5. [5]

    Global bifurcations in the two-sphere: a new perspective, Invent

    Ilyashenko, Yu.; Kudryashov, Yu; Schurov, I. Global bifurcations in the two-sphere: a new perspective, Invent. math., 2018, Volume 213, Issue 2, pp 461–506

    work page 2018

  6. [6]

    Families of vector fields with finite modulus of stability, Lecture Notes in Math

    Malta, I.P.; Palis, J. Families of vector fields with finite modulus of stability, Lecture Notes in Math. 1981, v. 898, p. 212–229

    work page 1981

  7. [7]

    Publications Mathématiques de l’IHÉS, 43 (1974), p

    SotomayorJ.Genericone-parameterfamiliesofvectorfieldsontwo-dimensionalman- ifolds. Publications Mathématiques de l’IHÉS, 43 (1974), p. 5–46

    work page 1974

  8. [8]

    Global bifurcations in generic one-parameter families on S2, Regular and Chaotic Dynamics, 2018, vol

    Starichkova, V. Global bifurcations in generic one-parameter families on S2, Regular and Chaotic Dynamics, 2018, vol. 23, no. 6, pp. 767–784

    work page 2018

  9. [9]

    Ordinary Differential Equations 35

    Bufetov, A.I.; Goncharuk, N.B.; Ilyashenko, Yu.S. Ordinary Differential Equations 35

    work page