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 \[ \lim_{n \to \infty} h_\mu(T^n, \xi) = H_\mu(\xi | \Pi(X)), \] the supremum over all increasing sequences \(S \subset \mathbb{Z}_+\) is determined by the {Kronecker algebra} \(\mathcal{K}(X)\): \[ \sup_{S \subset \mathbb{Z}_+} h_\mu^S(T, \xi) = H_\mu(\xi | \mathcal{K}(X)). \] The authors successfully generalize this framework to the setting of amenable group actions. The main contributions of the work include: \begin{itemize} \item Establishing the interplay between relative sequence entropy and {Kronecker algebras} for amenable group actions. \item Exploring the relationship between relative sequence entropy and {rigid algebras} specifically for {abelian group actions}. \item Extending the application of these concepts to various measure-theoretic and topological mixing properties. \item Introducing the notion of {relative sequence entropy pairs} for amenable group actions, providing a localized method for analyzing system complexity. \end{itemize} By 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. The 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. Theorem 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}\), \[ \max_{S \subseteq D} h_{\mu}^{S, \mathcal{F}}(G, \xi \mid \mathcal{B}_Y) = H_\mu(\xi \mid \mathcal{K}(X \mid Y)), \] where \(\mathcal{K}(X \mid Y)\) denotes the relative Kronecker algebra. The 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.