Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSofic mean dimension of typical actions and a comparison theorem
204
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We refine two results in the paper entitled ``Sofic mean dimension by Hanfeng Li, improving two inequalities with two equalities, respectively, for sofic mean dimension of typical actions. On the one hand, we study sofic mean dimension of full shifts, for which, Li provided an upper bound which however is not optimal. We prove a more delicate estimate from above, which is optimal for sofic mean dimension of full shifts over arbitrary alphabets (i.e. compact metrizable spaces). Our refinement, together with the techniques (in relation to an estimate from below) in the paper entitled ``Mean dimension of full shifts by Masaki Tsukamoto, eventually allows us to get the exact value of sofic mean dimension of full shifts over any finite dimensional compact metrizable spaces. On the other hand, we investigate finite group actions. In contrast to the case that the acting group is infinite (and amenable), Li showed that if a finite group acts continuously on a finite dimensional compact metrizable space, then sofic mean dimension may be different from (strictly less than) the classical (i.e. amenable) mean dimension (an explicitly known value in this case). We strengthen this result by proving a sharp lower bound, which, combining with the upper bound, gives the exact value of sofic mean dimension for all the actions of finite groups on finite dimensional compact metrizable spaces. Furthermore, this equality leads to a satisfactory comparison theorem for those actions, deciding when sofic mean dimension would coincide with classical mean dimension. Moreover, our two results, in particular, verify for a typical class of sofic group actions that sofic mean dimension does not depend on sofic approximation sequences.
rate research
Read More
We introduce mean dimensions for continuous actions of countable sofic groups on compact metrizable spaces. These generalize the Gromov-Lindenstrauss-Weiss mean dimensions for actions of countable amenable groups, and are useful for distinguishing continuous actions of countable sofic groups with infinite entropy.
For every infinite (countable discrete) amenable group $G$ and every positive integer $d$ we construct a minimal $G$-action of mean dimension $d/2$ which cannot be embedded in the full $G$-shift on $([0,1]^d)^G$.
In this paper, we shall introduce $h$-expansiveness and asymptotical $h$-expansiveness for actions of sofic groups. By the definitions, each $h$-expansive action of sofic groups is asymptotically $h$-expansive. We show that each expansive action of sofic groups is $h$-expansive, and, for any given asymptotically $h$-expansive action of sofic groups, the entropy function (with respect to measures) is upper semi-continuous and hence the system admits a measure with maximal entropy. Observe that asymptotically $h$-expansive property was firstly introduced and studied by Misiurewicz for $mathbb{Z}$-actions using the language of topological conditional entropy. And thus in the remaining part of the paper, we shall compare our definitions of weak expansiveness for actions of sofic groups with the definitions given in the same spirit of Misiurewiczs ideas when the group is amenable. It turns out that these two definitions are equivalent in this setting.
For discrete measured groupoids preserving a probability measure we introduce a notion of sofic dimension that measures the asymptotic growth of the number of sofic approximations on larger and larger finite sets. In the case of groups we give a formula for free products with amalgamation over an amenable subgroup. We also prove a free product formula for measure-preserving actions.
We study directional mean dimension of $mathbb{Z}^k$-actions (where $k$ is a positive integer). On the one hand, we show that there is a $mathbb{Z}^2$-action whose directional mean dimension (considered as a $[0,+infty]$-valued function on the torus) is not continuous. On the other hand, we prove that if a $mathbb{Z}^k$-action is continuum-wise expansive, then the values of its $(k-1)$-dimensional directional mean dimension are bounded. This is a generalization (with a view towards Meyerovitch and Tsukamotos theorem on mean dimension and expansive multiparameter actions) of a classical result due to Ma~ne: Any compact metrizable space admitting an expansive homeomorphism (with respect to a compatible metric) is finite-dimensional.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
