We study the dynamics of dissipative billiard maps within planar convex domains. Such maps have a global attractor. We are interested in the topological and dynamical complexity of the attractor, in terms both of the geometry of the billiard table and of the strength of the dissipation. We focus on the study of an invariant subset of the attractor, the so-called Birkhoff attractor. On the one hand, we show that for a generic convex table with ‘pinched’ curvature, the Birkhoff attractor is a normally contracted manifold when the dissipation is strong. On the other hand, for a mild dissipation, we prove that, generically, the Birkhoff attractor is complicated, both from the topological and the dynamical points of view.

Let G be a torsion-free, finitely generated, nilpotent and metabelian group. In this work, we show that G embeds into the group of orientation-preserving $C^{1+\alpha }$-diffeomorphisms of the compact interval for all $\alpha < 1/k$, where k is the torsion-free rank of $G/A$ and A is a maximal abelian subgroup. We show that, in many situations, the corresponding $1/k$ is critical in the sense that there is no embedding of G with higher regularity. A particularly nice family where this happens is the family of $(2n+1)$-dimensional Heisenberg groups, for which we can show that the critical regularity is equal to $1+1/n$.

For a class of robustly transitive diffeomorphisms on ${\mathbb T}^4$ introduced by Shub [Topologically transitive diffeomorphisms of $T^4$. Proceedings of the Symposium on Differential Equations and Dynamical Systems (Lecture notes in Mathematics, 206). Ed. D. Chillingworth. Springer, Berlin, 1971, pp. 39–40], satisfying an additional bunching condition, we show that there exists a $C^2$ open and $C^r$ dense subset ${\mathcal U}^r$, $2\leq r\leq \infty $, such that any two hyperbolic points of $g\in {\mathcal U}^r$ with stable index $2$ are homoclinically related. As a consequence, every $g\in {\mathcal U}^r$ admits a unique homoclinic class associated to the hyperbolic periodic points with index $2$, and this homoclinic class coincides with the whole ambient manifold. Moreover, every $g\in {\mathcal U}^r$ admits at most one measure of maximal entropy, and every $g\in {\mathcal U}^{\infty }$ admits a unique measure of maximal entropy.

We perform a multifractal analysis of homological growth rates of oriented geodesics on hyperbolic surfaces. Our main result provides a formula for the Hausdorff dimension of level sets of prescribed growth rates in terms of a generalized Poincaré exponent of the Fuchsian group. We employ symbolic dynamics developed by Bowen and Series, ergodic theory and thermodynamic formalism to prove the analyticity of the dimension spectrum.

Under certain conditions, we construct a countable Markov partition for pointwise hyperbolic diffeomorphism $f:M\rightarrow M$ on an open invariant subset $O\subset M$, which allows the Lyapunov exponents to be zero. From this partition, we define a symbolic extension that is finite-to-one and onto a subset of O that carries the same finite f-invariant measures as O. Our method relies upon shadowing theory of a recurrent-pointwise-pseudo-orbit that we introduce. As a canonical application, we estimate the number of closed orbits for f.

Given a two-sided shift space on a finite alphabet and a continuous potential function, we give conditions under which an equilibrium measure can be described using a construction analogous to Hausdorff measure that goes back to the work of Bowen. This construction was previously applied to smooth uniformly and partially hyperbolic systems by the first author, Pesin, and Zelerowicz. Our results here apply to all subshifts of finite type and Hölder continuous potentials, but extend beyond this setting, and we also apply them to shift spaces with synchronizing words.

We prove that every genuinely partially hyperbolic $\mathbb {Z}^r$-action by toral automorphisms can be perturbed in $C^1$-topology, so that the resulting action is continuously conjugate, but not $C^1$-conjugate, to the original one.

For a proper, Gromov-hyperbolic metric space and a discrete, non-elementary, group of isometries, we define a natural subset of the limit set at infinity of the group called the ergodic limit set. The name is motivated by the fact that every ergodic measure which is invariant for the geodesic flow on the quotient metric space is concentrated on geodesics with endpoints belonging to the ergodic limit set. We refine the classical Bishop–Jones theorem proving that the packing dimension of the ergodic limit set coincides with the critical exponent of the group.

