Showing 1–24 of 24 results for author: Barrientos, P G

Zero Lyapunov Exponents in Transitive Skew-products of Iterated Function Systems

Authors: Pablo G. Barrientos, Joel Angel Cisneros

Abstract: We study the class of transitive skew-products associated with iterated function systems of circle diffeomorphisms. We can approximate any transitive skew-product by maps in this class that have a robustly zero Lyapunov exponent. In particular, we prove the existence of non-hyperbolic ergodic measures for an open and dense subset of transitive skew-products. Moreover, these measures have full supp… ▽ More We study the class of transitive skew-products associated with iterated function systems of circle diffeomorphisms. We can approximate any transitive skew-product by maps in this class that have a robustly zero Lyapunov exponent. In particular, we prove the existence of non-hyperbolic ergodic measures for an open and dense subset of transitive skew-products. Moreover, these measures have full support and are the weak$^*$ limit of periodic measures. △ Less

Submitted 16 March, 2024; originally announced March 2024.

Minimal Strong Foliations in Skew-products of Iterated Function Systems

Authors: Pablo G. Barrientos, Joel Angel Cisneros

Abstract: We study locally constant skew-product maps over full shifts of finite symbols with arbitrary compact metric spaces as fiber spaces. We introduce a new criterion to determine the density of leaves of the strong unstable (and strong stable) foliation, that is, for its minimality. When the fiber space is a circle, we show that both strong foliations are minimal for an open and dense set of robust tr… ▽ More We study locally constant skew-product maps over full shifts of finite symbols with arbitrary compact metric spaces as fiber spaces. We introduce a new criterion to determine the density of leaves of the strong unstable (and strong stable) foliation, that is, for its minimality. When the fiber space is a circle, we show that both strong foliations are minimal for an open and dense set of robust transitive skew-products. We provide examples where either one foliation is minimal or neither is minimal. Our approach involves investigating the dynamics of the associated iterated function system (IFS). We establish the asymptotic stability of the phase space of the IFS when it is a strict attractor of the system. We also show that any transitive IFS consisting of circle diffeomorphisms that preserve orientation can be approximated by a robust forward and backward minimal, expanding, and ergodic (with respect to Lebesgue) IFS. Lastly, we provide examples of smooth robust transitive IFSs where either the forward or the backward minimal fails, or both. △ Less

Submitted 15 March, 2024; v1 submitted 21 April, 2023; originally announced April 2023.

Finitude of physical measures for random maps

Authors: Pablo G. Barrientos, Fumihiko Nakamura, Yushi Nakano, Hisayoshi Toyokawa

Abstract: For random compositions of independent and identically distributed measurable maps on a Polish space, we study the existence and finitude of absolutely continuous ergodic stationary probability measures (which are, in particular, physical measures) whose basins of attraction cover the whole space almost everywhere. We characterize and hierarchize such random maps in terms of their associated Marko… ▽ More For random compositions of independent and identically distributed measurable maps on a Polish space, we study the existence and finitude of absolutely continuous ergodic stationary probability measures (which are, in particular, physical measures) whose basins of attraction cover the whole space almost everywhere. We characterize and hierarchize such random maps in terms of their associated Markov operators, as well as show the difference between classes in the hierarchy by plenty of examples, including additive noise, multiplicative noise, and iterated function systems. We also provide sufficient practical conditions for a random map to belong to these classes. For instance, we establish that any continuous random map on a compact Riemannian manifold with absolutely continuous transition probability has finitely many physical measures whose basins of attraction cover Lebesgue almost all the manifold. △ Less

Submitted 20 September, 2022; v1 submitted 18 September, 2022; originally announced September 2022.

Comments: 83 pages, 5 figures

Homoclinic tangencies leading to robust heterodimensional cycles

Authors: Pablo G. Barrientos, Lorenzo J. Díaz, Sebastián A. Pérez

