Nearly optimal bounds on the Fourier sampling numbers of Besov spaces
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911129211502592 |
|---|---|
| author | Siegel, Jonathan W. |
| author_facet | Siegel, Jonathan W. |
| contents | Let $\mathbb{T}^d$ denote the $d$-dimensional torus. We consider the problem of optimally recovering a target function $f^*:\mathbb{T}^d\rightarrow \mathbb{C}$ from samples of its Fourier coefficients. We make classical smoothness assumptions on $f^*$, specifically that $f^*$ lies in a Besov space $B^s_\infty(L_q)$ with $s > 0$ and $1\leq q\leq \infty$, and measure recovery error in the $L_p$-norm with $1\leq p\leq \infty$. Abstractly, the optimal recovery error is characterized by a `restricted' version of the Gelfand widths, which we call the Fourier sampling numbers. Up to logarithmic factors, we determine the correct asymptotics of the Fourier sampling numbers in the regime $s/d > 1 - 1/p$. We also give a description of nearly optimal Fourier measurements and recovery algorithms in each of these cases. In the other direction, we prove a novel lower bound showing that there is an asymptotic gap between the Fourier sampling numbers and the Gelfand widths when $q = 1$ and $p_0 < p\leq 2$ with $p_0 \approx 1.535$. Finally, we discuss the practical implications of our results, which imply a sharper recovery of edges, and provide numerical results demonstrating this phenomenon. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_13991 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Nearly optimal bounds on the Fourier sampling numbers of Besov spaces Siegel, Jonathan W. Functional Analysis Information Theory Numerical Analysis 41A46, 42A05, 46B09, 46N40, 65T40 Let $\mathbb{T}^d$ denote the $d$-dimensional torus. We consider the problem of optimally recovering a target function $f^*:\mathbb{T}^d\rightarrow \mathbb{C}$ from samples of its Fourier coefficients. We make classical smoothness assumptions on $f^*$, specifically that $f^*$ lies in a Besov space $B^s_\infty(L_q)$ with $s > 0$ and $1\leq q\leq \infty$, and measure recovery error in the $L_p$-norm with $1\leq p\leq \infty$. Abstractly, the optimal recovery error is characterized by a `restricted' version of the Gelfand widths, which we call the Fourier sampling numbers. Up to logarithmic factors, we determine the correct asymptotics of the Fourier sampling numbers in the regime $s/d > 1 - 1/p$. We also give a description of nearly optimal Fourier measurements and recovery algorithms in each of these cases. In the other direction, we prove a novel lower bound showing that there is an asymptotic gap between the Fourier sampling numbers and the Gelfand widths when $q = 1$ and $p_0 < p\leq 2$ with $p_0 \approx 1.535$. Finally, we discuss the practical implications of our results, which imply a sharper recovery of edges, and provide numerical results demonstrating this phenomenon. |
| title | Nearly optimal bounds on the Fourier sampling numbers of Besov spaces |
| topic | Functional Analysis Information Theory Numerical Analysis 41A46, 42A05, 46B09, 46N40, 65T40 |
| url | https://arxiv.org/abs/2508.13991 |