We formulate abstract conditions under which a suspension flow satisfies the local central limit theorem. We check the validity of these conditions for several systems including reward renewal processes, Axiom A flows, as well as the systems admitting Young’s tower, such as Sinai’s billiard with finite horizon, suspensions over Pomeau–Manneville maps, and geometric Lorenz attractors.

We consider the quasi-periodic Fermi–Ulam ping-pong model with no diophantine condition on the frequencies and show that typically the set of initial data which leads to escaping orbits has Lebesgue measure zero.

Let $X$ be a compact, metric and totally disconnected space and let $f:X\rightarrow X$ be a continuous map. We relate the eigenvalues of $f_{\ast }:\check{H}_{0}(X;\mathbb{C})\rightarrow \check{H}_{0}(X;\mathbb{C})$ to dynamical properties of $f$, roughly showing that if the dynamics is complicated then every complex number of modulus different from 0, 1 is an eigenvalue. This stands in contrast with a classical inequality of Manning that bounds the entropy of $f$ below by the spectral radius of $f_{\ast }$.

A nilspace system is a generalization of a nilsystem, consisting of a compact nilspace $\text{X}$ equipped with a group of nilspace translations acting on $\text{X}$. Nilspace systems appear in different guises in several recent works and this motivates the study of these systems per se as well as their relation to more classical types of systems. In this paper we study morphisms of nilspace systems, i.e., nilspace morphisms with the additional property of being consistent with the actions of the given translations. A nilspace morphism does not necessarily have this property, but one of our main results shows that it factors through some other morphism which does have the property. As an application we obtain a strengthening of the inverse limit theorem for compact nilspaces, valid for nilspace systems. This is used in work of the first- and third-named authors to generalize the celebrated structure theorem of Host and Kra on characteristic factors.

The study of the dynamics of an holomorphic map near a fixed point is a central topic in complex dynamical systems. In this paper, we will consider the corresponding random setting: given a probability measure $\unicode[STIX]{x1D708}$ with compact support on the space of germs of holomorphic maps fixing the origin, we study the compositions $f_{n}\circ \cdots \circ f_{1}$, where each $f_{i}$ is chosen independently with probability $\unicode[STIX]{x1D708}$. As in the deterministic case, the stability of the family of the random iterates is mostly determined by the linear part of the germs in the support of the measure. A particularly interesting case occurs when all Lyapunov exponents vanish, in which case stability implies simultaneous linearizability of all germs in $\text{supp}(\unicode[STIX]{x1D708})$.

We introduce the notions of directional dynamical cubes and directional regionally proximal relation defined via these cubes for a minimal $\mathbb{Z}^{d}$-system $(X,T_{1},\ldots ,T_{d})$. We study the structural properties of systems that satisfy the so-called unique closing parallelepiped property and we characterize them in several ways. In the distal case, we build the maximal factor of a $\mathbb{Z}^{d}$-system $(X,T_{1},\ldots ,T_{d})$ that satisfies this property by taking the quotient with respect to the directional regionally proximal relation. Finally, we completely describe distal $\mathbb{Z}^{d}$-systems that enjoy the unique closing parallelepiped property and provide explicit examples.

We first improve an old result of McMahon and show that a metric minimal flow whose enveloping semigroup contains less than $2^{\mathfrak{c}}$ (where $\mathfrak{c}=2^{\aleph _{0}}$) minimal left ideals is proximal isometric (PI). Then we show the existence of various minimal PI-flows with many minimal left ideals, as follows. For the acting group $G=\text{SL}_{2}(\mathbb{R})^{\mathbb{N}}$, we construct a metric minimal PI $G$-flow with $\mathfrak{c}$ minimal left ideals. We then use this example and results established in Glasner and Weiss. [On the construction of minimal skew-products. Israel J. Math.34 (1979), 321–336] to construct a metric minimal PI cascade $(X,T)$ with $\mathfrak{c}$ minimal left ideals. We go on to construct an example of a minimal PI-flow $(Y,{\mathcal{G}})$ on a compact manifold $Y$ and a suitable path-wise connected group ${\mathcal{G}}$ of a homeomorphism of $Y$, such that the flow $(Y,{\mathcal{G}})$ is PI and has $2^{\mathfrak{c}}$ minimal left ideals. Finally, we use this latter example and a theorem of Dirbák to construct a cascade $(X,T)$ that is PI (of order three) and has $2^{\mathfrak{c}}$ minimal left ideals. Thus this final result shows that, even for cascades, the converse of the implication ‘less than $2^{\mathfrak{c}}$ minimal left ideals implies PI’, fails.

