pith. sign in

arxiv: 2604.09441 · v1 · submitted 2026-04-10 · 🧮 math.DS

Infinitely Many Attracting Periodic Circles in Higher Dimensions

Shuntaro Tomizawa This is my paper

Pith reviewed 2026-05-10 16:24 UTC · model grok-4.3

classification 🧮 math.DS
keywords heteroclinic cyclenormally hyperbolic periodic circlesNeimark-Sacker bifurcationHénon mapC^r diffeomorphismsattracting periodic orbitshigher-dimensional dynamicsresidual sets
0
0 comments X

The pith

Near maps with a specific heteroclinic cycle on manifolds of dimension three or higher, open sets exist where residual subsets of diffeomorphisms have infinitely many attracting normally hyperbolic periodic circles.

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

The paper studies C^r diffeomorphisms, for r at least 5, on closed manifolds of dimension at least three that possess a heteroclinic cycle between two hyperbolic periodic points. At each point the unstable direction is one-dimensional, the eigenvalues closest to 1 in modulus are real and simple, one connection is transverse while the other is not, and the product of the relevant eigenvalues is less than 1 at one point but greater than 1 at the other. Under these conditions the author proves that maps with infinitely many attracting normally hyperbolic periodic circles are dense in certain open sets of the space of all diffeomorphisms. The argument proceeds by rescaling the dynamics near the cycle to the standard Hénon map and applying a corrected formula for the Lyapunov coefficient along its Neimark-Sacker line.

Core claim

In C^r diffeomorphisms (5 ≤ r ≤ ∞) on closed manifolds of dimension at least three that carry a heteroclinic cycle between two hyperbolic periodic points—with one-dimensional unstable directions, simple real eigenvalues closest to 1 in modulus, one transverse and one non-transverse heteroclinic connection, and the product of those eigenvalues less than 1 at one point yet greater than 1 at the other—arbitrarily close to such a map there exist open sets in which a residual subset of diffeomorphisms possesses infinitely many attracting normally hyperbolic periodic circles.

What carries the argument

Rescaling near the heteroclinic cycle to the standard Hénon map, together with a corrected Lyapunov coefficient formula on its Neimark-Sacker line, which produces the infinite sequence of attracting periodic circles.

If this is right

  • Infinitely many attracting normally hyperbolic periodic circles persist under small C^r perturbations inside those open sets.
  • The same construction applies to manifolds of every dimension three and higher.
  • The result holds uniformly for all finite smoothness r ≥ 5 and for C^∞ diffeomorphisms.
  • The attracting circles arise from a sequence of Neimark-Sacker bifurcations whose existence is guaranteed by the sign change in the eigenvalue product.

Where Pith is reading between the lines

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

  • The mechanism may allow coexistence of these periodic attractors with chaotic dynamics in the same open set of maps.
  • Similar cycles could be engineered in explicit polynomial or trigonometric maps on the 3-torus to produce numerical examples.
  • The result suggests that the set of diffeomorphisms with only finitely many attractors is not open in higher dimensions.
  • Extensions to heterodimensional cycles or to flows on manifolds of dimension four or higher become plausible next steps.

Load-bearing premise

The product of the two eigenvalues closest to 1 must be less than 1 at one periodic point and greater than 1 at the other, together with exactly one transverse and one non-transverse heteroclinic connection.

What would settle it

An explicit perturbation of a map satisfying the eigenvalue product and mixed-transversality conditions that remains free of attracting periodic circles throughout some neighborhood in the C^r topology.

Figures

Figures reproduced from arXiv: 2604.09441 by Shuntaro Tomizawa.

