Relative sequence entropy for amenable group actions

DOI10.1016/J.JDE.2025.113582MaRDI QIDQ6927601zbMATH OpenFDO

Authors Chun Lin Liu, Changlin Wang, Weisheng Wu

Publication date 18 September 2025

Published in Journal of Differential Equations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JDE.2025.113582

amenable group action compact extensions Kronecker and rigid algebras relative sequence entropy weakly mixing

Ergodic theory on groups (22D40) General groups of measure-preserving transformations and dynamical systems (37A15) Ergodicity, mixing, rates of mixing (37A25) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) Topological entropy (37B40)

Review text

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.

Cites work

This page was built for publication: Relative sequence entropy for amenable group actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6927601)