To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Given a topologically transitive system on the unit interval, one can investigate the cover time, that is, the time for an orbit to reach a certain level of resolution in the repeller. We introduce a new notion of dimension, namely the stretched Minkowski dimension, and show that under mixing conditions, the asymptotics of typical cover times are determined by Minkowski dimensions when they are finite, or by stretched Minkowski dimensions otherwise. For application, we show that for countably full-branched affine maps, results using the usual Minkowski dimensions fail to give a finite limit of cover times, whilst the stretched version gives a finite limit. In addition, cover times for irrational rotations are calculated as counterexamples due to the absence of mixing.
In this work, we study rates of mixing for small independent and identically distributed random perturbations of contracting Lorenz maps sufficiently close to a Rovella parameter. By using a random Young tower construction, we prove that this random system has exponential decay of correlations.
We consider the Perron–Frobenius operator defined on the space of functions of bounded variation for the beta-map $\tau _\beta (x)=\beta x$ (mod $1$) for $\beta \in (1,\infty )$, and investigate its isolated eigenvalues except $1$, called non-leading eigenvalues in this paper. We show that the set of $\beta $ such that the corresponding Perron–Frobenius operator has at least one non-leading eigenvalue is open and dense in $(1,\infty )$. Furthermore, we establish the Hölder continuity of each non-leading eigenvalue as a function of $\beta $ and show in particular that it is continuous but non-differentiable, whose analogue was conjectured by Flatto, Lagarias and Poonen in [The zeta function of the beta transformation. Ergod. Th. & Dynam. Sys.14 (1994), 237–266]. In addition, for an eigenfunctional of the Perron–Frobenius operator corresponding to an isolated eigenvalue, we give an explicit formula for the value of the functional applied to the indicator function of every interval. As its application, we provide three results related to non-leading eigenvalues, one of which states that an eigenfunctional corresponding to a non-leading eigenvalue cannot be expressed by any complex measure on the interval, which is in contrast to the case of the leading eigenvalue $1$.
We prove that in the space of $C^r$ maps $(r=2,\ldots ,\infty ,\omega )$ of a smooth manifold of dimension at least 4, there exist open regions where maps with infinitely many corank-2 homoclinic tangencies of all orders are dense. The result is applied to show the existence of maps with universal two-dimensional dynamics, that is, maps whose iterations approximate the dynamics of every map of a two-dimensional disk with an arbitrarily good accuracy. We show that maps with universal two-dimensional dynamics are $C^r$-generic in the regions under consideration.
We consider twist diffeomorphisms of the torus, $f:\mathrm {T^2\rightarrow T^2,}$ and their vertical rotation intervals, $\rho _V(\widehat {f})=[\rho _V^{-},\rho _V^{+}],$ where $\widehat {f}$ is a lift of f to the vertical annulus or cylinder. We show that $C^r$-generically, for any $r\geq 1$, both extremes of the rotation interval are rational and locally constant under $C^0$-perturbations of the map. Moreover, when f is area-preserving, $C^r$-generically, $\rho _V^{-}<\rho _V^{+}$. Also, for any twist map f, $\widehat {f}$ a lift of f to the cylinder, if $\rho _V^{-}<\rho _V^{+}=p/q$, then there are two possibilities: either $\widehat {f}^q(\bullet )-(0,p)$ maps a simple essential loop into the connected component of its complement which is below the loop, or it satisfies the curve intersection property. In the first case, $\rho _V^{+} \leq p/q$ in a $C^0$-neighborhood of $f,$ and in the second case, we show that $\rho _V^{+}(\widehat {f}+(0,t))>p/q$ for all $t>0$ (that is, the rotation interval is ready to grow). Finally, in the $C^r$-generic case, assuming that $\rho _V^{-}<\rho _V^{+}=p/q,$ we present some consequences of the existence of the free loop for $\widehat {f}^q(\bullet )-(0,p)$, related to the description and shape of the attractor–repeller pair that exists in the annulus. The case of a $C^r$-generic transitive twist diffeomorphism (if such a thing exists) is also investigated.
We consider local escape rates and hitting time statistics for unimodal interval maps of Misiurewicz–Thurston type. We prove that for any point z in the interval, there is a local escape rate and hitting time statistics that is one of three types. While it is key that we cover all points z, the particular interest here is when z is periodic and in the postcritical orbit that yields the third part of the trichotomy. We also prove generalized asymptotic escape rates of the form first shown by Bruin, Demers and Todd.
We consider one-parameter families of smooth circle cocycles over an ergodic transformation in the base, and show that their rotation numbers must be log-Hölder regular with respect to the parameter. As an immediate application, we get a dynamical proof of the one-dimensional version of the Craig–Simon theorem that establishes that the integrated density of states of an ergodic Schrödinger operator must be log-Hölder.
In his last paper, William Thurston defined the Master Teapot as the closure of the set of pairs $(z,s)$, where s is the slope of a tent map $T_s$ with the turning point periodic, and the complex number z is a Galois conjugate of s. In this case $1/z$ is a zero of the kneading determinant of $T_s$. We remove the restriction that the turning point is periodic, and sometimes look beyond tent maps. However, we restrict our attention to zeros $x=1/z$ in the real interval $(0,1)$. By the results of Milnor and Thurston, the kneading determinant has such a zero if and only if the map has positive topological entropy. We show that the first (smallest) zero is simple, but among other zeros there may be multiple ones. We describe a class of unimodal maps, so-called R-even ones, whose kneading determinant has only one zero in $(0,1)$. In contrast, we show that generic mixing tent maps have kneading determinants with infinitely many zeros in $(0,1)$. We prove that the second zero in $(0,1)$ of the kneading determinant of a unimodal map, provided it exists, is always greater than or equal to $\sqrt [3]{1/2}$, and if the kneading sequence begins with $RL^NR$, $N\geq 2$, then the best lower bound for the second zero is in fact $\sqrt [N+1]{1/2}$. We also investigate (partially numerically) the shape of the Real Teapot, consisting of the pairs $(s,x)$, where x in $(0,1)$ is a zero of the kneading determinant of $T_s$, and $s\in (1,2]$.
An area-preserving homeomorphism isotopic to the identity is said to have rational rotation direction if its rotation vector is a real multiple of a rational class. We give a short proof that any area-preserving homeomorphism of a compact surface of genus at least two, which is isotopic to the identity and has rational rotation direction, is either the identity or has periodic points of unbounded minimal period. This answers a question of Ginzburg and Seyfaddini and can be regarded as a Conley conjecture-type result for symplectic homeomorphisms of surfaces beyond the Hamiltonian case. We also discuss several variations, such as maps preserving arbitrary Borel probability measures with full support, maps that are not isotopic to the identity and maps on lower genus surfaces. The proofs of the main results combine topological arguments with periodic Floer homology.
We study the problem of conjugating a diffeomorphism of the interval to (positive) powers of itself. Although this is always possible for homeomorphisms, the smooth setting is rather interesting. Besides the obvious obstruction given by hyperbolic fixed points, several other aspects need to be considered. As concrete results we show that, in class C1, if we restrict to the (closed) subset of diffeomorphisms having only parabolic fixed points, the set of diffeomorphisms that are conjugate to their powers is dense, but its complement is generic. In higher regularity, however, the complementary set contains an open and dense set. The text is complemented with several remarks and results concerning distortion elements of the group of diffeomorphisms of the interval in several regularities.
Consider, for any integer $n\ge 3$, the set $\operatorname {\mathrm {Pos}}_n$ of all n-periodic tree patterns with positive topological entropy and the set $\operatorname {\mathrm {Irr}}_n\subset \operatorname {\mathrm {Pos}}_n$ of all n-periodic irreducible tree patterns. The aim of this paper is to determine the elements of minimum entropy in the families $\operatorname {\mathrm {Pos}}_n$, $\operatorname {\mathrm {Irr}}_n$ and $\operatorname {\mathrm {Pos}}_n\setminus \operatorname {\mathrm {Irr}}_n$. Let $\unicode{x3bb} _n$ be the unique real root of the polynomial $x^n-2x-1$ in $(1,+\infty )$. We explicitly construct an irreducible n-periodic tree pattern $\mathcal {Q}_n$ whose entropy is $\log (\unicode{x3bb} _n)$. We prove that this entropy is minimum in $\operatorname {\mathrm {Pos}}_n$. Since the pattern $\mathcal {Q}_n$ is irreducible, $\mathcal {Q}_n$ also minimizes the entropy in the family $\operatorname {\mathrm {Irr}}_n$. We also prove that the minimum positive entropy in the set $\operatorname {\mathrm {Pos}}_n\setminus \operatorname {\mathrm {Irr}}_n$ (which is non-empty only for composite integers $n\ge 6$) is $\log (\unicode{x3bb} _{n/p})/p$, where p is the least prime factor of n.
We study the global behavior of the renormalization operator on a specially constructed Banach manifold that has cubic critical circle maps on its boundary and circle diffeomorphisms in its interior. As an application, we prove results on smoothness of irrational Arnold tongues.
We prove that almost every interval exchange transformation, with an associated translation surface of genus $g\geq 2$, can be non-trivially and isometrically embedded in a family of piecewise isometries. In particular, this proves the existence of invariant curves for piecewise isometries, reminiscent of Kolmogorov–Arnold–Moser (KAM) curves for area-preserving maps, which are not unions of circle arcs or line segments.
For a class of potentials $\psi $ satisfying a condition depending on the roof function of a suspension (semi)flow, we show an EKP inequality, which can be interpreted as a Hölder continuity property in the weak${^*}$ norm of measures, with respect to the pressure of those measures, where the Hölder exponent depends on the $L^q$-space to which $\psi $ belongs. This also captures a new type of phase transition for intermittent (semi)flows (and maps).
Quasigeodesic behavior of flow lines is a very useful property in the study of Anosov flows. Not every Anosov flow in dimension three is quasigeodesic. In fact, until recently, up to orbit equivalence, the only previously known examples of quasigeodesic Anosov flows were suspension flows. In a recent article, the second author proved that an Anosov flow on a hyperbolic 3-manifold is quasigeodesic if and only if it is non-$\mathbb {R}$-covered, and this result completes the classification of quasigeodesic Anosov flows on hyperbolic 3-manifolds. In this article, we prove that a new class of examples of Anosov flows are quasigeodesic. These are the first examples of quasigeodesic Anosov flows on 3-manifolds that are neither Seifert, nor solvable, nor hyperbolic. In general, it is very hard to show that a given flow is quasigeodesic and, in this article, we provide a new method to prove that an Anosov flow is quasigeodesic.
Consider a flow in $\mathbb{R}^3$ and let K be the biggest invariant subset of some compact region of interest $N \subseteq \mathbb{R}^3$. The set K is often not computable, but the way the flow crosses the boundary of N can provide indirect information about it. For example, classical tools such as Ważewski’s principle or the Poincaré–Hopf theorem can be used to detect whether K is non-empty or contains rest points, respectively. We present a criterion that can establish whether K has a non-trivial homology by looking at the subset of the boundary of N along which the flow is tangent to N. We prove that the criterion is as sharp as possible with the information it uses as an input. We also show that it is algorithmically checkable.
We study a skew product transformation associated to an irrational rotation of the circle $[0,1]/\sim $. This skew product keeps track of the number of times an orbit of the rotation lands in the two complementary intervals of $\{0,1/2\}$ in the circle. We show that under certain conditions on the continued fraction expansion of the irrational number defining the rotation, the skew product transformation has certain dense orbits. This is in spite of the presence of numerous non-dense orbits. We use this to construct laminations on infinite type surfaces with exotic properties. In particular, we show that for every infinite type surface with an isolated planar end, there is an infinite clique of $2$-filling rays based at that end. These $2$-filling rays are relevant to Bavard and Walker’s loop graphs.
Let $f,g$ be $C^2$ expanding maps on the circle which are topologically conjugate. We assume that the derivatives of f and g at corresponding periodic points coincide for some large period N. We show that f and g are ‘approximately smoothly conjugate.’ Namely, we construct a $C^2$ conjugacy $h_N$ such that $h_N$ is exponentially close to h in the $C^0$ topology, and $f_N:=h_N^{-1}gh_N$ is exponentially close to f in the $C^1$ topology. Our main tool is a uniform effective version of Bowen’s equidistribution of weighted periodic orbits to the equilibrium state.
Let $M$ be an oriented smooth manifold and $\operatorname{Homeo}\!(M,\omega )$ the group of measure preserving homeomorphisms of $M$, where $\omega$ is a finite measure induced by a volume form. In this paper, we define volume and Euler classes in bounded cohomology of an infinite dimensional transformation group $\operatorname{Homeo}_0\!(M,\omega )$ and $\operatorname{Homeo}_+\!(M,\omega )$, respectively, and in several cases prove their non-triviality. More precisely, we define:
• Volume classes in $\operatorname{H}_b^n(\operatorname{Homeo}_0\!(M,\omega ))$, where $M$ is a hyperbolic manifold of dimension $n$.
• Euler classes in $\operatorname{H}_b^2(\operatorname{Homeo}_+(S,\omega ))$, where $S$ is an oriented closed hyperbolic surface.
We show that Euler classes have positive norms for any closed hyperbolic surface and volume classes have positive norms for all hyperbolic surfaces and certain hyperbolic $3$-manifolds; hence, they are non-trivial.