An important question in dynamical systems is the classification problem, that is, the ability to distinguish between two isomorphic systems. In this work, we study the topological factors between a family of multidimensional substitutive subshifts generated by morphisms with uniform support. We prove that it is decidable to check whether two minimal aperiodic substitutive subshifts are isomorphic. The strategy followed in this work consists of giving a complete description of the factor maps between these subshifts. Then, we deduce some interesting consequences on coalescence, automorphism groups, and the number of aperiodic symbolic factors of substitutive subshifts. We also prove other combinatorial results on these substitutions, such as the decidability of defining a subshift, the computability of the constant of recognizability, and the conjugacy between substitutions with different supports.

We study the quasi-ergodicity of compact strong Feller semigroups $U_t$, $t> 0$, on $L^2(M,\mu )$; we assume that M is a locally compact Polish space equipped with a locally finite Borel measue $\mu $. The operators $U_t$ are ultracontractive and positivity preserving, but not necessarily self-adjoint or normal. We are mainly interested in those cases where the measure $\mu $ is infinite and the semigroup is not intrinsically ultracontractive. We relate quasi-ergodicity on $L^p(M,\mu )$ and uniqueness of the quasi-stationary measure with the finiteness of the heat content of the semigroup (for large values of t) and with the progressive uniform ground state domination property. The latter property is equivalent to a variant of quasi-ergodicity which progressively propagates in space as $t \uparrow \infty $; the propagation rate is determined by the decay of . We discuss several applications and illustrate our results with examples. This includes a complete description of quasi-ergodicity for a large class of semigroups corresponding to non-local Schrödinger operators with confining potentials.

Let $f(z)=z^2+c$ be an infinitely renormalizable quadratic polynomial and $J_\infty $ be the intersection of forward orbits of ‘small’ Julia sets of its simple renormalizations. We prove that if f admits an infinite sequence of satellite renormalizations, then every invariant measure of $f: J_\infty \to J_\infty $ is supported on the postcritical set and has zero Lyapunov exponent. Coupled with [13], this implies that the Lyapunov exponent of such f at c is equal to zero, which partly answers a question posed by Weixiao Shen.

For given $\epsilon>0$ and $b\in \mathbb {R}^m$, we say that a real $m\times n$ matrix A is $\epsilon $-badly approximable for the target b if

$$ \begin{align*}\liminf_{q\in\mathbb{Z}^n, \|q\|\to\infty} \|q\|^n \langle Aq-b\rangle^m \geq \epsilon,\end{align*} $$

$\langle \cdot \rangle $

$\epsilon $

$\epsilon $

$\epsilon $

Given a probability space $(X,\mu )$, a square integrable function f on such space and a (unilateral or bilateral) shift operator T, we prove under suitable assumptions that the ergodic means $N^{-1}\sum _{n=0}^{N-1} T^nf$ converge pointwise almost everywhere to zero with a speed of convergence which, up to a small logarithmic transgression, is essentially of the order of $N^{-1/2}$. We also provide a few applications of our results, especially in the case of shifts associated with toral endomorphisms.

For a class of volume-preserving partially hyperbolic diffeomorphisms (or non-uniformly Anosov) $f\colon {\mathbb {T}}^d\rightarrow {\mathbb {T}}^d$ homotopic to linear Anosov automorphism, we show that the sum of the positive (negative) Lyapunov exponents of f is bounded above (respectively below) by the sum of the positive (respectively negative) Lyapunov exponents of its linearization. We show this for some classes of derived from Anosov (DA) and non-uniformly hyperbolic systems with dominated splitting, in particular for examples described by Bonatti and Viana [SRB measures for partially hyperbolic systems whose central direction is mostly contracting. Israel J. Math. 115(1) (2000), 157–193]. The results in this paper address a flexibility program by Bochi, Katok and Rodriguez Hertz [Flexibility of Lyapunov exponents. Ergod. Th. & Dynam. Sys. 42(2) (2022), 554–591].

In this paper, we prove a cocycle version of marked length spectrum rigidity. There are two consequences: the first one is marked length pattern rigidity for arithmetic hyperbolic locally symmetric manifolds, and the second one is a strengthened marked length spectrum rigidity for surfaces and closed locally symmetric manifolds.

