\textit{IP}-systems and recurrence in ergodic theory: an update
Other combinatorial number theory (11B75) Ergodic theorems, spectral theory, Markov operators (37A30) Relations between ergodic theory and number theory (37A44) Notions of recurrence and recurrent behavior in topological dynamical systems (37B20) Combinatorial dynamics (types of periodic orbits) (37E15)
This is an overview and update of Benjamin Weiss' remarkably fruitful concept of \(IP\)-systems in notions of recurrence in ergodic theory. An \(IP\)-system in a semigroup \(S\) is obtained by choosing a sequence \((s_n)_{n\in\mathbb{N}}\) of elements and then forming all possible products \(s_{i_1}s_{i_2}\cdots s_{i_k}\) with \(i_1<i_2<\cdots<i_k\). Thus the elements of the \(IP\)-system can be indexed by the set \(\mathcal{F}\) of finite subsets of \(\mathbb{N}\) using the order relation on \(\mathbb{N}\). An \(\mathcal{F}\)-sequence (a sequence of elements in \(S\) indexed by \(\mathcal{F}\)) is said to be an \(IP\)-system if \(\prod_{i\in\alpha\cup\beta}s_i =\prod_{i\in\alpha}s_i\prod_{i\in\beta}s_i\) whenever every element of \(\alpha\in\mathcal{F}\) is less than every elements of \(\beta\). In the case \(S=\mathbb{N}\) an \(IP\)-system comprises the fundamental notion of an \(IP\)-set, and for an \(IP\)-set \(\{n_{\alpha}\}\) and a map \(T\colon X\to X\) there is an \(IP\)-system of transformations \(\{T^{n_{\alpha}}\}\). These starting notions are used here to describe the main ideas in recurrence, starting with the ergodic Szemerédi theorem and Hindman's theorem and then outlining the Furstenberg correspondence principle which shows how recurrence phenomena in ergodic theory relates to results in combinatorial number theory. Recurrence phenomena in the setting of topological dynamics is then discussed, and the colouristic theorems in combinatorial number theory shown by the author and their collaborators are described. The algebraic approach to recurrence using the Ellis semigroup is outlined, and the route to dynamical proofs of things like the Hales-Jewett theorem is described.
- IP-systems in ergodic theory
- An ergodic Szemerédi theorem for IP-systems and combinatorial theory
- scientific article; zbMATH DE number 65721
- scientific article; zbMATH DE number 1366707
- The recurrence time for ergodic systems with infinite invariant measures
- \(\mathrm{IP}_r^\ast\)-recurrence and nilsystems
- Ergodic theorems for iterated function systems controlled by regenerative sequences
- On recent results of ergodic property for \(p\)-adic dynamical systems
- Nonconventional ergodic averages and multiple recurrence for von Neumann dynamical systems
- A density version of the Hales-Jewett theorem
- An ergodic IP polynomial Szemerédi theorem
- An ergodic Szemerédi theorem for IP-systems and combinatorial theory
- Elemental methods in ergodic Ramsey theory
- scientific article; zbMATH DE number 3647020 (Why is no real title available?)
- Idempotents in compact semigroups and Ramsey theory
- IP-systems in ergodic theory
- Regularity and Positional Games
- Simultaneous diophantine approximation and IP-sets
- Some unifying principles in Ramsey theory
- An ergodic Szemerédi theorem for IP-systems and combinatorial theory
- Recurrence in the dynamical system \((X, \langle T_s \rangle_{s \in S})\) and ideals of \(\beta S\)
- Recurrent sequences and IP sets
- \(\mathrm{IP}_r^\ast\)-recurrence and nilsystems
- Special cases and equivalent forms of Katznelson's problem on recurrence
- IP-systems in ergodic theory
- Rhythmic functions and IP recurrence.
- Product Recurrence and Distal Points
- scientific article; zbMATH DE number 1509530 (Why is no real title available?)
- IP-sets and polynomial recurrence
- IP-systems, generalized polynomials and recurrence
- Ergodic Ramsey theory: a dynamical approach to static theorems
- Relative sequence entropy for amenable group actions
This page was built for publication: \textit{IP}-systems and recurrence in ergodic theory: an update
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2677809)