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.
In this paper we establish $C^2$ a-priori bounds for the scaling ratios of critical circle mappings in a form that gives also a compactness property for the renormalization operator.
We prove that any two real-analytic critical circle maps with cubic critical point and the same irrational rotation number of bounded type are $C^{1+α}$ conjugate for some $α>0$.
We survey rigidity results for groups acting on the circle in various settings, from local to global and $C^0$ to smooth. Our primary focus is on actions of surface groups, with the aim of introducing the reader to recent developments and new tools to study groups acting by homeomorphisms.
Let $f$ and $g$ be two circle endomorphisms of degree $d\geq 2$ such that each has bounded geometry, preserves the Lebesgue measure, and fixes $1$. Let $h$ fixing $1$ be the topological conjugacy from $f$ to $g$. That is, $h\circ f=g\circ h$. We prove that $h$ is a symmetric circle homeomorphism if and only if $h=Id$. Many other rigidity results in circle dynamics follow from this very general symmetric rigidity result.
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$.
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.
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 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 show that a smooth 1-parameter family of foliations by circles of a closed 3-manifold, deforming the foliation whose leaves are the fibers of a circle bundle, is trivial, i.e. all the foliations of the family arise from circle bundles isomorphic to the unperturbed one, if a continuity property of the Seifert leaves of the perturbation holds true. This rigidity property is true for any real analytic 1-parameter family of foliations by circles when the base space of the circle bundle defining the unperturbed foliation is not a torus. The dimensionality hypothesis is discussed in relation to a…
We prove that two $C^r$ critical circle maps with the same rotation number of bounded type are $C^{1+α}$ conjugate for some $α>0$ provided their successive renormalizations converge together at an exponential rate in the $C^0$ sense. The number $α$ depends only on the rate of convergence. We also give examples of $C^\infty$ critical circle maps with the same rotation number that are not $C^{1+β}$ conjugate for any $β>0$.
We find conditions for two piecewise C^{2+ν} homeomorphisms f and g of the circle to be C^1 conjugate. Besides the restrictions on the combinatorics of the maps (we assume that the maps have bounded combinatorics), and necessary conditions on the one-side derivatives of points where f and g are not differentiable, we also assume zero mean nonlinearity for f and g.
A central question in dynamics is whether the topology of a system determines its geometry. This is known as rigidity. Under mild topological conditions rigidity holds for many classical cases, including: Kleinian groups, circle diffeomorphisms, unimodal interval maps, critical circle maps, and circle maps with a break point. More recent developments show that under similar topological conditions, rigidity does not hold for slightly more general systems. In this paper we state a conjecture which describes how topological classes are organized into rigidity classes.
We consider order preserving $C^3$ circle maps with a flat piece, Fibonacci rotation number, critical exponents $(\ell_1, \ell_2)$ and negative shwarzian derivative. This paper treat the geometry characteristic of the non-wondering (cantor (fractal)) set from a map of our class. We prove that, for $(\ell_1, \ell_2)$ in $(1,2)^2$, the geometry of system is degenerate (double exponentially fast). As consequences, the renormalization diverges and the geometric (rigidity) class depends on the three couples $(c_u(f), c'_u(f) )$, $( c_+(f), c'_+(f))$ and $(c_s(f), c'_s(f) )$.\vspace{0.5cm}
Let $f$ and $\tilde{f}$ be two circle diffeomorphisms with a break point, with the same irrational rotation number of bounded type, the same size of the break $c$ and satisfying a certain Zygmund type smoothness condition depending on a parameter $γ>2.$ We prove that under a certain condition imposed on the break size $c$, the diffeomorphisms $f$ and $\tilde{f}$ are $C^{1+ω_γ}$-smoothly conjugate to each other, where $ω_γ(δ)=|\log δ|^{-(γ/2-1)}.$
In this paper we consider two-dimensional dissipative maps of the annulus which are small perturbations of one-dimensional critical circle maps. It has been shown earlier that such perturbations admit an attractor which is a non-smooth topolgical circle - a "critical" circle. We study conjugacies of the maps that admit such attractors and show that although the maps exhibit universality - they approach a certain normal form when looked at small scales - two maps in general can not be smoothly comjugate on their critical attractors. This result extends the paradigm of "universality but no rigid…
Let $f, g:S^1\to S^1$ be two $C^3$ critical homeomorphisms of the circle with the same irrational rotation number and the same (finite) number of critical points, all of which are assumed to be non-flat, of power-law type. In this paper we prove that if $h:S^1\to S^1$ is a topological conjugacy between $f$ and $g$ and $h$ maps the critical points of $f$ to the critical points of $g$, then $h$ is quasisymmetric. When the power-law exponents at all critical points are integers, this result is a special case of a general theorem recently proved by T.~Clark and S.~van Strien \cite{CS}. However, un…
We show that any sufficiently (finitely) smooth $\mathbb Z_2$-symmetric strictly convex domain sufficiently close to a circle is dynamically spectrally rigid, i.e. all deformations among domains in the same class which preserve the length of all periodic orbits of the associated billiard flow must necessarily be isometric deformations. This gives a partial answer to a question of P. Sarnak.
In this work we lead with expanding maps of the circle and Anosov diffeomorphisms on $\mathbb{T}^d, d \geq 2.$ We prove that, for these maps, \textit{constant periodic data} imply \textit{same periodic data of these maps and their linearizations}, so in particular we have smooth conjugacy. For expanding maps of the circle and Anosov diffeomorphism on $\mathbb{T}^d, d= 2, 3,$ we have global rigidity. In higher dimensions, $d \geq 4,$ we can establish a result of local rigidity, in several cases. The main tools of this work are celebrated results of rigidity involving same periodic data with lin…
The rigidity theory for circle homeomophisms with breaks was studied intensively in the last 20 years. It was proved that under mild conditions of the Diophantine type on the rotation number any two $C^{2+α}$ smooth circle homeomorphisms with a break point are $C^1$ smoothly conjugate to each other, provided that they have the same rotation number and the same size of the break. In this paper we prove that the conjugacy may not be $C^{2-ν}$ even if the maps are analytic outside of the break points. This result shows that the rigidity theory for maps with singularities is very different from th…
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 construct an increasing sequence of natural numbers $(m_n)_{n=1}^{+\infty}$ with the property that $(m_n þ[1])_{n\geq 1}$ is dense in $\T$ for any $þ\in \R\setminus \Q$, and a continuous measure on the circle $μ$ such that $\lim_{n\to +\infty}\int_{\T}\|m_nθ\|dμ(θ)=0$. Moreover, for every fixed $k\in \N$, the set $\{n\in \N:\,k\nmid m_n \}$ is infinite. This is a sufficient condition for the existence of a rigid, weakly mixing dynamical system whose rigidity time is not a rigidity time for any system with a discrete part in its spectrum.
In this article we investigate rigidity properties of integrable area-preserving twist maps of the cylinder. More specifically, we prove that if a deformation of the standard integrable map preserves rotational invariant circles (i.e., homotopically non-trivial invariant curves of the cylinder on which the dynamics is conjugate to a rotation) for any rational rotation number in an open interval (without any further assumption on its size), then the deformation must be trivial. Analogue phenomena for integrable Tonelli Hamiltonian flows in higher dimensions are discussed.
Inspired by the recent results toward Birkhoff conjecture (a rigidity property of billiards in ellipses), we discuss two rigidity properties of conics. The first one concerns symmetries of an analog of polar duality associated with an oval, and the second concerns properties of the circle map associated with an oval and two pencils of lines.
In the paper, we establish Squash Rigidity Theorem - the dynamical spectral rigidity for piecewise analytic Bunimovich squash-type stadia. We also establish Stadium Rigidity Theorem - the dynamical spectral rigidity for piecewise analytic Bunimovich stadia whose flat boundaries are a priori fixed. In addition, for smooth Bunimovich squash-type stadia we compute the Lyapunov exponents along the maximal period two orbit, as well as the value of the Peierls' Barrier function from the maximal marked length spectrum associated to the rotation number $\frac{2n}{4n+1}$.
In this work we treat a famous topic in Ergodic Theory and Dynamical Systems: uniformly expanding maps. We relate regularity of expanding maps and conjugacies with Lyapunov exponents, metric and topological entropies for expanding maps of the circle. In Theorem C, we present a result of rigidity of expanding maps on the torus $\mathbb{T}^2,$ after we naturally generalize it in higher dimensions. Here, we present techniques involving ordinary differential equations to study rigidity problems of expanding maps. Along of this work we provide another proof of a Shub-Sullivan's Theorem, concerning …
A general ansatz in Renormalization Theory, already established in many important situations, states that exponential convergence of renormalization orbits implies that topological conjugacies are actually smooth (when restricted to the attractors of the original systems). In this paper we establish this principle for a large class of bicritical circle maps, which are $C^3$ circle homeomorphisms with irrational rotation number and exactly two (non-flat) critical points. The proof presented here is an adaptation, to the bicritical setting, of the one given by de Faria and de Melo for the case o…
We prove that any real-analytic action of $SL(n,\Z), n\ge 3$ with standard homotopy data that preserves an ergodic measure $μ$ whose support is not contained in a ball, is analytically conjugate on an open invariant set to the standard linear action on the complement to a finite union of periodic orbits.
We extend some aspects of the smooth approximation by conjugation method to the real-analytic set-up and create examples of zero entropy, uniquely ergodic real-analytic diffeomorphisms of the two dimensional torus metrically isomorphic to some (Liouvillian) irrational rotations of the circle.
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.
A foliation is R-covered if the leaf space in the universal cover is homeomorphic to the real numbers. We show that, up to topological conjugacy, there are at most two pseudo-Anosov flows transverse to such a foliation. If there are two, then the foliation is weakly conjugate to the the stable foliation of an R-covered Anosov flow. The proof uses the universal circle to R-covered foliations.
We show that a finitely generated group of analytic diffeomorphisms that is expanding and locally discrete in the analytic category is analytically conjugate to a uniform lattice of a finite covering of the group of projective maps of the projective line, acting naturally on the corresponding finite covering of the projective line.
We set up a real entropy function $h_\Bbb{R}$ on the space $\mathcal{M}'_d$ of Möbius conjugacy classes of real rational maps of degree $d$ by assigning to each class the real entropy of a representative $f\in\Bbb{R}(z)$; namely, the topological entropy of its restriction $f\restriction_{\hat{\Bbb{R}}}$ to the real circle. We prove a rigidity result stating that $h_\Bbb{R}$ is locally constant on the subspace determined by real maps quasi-conformally conjugate to $f$. As examples of this result, we analyze real analytic stable families of hyperbolic and flexible Lattès maps with real coefficie…
The first part of this work is devoted to the study of higher differentials of pressure functions of Hölder potentials on shift spaces of finite type. By describing the differentials of pressure functions via the Central Limit Theorem for the associated random processes, we discover some rigid relationships between differentials of various orders. The rigidity imposes obstructions on fitting candidate convex analytic functions by pressure functions of Hölder potentials globally, which answers a question of Kucherenko-Quas. In the second part of the work we consider fitting candidate analytic g…
We combine the KSS nest constructed by Kozlovski, Shen and van Strien, and the analytic method proposed by Avila, Kahn, Lyubich and Shen to prove the combinatorial rigidity of multicritical maps.
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.
We consider finitely generated groups of real-analytic circle diffeomorphisms. We show that if such a group admits an exceptional minimal set (i.e., a minimal invariant Cantor set), then its Lebesgue measure is zero; moreover, there are only finitely many orbits of connected components of its complement. For the case of minimal actions, we show that if the underlying group is (algebraically) free, then the action is ergodic with respect to the Lebesgue measure. This provides first answers to questions due to É. Ghys, G. Hector and D. Sullivan.
We consider the class of dispersing billiard systems in the plane formed by removing three convex analytic scatterers satisfying the non-eclipse condition. The collision map in this system is conjugated to a subshift, providing a natural labeling of periodic points. We study the problem of marked length spectrum rigidity for this class of systems. We show that two such systems have the same marked length spectrum if and only if their collision maps are analytically conjugate to each other near a homoclinic orbit and that two scatterers and the marked length spectrum together uniquely determine…