-
Smoothed Distance Kernels for MMDs and Applications in Wasserstein Gradient Flows
Authors:
Nicolaj Rux,
Michael Quellmalz,
Gabriele Steidl
Abstract:
Negative distance kernels $K(x,y) := - \|x-y\|$ were used in the definition of maximum mean discrepancies (MMDs) in statistics and lead to favorable numerical results in various applications. In particular, so-called slicing techniques for handling high-dimensional kernel summations profit from the simple parameter-free structure of the distance kernel. However, due to its non-smoothness in $x=y$,…
▽ More
Negative distance kernels $K(x,y) := - \|x-y\|$ were used in the definition of maximum mean discrepancies (MMDs) in statistics and lead to favorable numerical results in various applications. In particular, so-called slicing techniques for handling high-dimensional kernel summations profit from the simple parameter-free structure of the distance kernel. However, due to its non-smoothness in $x=y$, most of the classical theoretical results, e.g. on Wasserstein gradient flows of the corresponding MMD functional do not longer hold true. In this paper, we propose a new kernel which keeps the favorable properties of the negative distance kernel as being conditionally positive definite of order one with a nearly linear increase towards infinity and a simple slicing structure, but is Lipschitz differentiable now. Our construction is based on a simple 1D smoothing procedure of the absolute value function followed by a Riemann-Liouville fractional integral transform. Numerical results demonstrate that the new kernel performs similarly well as the negative distance kernel in gradient descent methods, but now with theoretical guarantees.
△ Less
Submitted 10 April, 2025;
originally announced April 2025.
-
Fast Summation of Radial Kernels via QMC Slicing
Authors:
Johannes Hertrich,
Tim Jahn,
Michael Quellmalz
Abstract:
The fast computation of large kernel sums is a challenging task, which arises as a subproblem in any kernel method. We approach the problem by slicing, which relies on random projections to one-dimensional subspaces and fast Fourier summation. We prove bounds for the slicing error and propose a quasi-Monte Carlo (QMC) approach for selecting the projections based on spherical quadrature rules. Nume…
▽ More
The fast computation of large kernel sums is a challenging task, which arises as a subproblem in any kernel method. We approach the problem by slicing, which relies on random projections to one-dimensional subspaces and fast Fourier summation. We prove bounds for the slicing error and propose a quasi-Monte Carlo (QMC) approach for selecting the projections based on spherical quadrature rules. Numerical examples demonstrate that our QMC-slicing approach significantly outperforms existing methods like (QMC-)random Fourier features, orthogonal Fourier features or non-QMC slicing on standard test datasets.
△ Less
Submitted 24 February, 2025; v1 submitted 2 October, 2024;
originally announced October 2024.
-
Slicing of Radial Functions: a Dimension Walk in the Fourier Space
Authors:
Nicolaj Rux,
Michael Quellmalz,
Gabriele Steidl
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…
▽ More
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 (\| x \|) = \mathbb E_ξ \big[ f \big(|\langle x,ξ\rangle| \big) \big]$ 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(\| \cdot\| )$ 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(\| \cdot\| )$ and, by the theory of fractional derivatives, also functions $F$ whose derivative of order $\lfloor d/2\rfloor$ is slowly increasing and continuous.
△ Less
Submitted 13 January, 2025; v1 submitted 21 August, 2024;
originally announced August 2024.
-
Generalized Fourier Diffraction Theorem and Filtered Backpropagation for Tomographic Reconstruction
Authors:
Clemens Kirisits,
Michael Quellmalz,
Eric Setterqvist
Abstract:
This paper concerns diffraction-tomographic reconstruction of an object characterized by its scattering potential. We establish a rigorous generalization of the Fourier diffraction theorem in arbitrary dimension, giving a precise relation in the Fourier domain between measurements of the scattered wave and reconstructions of the scattering potential. With this theorem at hand, Fourier coverages fo…
▽ More
This paper concerns diffraction-tomographic reconstruction of an object characterized by its scattering potential. We establish a rigorous generalization of the Fourier diffraction theorem in arbitrary dimension, giving a precise relation in the Fourier domain between measurements of the scattered wave and reconstructions of the scattering potential. With this theorem at hand, Fourier coverages for different experimental setups are investigated taking into account parameters such as object orientation, direction of incidence and frequency of illumination. Allowing for simultaneous and discontinuous variation of these parameters, a general filtered backpropagation formula is derived resulting in an explicit approximation of the scattering potential for a large class of experimental setups.
△ Less
Submitted 31 October, 2024; v1 submitted 1 July, 2024;
originally announced July 2024.
-
Time-Harmonic Optical Flow with Applications in Elastography
Authors:
Oleh Melnyk,
Michael Quellmalz,
Gabriele Steidl,
Noah Jaitner,
Jakob Jordan,
Ingolf Sack
Abstract:
In this paper, we propose mathematical models for reconstructing the optical flow in time-harmonic elastography. In this image acquisition technique, the object undergoes a special time-harmonic oscillation with known frequency so that only the spatially varying amplitude of the velocity field has to be determined. This allows for a simpler multi-frame optical flow analysis using Fourier analytic…
▽ More
In this paper, we propose mathematical models for reconstructing the optical flow in time-harmonic elastography. In this image acquisition technique, the object undergoes a special time-harmonic oscillation with known frequency so that only the spatially varying amplitude of the velocity field has to be determined. This allows for a simpler multi-frame optical flow analysis using Fourier analytic tools in time. We propose three variational optical flow models and show how their minimization can be tackled via Fourier transform in time. Numerical examples with synthetic as well as real-world data demonstrate the benefits of our approach.
Keywords: optical flow, elastography, Fourier transform, iteratively reweighted least squares, Horn--Schunck method
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Parallelly Sliced Optimal Transport on Spheres and on the Rotation Group
Authors:
Michael Quellmalz,
Léo Buecher,
Gabriele Steidl
Abstract:
Sliced optimal transport, which is basically a Radon transform followed by one-dimensional optimal transport, became popular in various applications due to its efficient computation. In this paper, we deal with sliced optimal transport on the sphere $\mathbb{S}^{d-1}$ and on the rotation group SO(3). We propose a parallel slicing procedure of the sphere which requires again only optimal transforms…
▽ More
Sliced optimal transport, which is basically a Radon transform followed by one-dimensional optimal transport, became popular in various applications due to its efficient computation. In this paper, we deal with sliced optimal transport on the sphere $\mathbb{S}^{d-1}$ and on the rotation group SO(3). We propose a parallel slicing procedure of the sphere which requires again only optimal transforms on the line. We analyze the properties of the corresponding parallelly sliced optimal transport, which provides in particular a rotationally invariant metric on the spherical probability measures. For SO(3), we introduce a new two-dimensional Radon transform and develop its singular value decomposition. Based on this, we propose a sliced optimal transport on SO(3).
As Wasserstein distances were extensively used in barycenter computations, we derive algorithms to compute the barycenters with respect to our new sliced Wasserstein distances and provide synthetic numerical examples on the 2-sphere that demonstrate their behavior for both the free and fixed support setting of discrete spherical measures. In terms of computational speed, they outperform the existing methods for semicircular slicing as well as the regularized Wasserstein barycenters.
△ Less
Submitted 22 May, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
Sliced Optimal Transport on the Sphere
Authors:
Michael Quellmalz,
Robert Beinert,
Gabriele Steidl
Abstract:
Sliced optimal transport reduces optimal transport on multi-dimensional domains to transport on the line. More precisely, sliced optimal transport is the concatenation of the well-known Radon transform and the cumulative density transform, which analytically yields the solutions of the reduced transport problems. Inspired by this concept, we propose two adaptions for optimal transport on the 2-sph…
▽ More
Sliced optimal transport reduces optimal transport on multi-dimensional domains to transport on the line. More precisely, sliced optimal transport is the concatenation of the well-known Radon transform and the cumulative density transform, which analytically yields the solutions of the reduced transport problems. Inspired by this concept, we propose two adaptions for optimal transport on the 2-sphere. Firstly, as counterpart to the Radon transform, we introduce the vertical slice transform, which integrates along all circles orthogonal to a given direction. Secondly, we introduce a semicircle transform, which integrates along all half great circles with an appropriate weight function. Both transforms are generalized to arbitrary measures on the sphere. While the vertical slice transform can be combined with optimal transport on the interval and leads to a sliced Wasserstein distance restricted to even probability measures, the semicircle transform is related to optimal transport on the circle and results in a different sliced Wasserstein distance for arbitrary probability measures. The applicability of both novel sliced optimal transport concepts on the sphere is demonstrated by proof-of-concept examples dealing with the interpolation and classification of spherical probability measures. The numerical implementation relies on the singular value decompositions of both transforms and fast Fourier techniques. For the inversion with respect to probability measures, we propose the minimization of an entropy-regularized Kullback--Leibler divergence, which can be numerically realized using a primal-dual proximal splitting algorithm.
△ Less
Submitted 2 August, 2023; v1 submitted 18 April, 2023;
originally announced April 2023.
-
A Frame Decomposition of the Funk-Radon Transform
Authors:
Michael Quellmalz,
Lukas Weissinger,
Simon Hubmer,
Paul D. Erchinger
Abstract:
The Funk-Radon transform assigns to a function defined on the unit sphere its integrals along all great circles of the sphere. In this paper, we consider a frame decomposition of the Funk-Radon transform, which is a flexible alternative to the singular value decomposition. In particular, we construct a novel frame decomposition based on trigonometric polynomials and show its application for the in…
▽ More
The Funk-Radon transform assigns to a function defined on the unit sphere its integrals along all great circles of the sphere. In this paper, we consider a frame decomposition of the Funk-Radon transform, which is a flexible alternative to the singular value decomposition. In particular, we construct a novel frame decomposition based on trigonometric polynomials and show its application for the inversion of the Funk-Radon transform. Our theoretical findings are verified by numerical experiments, which also incorporate a regularization scheme.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
A double Fourier sphere method for $d$-dimensional manifolds
Authors:
Sophie Mildenberger,
Michael Quellmalz
Abstract:
The double Fourier sphere (DFS) method uses a clever trick to transform a function defined on the unit sphere to the torus and subsequently approximate it by a Fourier series, which can be evaluated efficiently via fast Fourier transforms. Similar approaches have emerged for approximation problems on the disk, the ball, and the cylinder. In this paper, we introduce a generalized DFS method applica…
▽ More
The double Fourier sphere (DFS) method uses a clever trick to transform a function defined on the unit sphere to the torus and subsequently approximate it by a Fourier series, which can be evaluated efficiently via fast Fourier transforms. Similar approaches have emerged for approximation problems on the disk, the ball, and the cylinder. In this paper, we introduce a generalized DFS method applicable to various manifolds, including all the above-mentioned cases and many more, such as the rotation group. This approach consists in transforming a function defined on a manifold to the torus of the same dimension. We show that the Fourier series of the transformed function can be transferred back to the manifold, where it converges uniformly to the original function. In particular, we obtain analytic convergence rates in case of Hölder-continuous functions on the manifold.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
Total Variation-Based Reconstruction and Phase Retrieval for Diffraction Tomography with an Arbitrarily Moving Object
Authors:
Robert Beinert,
Michael Quellmalz
Abstract:
We consider the imaging problem of the reconstruction of a three-dimensional object via optical diffraction tomography under the assumptions of the Born approximation. Our focus lies in the situation that a rigid object performs an irregular, time-dependent rotation under acoustical or optical forces. In this study, we compare reconstruction algorithms in case i) that two-dimensional images of the…
▽ More
We consider the imaging problem of the reconstruction of a three-dimensional object via optical diffraction tomography under the assumptions of the Born approximation. Our focus lies in the situation that a rigid object performs an irregular, time-dependent rotation under acoustical or optical forces. In this study, we compare reconstruction algorithms in case i) that two-dimensional images of the complex-valued wave are known, or ii) that only the intensity (absolute value) of these images can be measured, which is the case in many practical setups. The latter phase-retrieval problem can be solved by an all-at-once approach based utilizing a hybrid input-output scheme with TV regularization.
△ Less
Submitted 15 November, 2022; v1 submitted 7 October, 2022;
originally announced October 2022.
-
Motion Detection in Diffraction Tomography by Common Circle Methods
Authors:
Michael Quellmalz,
Peter Elbau,
Otmar Scherzer,
Gabriele Steidl
Abstract:
The method of common lines is a well-established reconstruction technique in cryogenic electron microscopy (cryo-EM), which can be used to extract the relative orientations of an object given tomographic projection images from different directions.
In this paper, we deal with an analogous problem in optical diffraction tomography. Based on the Fourier diffraction theorem, we show that rigid moti…
▽ More
The method of common lines is a well-established reconstruction technique in cryogenic electron microscopy (cryo-EM), which can be used to extract the relative orientations of an object given tomographic projection images from different directions.
In this paper, we deal with an analogous problem in optical diffraction tomography. Based on the Fourier diffraction theorem, we show that rigid motions of the object, i.e., rotations and translations, can be determined by detecting common circles in the Fourier-transformed data. We introduce two methods to identify common circles. The first one is motivated by the common line approach for projection images and detects the relative orientation by parameterizing the common circles in the two images. The second one assumes a smooth motion over time and calculates the angular velocity of the rotational motion via an infinitesimal version of the common circle method. Interestingly, using the stereographic projection, both methods can be reformulated as common line methods, but these lines are, in contrast to those used in cryo-EM, not confined to pass through the origin and allow for a full reconstruction of the relative orientations. Numerical proof-of-the-concept examples demonstrate the performance of our reconstruction methods.
△ Less
Submitted 8 May, 2023; v1 submitted 16 September, 2022;
originally announced September 2022.
-
Accelerating the Sinkhorn algorithm for sparse multi-marginal optimal transport by fast Fourier transforms
Authors:
Fatima Antarou Ba,
Michael Quellmalz
Abstract:
We consider the numerical solution of the discrete multi-marginal optimal transport (MOT) by means of the Sinkhorn algorithm. In general, the Sinkhorn algorithm suffers from the curse of dimensionality with respect to the number of marginals. If the MOT cost function decouples according to a tree or circle, its complexity is linear in the number of marginal measures. In this case, we speed up the…
▽ More
We consider the numerical solution of the discrete multi-marginal optimal transport (MOT) by means of the Sinkhorn algorithm. In general, the Sinkhorn algorithm suffers from the curse of dimensionality with respect to the number of marginals. If the MOT cost function decouples according to a tree or circle, its complexity is linear in the number of marginal measures. In this case, we speed up the convolution with the radial kernel required in the Sinkhorn algorithm by non-uniform fast Fourier methods. Each step of the proposed accelerated Sinkhorn algorithm with a tree-structured cost function has a complexity of $\mathcal O(K N)$ instead of the classical $\mathcal O(K N^2)$ for straightforward matrix-vector operations, where $K$ is the number of marginals and each marginal measure is supported on at most $N$ points. In case of a circle-structured cost function, the complexity improves from $\mathcal O(K N^3)$ to $\mathcal O(K N^2)$. This is confirmed by numerical experiments.
△ Less
Submitted 21 February, 2023; v1 submitted 5 August, 2022;
originally announced August 2022.
-
Total variation-based reconstruction and phase retrieval for diffraction tomography
Authors:
Robert Beinert,
Michael Quellmalz
Abstract:
In optical diffraction tomography (ODT), the three-dimensional scattering potential of a microscopic object rotating around its center is recovered by a series of illuminations with coherent light. Reconstruction algorithms such as the filtered backpropagation require knowledge of the complex-valued wave at the measurement plane, whereas often only intensities, i.e., phaseless measurements, are av…
▽ More
In optical diffraction tomography (ODT), the three-dimensional scattering potential of a microscopic object rotating around its center is recovered by a series of illuminations with coherent light. Reconstruction algorithms such as the filtered backpropagation require knowledge of the complex-valued wave at the measurement plane, whereas often only intensities, i.e., phaseless measurements, are available in practice.
We propose a new reconstruction approach for ODT with unknown phase information based on three key ingredients. First, the light propagation is modeled using Born's approximation enabling us to use the Fourier diffraction theorem. Second, we stabilize the inversion of the non-uniform discrete Fourier transform via total variation regularization utilizing a primal-dual iteration, which also yields a novel numerical inversion formula for ODT with known phase. The third ingredient is a hybrid input-output scheme. We achieved convincing numerical results, which indicate that ODT with phaseless data is possible. The so-obtained 2D and 3D reconstructions are even comparable to the ones with known phase.
△ Less
Submitted 1 June, 2022; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Diffraction Tomography, Fourier Reconstruction, and Full Waveform Inversion
Authors:
Florian Faucher,
Clemens Kirisits,
Michael Quellmalz,
Otmar Scherzer,
Eric Setterqvist
Abstract:
In this paper, we study the mathematical imaging problem of diffraction tomography (DT), which is an inverse scattering technique used to find material properties of an object by illuminating it with probing waves and recording the scattered waves. Conventional DT relies on the Fourier diffraction theorem, which is applicable under the condition of weak scattering. However, if the object has high…
▽ More
In this paper, we study the mathematical imaging problem of diffraction tomography (DT), which is an inverse scattering technique used to find material properties of an object by illuminating it with probing waves and recording the scattered waves. Conventional DT relies on the Fourier diffraction theorem, which is applicable under the condition of weak scattering. However, if the object has high contrasts or is too large compared to the wavelength, it tends to produce multiple scattering, which complicates the reconstruction. We give a survey on diffraction tomography and compare the reconstruction of low and high contrast objects. We also implement and compare the reconstruction using the full waveform inversion method which, contrary to the Born and Rytov approximations, works with the total field and is more robust to multiple scattering.
△ Less
Submitted 4 March, 2022; v1 submitted 15 October, 2021;
originally announced October 2021.
-
Approximation properties of the double Fourier sphere method
Authors:
Sophie Mildenberger,
Michael Quellmalz
Abstract:
We investigate analytic properties of the double Fourier sphere (DFS) method, which transforms a function defined on the two-dimensional sphere to a function defined on the two-dimensional torus. Then the resulting function can be written as a Fourier series yielding an approximation of the original function. We show that the DFS method preserves smoothness: it continuously maps spherical Hölder s…
▽ More
We investigate analytic properties of the double Fourier sphere (DFS) method, which transforms a function defined on the two-dimensional sphere to a function defined on the two-dimensional torus. Then the resulting function can be written as a Fourier series yielding an approximation of the original function. We show that the DFS method preserves smoothness: it continuously maps spherical Hölder spaces into the respective spaces on the torus, but it does not preserve spherical Sobolev spaces in the same manner. Furthermore, we prove sufficient conditions for the absolute convergence of the resulting series expansion on the sphere as well as results on the speed of convergence.
△ Less
Submitted 12 August, 2021;
originally announced August 2021.
-
Fourier reconstruction for diffraction tomography of an object rotated into arbitrary orientations
Authors:
Clemens Kirisits,
Michael Quellmalz,
Monika Ritsch-Marte,
Otmar Scherzer,
Eric Setterqvist,
Gabriele Steidl
Abstract:
In this paper, we study the mathematical imaging problem of optical diffraction tomography (ODT) for the scenario of a microscopic rigid particle rotating in a trap created, for instance, by acoustic or optical forces. Under the influence of the inhomogeneous forces the particle carries out a time-dependent smooth, but complicated motion described by a set of affine transformations. The rotation o…
▽ More
In this paper, we study the mathematical imaging problem of optical diffraction tomography (ODT) for the scenario of a microscopic rigid particle rotating in a trap created, for instance, by acoustic or optical forces. Under the influence of the inhomogeneous forces the particle carries out a time-dependent smooth, but complicated motion described by a set of affine transformations. The rotation of the particle enables one to record optical images from a wide range of angles, which largely eliminates the "missing cone problem" in optics. This advantage, however, comes at the price that the rotation axis in this scenario is not fixed, but continuously undergoes some variations, and that the rotation angles are not equally spaced, which is in contrast to standard tomographic reconstruction assumptions. In the present work, we assume that the time-dependent motion parameters are known, and that the particle's scattering potential is compatible with making the first order Born or Rytov approximation. We prove a Fourier diffraction theorem and derive novel backprojection formulae for the reconstruction of the scattering potential, which depends on the refractive index distribution inside the object, taking its complicated motion into account. This provides the basis for solving the ODT problem with an efficient non-uniform discrete Fourier transform.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Continuous Wavelet Frames on the Sphere: The Group-Theoretic Approach Revisited
Authors:
S. Dahlke,
F. De Mari,
E. De Vito,
M. Hansen,
M. Hasannasab,
M. Quellmalz,
G. Steidl,
G. Teschke
Abstract:
In \cite{AV99}, Antoine and Vandergheynst propose a group-theoretic approach to continuous wavelet frames on the sphere. The frame is constructed from a single so-called admissible function by applying the unitary operators associated to a representation of the Lorentz group, which is square-integrable modulo the nilpotent factor of the Iwasawa decomposition. We prove necessary and sufficient cond…
▽ More
In \cite{AV99}, Antoine and Vandergheynst propose a group-theoretic approach to continuous wavelet frames on the sphere. The frame is constructed from a single so-called admissible function by applying the unitary operators associated to a representation of the Lorentz group, which is square-integrable modulo the nilpotent factor of the Iwasawa decomposition. We prove necessary and sufficient conditions for functions on the sphere, which ensure that the corresponding system is a frame. We strengthen a similar result in \cite{AV99} by providing a complete and detailed proof.
△ Less
Submitted 24 December, 2020;
originally announced December 2020.
-
The Funk-Radon transform for hyperplane sections through a common point
Authors:
Michael Quellmalz
Abstract:
The Funk-Radon transform, also known as the spherical Radon transform, assigns to a function on the sphere its mean values along all great circles. Since its invention by Paul Funk in 1911, the Funk-Radon transform has been generalized to other families of circles as well as to higher dimensions. We are particularly interested in the following generalization: we consider the intersections of the s…
▽ More
The Funk-Radon transform, also known as the spherical Radon transform, assigns to a function on the sphere its mean values along all great circles. Since its invention by Paul Funk in 1911, the Funk-Radon transform has been generalized to other families of circles as well as to higher dimensions. We are particularly interested in the following generalization: we consider the intersections of the sphere with hyperplanes containing a common point inside the sphere. If this point is the origin, this is the same as the aforementioned Funk--Radon transform. We give an injectivity result and a range characterization of this generalized Radon transform by finding a relation with the classical Funk--Radon transform.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
The cone-beam transform and spherical convolution operators
Authors:
Michael Quellmalz,
Ralf Hielscher,
Alfred K. Louis
Abstract:
The cone-beam transform consists of integrating a function defined on the three-dimensional space along every ray that starts on a certain scanning set. Based on Grangeat's formula, Louis [2016, Inverse Problems 32 115005] states reconstruction formulas based on a new generalized Funk-Radon transform on the sphere. In this article, we give a singular value decomposition of this generalized Funk-Ra…
▽ More
The cone-beam transform consists of integrating a function defined on the three-dimensional space along every ray that starts on a certain scanning set. Based on Grangeat's formula, Louis [2016, Inverse Problems 32 115005] states reconstruction formulas based on a new generalized Funk-Radon transform on the sphere. In this article, we give a singular value decomposition of this generalized Funk-Radon transform. We use this result to derive a singular value decomposition of the cone-beam transform with sources on the sphere thus generalizing a result of Kazantsev [2015, J. Inverse Ill-Posed Probl. 23(2):173-185].
△ Less
Submitted 12 August, 2021; v1 submitted 28 March, 2018;
originally announced March 2018.
-
An SVD in Spherical Surface Wave Tomography
Authors:
Ralf Hielscher,
Daniel Potts,
Michael Quellmalz
Abstract:
In spherical surface wave tomography, one measures the integrals of a function defined on the sphere along great circle arcs. This forms a generalization of the Funk--Radon transform, which assigns to a function its integrals along full great circles. We show a singular value decomposition (SVD) for the surface wave tomography provided we have full data. Since the inversion problem is overdetermin…
▽ More
In spherical surface wave tomography, one measures the integrals of a function defined on the sphere along great circle arcs. This forms a generalization of the Funk--Radon transform, which assigns to a function its integrals along full great circles. We show a singular value decomposition (SVD) for the surface wave tomography provided we have full data. Since the inversion problem is overdetermined, we consider some special cases in which we only know the integrals along certain arcs. For the case of great circle arcs with fixed opening angle, we also obtain an SVD that implies the injectivity, generalizing a previous result for half circles in [Groemer, On a spherical integral transform and sections of star bodies, Monatsh. Math., 126(2):117--124, 1998]. Furthermore, we derive a numerical algorithm based on the SVD and illustrate its merchantability by numerical tests.
△ Less
Submitted 30 August, 2017; v1 submitted 16 June, 2017;
originally announced June 2017.
