Localization of mixing property via Furstenberg families (Q480016)

By a dynamical system \((X,T)\) is understood a compact metric space \(X\) with a continuous bijection \(T:X\to X\). The author studies the mixing properties of \(T\). For \(U,V\subset X\) let \(N(U,V)= \{n\in\mathbb{N}: U\cap T^{-n}V\neq\emptyset\}\): If for all open \(U\), \(V\) \(N(U,V)\neq\emptyset\), then the system \((X,T)\) is called transitive. A family \({\mathcal F}\) of subsets of \(\mathbb{N}\) is called a Furstenberg family (for short family) if it is a nonempty proper subset of \(P(\mathbb{N})\) satisfying the condition that \(F_1\in{\mathcal F}\) and \(F_2\in P(\mathbb{N})\) implies \(F_2\in{\mathcal F}\). It is assumed that all members of \({\mathcal F}\) are infinite. Let \((X,T)\) be a system and \({\mathcal F}\) a family. If \(A\subset X\) is closed and \(|A|\geq 2\) it is said to be an \({\mathcal F}\)-mixing set if for any \(k\in\mathbb{N}\), and any open subsets \(U_1,U_2,\dots, U_k,V_1,V_2,V_k\) intersecting \(A\), \(\bigcap^k_{i=1} N(U_i,V_i)\in{\mathcal F}\). A subset \(F\) of \(\mathbb{N}\) is called an \(IP\) set if there is a subsequence \(\{p_i\}\) of \(\mathbb{N}\) such that \(\{p_{i_1}+ p_{i_2}+\cdots+ p_{i_n}: i_1< i_2<\cdots< i_n,\,n\in\mathbb{N}\}\subset F\). The family of all \(F\subset\mathbb{N}\) for which \(\limsup_{|I|\to\infty} {|F\cap I|\over|I|}> 0\), where \(I\) is taken over all finite intervals of \(\mathbb{N}\), is denoted by \({\mathcal F}_{pubd}\). A subset \(F\) of \(\mathbb{N}\) is called thick if it contains arbitrarily long runs of positive integers. The family of all intersections of thick sets with the syndetic sets is denoted by \({\mathcal F}_{ps}\). The author proves that there is some \({\mathcal F}_{pubd}\)-mixing set in every system with positive entropy, and some \({\mathcal F}_{ps}\)-mixing set in every non \(PI\) minimal system.