We show that the continuity property of Lyapunov exponents proved by Buzzi et al. [Continuity properties of Lyapunov exponents for surface diffeomorphisms. Invent. Math. 230(2) (2022), 767–849] for smooth surface diffeomorphisms extends to smooth interval maps in the case when the map only has non-flat critical points and the entropies converging to the topological entropy. The result we obtained is stronger than the continuity of Lyapunov exponents, in particular, we prove the uniform integrability of Lyapunov exponents over entropies.

We give a new proof of a result by Fathi, which states that, to any homeomorphism of a closed surface which is isotopic to a pseudo-Anosov homeomorphism, we can associate a stable and an unstable invariant partition of the surface with properties which are similar to the unstable and the stable foliation of a pseudo-Anosov homeomorphism.

We construct an explicit family of finite-area, infinite-genus translation surfaces whose vertical translation flow is strongly mixing. This provides a positive answer to a question posed by Lindsey and Treviño [Discrete Contin. Dyn. Syst. 36(10) (2016), 5509–5553].

We study the local asymptotic behaviour of divergence-like functionals of a family of d-dimensional infinitely divisible random fields. Specifically, we derive limit theorems of surface integrals over Lipschitz manifolds for this class of fields when the region of integration shrinks to a single point. We show that in most cases, convergence stably in distribution holds after a proper normalisation. Furthermore, the limit random fields can be described in terms of stochastic integrals with respect to a Lévy basis. We additionally discuss the relationship between our results and the advective kinetic energy flux in a possibly turbulent flow.

We consider one-dimensional maps with several neutral fixed points that do not admit any physical measures. We show that there is a simplex of measures so that every measure in this simplex has a basin that has full Hausdorff dimension.

We study the class of transitive skew products associated with iterated function systems of circle diffeomorphisms. We approximate any of those skew products by maps in this class with a robustly zero Lyapunov exponent. In particular, we prove the existence of non-hyperbolic ergodic measures for an open and dense subset of transitive skew products. Moreover, these measures have full support and are the weak$^*$ limit of periodicmeasures.

For an arbitrary negative Schwarzian unimodal map with a non-flat critical point, we establish the level-2 large deviation principle for empirical distributions. We also give an example of a bimodal map for which the level-2 large deviation principle does not hold.

In this article, we construct countably many isolated circular orders on the free products $G = F_{2n} \ast \mathbb {Z}_{m_1} \ast \cdots \ast \mathbb {Z}_{m_k}$ of cyclic groups. Moreover, we prove that these isolated circular orders are not the automorphic images of the others. By using these isolated circular orders, we also construct countably many isolated left orders on a certain central $\mathbb {Z}$-extension of G, which are not the automorphic images of the others.

We introduce a novel method for proving the ergodicity of skew products of interval exchange transformations (IETs) with piecewise smooth cocycles having singularities at the ends of exchanged intervals. This approach is inspired by Borel–Cantelli-type arguments given by Fayad and Lemańczyk [On the ergodicity of cylindrical transformations given by the logarithm. Mosc. Math. J. 6 (2006), 657–672]. The key innovation of our method lies in its applicability to singularities beyond the logarithmic type, whereas previous techniques were restricted to logarithmic singularities. Our approach is particularly effective for proving the ergodicity of skew products for symmetric IETs and anti-symmetric cocycles. Moreover, its most significant advantage is the ability to study the equidistribution of error terms in the spectral decomposition of Birkhoff integrals for locally Hamiltonian flows on compact surfaces, applicable not only when all saddles are perfect (harmonic) but also in the case of some non-perfect saddles.

Let $\{a_n(x)\}_{n\geq 1}$ be the sequence of digits of $x\in (0,1)$ in an infinite iterated function system with polynomial decay of the derivative. We first study the multifractal spectrum of the convergence exponent, defined by the sequence of digits $\{a_n(x)\}_{n\geq 1}$ and the weighted products of distinct digits with finite numbers, and then calculate the Hausdorff dimensions of the intersections of sets defined by the convergence exponent of the weighted product of distinct digits with finite numbers and sets of points whose digits are nondecreasing in such iterated function systems.

We characterize dynamics of every distortion element in the group of diffeomorphisms of the 2-sphere that has at least two fixed points and another recurrent point. The key result is that if f is such a diffeomorphism, then the homeomorphism $\check {f}_{\mathrm { ann}}$, which is a lift of the homeomorphism of the closed annulus $\overline {\mathcal {A}}$ obtained from $\mathbb {S}^2$ by blowing up two fixed points of f to the universal covering space of $\overline {\mathcal {A}}$, has a unique rotation number. Moreover, we find the differential of such a distortion element in the group of diffeomorphisms of the 2-sphere at each fixed point up to conjugacy.

