Generic families of circle diffeomorphisms have many coexisting periodic orbits

Ivan Shilin

arxiv: 2604.16125 · v1 · submitted 2026-04-17 · 🧮 math.DS

Generic families of circle diffeomorphisms have many coexisting periodic orbits

Ivan Shilin This is my paper

Pith reviewed 2026-05-10 07:26 UTC · model grok-4.3

classification 🧮 math.DS

keywords circle diffeomorphismsrotation numberperiodic orbitsgeneric familiesweak structural stabilityBaire categoryweak equivalence classes

0 comments

The pith

Generic families of circle diffeomorphisms have the property that every parameter with an irrational rotation number can be approximated by parameters where the diffeomorphisms possess arbitrarily large numbers of coexisting periodic orbits

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

The paper proves that in a generic one-parameter family of circle diffeomorphisms, any parameter value giving an irrational rotation number can be approached by other parameter values where the map has as many periodic orbits as desired. This approximation shows that the presence of irrational rotation numbers prevents weak structural stability, since nearby maps can introduce unbounded numbers of new periodic points. The result further establishes that any locally residual collection of families with nonconstant rotation numbers contains a continuum of distinct weak equivalence classes. A reader would care because rotation numbers alone fail to determine the full periodic structure in typical families, with many periodic orbits forced to coexist densely near irrational cases.

Core claim

We prove that for a generic family of circle diffeomorphisms every parameter value that corresponds to an irrational rotation number is approximated by parameter values for which the diffeomorphisms have arbitrarily large finite numbers of periodic orbits. This phenomenon implies that families where irrational rotation numbers appear are not weakly structurally stable. Moreover, we prove that any locally residual set of one-parameter families with nonconstant rotation number yields a continuum of weak equivalence classes of families.

What carries the argument

Baire category arguments in the space of one-parameter families that locate parameters with many periodic orbits near any given irrational rotation number parameter

If this is right

Families exhibiting irrational rotation numbers cannot be weakly structurally stable
Any locally residual set of one-parameter families with nonconstant rotation number contains a continuum of weak equivalence classes
The number of coexisting periodic orbits becomes arbitrarily large in parameters approximating any irrational rotation number
Weak equivalence distinguishes families even when their rotation number functions are similar

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The density of high-periodicity parameters near irrationals may force similar proliferation phenomena in other one-parameter families on the circle
Numerical sampling of parameter space in concrete families could locate sequences of maps with increasing numbers of periodic orbits converging to a given irrational case
The continuum of weak equivalence classes suggests that rotation number is too coarse an invariant to classify generic families up to weak equivalence

Load-bearing premise

The family belongs to a generic residual subset of all possible one-parameter families of circle diffeomorphisms so that Baire category methods can locate the approximating parameters

What would settle it

A concrete counterexample would be a specific family outside the generic set where some irrational rotation number parameter has a whole interval of nearby parameters in which every diffeomorphism has only a bounded number of periodic orbits

read the original abstract

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.

Desk Editor's Note private letter to a colleague

The paper proves that generic families allow approximating irrational rotation numbers with parameters having arbitrarily many periodic orbits, though the C^infty perturbation density requires careful checking.

read the letter

The punchline is that for a generic one-parameter family of circle diffeomorphisms, any parameter with an irrational rotation number can be approximated by parameters where the map has arbitrarily many distinct periodic orbits. This also implies a continuum of weak equivalence classes for families with varying rotation numbers. The paper establishes this by considering the space of all such families and showing that a residual subset satisfies the approximation property. It uses the fact that rotation numbers are upper semi-continuous and that hyperbolic periodic orbits persist under small C1 perturbations. The argument intersects countably many open dense sets U_N, where each U_N consists of families in which every irrational parameter is close to one with at least N periodic orbits. This is new because earlier results on circle maps and rotation numbers did not specifically address this approximation by high-multiplicity periodic orbit parameters in the family setting. The continuum part is also a fresh statement. The paper does well in framing the result in terms of weak structural stability, showing that families with irrational rotations are not stable in that sense. The abstract is precise about what is proved. The potential soft spot is in the density of those U_N sets. To perturb a given family to add many periodic orbits near a specific irrational parameter, you have to do it in the C^infty topology, meaning all derivatives must be controlled. If the construction for creating extra periodic points of high iterates disrupts the smoothness or the rotation numbers of nearby parameters, then density might fail. The stress-test note highlights this exactly. On reading the paper, the proof would need to provide an explicit perturbation scheme that works arbitrarily small in C^infty norm. If it does, the argument goes through; if not, the residuality claim weakens. Overall, the central claim seems plausible given the tools of one-dimensional dynamics, but the details of the perturbation are critical. This paper is for researchers in dynamical systems who study generic properties of circle diffeomorphisms and questions of structural stability. A reader familiar with Herman's work or other results on circle maps would find the extension to families useful. It deserves a serious referee because the theorem is stated clearly, the methods are standard but applied to a new statement, and verifying the proof would advance the field even if revisions are needed. I would recommend sending this to peer review.

