Small boundary property

In mathematics, the small boundary property is a property of certain topological dynamical systems. It is dynamical analog of the inductive definition of Lebesgue covering dimension zero.

Definition

Consider the category of topological dynamical system (system in short) consisting of a compact metric space ${\displaystyle X}$ and a homeomorphism ${\displaystyle T:X\rightarrow X}$. A set ${\displaystyle E\subset X}$ is called small if it has vanishing orbit capacity, i.e., ${\displaystyle \operatorname {ocap} (E)=0}$. This is equivalent to: ${\displaystyle \forall \mu \in M_{T}(X),\ \mu (E)=0}$ where ${\displaystyle M_{T}(X)}$ denotes the collection of ${\displaystyle T}$-invariant measures on ${\displaystyle X}$.

The system ${\displaystyle (X,T)}$ is said to have the small boundary property (SBP) if ${\displaystyle X}$ has a basis of open sets ${\displaystyle \{O_{i}\}_{i=1}^{\infty }}$ whose boundaries are small, i.e., ${\displaystyle \operatorname {ocap} (\partial O_{i})=0}$ for all ${\displaystyle i}$.

Can one always lower topological entropy?

Small sets were introduced by Michael Shub and Benjamin Weiss while investigating the question "can one always lower topological entropy?" Quoting from their article:[1]

"For measure theoretic entropy, it is well known and quite easy to see that a positive entropy transformation always has factors of smaller entropy. Indeed the factor generated by a two-set partition with one of the sets having very small measure will always have small entropy. It is our purpose here to treat the analogous question for topological entropy... We will exclude the trivial factor, where it reduces to one point."

Recall that a system ${\displaystyle (Y,S)}$ is called a factor of ${\displaystyle (X,T)}$, alternatively ${\displaystyle (X,T)}$ is called an extension of ${\displaystyle (Y,S)}$, if there exists a continuous surjective mapping ${\displaystyle \varphi :X\rightarrow Y}$ which is eqvuivariant, i.e. ${\displaystyle \varphi (Tx)=S\varphi (x)}$ for all ${\displaystyle x\in X}$.

Thus Shub and Weiss asked: Given a system ${\displaystyle (X,T)}$ and ${\displaystyle \varepsilon >0}$, can one find a non-trivial factor ${\displaystyle (Y,S)}$ so that ${\displaystyle \operatorname {h_{top}} (Y,S)<\varepsilon }$?

Recall that a system ${\displaystyle (X,T)}$ is called minimal if it has no proper non-empty closed ${\displaystyle T}$-invariant subsets. It is called infinite if ${\displaystyle |X|=\infty }$.

Lindenstrauss introduced SBP and proved:[2]

Theorem: Let ${\displaystyle (X,T)}$ be an extension of an infinite minimal system. The following are equivalent:

1. ${\displaystyle (X,T)}$ has the small-boundary property.
2. ${\displaystyle \operatorname {mdim} (X,T)=0}$, where ${\displaystyle \operatorname {mdim} }$ denotes mean dimension.
3. For every ${\displaystyle \varepsilon >0}$, ${\displaystyle x\neq y\in X}$, there exists a factor ${\displaystyle \varphi _{xy}:(X,T)\rightarrow (Y_{xy},S)}$ so ${\displaystyle \varphi _{xy}(x)\neq \varphi _{xy}(y)}$ and ${\displaystyle \operatorname {h_{top}} (Y_{xy},S)<\varepsilon }$.
4. ${\displaystyle (X,T)=\lim _{\leftarrow }(X_{i},T_{i})}$ where ${\displaystyle \{(X_{i},T_{i})\}_{i=1}^{\infty }}$ is an inverse limit of systems with finite topological entropy ${\displaystyle \operatorname {h_{top}} (X_{i},T_{i})<\infty }$ for all ${\displaystyle i}$.

Later this theorem was generalized to the context of several commuting transformations by Gutman, Lindenstrauss and Tsukamoto.[3]

Systems with no non-trivial finite entropy factors

Let ${\displaystyle X=[0,1]^{\mathbb {Z} }}$ and ${\displaystyle T:X\rightarrow X}$ be the shift homeomorphism ${\displaystyle (\ldots ,x_{-2},x_{-1},\mathbf {x_{0}} ,x_{1},x_{2},\ldots )\rightarrow (\ldots ,x_{-1},x_{0},\mathbf {x_{1}} ,x_{2},x_{3},\ldots )}$. It can be shown that ${\displaystyle (X,T)}$ has no non-trivial finite entropy factors.[2] One can also find minimal systems with the same property.[2]

References

1. Shub, Michael, and B. Weiss. "Can one always lower topological entropy?." Ergodic Theory and Dynamical Systems 11.3 (1991): 535–546.
2. Lindenstrauss, Elon (1999-12-01). "Mean dimension, small entropy factors and an embedding theorem". Publications Mathématiques de l'Institut des Hautes Études Scientifiques. 89 (1): 227–262. doi:10.1007/BF02698858. ISSN 0073-8301.
3. Gutman, Yonatan, Elon Lindenstrauss, and Masaki Tsukamoto. "Mean dimension of ${\displaystyle \mathbb {Z} ^{k}}$-actions." Geometric and Functional Analysis 26.3 (2016): 778–817.