pith. sign in

arxiv: 2604.24063 · v1 · submitted 2026-04-27 · 🧮 math.DS

A robust obstruction to full strong pluripotency for wild blender-horseshoes

Shin Kiriki , Xiaolong Li , Yushi Nakano , Teruhiko Soma This is my paper

Pith reviewed 2026-05-08 01:20 UTC · model grok-4.3

classification 🧮 math.DS
keywords wild blender-horseshoestrong pluripotencymajority conditionC^r diffeomorphismhyperbolic setsrobust dynamicsaffine blenders
0
0 comments X

The pith

There exists a C^r-diffeomorphism with a wild affine blender-horseshoe that is robustly strongly pluripotent only on its majority subset, not the full set.

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

The paper constructs a C^r diffeomorphism on a closed manifold of dimension greater than two that carries a wild affine blender-horseshoe. This horseshoe remains C^r-robustly and strongly pluripotent when restricted to the subset of elements satisfying the majority condition, yet loses the property on the entire horseshoe. The construction demonstrates a robust obstruction to extending strong pluripotency across the full set inside the affine blender-horseshoe family. A reader would care because the result isolates a concrete limitation on how far pluripotency can be pushed in robustly chaotic hyperbolic sets under small perturbations.

Core claim

There exists a C^r-diffeomorphism f:M→M, M closed with dim(M)>2 and r≥2, that admits a wild affine blender-horseshoe Λ_f which is C^r-robustly and strongly pluripotent for the subset Λ_f^(mj) of elements satisfying the majority condition but not for the whole Λ_f. This shows that, inside the affine blender-horseshoe family, strong pluripotency cannot be extended from the majority subset to the full horseshoe in a robust manner.

What carries the argument

The wild affine blender-horseshoe Λ_f and its majority subset Λ_f^(mj), where the majority condition selects the elements that preserve robust strong pluripotency while the complementary points in the full horseshoe create the obstruction under C^r perturbations.

If this is right

  • Strong pluripotency stays confined to the majority subset and cannot be made to cover the full horseshoe by small C^r changes.
  • The majority condition is essential for the persistence of the pluripotency property inside this family.
  • The obstruction is robust, so it survives all sufficiently small C^r perturbations of the diffeomorphism.
  • Full strong pluripotency fails to hold for the complete affine blender-horseshoe while holding on the selected subset.

Where Pith is reading between the lines

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

  • The affine structure may be the feature that prevents pluripotency from extending to the whole horseshoe.
  • Analogous obstructions could appear in non-affine blender constructions or in higher-dimensional manifolds.
  • The result suggests that definitions of pluripotency may need to incorporate subset restrictions when dealing with wild hyperbolic sets.

Load-bearing premise

The base wild affine blender-horseshoes must keep their blending and affinity properties intact under C^r perturbations so that the majority subset remains distinct from the full set.

What would settle it

A C^r-small perturbation of the diffeomorphism in which the entire Λ_f becomes strongly pluripotent would show that the claimed robust obstruction does not hold.

Figures

Figures reproduced from arXiv: 2604.24063 by Shin Kiriki, Teruhiko Soma, Xiaolong Li, Yushi Nakano.

Figure 1
Figure 1. Figure 1: View from the top. Fr(X2) = F − 2 ∪ F + 2 view at source ↗
Figure 2
Figure 2. Figure 2: h± = ±|a3| view at source ↗
Figure 3
Figure 3. Figure 3: Schematic figure just presenting the connections of f 2 0 (Xi) (i = 0, 1, 2) and f 2 0 (Y). They do not indicate their ex￾act placements in M. 5. Diffeomorphisms close to f0 5.1. Extensions of f0|X0 , f0|X1 , f 2 0 |X2 to diffeomorphisms on R 3 . By (4.3), each component of Fr(Xi) (i = 0, 1) is a component of Ws (pf0 , f0) ∩ B. Since view at source ↗
read the original abstract

Suppose that $M$ is a closed manifold of dimension greater than two and $r\geq 2$. We show that there exists a $C^r$-diffeomorphism $f:M\longrightarrow M$ with a wild affine blender-horseshoe $\Lambda_f$ which is $C^r$-robustly and strongly pluripotent for $\Lambda_f^{(\mathrm{mj})}$ but not for $\Lambda_f$, where $\Lambda_f^{(\mathrm{mj})}$ is the subset of $\Lambda_f$ consisting of elements with the majority condition. Thus, within the present affine blender-horseshoe family in [KNS], there is a robust obstruction to extending the strong pluripotency from $\Lambda_f^{(\mathrm{mj})}$ to the whole horseshoe.

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 manuscript proves the existence of a C^r-diffeomorphism f:M→M (dim M>2, r≥2) possessing a wild affine blender-horseshoe Λ_f that is C^r-robustly and strongly pluripotent when restricted to the majority subset Λ_f^(mj) but fails to be strongly pluripotent for the full Λ_f. This yields a robust obstruction to extending strong pluripotency to the entire horseshoe inside the affine blender-horseshoe family constructed in [KNS].