Figure 1.1
Figure 1.1. Figure 1.1: The heteroclinic cycle considered in this paper. [PITH_FULL_IMAGE:figures/full_fig_p003_1_1.png] view at source ↗
Figure 1.2
Figure 1.2. Figure 1.2: (a) Graph of the Lyapunov coefficient L(ψ) for the standard H´enon map. (b) Bifurcation diagram of the standard H´enon map. On L ω , M1 = cos2 ψ − 2 cos ψ. 2 Preliminaries 2.1 Geometrical settings 2.1.1 Unparametrized local maps and global maps Let f satisfy the assumptions of Theorem A. Choose pairwise disjoint small connected open neighbor￾hoods U ∗ 1 and U ∗ 2 of O∗ 1 and O∗ 2 , respectively. For each… view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: Geometrical configuration of (P2), (P3) 7 [PITH_FULL_IMAGE:figures/full_fig_p007_2_1.png] view at source ↗
Figure 2.2
Figure 2.2. Figure 2.2: Domain of the first-return map. Hin 2 (y ∗ 2 ) := T −j 2 [PITH_FULL_IMAGE:figures/full_fig_p015_2_2.png] view at source ↗
read the original abstract

We study $C^r$ ($5 \le r \le \infty$) diffeomorphisms on closed manifolds of dimension at least three with a heteroclinic cycle between two hyperbolic periodic points. At each point, the unstable direction is one dimensional, and the stable and unstable eigenvalues closest to $1$ in modulus are real and simple. One heteroclinic connection is transverse and the other is non-transverse, and the product of those two eigenvalues is less than $1$ at one point and greater than $1$ at the other. Arbitrarily close to such a map, there are open sets in which a residual subset of diffeomorphisms has infinitely many attracting normally hyperbolic periodic circles. The proof uses a rescaling to the standard H\'enon map and a corrected formula for the Lyapunov coefficient on its Neimark-Sacker (Andronov-Hopf) line.

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 / 1 minor

Summary. The manuscript studies C^r (5 ≤ r ≤ ∞) diffeomorphisms on closed manifolds of dimension at least three possessing a heteroclinic cycle between two hyperbolic periodic points. At each point the unstable direction is one-dimensional and the stable/unstable eigenvalues closest to 1 are real and simple; one heteroclinic connection is transverse and the other non-transverse, with the product of the relevant eigenvalues less than 1 at one point and greater than 1 at the other. The central claim is that arbitrarily close to any such map there exist open sets in which a residual subset of diffeomorphisms exhibits infinitely many attracting normally hyperbolic periodic circles. The proof proceeds by rescaling the return map near the cycle to the standard Hénon family and invoking a corrected Lyapunov coefficient to guarantee that the Neimark-Sacker bifurcation is supercritical and produces attracting circles.

Significance. If the technical steps are verified, the result would be significant: it supplies a concrete mechanism, via a mixed-transversality heteroclinic cycle with controlled eigenvalue products, for producing infinitely many attracting normally hyperbolic circles in dimensions ≥ 3. The reduction to the well-studied Hénon family is a natural and potentially reusable strategy. However, the absence of an explicit derivation or error estimates for the key Lyapunov-coefficient correction limits the immediate strength of the contribution.

major comments (2)
  1. [Abstract] Abstract: the proof is said to rest on 'a corrected formula for the Lyapunov coefficient on its Neimark-Sacker (Andronov-Hopf) line,' yet no explicit expression, derivation, or verification that the coefficient has the sign required for attracting circles is supplied. Because the sign of this coefficient determines whether the bifurcating invariant circles are attracting (and hence normally hyperbolic), the omission is load-bearing for the main claim.
  2. [Proof outline] Proof strategy (rescaling step): the argument reduces the heteroclinic return map to a small perturbation of the standard Hénon family by using the stated eigenvalue-product condition to control the effective Jacobian determinant. No explicit rescaling coordinates, change-of-variables estimates, or confirmation that the resulting parameters lie in the supercritical Neimark-Sacker region of the Hénon family are provided; without these steps the reduction to attracting circles remains unverified.
