Abstract:Let $(\Omega,\mathscr F,\mathbb P) $ be a probability space and let $(\mathscr F_n)$ be a binary filtration, i.e. exactly one atom of $\mathscr F_{n-1}$ is divided into two atoms of $\mathscr F_n$ without any restriction on their respective measures. Additionally, denote the collection of atoms corresponding to this filtration by $\mathscr A$. Let $S \subset L^\infty(\Omega)$ be a finite-dimensional linear subspace, having an additional stability property on atoms $\mathscr A$. For these data, we consider the two dictionaries $\mathscr C = \{ f \cdot \chi_A: f \in S, A \in \mathscr A\}$ and $\Phi$, a local orthonormal system generated by $S$ and the filtration $(\mathscr F_n)$. We are interested in approximation spaces corresponding to the best $n$-term approximation in $L^p$ for $1<p<\infty$ by elements of $\mathscr C$ and $\Phi$, respectively. It is known that in the classical Haar case, i.e. when $S = {\rm span} (\chi_{[0,1]})$ and the binary filtration $(\mathscr F_n)$ is dyadic (that is, an atom $A \in \mathscr A$ is divided into two new atoms of equal measure), those approximation spaces coincide, cf. [P. Petrushev, Multivariate $n$-term rational and piecewise polynomial approximation, J. Approx. Theory 121(1), 2003]. This motivates us to ask the question whether this is true in the general setting described above. The answer to this question is governed by the validity of a specific Bernstein type inequality. The main result of this paper is a geometric characterization of this type of Bernstein inequality, i.e. a characterization in terms of the behaviour of functions from the space $S$ on atoms $\mathscr A$ and rings $\mathscr R = \{ A \setminus B: A, B \in \mathscr A, B \subset A \}\setminus \mathscr A$. We specialize this general result to some examples of interest, including general Haar systems and spaces $S$ consisting of (multivariate) polynomials.

On the One-Sided Boundedness of the Local Discrepancy of $\{n\alpha \}$-Sequences

On the one-sided boundedness of the local discrepancy of $\{nα\}$-sequences

On the Boundedness and the Norm of a Class of Integral Operators

Unconditional Convergent Series on Locally Convex Spaces

On the fractional parts of certain sequences of $ξα^{n}$

On the number variance of sequences with small additive energy

On Sequences with at Most a Finite Number of Zero Coordinates

Gap sequence, Lipschitz equivalence and box dimension

The $C^{1,α}$ boundary Harnack in slit domain and its application to the Signorini problem

Sequences with Inequalities

Boundedness of admissible area function on nonisotropic Lipschitz space

On unboundedness of some invariants of $\mathcal{C}$-semigroups

On symmetric one-dimensional diffusions

Smooth discrepancy and Littlewood's conjecture

Necessary and sufficient conditions for boundedness of commutators of fractional integral operators on slice spaces

On Bernstein- and Marcinkiewicz-type inequalities on multivariate $C^α$-domains

Properties of local orthonormal systems, Part II: Geometric characterization of Bernstein inequalities

On an Erdős similarity problem in the large

On the theorem of Davenport and generalized Dedekind sums

Random zero sets with local growth guarantees

Maximal regularity for fractional difference equations of order 2<alpha<3 on UMD spaces