Variational principles for topological entropies of subsets

TL;DR

This paper establishes variational principles linking Bowen's and packing topological entropies of subsets in a dynamical system to measure-theoretic entropies of measures supported on those subsets, extending known results to analytic sets.

Contribution

It provides new variational formulas for topological entropies of subsets, connecting them to measure-theoretic entropies and extending results to analytic sets.

Findings

Formulas for Bowen's and packing topological entropies in terms of measure-theoretic entropies.

Extension of formulas to arbitrary analytic subsets when topological entropy is finite.

Unified framework for entropy of subsets in topological dynamical systems.

Abstract

Let $(X,T)$ be a topological dynamical system. We define the measure-theoretical lower and upper entropies $\underline{h}_\mu(T)$, $\bar{h}_\mu(T)$ for any $\mu\in M(X)$, where $M(X)$ denotes the collection of all Borel probability measures on $X$. For any non-empty compact subset $K$ of $X$, we show that $$\htop^B(T, K)= \sup \{\underline{h}_\mu(T): \mu\in M(X),\; \mu(K)=1\}, $$ $$\htop^P(T, K)= \sup \{\bar{h}_\mu(T): \mu\in M(X),\; \mu(K)=1\}. $$ where $\htop^B(T, K)$ denotes Bowen's topological entropy of $K$, and $\htop^P(T, K)$ the packing topological entropy of $K$. Furthermore, when $\htop(T)<\infty$, the first equality remains valid when $K$ is replaced by an arbitrarily analytic subset of $X$. The second equality always extends to any analytic subset of $X$.