Let (X_k)_{k\geq 0}$(X_k)_{k\geq 0}$ be a stationary and ergodic process with joint distribution \mu $\mu$ , where the random variables X_k$X_k$ take values in a finite set \mathcal {A}$\mathcal {A}$ . Let R_n$R_n$ be the first time this process repeats its first n symbols of output. It is well known that ({1}/{n})\log R_n$({1}/{n})\log R_n$ converges almost surely to the entropy of the process. Refined properties of R_n$R_n$ (large deviations, multifractality, etc) are encoded in the return-time L^q$L^q$ -spectrum defined as

provided the limit exists. We consider the case where (X_k)_{k\geq 0}$(X_k)_{k\geq 0}$ is distributed according to the equilibrium state of a potential with summable variation, and we prove that

where P((1-q)\varphi )$P((1-q)\varphi )$ is the topological pressure of (1-q)\varphi $(1-q)\varphi$ , the supremum is taken over all shift-invariant measures, and q_\varphi ^*$q_\varphi ^*$ is the unique solution of P((1-q)\varphi ) =\sup _\eta \int \varphi \,d\eta $P((1-q)\varphi ) =\sup _\eta \int \varphi \,d\eta$ . Unexpectedly, this spectrum does not coincide with the L^q$L^q$ -spectrum of \mu _\varphi $\mu _\varphi$ , which is P((1-q)\varphi )$P((1-q)\varphi )$ , and it does not coincide with the waiting-time L^q$L^q$ -spectrum in general. In fact, the return-time L^q$L^q$ -spectrum coincides with the waiting-time L^q$L^q$ -spectrum if and only if the equilibrium state of \varphi $\varphi$ is the measure of maximal entropy. As a by-product, we also improve the large deviation asymptotics of ({1}/{n})\log R_n$({1}/{n})\log R_n$ .

Let (G,+)$(G,+)$ be a compact, abelian, and metrizable topological group. In this group we take g\in G$g\in G$ such that the corresponding automorphism \tau _g$\tau _g$ is ergodic. The main result of this paper is a new ergodic theorem for functions in L^1(G,M)$L^1(G,M)$ , where M is a Hadamard space. The novelty of our result is that we use inductive means to average the elements of the orbit \{\tau _g^n(h)\}_{n\in \mathbb {N}}$\{\tau _g^n(h)\}_{n\in \mathbb {N}}$ . The advantage of inductive means is that they can be explicitly computed in many important examples. The proof of the ergodic theorem is done firstly for continuous functions, and then it is extended to L^1$L^1$ functions. The extension is based on a new construction of mollifiers in Hadamard spaces. This construction has the advantage that it only uses the metric structure and the existence of barycenters, and does not require the existence of an underlying vector space. For this reason, it can be used in any Hadamard space, in contrast to those results that need to use the tangent space or some chart to define the mollifier.

A fundamental question in the field of cohomology of dynamical systems is to determine when there are solutions to the coboundary equation:

\begin{align*} f = g - g \circ T. \end{align*} $$\begin{align*} f = g - g \circ T. \end{align*}$$

In many cases, T is given to be an ergodic invertible measure-preserving transformation on a standard probability space (X, {\mathcal B}, \mu )$(X, {\mathcal B}, \mu )$ and is contained in L^p$L^p$ for p \geq 0$p \geq 0$ . We extend previous results by showing for any measurable f that is non-zero on a set of positive measure, the class of measure-preserving T with a measurable solution g is meager (including the case where \int _X f\,d\mu = 0$\int _X f\,d\mu = 0$ ). From this fact, a natural question arises: given f, does there always exist a solution pair T and g? In regards to this question, our main results are as follows. Given measurable f, there exist an ergodic invertible measure-preserving transformation T and measurable function g such that f(x) = g(x) - g(Tx)$f(x) = g(x) - g(Tx)$ for almost every (a.e.) x\in X$x\in X$ , if and only if \int _{f> 0} f\,d\mu = - \int _{f < 0} f\,d\mu $\int _{f> 0} f\,d\mu = - \int _{f < 0} f\,d\mu$ (whether finite or \infty $\infty$ ). Given mean-zero f \in L^p(\mu )$f \in L^p(\mu )$ for p \geq 1$p \geq 1$ , there exist an ergodic invertible measure-preserving T and g \in L^{p-1}(\mu )$g \in L^{p-1}(\mu )$ such that f(x) = g(x) - g( Tx )$f(x) = g(x) - g( Tx )$ for a.e. x \in X$x \in X$ . In some sense, the previous existence result is the best possible. For p \geq 1$p \geq 1$ , there exists a dense G_{\delta }$G_{\delta }$ set of mean-zero f \in L^p(\mu )$f \in L^p(\mu )$ such that for any ergodic invertible measure-preserving T and any measurable g such that f(x) = g(x) - g(Tx)$f(x) = g(x) - g(Tx)$ almost everywhere, then g \notin L^q(\mu )$g \notin L^q(\mu )$ for q> p - 1$q> p - 1$ . Finally, it is shown that we cannot expect finite moments for solutions g, when f \in L^1(\mu )$f \in L^1(\mu )$ . In particular, given any such that \lim _{x\to \infty } \phi (x) = \infty $\lim _{x\to \infty } \phi (x) = \infty$ , there exist mean-zero f \in L^1(\mu )$f \in L^1(\mu )$ such that for any solutions T and g, the transfer function g satisfies:

