Consider the quadratic family $T_a(x) = a x (1 - x)$ for $x \in [0, 1]$ and mixing Collet–Eckmann (CE) parameters $a \in (2,4)$. For bounded $\varphi $, set $\tilde \varphi _{a} := \varphi - \int \varphi \, d\mu _a$, with $\mu _a$ the unique acim of $T_a$, and put $(\sigma _a (\varphi ))^2 := \int \tilde \varphi _{a}^2 \, d\mu _a + 2 \sum _{i>0} \int \tilde \varphi _{a} (\tilde \varphi _{a} \circ T^i_{a}) \, d\mu _a$. For any mixing Misiurewicz parameter $a_{*}$, we find a positive measure set $\Omega _{*}$ of mixing CE parameters, containing $a_{*}$ as a Lebesgue density point, such that for any Hölder $\varphi $ with $\sigma _{a_{*}}(\varphi )\ne 0$, there exists $\epsilon _\varphi>0$ such that, for normalized Lebesgue measure on $\Omega _{*}\cap [a_{*}-\epsilon _\varphi , a_{*}+\epsilon _\varphi ]$, the functions $\xi _i(a)=\tilde \varphi _a(T_a^{i+1}(1/2))/\sigma _a (\varphi )$ satisfy an almost sure invariance principle (ASIP) for any error exponent $\gamma>2/5$. (In particular, the Birkhoff sums satisfy this ASIP.) Our argument goes along the lines of Schnellmann’s proof for piecewise expanding maps. We need to introduce a variant of Benedicks–Carleson parameter exclusion and to exploit fractional response and uniform exponential decay of correlations from Baladi et al [Whitney–Hölder continuity of the SRB measure for transversal families of smooth unimodal maps. Invent. Math. 201 (2015), 773–844].

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

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.

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 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 consider the attractor $\Lambda $ of a piecewise contracting map f defined on a compact interval. If f is injective, we show that it is possible to estimate the topological entropy of f (according to Bowen’s formula) and the Hausdorff dimension of $\Lambda $ via the complexity associated with the orbits of the system. Specifically, we prove that both numbers are zero.

We study stationary measures for iterated function systems (considered as random dynamical systems) consisting of two piecewise affine interval homeomorphisms, called Alsedà–Misiurewicz (AM) systems. We prove that for an open set of parameters, the unique non-atomic stationary measure for an AM system has Hausdorff dimension strictly smaller than $1$. In particular, we obtain singularity of these measures, answering partially a question of Alsedà and Misiurewicz [Random interval homeomorphisms. Publ. Mat. 58(suppl.) (2014), 15–36].

We study infinite systems of mean field weakly coupled intermittent maps in the Pomeau–Manneville scenario. We prove that the coupled system admits a unique ‘physical’ stationary state, to which all absolutely continuous states converge. Moreover, we show that suitably regular states converge polynomially.

A left orderable monster is a finitely generated left orderable group all of whose fixed point-free actions on the line are proximal: the action is semiconjugate to a minimal action so that for every bounded interval I and open interval J, there is a group element that sends I into J. In his 2018 ICM address, Navas asked about the existence of left orderable monsters. By now there are several examples, all of which are finitely generated but not finitely presentable. We provide the first examples of left orderable monsters that are finitely presentable, and even of type $F_\infty $. These groups satisfy several additional properties separating them from the previous examples: they are not simple, they act minimally on the circle, and they have an infinite-dimensional space of homogeneous quasimorphisms. Our construction is flexible enough that it produces infinitely many isomorphism classes of finitely presented (and type $F_{\infty }$) left orderable monsters.

The action on the trace space induced by a generic automorphism of a suitable finite classifiable ${\mathrm {C}^*}$ -algebra is shown to be chaotic and weakly mixing. Model ${\mathrm {C}^*}$ -algebras are constructed to observe the central limit theorem and other statistical features of strongly chaotic tracial actions. Genericity of finite Rokhlin dimension is used to describe $KK$ -contractible stably projectionless ${\mathrm {C}^*}$ -algebras as crossed products.

We prove an explicit characterization of the points in Thurston’s Master Teapot, which can be implemented algorithmically to test whether a point in $\mathbb {C}\times \mathbb {R}$ belongs to the complement of the Master Teapot. As an application, we show that the intersection of the Master Teapot with the unit cylinder is not symmetrical under reflection through the plane that is the product of the imaginary axis of $\mathbb {C}$ and $\mathbb {R}$.

We study recurrence in the real quadratic family and give a sufficient condition on the recurrence rate $(\delta _n)$ of the critical orbit such that, for almost every non-regular parameter a, the set of n such that $\vert F^n(0;a) \vert < \delta _n$ is infinite. In particular, when $\delta _n = n^{-1}$, this extends an earlier result by Avila and Moreira [Statistical properties of unimodal maps: the quadratic family. Ann. of Math. (2) 161(2) (2005), 831–881].

We show that for a Salem number $\beta $ of degree d, there exists a positive constant $c(d)$ where $\beta ^m$ is a Parry number for integers m of natural density $\ge c(d)$. Further, we show $c(6)>1/2$ and discuss a relation to the discretized rotation in dimension $4$.

