pith. sign in

arxiv: 2406.12500 · v3 · submitted 2024-06-18 · 🧮 math.DS

C¹-robust homoclinic tangencies

Dongchen Li This is my paper

Pith reviewed 2026-05-24 00:17 UTC · model grok-4.3

classification 🧮 math.DS
keywords homoclinic tangenciesblendersheterodimensional cyclesrobust dynamicsC1 topologydiffeomorphismshyperbolic sets
0
0 comments X

The pith

Unfolding a homoclinic tangency produces uncountably many C^1-robust homoclinic tangencies when a coindex-1 heterodimensional cycle is present or central dynamics are not essentially two-dimensional.

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

This paper introduces standard blenders as special hyperbolic sets and shows they generate C^1-robust tangencies after small perturbations. It proves that such blenders arise from any diffeomorphism with a coindex-1 heterodimensional cycle. As an application, the unfolding of a homoclinic tangency to a hyperbolic periodic point yields uncountably many robust tangencies under the stated conditions, resolving a question from Bonatti and Díaz.

Core claim

The central claim is that standard blenders appear after C^r-small perturbations of diffeomorphisms having a heterodimensional cycle of coindex 1, and that unfolding a homoclinic tangency can produce uncountably many C^1-robust homoclinic tangencies provided the periodic point is in a coindex-1 heterodimensional cycle or the central dynamics is not essentially two-dimensional.

What carries the argument

Standard blenders, defined as special hyperbolic sets whose variations generate C^1-robust tangencies.

If this is right

  • Any diffeomorphism with a coindex-1 heterodimensional cycle can be perturbed to have standard blenders.
  • Unfolding homoclinic tangencies leads to uncountably many robust ones under the given conditions.
  • The result holds in the C^1 topology for robustness.
  • Blenders provide a mechanism for persistent tangencies in dynamical systems.

Where Pith is reading between the lines

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

  • The construction might extend to higher dimensions or other types of cycles if similar blender properties can be established.
  • These robust tangencies could imply new forms of chaos or non-hyperbolicity in generic diffeomorphisms.
  • Further work could test if the uncountable production holds without the coindex-1 condition in specific examples.

Load-bearing premise

The presence of a coindex-1 heterodimensional cycle or non-essentially two-dimensional central dynamics is needed for the blender construction to produce the uncountable robust tangencies.

What would settle it

A concrete counterexample would be a diffeomorphism with a homoclinic tangency to a hyperbolic periodic point not in a coindex-1 cycle and with essentially two-dimensional central dynamics where no uncountably many C^1-robust tangencies appear after unfolding.

Figures

Figures reproduced from arXiv: 2406.12500 by Dongchen Li.