\begin{align*} \int_{X} \phi ( | g(x) | )\,d\mu = \infty. \end{align*} $$\begin{align*} \int_{X} \phi ( | g(x) | )\,d\mu = \infty. \end{align*}$$

We prove that a minimal second countable ample groupoid has dynamical comparison if and only if its type semigroup is almost unperforated. Moreover, we investigate to what extent a not necessarily minimal almost finite groupoid has an almost unperforated type semigroup. Finally, we build a bridge between coarse geometry and topological dynamics by characterizing almost finiteness of the coarse groupoid in terms of a new coarsely invariant property for metric spaces, which might be of independent interest in coarse geometry. As a consequence, we are able to construct new examples of almost finite principal groupoids lacking other desirable properties, such as amenability or even a-T-menability. This behaviour is in stark contrast to the case of principal transformation groupoids associated to group actions.

In this paper we consider two piecewise Riemannian metrics defined on the Culler–Vogtmann outer space which we call the entropy metric and the pressure metric. As a result of work of McMullen, these metrics can be seen as analogs of the Weil–Petersson metric on the Teichmüller space of a closed surface. We show that while the geometric analysis of these metrics is similar to that of the Weil–Petersson metric, from the point of view of geometric group theory, these metrics behave very differently than the Weil–Petersson metric. Specifically, we show that when the rank r is at least 4, the action of \operatorname {\mathrm {Out}}(\mathbb {F}_r)$\operatorname {\mathrm {Out}}(\mathbb {F}_r)$ on the completion of the Culler–Vogtmann outer space using the entropy metric has a fixed point. A similar statement also holds for the pressure metric.

We investigate stable intersections of conformal Cantor sets and their consequences to dynamical systems. First we define this type of Cantor set and relate it to horseshoes appearing in automorphisms of \mathbb {C}^2$\mathbb {C}^2$ . Then we study limit geometries, that is, objects related to the asymptotic shape of the Cantor sets, to obtain a criterion that guarantees stable intersection between some configurations. Finally, we show that the Buzzard construction of a Newhouse region on \mathrm{Aut}(\mathbb {C}^2)$\mathrm{Aut}(\mathbb {C}^2)$ can be seen as a case of stable intersection of Cantor sets in our sense and give some (not optimal) estimate on how ‘thick’ those sets have to be.

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

Let G be the group \text {PAff}_{+}(\mathbb R/\mathbb Z)$\text {PAff}_{+}(\mathbb R/\mathbb Z)$ of piecewise affine circle homeomorphisms or the group {\operatorname {\mathrm {Diff}}}^{{\kern1pt}\infty }(\mathbb R/\mathbb Z)${\operatorname {\mathrm {Diff}}}^{{\kern1pt}\infty }(\mathbb R/\mathbb Z)$ of smooth circle diffeomorphisms. A constructive proof that all irrational rotations are distorted in G is given.

We study the billiard dynamics in annular tables between two eccentric circles. As the center and the radius of the inner circle changes, a two-parameters map is defined by the first return of trajectories to the obstacle. We obtain an increasing family of hyperbolic sets, in the sense of the Hausdorff distance, as the radius goes to zero and the center of the obstacle approximates the outer boundary. The dynamics on each of these sets is conjugate to a shift with an increasing number of symbols. We also show that for many parameters, the system presents quadratic homoclinic tangencies whose bifurcation gives rise to elliptical islands (conservative Newhouse phenomenon). Thus, for many parameters, we obtain the coexistence of a ‘large’ hyperbolic set with many elliptical islands.

We give a characterization of inter-model sets with Euclidean internal space. This characterization is similar to previous results for general inter-model sets obtained independently by Baake, Lenz and Moody, and Aujogue. The new ingredients are two additional conditions. The first condition is on the rank of the abelian group generated by the set of internal differences. The second condition is on a flow on a torus defined via the address map introduced by Lagarias. This flow plays the role of the maximal equicontinuous factor in the previous characterizations.

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

