Universality of G-subshifts with specification

TL;DR

The paper proves that any G-subshift with the specification property that contains a free element is universal for amenable groups G, meaning it has positive topological entropy and can model any free ergodic G-action with entropy below h_top(X) via an isomorphism. The core method combines entropy gap arguments with a sophisticated construction of hierarchical dynamical quasitilings, marker systems, and a measurable, shift-equivariant coding Ψ that embeds blocks from any lower-entropy system into X while preserving invertibility. By building an unambiguous marker framework and robust gluing via reinforced almost ar{X}-admissible patterns, the authors encode centers and shapes of tilings to recover the original system from X, establishing universality and, in particular, universality of K-shifts with a free element. The results extend universality to a broad class of subshifts, leveraging spec, amenability, and a carefully engineered marker/tile architecture to realize arbitrary free ergodic actions as invariant measures on X with controlled entropy.

Abstract

Let $G$ be an infinite countable amenable group and let $(X,G)$ be a $G$-subshift with specification, containing a free element. We prove that $(X,G)$ is universal, i.e., has positive topological entropy and for any free ergodic $G$-action on a standard probability space, $(Y,ν,G)$, with $h(ν)<h_{top}(X)$, there exists a shift-invariant measure $μ$ on $X$ such that the systems $(Y,ν,G)$ and $(X,μ,G)$ are isomorphic. In particular, any $K$-shift (consisting of the indicator functions of all maximal $K$-separated sets) containing a free element is universal.

Figures (9)

• Figure 1: Top figure: the group $\mathbb Z\times\mathbb Z_6$, the set $K$ (in red). Bottom figure: a maximal $K$-separated set (in blue).
• Figure 2: The black dot shows the origin. The figure on the left shows the set $K$ (in red) and $K^{-1}K$ (in yellow). The figure on the right shows the blocks $\alpha_1$ and $\alpha_2$. The disjoint green areas show that the domains of these blocks are $K^{-1}K$ apart. The yellow frame around the point $(-1,2)$ must contain a $1$, and the only possible place is $(0,1)$ (shown in gray). Similarly, the yellow frame around $(2,-1)$ must contain a $1$ at $(1,0)$. The configuration of the gray 1's is not admitted in $\Omega_K$.
• Figure 3: An $X$-admissible pattern $\alpha$ with domain $A$ is shown in the bright green color. It is inserted into $\bar{x}^*$ (all shades of blue) with an $X$-admissible glue (the yellow area). The large circles are the occurrences of the basic marker $\beta$ in the resulting element $\bar{x}^*_\alpha$. Their domains must intersect $M^2A$ and thus their centers (black dots) fall within $BM^2A$ (green plus yellow plus dark blue area) and their domains are entirely contained within $\underline A=B^2M^2A$ (green plus yellow plus dark blue plus light blue area). The enhanced pattern $\underline\alpha$ is $\bar{x}^*_\alpha|_{\underline A}$.
• Figure 4: The block $\underline\beta$ with $J_\beta$ nonpermutable (on the left) and permutable (on the right; here the group is $\mathbb Z\times\mathbb Z_{60}$)
• Figure 5: The marker $\zeta_t$. On the left -- in case (1) the marker consists of two blocks: $\underline\beta$ centered at $e$ and $\bar{\kappa}_t$ centered at $g_0$. The set $J_\beta$ is shown as the four black dots including $e$. On the right -- in case (2) the marker consists of four blocks: $\underline\gamma$ centered at $e$, two copies of $\underline\beta$ centered at $g_1$ and $g_2$, and $\bar{\kappa}_t$ centered at $g_0$. The set $J_\gamma$ consists of ten black dots (this time not including $e$): four within $\underline\gamma$ (this is $J_\gamma$), three within the copy of $\underline\beta$ centered at $g_1$ (jointly these seven dots constitute $J_1$) and three dots within the copy of $\beta$ centered at $g_2$.

Theorems & Definitions (63)

• Definition 1.1
• Definition 1.2
• Definition 1.3
• Definition 1.4
• Definition 1.5
• Proposition 1.6
• Proposition 1.7
• proof
• Definition 1.8
• Definition 1.9