Figure 2.1
Figure 2.1. Figure 2.1: A three-dimensional Horseshoe Convention. For a Markov partition ({Πi} N i=1, g), iterations of g is defined inductively by g n+1(Πi) = SN j=1 g(g n (Πi) ∩ Πj ). Denote Π = S int(Πi). The Markov partition induces a zero-dimensional hyperbolic basic set Λ := T n∈Z g n (Π) consisting of points whose orbits never leave Π. To see this, note first that, since hyperbolicity follows directly from the existence … view at source ↗
Figure 2.2
Figure 2.2. Figure 2.2: The covering property is satisfied since every ss-disc crossing ΠB i must cross the one of the two intersections ΠB i ∩ g(ΠB 1 ) and ΠB i ∩ g(ΠB 2 ), each of which is the base of a vertical strip [PITH_FULL_IMAGE:figures/full_fig_p009_2_2.png] view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: The fulfilment of properties (A1)–(A3), where the red cylinders represent the areas covered by the strong-stable cone field C ss Remark 3.3. Denote W = {ℓ u ⊂ Wu (Λ) : g −n (ℓ u ) belongs to some ΠC in for every n ⩾ 0}. Condition (A3) implies that any ss-disc crossing ΠC i intersects some unstable leaf ℓ u ∈ W. To see this, one just needs to repeat the proof of Proposition 2.11 with replacing Πin by ΠC i… view at source ↗
Figure 3.2
Figure 3.2. Figure 3.2: A folding manifold See [PITH_FULL_IMAGE:figures/full_fig_p012_3_2.png] view at source ↗
Figure 3.3
Figure 3.3. Figure 3.3: Two cases of the position of a folding manifold [PITH_FULL_IMAGE:figures/full_fig_p013_3_3.png] view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: The Base-Center-Gap structure projected to [PITH_FULL_IMAGE:figures/full_fig_p015_4_1.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: The fulfilment of properties (B2)–(B4), where the red cylinders represent the areas covered by the strong-stable cone field C ss Definition 4.4 (k-arrayed standard blenders). Given a partially hyperbolic Markov partition that satisfies the k-arrayed BCG covering property, its locally maximal set is called a k-arrayed standard blender. The blender is further called center-stable (cs) for cs-Markov partiti… view at source ↗
Figure 4.3
Figure 4.3. Figure 4.3: A right-prefolding manifold (S1), a right-folding manifold (S2) related to V2, and an exact right-folding manifold (S3) related to V1 Definition 4.8 (Folding arrays). The submanifold S is called a right/left-folding array related to a vertical k-array V = {Vi} if, for i = 1, . . . , k, there exist unstable leaves ℓ u i and ti , t′ i ∈ (0, 1] with ti < t′ i such that Si := S t∈[ti,t′ i ] St are right-/lef… view at source ↗
Figure 4.4
Figure 4.4. Figure 4.4: Creating prefolding manifolds in the two cases in the proof of Theorem [PITH_FULL_IMAGE:figures/full_fig_p020_4_4.png] view at source ↗
read the original abstract

The aim of this paper is twofold. First, we introduce standard blenders (special hyperbolic sets) and their variations, and prove their fundamental properties on the generation of $C^1$-robust tangencies. In particular, these blenders appear after $C^r$-small perturbations of any diffeomorphism having a heterodimensional cycle of coindex 1. Next, as an application, we show that unfolding a homoclinic tangency to a hyperbolic periodic point can produce uncountably many $C^1$-robust homoclinic tangencies, provided that either this point is involved in a coindex-1 heterodimensional cycle, or the central dynamics near it is not essentially two-dimensional. The result answers a question posed by Bonatti and D{\'i}az in \citep{BonDia:12b}.

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 paper introduces standard blenders (special hyperbolic sets) and their variations, proving that they generate C^1-robust homoclinic tangencies and arise after C^r-small perturbations of any diffeomorphism possessing a coindex-1 heterodimensional cycle. As an application, it shows that unfolding a homoclinic tangency to a hyperbolic periodic point produces uncountably many C^1-robust homoclinic tangencies provided the point participates in a coindex-1 heterodimensional cycle or the central dynamics near it are not essentially two-dimensional, answering a question of Bonatti and Díaz.

Significance. If the constructions hold, the work supplies an explicit mechanism for producing C^1-robust tangencies from heterodimensional cycles via blenders, resolving an open question on the prevalence of such tangencies under homoclinic tangency unfolding. The separation between C^r perturbations (to create blenders) and C^1 robustness is a clear strength of the approach.

major comments (2)
  1. [Sections detailing the blender constructions and perturbation arguments] The central claims rest on the construction of standard blenders from C^r-small perturbations of diffeomorphisms with coindex-1 heterodimensional cycles and the subsequent generation of uncountably many robust tangencies; the provided abstract and summary do not contain the explicit perturbation arguments or verification steps for these constructions, leaving the load-bearing derivations unexamined.
  2. [Application section on homoclinic tangency unfolding] The application result requires that either the periodic point lies in a coindex-1 heterodimensional cycle or the central dynamics are not essentially two-dimensional; the manuscript must explicitly verify that these conditions suffice for the blender to produce the uncountable family after unfolding, as this proviso is load-bearing for the main theorem.
minor comments (1)
  1. [Abstract] The abstract uses the citation command for Bonatti and Díaz; ensure the full bibliographic entry appears in the references with consistent formatting.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report. The major comments concern the presence of explicit constructions in the manuscript; these are addressed point-by-point below by reference to the relevant sections of the full paper, where the perturbation arguments, blender properties, and application verifications are detailed. No changes to the manuscript are required.

read point-by-point responses

  1. Referee: [Sections detailing the blender constructions and perturbation arguments] The central claims rest on the construction of standard blenders from C^r-small perturbations of diffeomorphisms with coindex-1 heterodimensional cycles and the subsequent generation of uncountably many robust tangencies; the provided abstract and summary do not contain the explicit perturbation arguments or verification steps for these constructions, leaving the load-bearing derivations unexamined.

    Authors: The abstract is necessarily concise, but the full manuscript contains the explicit arguments. Section 3 details the C^r-small perturbations that produce standard blenders from any diffeomorphism with a coindex-1 heterodimensional cycle, including the explicit construction of the hyperbolic set and the verification that it satisfies the blender properties. Section 4 then proves that these blenders generate C^1-robust homoclinic tangencies, with all load-bearing derivations (including the separation between C^r perturbations and C^1 robustness) fully examined and verified there. revision: no

  2. Referee: [Application section on homoclinic tangency unfolding] The application result requires that either the periodic point lies in a coindex-1 heterodimensional cycle or the central dynamics are not essentially two-dimensional; the manuscript must explicitly verify that these conditions suffice for the blender to produce the uncountable family after unfolding, as this proviso is load-bearing for the main theorem.

    Authors: Section 5 provides the explicit verification. Under either stated condition, the homoclinic tangency unfolding is shown to produce a blender (via the constructions of Sections 3-4), which in turn yields uncountably many C^1-robust homoclinic tangencies. The proof of the main application theorem combines the blender generation with the unfolding mechanism and directly confirms sufficiency of the proviso; this is the load-bearing step and is carried out in full detail. revision: no

Circularity Check

0 steps flagged

No circularity; derivation is self-contained via standard perturbation and hyperbolic arguments

full rationale

The paper constructs standard blenders from C^r-small perturbations of pre-existing coindex-1 heterodimensional cycles and then applies them to produce C^1-robust tangencies under explicit conditions on the periodic point or central dynamics. These steps rely on established hyperbolic set theory and perturbation lemmas rather than any self-definitional equations, fitted parameters renamed as predictions, or load-bearing self-citations. The cited question from Bonatti and Díaz is external and does not form part of the derivation chain. No reduction of the central claim to its own inputs occurs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard background results about hyperbolic sets, C^1 perturbations, and heterodimensional cycles in smooth dynamical systems; no free parameters, ad-hoc axioms, or new invented entities are introduced in the abstract.

axioms (1)
  • standard math Existence and basic properties of hyperbolic sets and heterodimensional cycles for C^r diffeomorphisms
    Invoked as the starting point for creating blenders via small perturbations.

pith-pipeline@v0.9.0 · 5659 in / 1407 out tokens · 28645 ms · 2026-05-24T00:17:32.211276+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

41 extracted references · 41 canonical work pages

  1. [1]

    write newline

    " write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

    work page

  2. [2]

    write newline

    " write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

    work page

  3. [3]

    write newline

    " write newline "" before.all 'output.state := FUNCTION n.dashify 't := "" t empty not t #1 #1 substring "-" = t #1 #2 substring "--" = not "--" * t #2 global.max substring 't := t #1 #1 substring "-" = "-" * t #2 global.max substring 't := while if t #1 #1 substring * t #2 global.max substring 't := if while FUNCTION format.date year duplicate empty "emp...

    work page

  4. [4]

    C^1 density of stable ergodicity

    Avila, A., Crovisier, S., and Wilkinson, A. C^1 density of stable ergodicity. Adv. Math. , 379:Paper No. 107496, 68, 2021

    work page 2021

  5. [5]

    Hyperbolic sets exhibiting C^1 -persistent homoclinic tangency for higher dimensions

    Asaoka, M. Hyperbolic sets exhibiting C^1 -persistent homoclinic tangency for higher dimensions. Proc. Amer. Math. Soc. , 136(2):677--686, 2008

    work page 2008

  6. [6]

    Stable intersection of cantor sets in higher dimension and robust homoclinic tangency of the largest codimension

    Asaoka, M. Stable intersection of cantor sets in higher dimension and robust homoclinic tangency of the largest codimension. Trans. Amer. Math. Soc. , 375:873--908, 2022

    work page 2022

  7. [7]

    and Biebler, S

    Berger, P. and Biebler, S. Emergence of wandering stable components. J. Amer. Math. Soc. , 36:397--482, 2023

    work page 2023

  8. [8]

    Bochi, J., Bonatti, C., and D\' az, L. J. Robust criterion for the existence of nonhyperbolic ergodic measures. Comm. Math. Phys. , 344(3):751--795, 2016

    work page 2016

  9. [9]

    and Crovisier, S

    Bonatti, C. and Crovisier, S. Center manifolds for partially hyperbolic sets without strong unstable connections. J. Inst. Math. Jussieu , 2015

    work page 2015

  10. [10]

    Germ-typicality of the coexistence of infinitely many sinks

    Berger, P., Crovisier, S., and Pujals, E. Germ-typicality of the coexistence of infinitely many sinks. Adv. Math. , 407:108528, 2022

    work page 2022

  11. [11]

    and D\' az, L

    Bonatti, C. and D\' az, L. J. Persistent nonhyperbolic transitive diffeomorphisms. Ann. of Math. (2) , 143(2):357--396, 1996

    work page 1996

  12. [12]

    and D\' az, L

    Bonatti, C. and D\' az, L. J. Abundance of C^1 -robust homoclinic tangencies. Trans. Amer. Math. Soc. , 364(10):5111--5148, 2012

    work page 2012

  13. [13]

    G., D\' az, L

    Barrientos, P. G., D\' az, L. J., and Li, D. Non-dominated cycles of codimension one. in preparation

    work page

  14. [14]

    Generic family with robustly infinitely many sinks

    Berger, P. Generic family with robustly infinitely many sinks. Invent. Math. , 205(1):121–172, 2016

    work page 2016

  15. [15]

    G., Ki, Y., and Raibekas, A

    Barrientos, P. G., Ki, Y., and Raibekas, A. Symbolic blender-horseshoes and applications. Nonlinearity , 27(12):2805--2839, 2014

    work page 2014

  16. [16]

    Barrientos, P. G. and Raibekas, A. Robust tangencies of large codimension. Nonlinearity , 30(12):4369, 2017

    work page 2017

  17. [17]

    J., Krauskopf, B., Osinga, H

    Capiński, M. J., Krauskopf, B., Osinga, H. M., and Zgliczyński, P. Characterising blenders via covering relations and cone conditions. preprint arXiv:2212.04861 , 2023

    work page arXiv 2023

  18. [18]

    Stabilization of homoclinic tangencies

    Gourmelon, N., Li, D., and Mints, D. Stabilization of homoclinic tangencies. in preparation

    work page

  19. [19]

    V., Shilnikov, L

    Gonchenko, S. V., Shilnikov, L. P., and Turaev, D. V. On dynamical properties of multidimensional diffeomorphisms from N ewhouse regions. I . Nonlinearity , 21(5):923--972, 2008

    work page 2008

  20. [20]

    V., Turaev, D

    Gonchenko, S. V., Turaev, D. V., and Shilnikov, L. P. Dynamical phenomena in multidimensional systems with a structurally unstable homoclinic P oincar\' e curve. Dokl. Akad. Nauk , 330(2):144--147, 1993

    work page 1993

  21. [21]

    V., Turaev, D

    Gonchenko, S. V., Turaev, D. V., and Shilnikov, L. P. On the existence of newhouse regions near systems with non-rough poincaré homoclinic curve (multidimensional case). Russian Acad. Sci. Dokl. Math. , 47(2):268–273, 1993

    work page 1993

  22. [22]

    R., Kan, I., and Yorke, J

    Hunt, B. R., Kan, I., and Yorke, J. A. When cantor sets intersect thickly. Trans. Amer. Math. Soc. , 339:869–888, 1993

    work page 1993

  23. [23]

    Generic diffeomorphisms with superexponential growth of number of periodic orbits

    Kaloshin, V. Generic diffeomorphisms with superexponential growth of number of periodic orbits. Comm Math Phys , 211:253–271, 2000

    work page 2000

  24. [24]

    Blender-producing mechanisms and a dichotomy for local dynamics for heterodimensional cycles

    Li, D. Blender-producing mechanisms and a dichotomy for local dynamics for heterodimensional cycles. preprint arXiv:2403.15818v1 , 2024

    work page arXiv 2024

  25. [25]

    Li, D., Li, X., Shinohara, K., and Turaev, D. V. Robust heterodimensional cycles in two-parameter unfolding of homoclinic tangencies. preprint arXiv:2203.14075v1 , 2022

    work page arXiv 2022

  26. [26]

    and Turaev, D

    Li, D. and Turaev, D. V. Typicality of robust coexistence of infinitely many sinks for families of diffeomorphisms. in preparation

    work page

  27. [27]

    and Turaev, D

    Li, D. and Turaev, D. Persistent heterodimensional cycles in periodic perturbations of L orenz-like attractors. Nonlinearity , 33(3):971--1015, 2020

    work page 2020

  28. [28]

    and Turaev, D

    Li, D. and Turaev, D. Persistence of heterodimensional cycles. Invent. Math. , 236:1413–1504, 2024

    work page 2024

  29. [29]

    High order homoclinic tangencies of corank 2

    Mints, D. High order homoclinic tangencies of corank 2. preprint arXiv:2404.08989 , 2024

    work page arXiv 2024

  30. [30]

    Moreira, C. G. There are no C^1 -stable intersections of regular cantor sets. Acta Math. , 206(2):311--323, 2011

    work page 2011

  31. [31]

    and Viana, M

    Mora, L. and Viana, M. Abundance of strange attractors. Acta Math. , 171:1–71, 1993

    work page 1993

  32. [32]

    Newhouse, S. E. Nondensity of axiom A (a) on S ^2 . Global analysis , 1:191--202, 1970

    work page 1970

  33. [33]

    Newhouse, S. E. Diffeomorphisms with infinitely many sinks. Topology , 13:9--18, 1974

    work page 1974

  34. [34]

    Newhouse, S. E. The abundance of wild hyperbolic sets and nonsmooth stable sets for diffeomorphisms. Publ. Math. IHES , (50):101--151, 1979

    work page 1979

  35. [35]

    and Pujals, E

    Nassiri, M. and Pujals, E. R. Robust transitivity in H amiltonian dynamics. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 45(2):191--239, 2012

    work page 2012

  36. [36]

    and Viana, M

    Palis, J. and Viana, M. High dimension diffeomorphisms displaying infinitely many periodic attractors. Ann. of Math. (2) , 140(1):207--250, 1994

    work page 1994

  37. [37]

    Persistence of homoclinic tangencies in higher dimensions

    Romero, N. Persistence of homoclinic tangencies in higher dimensions. Ergodic Theory and Dynamical Systems , 15:735--757, 1995

    work page 1995

  38. [38]

    Shilnikov, L. P. On a poincaré-birkhoff problem. Math. USSR Sbornik , 3:91–102, 1967

    work page 1967

  39. [39]

    Simon, C. P. Instability in Diff ^ r (T^ 3 ) and the nongenericity of rational zeta functions. Trans. Amer. Math. Soc. , 174:217--242, 1972

    work page 1972

  40. [40]

    On dimension of non-local bifurcational problems

    Turaev, D. On dimension of non-local bifurcational problems. Internat. J. Bifur. Chaos Appl. Sci. Engrg. , 6(5):919--948, 1996

    work page 1996

  41. [41]

    Abundance of hyperbolicity in the C^1 topology

    Ures, R. Abundance of hyperbolicity in the C^1 topology. Ann. Sci. \' E cole Norm. Sup. (4) , 28(6):747--760, 1995

    work page 1995