The ergodic properties of two uncoupled oscillators, one horizontal and one vertical, residing in a class of non-rectangular star-shaped polygons with only vertical and horizontal boundaries and impacting elastically from its boundaries are studied. We prove that the iso-energy level sets topology changes non-trivially; the flow on level sets is always conjugated to a translation flow on a translation surface, yet, for some segments of partial energies the genus of the surface is strictly greater than $1$ . When at least one of the oscillators is unharmonic, or when both are harmonic and non-resonant, we prove that for almost all partial energies, including the impacting ones, the flow on level sets is uniquely ergodic. When both oscillators are harmonic and resonant, we prove that there exist intervals of partial energies on which periodic ribbons and additional ergodic components coexist. We prove that for almost all partial energies in such segments the motion is uniquely ergodic on the part of the level set that is not occupied by the periodic ribbons. This implies that ergodic averages project to piecewise smooth weighted averages in the configuration space.

In this paper we focus on compacta $K \subseteq \mathbb {R}^3$ which possess a neighbourhood basis that consists of nested solid tori $T_i$. We call these sets toroidal. Making use of the classical notion of the geometric index of a curve inside a torus, we introduce the self-geometric index of a toroidal set K, which roughly captures how each torus $T_{i+1}$ winds inside the previous $T_i$ as $i \rightarrow +\infty $. We then use this index to obtain some results about the realizability of toroidal sets as attractors for homeomorphisms of $\mathbb {R}^3$.

We present a single, connected tile which can tile the plane but only nonperiodically. The tile is hexagonal with edge markings, which impose simple rules as to how adjacent tiles are allowed to meet across edges. The first of these rules is a standard matching rule, that certain decorations match across edges. The second condition is a new type of matching rule, which allows tiles to meet only when certain decorations in a particular orientation are given the opposite charge. This forces the tiles to form a hierarchy of triangles, following a central idea of the Socolar–Taylor tilings. However, the new edge-to-edge orientational matching rule forces this structure in a very different way, which allows for a surprisingly simple proof of aperiodicity. We show that the hull of all tilings satisfying our rules is uniquely ergodic and that almost all tilings in the hull belong to a minimal core of tilings generated by substitution. Identifying tilings which are charge-flips of each other, these tilings are shown to have pure point dynamical spectrum and a regular model set structure.

We extend the concept of a Hubbard tree, well established and useful in the theory of polynomial dynamics, to the dynamics of transcendental entire functions. We show that Hubbard trees in the strict traditional sense, as invariant compact trees embedded in $\mathbb {C}$ , do not exist even for post-singularly finite exponential maps; the difficulty lies in the existence of asymptotic values. We therefore introduce the concept of a homotopy Hubbard tree that takes care of these difficulties. Specifically for the family of exponential maps, we show that every post-singularly finite map has a homotopy Hubbard tree that is unique up to homotopy, and that post-singularly finite exponential maps can be classified in terms of homotopy Hubbard trees, using a transcendental analogue of Thurston’s topological characterization theorem of rational maps.

Two given orbits of a minimal circle homeomorphism f are said to be geometrically equivalent if there exists a quasisymmetric circle homeomorphism identifying both orbits and commuting with f. By a well-known theorem due to Herman and Yoccoz, if f is a smooth diffeomorphism with Diophantine rotation number, then any two orbits are geometrically equivalent. It follows from the a priori bounds of Herman and Świątek, that the same holds if f is a critical circle map with rotation number of bounded type. By contrast, we prove in the present paper that if f is a critical circle map whose rotation number belongs to a certain full Lebesgue measure set in $(0,1)$ , then the number of equivalence classes is uncountable (Theorem 1.1). The proof of this result relies on the ergodicity of a two-dimensional skew product over the Gauss map. As a by-product of our techniques, we construct topological conjugacies between multicritical circle maps which are not quasisymmetric, and we show that this phenomenon is abundant, both from the topological and measure-theoretical viewpoints (Theorems 1.6 and 1.8).

We improve a recent construction of Andrés Navas to produce the first examples of $C^2$ -undistorted diffeomorphisms of the interval that are $C^{1+\alpha }$ -distorted (for every ${\alpha < 1}$ ). We do this via explicit computations due to the failure of an extension to class $C^{1+\alpha }$ of a classical lemma related to the work of Nancy Kopell.

A gap mapping is a discontinuous interval mapping with two strictly increasing branches that have a gap between their ranges. They are one-dimensional dynamical systems, which arise in the study of certain higher dimensional flows, for example the Lorenz flow and the Cherry flow. In this paper, we prove hyperbolicity of renormalization acting on $C^3$ dissipative gap mappings, and show that the topological conjugacy classes of infinitely renormalizable gap mappings are $C^1$ manifolds.

We consider the complexity of special $\alpha $ -limit sets, a kind of backward limit set for non-invertible dynamical systems. We show that these sets are always analytic, but not necessarily Borel, even in the case of a surjective map on the unit square. This answers a question posed by Kolyada, Misiurewicz, and Snoha.

In this paper we prove a local exponential synchronization for Markovian random iterations of homeomorphisms of the circle $S^{1}$ , providing a new result on stochastic circle dynamics even for $C^1$ -diffeomorphisms. This result is obtained by combining an invariance principle for stationary random iterations of homeomorphisms of the circle with a Krylov–Bogolyubov-type result for homogeneous Markov chains.

