Sampling recovery on classes defined by integral operators and sparse approximation with adaptive dictionaries
V. Temlyakov
TL;DR
The paper addresses the problem of understanding the asymptotics of sampling-recovery errors for collections of function classes ${\mathbf W}^K_q$ defined by integral operators with kernels from a given class, using the asymptotic characteristic $ac_n({\mathbf W}^K_q,L_p)$. It establishes a deep link between sampling recovery and sparse nonlinear approximation with adaptive dictionaries, and derives upper and lower bounds for the recovery errors across regimes of $q$ and $p$, by connecting these problems to adaptive cross-function dictionaries and Kolmogorov-width results. The work defines the function classes ${\mathbf W}^\mathbf a_\mathbf q$ and ${\mathbf H}^\mathbf a_\mathbf q$, introduces adaptive dictionaries including ${\mathcal{L}}{\mathcal{K}}$, ${\mathcal{K}}{\mathcal{L}}$, and related systems, and demonstrates how adaptive sparse approximation informs optimal sampling strategies. Overall, the results broaden the theoretical understanding of sampling schemes for kernel-defined smoothness classes and introduce an adaptive-dictionary framework with potential implications for high-dimensional approximation and numerical integration.
Abstract
In this paper we continue to develop the following general approach. We study asymptotic behavior of the errors of sampling recovery not for an individual smoothness class, how it is usually done, but for the collection of classes, which are defined by integral operators with kernels coming from a given class of functions. Earlier, such approach was realized for the Kolmogorov widths and very recently for the entropy numbers. It turns out that the above problem is closely related to the sparse approximation problem with respect to different redundant dictionaries. Specifically, the problem of sampling recovery is connected with sparse nonlinear approximation with respect to adaptive dictionaries, which means that the dictionary depends on the function under approximation.