We prove a conditional theorem on the positivity of the Lyapunov exponent for a Schrödinger cocycle over a skew-shift base with a cosine potential and the golden ratio as frequency. For coupling below 1, which is the threshold for Herman’s subharmonicity trick, we formulate three conditions on the Lyapunov exponent in a finite but large volume and on the associated large-deviation estimates at that scale. Our main results demonstrate that these finite-size conditions imply the positivity of the infinite-volume Lyapunov exponent. This paper shows that it is possible to make the techniques developed for the study of Schrödinger operators with deterministic potentials, based on large-deviation estimates and the avalanche principle, effective.

In this paper, we establish a non-commutative analogue of Calderón’s transference principle, which allows us to deduce the non-commutative maximal ergodic inequalities from the special case—operator-valued maximal inequalities. As applications, we deduce the non-commutative Stein–Calderón maximal ergodic inequality and the dimension-free estimates of the non-commutative Wiener maximal ergodic inequality over Euclidean spaces. We also show the corresponding individual ergodic theorems. To show Wiener’s pointwise ergodic theorem, following a somewhat standard way we construct a dense subset on which pointwise convergence holds. To show Jones’ pointwise ergodic theorem, we use again the transference principle together with the Littlewood–Paley method, which is different from Jones’ original variational method that is still unavailable in the non-commutative setting.

In this paper, we study an interesting curve, the so-called Manhattan curve, associated with a pair of boundary-preserving Fuchsian representations of a (non-compact) surface; in particular, representations corresponding to Riemann surfaces with cusps. Using thermodynamic formalism (for countable state Markov shifts), we prove the analyticity of the Manhattan curve. Moreover, we derive several dynamical and geometric rigidity results, which generalize results of Burger [Intersection, the Manhattan curve, and Patterson–Sullivan theory in rank 2. Int. Math. Res. Not.1993(7) (1993), 217–225] and Sharp [The Manhattan curve and the correlation of length spectra on hyperbolic surfaces. Math. Z.228(4) (1998), 745–750] for convex cocompact Fuchsian representations.

The complexity function of an infinite word $w$ on a finite alphabet $A$ is the sequence counting, for each non-negative $n$, the number of words of length $n$ on the alphabet $A$ that are factors of the infinite word $w$. For any given function $f$ with exponential growth, we introduced in [Complexity and fractal dimensions for infinite sequences with positive entropy. Commun. Contemp. Math. to appear] the notion of word entropy$E_{W}(f)$ associated to $f$ and we described the combinatorial structure of sets of infinite words with a complexity function bounded by $f$. The goal of this work is to give estimates on the word entropy $E_{W}(f)$ in terms of the limiting lower exponential growth rate of $f$.

For any measure-preserving system $(X,{\mathcal{B}},\unicode[STIX]{x1D707},T_{1},\ldots ,T_{d})$ with no commutativity assumptions on the transformations $T_{i},$$1\leq i\leq d,$ we study the pointwise convergence of multiple ergodic averages with iterates of different growth coming from a large class of sublinear functions. This class properly contains important subclasses of Hardy field functions of order zero and of Fejér functions, i.e., tempered functions of order zero. We show that the convergence of the single average, via an invariant property, implies the convergence of the multiple one. We also provide examples of sublinear functions which are, in general, bad for convergence on arbitrary systems, but good for uniquely ergodic systems. The case where the fastest function is linear is addressed as well, and we provide, in all the cases, an explicit formula of the limit function.

Suppose $(k_{n})_{n\geq 1}$ is Hartman uniformly distributed and good universal. Also suppose $\unicode[STIX]{x1D713}$ is a polynomial with at least one coefficient other than $\unicode[STIX]{x1D713}(0)$ an irrational number. We adapt an argument due to Furstenberg to prove that the sequence $(\unicode[STIX]{x1D713}(k_{n}))_{n\geq 1}$ is uniformly distributed modulo one. This is used to give some new families of Poincaré recurrent sequences. In addition we show these sequences are also intersective and Glasner.

We prove that any countable non-amenable group $\unicode[STIX]{x1D6E4}$ admits a free, minimal, amenable, purely infinite action on the non-compact Cantor set. This answers a question of Kellerhals, Monod and Rørdam [Non-supramenable groups acting on locally compact spaces. Doc. Math.18 (2013), 1597–1626].

We construct a renormalization operator which acts on analytic circle maps whose critical exponent $\unicode[STIX]{x1D6FC}$ is not necessarily an odd integer $2n+1$, $n\in \mathbb{N}$. When $\unicode[STIX]{x1D6FC}=2n+1$, our definition generalizes cylinder renormalization of analytic critical circle maps by Yampolsky [Hyperbolicity of renormalization of critical circle maps. Publ. Math. Inst. Hautes Études Sci.96 (2002), 1–41]. In the case when $\unicode[STIX]{x1D6FC}$ is close to an odd integer, we prove hyperbolicity of renormalization for maps of bounded type. We use it to prove universality and $C^{1+\unicode[STIX]{x1D6FC}}$-rigidity for such maps.

