Slicing of Radial Functions: a Dimension Walk in the Fourier Space

Abstract

Computations in high-dimensional spaces can often be realized only approximately, using a certain number of projections onto lower dimensional subspaces or sampling from distributions. In this paper, we are interested in pairs of real-valued functions $(F,f)$ on $[0,\infty )$ that are related by the projection/slicing formula $F(\Vert x\Vert )={\mathbb{E}}_{\xi }\left[f\right(|⟨x,\xi ⟩|\left)\right]$ for $x\in {\mathbb{R}}^d$, where the expectation value is taken over uniformly distributed directions in ${\mathbb{R}}^d$. While it is known that $F$ can be obtained from $f$ by an Abel-like integral formula, we construct conversely $f$ from given $F$ using their Fourier transforms. First, we consider the relation between $F$ and $f$ for radial functions $F(\Vert \cdot \Vert )$ that are Fourier transforms of $L^1$ functions. Besides $d$- and one-dimensional Fourier transforms, it relies on a rotation operator, an averaging operator and a multiplication operator to manage the walk from $d$ to one dimension in the Fourier space. Then, we generalize the results to tempered distributions, where we are mainly interested in radial regular tempered distributions. Based on Bochner's theorem, this includes positive definite functions $F(\Vert \cdot \Vert )$ and, by the theory of fractional derivatives, also functions $F$ whose derivative of order $\lfloor d/2\rfloor$ is slowly increasing and continuous.

41 pages, 2 figures

References in corpus (7)

• Generalization Bounds for Sparse Random Feature Expansions
• Accelerating the Sinkhorn algorithm for sparse multi-marginal optimal transport by fast Fourier transforms
• Sliced Optimal Transport on the Sphere
• Parallelly Sliced Optimal Transport on Spheres and on the Rotation Group
• Diffraction Tomography, Fourier Reconstruction, and Full Waveform Inversion
• Generalized Fourier Diffraction Theorem and Filtered Backpropagation for Tomographic Reconstruction
• Fast Kernel Summation in High Dimensions via Slicing and Fourier Transforms