Decomposition of a symbolic element over a countable amenable group into blocks approximating ergodic measures

DOI10.4171/GGD/679MaRDI QIDQ6338205arXivFDO

Authors T. Downarowicz, Mateusz Więcek

Publication date 6 April 2020

Published in arXiv

Full work available at URL https://doi.org/10.4171/GGD/679

Mathematics Subject Classification ID

Ergodic theory on groups (22D40) General groups of measure-preserving transformations and dynamical systems (37A15) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) Symbolic dynamics (37B10) Multidimensional shifts of finite type (37B51) Tiling dynamics (37B52) Means on groups, semigroups, etc.; amenable groups (43A07)

arXiv classification

math.DS

Abstract: Consider a subshift over a finite alphabet, $XsubsetLambd{a}^{mathbbZ}$ (or $XsubsetLambd{a}^{mathbb{N}_0}$). With each finite block $BinLambd{a}^k$ appearing in $X$ we associate the empirical measure ascribing to every block $CinLambd{a}^l$ the frequency of occurrences of $C$ in $B$. By comparing the values ascribed to blocks $C$ we define a metric on the combined space of blocks $B$ and probability measures $mu$ on $X$, whose restriction to the space of measures is compatible with the weak-$star$ topology. Next, in this combined metric space we fix an open set $mathcalU$ containing all ergodic measures, and we say that a block $B$ is "ergodic" if $BinmathcalU$. In this paper we prove the following main result: Given $varepsilon>0$, every $xinX$ decomposes as a concatenation of blocks of bounded lengths in such a way that, after ignoring a set $M$ of coordinates of upper Banach density smaller than $varepsilon$, all blocks in the decomposition are ergodic. The second main result concerns subshifts whose set of ergodic measures is closed. We show that, in this case, no matter how $xinX$ is partitioned into blocks (as long as their lengths are sufficiently large and bounded), after ignoring a set $M$ of upper Banach density smaller than $varepsilon$, all blocks in the decomposition are ergodic. The first half of the paper is concluded by examples showing, among other things, that the small set $M$, in both main theorems, cannot be avoided. The second half of the paper is devoted to generalizing the two main results described above to subshifts $XsubsetLambd{a}^G$ with the action of a countable amenable group $G$. The role of long blocks is played by blocks whose domains are members of a Fo lner sequence while the decomposition of $xinX$ into blocks (of which majority is ergodic) is obtained with the help of a congruent system of tilings.

This page was built for publication: Decomposition of a symbolic element over a countable amenable group into blocks approximating ergodic measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6338205)