Monatshefte für Mathematik

, Volume 185, Issue 1, pp 61–80

Faces of simplices of invariant measures for actions of amenable groups

• Bartosz Frej
• Dawid Huczek
Open Access
Article

Abstract

We extend the result of Downarowicz (Israel J Math 165:189–210, 2008) to the case of amenable group actions, by showing that every face in the simplex of invariant measures on a zero-dimensional dynamical system with free action of an amenable group G can be modeled as the entire simplex of invariant measures on some other zero-dimensional dynamical system with free action of G. This is a continuation of our investigations from Frej and Huczek (Groups Geom Dyn 11:567–583, 2017), inspired by an earlier paper (Downarowicz in Israel J Math 156:93–110, 2006).

Keywords

Invariant measure Periodic measure Choquet simplex Amenable group Group action Symbolic system Cantor space

37A15 37B05

1 Introduction

Let X be a Cantor space i.e. a compact, metrizable, zero-dimensional perfect space, and let G be a countable amenable group acting on X via homeomorphisms $$\varphi _g, g\in G$$. Amenability of G means that there exists a sequence of finite sets $$F_n\subset G$$ (called a Følner sequence, or the sequence of Følner sets), such that for any $$g\in G$$ we have
\begin{aligned} \lim _{n\rightarrow \infty }\frac{\left| gF_n\bigtriangleup F_n\right| }{\left| F_n\right| }= 0, \end{aligned}
where $$gF=\left\{ gf:f\in F\right\}$$, $$\left| \cdot \right|$$ denotes the cardinality of a set, and $$\bigtriangleup$$ is the symmetric difference. The action of G is free if the equality $$gx=x$$ for any $$g\in G$$ and $$x\in X$$ implies that g is the neutral element of G. It is well known that one can represent the system (XG) as an inverse limit $$\lim \limits _{\longleftarrow } X_j\subset \prod _{j\in \mathbb {N}}X_j$$ where each $$X_j$$ is a group subshift on finitely many symbols i.e. a closed G-invariant subset of some $${\varLambda _j}^G$$, $$|\varLambda _j|<\infty$$, with the action of G defined by $$gx(h)=x(hg)$$. Indeed, if $$\mathcal {U}=\{U_j:j\in \mathbb {N}\}$$ is a base for topology in X consisting of clopen sets then we define $$\varLambda _i$$ to be the set of all elements of the cover of X by the sets of the form $$V_1 \cap \cdots \cap V_i$$, where either $$V_j=U_j$$ or $$V_j=U_j^c$$ for every $$1\le j\le i$$. The space $$X_i$$ is an image of X by the map $$\pi _i:X\rightarrow \varLambda _i^G$$ defined by the formula
\begin{aligned} \pi _i(x)(g)=\lambda _i \Leftrightarrow gx \in \lambda _i \end{aligned}
The inverse system whose inverse limit is conjugate to (XG) is then given by the sequence of the spaces $$X_i$$ with bonding maps defined by coordinatewise inclusions. We will often refer to this inverse limit as a so called array system—an element of X in this interpretation is a map $$x(\cdot ,\cdot )$$ on $$G\times \mathbb {N}$$, where $$x(\cdot ,j)\in X_j$$. We will call such a map an array and from now on we will assume that our system is in array representation. By an (Fk)-block we mean a map $$B:F\times [1,k]\rightarrow \bigcup _j\varLambda _j$$, where F is a finite subset of G (which will occasionally be called the shape of a block), k is a positive integer and [1, k] is an abbreviation for $$\{1, \ldots ,k\}$$. If E is a subset of the domain of a block B then by B[E] we will denote a restriction of B to E. By abuse of the notation, we will mean by |B| the cardinality of the shape of B. We will use the same letter to denote both a block and a cylinder set induced by this block—the exact meaning is always clear from the context. A block B occurs in X if B is a restriction of some $$x\in X$$.

Let K be an abstract metrizable Choquet simplex, i.e. it is a compact convex set of a locally convex metric vector space, such that for each $$v\in K$$ there is a unique Borel probability measure supported on the set of extreme points of K with barycenter in v (see [9] for an exhaustive course on the theory of Choquet simplices). Following [3] we define:

Definition 1.1

1. 1.

An assignment on K is a function $$\varPhi$$ defined on K such that for each $$p\in K$$, the value of $$\varPhi (p)$$ is a measure-preserving group action $$(X_p,\varSigma _p,\mu _p,G_p)$$, where $$(X_p,\varSigma _p,\mu _p)$$ is a standard probability space.

2. 2.

Two assignments $$\varPhi$$ on K and $$\varPhi '$$ on $$K'$$ are equivalent if there exists an affine homeomorphism $$\pi : K \rightarrow K'$$ such that $$\varPhi (p)$$ and $$\varPhi '(\pi (p))$$ are isomorphic for every $$p \in K$$.

3. 3.

If (XG) is a continuous group action on a compact metric space X then the set of all G-invariant measures supported by X, endowed with the weak* topology of measures, is a Choquet simplex, and the assignment by identity $$\varPhi (\mu ) = (X, Bor _X, \mu , G)$$ (where $$Bor _X$$ is the Borel sigma-field) is the natural assignment of (XG).

By a face of a simplex S we mean a compact convex subset of S which is a simplex itself and whose extreme points are also the extreme points of S. If K is a face of a simplex $$\mathcal {M}_G(X)$$ of all G-invariant probability measures on X then by the identity assignment on K we mean the restriction of the natural assignment on $$\mathcal {M}_G(X)$$ to K.

In the current article we aim to prove the following:

Theorem 1.2

Let X be a Cantor system with free action of an amenable group G and let K be a face in the simplex $$\mathcal {M}_G(X)$$ of G-invariant measures of X. There exists a Cantor system Y with free action of G, such that the natural assignment on Y is equivalent to the identity assignment on K.

In case of actions of $$\mathbb {Z}$$ the theorem was proved in [3] (even with weaker assumptions; see Sect. 4) and the key tool used there was approximation of an arbitrary ergodic measure by a block (periodic) measure, i.e. a measure supported on a finite orbit. Density of periodic measures in the set of all invariant measures is usually a desired property and was proved to be true in various cases, e.g. for systems with specification property (see [1]). In case of a one-dimensional subshift one can construct a periodic measure by choosing a block B occurring in a system and uniformly distributing a probability mass on the orbit of a sequence obtained by periodic repetitions of B. Such a sequence need not be an element of a subshift (and the measure need not belong to its simplex of invariant measures), still it may give a useful approximation of a measure under consideration. For actions of groups other than $$\mathbb {Z}$$ (even $$\mathbb {Z}^d$$) this procedure usually cannot be performed, roughly saying, because of irregular shapes of blocks, and the notion of a block measure seems to be obscure. We devote the next section to implementing it in our setup, but before we proceed, we recall a few facts about Følner sequences.

In any amenable group there exists a Følner sequence with the following additional properties (see [6]):
1. 1.

$$F_n\subset F_{n+1}$$ for all n,

2. 2.

$$e\in F_n$$ for all n (e denotes the neutral element of G),

3. 3.

$$\bigcup _{n\in \mathbb {N}} F_n=G$$,

4. 4.

$$F_n=F_n^{-1}$$ for all n.

Following [10] we say that a Følner sequence $$F_n$$ is tempered if for some $$C>0$$ and all n,
\begin{aligned} \left| \bigcup _{k\le n} F_k^{-1}F_{n+1}\right| \le C|F_{n+1}|. \end{aligned}

Proposition 1.3

([8]) Every Følner sequence $$F_n$$ has a tempered subsequence.

Standing assumption

Throughout this paper, we will assume that the Følner sequence which we use is tempered and has all the above properties.

We recall the pointwise ergodic theorem for amenable groups.

Theorem 1.4