The fact that the euclidean algorithm eventually terminates is pervasive in mathematics. In the language of continued fractions, it can be stated by saying that the orbits of rational points under the Gauss map $x\mapsto x^{-1}-\lfloor x^{-1}\rfloor$ eventually reach zero. Analogues of this fact for Gauss maps defined over quadratic number fields have relevance in the theory of flows on translation surfaces, and have been established via powerful machinery, ultimately relying on the Veech dichotomy. In this paper, for each commensurability class of non-cocompact triangle groups of quadratic invariant trace field, we construct a Gauss map whose defining matrices generate a group in the class; we then provide a direct and self-contained proof of termination. As a byproduct, we provide a new proof of the fact that non-cocompact triangle groups of quadratic invariant trace field have the projective line over that field as the set of cross-ratios of cusps. Our proof is based on an analysis of the action of non-negative matrices with quadratic integer entries on the Weil height of points. As a consequence of the analysis, we show that long symbolic sequences in the alphabet of our maps can be effectively split into blocks of predetermined shape having the property that the height of points which obey the sequence and belong to the base field decreases strictly at each block end. Since the height cannot decrease infinitely, the termination property follows.

Let $\unicode[STIX]{x1D6FC}\in \mathbb{R}\backslash \mathbb{Q}$ and $\unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D6FC})=\limsup _{n\rightarrow \infty }(\ln q_{n+1})/q_{n}<\infty$, where $p_{n}/q_{n}$ is the continued fraction approximation to $\unicode[STIX]{x1D6FC}$. Let $(H_{\unicode[STIX]{x1D706},\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D703}}u)(n)=u(n+1)+u(n-1)+2\unicode[STIX]{x1D706}\cos 2\unicode[STIX]{x1D70B}(\unicode[STIX]{x1D703}+n\unicode[STIX]{x1D6FC})u(n)$ be the almost Mathieu operator on $\ell ^{2}(\mathbb{Z})$, where $\unicode[STIX]{x1D706},\unicode[STIX]{x1D703}\in \mathbb{R}$. Avila and Jitomirskaya [The ten Martini problem. Ann. of Math. (2), 170(1) (2009), 303–342] conjectured that, for $2\unicode[STIX]{x1D703}\in \unicode[STIX]{x1D6FC}\mathbb{Z}+\mathbb{Z}$, $H_{\unicode[STIX]{x1D706},\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D703}}$ satisfies Anderson localization if $|\unicode[STIX]{x1D706}|>e^{2\unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D6FC})}$. In this paper, we develop a method to treat simultaneous frequency and phase resonances and obtain that, for $2\unicode[STIX]{x1D703}\in \unicode[STIX]{x1D6FC}\mathbb{Z}+\mathbb{Z}$, $H_{\unicode[STIX]{x1D706},\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D703}}$ satisfies Anderson localization if $|\unicode[STIX]{x1D706}|>e^{3\unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D6FC})}$.

In this paper, we derive geometric and analytic properties of invariant sets, including orbit closures, of a large class of piecewise-affine maps $T$ on $\mathbb{R}^{d}$. We assume that (i) $T$ consists of finitely many affine maps defined on a Borel measurable partition of $\mathbb{R}^{d}$, (ii) there is a lattice $\mathscr{L}\subset \mathbb{R}^{d}$ that contains all of the mutual differences of the translation vectors of these affine maps, and (iii) all of the affine maps have the same linear part that is an automorphism of $\mathscr{L}$. We prove that finite-volume invariant sets of such piecewise-affine maps always consist of translational tiles relative to this lattice, up to some multiplicity. When the partition is Jordan measurable, we show that closures of bounded orbits of $T$ are invariant and yield Jordan measurable tiles, again up to some multiplicity. In the latter case, we show that compact $T$-invariant sets also consist of Jordan measurable tiles. We then utilize these results to quantify the rate of convergence of ergodic averages for $T$ in the case of bounded single tiles.

We show that if a hyperbolic group acts geometrically on a CAT(0) cube complex, then the induced boundary action is hyperfinite. This means that for a cubulated hyperbolic group, the natural action on its Gromov boundary is hyperfinite, which generalizes an old result of Dougherty, Jackson and Kechris for the free group case.

We show in prime dimension that for two non-commuting totally irreducible toral automorphisms the set of points that equidistribute under the first map but have non-dense orbit under the second has full Hausdorff dimension. In non-prime dimension the argument fails only if the automorphisms have strong algebraic relations.