Multi-transitivity and \(\Delta\)-transitivity for semigroup actions (Q530192)

Let \((X,S)\) be a topological dynamical system. The concepts of multi-transitivity and \(\Delta\)-transitivity of \((X,S)\) were generalized to multi-transitivity and \(\Delta\)-transitivity with respect to a vector in \(\mathbb{N}^r\) in [\textit{Z. Chen} et al., Sci. China, Math. 57, No. 8, 1639--1648 (2014; Zbl 1311.54030); Ergodic Theory Dyn. Syst. 35, No. 5, 1423--1442 (2015; Zbl 1352.37029)]. In the current article, the author gives a characterization of multi-transitivity and \(\Delta\)-transitivity in terms of a new kind of Furstenberg families \(\mathcal{F}[\mathbf{a}]\) generated by the vector \(\mathbf{a}\) for general semigroup actions. It is showed, that when the acting semigroup is abelian, \(F\)-semigroup and each \(s\in S\) is a surjective action on \(X\), then \((X,S)\) is multi-transitive if and only if it is \(\mathcal{F}[\infty]\)-transitive, where \(\mathcal{F}[\infty] = \displaystyle\cap_{r=1}^{\infty} \mathcal{F}[\mathbf{a}_r]\), \(\mathbf{a}_r = (1,2,\ldots,r)\), \(r\in \mathbb{N}\) (Theorem 3.7). It is showed as well, that when the acting semigroup is abelian and each \(s\in S\) is a surjective action on \(X\), then \((X,S)\) is \(\Delta\)-transitive if and only if the collection of \(\mathcal{F}[\infty]\)-transitive points \(\text{Trans}_{\mathcal{F}[\infty]}(X,S)\) is residual in \(X\) (Theorem 4.8). A new connection between \(\Delta\)-transitivity and \(\Delta\)-mixing is found. Namely, the concept of \(\Delta\)-mixing with respect to an infinite subset \(A\) of the action \(S\times X\to X \) is introduced (briefly \(\Delta\)-\(A\)-mixing) and proved that when the acting semigroup is abelian, countable, cancellable and each \(s\in S\) is a surjective action on \(X\), then \((X,S)\) is \(\Delta\)-transitive if and only if there exists a thick subset \(A\) of \(S\) such that \((X,S)\) is \(\Delta\)-\(A\)-mixing (Theorem 5.3).