






















Gao, Jackson, and Seward proved that every countably infinite group $Γ$ admits a nonempty free subshift $X \subseteq 2^Γ$. Here we strengthen this result by showing that free subshifts can be "large" in various senses. Specifically, we prove that for any $k \geqslant 2$ and $h < \log_2 k$, there exists a free subshift $X \subseteq k^Γ$ of Hausdorff dimension and, if $Γ$ is sofic, entropy at least $h$, answering two questions attributed by Gao, Jackson, and Seward to Juan Souto. Furthermore, we establish a general lower bound on the largest "size" of a free subshift $X'$ contained inside a given subshift $X$. A central role in our arguments is played by the Lovász Local Lemma, an important tool in probabilistic combinatorics, whose relevance to the problem of finding free subshifts was first recognized by Aubrun, Barbieri, and Thomassé.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。