Significance. If the central existence claim holds, the result supplies a concrete, robust counterexample showing that the majority condition is essential for strong pluripotency in this family. It refines the theory of blender-horseshoes by isolating a load-bearing dynamical distinction and furnishes a falsifiable obstruction that can be tested against future attempts to remove the majority restriction.

major comments (2)
  1. [Main construction and perturbation argument] The perturbation argument (implicit in the proof of the main existence statement) must explicitly verify that the C^r-small perturbation used to destroy pluripotency on non-majority elements preserves the wild affine blender-horseshoe structure on the whole Λ_f, including the contracting/expanding directions and the blender region required by the [KNS] axioms. Without this check the obstruction is not shown to lie inside the claimed family.
  2. [Definition of majority condition and pluripotency] The manuscript should confirm that the robust strong pluripotency established for Λ_f^(mj) survives the same perturbation that breaks it for the complement; this verification is load-bearing for the claimed distinction between the subset and the full horseshoe.
minor comments (2)
  1. [Abstract and introduction] The abstract is concise; the introduction could add a one-sentence reminder of the precise [KNS] blender axioms used.
  2. [References] Ensure the reference [KNS] includes full bibliographic details (title, journal or arXiv number) for easy lookup.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the careful reading and the constructive major comments. We address each point below and have revised the manuscript to incorporate the necessary clarifications and verifications.

read point-by-point responses

  1. Referee: The perturbation argument (implicit in the proof of the main existence statement) must explicitly verify that the C^r-small perturbation used to destroy pluripotency on non-majority elements preserves the wild affine blender-horseshoe structure on the whole Λ_f, including the contracting/expanding directions and the blender region required by the [KNS] axioms. Without this check the obstruction is not shown to lie inside the claimed family.

    Authors: We thank the referee for highlighting this requirement. In our construction, the perturbation is chosen to be C^r-small and localized away from the core blender region, ensuring preservation of the hyperbolic structure and blender axioms from [KNS]. We have now made this verification explicit by adding Lemma 5.3, which confirms that all required properties of the wild affine blender-horseshoe are maintained under the perturbation. This places the obstruction firmly within the family. revision: yes

  2. Referee: The manuscript should confirm that the robust strong pluripotency established for Λ_f^(mj) survives the same perturbation that breaks it for the complement; this verification is load-bearing for the claimed distinction between the subset and the full horseshoe.

    Authors: We concur that this confirmation strengthens the result. The perturbation affects only the complement of the majority subset by disrupting specific connections for non-majority points, while the majority points, due to their density and the robustness of pluripotency in the blender, remain unaffected. We have added a paragraph following the main theorem statement that rigorously shows the survival of strong pluripotency for Λ_f^(mj) under this perturbation, using the C^r-openness properties established in the paper. revision: yes

Circularity Check

1 steps flagged

Existence result extends [KNS] family via perturbation; minor self-citation to base construction

specific steps
  1. self citation load bearing [Abstract]
    "Thus, within the present affine blender-horseshoe family in [KNS], there is a robust obstruction to extending the strong pluripotency from Λ_f^(mj) to the whole horseshoe."

    The obstruction claim is positioned within the family from [KNS] (authors overlap with Kiriki, Nakano, Soma), making the base blender-horseshoe properties dependent on prior self-cited work. The new perturbation to break pluripotency for non-mj elements relies on those properties holding, but since no explicit reduction of the obstruction itself to the citation occurs, it is minor.

full rationale

The paper's main result is an existence theorem constructing a perturbation of the [KNS] example that preserves the wild affine blender-horseshoe structure while destroying strong pluripotency outside the majority subset. This adds new content by identifying the robust obstruction. The self-citation is used for the base object but the derivation of the distinction in pluripotency is independent. No self-definitional, fitted prediction, or other circular patterns are present in the provided abstract and description. The overall chain does not reduce the claimed obstruction to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard differential topology (closed manifold of dim >2, C^r maps with r≥2) and the existence of wild affine blender-horseshoes from the cited reference [KNS]. No new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract itself.