([8]) Let G be an amenable group acting ergodically on a measure space $$(X, \mu )$$, and let $$F_n$$ be a tempered Følner sequence. Then for any $$f \in L^1(\mu )$$,
\begin{aligned} \lim _{n\rightarrow \infty } \frac{1}{|F_n|}\sum _{g\in F_n} f(gx) = \int f \,d\mu \qquad a.e. \end{aligned}
If F and A are finite subsets of G and $$0<\delta <1$$, we say that F is $$(A,\delta )$$ -invariant if
\begin{aligned} \frac{\left| F\bigtriangleup AF\right| }{\left| F\right| }< \delta , \end{aligned}
where $$AF=\left\{ af:a \in A,f\in F\right\}$$. Clearly, if F is $$(A,\delta )$$-invariant then it is also $$(A,\delta ')$$-invariant for all $$\delta '>\delta$$. Moreover, if F is simultaneously $$(A,\delta )$$-invariant and $$(A',\delta ')$$-invariant then F is $$(A\cup A', \delta +\delta ')$$-invariant. Observe that if A contains the neutral element of G, then $$(A,\delta )$$-invariance is equivalent to the simpler condition
\begin{aligned} \left| AF\right| < (1+\delta )\left| F\right| . \end{aligned}
It is not hard to observe that if F is $$(A,\delta )$$-invariant then
\begin{aligned} |\{f\in F: Af\cap F^c\not =\emptyset \}| < \delta |A||F| \end{aligned}
(1.1)
and, equivalently,
\begin{aligned} |\{f\in F: Af\subset F\}| > |F|(1-\delta |A|) \end{aligned}
(1.2)
If $$(F_n)$$ is a Følner sequence, then for every finite $$A \subset G$$ and every $$\delta >0$$ there exists an N such that for $$n>N$$ the sets $$F_n$$ are $$(A,\delta )$$-invariant.

Definition 1.5

For $$S\subset G$$ and a finite, nonempty $$F\subset G$$ denote
\begin{aligned} \underline{D}_F(S)=\inf _{g\in G} \frac{|S\cap Fg|}{|F|}, \ \ \ \overline{D}_F(S)=\sup _{g\in G} \frac{|S\cap Fg|}{|F|}. \end{aligned}
If $$(F_n)$$ is a Følner sequence then we define two values
\begin{aligned} \underline{D}(S)=\limsup _{n\rightarrow \infty } \underline{D}_{F_n}(S) \ \ \ \text { and } \ \ \ \overline{D}(S)=\liminf _{n\rightarrow \infty } \overline{D}_{F_n}(S), \end{aligned}
which we call the lower and upper Banach densities of S, respectively.

Note that $$\overline{D}(S) = 1- \underline{D}(G\setminus S)$$. We recall the following standard fact:

Lemma 1.6

Regardless of the set S, the values of $$\underline{D}(S)$$ and $$\overline{D}(S)$$ do not depend on the Følner sequence, the limits superior and inferior in the definition are in fact limits, and moreover
\begin{aligned} \underline{D}(S)&= \sup \{\underline{D}_F(S): F\subset G, F \text { is finite}\}\ \ \ \text { and } \\ \overline{D}(S)&= \,\inf \,\{\overline{D}_F(S): F\subset G, F \text { is finite}\}\ge \underline{D}(S). \end{aligned}

For the proof see [5], Lemma 2.9.

Lemma 1.7

Let (XG) be a Cantor system in the array representation and let $$\mu$$ be an ergodic measure on X. Denote by e the neutral element of G. Let $$\varphi : X\rightarrow X$$, $$\psi : X\rightarrow X$$ be continuous maps which commute with the action of G.

Then for $$\mu$$-almost every x then
\begin{aligned} \mu (\{x\in X: \varphi (x)(e)\not =\psi (x)(e)\}) \le \overline{D}(\{g\in G: \varphi (x)(g)\not =\psi (x)(g)\}). \end{aligned}

Proof

Denote
\begin{aligned} S(x)= & {} \{g\in G: (\varphi (x))(g)\not =(\psi (x))(g)\}\\ B= & {} \{x\in X: (\varphi (x))(e)\not =(\psi (x))(e)\} \end{aligned}
Note that $$(\varphi (x))(g)=\big (g\varphi (x)\big )(e)=\varphi (gx)(e)$$ (and similarly for $$\psi$$), so $$g\in S(x)$$ is equivalent to $$gx\in B$$. Then,
\begin{aligned} \overline{D}_{F_n}(S(x))= & {} \sup _{g\in G} \frac{|S(x) \cap F_ng|}{|F_n|} \\= & {} \,\sup _{g\in G} \frac{1}{|F_n|} \sum _{h\in F_ng} \mathbb {1}_{S(x)}(h) \ge \frac{1}{|F_n|} \sum _{h\in F_n} \mathbb {1}_{S(x)} (h) \\= & {} \, \frac{1}{|F_n|} \sum _{h\in F_n} \mathbb {1}_{B} (hx). \end{aligned}
Taking the lower limits we obtain by Theorem 1.4 that $$\overline{D}(S(x)) \ge \mu (B)$$.

2 Block measures

We will explicitly define a metric consistent with the weak* topology on the set of probability measures on X, represented as an array system. First, let $$\mathcal {B}_k$$ be the family of all blocks with domain $$F_k\times [1,k]$$, occurring in X, and let
\begin{aligned} d_k(\mu ,\nu )=\frac{1}{\left| \mathcal {B}_k\right| }\sum _{B\in \mathcal {B}_k}\left| \mu (B)-\nu (B)\right| . \end{aligned}
Now let
\begin{aligned} d(\mu ,\nu )=\sum _{k=1}^\infty \frac{1}{2^k}d_k(\mu ,\nu ). \end{aligned}
Note that we may assume that $$\mathcal {B}_k$$ consists only of blocks which yield cylinders of positive measure for some ergodic measure $$\mu$$.

Lemma 2.1

Let X be an array system and let $$(F_n)$$ be a Følner sequence. For every $$t\in \mathbb {N}$$ there exists $$\varepsilon _t>0$$ such that if $$\mu$$ and $$\nu$$ are ergodic measures and x, y satisfy:
1. 1.

$$\displaystyle \lim \nolimits _{n\rightarrow \infty }\frac{1}{|F_n|} \sum \nolimits _{g\in F_n} \mathbb {1}_B(gx) =\mu (B)$$ for all blocks on $$F_j\times [1,j]$$, where $$j\le t+1$$,

2. 2.

$$\displaystyle \lim \nolimits _{n\rightarrow \infty }\frac{1}{|F_n|} \sum \nolimits _{g\in F_n} \mathbb {1}_B(gy) =\nu (B)$$ for all blocks on $$F_j\times [1,j]$$, where $$j\le t+1$$,

3. 3.

$$\overline{D}(\{g\in G: x(g)\not =y(g)\}) < \varepsilon _t$$,

then $$d(\mu ,\nu )<\frac{1}{2^t}$$.

Proof

We put $$\varepsilon _t=\frac{1}{2^{t+2}(1+|F_{t+1}|)}$$. Let n be large enough to ensure that
1. 1.

$$\displaystyle \Big |\frac{1}{|F_n|} \sum \nolimits _{g\in F_n} \mathbb {1}_B(gx) -\mu (B)\Big |<\varepsilon _t$$ for all blocks B on $$F_j\times [1,j]$$, where $$j\le t+1$$,

2. 2.

$$\displaystyle \Big |\frac{1}{|F_n|} \sum \nolimits _{g\in F_n} \mathbb {1}_B(gy) -\nu (B)\Big |<\varepsilon _t$$ for all blocks B on $$F_j\times [1,j]$$, where $$j\le t+1$$,

3. 3.

$$\displaystyle \left| \{g\in G: x(g)\not =y(g)\}\right| < 2\varepsilon _t |F_n|$$.

Then, for B as above
\begin{aligned}&|\mu (B)-\nu (B)| \le \Big |\mu (B) -\frac{1}{|F_n|} \sum _{g\in F_n} \mathbb {1}_B(gx)\Big | \\&\qquad + \frac{1}{|F_n|} \sum _{g\in F_n} \Big |\mathbb {1}_B(gx) - \mathbb {1}_B(gy)\Big | + \Big |\frac{1}{|F_n|} \sum _{g\in F_n} \mathbb {1}_B(gy) -\nu (B)\Big |\\&\qquad< 2\varepsilon _t + \frac{1}{|F_n|} \left| \{g\in G: x(g)\not =y(g)\}\right| \cdot |F_{t+1}|\\&\qquad < 2\varepsilon _t(1+|F_{t+1}|) = \frac{1}{2^{t+1}}. \end{aligned}
Thus, for $$k\le t+1$$ we have
\begin{aligned} d_k(\mu ,\nu )=\frac{1}{\left| \mathcal {B}_k\right| }\sum _{B\in \mathcal {B}_k}\left| \mu (B)-\nu (B)\right| < \frac{1}{2^{t+1}} \end{aligned}
and
\begin{aligned} d(\mu ,\nu ) \le \sum _{k=1}^{t+1}\frac{1}{2^k}d_k(\mu ,\nu ) + \frac{1}{2^{t+1}} < \frac{1}{2^t}. \end{aligned}
$$\square$$
For the sake of convenience, we introduce a notion of “distance” between a block and a measure. Let B be a block occurring in X, with domain $$F\times [1,k]$$ for some $$F\subset G$$ and $$k\in \mathbb {N}$$. For any block C with domain $$F_j\times [1,j]$$, where $$j\le k$$, we can define the frequency of C in B in the following way: let
\begin{aligned} N_F(F_j)= & {} \left| \left\{ g\in F:F_jg\subset F\right\} \right| \\ N_B(C)= & {} \left| \left\{ g\in F: F_jg\subset F \text { and }B[F_jg\times [1,j]]=C\right\} \right| \end{aligned}
(by the equality $$B[F_jg\times [1,j]]=C$$ we understand that $$B(fg,i)=C(f,i)$$ for all $$f\in F_j$$ and $$i\in [1,j]$$).
If $$N_F(F_j)>0$$ let
\begin{aligned} \mathsf {fr}_B(C)=\frac{N_B(C)}{N_F(F_j)}. \end{aligned}
Otherwise let $$\mathsf {fr}_B(C)=0.$$

We say that A is a $$(1-\delta )$$ -subset of F if $$A\subset F$$ and $$|A| \ge (1-\delta )|F|$$. By a standard argument we can draw from the pointwise ergodic Theorem 1.4 the following corollary.

Lemma 2.2

Let $$\mu$$ be an ergodic measure on X. For every $$\varepsilon$$ and j we can find n and $$\eta$$ such that if F is a $$(1-\eta )$$-subset of $$F_m$$, $$m\ge n$$, then for some block C with domain $$F\times [1,m]$$ occurring in X we have $$\left| \mathsf {fr}_C(D)-\mu (D)\right| <\varepsilon$$ for every block D with domain $$F_i\times [1,i]$$, $$i=1,\ldots ,j$$.

Moreover, n and $$\eta$$ can be chosen so that the union of all blocks C not satisfying the approximation rule has measure smaller than $$\varepsilon$$.

Proof

Fix $$\varepsilon >0$$ and $$j\in \mathbb {N}$$. Taking in Theorem 1.4 $$f=\mathbb {1}_D$$, where D is any fixed block with domain $$F_i\times [1,i]$$, $$i=1,\ldots ,j$$, we obtain that
\begin{aligned} \lim _{n\rightarrow \infty } \frac{1}{|F_n|} \sum _{g\in F_n} \mathbb {1}_D(gx)=\mu (D) \end{aligned}
for almost every x. Since there are only finitely many blocks with such domain, we may assume that the above equality is satisfied simultaneously for all such blocks D on a subset of X having measure 1. Hence we can find n such that for every $$m\ge n$$ the inequality
\begin{aligned} \left| \frac{1}{|F_m|} \sum _{g\in F_m} \mathbb {1}_D(gx) - \mu (D)\right| < \frac{\varepsilon }{2} \end{aligned}
(2.1)
holds, for all such D, on a set of measure $$X_\varepsilon$$ at least $$1-\varepsilon$$. Pick x from this set. Additionally, increasing n we may demand that each $$F_m$$, $$m\ge n$$, is $$(F_j,\frac{\varepsilon }{4|F_j|})$$-invariant.
Fix $$m \ge n$$ and let C be a block which appears in x on the domain $$F_m$$. By (1.2),
\begin{aligned} |F_m| \ge N_{F_m}(F_i) > |F_m|\left( 1-\frac{\varepsilon }{4|F_j|}|F_i|\right) \ge |F_m|\left( 1-\frac{\varepsilon }{4}\right) . \end{aligned}
Furthermore, using (1.1)
\begin{aligned} N_C(D)= & {} \sum _{\{g\in F_m:F_ig\subset F_m\}} \mathbb {1}_D(gx) \\\le & {} \sum _{g\in F_m} \mathbb {1}_D(gx) \le N_C(D) + |\{g\in F_m: F_ig\cap F_m^c\not =\emptyset \}| \\\le & {} N_C(D) + \frac{\varepsilon }{4|F_j|}|F_i| |F_m| \le N_C(D) + \frac{\varepsilon }{4} |F_m|. \end{aligned}
Hence,
\begin{aligned} \frac{N_C(D)}{N_{F_m}(F_i)} (1-\frac{\varepsilon }{4}) \le \frac{1}{|F_m|} \sum _{g\in F_m} \mathbb {1}_D(gx) \le \frac{N_C(D)+\frac{\varepsilon }{4} |F_m|}{|F_m|} \end{aligned}
implying that
\begin{aligned} \mathsf {fr}_C(D)-\frac{\varepsilon }{4} \le \frac{1}{|F_m|} \sum _{g\in F_m} \mathbb {1}_D(gx) \le \mathsf {fr}_C(D)+\frac{\varepsilon }{4}. \end{aligned}
Combining it with (2.1) we obtain $$\left| \mathsf {fr}_C(D)-\mu (D)\right| <\frac{3\varepsilon }{4}$$ for blocks C having domain exactly equal to $$F_m\times [1,m]$$.
Now suppose that F is a $$(1-\eta )$$-subset of $$F_m$$ and that C is a block which appears in x on the domain F, while $$C'$$ is x restricted to $$F_m$$.
\begin{aligned} \frac{N_{C'}(D)-\eta |F_m|}{N_{F_m}(F_i)} \le \frac{N_C(D)}{N_F(F_i)} \le \frac{N_{C'}(D)}{N_{F_m}(F_i)-\eta |F_m|} \end{aligned}
The left hand is greater than
\begin{aligned} \frac{N_{C'}(D)-\eta \frac{N_{F_m}(F_i)}{1-\varepsilon /4}}{N_{F_m}(F_i)} \ge \mathsf {fr}_{C'}(D) - \frac{\eta }{1-\varepsilon /4} \end{aligned}
while the right hand is bounded from above by
\begin{aligned} \frac{N_{C'}(D)}{N_{F_m}(F_i)-\eta \frac{N_{F_m}(F_i)}{1-\varepsilon /4}} \le \mathsf {fr}_{C'}(D) + \frac{\eta }{1-\varepsilon /4-\eta }. \end{aligned}
Hence
\begin{aligned} \left| \mathsf {fr}_{C'}(D)-\mathsf {fr}_{C}(D)\right| < \frac{\eta }{1-\varepsilon /4-\eta } \end{aligned}
which can be made smaller than $$\frac{\varepsilon }{4}$$ by choosing apprioprately small $$\eta$$, irrespective of m, C and D.

Finally, note that if $$\left| \mathsf {fr}_{C}(D)-\mu (D)\right| < \varepsilon$$ is not true for some D as above and $$C=x[F]$$, F being a $$(1-\eta$$-subset of $$F_m$$, $$m\ge n$$, then x is not in $$X_\varepsilon$$, as defined by 2.1, which means that the union of all C for which the approximation fails is less than $$\varepsilon$$. $$\square$$

We can now define the distance between a block and a measure: let
\begin{aligned} d_k(B,\nu )=\frac{1}{\left| \mathcal {B}_k\right| }\sum _{D\in \mathcal {B}_k}\left| \mathsf {fr}_B(D)-\nu (D)\right| , \end{aligned}
and let
\begin{aligned} d(B,\nu )=\sum _{k=1}^\infty \frac{1}{2^k}d_k(B,\nu ). \end{aligned}

Remark 2.3

Let $$\varepsilon$$ be a positive number. To ensure that $$d(B,\nu )<\varepsilon$$ it is enough to verify that if j satisfies $$\sum _{k=j+1}^\infty \frac{1}{2^k}<\frac{\varepsilon }{2}$$ then for any block $$D\in \mathcal {B}_i$$, where $$i=1, \ldots ,j$$,
\begin{aligned} \left| \mathsf {fr}_B(D)-\nu (D)\right| <\frac{\varepsilon }{2j}. \end{aligned}
Indeed, in this case we have $$d_k(B,\nu )<\frac{\varepsilon }{2j}$$ and
\begin{aligned} d(B,\nu )= & {} \sum _{k=1}^j\frac{1}{2^k} d_k(B,\nu )+\sum _{k=j+1}^\infty \frac{1}{2^k}d_k(B,\nu )\\< & {} \sum _{k=1}^j\frac{\varepsilon }{2j}+\sum _{k=j+1}^\infty \frac{1}{2^k}<\varepsilon . \end{aligned}

Lemma 2.4

For any $$\varepsilon >0$$ and any positive integer j there exists $$\delta$$ such that if F is an $$(F_j,\delta )$$-invariant set and B is a block with domain $$F\times [1,j]$$, then there exists a probability measure $$\mu _B$$ such that
\begin{aligned} \left| \mathsf {fr}_B(D)-\mu _B(D)\right| <\frac{\varepsilon }{2j} \end{aligned}
for any block $$D\in \mathcal {B}_i$$, where $$i=1,\ldots ,j$$.

Consequently, for any $$\varepsilon >0$$ and sufficiently large j there exists $$\delta$$ such that if F is an $$(F_j,\delta )$$-invariant set and B is a block with domain $$F\times [1,j]$$, then there exists a probability measure $$\mu _B$$ such that $$d(B,\mu _B)<\varepsilon$$.

Proof

Let us first observe that the second assertion follows from the first by Remark 2.3. Therefore, it suffices to prove the first statement.

Let $$\varDelta _j=\varLambda _1\times \cdots \times \varLambda _j$$. The full shift $$\varDelta _j^G$$ is a Cantor set on which we have the uniform Bernoulli probability measure $$\lambda$$ which assigns equal measures $$M_j$$ to all cylinders with domain $$F_j\times [1,j]$$. We shall define $$\mu _B$$ by specifying its density $$f_B$$ with respect to $$\lambda$$. $$f_B$$ will be constant on cylinders with domain $$F_j\times [1,j]$$: on each such cylinder associated with a block C let $$f_B(x)=\frac{1}{M_j}\mathsf {fr}_B(C)$$. Obviously $$d_j(\mu _B,B)=0$$.

We will now estimate $$d_i(\mu _B,B)$$ for $$i<j$$. Let D be any block from $$\mathcal {B}_i$$. Let $$\mathcal {C}_j$$ be the family of (distinct) blocks from $$\mathcal {B}_j$$ such that $$D=\bigcup _{C\in \mathcal {C}_j}C$$. We have:
\begin{aligned} \mu _B(D)=\sum _{C\in \mathcal {C}_j}\mu _B(C)=\sum _{C\in \mathcal {C}_j}\mathsf {fr}_B(C), \end{aligned}
and we need to show that the latter quantity is close to $$\mathsf {fr}_B(D)$$. Since F is $$(F_j,\delta )$$-invariant, the set $$\left\{ g:F_jg\subset F\right\}$$ is a $$(1-\delta \left| F_j\right| )$$-subset of F by (1.2) (note that $$\left\{ g:F_jg\subset F\right\}$$ is indeed a subset of F, because $$F_j$$ contains the neutral element). Consequently, the set $$\left\{ g:F_ig\subset F\right\}$$ also is a $$(1-\delta \left| F_j\right| )$$-subset of F, being a superset of the former. For $$C\in \mathcal {C}_j$$, let $$F_C$$ be the set of g such that $$F_jg\subset F$$, $$B[F_jg\times [1,j]]=C$$ (and automatically $$B[F_ig\times [1,i]]=D$$). That way we can represent $$\left\{ g:F_ig\subset F,B[F_ig\times [1,i]]=D\right\}$$ as the following disjoint sum:
\begin{aligned}&\left\{ g:F_ig\subset F,\ B[F_ig\times [1,i]]=D\right\} \\&\quad =\bigcup _{C\in \mathcal {C}_j}F_C \cup \left\{ g:F_ig\subset F,\ F_jg\cap F^c\not =\emptyset ,\ B[F_ig\times [1,i]]=D\right\} . \end{aligned}
Taking cardinalities and dividing by $$N_F(F_i)$$, we obtain
\begin{aligned} \mathsf {fr}_B(D)= & {} \sum _{C\in \mathcal {C}_j}\frac{N_F(F_j)}{N_F(F_i)}\mathsf {fr}_B(C)\\&+\frac{1}{N_F(F_i)} \left| \left\{ g:F_ig\subset F,\ F_jg\cap F^c\not =\emptyset ,\ B[F_ig\times [1,i]]=D\right\} \right| \end{aligned}
Since both $$F_j$$ and $$F_i$$ are $$(1-\delta \left| F_j\right| )$$-subsets of F, we have $$\frac{N_F(F_j)}{N_F(F_i)}\ge 1-\delta \left| F_j\right|$$ and
\begin{aligned}&\frac{1}{N_F(F_i)} \left| \left\{ g:F_ig\subset F,F_jg\cap F^c\not =\emptyset ,\ B[F_ig\times [1,i]]=D\right\} \right| \\&\quad \le \frac{1}{N_F(F_i)} \left| \left\{ g\in F:F_jg\cap F^c\not =\emptyset \right\} \right| \\&\quad \le \frac{\delta \left| F_j\right| |F|}{(1-\delta \left| F_j\right| )|F|} = \frac{\delta \left| F_j\right| }{1-\delta \left| F_j\right| }. \end{aligned}
If $$\delta$$ is small enough then the expression can be arbitrarily close to 0, while $$\frac{N_F(F_j)}{N_F(F_i)}$$ can be arbitrarily close to 1, so we can assume that
\begin{aligned} \left| \mathsf {fr}_B(D)-\mu _B(D)\right| =\left| \mathsf {fr}_B(D)-\sum _{C\in \mathcal {C}_j}\mathsf {fr}_B(C_j)\right| <\frac{\varepsilon }{2j}. \end{aligned}
$$\square$$

Note that in the above lemma $$\delta$$ may be as small as we want.

Corollary 2.5

Let X be a zero-dimensional dynamical system with the action of an amenable group G and let $$\mu$$ be an ergodic measure on X. For any $$\varepsilon >0$$ and any sufficiently large j there exists $$\delta >0$$ such that if F is a $$(1-\delta )$$-subset of $$F_m$$, where m is so large that F is $$(F_j,\delta )$$-invariant, then there is a block C occurring in X, whose domain is F such that the measure $$\mu _C$$ (as defined in Lemma 2.4) satisfies $$d(\mu _C,\mu )<\varepsilon$$.

Proof

Choose $$\delta$$ and j from Lemma 2.4 with $$\frac{\varepsilon }{2}$$ replacing $$\varepsilon$$. Assume also that $$\sum _{k=j+1}^\infty \frac{1}{2^k}<\frac{\varepsilon }{4}$$. By Lemma 2.2, we can find a block C on a $$(F_j,\delta )$$-invariant domain F, such that $$\left| \mathsf {fr}_C(D)-\mu (D)\right| <\frac{\varepsilon }{4j}$$ for any block D with domain $$F_i\times [1,i]$$, $$i=1,\ldots ,j$$. By Remark 2.3 we see that $$d(C,\mu )<\frac{\varepsilon }{2}$$, and directly from Lemma 2.4 also $$d(C,\mu _C)<\frac{\varepsilon }{2}$$, therefore $$d(\mu _C,\mu )<\varepsilon$$. $$\square$$

For actions of $$\mathbb {Z}$$, it is a well-known fact that if a sufficiently long block C is a concatenation of shorter blocks $$B_1,B_2,\ldots ,B_n$$ of equal length, then the probability measure $$\mu _C$$ (which for actions of $$\mathbb {Z}$$ can easily be assumed to be shift invariant) can be arbitrarily close to the arithmetic average of the measures $$\mu _{B_i}$$. An analogous claim can be made for the action of any amenable group G; however the lack of a natural way to decompose a subset of G into smaller sets requires the use of quasitilings.

Definition 2.6

A (static) quasitaling of a group G is a family $$\mathcal {T}$$ of finite subsets of G (called tiles), for which there exist a family $$\mathcal {S}(\mathcal {T})=\left\{ S_1,S_2,\ldots ,S_n\right\}$$ of finite subsets of G (called shapes) and a family $$\mathcal {C}(\mathcal {T})=\left\{ C_1,C_2,\ldots ,C_n\right\}$$ of subsets of G (called centers), such that every $$T\in \mathcal {T}$$ has a unique representation $$T=S_ic$$ for some $$i\in \left\{ 1,\ldots ,n\right\}$$ and $$c\in C_i$$.

Note that every quasitiling can be seen as a symbolic element $$\mathcal {T}\in \left\{ 0,1,\ldots ,n\right\} ^G$$, such that $$\mathcal {T}(g)=i$$ if $$g\in C_i$$ for some i, and $$\mathcal {T}(g)=0$$ otherwise.

Definition 2.7

A quasitiling $$\mathcal {T}$$ is:
1. 1.

disjoint, if the tiles are pairwise disjoint;

2. 2.

$$\alpha$$ -covering, if the union of all tiles has lower Banach density at least $$\alpha$$.

3. 3.

congruent with a quasitiling $$\mathcal {T}'$$, if for any two tiles $$T\in \mathcal {T},T'\in \mathcal {T}'$$ we have either $$T\supset T'$$ or $$T\cap T'=\emptyset$$.

Any (Tk)-block whose shape T belongs to a quasitiling $$\mathcal {T}$$ will be called a $$(\mathcal {T},k)$$ -block.

Let (XG) be a topological dynamical system. Suppose we assign to every $$x\in X$$ a quasitiling $$\mathcal {T}(x)$$ of G, with the same set of shapes $$S_1,\ldots ,S_n$$ for all x. This induces a map $$x\mapsto \mathcal {T}(x)$$ which can be seen as a map from (XG) into $$\left\{ 0,1,\ldots ,n\right\} ^G$$ with the shift action. If such a map is a factor map (i.e. if it is continuous and commutes with the dynamics), we call it a dynamical quasitiling. A dynamical quastiling is said to be disjoint and/or $$\alpha$$-covering, if $$\mathcal {T}(x)$$ has the respective property for every x. Note that though the set of shapes is common, the collection of centers depends on x so $$C_i(x)$$ become functions assigning to each x a subset of G. We introduce the following new definition.

Definition 2.8

We will say that a dynamical quasitiling $$\mathcal {T}$$ consisting of shapes $$\mathcal {S}(\mathcal {T})=\left\{ S_1,S_2,\ldots ,S_n\right\}$$ and centers $$\mathcal {C}(\mathcal {T})=\left\{ C_1,C_2,\ldots ,C_n\right\}$$ has restricted block distribution if for every $$x\in X$$ any (Tk)-block B which occurs in x on some domain $$S_ic$$ may occur in x only on domains of this form for $$c\in C_i(x)$$.

Remark 2.9

Clearly, if $$\mathcal {T}$$ has restricted block distribution then for any block D occuring in x on some domain $$S_ic_0$$ and any B being a block occuring in x on a (disjoint) union F of tiles we have
\begin{aligned} \mathsf {fr}_B(D)=\frac{1}{N_F(S)}|\{c\in C_i(x)\cap F: x(S_ic)=D\}|. \end{aligned}

Lemma 2.10

For any $$\varepsilon >0$$ there exist $$j\in \mathbb {N}$$ and $$\delta >0$$ such that if $$\mathcal {T}$$ is a disjoint quasitiling by $$(F_j,\delta )$$-invariant sets, and C is a block with domain $$H\times [1,j]$$ such that some disjoint union of tiles $$T_1,T_2,\ldots ,T_n$$ of $$\mathcal {T}$$ is a $$(1-\delta )$$-subset of H, then the probability measure $$\mu _C$$ is $$\varepsilon$$-close to the average of the measures associated with blocks over individual tiles, i.e. if we denote by $$B_i$$ the block with domain $$T_i\times [1,j]$$,
\begin{aligned} d\left( \mu _C,\frac{1}{\sum _{i=1}^n\left| T_i\right| }\sum _{i=1}^n \left| T_i\right| \mu _{B_i} \right) <\varepsilon . \end{aligned}

Proof

Applying Lemma 2.4, for any j there is $$\delta _j$$ such that for any block B with domain $$F\times [1,j]$$, where F is a $$(F_j,\delta _j)$$-invariant set, and for any block D with domain $$F_i\times [1,i]$$, $$i\le j$$, we have $$\left| \mathsf {fr}_B(D)-\mu _B(D)\right| <\frac{\varepsilon }{8j}$$. Let H be a subset of G and let $$\mathcal {T}$$ be a quasitiling of G by $$(F_j,\delta )$$-invariant sets for some $$\delta > 0$$. Suppose that the union $$\bigcup _{i=1}^n T_i$$ is a $$(1-\delta )$$-subset of H for some pairwise disjoint tiles $$T_1,T_2,\ldots ,T_n$$ belonging to $$\mathcal {T}$$. For every $$k\le j$$ let us define the set
\begin{aligned} E_k=\left\{ h\in H: \forall i\ F_kh\cap T_i^c \not =\emptyset \right\} \end{aligned}
Then
\begin{aligned} |E_k|\le & {} \sum _{i=1}^n |\left\{ h\in T_i: \forall i\ F_kh\cap T_i^c \not =\emptyset \right\} | + |H\setminus \bigcup _{i=1}^n T_i|\\\le & {} \sum _{i=1}^n \delta |F_k||T_i| + \delta |H| \le \delta |H|(|F_k|+1), \end{aligned}
hence $$N_H(F_k) \ge |H|-|E_k| \ge |H|(1-\delta (1+|F_k|))$$. Clearly, we can demand that $$\delta <\delta _j$$ (further restrictions will follow). Note that since each $$T\in \mathcal {T}$$ is $$(F_j,\delta )$$-invariant, for any block B whose domain is a tile of $$\mathcal {T}$$ the measure $$\mu _B$$ is well-defined.
Now, let C be a block with domain $$H\times [1,j]$$, where H is $$(1-\delta )$$-tiled by $$T_1, \ldots ,T_n$$, and let $$C[T_i]=B_i$$. For any $$k\le j$$ and for any block D with domain $$F_k\times [1,k]$$ we have:
\begin{aligned} N_C(D)=\sum _{i=1}^nN_{B_i}(D)+N_{E_k}(D) \end{aligned}
Therefore, using the traingle inequality,
\begin{aligned}&\left| \mathsf {fr}_C(D) - \frac{1}{\sum _{i=1}^n\left| T_i\right| }\sum _{i=1}^n\mathsf {fr}_{B_i}(D)\left| T_i\right| \right| \\&\quad =\left| \frac{\sum _{i=1}^nN_{B_i}(D)+N_{E_k}(D)}{N_H(F_k)} - \frac{1}{\sum _{i=1}^n\left| T_i\right| }\sum _{i=1}^n\mathsf {fr}_{B_i}(D)\left| T_i\right| \right| \\&\quad \le \frac{N_{E_k}(D)}{N_H(F_k)} + \sum _{i=1}^nN_{B_i}(D)\cdot \left| \frac{1}{N_H(F_k)} - \frac{1}{\sum _{i=1}^n\left| T_i\right| }\right| \\&\qquad + \frac{1}{\sum _{i=1}^n\left| T_i\right| }\cdot \sum _{i=1}^n \left( N_{B_i}(D)\left| 1 - \frac{\left| T_i\right| }{N_{T_i}(F_k)}\right| \right) \end{aligned}
We can estimate that $$\frac{N_{E_k}(D)}{N_H(F_k)} < \delta (|F_k|+1)$$, $$\left| 1 - \frac{\left| T_i\right| }{N_{T_i}(F_k)}\right| \le \frac{\delta |F_k|}{1-\delta |F_k|}$$ and $$\left| \frac{1}{N_H(F_k)} - \frac{1}{\sum _{i=1}^n\left| T_i\right| }\right| \le \frac{1}{N_H(F_k)}\frac{\delta (|F_k|+2)}{1-\delta }$$, so the whole expression can be made smaller than $$\frac{\varepsilon }{8j}$$ by appropriate choice of a small $$\delta$$.
Now, for every $$B_i$$ we have $$\mathsf {fr}_{B_i}(D)$$ is approximately equal to $$\mu _{B_i}(D)$$ with error $$\frac{\varepsilon }{8j}$$, and this approximation is preserved by the weighted average we have obtained, therefore
\begin{aligned} \left| \mathsf {fr}_C(D)-\frac{1}{\sum _{i=1}^n\left| T_i\right| }\sum _{i=1}^n\left| T_i\right| \mu _{B_i}(D)\right| < \frac{\varepsilon }{4j} \end{aligned}
If j is sufficiently large, Remark 2.3 implies that
\begin{aligned} d\left( C,\frac{1}{\sum _{i=1}^n\left| T_i\right| }\sum _{i=1}^n\left| T_i\right| \mu _{B_i}\right) <\frac{\varepsilon }{2}, \end{aligned}
and since $$d(C,\mu _C)<\frac{\varepsilon }{2}$$, we also have
\begin{aligned} d\left( \mu _C,\frac{1}{\sum _{i=1}^n\left| T_i\right| }\sum _{i=1}^n\left| T_i\right| \mu _{B_i}\right) <\varepsilon . \end{aligned}
$$\square$$

Remark 2.11

In the above lemma, we can increase j and decrease $$\delta$$ without spoiling the approximation error $$\varepsilon$$, because if $$j'\ge j$$ and $$\delta '\le \delta$$ then $$(F_{j'},\delta ')$$-invariant set is also $$(F_{j},\delta )$$-invariant and a $$(1-\delta ')$$-subset of any H is a $$(1-\delta )$$-subset of H.

The next two lemmas concerning the existence of quasitilings were proved in [4].

Lemma 2.12

([4], Corollary 3.5) Let G be an amenable group acting freely on a zero-dimensional metric space X. For any $$\varepsilon >0$$, any finite $$K\subset G$$ and any $$\delta >0$$ there exists a disjoint, $$(1-\varepsilon )$$-covering dynamical quasitiling $$\mathcal {T}$$ such that every shape of $$\mathcal {T}$$ is $$(K,\delta )$$-invariant.

Lemma 2.13

([4], Lemma 3.6) Let G be an amenable group acting freely on a zero-dimensional metric space X and let $$\mathcal {T}_0$$ be any disjoint, dynamical quasitiling of G. For any $$\varepsilon >0$$, any finite $$K\subset G$$ and any $$\delta >0$$ there exists a disjoint, $$(1-\varepsilon )$$-covering dynamical quasitiling $$\mathcal {T}_1$$ such that every shape of $$\mathcal {T}_1$$ is $$(K,\delta )$$-invariant, and every tile of $$\mathcal {T}_0$$ is either a subset of some tile of $$\mathcal {T}_1$$ or is disjoint from all such tiles.

The following lemma is analogous to the case of classical one-dimensional subshifts.

Lemma 2.14

For every $$\varepsilon >0$$ there exist J and $$\delta$$ such that if for some $$j>J$$ the set F is a $$(F_j,\delta )$$-invariant and B is a (Fj)-block, then $$d(B,\mathcal {M}_G(X))<\varepsilon$$ and $$d(\mu _B,\mathcal {M}_G(X))<\varepsilon$$.

Proof

We will prove the assertion in the language of blocks, i.e. we will show that $$d(B,\mathcal {M}_G(X))<\varepsilon$$. The assertion for measures will follow from Corollary 2.5.

Suppose that there is $$\varepsilon >0$$ such that for every J and $$\delta$$ there exists an integer $$j>J$$ and a (Fj)-block $$B_{J,\delta }$$ on domain $$D_{J,\delta }\times [1,j]$$, which is $$(F_j,\delta )$$-invariant and $$d(B_{J,\delta },\mathcal {M}_G(X))\ge \varepsilon$$. For $$\frac{\varepsilon }{2}$$ and every J we choose $$\delta =\delta _J$$ via Lemma 2.4 with the additional requirement that $$\delta _J |F_j|<\frac{\varepsilon }{J}$$. We denote $$B_J=B_{J,\delta _J}$$ and $$D_J=D_{J,\delta _J}$$. Let $$\mu$$ be a limit point of the sequence $$\mu _{B_J}$$. Clearly, $$d(\mu ,\mathcal {M}_G(X))\ge \varepsilon /2$$.

We will obtain a contradiction by showing that $$\mu$$ is G-invariant. It suffices to prove that $$\mu (C)=\mu (g(C))$$ for every $$(F_i,i)$$-block C and every $$g\in G$$, where
\begin{aligned} g(C)= \{gx: x[F_i \times [1,i]] = C\} = \{x: x[F_ig^{-1}\times [1,i]] = C\} \end{aligned}
Fix $$\gamma >0$$, $$g\in G$$ and a cylinder set C on $$F_i\times [1,i]$$. Let J be large enough to ensure that
1. 1.

$$|\mu (C)-\mu _{B_J}(C)| + |\mu (g(C))-\mu _{B_J}(g(C))| < \frac{\gamma }{3}$$ (note that C is clopen),

2. 2.

$$\frac{\varepsilon }{J} < \frac{\gamma }{6}$$,

3. 3.

The domain $$D_J$$ is $$(F_j, \delta _J)$$-invariant, $$j\ge J$$, where $$F_j\supset F_i\cup F_ig^{-1}\cup \{g\}$$.

Then,
\begin{aligned} |\mu (C)-\mu (gC)|\le & {} |\mu (C)-\mu _{B_J}(C)| + |\mu _{B_J}(C)-\mathsf {fr}_{B_J}(C)|\\&+\,|\mathsf {fr}_{B_J}(C)-\mathsf {fr}_{B_J}(g(C))|\\&+ \,|\mathsf {fr}_{B_J}(g(C))-\mu _{B_J}(g(C))| + |\mu _{B_J}(g(C))-\mu (g(C))| \end{aligned}
The first condition guarantees that the sum of the first and the last terms are less than $$\frac{\gamma }{3}$$. The choice of $$B_J$$ was made with use of Lemma 2.4, so both the second and the fourth summands are smaller than $$\frac{\varepsilon }{4j}$$. By the second requirement above, their sum is again less than $$\frac{\gamma }{3}$$. We only need to show that the middle term is bounded by $$\frac{\gamma }{3}$$.
Since $$D_J$$ is $$(F_j,\delta _J)$$-invariant, it is also $$(F_i,\delta _J)$$-invariant and $$(F_ig^{-1},\delta _J)$$-invariant, which implies that
\begin{aligned}&(1-\delta _J|F_i|)|D_J|\le N_{D_J}(F_i) \le |D_J|\\&\quad (1-\delta _J|F_i|)|D_J|\le N_{D_J}(F_ig^{-1}) \le |D_J|. \end{aligned}
In particular,
\begin{aligned} |N_{D_J}(F_ig^{-1})-N_{D_J}(F_i)| \le \delta _J|F_i||D_J|. \end{aligned}
Note also that $$B_J[F_ih\times [1,i]]=C$$ if and only if $$B_J[(F_ig^{-1})(gh)\times [1,i]]=C$$. Thus, an occurrence of C in $$B_J$$ ‘at position h’ yields the occurrence of g(C) in $$B_J$$ ‘at gh’, if only $$gh\in D_J$$. By a similar argument, occurrences of g(C) force occurrences of C. The number of pairs (hgh) such that only one of these elements belongs to $$D_J$$ is smaller than $$\delta _J|F_j||D_J|$$, so
\begin{aligned} |N_{B_J}(C)-N_{B_J}(g(C))| < \delta _J|F_j||D_J| \le \delta _J|F_j|\frac{N_{D_J}(F_i)}{1-\delta _J|F_i|} \end{aligned}
Hence
\begin{aligned} |\mathsf {fr}_{B_J}(C)-\frac{N_{B_J}(g(C))}{N_{D_J}(F_i)}| \le \frac{\varepsilon /J}{1-\varepsilon /J} < \frac{\gamma }{6} \end{aligned}
On the other hand,
\begin{aligned} |\frac{N_{B_J}(g(C))}{N_{D_J}(F_i)} - \mathsf {fr}_{B_J}(g(C))|\le & {} N_{B_J}(g(C))\cdot \frac{|N_{D_J}(F_ig^{-1})-N_{D_J}(F_i)|}{N_{D_J}(F_i)N_{D_J}(F_ig^{-1})} \\\le & {} \frac{\delta _J|F_i|}{1-\delta |F_i|}\le \frac{\varepsilon /J}{1-\varepsilon /J} < \frac{\gamma }{6}, \end{aligned}
which ends the proof. $$\square$$

Finally, we prove our last tool.

Lemma 2.15

Let X be a zero-dimensional dynamical system (in array form) with the shift action of an amenable group G, and let K be a face in the simplex $$\mathcal {M}_G(X)$$. For any $$\delta >0$$ and $$\varepsilon >0$$ there exist $$\eta$$ and j such that if $$\mathcal {T}$$ is a disjoint, $$(1-\eta )$$-covering dynamical quasitiling by $$(F_j,\eta )$$-invariant sets, which has restricted block distribution and $$\mathcal {B}$$ denotes the family of all $$(\mathcal {T},j)$$-blocks B such that $$d(B,K)>\delta$$, then $$\sum _{B\in \mathcal {B}}\mu (B)\left| B\right| \le \varepsilon$$ for every $$\mu \in K$$ (by convention, the sum over the empty set is equal to zero).

Proof

Fix $$\delta > 0$$ and $$\varepsilon > 0$$. Let $$\mathfrak {F}$$ denote the (closed) complement of the open $$\delta /2$$-ball around K in $$\mathcal {M}(X)$$ (note that we use here the space of all probability measures, not the space of invariant measures). Obviously, $$\{\mu _B:B\in \mathcal {B}\}\subset \mathfrak {F}$$ for sufficiently large j. For every $$\alpha$$, consider the set $$V_\alpha \subset \mathcal {M}(X)$$ consisting of measures $$\mu$$ with the following property: if $$\mu =\int _{\mathcal {M}(X)}\nu d\xi$$, and $$\xi$$ is supported by the closed $$\alpha$$-neighborhood of $$\mathcal {M}_G(X)$$, then $$\xi (\mathfrak {F})<\varepsilon$$.

Claim 1 $$V_\alpha$$ is an open set.

We will prove that its complement $$V_\alpha ^c$$ is closed. Let $$\mu$$ be the weak* limit of a sequence $$\mu _k$$ of elements of $$V_\alpha ^c$$. Then $$\mu _k=\int _{\mathcal {M}(X)} \nu d\xi _k$$ for some $$\xi _k$$ supported by the closed $$\alpha$$-neighborhood of $$\mathcal {M}_G(X)$$ with $$\xi _k(\mathfrak {F})\ge \varepsilon$$. The sequence $$\xi _k$$ has a subsequence which converges in the weak* topology to some measure $$\xi$$—let us assume that $$\xi _k$$ itself is already convergent. By the portmanteau lemma, $$\xi (\mathfrak {F}) \ge \lim _{k\rightarrow \infty } \xi _k(\mathfrak {F})\ge \varepsilon$$. By the same lemma, $$\xi$$ assigns to the closed $$\alpha$$-neighborhood of $$\mathcal {M}_G(X)$$ the value 1, so it is supported by this neighborhood.

The only thing left to show is the equality $$\mu =\int _{\mathcal {M}(X)} \nu d\xi$$. For any function $$f\in C(X)$$ the map $$\nu \mapsto \nu (f)=\int fd\nu$$ is a real continuous map of $$\mathcal {M}(X)$$. Therefore, by the definition of weak* convergence (used both in spaces $$\mathcal {M}(X)$$ and $$\mathcal {M}(\mathcal {M}(X))$$),
\begin{aligned} \mu (f)=\lim _{k\rightarrow \infty } \mu _k(f) = \lim _{k\rightarrow \infty } \int _{\mathcal {M}(X)} \nu (f) d\xi _k = \int _{\mathcal {M}(X)} \nu (f) d\xi , \end{aligned}
which is the desired equality.

Claim 2 If $$\alpha$$ is small enough then $$V_\alpha$$ contains K.

If not then letting $$\alpha$$ tend to 0, we could find a measure in K that is a barycenter of a distribution $$\xi$$ on $$\mathcal {M}_G(X)$$ with $$\xi (\mathfrak {F})\ge \varepsilon$$. This is not possible.

Returning to the main proof, let $$\gamma$$ be small enough that the open $$\gamma$$-neighborhood of K is contained in $$V_\alpha$$. Using Lemma 2.10 choose $$\eta$$ and j to obtain the the error of approximation equal $$\gamma /2$$ for any $$(F_j,\eta )$$-quasitiling (i.e. in the lemma $$\gamma /2$$ and $$\eta$$ play the role of $$\varepsilon$$ and $$\delta$$, respectively). Let $$\mathcal {T}$$ be such a quasitiling. By Lemma 2.14 and Remark 2.11, making j large enough, we can also assume that every block with domain $$S\times [1,j]$$ (where S is a shape of $$\mathcal {T}$$) that occurs in X lies in the $$\alpha$$-neighborhood of the set of invariant measures on X. Note that the union $$\bigcup \mathcal {B}$$ of the collection of all elements of $$\mathcal {B}$$ (as defined in the statement of the lemma) is clopen, and thus the function $$\mu \mapsto \mu (\bigcup \mathcal {B})$$ is continuous on the set $$\mathcal {M}(X)$$. Suppose that $$\mu$$ is an ergodic measure in K such that $$\sum _{B\in \mathcal {B}}\mu (B)\left| B\right| >\varepsilon$$. The function $$\nu \mapsto \sum _{B\in \mathcal {B}}\nu (B)\left| B\right|$$ is continuous, therefore if $$\nu$$ is close enough to $$\mu$$, then $$\sum _{B\in \mathcal {B}}\nu (B)\left| B\right| >\varepsilon$$. In particular, by Corollary 2.5 we can find a block C occurring in X, such that $$d(\mu _C,\mu )<\frac{\gamma }{2}$$, and $$\sum _{B\in \mathcal {B}}\mu _C(B)\left| B\right| >\varepsilon$$. By Lemma 2.4 we can demand that $$\mathsf {fr}_C{B}$$ approximates each $$B\in \mathcal {B}$$ so well that also $$\sum _{B\in \mathcal {B}}\mathsf {fr}_C(B)\left| B\right| >\varepsilon$$. Note that by the restricted block distribution, for elements B of the tiling $$\mathsf {fr}_C(B)$$ is derived by calculating only the appropriate elements of the tiling of C. We can also assume that the union of tiles of $$\mathcal {T}$$ contained in the domain of C is a $$(1-\eta )$$-subset of C. By Lemma 2.10, $$\mu _C$$ is closer than $$\frac{\gamma }{2}$$ to $$\nu =\frac{1}{\sum _{i=1}^n\left| B_i\right| }\sum _{i=1}^n \left| B_i\right| \mu _{B_i}$$, where $$B_1, \ldots ,B_n$$ are all $$(\mathcal {T},j)$$-blocks occurring in C as elements of the tiling. For all i such that $$B_i\in \mathcal {B}$$, we have $$\delta _{\mu _{B_i}}(\mathfrak {F})=1$$, so for $$\xi =\frac{1}{\sum _{i=1}^n\left| B_i\right| }\sum _{i=1}^n\left| B_i\right| \delta _{\mu _{B_i}}$$ we have
\begin{aligned} \xi (\mathfrak {F})\ge \frac{1}{\sum _{i=1}^n\left| B_i\right| }\sum _{i=1}^n\left| B_i\right| \mathbb {1}_{\mathcal {B}}(B_i) \ge \sum _{B\in \mathcal {B}}\left| B\right| \mathsf {fr}_C(B)>\varepsilon . \end{aligned}
Since $$\nu$$ is in $$V_\alpha$$ (where such a decomposition should not exist), this is a contradiction. $$\square$$

3 Proof of the main result

Proof

(Proof of Theorem 1.2) Let K be a face in $$\mathcal {M}_G(X)$$. Recall that X is represented as an array system, i.e. it is a subset of $$Z=\prod _{j\in \mathbb {N}}{\varLambda _j}^G$$, where $$|\varLambda _j|<\infty$$. For every $$t\in \mathbb {N}$$ we choose $$\varepsilon _t$$ so that the sequence is summable and that $$2\varepsilon _t$$ satisfies the hypotheses of Lemma 2.1.

By Lemma 2.12, we can construct a sequence $$\mathcal {T}_t$$ of disjoint, $$(1-\frac{1}{t})$$-covering, dynamical tilings of X, whose shapes are all $$(F_t,\frac{1}{t})$$-invariant subsets of G. Moreover, by Lemma 2.13 we can assume that every tile of $$\mathcal {T}_{t-1}$$ is either a subset of some tile of $$\mathcal {T}_{t}$$ or is entirely disjoint from all such tiles.

Having fixed the sequence $$\mathcal {T}_t$$ we slightly change the array representation of X. We extend each alphabet $$\varLambda _j$$ to a new alphabet $$\varLambda _j^*$$, doubling the number of symbols by adding to it for every symbol $$\lambda$$ a copy of it with superscript $$*$$, namely $$\lambda ^*$$. For every x we then add the stars to symbols x(gt) where $$g\in \mathcal {C}(\mathcal {T}_t(x))$$. Thereby, we have defined a conjugate representation $$X^*$$ of X; we denote the conjugacy by $$\psi$$ and the corresponding map on the space of measures by $$\varPsi :\mathcal {M}(X)\rightarrow \mathcal {M}(X^*)$$, $$\varPsi (\mu )=\mu \circ \psi ^{-1}$$ (the map $$\psi$$ is continuous, because the quasitilings are dynamical; it is invertible, because removing stars we obtain the original system). The set $$K^*=\varPsi (K)$$ is a face of the simplex $$\mathcal {M}_G(X^*)$$, affinely homeomorphic to K. Each quasitiling $$\mathcal {T}_t$$ is carried to a dynamical quasitiling $$\mathcal {T}_t^*$$ of $$X^*$$ by the rule $$\mathcal {T}_t^*(\psi (x))=\mathcal {T}_t(x)$$. Moreover, it gains the property of restricted block distribution, because symbols marked with stars prevent blocks occurring on tiles Sc from occuring on positions not consistent with the tiling.

We will construct a sequence of maps $$\phi _t:X^*\rightarrow Z^*$$, $$Z=\prod _{j\in \mathbb {N}}{(\varLambda _j^*)}^G$$, which are all going to be invertible continuous maps commuting with the action of a group. Then we will prove that the sequence of maps $$\varPhi _t:\mathcal {M}(X^*)\rightarrow \mathcal {M}(Z^*)$$, $$\varPhi _t(\mu )=\mu \circ \phi _t^{-1}$$, converges uniformly on $$K^*$$ to an affine homeomorphism $$\varPhi$$, while $$\phi _t$$ converge pointwise on a set of full measure to a map establishing an isomorphism between $$(X^*,\mu )$$ and some $$(Y,\varPhi (\mu ))$$ for each $$\mu \in K^*$$ [hence also between $$(X,\varPsi ^{-1}(\mu ))$$ and $$(Y,\varPhi (\mu ))$$].

The construction will be inductive: let $$\phi _0$$ be the identity map. Now, supposing we have constructed a map $$\phi _{t-1}$$, let $$X_{t-1}=\phi _{t-1}(X^*)$$ (in particular, $$X_{t-1}$$ is conjugate to X). Please, note that we may treat any tiling $$\mathcal {T}_t^*$$ as a tiling of $$X_{t-1}$$—we will use the same symbol to denote $$\mathcal {T}_t^*$$ transported to $$X_{t-1}$$ by $$\phi _{t-1}$$. By Lemma 2.14 there exist $$J_t$$ and $$\delta _t>0$$ such that if F is a $$(F_{k},\delta _t)$$-invariant, $$k\ge J_t$$, and B is a (Fk)-block occurring in $$X_{t-1}$$, then the distance between $$\mu _B$$ and $$\mathcal {M}_G(X_{t-1})$$ is less than $$\varepsilon _t$$.

For sufficiently large $$n_t$$ we can pick $$k>J_t$$ such that:
1. 1.

The tiling $$\mathcal {T}_{n_t}^*$$ consists of tiles whose shapes are $$(F_{k},\delta _t)$$-invariant,

2. 2.

For every shape S of $$\mathcal {T}_{n_t}^*$$ there exists a block $$B_S$$ with domain S, such that $$\mu _{B_S}$$ is closer than $$\varepsilon _t$$ to some $$\mu \in \varPhi _{t-1}(K^*)$$ (by Corollary 2.5),

3. 3.

If $$\mathcal {B}$$ denotes the family of all $$(\mathcal {T}_{n_t}^*,k)$$-blocks B such that $$d(B,\varPhi _{t-1}(K^*))>\delta _t$$, then $$\sum _{B\in \mathcal {B}}\mu (B)\left| B\right| <\varepsilon _t$$ for every $$\mu \in \varPhi _{t-1}(K^*)$$ (by Lemma 2.15).

We shall define an auxiliary map $$\tilde{\phi }_t$$ on $$X_{t-1}$$ as follows: for any $$x\in X_{t-1}$$ and any tile T of $$\mathcal {T}_{n_t}^*(x)$$, let S be the shape of T and let $$B=x[T\times [1,k]]$$. If the distance between B and $$\phi _{t-1}(K^*)$$ is more than $$\delta _t$$, replace $$x[T\times [1,k]]$$ with $$B_S$$. Otherwise, $$\tilde{\phi }_t$$ introduces no changes. By doing this for all $$T\in \mathcal {T}_{n_t}(x)$$, we obtain a new array, $$\tilde{\phi }_t(x)$$.

Observe that if x is in the support of any measure $$\mu \in \varPhi _{t-1}(K^*)$$, then (by the third assumption) the union of tiles $$T\in \mathcal {T}_{n_t}(x)$$ such that $$x[T\times [1,k]]$$ is a block distant by more than $$\delta _t$$ from $$\varPhi _{t-1}(K^*)$$ has upper Banach density less than, say, $$2\varepsilon _t$$, therefore $$\tilde{\phi }_t(x)$$ differs from x on a set of coordinates of density less than $$2\varepsilon _t$$. By Lemma 1.7 this means that the set of points $$x\in X_{t-1}$$ such that $$\tilde{\phi }_t(x)$$ differs from x in column e also has measure $$\mu$$ less than $$2\varepsilon _t$$ for any ergodic $$\mu \in \varPhi _{t-1}(K^*)$$. The map $$\varPhi _{t-1}$$ is affine so it takes ergodic measures to ergodic measures and for every $$\mu \in K^*$$ the ergodic decomposition of any $$\varPhi _{t-1}(\mu )\in \varPhi _{t-1}(K^*)$$ is induced by the ergodic decomposition of $$\mu$$. Thus this measure is less than $$2\varepsilon _t$$ for any $$\mu \in \varPhi _{t-1}(K^*)$$.

Now let $$\phi _t=\tilde{\phi }_t\circ \phi _{t-1}$$. Since $$\phi _t$$ makes no changes in rows with indices k and greater (and they allow us to determine the content of rows 0 through k), it is a conjugacy. Furthermore, let $$X_t=\phi _t(X^*)$$ and let $$\nu$$ be an ergodic measure in $$\mathcal {M}_G(X_t)=\varPhi _t(\mathcal {M}_G(X))$$. By Corollary 2.5 for sufficiently large n there is $$x\in X_t$$ such that $$\mu _{x[C]}$$, $$C=F_n\times [1,k]$$, is $$\varepsilon _t$$-close to $$\nu$$. By the construction of $$\phi _t$$, every $$(\mathcal {T}_{n_t},k)$$-block in x is closer than $$\varepsilon _t$$ to some $$\mu \in \varPhi _{t-1}(K^*)$$. If $$F_n$$ is a set sufficiently far in the Følner sequence, then x[C] is a block that is close to being a concatenation of $$\mathcal {T}_{n_t}$$ blocks (the union of tiles of $$\mathcal {T}_{n_t}$$ contained in $$F_n$$ is a $$(1-\delta _t)$$-subset of $$F_n$$). Therefore, by Lemma 2.10 the measure $$\mu _C$$ differs by less than $$\varepsilon _t$$ from $$\frac{1}{\sum _{i=1}^n\left| B_i\right| }\sum _{i=1}^n \left| B_i\right| \mu _{x[B_i]}$$. Since each $$x[B_i]$$ is $$\varepsilon _t$$-close to $$\mu _{x[B_i]}$$ the combination is $$4\varepsilon _t$$-close to measure in $$\varPhi _{t-1}(K^*)$$.

We will show that the maps $$\varPhi _t$$ converge uniformly on $$K^*$$. To this end, it suffices to uniformly estimate the distance between $$\varPhi _t(\mu )$$ and $$\varPhi _{t-1}(\mu )$$ for ergodic $$\mu \in K^*$$ by a summable sequence. By Lemma 2.15, for any $$\mu \in K^*$$ we have the estimate $$\sum _{B\in \mathcal {B}}\left( \varPhi _{t-1}(\mu )\right) (B)\left| B\right| <\varepsilon _t$$, where $$\mathcal {B}$$ denotes the family of all $$\mathcal {T}_{n_t}^*$$-blocks B such that $$d(B,K^*)>\delta _t$$. As we have already said, this implies that if $$x\in X^*$$, then the set of coordinates in $$\phi _{t-1}(x)$$ belonging to tiles of $$\mathcal {T}_{n_t}^*$$ that are domains of blocks from $$\mathcal {B}$$ has upper Banach density less than $$2\varepsilon _t$$. Since $$\tilde{\phi }_t$$ only makes any changes on these coordinates, $$\phi _t(x)$$ differs from $$\phi _{t-1}(x)$$ on a set of density less than $$2\varepsilon _t$$. If x is in the support of some invariant measure $$\mu$$, then $$\phi _{t-1}(x)$$ and $$\phi _t(x)$$ are in the support of $$\varPhi _{t-1}(\mu )$$ and $$\varPhi _t(\mu )$$, respectively, and since the two points agree on a set of large upper Banach density, the measures are within distance less than $$\frac{1}{2^t}$$ (according to the choice of $$\varepsilon _t$$ with use of Lemma 2.1).

This uniform convergence, together with the fact that $$\varPhi _t(\mathcal {M}_G(X^*))$$ is within the $$2\varepsilon _t$$-neighborhood of $$\varPhi _{t-1}(K^*)$$, implies that $$\varPhi (\mathcal {M}_G(X^*))\subset \varPhi (K^*)$$, and since the other inclusion is obvious, the two sets are equal.

Now, define the set Y (which will support the desired assignment) as follows:
\begin{aligned} Y=\bigcap _{s=1}^\infty \overline{\bigcup _{t=s}^\infty X_t}. \end{aligned}
Observe that Y is a closed, shift-invariant set, and that for any Følner set F and any $$k\in \mathbb {N}$$ every block with domain $$F\times [1,k]$$ in Y occurs in infinitely many of the sets $$X_t$$. It follows that every invariant measure on Y can be approximated by invariant measures on the $$X_t$$’s, and thus the set of invariant measures on Y is contained in $$\varPhi (\mathcal {M}_G(X^*))=\varPhi (K^*)$$. The other inclusion is generally true: for any weakly* convergent sequence of measures $$\mu _t$$ supported by $$X_t$$, the limit measure $$\mu$$ is always supported by $$\bigcap _{s=1}^\infty \overline{\bigcup _{t=s}^\infty X_t}$$. Therefore $$\mathcal {M}_G(Y)=\varPhi (K^*)$$.

By Lemma 1.7 for every ergodic $$\mu \in K^*$$ the set of points $$x\in X_{t-1}$$ such that the column x(e) is modified by $$\tilde{\phi }_t$$ has measure $$\mu$$ less than $$2\varepsilon _t$$, because $$\tilde{\phi }_t$$ commutes with the shift map and for any x in the support of $$\mu$$ the set of modified coordinates has upper Banach density less than $$2\varepsilon _t$$. If this bound works for all ergodic measures it works for all measures in $$K^*$$. Since the sequence $$\varepsilon _t$$ is summable, the Borel-Cantelli lemma implies that for almost every $$x\in X^*$$ the columns $$\phi _t(x)(e)$$ are all equal from some point onwards. By shift-invariance, the same is true for $$\phi _t(x)(g)$$ for any g, so ultimately we conclude that if $$\mu \in K^*$$, then for $$\mu$$-almost every $$x\in X^*$$ every coordinate of x is only changed finitely many times. This means that a limit point $$\phi (x)$$ is then well-defined, and this map $$\phi$$ is invertible (since every $$\phi _t(x)$$ retains the original contents of x in the bottom row). In other words $$\phi$$ is an isomorphism between the measure-theoretic dynamical systems $$(X^*,\mu )$$ and $$(Y,\varPhi (\mu ))$$. $$\square$$

4 Concluding remarks

Firstly, we note that we can strengthen Theorem 1.2 by combining it with theorem 1.2 of [7], obtaining the following version:

Theorem 4.1

Let X be a Cantor system with free action of an amenable group G and let K be a face in the simplex $$\mathcal {M}_G(X)$$ of G-invariant measures of X. There exists a Cantor system Y with minimal free action of G, such that the natural assignment on Y is equivalent to the identity assignment on K.

Secondly, note that the result of this paper is not strictly a strengthening of the main theorem 4.1 in [3], since while we gain the result for actions of amenable groups, we add the requirement that the action be free, whereas the original result merely requires that the face in question contain no periodic measures. Unfortunately, it is very much unclear how the machinery used to deal with periodic points would transfer to the group case, which is why the matter of directly extending the result of [3] remains open.

References

1. 1.
Denker, M., Grillenberger, C., Sigmund, K.: Ergodic Theory on Compact Spaces. Lecture Notes in Mathematics, vol. 527. Springer, Berlin (1976)
2. 2.
Downarowicz, T.: Minimal models for noninvertible and not uniquely ergodic systems. Israel J. Math. 156, 93–110 (2006)
3. 3.
Downarowicz, T.: Faces of simplexes of invariant measures. Israel J. Math. 165, 189–210 (2008)
4. 4.
Downarowicz, T., Huczek, D.: Dynamical quasitilings of amenable groups. arXiv:1705.07365 [math.DS]
5. 5.
Downarowicz, T., Huczek, D., Zhang, G.: Tilings of amenable groups. J. Reine Angew. Math. (2016). doi: Google Scholar
6. 6.
Emerson, W.R.: Large symmetric sets in amenable groups and the individual ergodic theorem. Am. J. Math. 96, 242–247 (1974)
7. 7.
Frej, B., Huczek, D.: Minimal models for actions of amenable groups. Groups Geom. Dyn. 11, 567–583 (2017)
8. 8.
Lindenstrauss, E.: Pointwise theorems for amenable groups. Electron. Res. Announc. AMS 5, 82–90 (1999)
9. 9.
Phelps, R.R.: Lectures on Choquet’s Theorem. D. Van Nostrand Company, Princeton (1966)
10. 10.
Shulman, A.: Maximal Ergodic Theorems on Groups, vol. 2184. Dep. Lit. NIITI, Vilnius (1988)Google Scholar

© The Author(s) 2017

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

• Bartosz Frej
• 1
• Dawid Huczek
• 1
1. 1.Faculty of Pure and Applied MathematicsWrocław University of Science and TechnologyWrocławPoland