Thick sets and dynamics of operators (Q2910446)

Let \(X\) be a separable Banach space. Given a sequence of positive integers \((n_{k})\), an operator \(T \in B(X)\) is called hereditarily hypercyclic with respect to \((n_{k})\) if, for any subsequence \((n_{k_{j}})_{j}\) of \((n_{k})\), the sequence \((T^{n_{k_{j}}})_{j}\) is universal; i.e., there exists an \(x\in X\) such that \(\{T^{n_{k_{j}}}(x): k\in \mathbb{N}\}\) is dense in \(X\).NEWLINENEWLINEFor any pair \((U, V)\) of nonempty open subsets of \(X\), let \(N_{T}(U, V):=\{n \in \mathbb{N}: T^{n}U \cap V \neq \emptyset \}\). A thick set means a subset \(A\) of \(\mathbb{N}\) so that, for each \(n \in \mathbb{N}\), there is \(l \in \mathbb{N}\) such that \(l, l+1,\dots, l+n\) belong to \(A\).NEWLINENEWLINEThe object of the paper under review is to obtain equivalent conditions for hereditary hypercyclicity of an operator \(T\). The authors show that hereditary hypercyclicity of \(T\) is equivalent with the following statements:NEWLINENEWLINE\((1)\) For any pair \((U, V)\) of nonempty open subsets of \(X\), there exists a positive integer \(N\) such that, for all \(k>N\), \(n_{k} \in N_{T}(U,V)\), extending the previous result of \textit{G. Godefroy} and \textit{J. H. Shapiro} [J. Funct. Anal. 98, No. 2, 229--269 (1991; Zbl 0732.47016)] about hypercyclicity.NEWLINENEWLINE\((2)\) For any pair \((U, V)\) of nonempty open subsets of \(X\), \(N_{T}(U,V)\) is a thick set.