axioms (2)
  • standard math M is a closed manifold of dimension greater than two
    Invoked at the start of the statement to set the ambient space for the diffeomorphism.
  • standard math r ≥ 2
    Required for the C^r topology and differentiability class of the diffeomorphism and perturbations.

pith-pipeline@v0.9.0 · 5428 in / 1423 out tokens · 47479 ms · 2026-05-08T01:20:22.733434+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

15 extracted references · 15 canonical work pages

  1. [1]

    P. G. Barrientos, Historic wandering domains near cycle s, Nonlinearity, 35(6):3191–3208, 2022

    work page 2022

  2. [2]

    Berger and S

    P. Berger and S. Biebler, Emergence of wandering stable c omponents, J. Amer. Math. Soc. , 36(2):397–482, 2023

    work page 2023

  3. [3]

    Bonatti and L

    Ch. Bonatti and L. J. D ´ ıaz, Persistent nonhyperbolic tr ansitive diffeomorphisms, Ann. of Math. (2) , 143(2):357–396, 1996

    work page 1996

  4. [4]

    Bonatti and L

    Ch. Bonatti and L. J. D ´ ıaz, Abundance of C1-robust homoclinic tangencies, Trans. Amer. Math. Soc. , 364(10):5111–5148, 2012

    work page 2012

  5. [5]

    Bonatti, L

    Ch. Bonatti, L. J. D ´ ıaz, and M. Viana, Dynamics beyond uniform hyperbolicity , volume 102 of Encyclopaedia of Mathematical Sciences , Springer-Verlag, Berlin, 2005, A global geometric and probabilistic perspective, Mathematical Physics, III

    work page 2005

  6. [6]

    Colli and E

    E. Colli and E. Vargas, Non-trivial wandering domains an d homoclinic bifurcations, Ergodic Theory Dynam. Systems , 21(6):1657–1681, 2001

    work page 2001

  7. [7]

    Uygun Jamilov and Farrukh Mukhamedov, Takens’ the last p roblem and Stein-Ulam spiral type maps, J. Math. Anal. Appl. , 531(1):Paper No. 127813, 13, 2024

    work page 2024

  8. [8]

    085007, 2025

    Shin Kiriki, Xiaolong Li, Yushi Nakano, Teruhiko Soma, a nd Edson Vargas, Takens’ Last Problem and strong pluripotency, Nonlinearity, 38(8):Paper No. 085007, 2025

    work page 2025

  9. [9]

    Shin Kiriki, Xiaolong Li, Yushi Nakano, and Teruhiko Som a, Abundance of observable Lya- punov irregular sets, Comm. Math. Phys. , 391(3):1241–1269, 2022

    work page 2022

  10. [10]

    Kiriki, Y

    S. Kiriki, Y. Nakano, and T. Soma, Pluripotency of wande ring dynamics, arXiv2404.00337

    work page arXiv

  11. [11]

    Kiriki, Y

    S. Kiriki, Y. Nakano, and T. Soma, Historic and physical wandering domains for wild blender- horseshoes, Nonlinearity, 36(8):4007–4033, 2023

    work page 2023

  12. [12]

    Kiriki and T

    S. Kiriki and T. Soma, Takens’ last problem and existenc e of non-trivial wandering domains. Adv. Math. , 306:524–588, 2017,

    work page 2017

  13. [13]

    I. S. Labouriau and A. A. P. Rodrigues, On Takens’ last pr oblem: tangencies and time averages near heteroclinic networks, Nonlinearity, 30(5):1876–1910, 2017

    work page 1910

  14. [14]

    Ruelle, Historical behaviour in smooth dynamical systems , pages 63–66, Inst

    D. Ruelle, Historical behaviour in smooth dynamical systems , pages 63–66, Inst. Phys., Bris- tol, 2001

    work page 2001

  15. [15]

    Takens, Orbits with historic behaviour, or non-exis tence of averages, Nonlinearity, 21(3):T33–T36, 2008

    F. Takens, Orbits with historic behaviour, or non-exis tence of averages, Nonlinearity, 21(3):T33–T36, 2008. A ROBUST OBSTRUCTION TO FULL STRONG PLURIPOTENCY 15 (Shin Kiriki) Department of Mathematics, Tokai University, 4-1-1 Kitakan ame, Hirat- suka, Kanagaw a, 259-1292, JAPAN Email address : kiriki@tokai.ac.jp (Xiaolong Li) School of Mathematics and Sta...

    work page 2008