We consider products of an independent and identically distributed sequence in a set $\{f_1,\ldots ,f_m\}$ of orientation-preserving diffeomorphisms of the circle. We can naturally associate a Lyapunov exponent $\lambda $ . Under few assumptions, it is known that $\lambda \leq 0$ and that the equality holds if and only if $f_1,\ldots ,f_m$ are simultaneously conjugated to rotations. In this paper, we state a quantitative version of this fact in the case where $f_1,\ldots ,f_m$ are $C^k$ perturbations of rotations with rotation numbers $\rho (f_1),\ldots ,\rho (f_m)$ satisfying a simultaneous diophantine condition in the sense of Moser [On commuting circle mappings and simultaneous diophantine approximations. Math. Z.205(1) (1990), 105–121]: we give a precise estimate of $\lambda $ (Taylor expansion) and we prove that there exist a diffeomorphism g and rotations $r_i$ such that $\mbox {dist}(gf_ig^{-1},r_i)\ll |\lambda |^{{1}/{2}}$ for $i=1,\ldots , m$ . We also state analogous results for random products of $2\times 2$ matrices, without any diophantine condition.

A Birkhoff billiard is a system describing the inertial motion of a point mass inside a strictly convex planar domain, with elastic reflections at the boundary. The study of the associated dynamics is profoundly intertwined with the geometric properties of the domain: while it is evident how the shape determines the dynamics, a more subtle and difficult question is the extent to which the knowledge of the dynamics allows one to reconstruct the shape of the domain. This translates into many intriguing inverse problems and unanswered rigidity questions, which have been the focus of very active research in recent decades. In this paper we describe some of these questions, along with their connection to other problems in analysis and geometry, with particular emphasis on recent results obtained by the authors and their collaborators.

We study a mathematical model proposed in the literature with the aim of describing the interactions between tumor cells and the immune system, when a periodic treatment of immunotherapy is applied. Combining some techniques from non-linear analysis (degree theory, lower and upper solutions, and theory of free-homeomorphisms in the plane), we give a detailed global analysis of the model. We also observe that for certain therapies, the maximum level of aggressiveness of a cancer, for which the treatment works (or does not work), can be computed explicitly. We discuss some strategies for designing therapies. The mathematical analysis is completed with numerical results and conclusions.

We develop a thermodynamic formalism for a smooth realization of pseudo-Anosov surface homeomorphisms. In this realization, the singularities of the pseudo-Anosov map are assumed to be fixed, and the trajectories are slowed down so the differential is the identity at these points. Using Young towers, we prove existence and uniqueness of equilibrium states for geometric t-potentials. This family of equilibrium states includes a unique SRB measure and a measure of maximal entropy, the latter of which has exponential decay of correlations and the central limit theorem.

For a continuous function $f:[0,1] \to [0,1]$ we define a splitting sequence admitted by f and show that the inverse limit of f is an arc if and only if f does not admit a splitting sequence.

We show that $C^r $ generically in the space of $C^r$ conservative diffeomorphisms of a compact surface, every hyperbolic periodic point has a transverse homoclinic orbit.

Given a closed, orientable, compact surface S of constant negative curvature and genus $g \geq 2$ , we study the measure-theoretic entropy of the Bowen–Series boundary map with respect to its smooth invariant measure. We obtain an explicit formula for the entropy that only depends on the perimeter of the $(8g-4)$ -sided fundamental polygon of the surface S and its genus. Using this, we analyze how the entropy changes in the Teichmüller space of S and prove the following flexibility result: the measure-theoretic entropy takes all values between 0 and a maximum that is achieved on the surface that admits a regular $(8g-4)$ -sided fundamental polygon. We also compare the measure-theoretic entropy to the topological entropy of these maps and show that the smooth invariant measure is not a measure of maximal entropy.

We define a family $\mathcal {B}(t)$ of compact subsets of the unit interval which provides a filtration of the set of numbers whose continued fraction expansion has bounded digits. We study how the set $\mathcal {B}(t)$ changes as the parameter t ranges in $[0,1]$ , and see that the family undergoes period-doubling bifurcations and displays the same transition pattern from periodic to chaotic behaviour as the family of real quadratic polynomials. The set $\mathcal {E}$ of bifurcation parameters is a fractal set of measure zero and Hausdorff dimension $1$ . The Hausdorff dimension of $\mathcal {B}(t)$ varies continuously with the parameter, and we show that the dimension of each individual set equals the dimension of the corresponding section of the bifurcation set $\mathcal {E}$ .

We characterize dendrites D such that a continuous selfmap of D is generically chaotic (in the sense of Lasota) if and only if it is generically ${\varepsilon }$ -chaotic for some ${\varepsilon }>0$ . In other words, we characterize dendrites on which generic chaos of a continuous map can be described in terms of the behaviour of subdendrites with non-empty interiors under iterates of the map. A dendrite D belongs to this class if and only if it is completely regular, with all points of finite order (that is, if and only if D contains neither a copy of the Riemann dendrite nor a copy of the $\omega $ -star).

We prove that, if f is a homeomorphism of the 2-torus isotopic to the identity whose rotation set is a non-degenerate segment and f has a periodic point, then it has uniformly bounded deviations in the direction perpendicular to the segment.

Let $(X,T)$ be a topological dynamical system. Given a continuous vector-valued function $F \in C(X, \mathbb {R}^{d})$ called a potential, we define its rotation set $R(F)$ as the set of integrals of F with respect to all T-invariant probability measures, which is a convex body of $\mathbb {R}^{d}$ . In this paper we study the geometry of rotation sets. We prove that if T is a non-uniquely ergodic topological dynamical system with a dense set of periodic measures, then the map $R(\cdot )$ is open with respect to the uniform topologies. As a consequence, we obtain that the rotation set of a generic potential is strictly convex and has $C^{1}$ boundary. Furthermore, we prove that the map $R(\cdot )$ is surjective, extending a result of Kucherenko and Wolf.