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.

We prove that if two free probability-measure-preserving (p.m.p.) ${\mathbb Z}$-actions are Shannon orbit equivalent, then they have the same entropy. The argument also applies more generally to yield the same conclusion for free p.m.p. actions of finitely generated virtually Abelian groups. Together with the isomorphism theorems of Ornstein and Ornstein–Weiss and the entropy invariance results of Austin and Kerr–Li in the non-virtually-cyclic setting, this shows that two Bernoulli actions of any non-locally-finite countably infinite amenable group are Shannon orbit equivalent if and only if they are measure conjugate. We also show, at the opposite end of the stochastic spectrum, that every ${\mathbb Z}$-odometer is Shannon orbit equivalent to the universal ${\mathbb Z}$-odometer.

The first part of this work is devoted to the study of higher derivatives of pressure functions of Hölder potentials on shift spaces with finitely many symbols. By describing the derivatives of pressure functions via the central limit theorem for the associated random processes, we discover some rigid relationships between derivatives of various orders. The rigidity imposes obstructions on fitting candidate convex analytic functions by pressure functions of Hölder potentials globally, which answers a question of Kucherenko and Quas. In the second part of the work, we consider fitting candidate analytic germs by pressure functions of locally constant potentials. We prove that all 1-level candidate germs can be realised by pressures of some locally constant potentials, as long as the number of symbols in the symbolic set is large enough. There are also some results on fitting 2-level germs by pressures of locally constant potentials obtained in the work.

We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence relation is uniquely determined by the invariant random subgroup of the approximate homomorphisms. We record applications of this result to recover various known stability and conjugacy characterizations for almost homomorphisms of amenable groups.

Given the full shift over a countable state space on a countable amenable group, we develop its thermodynamic formalism. First, we introduce the concept of pressure and, using tiling techniques, prove its existence and further properties, such as an infimum rule. Next, we extend the definitions of different notions of Gibbs measures and prove their existence and equivalence, given some regularity and normalization criteria on the potential. Finally, we provide a family of potentials that nontrivially satisfy the conditions for having this equivalence and a nonempty range of inverse temperatures where uniqueness holds.

The aim of the present paper is to derive effective discrepancy estimates for the distribution of rational points on general semisimple algebraic group varieties, in general families of subsets and at arbitrarily small scales. We establish mean-square, almost sure and uniform estimates for the discrepancy with explicit error bounds. We also prove an analogue of W. Schmidt's theorem, which establishes effective almost sure asymptotic counting of rational solutions to Diophantine inequalities in the Euclidean space. We formulate and prove a version of it for rational points on the group variety, with an effective bound which in some instances can be expected to be the best possible.

Based on previous work of the authors, to any S-adic development of a subshift X a ‘directive sequence’ of commutative diagrams is associated, which consists at every level $n \geq 0$ of the measure cone and the letter frequency cone of the level subshift $X_n$ associated canonically to the given S-adic development. The issuing rich picture enables one to deduce results about X with unexpected directness. For instance, we exhibit a large class of minimal subshifts with entropy zero that all have infinitely many ergodic probability measures. As a side result, we also exhibit, for any integer $d \geq 2$, an S-adic development of a minimal, aperiodic, uniquely ergodic subshift X, where all level alphabets $\mathcal A_n$ have cardinality $d,$ while none of the $d-2$ bottom level morphisms is recognizable in its level subshift $X_n \subseteq \mathcal A_n^{\mathbb {Z}}$.

We prove that, for any countable acylindrically hyperbolic group G, there exists a generating set S of G such that the corresponding Cayley graph $\Gamma (G,S)$ is hyperbolic, $|\partial \Gamma (G,S)|>2$, the natural action of G on $\Gamma (G,S)$ is acylindrical and the natural action of G on the Gromov boundary $\partial \Gamma (G,S)$ is hyperfinite. This result broadens the class of groups that admit a non-elementary acylindrical action on a hyperbolic space with a hyperfinite boundary action.