Abstract: We consider $C^r$ ($r\geqslant 1$) diffeomorphisms $f$ defined on manifolds of dimension $\geqslant 3$ with homoclinic tangencies associated to saddles. Under generic properties, we show that if the saddle is homoclinically related to a blender then the diffeomorphism $f$ can be {$C^r$} approximated by diffeomorphisms with {$C^1$} robust heterodimensional cycles. As an application, we show that th… ▽ More We consider $C^r$ ($r\geqslant 1$) diffeomorphisms $f$ defined on manifolds of dimension $\geqslant 3$ with homoclinic tangencies associated to saddles. Under generic properties, we show that if the saddle is homoclinically related to a blender then the diffeomorphism $f$ can be {$C^r$} approximated by diffeomorphisms with {$C^1$} robust heterodimensional cycles. As an application, we show that the classic Simon-Asaoka's examples of diffeomorphisms with $C^1$ robust homoclinic tangencies also display {$C^1$} robust heterodimensional cycles. In a second application, we consider homoclinic tangencies associated to hyperbolic sets. When the entropy of these sets is large enough we obtain $C^1$ robust cycles after $C^1$ perturbations. △ Less

Submitted 13 December, 2021; v1 submitted 9 December, 2021; originally announced December 2021.

Comments: 4 figures

MSC Class: 37C20; 37C29; 37D20; 37D30

**-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications

Authors: Sébastien Alvarez, Pablo G. Barrientos, Dmitry Filimonov, Victor Kleptsyn, Dominique Malicet, Carlos Meniño, Michele Triestino

Abstract: In the first part of this work we have established an efficient method to obtain a topological classification of locally discrete, finitely generated, virtually free subgroups of real-analytic circle diffeomorphisms. In this second part we describe several consequences, among which the solution (within this setting) to an old conjecture by P. R. Dippolito [Ann. Math. 107 (1978), 403-453] that acti… ▽ More In the first part of this work we have established an efficient method to obtain a topological classification of locally discrete, finitely generated, virtually free subgroups of real-analytic circle diffeomorphisms. In this second part we describe several consequences, among which the solution (within this setting) to an old conjecture by P. R. Dippolito [Ann. Math. 107 (1978), 403-453] that actions with invariant Cantor sets must be semi-conjugate to piecewise linear actions. In addition, we exhibit examples of locally discrete, minimal actions which are not of Fuchsian type. △ Less

Submitted 22 August, 2023; v1 submitted 7 April, 2021; originally announced April 2021.

Comments: 31 pages, 11 figures. Final version to appear in Comment. Math. Helv. (updated affiliation)

MSC Class: 37C85; 20E06 (Primary) 20E08; 37B05; 37E10 (Secondary)

Historic wandering domains near cycles

Authors: Pablo G. Barrientos

Abstract: We explain how to obtain non-trivial historic contractive wandering domains for a dense set of diffeomorphisms in certain type of $C^r$-Newhouse domains of homoclinic tangencies in dimension $d\geq 3$ and $r\geq 1$. In particular, this gives for the first time a contribution to Takens' last problem in the $C^1$ topology and in dimension $d>2$. We show how these Newhouse domains can be obtained arb… ▽ More We explain how to obtain non-trivial historic contractive wandering domains for a dense set of diffeomorphisms in certain type of $C^r$-Newhouse domains of homoclinic tangencies in dimension $d\geq 3$ and $r\geq 1$. In particular, this gives for the first time a contribution to Takens' last problem in the $C^1$ topology and in dimension $d>2$. We show how these Newhouse domains can be obtained arbitrarily close to diffeomorphisms exhibiting heterodimensional cycles (in dimension $d=3$) or non-transverse equidimensional cycles (in any dimension $d\ge 3$) associated with periodic points with non-real complex leading multipliers. △ Less

Submitted 3 January, 2023; v1 submitted 22 March, 2021; originally announced March 2021.

Journal ref: Nonlinearity 35, (2022) 3191

Topological entropy and Hausdorff dimension of irregular sets for non-hyperbolic dynamical systems

Authors: Pablo G. Barrientos, Yushi Nakano, Artem Raibekas, Mario Roldan

Abstract: We systematically investigate examples of non-hyperbolic dynamical systems having irregular sets of full topological entropy and full Hausdorff dimension. The examples include some partially hyperbolic systems and geometric Lorenz flows. We also pose interesting questions for future research. We systematically investigate examples of non-hyperbolic dynamical systems having irregular sets of full topological entropy and full Hausdorff dimension. The examples include some partially hyperbolic systems and geometric Lorenz flows. We also pose interesting questions for future research. △ Less

Submitted 14 February, 2022; v1 submitted 20 March, 2021; originally announced March 2021.

Journal ref: Dynamical Systems. An International Journal. 2022

Typical coexistence of infinitely many strange attractors

Authors: Pablo G. Barrientos, Juan David Rojas