Referee Report

2 major / 2 minor

Summary. The paper proves that a residual subset of one-parameter families of C^∞ circle diffeomorphisms has the property that every parameter t with irrational rotation number is approximated by parameters at which the diffeomorphism possesses arbitrarily many distinct periodic orbits (all sharing the same rational rotation number). It further shows that such families are not weakly structurally stable and that any locally residual set of families with non-constant rotation number yields a continuum of weak equivalence classes.

Significance. If the central genericity statement holds, the result is a solid contribution to the study of generic properties in one-parameter families of circle maps. It extends classical work on rotation numbers and periodic orbits by showing that irrational rotation numbers are typically accompanied by dense parameter values with high-periodic-orbit multiplicity. The Baire-category approach is standard and appropriate for this setting; the explicit perturbation construction to achieve density is a strength, as is the clean implication for weak structural stability.

major comments (2)

[Definition of the residual sets U_N and openness argument] The openness of each U_N is asserted via upper semi-continuity of the rotation number and C^1-persistence of hyperbolic periodic orbits. However, the precise topology on the space of families (uniform C^∞ in the parameter) must be stated explicitly, because openness can fail if the perturbation size depends on the parameter in a non-uniform way.
[Proof that the U_N are dense] Density of the U_N requires a local C^∞ perturbation, supported in a small parameter interval around any prescribed irrational t, that creates at least N additional periodic orbits while keeping the rotation number continuous and orientation-preserving. The manuscript sketches this via bump-function modifications of the lift, but the C^∞ estimates (control of all derivatives uniformly in the parameter) are not written out; without them it is not immediate that the perturbation can be made arbitrarily small in the C^∞ topology on families.

minor comments (2)

[Statement of the second theorem] The second statement (continuum of weak equivalence classes) is stated only for locally residual sets; a brief remark on how the argument adapts when the rotation number is constant on an interval would clarify the scope.
[Preliminaries] Notation for the rotation number ρ(f_t) and for the number of periodic orbits should be introduced once in the preliminaries and used consistently thereafter.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, the positive assessment of the significance of the results, and the specific suggestions for improving the exposition. We address each major comment below and will incorporate the necessary clarifications and details into the revised manuscript.

read point-by-point responses

Referee: [Definition of the residual sets U_N and openness argument] The openness of each U_N is asserted via upper semi-continuity of the rotation number and C^1-persistence of hyperbolic periodic orbits. However, the precise topology on the space of families (uniform C^∞ in the parameter) must be stated explicitly, because openness can fail if the perturbation size depends on the parameter in a non-uniform way.

Authors: We agree that an explicit statement of the topology is required for rigor. In the revised version we will define the space of one-parameter families of C^∞ circle diffeomorphisms as the Fréchet space equipped with the topology generated by the seminorms ||f||_{k,α} = sup_{t∈I, x∈S^1} |∂^k_x ∂^α_t f(t,x)| for all k,α, taken uniformly over the compact parameter interval I. With this uniform topology the rotation number is upper semi-continuous, and the C^1-persistence of hyperbolic periodic orbits holds uniformly in the parameter because the circle is compact. Consequently each U_N is open, as asserted. We will insert this definition and the corresponding openness argument at the beginning of Section 2. revision: yes
Referee: [Proof that the U_N are dense] Density of the U_N requires a local C^∞ perturbation, supported in a small parameter interval around any prescribed irrational t, that creates at least N additional periodic orbits while keeping the rotation number continuous and orientation-preserving. The manuscript sketches this via bump-function modifications of the lift, but the C^∞ estimates (control of all derivatives uniformly in the parameter) are not written out; without them it is not immediate that the perturbation can be made arbitrarily small in the C^∞ topology on families.