Given $\beta>1$, let $T_\beta $ be the $\beta $-transformation on the unit circle $[0,1)$, defined by $T_\beta (x)=\beta x-\lfloor \beta x\rfloor $. For each $t\in [0,1)$, let $K_\beta (t)$ be the survivor set consisting of all $x\in [0,1)$ whose orbit $\{T^n_\beta (x): n\ge 0\}$ never enters the interval $[0,t)$. Kalle et al [Ergod. Th. & Dynam. Sys. 40(9) (2020), 2482–2514] considered the case $\beta \in (1,2]$. They studied the set-valued bifurcation set $\mathscr {E}_\beta :=\{t\in [0,1): K_\beta (t')\ne K_\beta (t)~\text { for all } t'>t\}$ and proved that the Hausdorff dimension function $t\mapsto \dim _H K_\beta (t)$ is a non-increasing Devil’s staircase. In a previous paper [Ergod. Th. & Dynam. Sys. 43(6) (2023), 1785–1828], we determined, for all $\beta \in (1,2]$, the critical value $\tau (\beta ):=\min \{t>0: \eta _\beta (t)=0\}$. The purpose of the present article is to extend these results to all $\beta>1$. In addition to calculating $\tau (\beta )$, we show that: (i) the function $\tau : \beta \mapsto \tau (\beta )$ is left-continuous on $(1,\infty )$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $\tau $ has no downward jumps; and (iii) there exists an open set $O\subset (1,\infty )$, whose complement $(1,\infty )\setminus O$ has zero Hausdorff dimension, such that $\tau $ is real-analytic, strictly convex, and strictly decreasing on each connected component of O. We also prove several topological properties of the bifurcation set $\mathscr {E}_\beta $. The key to extending the results from $\beta \in (1,2]$ to all $\beta>1$ is an appropriate generalization of the Farey words that are used to parameterize the connected components of the set O. Some of the original proofs from the above-mentioned papers are simplified.

In his seminal paper from 1936, Alan Turing introduced the concept of non-computable real numbers and presented examples based on the algorithmically unsolvable Halting problem. We describe a different, analytically natural mechanism for the appearance of non-computability. Namely, we show that additive sampling of orbits of certain skew products over expanding dynamics produces Turing non-computable reals. We apply this framework to Brjuno-type functions to demonstrate that they realize bijections between computable and lower-computable numbers, generalizing previous results of M. Braverman and the second author for the Yoccoz–Brjuno function to a wide class of examples, including Wilton’s functions and generalized Brjuno functions.

We find necessary and sufficient conditions for high-order persistence of resonant caustics in perturbed circular billiards. The main tool is a perturbation theory based on the Bialy–Mironov generating function for convex billiards. All resonant caustics with period q persist up to order $\lceil q/n \rceil -1$ under any polynomial deformation of the circle of degree n.

We define a new class of plane billiards – the “pensive billiard” – in which the billiard ball travels along the boundary for some distance depending on the incidence angle before reflecting, while preserving the billiard rule of equality of the angles of incidence and reflection. This generalizes so-called “puck billiards” proposed by M. Bialy, as well as a “vortex billiard,” that is, the motion of a point vortex dipole in two-dimensional hydrodynamics on domains with boundary. We prove the variational origin and invariance of a symplectic structure for pensive billiards, as well as study their properties including conditions for a twist map, the existence of periodic orbits, etc. We also demonstrate the appearance of both the golden and silver ratios in the corresponding hydrodynamical vortex setting. Finally, we introduce and describe basic properties of pensive outer billiards.

We define a family of discontinuous maps on the circle, called Bowen–Series-like maps, for geometric presentations of surface groups. The family has $2N$ parameters, where $2N$ is the number of generators of the presentation. We prove that all maps in the family have the same topological entropy, which coincides with the volume entropy of the group presentation. This approach allows a simple algorithmic computation of the volume entropy from the presentation only, using the Milnor–Thurston theory for one-dimensional maps.

Mathematical billiards is much like the real game: a point mass, representing the ball, rolls in a straight line on a (perfectly friction-less) table, striking the sides according to the law of reflection. A billiard trajectory is then completely characterized by the number of elastic collisions. The rules of mathematical billiards may be simple, but the possible behaviours of billiard trajectories are endless. In fact, several fundamental theory questions in mathematics can be recast as billiards problems. A billiard trajectory is called a periodic orbit if the number of distinct collisions in the trajectory is finite. We show that periodic orbits on such billiard tables cannot have an odd number of distinct collisions. We classify all possible equivalence classes of periodic orbits on square and rectangular tables. We also present a connection between the number of different equivalence classes and Euler’s totient function, which for any positive integer N, counts how many positive integers smaller than N share no common divisor with N other than $1$. We explore how to construct periodic orbits with a prescribed (even) number of distinct collisions and investigate properties of inadmissible (singular) trajectories, which are trajectories that eventually terminate at a vertex (a table corner).

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$.