Sofic conditional mean dimension, relative sofic mean dimension and their localizations

TL;DR

This paper investigates properties of sofic conditional and relative mean dimensions in dynamical systems, establishing conditions for maximal zero dimensions and characterizing positivity via tuple sets.

Contribution

It introduces local properties and tuple characterizations for sofic conditional and relative mean dimensions, extending previous definitions and results.

Findings

Non-negative sofic mean dimensions imply existence of maximal zero dimension factors.

Positivity of sofic mean dimensions characterized by nonempty sets of dimension tuples.

Local properties of these dimensions are systematically studied.

Abstract

Let $\pi:(X,G)\to (Y,G) $ be a factor map between continuous actions of a sofic group $G$, we study sofic conditional mean dimension and relative sofic mean dimension introduced in \cite{LBB2} and \cite{LB}, respectively. We obtain that if $\pi$ has non-negative sofic conditional mean dimension (resp. relative sofic mean dimension), then $\pi$ has the maximal zero sofic conditional mean dimension factor (resp. maximal relative zero sofic mean dimension factor). Additionally, the local properties of sofic conditional mean dimension and relative sofic mean dimension are studied. We introduce the sofic conditional mean dimension tuples and relative sofic mean dimension tuples, and show that $\pi$ has positive sofic conditional mean dimension (resp. relative sofic mean dimension) if and only if the set of sofic conditional mean dimension tuples (resp. relative sofic mean dimension tuples) is nonempty.