Relative sequence entropy for amenable group actions (Q6927601)

The paper investigates the concept of {relative sequence entropy} for actions of {amenable groups}, significantly extending the classical results known for \(\mathbb{Z}\)-measure-preserving systems. A central theme in the literature, established by \textit{W. Huang} et al. [Ann. Inst. Fourier 54, No. 4, 1005--1028 (2004; Zbl 1083.37006)], is the characterization of the supremum of sequence entropy. For a \(\mathbb{Z}\)-system \((X, \mathcal{B}, \mu, T)\), while the limit of the entropy relative to the Pinsker \(\sigma\)-algebra \(\Pi(X)\) satisfies\N\[\N\lim_{n \to \infty} h_\mu(T^n, \xi) = H_\mu(\xi | \Pi(X)),\N\]\Nthe supremum over all increasing sequences \(S \subset \mathbb{Z}_+\) is determined by the {Kronecker algebra} \(\mathcal{K}(X)\):\N\[\N\sup_{S \subset \mathbb{Z}_+} h_\mu^S(T, \xi) = H_\mu(\xi | \mathcal{K}(X)).\N\]\N\NThe authors successfully generalize this framework to the setting of amenable group actions. The main contributions of the work include:\N\begin{itemize}\N\item Establishing the interplay between relative sequence entropy and {Kronecker algebras} for amenable group actions.\N\item Exploring the relationship between relative sequence entropy and {rigid algebras} specifically for {abelian group actions}.\N\item Extending the application of these concepts to various measure-theoretic and topological mixing properties.\N\item Introducing the notion of {relative sequence entropy pairs} for amenable group actions, providing a localized method for analyzing system complexity.\N\end{itemize}\N\NBy utilizing the properties of Følner sequences and adapting the notion of ''increasing sequences'' to the group-theoretic context, the authors prove that sequence entropy remains a robust tool for identifying factors with discrete or rigid spectra. This work provides a deep structural unification of sequence-based complexity across a broad class of transformation groups and will be of significant interest to researchers in ergodic theory and topological dynamics.\N\NThe centerpiece of the work is Theorem A, which extends the well-known identity for \(\mathbb{Z}\)-systems to the relative case for amenable groups \(G\) using Følner sequences. \N\NTheorem A. Let \((X, \mathcal{B}_X, \mu, G)\) be a \(G\)-MPS, \((Y, \mathcal{B}_Y, \nu, G)\) its factor, and \(\mathcal{F}\) a Følner sequence in \(G\). Then for any sequence \(D \subseteq G\) with positive upper density with respect to \(\mathcal{F}\),\N\[\N\max_{S \subseteq D} h_{\mu}^{S, \mathcal{F}}(G, \xi \mid \mathcal{B}_Y) = H_\mu(\xi \mid \mathcal{K}(X \mid Y)),\N\]\Nwhere \(\mathcal{K}(X \mid Y)\) denotes the relative Kronecker algebra.\N\NThe authors further investigate the relationship between measure-theoretical sequence entropy and rigid algebras. This spectral analysis is complemented by a transition into topological dynamics, where the concepts of relative topological sequence entropy and weakly mixing sets are explored. To provide a more localized perspective on the system's complexity, the work also incorporates an analysis of entropy pairs within the context of relative sequence entropy. By bridging these measure-theoretical and topological properties, the paper offers a unified framework for understanding the mixing and spectral behavior of amenable group actions.