On a property of the Haar system (Q2473647)

Let \[ A_0=\{[0,1), [0,1/2), [1/2,1), [0,1/4), [1/4,1/2), [1/2,3/4), [3/4,1),\dots\} \] be the set of all binary half-open intervals, \(A=A_0\cup [0,1]\), and let \(\{h_I, I\in A\}\) be the Haar system numbered by the elements of the set \(A\) as follows: \(h_I(t)=|I|^{-1}\) for \(t\in I^+\), \(h_I(t)=-|I|^{-1}\) for \(t\in I^-\) and \(h_I(t)=0\) for \(t\in [0,1)\setminus I\), where \(I^+\) (respectively \(I^-\)) is the left (respectively right) half of the element \(I\), \(I^+,I^-\in A_0\), and \(|I|\) is the Lebesgue measure of the set \(I\). Each bijection \(\pi: A\to A\) generates a permutation operator of the Fourier-Haar series: \[ R_{\pi}f=\sum_{I\in A}f_Ih_{\pi(I)}, \quad f_I=\int^1_0f(t)h_I(t)\,dt,\quad t\in I. \] The author defines the `\(p,q\)'-norm \(\|\pi\|_{p,q}\) of the bijection \(\pi: A\to A\) and proves the inequalities \[ \|R_{\pi}\|_{L^p\to L^q}\geq \|\pi\|_{p,q}, \quad 1\leq q\leq p<2, \quad \|R_{\pi}\|_{L^p\to L^q}\geq \|\pi^{-1}\|_{p,q}, \quad 2<q\leq p<\infty. \] Theorem 2. There exists a bijection \(\pi: A\to A\) such that the operator \(R_{\pi}: L^p\to L^q\) is unbounded for all \(p,q\in [1,2)\) and all \(p,q\in (2,\infty)\). The existence of unbounded operator \(R_{\pi}: L^p\to L^p\), \(p\in [1,2)\cup (2,\infty)\), was proved by \textit{V. F. Gaposhkin} in [Usp. Mat. Nauk 14, 143--148 (1959; Zbl 0095.09003)].