Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.10313 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913928429174784 |
|---|---|
| author | Li, Weilin |
| author_facet | Li, Weilin |
| contents | Consider an operator that takes the Fourier transform of a discrete measure supported in $\mathcal{X}\subset[-\frac 12,\frac 12)^d$ and restricts it to a compact $Ω\subset\mathbb{R}^d$. We provide lower bounds for its smallest singular value when $Ω$ is either a closed ball of radius $m$ or closed cube of side length $2m$, and under different types of geometric assumptions on $\mathcal{X}$. We first show that if distances between points in $\mathcal{X}$ are lower bounded by a $δ$ that is allowed to be arbitrarily small, then the smallest singular value is at least $Cm^{d/2} (mδ)^{λ-1}$, where $λ$ is the maximum number of elements in $\mathcal{X}$ contained within any ball or cube of an explicitly given radius. This estimate communicates a localization effect of the Fourier transform. While it is sharp, the smallest singular value behaves better than expected for many $\mathcal{X}$, including when we dilate a generic set by parameter $δ$. We next show that if there is a $η$ such that, for each $x\in\mathcal{X}$, the set $\mathcal{X}\setminus\{x\}$ locally consists of at most $r$ hyperplanes whose distances to $x$ are at least $η$, then the smallest singular value is at least $C m^{d/2} (mη)^r$. For dilations of a generic set by $δ$, the lower bound becomes $C m^{d/2} (mδ)^{\lceil (λ-1)/d\rceil }$. The appearance of a $1/d$ factor in the exponent indicates that compared to worst case scenarios, the condition number of nonharmonic Fourier transforms is better than expected for typical sets and improve with higher dimensionality. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_10313 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Nonharmonic multivariate Fourier transforms and matrices: condition numbers and hyperplane geometry Li, Weilin Numerical Analysis Consider an operator that takes the Fourier transform of a discrete measure supported in $\mathcal{X}\subset[-\frac 12,\frac 12)^d$ and restricts it to a compact $Ω\subset\mathbb{R}^d$. We provide lower bounds for its smallest singular value when $Ω$ is either a closed ball of radius $m$ or closed cube of side length $2m$, and under different types of geometric assumptions on $\mathcal{X}$. We first show that if distances between points in $\mathcal{X}$ are lower bounded by a $δ$ that is allowed to be arbitrarily small, then the smallest singular value is at least $Cm^{d/2} (mδ)^{λ-1}$, where $λ$ is the maximum number of elements in $\mathcal{X}$ contained within any ball or cube of an explicitly given radius. This estimate communicates a localization effect of the Fourier transform. While it is sharp, the smallest singular value behaves better than expected for many $\mathcal{X}$, including when we dilate a generic set by parameter $δ$. We next show that if there is a $η$ such that, for each $x\in\mathcal{X}$, the set $\mathcal{X}\setminus\{x\}$ locally consists of at most $r$ hyperplanes whose distances to $x$ are at least $η$, then the smallest singular value is at least $C m^{d/2} (mη)^r$. For dilations of a generic set by $δ$, the lower bound becomes $C m^{d/2} (mδ)^{\lceil (λ-1)/d\rceil }$. The appearance of a $1/d$ factor in the exponent indicates that compared to worst case scenarios, the condition number of nonharmonic Fourier transforms is better than expected for typical sets and improve with higher dimensionality. |
| title | Nonharmonic multivariate Fourier transforms and matrices: condition numbers and hyperplane geometry |
| topic | Numerical Analysis |
| url | https://arxiv.org/abs/2407.10313 |