Local intricacy and average sample complexity for amenable group actions

Abstract: Let $(X,G)$, $(Y,G)$ be two $G$-systems, where $G$ is an infinite countable discrete amenable group and $X$, $Y$ are compact metric spaces. Suppose that $\mathcal{U}$ is a cover of $X$. We first introduce the conditional local topological intricacy $\mathrm{Int}\mathrm{top} (G,\mathcal{U}|Y)$ and average sample complexity $\mathrm{Asc}\mathrm{top} (G,\mathcal{U}|Y)$. Given an invariant measure $\mu$ of $X$, we study the conditional local measure-theoretical intricacy $\mathrm{Int}\mu^\pm(G,\mathcal{U}|Y)$ and average sample complexity $\mathrm{Asc}\mu^\pm(G,\mathcal{U}|Y)$. For any F{\o}lner sequence ${F_n}{n\in\mathbb{N}}$, we take ${c^{F_n}_S}{S\subseteq F_n}$ to be the uniform system of coefficients. We establish the equivalence of $\mathrm{Asc}\mu^-(G,\mathcal{U}|Y)$ and $\mathrm{Asc}\mu^+(G,\mathcal{U}|Y)$ when $G=\mathbb{Z}$. Furthermore, we verified that $\mathrm{Asc}\mu^-(G,\mathcal{U})$ is equal to $\mathrm{Asc}\mu^+(G,\mathcal{U})$ in general case. Finally, we give a local variational principle of average sample complexity.