Abstract: We prove that the coexistence of infinitely many prevalent Hénon-like phenomena is Kolmogorov typical in sectional dissipative $C^{d,r}$-Berger domains of parameter families of diffeomorphisms of dimension $m\geq 3$ for $d<r-1$. Namely, we answer an old question posed by Colli in [Annales de l'Institut Henri Poincare-Nonlinear Analysis, 15, 539--580 (1998)] on typicality of the coexistence of infi… ▽ More We prove that the coexistence of infinitely many prevalent Hénon-like phenomena is Kolmogorov typical in sectional dissipative $C^{d,r}$-Berger domains of parameter families of diffeomorphisms of dimension $m\geq 3$ for $d<r-1$. Namely, we answer an old question posed by Colli in [Annales de l'Institut Henri Poincare-Nonlinear Analysis, 15, 539--580 (1998)] on typicality of the coexistence of infinitely many non-hyperbolic strange attractors for $3\leq d<r-1$. △ Less

Submitted 11 January, 2023; v1 submitted 16 February, 2021; originally announced February 2021.

Journal ref: Mathematische Zeitschrift 303, 34 (2023)

Berger domains and Kolmogorov typicality of infinitely many invariant circles

Authors: Pablo G. Barrientos, Artem Raibekas

Abstract: Using the novel notion of parablender, P. Berger proved that the existence of finitely many attractors is not Kolmogorov typical in parametric families of diffeomorphisms. Here, motivated by the concept of Newhouse domains we define Berger domains for families of diffeomorphisms. As an application, we show that the coexistence of infinitely many attracting invariant smooth circles is Kolmogorov ty… ▽ More Using the novel notion of parablender, P. Berger proved that the existence of finitely many attractors is not Kolmogorov typical in parametric families of diffeomorphisms. Here, motivated by the concept of Newhouse domains we define Berger domains for families of diffeomorphisms. As an application, we show that the coexistence of infinitely many attracting invariant smooth circles is Kolmogorov typical in certain non-sectionally dissipative Berger domains of parametric families in dimension three or greater. △ Less

Submitted 16 February, 2021; originally announced February 2021.

Robust degenerate unfoldings of cycles and tangencies

Authors: Pablo G. Barrientos, Artem Raibekas

Abstract: We construct open sets of degenerate unfoldings of heterodimensional cycles of any co-index $c>0$ and homoclinic tangencies of arbitrary codimension $c>0$. These sets are known to be the support of unexpected phenomena in families of diffeomorphisms, such as the Kolmogorov typical co-existence of infinitely many attractors. As a prerequisite we also construct robust homoclinic tangencies of large… ▽ More We construct open sets of degenerate unfoldings of heterodimensional cycles of any co-index $c>0$ and homoclinic tangencies of arbitrary codimension $c>0$. These sets are known to be the support of unexpected phenomena in families of diffeomorphisms, such as the Kolmogorov typical co-existence of infinitely many attractors. As a prerequisite we also construct robust homoclinic tangencies of large codimension which cannot be inside a strong partially hyperbolic set. △ Less

Submitted 10 February, 2021; v1 submitted 1 July, 2019; originally announced July 2019.

Journal ref: Journal of Dynamics and Differential Equations volume 33, pages 177-209 (2021)

Historic behavior in non-hyperbolic homoclinic classes

Authors: Pablo G. Barrientos, Shin Kiriki, Yushi Nakano, Artem Raibekas, Teruhiko Soma

Abstract: We show that $C^1$-generically for diffeomorphisms of manifolds of dimension $d\geq3$, a homoclinic class containing saddles of different indices has a residual subset where the orbit of any point has historic behavior. We show that $C^1$-generically for diffeomorphisms of manifolds of dimension $d\geq3$, a homoclinic class containing saddles of different indices has a residual subset where the orbit of any point has historic behavior. △ Less

Submitted 5 August, 2019; v1 submitted 12 May, 2019; originally announced May 2019.

Comments: Version 3 is accepted in Proceedings of the American Mathematical Society

Journal ref: Proceedings of the American Mathematical Society 148 (2020) 1195-1206

Robust Heteroclinic Tangencies

Authors: Pablo G. Barrientos, Sebastián A. Pérez

