On the minimal number of matrices which form a locally hypercyclic, non-hypercyclic tuple (Q847770)

An \(n\)-tuple \(\{ T_1, \dots ,T_n\}\) of operators on a locally convex space \(X\) is called locally hypercyclic (respectively, hypercyclic) if there exists \(x\in X\setminus \{ 0\}\) such that, for any \(y\in X\), there are sequences of non-negative integers \((k_{m,j})_m\), \(j=1,\dots ,n\), with \((k_{m,1}+k_{m,2}+\dots +k_{m,n})_m\) tending to infinity, and a sequence of vectors \((x_m)_m\) in \(X\) converging to \(x\) (respectively, \(x_m=x\) for all \(m\)) such that the sequence \((T_1^{k_{m,1}}T_2^{k_{m,2}} \dots T_n^{k_{m,n}}x_m)_m\) converges to \(y\). The authors show that, for every \(n\in \mathbb{N}\), there exists an \((n+1)\)-tuple of diagonal matrices on \(\mathbb{R}^n\) which is hypercyclic. They also find pairs \((A,B)\) of diagonal matrices on \(X=\mathbb{R}^n\) or \(X=\mathbb{C}^n\) which are locally hypercyclic, but not hypercyclic. An analogous result is obtained on the (infinite-dimensional) sequence space \(\ell^p\), \(1\leq p<\infty\). Similar results for certain upper-triangular matrices complete the article.