Sparse sampling recovery in integral norms on some function classes
V. Temlyakov
TL;DR
The paper addresses sparse sampling recovery in $L_p$ norms ($2\le p<\infty$) for function classes $\mathbf A^r_\beta(\Psi)$ under universal sampling discretization and $u$-term Nikol\'skii inequalities. It develops a synthesis of Lebesgue-type inequalities for the Weak Orthogonal Matching Pursuit (WOMP) with universal discretization, deriving upper and lower bounds for the optimal recovery error $\varrho_m^o(\mathbf A^r_\beta(\Psi),L_p)$ and establishing near-optimal rates (up to polylog factors) for multivariate function classes, including the trigonometric system. Under $NI(2,p,H,u)$ and USD, WOMP yields $L_2$-norm guarantees on the discretized dictionary and corresponding $L_p$-norm recovery bounds, improving previous results by reducing logarithmic factors. The work also proves fundamental lower bounds for sampling discretization and demonstrates that nonlinear sampling recovery via WOMP provides near-optimal rates for a broad class of systems, including $\mathcal T^d$, thereby advancing the theory of sampling discretization and sparse approximation in high dimensions.
Abstract
This paper is a direct followup of the recent author's paper. In this paper we continue to analyze approximation and recovery properties with respect to systems satisfying universal sampling discretization property and a special unconditionality property. In addition we assume that the subspace spanned by our system satisfies some Nikol'skii-type inequalities. We concentrate on recovery with the error measured in the $L_p$ norm for $2\le p<\infty$. We apply a powerful nonlinear approximation method -- the Weak Orthogonal Matching Pursuit (WOMP) also known under the name Weak Orthogonal Greedy Algorithm (WOGA). We establish that the WOMP based on good points for the $L_2$-universal discretization provides good recovery in the $L_p$ norm for $2\le p<\infty$. For our recovery algorithms we obtain both the Lebesgue-type inequalities for individual functions and the error bounds for special classes of multivariate functions. We combine here two deep and powerful techniques -- Lebesgue-type inequalities for the WOMP and theory of the universal sampling dicretization -- in order to obtain new results in sampling recovery.
