Sofic approximation sequences and sofic mean dimension

Lei Jin,Yixiao Qiao
2024-06-01
Abstract:The main purpose of this paper is to strengthen our understanding of sofic mean dimension of two typical classes of sofic group actions. First, we study finite group actions. We prove that sofic mean dimension of any amenable group action does not depend on the choice of sofic approximation sequences. Previously, this result was known only if the acting group is an infinite amenable group. Moreover, we investigate the full shifts, for all sofic groups and all alphabets. We show that sofic mean dimension of any full shift depends purely on its alphabet. Our method is a refinement of the classical technique in relation to the estimates from above and below, respectively, for mean dimension of some typical actions. The key point of our results is that they apply to all compact metrizable spaces without any restriction (in particular, the alphabet concerned in a full shift and the space involved in a finite group action are not required to be finite-dimensional). Furthermore, we improve the quantitative knowledge of sofic mean dimension, restricted to finite-dimensional compact metrizable spaces, for those two typical classes of sofic group actions. As a direct consequence of the main ingredient of our proof, we obtain the exact value of sofic mean dimension of all the actions of finite groups on finite-dimensional compact metrizable spaces. Previously, only an upper bound for these actions was given. Besides, we also get the exact value of sofic mean dimension of full shifts when the alphabet is finite-dimensional.
Dynamical Systems
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to deepen the understanding of the Sofic mean dimension under the actions of two typical Sofic groups. Specifically: 1. **Finite group actions**: The paper proves that the Sofic mean dimension of any commutative group action does not depend on the choice of the Sofic approximation sequence. Previously, this result was only known when the acting group was an infinite commutative group. The paper extends this result to be applicable to all commutative group actions. 2. **Full shift**: For all Sofic groups and all alphabets, the paper studies the Sofic mean dimension of the full shift. The author proves that the Sofic mean dimension of the full shift depends entirely on its alphabet. In addition, they improve the quantitative knowledge of these two typical Sofic group actions on finite - dimensional compact metrizable spaces and obtain the exact values of the Sofic mean dimension of these actions. ### Main contributions - **Independence**: It is proved that the Sofic mean dimension of any commutative group action does not depend on the choice of the Sofic approximation sequence. - **Exact value of full shift**: The exact value of the Sofic mean dimension of the full shift on a finite - dimensional alphabet is given. - **Unrestricted**: The method is applicable to all compact metrizable spaces without any restrictions (in particular, the alphabet in the full shift and the space in the finite group action are not required to be finite - dimensional). ### Methods - **Improvement of classical techniques**: The author improves the classical estimation methods to estimate the mean dimension from above and below respectively, in order to adapt to a wider range of space types. - **Global treatment**: Different from the local analysis method, the author adopts a global treatment method to estimate the Sofic mean dimension. ### Open problems - **Full shift in infinite - dimensional spaces**: For an infinite - dimensional compact metrizable space \(K\), is \( \text{mdim}_\Sigma(K^G, \sigma_G)=+\infty\)? - **Finite group acting on infinite - dimensional spaces**: For a finite group \(G\) continuously acting on an infinite - dimensional compact metrizable space \(X\), is \( \text{mdim}_\Sigma(X, G)=+\infty\)? The solutions to these problems will further improve the understanding of the Sofic mean dimension in commutative group actions and full shifts.