On sequential greedy-type bases
Miguel Berasategui, Pablo M. Berná, Hung Viet Chu
TL;DR
The paper studies sequential greedy-type bases by introducing the $\mathcal{F}_{(a_n)}$-almost greedy and related strong/minimum partially greedy notions, where projection targets are chosen from interval-like sets determined by a fixed gap sequence $(a_n)$. It proves that $\mathcal{F}_{(a_n)}$-almost greediness coincides with classical almost greediness if and only if $(a_n)$ is bounded, and it establishes analogous results for strong partially greedy bases. When $(a_n)$ is unbounded, the authors construct bases that are $\mathcal{F}_{(a_n)}$-almost greedy but not almost greedy, showing that the new framework can yield strict separations; they also develop a hierarchical landscape (including $\mathcal{F}_{(a_n)}$-minimum partially greedy) that can interpolate between almost greedy and strong partially greedy under various conditions. The work relies on a structural framework using $N$-covering and $N$-sliding properties to connect family-dependent greedy notions to classical ones, providing insight into how gap patterns influence greedy performance in $p$-Banach spaces and Schauder bases.
Abstract
It is known that a basis is almost greedy if and only if the thresholding greedy algorithm gives essentially the smallest error term compared to errors from projections onto intervals or in other words, consecutive terms of $\mathbb{N}$. In this paper, we fix a sequence $(a_n)_{n=1}^\infty$ and compare the TGA against projections onto consecutive terms of the sequence and its shifts. We call the corresponding greedy-type condition the $\mathcal{F}_{(a_n)}$-almost greedy property. Our first result shows that the $\mathcal{F}_{(a_n)}$-almost greedy property is equivalent to the classical almost greedy property if and only if $(a_n)_{n=1}^\infty$ is bounded. Then we establish an analog of the result for the strong partially greedy property. Finally, we show that under a certain projection rule and conditions on the sequence $(a_n)_{n=1}^\infty$, we obtain a greedy-type condition that lies strictly between the almost greedy and strong partially greedy properties.