Abstract: We construct diffeomorphisms in dimension $d\geq 2$ exhibiting $C^1$-robust heteroclinic tangencies. We construct diffeomorphisms in dimension $d\geq 2$ exhibiting $C^1$-robust heteroclinic tangencies. △ Less

Submitted 1 March, 2019; originally announced March 2019.

Comments: 5 figures

MSC Class: 34D30; 37D10; 37D30; 37G25

Ergodicity of non-autonomous discrete systems with non-uniform expansion

Authors: Pablo G. Barrientos, Abbas Fakhari

Abstract: We study the ergodicity of non-autonomous discrete dynamical systems with non-uniform expansion. As an application we get that any uniformly expanding finitely generated semigroup action of $C^{1+α}$ local diffeomorphisms of a compact manifold is ergodic with respect to the Lebesgue measure. Moreover, we will also prove that every exact non-uniform expandable finitely generated semigroup action of… ▽ More We study the ergodicity of non-autonomous discrete dynamical systems with non-uniform expansion. As an application we get that any uniformly expanding finitely generated semigroup action of $C^{1+α}$ local diffeomorphisms of a compact manifold is ergodic with respect to the Lebesgue measure. Moreover, we will also prove that every exact non-uniform expandable finitely generated semigroup action of conformal $C^{1+α}$ local diffeomorphisms of a compact manifold is Lebesgue ergodic. △ Less

Submitted 21 November, 2018; originally announced November 2018.

Chaos near a reversible homoclinic bifocus

Authors: Pablo G. Barrientos, Artem Raibekas, Alexandre A. P. Rodrigues

Abstract: We show that any neighborhood of a non-degenerate reversible bifocal homoclinic orbit contains chaotic suspended invariant sets on $N$-symbols for all $N\geq 2$. This will be achieved by showing switching associated with networks of secondary homoclinic orbits. We also prove the existence of super-homoclinic orbits (trajectories homoclinic to a network of homoclinic orbits), whose presence leads t… ▽ More We show that any neighborhood of a non-degenerate reversible bifocal homoclinic orbit contains chaotic suspended invariant sets on $N$-symbols for all $N\geq 2$. This will be achieved by showing switching associated with networks of secondary homoclinic orbits. We also prove the existence of super-homoclinic orbits (trajectories homoclinic to a network of homoclinic orbits), whose presence leads to a particularly rich structure. △ Less

Submitted 1 July, 2019; v1 submitted 15 October, 2018; originally announced October 2018.

Journal ref: Dynamical Systems (An International Journal), 2019

Extremal exponents of random products of conservative diffeomorphisms

Authors: Pablo G. Barrientos, Dominique Malicet

Abstract: We show that for a $C^1$-open and $C^{r}$-dense subset of the set of ergodic iterated function systems of conservative diffeomorphisms of a finite-volume manifold of dimension $d\geq 2$, the extremal Lyapunov exponents do not vanish. In particular, the set of non-uniform hyperbolic systems contains a $C^1$-open and $C^r$-dense subset of ergodic random products of i.i.d. conservative surface diffeo… ▽ More We show that for a $C^1$-open and $C^{r}$-dense subset of the set of ergodic iterated function systems of conservative diffeomorphisms of a finite-volume manifold of dimension $d\geq 2$, the extremal Lyapunov exponents do not vanish. In particular, the set of non-uniform hyperbolic systems contains a $C^1$-open and $C^r$-dense subset of ergodic random products of i.i.d. conservative surface diffeomorphisms. △ Less

Submitted 10 February, 2021; v1 submitted 23 September, 2018; originally announced September 2018.

Report number: Mathematische Zeitschrift volume 296, pages 1185--1207 (2020)

Robustly non-hyperbolic transitive symplectic dynamics

Authors: Pablo G. Barrientos, Artem Raibekas

Abstract: We construct symplectomorphisms in dimension $d\geq 4$ having a semi-local robustly transitive partially hyperbolic set containing $C^2$-robust homoclinic tangencies of any codimension $c$ with $0<c\leq d/2$. We construct symplectomorphisms in dimension $d\geq 4$ having a semi-local robustly transitive partially hyperbolic set containing $C^2$-robust homoclinic tangencies of any codimension $c$ with $0<c\leq d/2$. △ Less

Submitted 20 July, 2017; originally announced July 2017.

Comments: This article is the second part of arXiv:1509.05325

Robust tangencies of large codimension

Authors: Pablo G. Barrientos, Artem Raibekas