Two asymptotic configurations on a full $\mathbb {Z}^d$-shift are indistinguishable if, for every finite pattern, the associated sets of occurrences in each configuration coincide up to a finitely supported permutation of $\mathbb {Z}^d$. We prove that indistinguishable asymptotic pairs satisfying a ‘flip condition’ are characterized by their pattern complexity on finite connected supports. Furthermore, we prove that uniformly recurrent indistinguishable asymptotic pairs satisfying the flip condition are described by codimension-one (dimension of the internal space) cut and project schemes, which symbolically correspond to multidimensional Sturmian configurations. Together, the two results provide a generalization to $\mathbb {Z}^d$ of the characterization of Sturmian sequences by their factor complexity $n+1$. Many open questions are raised by the current work and are listed in the introduction.

In this note, we examine the proportion of periodic orbits of Anosov flows that lie in an infinite zero density subset of the first homology group. We show that on a logarithmic scale we get convergence to a discrete fractal dimension.

In this paper, we study transitivity of partially hyperbolic endomorphisms of the two torus whose action in the first homology group has two integer eigenvalues of moduli greater than one. We prove that if the Jacobian is everywhere greater than the modulus of the largest eigenvalue, then the map is robustly transitive. For this, we introduce Blichfedt’s theorem as a tool for extracting dynamical information from the action of a map in homology. We also treat the case of specially partially hyperbolic endomorphisms, for which we obtain a complete dichotomy: either the map is transitive and conjugated to its linear part, or its unstable foliation must contain an annulus which may either be wandering or periodic.

We prove the Girth Alternative for finitely generated subgroups of $PL_o(I)$. We also prove that a finitely generated subgroup of Homeo$_{+}(I)$ which is sufficiently rich with hyperbolic-like elements has infinite girth.

We compare the dimension of a non-invertible self-affine set to the dimension of the respective invertible self-affine set. In particular, for generic planar self-affine sets, we show that the dimensions coincide when they are large and differ when they are small. Our study relies on thermodynamic formalism where, for dominated and irreducible matrices, we completely characterise the behaviour of the pressures.

Feng and Huang [Variational principle for weighted topological pressure. J. Math. Pures Appl. (9) 106 (2016), 411–452] introduced weighted topological entropy and pressure for factor maps between dynamical systems and established its variational principle. Tsukamoto [New approach to weighted topological entropy and pressure. Ergod. Th. & Dynam. Sys. 43 (2023), 1004–1034] redefined those invariants quite differently for the simplest case and showed via the variational principle that the two definitions coincide. We generalize Tsukamoto’s approach, redefine the weighted topological entropy and pressure for higher dimensions, and prove the variational principle. Our result allows for an elementary calculation of the Hausdorff dimension of affine-invariant sets such as self-affine sponges and certain sofic sets that reside in Euclidean space of arbitrary dimension.

Pavlov [Adv. Math. 295 (2016), 250–270; Nonlinearity 32 (2019), 2441–2466] studied the measures of maximal entropy for dynamical systems with weak versions of specification property and found the existence of intrinsic ergodicity would be influenced by the assumptions of the gap functions. Inspired by these, in this article, we study the dynamical systems with non-uniform specification property. We give some basic properties these systems have and give an assumption for the gap functions to ensure the systems have the following five properties: CO-measures are dense in invariant measures; for every non-empty compact connected subset of invariant measures, its saturated set is dense in the total space; ergodic measures are residual in invariant measures; ergodic measures are connected; and entropy-dense. In addition, we will give examples to show the assumption is optimal.

We show that, generically, the unique invariant measure of a sufficiently regular piecewise smooth circle homeomorphism with irrational rotation number and zero mean nonlinearity (e.g. piecewise linear) has zero Hausdorff dimension. To encode this generic condition, we consider piecewise smooth homeomorphisms as generalized interval exchange transformations (GIETs) of the interval and rely on the notion of combinatorial rotation number for GIETs, which can be seen as an extension of the classical notion of rotation number for circle homeomorphisms to the GIET setting.