The two main results in this paper concern the regularity of the invariant foliation of a C^0$C^0$ -integrable symplectic twist diffeomorphism of the two-dimensional annulus, namely that (i) the generating function of such a foliation is C^1$C^1$ , and (ii) the foliation is Hölder with exponent \tfrac 12$\tfrac 12$ . We also characterize foliations by graphs that are straightenable via a symplectic homeomorphism and prove that every symplectic homeomorphism that leaves invariant all the leaves of a straightenable foliation has Arnol’d–Liouville coordinates, in which the dynamics restricted to the leaves is conjugate to a rotation. We deduce that every Lipschitz integrable symplectic twist diffeomorphisms of the two-dimensional annulus has Arnol’d–Liouville coordinates and then provide examples of ‘strange’ Lipschitz foliations by smooth curves that cannot be straightened by a symplectic homeomorphism and cannot be invariant by a symplectic twist diffeomorphism.

Scarparo has constructed counterexamples to Matui’s HK-conjecture. These counterexamples and other known counterexamples are essentially principal but not principal. In the present paper, a counterexample to the HK-conjecture that is principal is given. Like Scarparo’s original counterexample, our counterexample is the transformation groupoid associated to a particular odometer. However, the relevant group is the fundamental group of a flat manifold (and hence is torsion-free) and the associated odometer action is free. The examples discussed here do satisfy the rational version of the HK-conjecture.

An ergodic dynamical system \mathbf {X}$\mathbf {X}$ is called dominant if it is isomorphic to a generic extension of itself. It was shown by Glasner et al [On some generic classes of ergodic measure preserving transformations. Trans. Moscow Math. Soc. 82(1) (2021), 15–36] that Bernoulli systems with finite entropy are dominant. In this work, we show first that every ergodic system with positive entropy is dominant, and then that if \mathbf {X}$\mathbf {X}$ has zero entropy, then it is not dominant.

We investigate dynamical systems consisting of a locally compact Hausdorff space equipped with a partially defined local homeomorphism. Important examples of such systems include self-covering maps, one-sided shifts of finite type and, more generally, the boundary-path spaces of directed and topological graphs. We characterize the topological conjugacy of these systems in terms of isomorphisms of their associated groupoids and C*-algebras. This significantly generalizes recent work of Matsumoto and of the second- and third-named authors.

We construct automorphisms of {\mathbb C}^2${\mathbb C}^2$ , and more precisely transcendental Hénon maps, with an invariant escaping Fatou component which has exactly two distinct limit functions, both of (generic) rank one. We also prove a general growth lemma for the norm of points in orbits belonging to invariant escaping Fatou components for automorphisms of the form F(z,w)=(g(z,w),z)$F(z,w)=(g(z,w),z)$ with g(z,w):{\mathbb C}^2\rightarrow {\mathbb C}$g(z,w):{\mathbb C}^2\rightarrow {\mathbb C}$ holomorphic.

In this article, we continue the structural study of factor maps between symbolic dynamical systems and the relative thermodynamic formalism. Here, one is studying a factor map from a shift of finite type X (equipped with a potential function) to a sofic shift Z, equipped with a shift-invariant measure \nu $\nu$ . We study relative equilibrium states, that is, shift-invariant measures on X that push forward under the factor map to \nu $\nu$ which maximize the relative pressure: the relative entropy plus the integral of \phi $\phi$ . In this paper, we establish a new connection to multiplicative ergodic theory by relating these factor triples to a cocycle of Ruelle–Perron–Frobenius operators, and showing that the principal Lyapunov exponent of this cocycle is the relative pressure; and the dimension of the leading Oseledets space is equal to the number of measures of relative maximal entropy, counted with a previously identified concept of multiplicity.

In this paper we focus on compacta K \subseteq \mathbb {R}^3$K \subseteq \mathbb {R}^3$ which possess a neighbourhood basis that consists of nested solid tori T_i$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}$T_{i+1}$ winds inside the previous T_i$T_i$ as i \rightarrow +\infty $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$\mathbb {R}^3$.

For a C^{1+\alpha }$C^{1+\alpha }$ diffeomorphism f of a compact smooth manifold, we give a necessary and sufficient condition that guarantees that if the set of hyperbolic Lyapunov–Perron regular points has positive volume, then f preserves a smooth measure. We use recent results on symbolic coding of \chi $\chi$ -non-uniformly hyperbolic sets and results concerning the existence of SRB measures for them.