We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.NA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Numerical Analysis

Title: A new upper bound for sampling numbers

Abstract: We provide a new upper bound for sampling numbers $(g_n)_{n\in \mathbb{N}}$ associated to the compact embedding of a separable reproducing kernel Hilbert space into the space of square integrable functions. There are universal constants $C,c>0$ (which are specified in the paper) such that $$
g^2_n \leq \frac{C\log(n)}{n}\sum\limits_{k\geq \lfloor cn \rfloor} \sigma_k^2\quad,\quad n\geq 2\,, $$ where $(\sigma_k)_{k\in \mathbb{N}}$ is the sequence of singular numbers (approximation numbers) of the Hilbert-Schmidt embedding $\text{Id}:H(K) \to L_2(D,\varrho_D)$. The algorithm which realizes the bound is a least squares algorithm based on a specific set of sampling nodes. These are constructed out of a random draw in combination with a down-sampling procedure coming from the celebrated proof of Weaver's conjecture, which was shown to be equivalent to the Kadison-Singer problem. Our result is non-constructive since we only show the existence of a linear sampling operator realizing the above bound. The general result can for instance be applied to the well-known situation of $H^s_{\text{mix}}(\mathbb{T}^d)$ in $L_2(\mathbb{T}^d)$ with $s>1/2$. We obtain the asymptotic bound $$
g_n \leq C_{s,d}n^{-s}\log(n)^{(d-1)s+1/2}\,, $$ which improves on very recent results by shortening the gap between upper and lower bound to $\sqrt{\log(n)}$.
Subjects: Numerical Analysis (math.NA)
Cite as: arXiv:2010.00327 [math.NA]
  (or arXiv:2010.00327v2 [math.NA] for this version)

Submission history

From: Tino Ullrich [view email]
[v1] Wed, 30 Sep 2020 08:32:18 GMT (21kb)
[v2] Tue, 9 Feb 2021 22:44:41 GMT (24kb)

Link back to: arXiv, form interface, contact.