Abstract: We construct $C^2$-robust homoclinic and heterodimensional tangencies of large codimension inside transitive partially hyperbolic sets. We construct $C^2$-robust homoclinic and heterodimensional tangencies of large codimension inside transitive partially hyperbolic sets. △ Less

Submitted 18 July, 2017; originally announced July 2017.

Comments: This article is the first part of arXiv:1509.05325

Robust cycles and tangencies of large codimension

Authors: Pablo G. Barrientos, Artem Raibekas

Abstract: We construct partially hyperbolic diffeomorphisms having semi-local robustly transitive sets with $C^1$-robust cycles of any co-index. These constructions also provide a new method to create $C^2$-robust homoclinic, equidimensional and heterodimensional tangencies of large codimension in dimension $d\geq 4$. The method to generate robust homoclinic and equidimensional tangencies also works in the… ▽ More We construct partially hyperbolic diffeomorphisms having semi-local robustly transitive sets with $C^1$-robust cycles of any co-index. These constructions also provide a new method to create $C^2$-robust homoclinic, equidimensional and heterodimensional tangencies of large codimension in dimension $d\geq 4$. The method to generate robust homoclinic and equidimensional tangencies also works in the symplectic setting. Thus, these are mechanisms for the robust non-hyperbolicity of symplectomorphisms in higher dimension. △ Less

Submitted 20 July, 2017; v1 submitted 17 September, 2015; originally announced September 2015.

Comments: This article has been divided into two parts: arXiv:1509.05325 and arXiv:1707.06473

Heteroclinic cycles arising in generic unfoldings of nilpotent singularities

Authors: Pablo G. Barrientos, Santiago Ibáñez, J. Ángel Rodríguez

Abstract: In this paper we study the existence of heteroclinic cycles in generic unfoldings of nilpotent singularities. Namely we prove that any nilpotent singularity of codimension four in $\mathbb{R}^4$ unfolds generically a bifurcation hypersurface of bifocal homoclinic orbits, that is, homoclinic orbits to equilibrium points with two pairs of complex eigenvalues. We also prove that any nilpotent singula… ▽ More In this paper we study the existence of heteroclinic cycles in generic unfoldings of nilpotent singularities. Namely we prove that any nilpotent singularity of codimension four in $\mathbb{R}^4$ unfolds generically a bifurcation hypersurface of bifocal homoclinic orbits, that is, homoclinic orbits to equilibrium points with two pairs of complex eigenvalues. We also prove that any nilpotent singularity of codimension three in $\mathbb{R}^3$ unfolds generically a bifurcation curve of heteroclinic cycles between two saddle-focus equilibrium points with different stability indexes. Under generic assumptions these cycles imply the existence of homoclinic bifurcations. Homoclinic orbits to equilibrium points with complex eigenvalues are the simplest configurations which can explain the existence of complex dynamics as, for instance, strange attractors. The proof of the arising of these dynamics from a singularity is a very useful tool, particularly for applications. △ Less

Submitted 22 July, 2015; originally announced July 2015.

Comments: This version includes a new appendix with the deduction of the bifurcation equation of a non-degenerate (homo)heteroclinic orbit and two new figures

Journal ref: Journal of Dynamics and Differential Equations, 23 (2011) 999-1028

On the chaos game of Iterated Function Systems

Authors: Pablo G. Barrientos, F. H. Ghane, Dominique Malicet, A. Sarizadeh

Abstract: Every quasi-attractor of an iterated function system (IFS) of continuous functions on a first-countable Hausdorff topological space is renderable by the probabilistic chaos game. By contrast, we prove that the backward minimality is a necessary condition to get the deterministic chaos game. As a consequence, we obtain that an IFS of homeomorphisms of the circle is renderable by the deterministic c… ▽ More Every quasi-attractor of an iterated function system (IFS) of continuous functions on a first-countable Hausdorff topological space is renderable by the probabilistic chaos game. By contrast, we prove that the backward minimality is a necessary condition to get the deterministic chaos game. As a consequence, we obtain that an IFS of homeomorphisms of the circle is renderable by the deterministic chaos game if and only if it is forward and backward minimal. This result provides examples of attractors (a forward but no backward minimal IFS on the circle) that are not renderable by the deterministic chaos game. We also prove that every well-fibred quasi-attractor is renderable by the deterministic chaos game as well as quasi-attractors of both, symmetric and non-expansive IFSs. △ Less

