Related papers: Free ergodic $\mathbb{Z}^2$-systems and complexity
We study atomic measures on $[0,1]$ which are invariant both under multiplication by $2\mod 1$ and by $3\mod 1$, since such measures play an important role in deciding Furstenberg's $\times 2, \times 3$ conjecture. Our specific focus was…
Explicit formulas for complexity and unique invariant measure of the period-doubling subshift can be derived from those for the Thue-Morse subshift, obtained by Brlek, De Luca and Varricchio, and Dekking. In this note we give direct proofs…
Consider a topological dynamical system where the group is abelian and the topologies are locally compact and second-countable. Given an invariant measure for this system, we show that if its dynamical spectrum is contained in some Borel…
The aim of this paper is to prove ergodic decomposition theorems for probability measures quasi-invariant under Borel actions of inductively compact groups (Theorem 1) as well as for sigma-finite invariant measures (Corollary 1). For…
We consider measures which are invariant under a measurable iterated function system with positive, place-dependent probabilities in a separable metric space. We provide an upper bound of the Hausdorff dimension of such a measure if it is…
We prove the following conjecture of Furstenberg (1969): if $A,B\subset [0,1]$ are closed and invariant under $\times p \mod 1$ and $\times q \mod 1$, respectively, and if $\log p/\log q\notin \mathbb{Q}$, then for all real numbers $u$ and…
This article reviews a generous sampling of both classical and more recent results on the interplay between measurable and topological dynamics. In the first part we have surveyed the strong analogies between ergodic theory and topological…
This text is addressed to students. It is a short story about some problems in ergodic theory, both related and independent. We discuss the factorization of transformations into the product of three involutions; Furstenberg's theorem on…
Let $G$ be an infinite residually finite group. We show that for every minimal equicontinuous Cantor system $(Z,G)$ with a free orbit, and for every minimal extension $(Y,G)$ of $(Z,G)$, there exist a minimal almost 1-1 extension $(X,G)$ of…
We study measure preserving systems, called Furstenberg systems, that model the statistical behavior of sequences defined by smooth functions with at most polynomial growth. Typical examples are the sequences $(n^\frac{3}{2})$,…
Exploiting a construction of rigidity sequences for weakly mixing dynamical systems by Fayad and Thouvenot, we show that for every integers $p_{1},\dots,p_{r}$ there exists a continuous probability measure $\mu $ on the unit circle…
Furstenberg's $\times 2 \times 3$ conjecture has remained a central open problem in ergodic theory for over $50$ years, and it serves as the basic test case for a broad class of rigidity phenomena which are believed to hold in…
Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…
For each integer $n\ge 1$, denote by $T_{n}$ the map $x\mapsto nx\mod 1$ from the circle group $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ into itself. Let $p,q\ge 2$ be two multiplicatively independent integers. Using Baire Category arguments, we…
We study the almost sure convergence of bilateral ergodic averages for not necessarily integrable functions and relate it to the ones of the forward and backward averages, hence complementing results of Wo\'s and the second named author. In…
We prove that if a Borel probability measure (\mu) on (\T) is invariant under the action of a "large" multiplicative semigroup (lower logarithmic density is positive) and the action of the whole semigroup is ergodic then (\mu) is either…
We consider the problem of when a symbolic dynamical system supports a Borel probability measure that is invariant under every element of its automorphism group. It follows readily from a classical result of Parry that the full shift on…
We give conditions that characterize the existence of an absolutely continuous invariant probability measure for a degree one $C^2$ endomorphism of the circle which is bimodal, such that all its periodic orbits are repelling, and such that…
In 1975 Szemer\'edi proved the long-standing conjecture of Erd\H{o}s and Tur\'an that any subset of $\bbZ$ having positive upper Banach density contains arbitrarily long arithmetic progressions. Szemer\'edi's proof was entirely…
We characterize the points that satisfy Birkhoff's ergodic theorem under certain computability conditions in terms of algorithmic randomness. First, we use the method of cutting and stacking to show that if an element x of the Cantor space…