We estimate harmonic scalings in the parameter space of a one-parameter family of critical circle maps. These estimates lead to the conclusion that the Hausdorff dimension of the complement of the frequency-locking set is less than $1$ but not less than $1/3$. Moreover, the rotation number is a Hölder continuous function of the parameter.
The saddle-node bifurcation on an invariant circle (SNIC) is one of the codimension-one routes to creation or destruction of a periodic orbit in a continuous-time dynamical system. It governs the transition from resting behaviour to periodic spiking in many class I neurons, for example. Here, as a first step towards theory of networks of such units the effect of weak coupling between two systems with a SNIC is analysed. Two crucial parameters of the coupling are identified, which we call δ_1 and δ_2. Global bifurcation diagrams are obtained here for the "mutualistic" case δ_1 δ_2 > 0. Accordin…
Circle maps frequently arise in mathematical models of physical or biological systems. Motivated by Cherry flows and `threshold' systems such as integrate and fire neuronal models, models of cardiac arrhythmias, and models of sleep/wake regulation, we consider how structural transitions in circle maps occur. In particular we describe how maps evolve near the creation of a discontinuity. We show that the natural way to create discontinuities in the maps associated with both threshold systems and Cherry flows results in a square root singularity in the map as the discontinuity is approached from…
Bifurcations of the $A_{n}$ type in Arnold's classification, in non-autonomous $p$-periodic difference equations generated by parameter depending families with $p$ maps, are studied. It is proved that the conditions of degeneracy, non-degeneracy and unfolding are invariant relative to cyclic order of compositions for any natural number $n$. The main tool for the proofs is local topological conjugacy. Invariance results are essential to the proper definition of the bifurcations $A_{n}$, and lower codimension bifurcations associated, using all the possible cyclic compositions of the fiber famili…
We study bifurcations of cubic homoclinic tangencies in two-dimensional symplectic maps. We distinguish two types of cubic homoclinic tangencies, and each type gives different first return maps derived to diverse conservative cubic Hénon maps with quite different bifurcation diagrams. In this way, we establish the structure of bifurcations of periodic orbits in two parameter general unfoldings generalizing to the conservative case the results previously obtained for the dissipative case. We also consider the problem of 1:4 resonance for the conservative cubic Hénon maps.
Homeomorphisms allowing us to prove topological equivalences between one-parameter families of maps undergoing the same bifurcation are constructed in this paper. This provides a solution for a classical problem in bifurcation theory that was set out three decades ago and remained unexpectedly unpublished until now
We strengthen the standard bifurcation theorems for saddle-node, transcritical, pitchfork, and period-doubling bifurcations of maps. Our new formulation involves adding one or two extra terms to the standard truncated normal forms with coefficients determined by algebraic equations. These extended normal forms are differentiably conjugate to the original maps on basins of attraction and repulsion of fixed points or periodic orbits. This reflects common assumptions about the additional information in normal forms despite standard bifurcation theorems being formulated only in terms of topologica…
We study bifurcations of non-orientable area-preserving maps with quadratic homoclinic tangencies. We study the case when the maps are given on non-orientable two-dimensional surfaces. We consider one and two parameter general unfoldings and establish results related to the emergence of elliptic periodic orbits.
We discuss dynamics of skew product maps defined by circle diffeomorphisms forced by expanding circle maps. We construct an open class of such systems that are robust topologically mixing and for which almost all points in the same fiber converge under iteration. This property follows from the construction of an invariant attracting graph in the natural extension, a skew product of circle diffeomorphisms forced by a solenoid homeomorphism.
We study bifurcations of area-preserving maps, both orientable (symplectic) and non-orientable, with quadratic homoclinic tangencies. We consider one and two parameter general unfoldings and establish results related to the appearance of elliptic periodic orbits. In particular, we find conditions for such maps to have infinitely many generic (KAM-stable) elliptic periodic orbits of all successive periods starting at some number.
We describe the behaviour at infinity of the bifurcation current in the moduli space of quadratic rational maps. To this purpose, we extend it to some closed, positive (1, 1)-current on a two-dimensional complex projective space and then compute the Lelong numbers and the self-intersection of the extended current.
We review recent results that lead to a very precise understanding of the dynamics of typical unimodal maps from the statistical point of view. We also describe the (generalized) renormalization approach to the study of the statistical properties of typical unimodal maps.
We show the existence of open sets of bifurcations near Latt{è}s maps of sufficiently high degree. In particular, every Latt{è}s map has an iterate which is in the closure of the interior of the bifurcation locus. To show this, we design a method to intersect the limit set of some particular type of IFS with a well-oriented curve. Then, we show that a Latt{è}s map of sufficiently high degree can be perturbed to exhibit this geometry.
Resonance tongues are mode-locking regions of parameter space in which stable periodic solutions occur; they commonly occur, for example, near Neimark-Sacker bifurcations. For piecewise-smooth, continuous maps these tongues typically have a distinctive lens-chain (or sausage) shape in two-parameter bifurcation diagrams. We give a symbolic description of a class of "rotational" periodic solutions that display lens-chain structures for a general $N$-dimensional map. We then unfold the codimension-two, shrinking point bifurcation, where the tongues have zero width. A number of codimension-one bif…
We develop a renormalization theory for analytic homeomorphisms of the circle with two cubic critical points. We prove a renormalization hyperbolicity theorem. As a basis for the proofs, we develop complex a priori bounds for multi-critical circle maps.
Mode-locking regions (resonance tongues) formed by border-collision bifurcations of piecewise-smooth, continuous maps commonly exhibit a distinctive sausage-like geometry with pinch points called "shrinking points". In this paper we extend our unfolding of the piecewise-linear case [{\em Nonlinearity}, 22(5):1123-1144, 2009] to show how shrinking points are destroyed by nonlinearity. We obtain a codimension-three unfolding of this shrinking point bifurcation for $N$-dimensional maps. We show that the destruction of the shrinking points generically occurs by the creation of a curve of saddle-no…
In this paper we will study families of circle maps of the form $x\mapsto x+2πr + a f(x) \pmod{2π}$ and investigate how many periodic trajectories maps from this family can have for a "typical" function $f$ provided the parameter $a$ is small.
In this paper we generalize renormalization theory for analytic critical circle maps with a cubic critical point to the case of maps with an arbitrary odd critical exponent by proving a quasiconformal rigidity statement for renormalizations of such maps.
We study critical orbits and bifurcations within the moduli space of quadratic rational maps on $\mathbb{P}^1$. We focus on the family of curves, $Per_1(λ)$ for $λ$ in $\mathbb{C}$, defined by the condition that each $f\in Per_1(λ)$ has a fixed point of multiplier $λ$. We prove that the curve $Per_1(λ)$ contains infinitely many postcritically-finite maps if and only if $λ= 0$; addressing a special case of [BD2, Conjecture 1.4]. We also show that the two critical points of a map $f$ define distinct bifurcation measures along $Per_1(λ)$.
We consider the conservative Hénon family at the period-doubling bifurcation of its fixed point and demonstrate that the separatrices of the fixed saddle point nearing the bifurcation split exponentially: given that $λ_+$ is the smaller of the eigenvalues of the saddle point, the angle between the separatrices along the homoclinic orbit satisfies $$\sin α= O(e^{-{π^2 \over \log |λ_+|}})+ O\left( e^{-2 (1-κ) {π^2 \over \log |λ_+|}} \right),$$ for any positive $κ<1$.
In this paper we show that generic continuous Lebesgue measure preserving circle maps have the s-limit shadowing property. In addition we obtain that s-limit shadowing is a generic property also for continuous circle maps. In particular, this implies that classical shadowing, periodic shadowing and limit shadowing are generic in these two settings as well.
In this paper, we give a family of rational maps whose Julia sets are Cantor circles and show that every rational map whose Julia set is a Cantor set of circles must be topologically conjugate to one map in this family on their corresponding Julia sets. In particular, we give the specific expressions of some rational maps whose Julia sets are Cantor circles, but they are not topologically conjugate to any McMullen maps on their Julia sets. Moreover, some non-hyperbolic rational maps whose Julia sets are Cantor circles are also constructed.
Takens constructed a residual subset of the state space consisting of initial points with historic behaviour for expanding maps on the circle. We prove that this statistical property of expanding maps on the circle is preserved under small random perturbations. The proof is given by establishing a random Markov partition, which follows from a random version of Shub's Theorem on topological conjugacy with the folding maps.
We construct a renormalization operator which acts on analytic circle maps whose critical exponent $α$ is not necessarily an odd integer $2n+1$, $n\in\mathbb N$. When $α=2n+1$, our definition generalizes cylinder renormalization of analytic critical circle maps. In the case when $α$ is close to an odd integer, we prove hyperbolicity of renormalization for maps of bounded type. We use it to prove universality and $C^{1+α}$-rigidity for such maps.
We prove that any two $C^4$ critical circle maps with the same irrational rotation number and the same odd criticality are conjugate to each other by a $C^1$ circle diffeomorphism. The conjugacy is $C^{1+α}$ for Lebesgue almost every rotation number.
We prove that any two $C^3$ critical circle maps with the same irrational rotation number of bounded type and the same odd criticality are conjugate to each other by a $C^{1+α}$ circle diffeomorphism, for some universal $α>0$.
It is shown that if $f$ and $g$ are any two analytic critical circle mappings with the same irrational rotation number, then the conjugacy that maps the critical point of $f$ to that of $g$ has regularity $C^{1+α}$ at the critical point, with a universal value of $α>0$. As a consequence, a new proof of the hyperbolicity of the full renormalization horseshoe of critical circle maps is given.
We prove that there exists a dense set of analytic expanding maps of the circle for which the Ruelle eigenvalues enjoy exponential lower bounds. The proof combines potential theoretic techniques and explicit calculations for the spectrum of expanding Blaschke products.
We prove that if two analytic multicritical circle maps with the same bounded type rotation number are topologically conjugate by a conjugacy which matches the critical points of the two maps while preserving the orders of their criticalities, then the conjugacy necessarily has $C^{1+α}$ regularity, where $α$ depends only on the bound on the type of the rotation number. We then extend this rigidity result to $C^3$-smooth bi-cubic circle maps.
We consider some smooth maps on a bouquet of circles. For these maps we can compute the number of fixed points, the existence of periodic points and an exact formula for topological entropy. We use Lefschetz fixed point theory and actions of our maps on both the fundamental group and the first homology group.
This survey article is concerned with the study of bifurcations of piecewise-smooth maps. We review the literature in circle maps and quasi-contractions and provide paths through this literature to prove sufficient conditions for the occurrence of two types of bifurcation scenarios involving rich dynamics. The first scenario consists of the appearance of periodic orbits whose symbolic sequences and "rotation" numbers follow a Farey tree structure; the periods of the periodic orbits are given by consecutive addition. This is called the {\em period adding} bifurcation, and its proof relies on re…
We consider the bifurcation structure of one-parameter families of unimodal maps whose differentiability is only $C^1$. The structure of its bifurcation diagram can be a very wild one in such case. However we prove that in a certain topological sense, the structure is the same as that of the standard family of quadratic polynomials. In the case of families of polynomials, irreducible component of the bifurcation diagram can be defined naturally by dividing by the polynomials corresponding to lower periods. We show that such a irreducible component can be defined even if the maps and the family…
We propose an extension of the one dimensional (doubling) renormalization operator to the case of maps on the cylinder. The kind of maps considered are commonly referred as quasi-periodic forced one dimensional maps. We prove that the fixed point of the one dimensional renormalization operator extends to a fixed point of the quasi-periodic forced renormalization operator. We also prove that the operator is differentiable around the fixed point and we study its derivative. Then we consider a two parametric family of quasi-periodically forced maps which is a unimodal one dimensional map with a f…
We study one-parameter families of quasi-periodically forced monotone interval maps and provide sufficient conditions for the existence of a parameter at which the respective system possesses a non-uniformly hyperbolic attractor. This is equivalent to the existence of a sink-source orbit, that is, an orbit with positive Lyapunov exponent both forwards and backwards in time. The attractor itself is a non-continuous invariant graph with negative Lyapunov exponent, often referred to as "SNA". In contrast to former results in this direction, our conditions are C^2-open in the fibre maps. By applyi…
We construct a real-analytic circle map for which the corresponding Perron-Frobenius operator has a real-analytic eigenfunction with an eigenvalue outside the essential spectral radius when acting upon $C^1$-functions.
Modifying Hall's idea in "A C^{\infty} Denjoy counterexample" we construct an example of homeomorphism of the circle which is a Denjoy counterexample (i.e. it is not conjugated to a rotation) and which is a C^{\infty}-diffeomorphism everywhere except in a flat half-critical point.
We demonstrate the existence of a global attractor A with a Cantor set structure for the renormalization of critical circle mappings. The set A is invariant under a generalized renormalization transformation, whose action on A is conjugate to the two-sided shift.
In this article, we show that R.H. Bing's pseudo-circle admits a minimal non-invertible map. This resolves a problem raised by Bruin, Kolyada and Snoha in the negative. The main tool is the Denjoy-Rees technique, further developed by Béguin-Crovisier-Le Roux, combined with detailed study into the structure of the pseudo-circle.
We show that limits for the critical exponent tending to \infty exist in both critical circle homeomorphisms of golden mean rotation number and Fibonacci circle coverings. Moreover, they are the same. The limit map is not analytic at the critical point, which is flat, but has non-trivial complex dynamics.
We study $C^{2}$ weakly order preserving circle maps with a flat interval. The main result of the paper is about a sharp transition from degenerate geometry to bounded geometry depending on the degree of the singularities at the boundary of the flat interval. We prove that the non-wandering set has zero Hausdorff dimension in the case of degenerate geometry and it has Hausdorff dimension strictly greater than zero in the case of bounded geometry. Our results about circle maps allow to establish a sharp phase transition in the dynamics of Cherry flows.
We study circle extensions of analytic Anosov maps on the two torus: these are examples of partially hyperbolic maps for which the qualitative ergodic theory is well understood. In this paper we investigate rates of mixing (for the SRB measure) and prove explicit lower bounds involving the topological pressure of two times the unstable Jacobian. In particular we study the case when the extension function ("roof function") is given by a random trigonometric polynomial.
In a one-parameter study of a noninvertible family of maps of the plane arising in the context of a numerical integration scheme, Lorenz studied a sequence of transitions from an attracting fixed point to "computational chaos." As part of the transition sequence, he proposed the following as a possible scenario for the breakup of an invariant circle: the invariant circle develops regions of increasingly sharper curvature until at a critical parameter value it develops cusps; beyond this parameter value, the invariant circle fails to persist, and the system exhibits chaotic behavior on an invar…
Piecewise linear recurrent neural networks (PLRNNs) form the basis of many successful machine learning applications for time series prediction and dynamical systems identification, but rigorous mathematical analysis of their dynamics and properties is lagging behind. Here we contribute to this topic by investigating the existence of n-cycles $(n\geq 3)$ and border-collision bifurcations in a class of n-dimensional piecewise linear continuous maps which have the general form of a PLRNN. This is particularly important as for one-dimensional maps the existence of 3-cycles implies chaos. It is sho…