Submitted 3 January, 2018; v1 submitted 23 June, 2015; originally announced June 2015.

Journal ref: Topol. Methods Nonlinear Anal. Volume 49, Number 1 (2017), 105--132

Expanding actions: minimality and ergodicity

Authors: Pablo G. Barrientos, Abbas Fakhari, Dominique Malicet, Ali Sarizadeh

Abstract: We prove that every expanding minimal semigroup action of $C^1$ diffeomorphisms of a compact manifold (resp. $C^{1+α}$ conformal) is robustly minimal (resp. ergodic with respect to Lebesgue measure). We also show how, locally, a blending region yields the robustness of the minimality and implies ergodicity. We prove that every expanding minimal semigroup action of $C^1$ diffeomorphisms of a compact manifold (resp. $C^{1+α}$ conformal) is robustly minimal (resp. ergodic with respect to Lebesgue measure). We also show how, locally, a blending region yields the robustness of the minimality and implies ergodicity. △ Less

Submitted 3 January, 2018; v1 submitted 23 July, 2013; originally announced July 2013.

Journal ref: Stochastics and Dynamics, Volume 17, Issue 04, August 2017, 1750031--1750051

Density of fiberwise orbits in minimal iterated function systems on the circle

Authors: Pablo G. Barrientos, Abbas Fakhari, Ali Sarizadeh

Abstract: We study the minimality of almost every orbital branch of minimal iterated function systems (IFSs). We prove that this kind of minimality holds for forward and backward minimal IFSs generated by orientation-preserving homeomorphisms of the circle. We provide new examples of iterated functions systems where this behavior persists under perturbation of the generators. We study the minimality of almost every orbital branch of minimal iterated function systems (IFSs). We prove that this kind of minimality holds for forward and backward minimal IFSs generated by orientation-preserving homeomorphisms of the circle. We provide new examples of iterated functions systems where this behavior persists under perturbation of the generators. △ Less

Submitted 16 July, 2015; v1 submitted 4 April, 2013; originally announced April 2013.

Journal ref: Discrete and Continuous Dynamical Systems, Series A, 34 (2014), 3341--3352

Dynamics of iterated function systems on the circle close to rotations

Authors: Pablo G. Barrientos, Artem Raibekas

Abstract: We study the dynamics of iteration function systems generated by a pair of circle diffeomorphisms close to rotations in the $C^{1+\mathrm{bv}}$-topology. We characterize the obstruction to minimality and describe the limit set. In particular, there are no invariant minimal Cantor sets, which can be seen as a Denjoy/Duminy type theorem for iterated systems on the circle. We study the dynamics of iteration function systems generated by a pair of circle diffeomorphisms close to rotations in the $C^{1+\mathrm{bv}}$-topology. We characterize the obstruction to minimality and describe the limit set. In particular, there are no invariant minimal Cantor sets, which can be seen as a Denjoy/Duminy type theorem for iterated systems on the circle. △ Less

Submitted 16 July, 2015; v1 submitted 11 March, 2013; originally announced March 2013.

Journal ref: Ergod. Th. Dynam. Sys. 35 (2014) 1345-1368

Symbolic blender-horseshoes and applications

Authors: Pablo G. Barrientos, Yuri Ki, Artem Raibekas

Abstract: We study partially-hyperbolic skew-product maps over the Bernoulli shift with Hölder dependence on the base points. In the case of contracting fiber maps, symbolic blender-horseshoe is defined as an invariant set which meets any almost horizontal disk in a robust sense. These invariant sets are understood as blenders with center stable bundle of any dimension. We then give necessary conditions (co… ▽ More We study partially-hyperbolic skew-product maps over the Bernoulli shift with Hölder dependence on the base points. In the case of contracting fiber maps, symbolic blender-horseshoe is defined as an invariant set which meets any almost horizontal disk in a robust sense. These invariant sets are understood as blenders with center stable bundle of any dimension. We then give necessary conditions (covering property) on an iterated function system such that the relevant skew-product has a symbolic blender-horseshoe. We use this local plug to yield robustly non-hyperbolic transitive diffeomorphisms and robust heterodimensional cycles of co-index equal to the dimension of the central direction. △ Less

Submitted 16 July, 2015; v1 submitted 29 November, 2012; originally announced November 2012.

Journal ref: Nonlinearity, 27 (2014) 2805--2839