minor comments (1)
  1. [Abstract] The smoothness threshold r ≥ 5 is stated without a brief indication of why this regularity is needed (e.g., for C^{r-1} center-manifold reduction or for the validity of the normal-form computations).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting points where additional explicit detail would strengthen the presentation. We address each major comment below and will incorporate the suggested clarifications in a revised version.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the proof is said to rest on 'a corrected formula for the Lyapunov coefficient on its Neimark-Sacker (Andronov-Hopf) line,' yet no explicit expression, derivation, or verification that the coefficient has the sign required for attracting circles is supplied. Because the sign of this coefficient determines whether the bifurcating invariant circles are attracting (and hence normally hyperbolic), the omission is load-bearing for the main claim.

    Authors: We agree that an explicit derivation of the corrected Lyapunov coefficient, together with verification of its sign, is essential to confirm that the Neimark-Sacker bifurcation is supercritical and yields attracting circles. In the revised manuscript we will add a dedicated appendix containing the full computation of the coefficient (starting from the standard formula and incorporating the correction arising from the non-transverse connection) and the sign analysis under the given eigenvalue-product hypotheses. This will directly support the abstract claim and the main theorem. revision: yes

  2. Referee: [Proof outline] Proof strategy (rescaling step): the argument reduces the heteroclinic return map to a small perturbation of the standard Hénon family by using the stated eigenvalue-product condition to control the effective Jacobian determinant. No explicit rescaling coordinates, change-of-variables estimates, or confirmation that the resulting parameters lie in the supercritical Neimark-Sacker region of the Hénon family are provided; without these steps the reduction to attracting circles remains unverified.

    Authors: The manuscript sketches the reduction via the eigenvalue-product conditions, but we concur that the rescaling step requires more explicit coordinates and estimates to be fully verifiable. In the revision we will insert a new subsection that (i) defines the explicit change-of-variables near each periodic point, (ii) supplies the C^r error bounds for the approximation to the Hénon family, and (iii) shows that the controlled Jacobian determinant places the effective parameters inside the open set of the Hénon family where the Neimark-Sacker bifurcation is supercritical, thereby producing the attracting normally hyperbolic circles. These additions will make the reduction rigorous and self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity; central claim reduces to external Hénon dynamics

full rationale

The derivation rescales the return map near the given heteroclinic cycle (using the stated eigenvalue product condition, simplicity, and mixed transversality) to a small perturbation of the standard Hénon family. The existence of infinitely many attracting normally hyperbolic circles then follows from the known supercritical Neimark-Sacker bifurcation in that family once the sign of the first Lyapunov coefficient is fixed. The paper supplies a corrected formula for that coefficient as part of the argument rather than presupposing the target result. No step equates a prediction to a fitted input by construction, renames a known pattern, or relies on a self-citation chain whose load-bearing premise is unverified. The argument remains self-contained against the external Hénon benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the geometric setup of the heteroclinic cycle and the validity of reducing it to the Hénon map; no explicit free parameters are introduced in the abstract.

axioms (2)
  • domain assumption Existence of a C^r diffeomorphism possessing a heteroclinic cycle between two hyperbolic periodic points with one-dimensional unstable manifolds, real simple eigenvalues closest to modulus 1, one transverse and one non-transverse connection, and eigenvalue products straddling 1.
    This is the standing hypothesis from which the perturbation result is derived.
  • domain assumption The local dynamics near the cycle can be rescaled to the standard Hénon map while preserving the relevant stability properties.
    Invoked as the central reduction step in the proof.

pith-pipeline@v0.9.0 · 5438 in / 1505 out tokens · 77401 ms · 2026-05-10T16:24:33.641684+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [1]

    Devaney.An Introduction to Chaotic Dynamical Systems

    [Dev03] Robert L. Devaney.An Introduction to Chaotic Dynamical Systems. Westview Press, Boulder, CO, 2 edition, 2003. [GG00] S. V. Gonchenko and V. S. Gonchenko. On Andronov–Hopf bifurcations of two-dimensional diffeomorphisms with homoclinic tangencies. Technical Report 556, Weierstrass Institute for Applied Analysis and Stochastics, Berlin, 2000. [GG04]...

    work page 2003

  2. [2]

    [Rom95] Nestor Romero

    Press, Boca Raton, FL, 2 edition, 1999. [Rom95] Nestor Romero. Persistence of homoclinic tangencies in higher dimensions.Ergodic Theory and Dynamical Systems, 15(4):735–757, 1995. [RT71] David Ruelle and Floris Takens. On the nature of turbulence.Communications in Mathe- matical Physics, 20:167–192, 1971. [SSTC01] Leonid P. Shilnikov, Andrey L. Shilnikov,...

    work page 1999