On $ n $-tuplewise IP-sensitivity and thick sensitivity

Abstract

<p style='text-indent:20px;'>Let <inline-formula><tex-math id="M2">\begin{document}$ (X,T) $\end{document}</tex-math></inline-formula> be a topological dynamical system and <inline-formula><tex-math id="M3">\begin{document}$ n\geq 2 $\end{document}</tex-math></inline-formula>. We say that <inline-formula><tex-math id="M4">\begin{document}$ (X,T) $\end{document}</tex-math></inline-formula> is <inline-formula><tex-math id="M5">\begin{document}$ n $\end{document}</tex-math></inline-formula>-tuplewise IP-sensitive (resp. <inline-formula><tex-math id="M6">\begin{document}$ n $\end{document}</tex-math></inline-formula>-tuplewise thickly sensitive) if there exists a constant <inline-formula><tex-math id="M7">\begin{document}$ \delta>0 $\end{document}</tex-math></inline-formula> with the property that for each non-empty open subset <inline-formula><tex-math id="M8">\begin{document}$ U $\end{document}</tex-math></inline-formula> of <inline-formula><tex-math id="M9">\begin{document}$ X $\end{document}</tex-math></inline-formula>, there exist <inline-formula><tex-math id="M10">\begin{document}$ x_1,x_2,\dotsc,x_n\in U $\end{document}</tex-math></inline-formula> such that</p><p style='text-indent:20px;'><disp-formula> <label/> <tex-math id="FE1"> \begin{document}$ \Bigl\{k\in \mathbb{N}\colon \min\limits_{1\le i<j\le n}d(T^k x_i,T^k x_j)>\delta\Bigr\} $\end{document} </tex-math></disp-formula></p><p style='text-indent:20px;'>is an IP-set (resp. a thick set).</p><p style='text-indent:20px;'>We obtain several sufficient and necessary conditions of a dynamical system to be <inline-formula><tex-math id="M11">\begin{document}$ n $\end{document}</tex-math></inline-formula>-tuplewise IP-sensitive or <inline-formula><tex-math id="M12">\begin{document}$ n $\end{document}</tex-math></inline-formula>-tuplewise thickly sensitive and show that any non-trivial weakly mixing system is <inline-formula><tex-math id="M13">\begin{document}$ n $\end{document}</tex-math></inline-formula>-tuplewise IP-sensitive for all <inline-formula><tex-math id="M14">\begin{document}$ n\geq 2 $\end{document}</tex-math></inline-formula>, while it is <inline-formula><tex-math id="M15">\begin{document}$ n $\end{document}</tex-math></inline-formula>-tuplewise thickly sensitive if and only if it has at least <inline-formula><tex-math id="M16">\begin{document}$ n $\end{document}</tex-math></inline-formula> minimal points. We characterize two kinds of sensitivity by considering some kind of factor maps. We introduce the opposite side of pairwise IP-sensitivity and pairwise thick sensitivity, named (almost) pairwise IP<inline-formula><tex-math id="M17">\begin{document}$ ^* $\end{document}</tex-math></inline-formula>-equicontinuity and (almost) pairwise syndetic equicontinuity, and obtain dichotomies results for them. In particular, we show that a minimal system is distal if and only if it is pairwise IP<inline-formula><tex-math id="M18">\begin{document}$ ^* $\end{document}</tex-math></inline-formula>-equicontinuous. We show that every minimal system admits a maximal almost pairwise IP<inline-formula><tex-math id="M19">\begin{document}$ ^* $\end{document}</tex-math></inline-formula>-equicontinuous factor and admits a maximal pairwise syndetic equicontinuous factor, and characterize them by the factor maps to their maximal distal factors.</p>

Broken family sensitivity in transitive systems

“…Huang, Lu and Ye [12] finally obtained the structure of -sensitivity for minimal systems, more precisely, by the fibers of factor map to the maximal equicontinuous factor. The notion of sensitivity was generalized by measuring the set of nonnegative integers for which the sensitivity occurs [14,16,19,20,21,24,27,31,33]. We refer the reader to the survey [22] for related results.…”