For an arbitrary countable discrete infinite group G, non-singular rank-one actions are introduced. It is shown that the class of non-singular rank-one actions coincides with the class of non-singular $(C,F)$-actions. Given a decreasing sequence of cofinite subgroups in G with $\bigcap _{n=1}^\infty \bigcap _{g\in G}g\Gamma _ng^{-1}=\{1_G\}$, the projective limit of the homogeneous G-spaces $G/\Gamma _n$ as $n\to \infty $ is a G-space. Endowing this G-space with an ergodic non-singular non-atomic measure, we obtain a dynamical system which is called a non-singular odometer. Necessary and sufficient conditions are found for a rank-one non-singular G-action to have a finite factor and a non-singular odometer factor in terms of the underlying $(C,F)$-parameters. Similar conditions are also found for a rank-one non-singular G-action to be isomorphic to an odometer. Minimal Radon uniquely ergodic locally compact Cantor models are constructed for the non-singular rank-one extensions of odometers. Several concrete examples are constructed and several facts are proved that illustrate a sharp difference of the non-singular non-commutative case from the classical finite measure preserving one: odometer actions which are not of rank-one and factors of rank-one systems which are not of rank one; however, each probability preserving odometer is a factor of an infinite measure preserving rank-one system, etc.

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 $(X,\mu ,T,d)$ be a metric measure-preserving dynamical system such that three-fold correlations decay exponentially for Lipschitz continuous observables. Given a sequence $(M_k)$ that converges to $0$ slowly enough, we obtain a strong dynamical Borel–Cantelli result for recurrence, that is, for $\mu $-almost every $x\in X$,

$$ \begin{align*} \lim_{n \to \infty}\frac{\sum_{k=1}^{n} \mathbf{1}_{B_k(x)}(T^{k}x)} {\sum_{k=1}^{n} \mu(B_k(x))} = 1, \end{align*} $$

$\mu (B_k(x)) = M_k$

This paper studies various aspects of inverse limits of locally expanding affine linear maps on flat branched manifolds, which I call flat Wieler solenoids. Among the aspects studied are different types of cohomologies, the rates of mixing given by the Ruelle spectrum of the hyperbolic map acting on this space, and solutions of the cohomological equation in primitive substitution subshifts for Hölder functions. The overarching theme is that considerations of $\alpha $-Hölder regularity on Cantor sets go a long way.

We study shift spaces over a finite alphabet that can be approximated by mixing shifts of finite type in the sense of (pseudo)metrics connected to Ornstein’s $\bar {d}$ metric ($\bar {d}$-approachable shift spaces). The class of $\bar {d}$-approachable shifts can be considered as a topological analog of measure-theoretical Bernoulli systems. The notion of $\bar {d}$-approachability, together with a closely connected notion of $\bar {d}$-shadowing, was introduced by Konieczny, Kupsa, and Kwietniak [Ergod. Th. & Dynam. Sys. 43(3) (2023), 943–970]. These notions were developed with the aim of significantly generalizing specification properties. Indeed, many popular variants of the specification property, including the classic one and the almost/weak specification property, ensure $\bar {d}$-approachability and $\bar {d}$-shadowing. Here, we study further properties and connections between $\bar {d}$-shadowing and $\bar {d}$-approachability. We prove that $\bar {d}$-shadowing implies $\bar {d}$-stability (a notion recently introduced by Tim Austin). We show that for surjective shift spaces with the $\bar {d}$-shadowing property the Hausdorff pseudodistance ${\bar d}^{\mathrm {H}}$ between shift spaces induced by $\bar {d}$ is the same as the Hausdorff distance between their simplices of invariant measures with respect to the Hausdorff distance induced by Ornstein’s metric $\bar {d}$ between measures. We prove that without $\bar {d}$-shadowing this need not to be true (it is known that the former distance always bounds the latter). We provide examples illustrating these results, including minimal examples and proximal examples of shift spaces with the $\bar {d}$-shadowing property. The existence of such shift spaces was announced in the earlier paper mentioned above. It shows that $\bar {d}$-shadowing indeed generalizes the specification property.

The main theorem of this paper establishes a uniform syndeticity result concerning the multiple recurrence of measure-preserving actions on probability spaces. More precisely, for any integers $d,l\geq 1$ and any $\varepsilon> 0$, we prove the existence of $\delta>0$ and $K\geq 1$ (dependent only on d, l, and $\varepsilon $) such that the following holds: Consider a solvable group $\Gamma $ of derived length l, a probability space $(X, \mu )$, and d pairwise commuting measure-preserving $\Gamma $-actions $T_1, \ldots , T_d$ on $(X, \mu )$. Let E be a measurable set in X with $\mu (E) \geq \varepsilon $. Then, K many (left) translates of

$$ \begin{align*} \big\{\gamma\in\Gamma\colon \mu(T_1^{\gamma^{-1}}(E)\cap T_2^{\gamma^{-1}} \circ T^{\gamma^{-1}}_1(E)\cap \cdots \cap T^{\gamma^{-1}}_d\circ T^{\gamma^{-1}}_{d-1}\circ \cdots \circ T^{\gamma^{-1}}_1(E))\geq \delta \big\} \end{align*} $$

$\Gamma $

$d,l\geq 1$

$\varepsilon> 0$

