Decomposition of a symbolic element over a countable amenable group into blocks approximating ergodic measures (Q2102723): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Choquet simplex of invariant measures for minimal flows / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3077968 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tilings of amenable groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4370038 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pointwise theorems for amenable groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Folner's Conditions for Amenable Semi-Groups. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:07, 31 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decomposition of a symbolic element over a countable amenable group into blocks approximating ergodic measures |
scientific article |
Statements
Decomposition of a symbolic element over a countable amenable group into blocks approximating ergodic measures (English)
0 references
29 November 2022
0 references
Summary: Consider a subshift over a finite alphabet, \(X \subset {\Lambda}^{\mathbb{Z}}\) (or \(X \subset {\Lambda}^{\mathbb{N}_0})\). With each finite block \(B \in {\Lambda}^k\) appearing in \(X\) we associate the \textit{empirical measure} ascribing to every block \(C \in {\Lambda}^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 \(\mathcal{U}\) containing all ergodic measures, and we say that a block \(B\) is ``ergodic'' if \(B \in \mathcal{U}\). In this paper we prove the following main result: Given \(\varepsilon > 0\), every \(x \in X\) 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. We also prove a finitistic version of this theorem (about decomposition of long blocks), and a version about decomposition of \(x \in X\) into finite blocks of unbounded lengths. The second main result concerns subshifts whose set of ergodic measures is closed. We show that, in this case, no matter how \(x \in X\) is partitioned into blocks (as long as their lengths are sufficiently large and bounded), excluding 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 \(X \subset {\Lambda}^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 Følner sequence, while the decomposition of \(x \in X\) into blocks (of which majority are ergodic) is obtained with the help of a congruent system of tilings.
0 references
symbolic systems
0 references
ergodic decomposition
0 references
infinite concatenation
0 references
amenable group action
0 references
tilings
0 references