Authors: We acknowledge that the C^∞ estimates for the local perturbation are only outlined and must be written out in full. In the revision we will expand the density argument (Section 3) by giving an explicit construction: for any prescribed irrational t_0, any N, and any ε>0, we choose a small interval J around t_0 and a C^∞ bump function φ supported in J whose derivatives of all orders are bounded by constants depending only on the width of J and on ε. The lift is then modified by adding a small multiple of φ(t)·ψ(x), where ψ is a fixed bump creating the desired periodic points. By scaling the amplitude and support width appropriately we obtain uniform control on all derivatives, ensuring the perturbed family lies within ε of the original family in the C^∞ topology while preserving orientation and the continuity of the rotation number. The new periodic orbits appear with the prescribed rational rotation number. This detailed estimate will make the density of each U_N immediate. revision: yes

Circularity Check

0 steps flagged

No circularity; proof is a standard Baire-category existence argument with no self-referential reductions.

full rationale

The paper establishes a generic (residual) property in the space of one-parameter families of circle diffeomorphisms via openness and density of certain sets U_N, using upper semi-continuity of rotation number and persistence of hyperbolic orbits. No equations, definitions, or parameters are shown to reduce to themselves by construction; no fitted inputs are renamed as predictions; no load-bearing self-citations or uniqueness theorems imported from prior author work appear in the provided abstract or description. The derivation relies on external topological tools (Baire category theorem) applied to the function space, remaining self-contained and independent of the target statement.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof relies on standard topological and dynamical-systems tools without introducing new free parameters or postulated entities.

axioms (1)

standard math The space of one-parameter families of circle diffeomorphisms is a Baire space in which residual sets are dense.
Invoked to define 'generic family' and to guarantee the existence of the approximating parameters.

pith-pipeline@v0.9.0 · 5348 in / 1134 out tokens · 38298 ms · 2026-05-10T07:26:54.223572+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Arnold, Small denominators I: On the mapping of a circle into itself

V.\,I. Arnold, Small denominators I: On the mapping of a circle into itself. Izv. Akad. Nauk. Math. Serie 25, pp. 21--86, 1961; transl. Am. Math. Soc. (2) 46, 1965

work page 1961
[2]

Brunovský, On one-parameter families of diffeomorphisms

P. Brunovský, On one-parameter families of diffeomorphisms. Comment. Math. Univ. Carolin. 11 (3), pp. 559--582, 1970

work page 1970
[3]

On one-parameter families of diffeomorphisms

Brunovský, P. On one-parameter families of diffeomorphisms. II: Generic branching in higher dimensions. Comment. Math. Univ. Carolin. 12 (4), pp. 765--784, 1971

work page 1971
[4]

Brunovský, Generic properties of the rotation number of one-parameter diffeomorphisms of the circle

P. Brunovský, Generic properties of the rotation number of one-parameter diffeomorphisms of the circle. Czechoslovak Math. J. 24, pp. 74--90, 1974

work page 1974
[5]

G. K. Francis, Generic homotopies of immersions, Indiana University Mathematics Journal, vol. 21, no. 12, pp. 1101--1112, 1972

work page 1972
[6]

M. R. Herman, Sur la conjugaison differentiable des diffeomorphismes du cercle a des rotations. I.H.E.S. Publ. Math., 49 : 5--233, 1979

work page 1979
[7]

Yu. A. Kuznetsov, Elements of applied bifurcation theory, Springer: Cham, Switzerland, 2023

work page 2023
[8]

Mather, Stability of C^ mappings: V, transversality, Advances in Mathematics, Vol

John N. Mather, Stability of C^ mappings: V, transversality, Advances in Mathematics, Vol. 4, Issue 3, pp. 301--336, 1970

work page 1970
[9]

Michor , Manifolds of Differentiable Mappings, Shiva Publishing: Orpington, 1980

Peter W. Michor , Manifolds of Differentiable Mappings, Shiva Publishing: Orpington, 1980

work page 1980
[10]

Katok, B

A. Katok, B. Hasselblatt. Introduction to the modern theory of dynamical systems, Cambridge University Press, Cambridge, 1997

work page 1997
[11]

Khanin, A

K. Khanin, A. Teplinsky. Herman’s theory revisited. Invent. math. 178, pp. 333--344, 2009

work page 2009
[12]

Newhouse and J

S. Newhouse and J. Palis. Bifurcations of Morse-Smale dynamical systems. Dynamical Systems, Academic Press, pp. 303-366, 1973

work page 1973
[13]

Newhouse, J

S. Newhouse, J. Palis, F. Takens. Bifurcations and stability of families of diffeomorphisms. Publications mathématiques de l’I.H.É.S., 57, pp. 5-71, 1983

work page 1983
[14]

Palis, W

J. Palis, W. de Melo. Geometric theory of dynamical systems. Springer-Verlag, New York, 1982

work page 1982
[15]