$\delta>0$

$K\geq 1$

$\varepsilon $

$E\subset G^d$

$m^{\otimes d}(E)\geq \varepsilon $

$$ \begin{align*} \{g\in G\colon &m^{\otimes d}(\{(a_1,\ldots,a_n)\in G^d\colon \\ & (a_1,\ldots,a_n),(ga_1,a_2,\ldots,a_n),\ldots,(ga_1,ga_2,\ldots, ga_n)\in E\})\geq \delta \} \end{align*} $$

In the context of random amenable group actions, we introduce the notions of random upper metric mean dimension with potentials and the random upper measure-theoretical metric mean dimension. Besides, we establish a variational principle for the random upper metric mean dimensions. At the end, we study the equilibrium state for random upper metric mean dimensions.

We define the co-spectral radius of inclusions ${\mathcal S}\leq {\mathcal R}$ of discrete, probability- measure-preserving equivalence relations as the sampling exponent of a generating random walk on the ambient relation. The co-spectral radius is analogous to the spectral radius for random walks on $G/H$ for inclusion $H\leq G$ of groups. For the proof, we develop a more general version of the 2–3 method we used in another work on the growth of unimodular random rooted trees. We use this method to show that the walk growth exists for an arbitrary unimodular random rooted graph of bounded degree. We also investigate how the co-spectral radius behaves for hyperfinite relations, and discuss new critical exponents for percolation that can be defined using the co-spectral radius.

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.

We prove the convergence of moments of the number of directions of affine lattice vectors that fall into a small disc, under natural Diophantine conditions on the shift. Furthermore, we show that the pair correlation function is Poissonian for any irrational shift in dimension 3 and higher, including well-approximable vectors. Convergence in distribution was already proved in the work of Strömbergsson and the second author [The distribution of free path lengths in the periodic Lorentz gas and related lattice point problems. Ann. of Math. (2) 172 (2010), 1949–2033], and the principal step in the extension to convergence of moments is an escape of mass estimate for averages over embedded $\operatorname {SL}(d,\mathbb {R})$-horospheres in the space of affine lattices.

We prove a Khintchine-type recurrence theorem for pairs of endomorphisms of a countable discrete abelian group. As a special case of the main result, if $\Gamma $ is a countable discrete abelian group, $\varphi , \psi \in \mathrm {End}(\Gamma )$, and $\psi - \varphi $ is an injective endomorphism with finite index image, then for any ergodic measure-preserving $\Gamma $-system $( X, {\mathcal {X}}, \mu , (T_g)_{g \in \Gamma } )$, any measurable set $A \in {\mathcal {X}}$, and any ${\varepsilon }> 0$, there is a syndetic set of $g \in \Gamma$ such that $\mu ( A \cap T_{\varphi(g)}^{-1} A \cap T_{\psi(g)}^{-1} A ) > \mu(A)^3 - \varepsilon$. This generalizes the main results of Ackelsberg et al [Khintchine-type recurrence for 3-point configurations. Forum Math. Sigma 10 (2022), Paper no. e107] and essentially answers a question left open in that paper [Question 1.12; Khintchine-type recurrence for 3-point configurations. Forum Math. Sigma 10 (2022), Paper no. e107]. For the group $\Gamma = {\mathbb {Z}}^d$, the result applies to pairs of endomorphisms given by matrices whose difference is non-singular. The key ingredients in the proof are: (1) a recent result obtained jointly with Bergelson and Shalom [Khintchine-type recurrence for 3-point configurations. Forum Math. Sigma 10 (2022), Paper no. e107] that says that the relevant ergodic averages are controlled by a characteristic factor closely related to the quasi-affine (or Conze–Lesigne) factor; (2) an extension trick to reduce to systems with well-behaved (with respect to $\varphi $ and $\psi $) discrete spectrum; and (3) a description of Mackey groups associated to quasi-affine cocycles over rotational systems with well-behaved discrete spectrum.

Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting a unifying framework. We prove surprising new results such as the coincidence of absolute winning and $1$ Cantor winning in metric spaces, and the fact that $1/2$ winning implies absolute winning for subsets of $\mathbb {R}$. We also suggest a prototypical example of a Cantor winning set to show the ubiquity of such sets in metric number theory and ergodic theory.

We prove that a generic probability measure-preserving (p.m.p.) action of a countable amenable group G has scaling entropy that cannot be dominated by a given rate of growth. As a corollary, we obtain that there does not exist a topological action of G for which the set of ergodic invariant measures coincides with the set of all ergodic p.m.p. G-systems of entropy zero. We also prove that a generic action of a residually finite amenable group has scaling entropy that cannot be bounded from below by a given sequence. In addition, we show an example of an amenable group that has such a lower bound for every free p.m.p. action.