We prove a random Ruelle–Perron–Frobenius theorem and the existence of relative equilibrium states for a class of random open and closed interval maps, without imposing transitivity requirements, such as mixing and covering conditions, which are prevalent in the literature. This theorem provides the existence and uniqueness of random conformal and invariant measures with exponential decay of correlations, and allows us to expand the class of examples of (random) dynamical systems amenable to multiplicative ergodic theory and the thermodynamic formalism. Applications include open and closed non-transitive random maps, and a connection between Lyapunov exponents and escape rates through random holes. We are also able to treat random intermittent maps with geometric potentials.

We prove that for any non-degenerate dendrite D, there exist topologically mixing maps $F : D \to D$ and $f : [0, 1] \to [0, 1]$ such that the natural extensions (as known as shift homeomorphisms) $\sigma _F$ and $\sigma _f$ are conjugate, and consequently the corresponding inverse limits are homeomorphic. Moreover, the map f does not depend on the dendrite D and can be selected so that the inverse limit $\underleftarrow {\lim } (D,F)$ is homeomorphic to the pseudo-arc. The result extends to any finite number of dendrites. Our work is motivated by, but independent of, the recent result of the first and third author on conjugation of Lozi and Hénon maps to natural extensions of dendrite maps.

Given $\beta \in (1,2]$ , let $T_{\beta }$ be the $\beta $ -transformation on the unit circle $[0,1)$ such that $T_{\beta }(x)=\beta x\pmod 1$ . 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 hits the open interval $(0,t)$ . Kalle et al [Ergod. Th. & Dynam. Sys. 40(9) (2020) 2482–2514] proved that the Hausdorff dimension function $t\mapsto \dim _{H} K_{\beta }(t)$ is a non-increasing Devil’s staircase. So there exists a critical value $\tau (\beta )$ such that $\dim _{H} K_{\beta }(t)>0$ if and only if $t<\tau (\beta )$ . In this paper, we determine the critical value $\tau (\beta )$ for all $\beta \in (1,2]$ , answering a question of Kalle et al (2020). For example, we find that for the Komornik–Loreti constant $\beta \approx 1.78723$ , we have $\tau (\beta )=(2-\beta )/(\beta -1)$ . Furthermore, we show that (i) the function $\tau : \beta \mapsto \tau (\beta )$ is left continuous on $(1,2]$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $\tau $ has no downward jumps, with $\tau (1+)=0$ and $\tau (2)=1/2$ ; and (iii) there exists an open set $O\subset (1,2]$ , whose complement $(1,2]\setminus O$ has zero Hausdorff dimension, such that $\tau $ is real-analytic, convex, and strictly decreasing on each connected component of O. Consequently, the dimension $\dim _{H} K_{\beta }(t)$ is not jointly continuous in $\beta $ and t. Our strategy to find the critical value $\tau (\beta )$ depends on certain substitutions of Farey words and a renormalization scheme from dynamical systems.

We show that there exists a continuous function from the unit Lebesgue interval to itself such that for any $\epsilon \geq 0$ and any natural number k, any point in its domain has an $\epsilon $ -neighbourhood which, when feasible, contains k mutually disjoint extremally scrambled sets of identical Lebesgue measure, homeomorphic to each other. This result enables a satisfying generalisation of Li–Yorke (topological) chaos and suggests an open (difficult) problem as to whether the result is valid for piecewise linear functions.

We generalize the greedy and lazy $\beta $ -transformations for a real base $\beta $ to the setting of alternate bases ${\boldsymbol {\beta }}=(\beta _0,\ldots ,\beta _{p-1})$ , which were recently introduced by the first and second authors as a particular case of Cantor bases. As in the real base case, these new transformations, denoted $T_{{\boldsymbol {\beta }}}$ and $L_{{\boldsymbol {\beta }}}$ respectively, can be iterated in order to generate the digits of the greedy and lazy ${\boldsymbol {\beta }}$ -expansions of real numbers. The aim of this paper is to describe the measure-theoretical dynamical behaviors of $T_{{\boldsymbol {\beta }}}$ and $L_{{\boldsymbol {\beta }}}$ . We first prove the existence of a unique absolutely continuous (with respect to an extended Lebesgue measure, called the p-Lebesgue measure) $T_{{\boldsymbol {\beta }}}$ -invariant measure. We then show that this unique measure is in fact equivalent to the p-Lebesgue measure and that the corresponding dynamical system is ergodic and has entropy $({1}/{p})\log (\beta _{p-1}\cdots \beta _0)$ . We give an explicit expression of the density function of this invariant measure and compute the frequencies of letters in the greedy ${\boldsymbol {\beta }}$ -expansions. The dynamical properties of $L_{{\boldsymbol {\beta }}}$ are obtained by showing that the lazy dynamical system is isomorphic to the greedy one. We also provide an isomorphism with a suitable extension of the $\beta $ -shift. Finally, we show that the ${\boldsymbol {\beta }}$ -expansions can be seen as $(\beta _{p-1}\cdots \beta _0)$ -representations over general digit sets and we compare both frameworks.

We show that a piecewise monotonic map with positive topological entropy satisfies the level-2 large deviation principle with respect to the unique measure of maximal entropy under the conditions that the corresponding Markov diagram is irreducible and that the periodic measures of the map are dense in the set of ergodic measures. This result can apply to a broad class of piecewise monotonic maps, such as monotonic mod one transformations and piecewise monotonic maps with two monotonic pieces.

We construct an invariant measure for a piecewise analytic interval map whose Lyapunov exponent is not defined. Moreover, for a set of full measure, the pointwise Lyapunov exponent is not defined. This map has a Lorenz-like singularity and non-flat critical points.