Disjoint and simultaneously hypercyclic pseudo-shifts (Q2122171)

Let \(X\) be a separable and infinite dimensional Banach space over the real or complex scalar field \(\mathbb{K}\), and let \(B(X)\) denote the algebra of bounded linear operators on \(X\). Given \(T_1,\dots, T_N \in B(X)\) with \(N\geq 2\), \(T_1,\dots, T_N\) are called disjoint hypercyclic, or \(d\)-hypercyclic for short, if the direct sum operator \(\bigoplus_{i=1}^N T_i\) has a hypercyclic vector of the form \((x,\dots, x)\in \bigoplus_{i=1}^N X_i\). Such a vector \(x\) is called a \(d\)-hypercyclic vector for the operators \(T_1,\dots, T_N\). If the set of \(d\)-hypercyclic vectors of \(T_1,\dots, T_N\) is dense in \(X\), then the operators \(T_1,\dots, T_N\) are called densely \(d\)-hypercyclic. The operators \(T_1,\dots, T_N\) are called simultaneously hypercyclic, or \(s\)-hypercyclic for short, if there exists a vector \(x \in X\) such that \[ \Delta (\bigoplus_{i=1}^NX_i)\subset \overline{\{(T^n_1 x, \dots, T^n_Nx) : n\in\mathbb{N}\}}, \] where \(\Delta (\bigoplus_{i=1}^NX_i)= \{(x,\dots, x) : x\in X\}\) denotes the diagonal of \(\bigoplus^N_{i=1}X_i\) and \(\bigoplus^N_{i=1}X_i\) is endowed with the product topology. Such a vector \(x\) is said to be a \(s\)-hypercyclic vector of \(T_1,\dots, T_N\). If the set of \(s\)-hypercyclic vectors of the operators \(T_1, \dots, T_N\) is dense in \(X\), then the operators \(T_1,\dots, T_N\) are called densely \(s\)-hypercyclic. In the paper under review, the authors characterize disjoint and simultaneously hypercyclic tuples of unilateral pseudoshift operators on \(\ell^p(\mathbb{N})\), with \(1\leq p<\infty\). A~unilateral pseudoshift operator on \(\ell^p(\mathbb{N})\) is an operator defined as \[ T_{f,\omega}((x_{m})_{m\in\mathbb{N}})=(w_{f(m)}x_{f(m)})_{m\in\mathbb{N}}, \quad (x_{m})_{m\in\mathbb{N}}\in \ell^p(\mathbb{N}), \] where \(f : \mathbb{N}\to \mathbb{N}\) is a strictly increasing map with \(f(1) > 1\) and \(\omega =(w_{f(m)})_{m\in\mathbb{N}}\) is a bounded, nonzero weight sequence. In particular, the authors give a sufficient condition for satisfying a disjoint blow up/collapse condition and use it to characterize disjoint hypercyclic unilateral pseudo-shifts in terms of their weight sequences and shifting functions, unifying previous results. Moreover, they provide a Simultaneous Blow-Up/Collapse Criterion and use it to characterize simultaneous hypercyclic pseudoshifts. As an application, the authors give a characterization for simultaneous hypercyclic unilateral weighted shifts.