We show that the mode-locking region of the family of quasi-periodically forced Arnold circle maps with a topologically generic forcing function is dense. This gives a rigorous verification of certain numerical observations in [M. Ding, C. Grebogi and E. Ott. Evolution of attractors in quasiperiodically forced systems: from quasiperiodic to strange nonchaotic to chaotic. Phys. Rev. A 39(5) (1989), 2593–2598] for such forcing functions. More generally, under some general conditions on the base map, we show the density of the mode-locking property among dynamically forced maps (defined in [Z. Zhang. On topological genericity of the mode-locking phenomenon. Math. Ann. 376 (2020), 707–72]) equipped with a topology that is much stronger than the $C^0$ topology, compatible with smooth fiber maps. For quasi-periodic base maps, our result generalizes the main results in [A. Avila, J. Bochi and D. Damanik. Cantor spectrum for Schrödinger operators with potentials arising from generalized skew-shifts. Duke Math. J. 146 (2009), 253–280], [J. Wang, Q. Zhou and T. Jäger. Genericity of mode-locking for quasiperiodically forced circle maps. Adv. Math. 348 (2019), 353–377] and Zhang (2020).

We prove a multidimensional conformal version of the scale recurrence lemma of Moreira and Yoccoz [Stable intersections of regular Cantor sets with large Hausdorff dimensions. Ann. of Math. (2) 154(1) (2001), 45–96] for Cantor sets in the complex plane. We then use this new recurrence lemma, together with Moreira’s ideas in [Geometric properties of images of Cartesian products of regular Cantor sets by differentiable real maps. Math. Z. 303 (2023), 3], to prove that under the right hypothesis for the Cantor sets $K_1,\ldots ,K_n$ and the function $h:\mathbb {C}^{n}\to \mathbb {R}^{l}$, the following formula holds:

$$ \begin{align*}HD(h(K_1\times K_2 \times \cdots\times K_n))=\min \{l,HD(K_1)+\cdots+HD(K_n)\}.\end{align*} $$

We present a modified version of the well-known geometric Lorenz attractor. It consists of a $C^1$ open set ${\mathcal O}$ of vector fields in ${\mathbb R}^3$ having an attracting region ${\mathcal U}$ satisfying three properties. Namely, a unique singularity $\sigma $; a unique attractor $\Lambda $ including the singular point and the maximal invariant in ${\mathcal U}$ has at most two chain recurrence classes, which are $\Lambda $ and (at most) one hyperbolic horseshoe. The horseshoe and the singular attractor have a collision along with the union of $2$ codimension $1$ submanifolds which split ${\mathcal O}$ into three regions. By crossing this collision locus, the attractor and the horseshoe may merge into a two-sided Lorenz attractor, or they may exchange their nature: the Lorenz attractor expels the singular point $\sigma $ and becomes a horseshoe, and the horseshoe absorbs $\sigma $ becoming a Lorenz attractor.

Let $f: M\rightarrow M$ be a $C^{1+\alpha }$ diffeomorphism on an $m_0$-dimensional compact smooth Riemannian manifold M and $\mu $ a hyperbolic ergodic f-invariant probability measure. This paper obtains an upper bound for the stable (unstable) pointwise dimension of $\mu $, which is given by the unique solution of an equation involving the sub-additive measure-theoretic pressure. If $\mu $ is a Sinai–Ruelle–Bowen (SRB) measure, then the Kaplan–Yorke conjecture is true under some additional conditions and the Lyapunov dimension of $\mu $ can be approximated gradually by the Hausdorff dimension of a sequence of hyperbolic sets $\{\Lambda _n\}_{n\geq 1}$. The limit behaviour of the Carathéodory singular dimension of $\Lambda _n$ on the unstable manifold with respect to the super-additive singular valued potential is also studied.