Sotomayor, Generic bifurcations of dynamical systems

J. Sotomayor, Generic bifurcations of dynamical systems. Dynamical Systems, Academic Press, pp. 561-582, 1973

work page 1973
[16]

Sotomayor

J. Sotomayor. Generic one-parameter families of vector fields on two-dimensional manifolds. Publ. math. de l’I.H.É.S., 43 , pp. 5--46, 1974

work page 1974
[17]

J.-C. Yoccoz. Conjugaison diff \'e rentiable des diff \'e omorphismes du cercle dont le nombre de rotation v \'e rifie une condition diophantienne . Ann. Sci. Ecole Norm. Sup. (4), 17:3, pp. 333--359, 1984

work page 1984

[1] [1]

Arnold, Small denominators I: On the mapping of a circle into itself

V.\,I. Arnold, Small denominators I: On the mapping of a circle into itself. Izv. Akad. Nauk. Math. Serie 25, pp. 21--86, 1961; transl. Am. Math. Soc. (2) 46, 1965

work page 1961

[2] [2]

Brunovský, On one-parameter families of diffeomorphisms

P. Brunovský, On one-parameter families of diffeomorphisms. Comment. Math. Univ. Carolin. 11 (3), pp. 559--582, 1970

work page 1970

[3] [3]

On one-parameter families of diffeomorphisms

Brunovský, P. On one-parameter families of diffeomorphisms. II: Generic branching in higher dimensions. Comment. Math. Univ. Carolin. 12 (4), pp. 765--784, 1971

work page 1971

[4] [4]

Brunovský, Generic properties of the rotation number of one-parameter diffeomorphisms of the circle

P. Brunovský, Generic properties of the rotation number of one-parameter diffeomorphisms of the circle. Czechoslovak Math. J. 24, pp. 74--90, 1974

work page 1974

[5] [5]

G. K. Francis, Generic homotopies of immersions, Indiana University Mathematics Journal, vol. 21, no. 12, pp. 1101--1112, 1972

work page 1972

[6] [6]

M. R. Herman, Sur la conjugaison differentiable des diffeomorphismes du cercle a des rotations. I.H.E.S. Publ. Math., 49 : 5--233, 1979

work page 1979

[7] [7]

Yu. A. Kuznetsov, Elements of applied bifurcation theory, Springer: Cham, Switzerland, 2023

work page 2023

[8] [8]

Mather, Stability of C^ mappings: V, transversality, Advances in Mathematics, Vol

John N. Mather, Stability of C^ mappings: V, transversality, Advances in Mathematics, Vol. 4, Issue 3, pp. 301--336, 1970

work page 1970

[9] [9]

Michor , Manifolds of Differentiable Mappings, Shiva Publishing: Orpington, 1980

Peter W. Michor , Manifolds of Differentiable Mappings, Shiva Publishing: Orpington, 1980

work page 1980

[10] [10]

Katok, B

A. Katok, B. Hasselblatt. Introduction to the modern theory of dynamical systems, Cambridge University Press, Cambridge, 1997

work page 1997

[11] [11]

Khanin, A

K. Khanin, A. Teplinsky. Herman’s theory revisited. Invent. math. 178, pp. 333--344, 2009

work page 2009

[12] [12]

Newhouse and J

S. Newhouse and J. Palis. Bifurcations of Morse-Smale dynamical systems. Dynamical Systems, Academic Press, pp. 303-366, 1973

work page 1973

[13] [13]

Newhouse, J

S. Newhouse, J. Palis, F. Takens. Bifurcations and stability of families of diffeomorphisms. Publications mathématiques de l’I.H.É.S., 57, pp. 5-71, 1983

work page 1983

[14] [14]

Palis, W

J. Palis, W. de Melo. Geometric theory of dynamical systems. Springer-Verlag, New York, 1982

work page 1982

[15] [15]

Sotomayor, Generic bifurcations of dynamical systems

J. Sotomayor, Generic bifurcations of dynamical systems. Dynamical Systems, Academic Press, pp. 561-582, 1973

work page 1973

[16] [16]

Sotomayor

J. Sotomayor. Generic one-parameter families of vector fields on two-dimensional manifolds. Publ. math. de l’I.H.É.S., 43 , pp. 5--46, 1974

work page 1974

[17] [17]

J.-C. Yoccoz. Conjugaison diff \'e rentiable des diff \'e omorphismes du cercle dont le nombre de rotation v \'e rifie une condition diophantienne . Ann. Sci. Ecole Norm. Sup. (4), 17:3, pp. 333--359, 1984

work page 1984