-
Fast spectroscopic imaging using extreme ultraviolet interferometry
Authors:
Hannah C. Strauch,
Fengling Zhang,
Stefan Mathias,
Thorsten Hohage,
Stefan Witte,
G. S. Matthijs Jansen
Abstract:
Extreme ultraviolet pulses as generated by high harmonic generation (HHG) are a powerful tool for both time-resolved spectroscopy and coherent diffractive imaging. However, the integration of spectroscopy and microscopy to harness the unique broadband spectra provided by HHG is hardly explored due to the challenge to decouple spectroscopic and microscopic information. Here, we present an interfero…
▽ More
Extreme ultraviolet pulses as generated by high harmonic generation (HHG) are a powerful tool for both time-resolved spectroscopy and coherent diffractive imaging. However, the integration of spectroscopy and microscopy to harness the unique broadband spectra provided by HHG is hardly explored due to the challenge to decouple spectroscopic and microscopic information. Here, we present an interferometric approach to this problem that combines Fourier transform spectroscopy (FTS) with Fourier transform holography (FTH). This is made possible by the generation of phase-locked pulses using a pair of HHG sources. Crucially, in our geometry the number of interferometric measurements required is at most equal to the number of high harmonics in the illumination, and can be further reduced by incorporating prior knowledge about the structure of the FTH sample. Compared to conventional FTS, this approach achieves over an order of magnitude increase in acquisition speed for full spectro-microscopic data, and furthermore allows diffraction-limited computational imaging.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Inferring solar differential rotation and viscosity via passive imaging with inertial waves
Authors:
Tram Thi Ngoc Nguyen,
Thorsten Hohage,
Damien Fournier,
Laurent Gizon
Abstract:
The recent discovery of inertial waves on the surface of the Sun offers new possibilities to learn about the solar interior. These waves are long-lived with a period on the order of the Sun rotation period ($\sim$27 days) and are sensitive to parameters deep inside the Sun. They are excited by turbulent convection, leading to a passive imaging problem. In this work, we present the forward and inve…
▽ More
The recent discovery of inertial waves on the surface of the Sun offers new possibilities to learn about the solar interior. These waves are long-lived with a period on the order of the Sun rotation period ($\sim$27 days) and are sensitive to parameters deep inside the Sun. They are excited by turbulent convection, leading to a passive imaging problem. In this work, we present the forward and inverse problem of reconstructing viscosity and differential rotation on the Sun from cross-covariance observations of these inertial waves.
△ Less
Submitted 22 March, 2024; v1 submitted 1 March, 2024;
originally announced March 2024.
-
Phase retrieval beyond the homogeneous object assumption for X-ray in-line holographic imaging
Authors:
Jens Lucht,
Leon M. Lohse,
Thorsten Hohage,
Tim Salditt
Abstract:
X-ray near field holography has proven to be a powerful 2D and 3D imaging technique with applications ranging from biomedical research to material sciences. To reconstruct meaningful and quantitative images from the measurement intensities, however, it relies on computational phase retrieval which in many cases assumes the phase-shift and attenuation coefficient of the sample to be proportional. H…
▽ More
X-ray near field holography has proven to be a powerful 2D and 3D imaging technique with applications ranging from biomedical research to material sciences. To reconstruct meaningful and quantitative images from the measurement intensities, however, it relies on computational phase retrieval which in many cases assumes the phase-shift and attenuation coefficient of the sample to be proportional. Here, we demonstrate an efficient phase retrieval algorithm that does not rely on this homogeneous-object assumption and is a generalization of the well-established contrast-transfer-function (CTF) approach. We then investigate its stability and present an experimental study comparing the proposed algorithm with established methods. The algorithm shows superior reconstruction quality compared to the established CTF-based method at similar computational cost. Our analysis provides a deeper fundamental understanding of the homogeneous object assumption and the proposed algorithm will help improve the image quality for near-field holography in biomedical applications
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Learned infinite elements for helioseismology -- Learning transparent boundary conditions for the solar atmosphere
Authors:
Damien Fournier,
Janosch Preuss,
Thorsten Hohage,
Laurent Gizon
Abstract:
Context. Acoustic waves in the Sun are affected by the atmospheric layers, but this region is often ignored in forward models due to the increase in computational cost. Aims. The purpose of this work is to take into account the solar atmosphere without increasing significantly the computational cost. Methods. We solve a scalar wave equation that describes the propagation of acoustic modes inside t…
▽ More
Context. Acoustic waves in the Sun are affected by the atmospheric layers, but this region is often ignored in forward models due to the increase in computational cost. Aims. The purpose of this work is to take into account the solar atmosphere without increasing significantly the computational cost. Methods. We solve a scalar wave equation that describes the propagation of acoustic modes inside the Sun using a finite element method. The boundary conditions used to truncate the computational domain are learned from the Dirichlet-to-Neumann operator, that is the relation between the solution and its normal derivative at the computational boundary. These boundary conditions may be applied at any height above which the background medium is assumed to be radially symmetric. Results. Taking into account the atmosphere is important even for wave frequencies below the acoustic cut-off. In particular, the mode frequencies computed for an isothermal atmosphere differ by up 10 μHz from those computed for the VAL-C atmospheric model. We show that learned infinite elements lead to a numerical accuracy similar to that obtained for a traditional radiation boundary condition. Its main advantage is to reproduce the solution for any radially symmetric atmosphere to a very good accuracy at a low computational cost. Conclusions. This work emphasizes the importance of including atmospheric layers in helioseismology and proposes a computationally efficient method to do so.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
A new numerical method for scalar eigenvalue problems in heterogeneous, dispersive, sign-changing materials
Authors:
Martin Halla,
Thorsten Hohage,
Florian Oberender
Abstract:
We consider time-harmonic scalar transmission problems between dielectric and dispersive materials with generalized Lorentz frequency laws. For certain frequency ranges such equations involve a sign-change in their principle part. Due to the resulting loss of coercivity properties, the numerical simulation of such problems is demanding. Furthermore, the related eigenvalue problems are nonlinear an…
▽ More
We consider time-harmonic scalar transmission problems between dielectric and dispersive materials with generalized Lorentz frequency laws. For certain frequency ranges such equations involve a sign-change in their principle part. Due to the resulting loss of coercivity properties, the numerical simulation of such problems is demanding. Furthermore, the related eigenvalue problems are nonlinear and give rise to additional challenges. We present a new finite element method for both of these types of problems, which is based on a weakly coercive reformulation of the PDE. The new scheme can handle $C^{1,1}$-interfaces consisting piecewise of elementary geometries. Neglecting quadrature errors, the method allows for a straightforward convergence analysis. In our implementation we apply a simple, but nonstandard quadrature rule to achieve negligible quadrature errors. We present computational experiments in 2D and 3D for both source and eigenvalue problems which confirm the stability and convergence of the new scheme.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Quantitative passive imaging by iterative holography: The example of helioseismic holography
Authors:
Björn Müller,
Thorsten Hohage,
Damien Fournier,
Laurent Gizon
Abstract:
In passive imaging, one attempts to reconstruct some coefficients in a wave equation from correlations of observed randomly excited solutions to this wave equation. Many methods proposed for this class of inverse problem so far are only qualitative, e.g., trying to identify the support of a perturbation. Major challenges are the increase in dimensionality when computing correlations from primary d…
▽ More
In passive imaging, one attempts to reconstruct some coefficients in a wave equation from correlations of observed randomly excited solutions to this wave equation. Many methods proposed for this class of inverse problem so far are only qualitative, e.g., trying to identify the support of a perturbation. Major challenges are the increase in dimensionality when computing correlations from primary data in a preprocessing step, and often very poor pointwise signal-to-noise ratios. In this paper, we propose an approach that addresses both of these challenges: It works only on the primary data while implicitly using the full information contained in the correlation data, and it provides quantitative estimates and convergence by iteration.
Our work is motivated by helioseismic holography, a well-established imaging method to map heterogenities and flows in the solar interior. We show that the back-propagation used in classical helioseismic holography can be interpreted as the adjoint of the Fréchet derivative of the operator which maps the properties of the solar interior to the correlation data on the solar surface. The theoretical and numerical framework for passive imaging problems developed in this paper extends helioseismic holography to nonlinear problems and allows for quantitative reconstructions. We present a proof of concept in uniform media.
△ Less
Submitted 11 March, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Convergence Rates for Oversmoothing Banach Space Regularization
Authors:
Philip Miller,
Thorsten Hohage
Abstract:
This paper studies Tikhonov regularization for finitely smoothing operators in Banach spaces when the penalization enforces too much smoothness in the sense that the penalty term is not finite at the true solution. In a Hilbert space setting, Natterer (1984) showed with the help of spectral theory that optimal rates can be achieved in this situation. ('Oversmoothing does not harm.') For oversmooth…
▽ More
This paper studies Tikhonov regularization for finitely smoothing operators in Banach spaces when the penalization enforces too much smoothness in the sense that the penalty term is not finite at the true solution. In a Hilbert space setting, Natterer (1984) showed with the help of spectral theory that optimal rates can be achieved in this situation. ('Oversmoothing does not harm.') For oversmoothing variational regularization in Banach spaces only very recently progress has been achieved in several papers on different settings, all of which construct families of smooth approximations to the true solution. In this paper we propose to construct such a family of smooth approximations based on $K$-interpolation theory. We demonstrate that this leads to simple, self-contained proofs and to rather general results. In particular, we obtain optimal convergence rates for bounded variation regularization, general Besov penalty terms and $\ell^p$ wavelet penalization with $p<1$ which cannot be treated by previous approaches. We also derive minimax optimal rates for white noise models. Our theoretical results are confirmed in numerical experiments.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
Learned infinite elements
Authors:
Thorsten Hohage,
Christoph Lehrenfeld,
Janosch Preuss
Abstract:
We study the numerical solution of scalar time-harmonic wave equations on unbounded domains which can be split into a bounded interior domain of primary interest and an exterior domain with separable geometry. To compute the solution in the interior domain, approximations to the Dirichlet-to-Neumann (DtN) map of the exterior domain have to be imposed as transparent boundary conditions on the artif…
▽ More
We study the numerical solution of scalar time-harmonic wave equations on unbounded domains which can be split into a bounded interior domain of primary interest and an exterior domain with separable geometry. To compute the solution in the interior domain, approximations to the Dirichlet-to-Neumann (DtN) map of the exterior domain have to be imposed as transparent boundary conditions on the artificial coupling boundary. Although the DtN map can be computed by separation of variables, it is a nonlocal operator with dense matrix representations, and hence computationally inefficient. Therefore, approximations of DtN maps by sparse matrices, usually involving additional degrees of freedom, have been studied intensively in the literature using a variety of approaches including different types of infinite elements, local non-reflecting boundary conditions, and perfectly matched layers. The entries of these sparse matrices are derived analytically, e.g. from transformations or asymptotic expansions of solutions to the differential equation in the exterior domain. In contrast, in this paper we propose to `learn' the matrix entries from the DtN map in its separated form by solving an optimization problem as a preprocessing step. Theoretical considerations suggest that the approximation quality of learned infinite elements improves exponentially with increasing number of infinite element degrees of freedom, which is confirmed in numerical experiments. These numerical studies also show that learned infinite elements outperform state-of-the-art methods for the Helmholtz equation. At the same time, learned infinite elements are much more flexible than traditional methods as they, e.g., work similarly well for exterior domains involving strong reflections, for example, for the atmosphere of the Sun, which is strongly inhomogeneous and exhibits reflections at the corona.
△ Less
Submitted 10 June, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
A spectrally accurate method for the dielectric obstacle scattering problem and applications to the inverse problem
Authors:
Thorsten Hohage,
Frédérique Le Louër
Abstract:
We analyze the inverse problem to reconstruct the shape of a three dimensional homogeneous dielectric obstacle from the knowledge of noisy far field data. The forward problem is solved by a system of second kind boundary integral equations. For the numerical solution of these coupled integral equations we propose a fast spectral algorithm by transporting these equations onto the unit sphere. We re…
▽ More
We analyze the inverse problem to reconstruct the shape of a three dimensional homogeneous dielectric obstacle from the knowledge of noisy far field data. The forward problem is solved by a system of second kind boundary integral equations. For the numerical solution of these coupled integral equations we propose a fast spectral algorithm by transporting these equations onto the unit sphere. We review the differentiability properties of the boundary to far field operator and give a characterization of the adjoint operator of the first Fréchet derivative. Using these results we discuss the implementation of the iteratively regularized Gauss-Newton method for the numerical solution of the inverse problem and give numerical results for star-shaped obstacles.
△ Less
Submitted 18 June, 2020;
originally announced June 2020.
-
On the well-posedness of the damped time-harmonic Galbrun equation and the equations of stellar oscillations
Authors:
Martin Halla,
Thorsten Hohage
Abstract:
We study the time-harmonic Galbrun equation describing the propagation of sound in the presence of a steady background flow. With additional rotational and gravitational terms these equations are also fundamental in helio- and asteroseismology as a model for stellar oscillations. For a simple dam** model we prove well-posedness of these equations, i.e. uniqueness, existence, and stability of sol…
▽ More
We study the time-harmonic Galbrun equation describing the propagation of sound in the presence of a steady background flow. With additional rotational and gravitational terms these equations are also fundamental in helio- and asteroseismology as a model for stellar oscillations. For a simple dam** model we prove well-posedness of these equations, i.e. uniqueness, existence, and stability of solutions under mild conditions on the parameters (essentially subsonic flows). The main tool of our analysis is a generalized Helmholtz decomposition.
△ Less
Submitted 13 June, 2020;
originally announced June 2020.
-
Maximal Spaces for Approximation Rates in $\ell^1$-regularization
Authors:
Philip Miller,
Thorsten Hohage
Abstract:
We study Tikhonov regularization for possibly nonlinear inverse problems with weighted $\ell^1$-penalization. The forward operator, map** from a sequence space to an arbitrary Banach space, typically an $L^2$-space, is assumed to satisfy a two-sided Lipschitz condition with respect to a weighted $\ell^2$-norm and the norm of the image space. We show that in this setting approximation rates of ar…
▽ More
We study Tikhonov regularization for possibly nonlinear inverse problems with weighted $\ell^1$-penalization. The forward operator, map** from a sequence space to an arbitrary Banach space, typically an $L^2$-space, is assumed to satisfy a two-sided Lipschitz condition with respect to a weighted $\ell^2$-norm and the norm of the image space. We show that in this setting approximation rates of arbitrarily high Hölder-type order in the regularization parameter can be achieved, and we characterize maximal subspaces of sequences on which these rates are attained. On these subspaces the method also converges with optimal rates in terms of the noise level with the discrepancy principle as parameter choice rule. Our analysis includes the case that the penalty term is not finite at the exact solution ('oversmoothing'). As a standard example we discuss wavelet regularization in Besov spaces $B^r_{1,1}$. In this setting we demonstrate in numerical simulations for a parameter identification problem in a differential equation that our theoretical results correctly predict improved rates of convergence for piecewise smooth unknown coefficients.
△ Less
Submitted 18 October, 2021; v1 submitted 29 May, 2020;
originally announced May 2020.
-
Weighted Data Spaces for Correlation-Based Array Imaging in Experimental Aeroacoustics
Authors:
Hans-Georg Raumer,
Carsten Spehr,
Thorsten Hohage,
Daniel Ernst
Abstract:
This article discusses aeroacoustic imaging methods based on correlation measurements in the frequency domain. Standard methods in this field assume that the estimated correlation matrix is superimposed with additive white noise. In this paper we present a mathematical model for the measurement process covering arbitrarily correlated noise. The covariance matrix of correlation data is given in ter…
▽ More
This article discusses aeroacoustic imaging methods based on correlation measurements in the frequency domain. Standard methods in this field assume that the estimated correlation matrix is superimposed with additive white noise. In this paper we present a mathematical model for the measurement process covering arbitrarily correlated noise. The covariance matrix of correlation data is given in terms of fourth order moments. The aim of this paper is to explore the use of such additional information on the measurement data in imaging methods. For this purpose a class of weighted data spaces is introduced, where each data space naturally defines an associated beamforming method with a corresponding point spread function. This generic class of beamformers contains many well-known methods such as Conventional Beamforming, (Robust) Adaptive Beamforming or beamforming with shading. This article examines in particular weightings that depend on the noise (co)variances. In a theoretical analysis we prove that the beamformer, weighted by the full noise covariance matrix, has minimal variance among all beamformers from the described class. Application of the (co)variance weighted methods on synthetic and experimental data show that the resolution of the results is improved and noise effects are reduced.
△ Less
Submitted 26 November, 2020; v1 submitted 27 May, 2020;
originally announced May 2020.
-
Swee** preconditioners for stratified media in the presence of reflections
Authors:
Janosch Preuß,
Thorsten Hohage,
Christoph Lehrenfeld
Abstract:
In this paper we consider swee** preconditioners for time harmonic wave propagation in stratified media, especially in the presence of reflections. In the most famous class of swee** preconditioners Dirichlet-to-Neumann operators for half-space problems are approximated through absorbing boundary conditions. In the presence of reflections absorbing boundary conditions are not accurate resultin…
▽ More
In this paper we consider swee** preconditioners for time harmonic wave propagation in stratified media, especially in the presence of reflections. In the most famous class of swee** preconditioners Dirichlet-to-Neumann operators for half-space problems are approximated through absorbing boundary conditions. In the presence of reflections absorbing boundary conditions are not accurate resulting in an unsatisfactory performance of these swee** preconditioners. We explore the potential of using more accurate Dirichlet-to-Neumann operators within the sweep. To this end, we make use of the separability of the equation for the background model. While this improves the accuracy of the Dirichlet-to-Neumann operator, we find both from numerical tests and analytical arguments that it is very sensitive to perturbations in the presence of reflections. This implies that even if accurate approximations to Dirichlet-to-Neumann operators can be devised for a stratified medium, swee** preconditioners are limited to very small perturbations.
△ Less
Submitted 10 June, 2020; v1 submitted 27 February, 2020;
originally announced February 2020.
-
Uniqueness of an inverse source problem in experimental aeroacoustics
Authors:
Thorsten Hohage,
Hans-Georg Raumer,
Carsten Spehr
Abstract:
This paper is concerned with the mathematical analysis of experimental methods for the estimation of the power of an uncorrelated, extended aeroacoustic source from measurements of correlations of pressure fluctuations. We formulate a continuous, infinite dimensional model describing these experimental techniques based on the convected Helmholtz equation in $\mathbb{R}^3$ or $\mathbb{R}^2$. As a m…
▽ More
This paper is concerned with the mathematical analysis of experimental methods for the estimation of the power of an uncorrelated, extended aeroacoustic source from measurements of correlations of pressure fluctuations. We formulate a continuous, infinite dimensional model describing these experimental techniques based on the convected Helmholtz equation in $\mathbb{R}^3$ or $\mathbb{R}^2$. As a main result we prove that an unknown, compactly supported source power function is uniquely determined by idealized, noise-free correlation measurements. Our framework further allows for a precise characterization of state-of-the-art source reconstruction methods and their interrelations.
△ Less
Submitted 27 March, 2020; v1 submitted 23 December, 2019;
originally announced December 2019.
-
Global uniqueness in a passive inverse problem of helioseismology
Authors:
A. D. Agaltsov,
T. Hohage,
R. G. Novikov
Abstract:
We consider the inverse problem of recovering the spherically symmetric sound speed, density and attenuation in the Sun from the observations of the acoustic field randomly excited by turbulent convection. We show that observations at two heights above the photosphere and at two frequencies above the acoustic cutoff frequency uniquely determine the solar parameters. We also present numerical simul…
▽ More
We consider the inverse problem of recovering the spherically symmetric sound speed, density and attenuation in the Sun from the observations of the acoustic field randomly excited by turbulent convection. We show that observations at two heights above the photosphere and at two frequencies above the acoustic cutoff frequency uniquely determine the solar parameters. We also present numerical simulations which confirm this theoretical result.
△ Less
Submitted 12 July, 2019;
originally announced July 2019.
-
Density Matrix Reconstructions in Ultrafast Transmission Electron Microscopy: Uniqueness, Stability, and Convergence Rates
Authors:
Cong Shi,
Claus Ropers,
Thorsten Hohage
Abstract:
In the recent paper [17] the first experimental determination of the density matrix of a free electron beam has been reported. The employed method leads to a linear inverse problem with a positive semidefinite operator as unknown. The purpose of this paper is to complement the experimental and algorithmic results in the work mentioned above by a mathematical analysis of the inverse problem concern…
▽ More
In the recent paper [17] the first experimental determination of the density matrix of a free electron beam has been reported. The employed method leads to a linear inverse problem with a positive semidefinite operator as unknown. The purpose of this paper is to complement the experimental and algorithmic results in the work mentioned above by a mathematical analysis of the inverse problem concerning uniqueness, stability, and rates of convergence under different types of a-priori information.
△ Less
Submitted 9 July, 2019; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Elastic energy regularization for inverse obstacle scattering problems
Authors:
Julian Eckhardt,
Ralf Hiptmair,
Thorsten Hohage,
Henrik Schumacher,
Max Wardetzky
Abstract:
By introducing a shape manifold as a solution set to solve inverse obstacle scattering problems we allow the reconstruction of general, not necessarily star-shaped curves. The bending energy is used as a stabilizing term in Tikhonov regularization to gain independence of the parametrization. Moreover, we discuss how self-intersections can be avoided by penalization with the Möbius energy and prove…
▽ More
By introducing a shape manifold as a solution set to solve inverse obstacle scattering problems we allow the reconstruction of general, not necessarily star-shaped curves. The bending energy is used as a stabilizing term in Tikhonov regularization to gain independence of the parametrization. Moreover, we discuss how self-intersections can be avoided by penalization with the Möbius energy and prove the regularizing property of our approach as well as convergence rates under variational source conditions.
In the second part of the paper the discrete setting is introduced, and we describe a numerical method for finding the minimizer of the Tikhonov functional on a shape-manifold. Numerical examples demonstrate the feasibility of reconstructing non-star-shaped obstacles.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
Optimal convergence rates for sparsity promoting wavelet-regularization in Besov spaces
Authors:
Thorsten Hohage,
Philip Miller
Abstract:
This paper deals with Tikhonov regularization for linear and nonlinear ill-posed operator equations with wavelet Besov norm penalties. We focus on $B^0_{p,1}$ penalty terms which yield estimators that are sparse with respect to a wavelet frame. Our framework includes among others, the Radon transform and some nonlinear inverse problems in differential equations with distributed measurements. Using…
▽ More
This paper deals with Tikhonov regularization for linear and nonlinear ill-posed operator equations with wavelet Besov norm penalties. We focus on $B^0_{p,1}$ penalty terms which yield estimators that are sparse with respect to a wavelet frame. Our framework includes among others, the Radon transform and some nonlinear inverse problems in differential equations with distributed measurements. Using variational source conditions it is shown that such estimators achieve minimax-optimal rates of convergence for finitely smoothing operators in certain Besov balls both for deterministic and for statistical noise models.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
An iterative approach to monochromatic phaseless inverse scattering
Authors:
Alexey Agaltsov,
Thorsten Hohage,
Roman Novikov
Abstract:
This paper is concerned with the inverse problem to recover a compactly supported Schr{ö}dinger potential given the differential scattering cross section, i.e. the modulus, but not the phase of the scattering amplitude. To compensate for the missing phase information we assume additional measurements of the differential cross section in the presence of known background objects. We propose an iter…
▽ More
This paper is concerned with the inverse problem to recover a compactly supported Schr{ö}dinger potential given the differential scattering cross section, i.e. the modulus, but not the phase of the scattering amplitude. To compensate for the missing phase information we assume additional measurements of the differential cross section in the presence of known background objects. We propose an iterative scheme for the numerical solution of this problem and prove that it converges globally of arbitrarily high order depending on the smoothness of the unknown potential as the energy tends to infinity. At fixed energy, however, the proposed iteration does not converge to the true solution even for exact data. Nevertheless, numerical experiments show that it yields remarkably accurate approximations with small computational effort even for moderate energies. At small noise levels it may be worth to improve these approximations by a few steps of a locally convergent iterative regularization method, and we demonstrate to which extent this reduces the reconstruction error.
△ Less
Submitted 28 June, 2018;
originally announced June 2018.
-
The imaginary part of the scattering Green function: monochromatic relations to the real part and uniqueness results for inverse problems
Authors:
Alexey Agaltsov,
Thorsten Hohage,
Roman Novikov
Abstract:
For many wave propagation problems with random sources it has been demonstrated that cross correlations of wave fields are proportional to the imaginary part of the Green function of the underlying wave equation. This leads to the inverse problem to recover coefficients of a wave equation from the imaginary part of the Green function on some measurement manifold. In this paper we prove, in partic…
▽ More
For many wave propagation problems with random sources it has been demonstrated that cross correlations of wave fields are proportional to the imaginary part of the Green function of the underlying wave equation. This leads to the inverse problem to recover coefficients of a wave equation from the imaginary part of the Green function on some measurement manifold. In this paper we prove, in particular, local uniqueness results for the Schr{ö}dinger equation with one frequency and for the acoustic wave equation with unknown density and sound speed and two frequencies. As the main tool of our analysis, we establish new algebraic identities between the real and the imaginary part of Green's function, which in contrast to the well-known Kramers-Kronig relations involve only one frequency.
△ Less
Submitted 10 April, 2018;
originally announced April 2018.
-
Optimal Convergence Rates for Tikhonov Regularization in Besov Spaces
Authors:
Frederic Weidling,
Benjamin Sprung,
Thorsten Hohage
Abstract:
This paper deals with Tikhonov regularization for linear and nonlinear ill-posed operator equations with wavelet Besov norm penalties. We show order optimal rates of convergence for finitely smoothing operators and for the backwards heat equation for a range of Besov spaces using variational source conditions. We also derive order optimal rates for a white noise model with the help of variational…
▽ More
This paper deals with Tikhonov regularization for linear and nonlinear ill-posed operator equations with wavelet Besov norm penalties. We show order optimal rates of convergence for finitely smoothing operators and for the backwards heat equation for a range of Besov spaces using variational source conditions. We also derive order optimal rates for a white noise model with the help of variational source conditions and concentration inequalities for sharp negative Besov norms of the noise.
△ Less
Submitted 2 April, 2019; v1 submitted 29 March, 2018;
originally announced March 2018.
-
Higher order convergence rates for Bregman iterated variational regularization of inverse problems
Authors:
Benjamin Sprung,
Thorsten Hohage
Abstract:
We study the convergence of variationally regularized solutions to linear ill-posed operator equations in Banach spaces as the noise in the right hand side tends to $0$. The rate of this convergence is determined by abstract smoothness conditions on the solution called source conditions. For non-quadratic data fidelity or penalty terms such source conditions are often formulated in the form of var…
▽ More
We study the convergence of variationally regularized solutions to linear ill-posed operator equations in Banach spaces as the noise in the right hand side tends to $0$. The rate of this convergence is determined by abstract smoothness conditions on the solution called source conditions. For non-quadratic data fidelity or penalty terms such source conditions are often formulated in the form of variational inequalities. Such variational source conditions (VSCs) as well as other formulations of such conditions in Banach spaces have the disadvantage of yielding only low-order convergence rates. A first step towards higher order VSCs has been taken by Grasmair (2013) who obtained convergence rates up to the saturation of Tikhonov regularization. For even higher order convergence rates, iterated versions of variational regularization have to be considered. In this paper we introduce VSCs of arbitrarily high order which lead to optimal convergence rates in Hilbert spaces. For Bregman iterated variational regularization in Banach spaces with general data fidelity and penalty terms, we derive convergence rates under third order VSC. These results are further discussed for entropy regularization with elliptic pseudodifferential operators where the VSCs are interpreted in terms of Besov spaces and the optimality of the rates can be demonstrated. Our theoretical results are confirmed in numerical experiments.
△ Less
Submitted 3 July, 2018; v1 submitted 25 October, 2017;
originally announced October 2017.
-
Problems in computational helioseismology
Authors:
Laurent Gizon,
Damien Fournier,
Thorsten Hohage
Abstract:
We discuss current advances in forward and inverse modeling for local helioseismology. We report theoretical uniqueness results, in particular the Novikov-Agaltsov reconstruction algorithm, which is relevant to solving the non-linear inverse problem of time-distance helioseismology (finite amplitude pertubations to the medium). Numerical experiments were conducted to determine the number of freque…
▽ More
We discuss current advances in forward and inverse modeling for local helioseismology. We report theoretical uniqueness results, in particular the Novikov-Agaltsov reconstruction algorithm, which is relevant to solving the non-linear inverse problem of time-distance helioseismology (finite amplitude pertubations to the medium). Numerical experiments were conducted to determine the number of frequencies required to reconstruct density and sound speed in the solar interior.
△ Less
Submitted 25 July, 2017;
originally announced July 2017.
-
Attosecond Electron Pulse Trains and Quantum State Reconstruction in Ultrafast Transmission Electron Microscopy
Authors:
Katharina E. Priebe,
Christopher Rathje,
Sergey V. Yalunin,
Thorsten Hohage,
Armin Feist,
Sascha Schäfer,
Claus Ropers
Abstract:
We introduce a framework for the preparation, coherent manipulation and characterization of free-electron quantum states, experimentally demonstrating attosecond pulse trains for electron microscopy. Specifically, we employ phase-locked single-color and two-color optical fields to coherently control the electron wave function along the beam direction. We establish a new variant of quantum state to…
▽ More
We introduce a framework for the preparation, coherent manipulation and characterization of free-electron quantum states, experimentally demonstrating attosecond pulse trains for electron microscopy. Specifically, we employ phase-locked single-color and two-color optical fields to coherently control the electron wave function along the beam direction. We establish a new variant of quantum state tomography - "SQUIRRELS" - to reconstruct the density matrices of free-electron ensembles and their attosecond temporal structure. The ability to tailor and quantitatively map electron quantum states will promote the nanoscale study of electron-matter entanglement and the development of new forms of ultrafast electron microscopy and spectroscopy down to the attosecond regime.
△ Less
Submitted 12 June, 2017;
originally announced June 2017.
-
Computational helioseismology in the frequency domain: acoustic waves in axisymmetric solar models with flows
Authors:
Laurent Gizon,
Hélène Barucq,
Marc Duruflé,
Chris S. Hanson,
Michael Leguèbe,
Aaron C. Birch,
Juliette Chabassier,
Damien Fournier,
Thorsten Hohage,
Emanuele Papini
Abstract:
Local helioseismology has so far relied on semi-analytical methods to compute the spatial sensitivity of wave travel times to perturbations in the solar interior. These methods are cumbersome and lack flexibility. Here we propose a convenient framework for numerically solving the forward problem of time-distance helioseismology in the frequency domain. The fundamental quantity to be computed is th…
▽ More
Local helioseismology has so far relied on semi-analytical methods to compute the spatial sensitivity of wave travel times to perturbations in the solar interior. These methods are cumbersome and lack flexibility. Here we propose a convenient framework for numerically solving the forward problem of time-distance helioseismology in the frequency domain. The fundamental quantity to be computed is the cross-covariance of the seismic wavefield. We choose sources of wave excitation that enable us to relate the cross-covariance of the oscillations to the Green's function in a straightforward manner. We illustrate the method by considering the 3D acoustic wave equation in an axisymmetric reference solar model, ignoring the effects of gravity on the waves. The symmetry of the background model around the rotation axis implies that the Green's function can be written as a sum of longitudinal Fourier modes, leading to a set of independent 2D problems. We use a high-order finite-element method to solve the 2D wave equation in frequency space. The computation is `embarrassingly parallel', with each frequency and each azimuthal order solved independently on a computer cluster. We compute travel-time sensitivity kernels in spherical geometry for flows, sound speed, and density perturbations under the first Born approximation. Convergence tests show that travel times can be computed with a numerical precision better than one millisecond, as required by the most precise travel-time measurements. The method presented here is computationally efficient and will be used to interpret travel-time measurements in order to infer, e.g., the large-scale meridional flow in the solar convection zone. It allows the implementation of (full-waveform) iterative inversions, whereby the axisymmetric background model is updated at each iteration.
△ Less
Submitted 5 November, 2016;
originally announced November 2016.
-
Stability estimates for linearized near-field phase retrieval in X-ray phase contrast imaging
Authors:
Simon Maretzke,
Thorsten Hohage
Abstract:
Propagation-based X-ray phase contrast enables nanoscale imaging of biological tissue by probing not only the attenuation, but also the real part of the refractive index of the sample. Since only intensities of diffracted waves can be measured, the main mathematical challenge consists in a phase-retrieval problem in the near-field regime. We treat an often used linearized version of this problem k…
▽ More
Propagation-based X-ray phase contrast enables nanoscale imaging of biological tissue by probing not only the attenuation, but also the real part of the refractive index of the sample. Since only intensities of diffracted waves can be measured, the main mathematical challenge consists in a phase-retrieval problem in the near-field regime. We treat an often used linearized version of this problem known as contract transfer function model. Surprisingly, this inverse problem turns out to be well-posed assuming only a compact support of the imaged object. Moreover, we establish bounds on the Lipschitz stability constant. In general this constant grows exponentially with the Fresnel number of the imaging setup. However, both for homogeneous objects, characterized by a fixed ratio of the induced refractive phase shifts and attenuation, and in the case of measurements at two distances, a much more favorable algebraic dependence on the Fresnel number can be shown. In some cases we establish order optimality of our estimates.
△ Less
Submitted 8 September, 2017; v1 submitted 22 July, 2016;
originally announced July 2016.
-
Characterizations of variational source conditions, converse results, and maxisets of spectral regularization methods
Authors:
Thorsten Hohage,
Frederic Weidling
Abstract:
We describe a general strategy for the verification of variational source condition by formulating two sufficient criteria describing the smoothness of the solution and the degree of ill-posedness of the forward operator in terms of a family of subspaces. For linear deterministic inverse problems we show that variational source conditions are necessary and sufficient for convergence rates slower t…
▽ More
We describe a general strategy for the verification of variational source condition by formulating two sufficient criteria describing the smoothness of the solution and the degree of ill-posedness of the forward operator in terms of a family of subspaces. For linear deterministic inverse problems we show that variational source conditions are necessary and sufficient for convergence rates slower than the square root of the noise level. A similar result is shown for linear inverse problems with white noise. If the forward operator can be written in terms of the functional calculus of a Laplace-Beltrami operator, variational source conditions can be characterized by Besov spaces. This is discussed for a number of prominent inverse problems.
△ Less
Submitted 18 April, 2016; v1 submitted 16 March, 2016;
originally announced March 2016.
-
Variational source conditions and stability estimates for inverse electromagnetic medium scattering problems
Authors:
Frederic Weidling,
Thorsten Hohage
Abstract:
This paper is concerned with the inverse problem to recover the scalar, complex-valued refractive index of a medium from measurements of scattered time-harmonic electromagnetic waves at a fixed frequency. The main results are two variational source conditions for near and far field data, which imply logarithmic rates of convergence of regularization methods, in particular Tikhonov regularization,…
▽ More
This paper is concerned with the inverse problem to recover the scalar, complex-valued refractive index of a medium from measurements of scattered time-harmonic electromagnetic waves at a fixed frequency. The main results are two variational source conditions for near and far field data, which imply logarithmic rates of convergence of regularization methods, in particular Tikhonov regularization, as the noise level tends to $0$. Moreover, these variational source conditions imply conditional stability estimates which improve and complement known stability estimates in the literature.
△ Less
Submitted 21 December, 2015;
originally announced December 2015.
-
Regularized Newton Methods for X-ray Phase Contrast and General Imaging Problems
Authors:
Simon Maretzke,
Matthias Bartels,
Martin Krenkel,
Tim Salditt,
Thorsten Hohage
Abstract:
Like many other advanced imaging methods, x-ray phase contrast imaging and tomography require mathematical inversion of the observed data to obtain real-space information. While an accurate forward model describing the generally nonlinear image formation from a given object to the observations is often available, explicit inversion formulas are typically not known. Moreover, the measured data migh…
▽ More
Like many other advanced imaging methods, x-ray phase contrast imaging and tomography require mathematical inversion of the observed data to obtain real-space information. While an accurate forward model describing the generally nonlinear image formation from a given object to the observations is often available, explicit inversion formulas are typically not known. Moreover, the measured data might be insufficient for stable image reconstruction, in which case it has to be complemented by suitable a priori information. In this work, regularized Newton methods are presented as a general framework for the solution of such ill-posed nonlinear imaging problems. For a proof of principle, the approach is applied to x-ray phase contrast imaging in the near-field propagation regime. Simultaneous recovery of the phase- and amplitude from a single near-field diffraction pattern without homogeneity constraints is demonstrated for the first time. The presented methods further permit all-at-once phase contrast tomography, i.e. simultaneous phase retrieval and tomographic inversion. We demonstrate the potential of this approach by three-dimensional imaging of a colloidal crystal at 95 nm isotropic resolution.
△ Less
Submitted 6 April, 2016; v1 submitted 20 December, 2015;
originally announced December 2015.
-
Convergence Rates for Exponentially Ill-Posed Inverse Problems with Impulsive Noise
Authors:
Claudia König,
Frank Werner,
Thorsten Hohage
Abstract:
This paper is concerned with exponentially ill-posed operator equations with additive impulsive noise on the right hand side, i.e. the noise is large on a small part of the domain and small or zero outside. It is well known that Tikhonov regularization with an $L^1$ data fidelity term outperforms Tikhonov regularization with an $L^2$ fidelity term in this case. This effect has recently been explai…
▽ More
This paper is concerned with exponentially ill-posed operator equations with additive impulsive noise on the right hand side, i.e. the noise is large on a small part of the domain and small or zero outside. It is well known that Tikhonov regularization with an $L^1$ data fidelity term outperforms Tikhonov regularization with an $L^2$ fidelity term in this case. This effect has recently been explained and quantified for the case of finitely smoothing operators. Here we extend this analysis to the case of infinitely smoothing forward operators under standard Sobolev smoothness assumptions on the solution, i.e. exponentially ill-posed inverse problems. It turns out that high order polynomial rates of convergence in the size of the support of large noise can be achieved rather than the poor logarithmic convergence rates typical for exponentially ill-posed problems. The main tools of our analysis are Banach spaces of analytic functions and interpolation-type inequalities for such spaces. We discuss two examples, the (periodic) backwards heat equation and an inverse problem in gradiometry.
△ Less
Submitted 26 November, 2015; v1 submitted 6 June, 2015;
originally announced June 2015.
-
Pinsker estimators for local helioseismology
Authors:
D. Fournier,
L. Gizon,
M. Holzke,
T. Hohage
Abstract:
A major goal of helioseismology is the three-dimensional reconstruction of the three velocity components of convective flows in the solar interior from sets of wave travel-time measurements. For small amplitude flows, the forward problem is described in good approximation by a large system of convolution equations. The input observations are highly noisy random vectors with a known dense covarianc…
▽ More
A major goal of helioseismology is the three-dimensional reconstruction of the three velocity components of convective flows in the solar interior from sets of wave travel-time measurements. For small amplitude flows, the forward problem is described in good approximation by a large system of convolution equations. The input observations are highly noisy random vectors with a known dense covariance matrix. This leads to a large statistical linear inverse problem.
Whereas for deterministic linear inverse problems several computationally efficient minimax optimal regularization methods exist, only one minimax-optimal linear estimator exists for statistical linear inverse problems: the Pinsker estimator. However, it is often computationally inefficient because it requires a singular value decomposition of the forward operator or it is not applicable because of an unknown noise covariance matrix, so it is rarely used for real-world problems. These limitations do not apply in helioseismology. We present a simplified proof of the optimality properties of the Pinsker estimator and show that it yields significantly better reconstructions than traditional inversion methods used in helioseismology, i.e.\ Regularized Least Squares (Tikhonov regularization) and SOLA (approximate inverse) methods.
Moreover, we discuss the incorporation of the mass conservation constraint in the Pinsker scheme using staggered grids. With this improvement we can reconstruct not only horizontal, but also vertical velocity components that are much smaller in amplitude.
△ Less
Submitted 3 February, 2016; v1 submitted 29 March, 2015;
originally announced March 2015.
-
Verification of a variational source condition for acoustic inverse medium scattering problems
Authors:
Thorsten Hohage,
Frederic Weidling
Abstract:
This paper is concerned with the classical inverse scattering problem to recover the refractive index of a medium given near or far field measurements of scattered time-harmonic acoustic waves. It contains the first rigorous proof of (logarithmic) rates of convergence for Tikhonov regularization under Sobolev smoothness assumptions for the refractive index. This is achieved by combining two lines…
▽ More
This paper is concerned with the classical inverse scattering problem to recover the refractive index of a medium given near or far field measurements of scattered time-harmonic acoustic waves. It contains the first rigorous proof of (logarithmic) rates of convergence for Tikhonov regularization under Sobolev smoothness assumptions for the refractive index. This is achieved by combining two lines of research, conditional stability estimates via geometrical optics solutions and variational regularization theory.
△ Less
Submitted 18 June, 2015; v1 submitted 19 March, 2015;
originally announced March 2015.
-
A coherence enhancing penalty for Diffusion MRI: regularizing property and discrete approximation
Authors:
T. Hohage,
C. Rügge
Abstract:
Processing of Diffusion MRI data obtained from High Angular Resolution measurements consists of a series of steps, starting with the estimation of an orientation distribution function (ODF), which is then used as input for e.g. tractography algorithms. It is important that ODF reconstruction methods yield accurate, coherent ODFs, in particular for low SNR or coarsely sampled data sets. As the diff…
▽ More
Processing of Diffusion MRI data obtained from High Angular Resolution measurements consists of a series of steps, starting with the estimation of an orientation distribution function (ODF), which is then used as input for e.g. tractography algorithms. It is important that ODF reconstruction methods yield accurate, coherent ODFs, in particular for low SNR or coarsely sampled data sets. As the diffusion process is modelled independently in each voxel, reconstructions are often carried out for each voxel separately, disregarding the observation that neighboring voxels are often quite similar if they belong to the same fiber structure. There are surprisingly few approaches that make use of this kind of spatial regularity to improve coherence and stability of the reconstruction. In this work, we focus on a variation of a method proposed by Reisert and Kiselev based on the concept of fiber continuity. The method has already been shown to yield good numerical results, but has not yet been analyzed theoretically. Under suitable smoothness assumptions, we apply results on constrained Tikhonov-type regularization with approximate operator to show convergence of reconstructions from discrete, noisy data for linear forward models. Further, we numerically illustrate the performance of the method on phantom and in-vivo data.
△ Less
Submitted 3 December, 2014;
originally announced December 2014.
-
A Generalization of the Chambolle-Pock Algorithm to Banach Spaces with Applications to Inverse Problems
Authors:
Thorsten Hohage,
Carolin Homann
Abstract:
For a Hilbert space setting Chambolle and Pock introduced an attractive first-order algorithm which solves a convex optimization problem and its Fenchel dual simultaneously. We present a generalization of this algorithm to Banach spaces. Moreover, under certain conditions we prove strong convergence as well as convergence rates. Due to the generalization the method becomes efficiently applicable f…
▽ More
For a Hilbert space setting Chambolle and Pock introduced an attractive first-order algorithm which solves a convex optimization problem and its Fenchel dual simultaneously. We present a generalization of this algorithm to Banach spaces. Moreover, under certain conditions we prove strong convergence as well as convergence rates. Due to the generalization the method becomes efficiently applicable for a wider class of problems. This fact makes it particularly interesting for solving ill-posed inverse problems on Banach spaces by Tikhonov regularization or the iteratively regularized Newton-type method, respectively.
△ Less
Submitted 29 November, 2014;
originally announced December 2014.
-
Convergence of infinite element methods for scalar waveguide problems
Authors:
Thorsten Hohage,
Lothar Nannen
Abstract:
We consider the numerical solution of scalar wave equations in domains which are the union of a bounded domain and a finite number of infinite cylindrical waveguides. The aim of this paper is to provide a new convergence analysis of both the Perfectly Matched Layer (PML) method and the Hardy space infinite element method in a unified framework. We treat both diffraction and resonance problems. The…
▽ More
We consider the numerical solution of scalar wave equations in domains which are the union of a bounded domain and a finite number of infinite cylindrical waveguides. The aim of this paper is to provide a new convergence analysis of both the Perfectly Matched Layer (PML) method and the Hardy space infinite element method in a unified framework. We treat both diffraction and resonance problems. The theoretical error bounds are compared with errors in numerical experiments.
△ Less
Submitted 23 September, 2014;
originally announced September 2014.
-
Generalization of the noise model for time-distance helioseismology
Authors:
Damien Fournier,
Laurent Gizon,
Thorsten Hohage,
Aaron C. Birch
Abstract:
In time-distance helioseismology, information about the solar interior is encoded in measurements of travel times between pairs of points on the solar surface. Travel times are deduced from the cross-covariance of the random wave field. Here we consider travel times and also products of travel times as observables. They contain information about e.g. the statistical properties of convection in the…
▽ More
In time-distance helioseismology, information about the solar interior is encoded in measurements of travel times between pairs of points on the solar surface. Travel times are deduced from the cross-covariance of the random wave field. Here we consider travel times and also products of travel times as observables. They contain information about e.g. the statistical properties of convection in the Sun. The basic assumption of the model is that noise is the result of the stochastic excitation of solar waves, a random process which is stationary and Gaussian. We generalize the existing noise model (Gizon and Birch 2004) by drop** the assumption of horizontal spatial homogeneity. Using a recurrence relation, we calculate the noise covariance matrices for the moments of order 4, 6, and 8 of the observed wave field, for the moments of order 2, 3 and 4 of the cross-covariance, and for the moments of order 2, 3 and 4 of the travel times. All noise covariance matrices depend only on the expectation value of the cross-covariance of the observed wave field. For products of travel times, the noise covariance matrix consists of three terms proportional to $1/T$, $1/T^2$, and $1/T^3$, where $T$ is the duration of the observations. For typical observation times of a few hours, the term proportional to $1/T^2$ dominates and $Cov[τ_1 τ_2, τ_3 τ_4] \approx Cov[τ_1, τ_3] Cov[τ_2, τ_4] + Cov[τ_1, τ_4] Cov[τ_2, τ_3]$, where the $τ_i$ are arbitrary travel times. This result is confirmed for $p_1$ travel times by Monte Carlo simulations and comparisons with SDO/HMI observations. General and accurate formulae have been derived to model the noise covariance matrix of helioseismic travel times and products of travel times. These results could easily be generalized to other methods of local helioseismology, such as helioseismic holography and ring diagram analysis.
△ Less
Submitted 20 June, 2014;
originally announced June 2014.
-
On parameter identification in stochastic differential equations by penalized maximum likelihood
Authors:
Fabian Dunker,
Thorsten Hohage
Abstract:
In this paper we present nonparametric estimators for coefficients in stochastic differential equation if the data are described by independent, identically distributed random variables. The problem is formulated as a nonlinear ill-posed operator equation with a deterministic forward operator described by the Fokker-Planck equation. We derive convergence rates of the risk for penalized maximum lik…
▽ More
In this paper we present nonparametric estimators for coefficients in stochastic differential equation if the data are described by independent, identically distributed random variables. The problem is formulated as a nonlinear ill-posed operator equation with a deterministic forward operator described by the Fokker-Planck equation. We derive convergence rates of the risk for penalized maximum likelihood estimators with convex penalty terms and for Newton-type methods. The assumptions of our general convergence results are verified for estimation of the drift coefficient. The advantages of log-likelihood compared to quadratic data fidelity terms are demonstrated in Monte-Carlo simulations.
△ Less
Submitted 2 April, 2014;
originally announced April 2014.
-
Convergence Rates for Inverse Problems with Impulsive Noise
Authors:
Thorsten Hohage,
Frank Werner
Abstract:
We study inverse problems F(f) = g with perturbed right hand side g^{obs} corrupted by so-called impulsive noise, i.e. noise which is concentrated on a small subset of the domain of definition of g. It is well known that Tikhonov-type regularization with an L^1 data fidelity term yields significantly more accurate results than Tikhonov regularization with classical L^2 data fidelity terms for this…
▽ More
We study inverse problems F(f) = g with perturbed right hand side g^{obs} corrupted by so-called impulsive noise, i.e. noise which is concentrated on a small subset of the domain of definition of g. It is well known that Tikhonov-type regularization with an L^1 data fidelity term yields significantly more accurate results than Tikhonov regularization with classical L^2 data fidelity terms for this type of noise. The purpose of this paper is to provide a convergence analysis explaining this remarkable difference in accuracy. Our error estimates significantly improve previous error estimates for Tikhonov regularization with L^1-fidelity term in the case of impulsive noise. We present numerical results which are in good agreement with the predictions of our analysis.
△ Less
Submitted 4 January, 2014; v1 submitted 12 August, 2013;
originally announced August 2013.
-
Iterative Estimation of Solutions to Noisy Nonlinear Operator Equations in Nonparametric Instrumental Regression
Authors:
Fabian Dunker,
Jean-Pierre Florens,
Thorsten Hohage,
Jan Johannes,
Enno Mammen
Abstract:
This paper discusses the solution of nonlinear integral equations with noisy integral kernels as they appear in nonparametric instrumental regression. We propose a regularized Newton-type iteration and establish convergence and convergence rate results. A particular emphasis is on instrumental regression models where the usual conditional mean assumption is replaced by a stronger independence assu…
▽ More
This paper discusses the solution of nonlinear integral equations with noisy integral kernels as they appear in nonparametric instrumental regression. We propose a regularized Newton-type iteration and establish convergence and convergence rate results. A particular emphasis is on instrumental regression models where the usual conditional mean assumption is replaced by a stronger independence assumption. We demonstrate for the case of a binary instrument that our approach allows the correct estimation of regression functions which are not identifiable with the standard model. This is illustrated in computed examples with simulated data.
△ Less
Submitted 25 July, 2013;
originally announced July 2013.
-
Convergence rates in expectation for Tikhonov-type regularization of Inverse Problems with Poisson data
Authors:
Frank Werner,
Thorsten Hohage
Abstract:
In this paper we study a Tikhonov-type method for ill-posed nonlinear operator equations $\gdag = F(\udag)$ where $\gdag$ is an integrable, non-negative function. We assume that data are drawn from a Poisson process with density $t\gdag$ where $t>0$ may be interpreted as an exposure time. Such problems occur in many photonic imaging applications including positron emission tomography, confocal flu…
▽ More
In this paper we study a Tikhonov-type method for ill-posed nonlinear operator equations $\gdag = F(\udag)$ where $\gdag$ is an integrable, non-negative function. We assume that data are drawn from a Poisson process with density $t\gdag$ where $t>0$ may be interpreted as an exposure time. Such problems occur in many photonic imaging applications including positron emission tomography, confocal fluorescence microscopy, astronomic observations, and phase retrieval problems in optics. Our approach uses a Kullback-Leibler-type data fidelity functional and allows for general convex penalty terms. We prove convergence rates of the expectation of the reconstruction error under a variational source condition as $t\to\infty$ both for an a priori and for a Lepski{\uı}-type parameter choice rule.
△ Less
Submitted 7 April, 2012;
originally announced April 2012.
-
Multi-Channel Three-Dimensional SOLA Inversion for Local Helioseismology
Authors:
J. Jackiewicz,
A. C. Birch,
L. Gizon,
S. M. Hanasoge,
T. Hohage,
J. -B. Ruffio,
M. Svanda
Abstract:
Inversions for local helioseismology are an important and necessary step for obtaining three-dimensional maps of various physical quantities in the solar interior. Frequently, the full inverse problems that one would like to solve prove intractable because of computational constraints. Due to the enormous seismic data sets that already exist and those forthcoming, this is a problem that needs to b…
▽ More
Inversions for local helioseismology are an important and necessary step for obtaining three-dimensional maps of various physical quantities in the solar interior. Frequently, the full inverse problems that one would like to solve prove intractable because of computational constraints. Due to the enormous seismic data sets that already exist and those forthcoming, this is a problem that needs to be addressed. To this end, we present a very efficient linear inversion algorithm for local helioseismology. It is based on a subtractive optimally localized averaging (SOLA) scheme in the Fourier domain, utilizing the horizontal-translation invariance of the sensitivity kernels. In Fourier space the problem decouples into many small problems, one for each horizontal wave vector. This multi-channel SOLA method is demonstrated for an example problem in time-distance helioseismology that is small enough to be solved both in real and Fourier space. We find that both approaches are successful in solving the inverse problem. However, the multi-channel SOLA algorithm is much faster and can easily be parallelized.
△ Less
Submitted 13 September, 2011;
originally announced September 2011.
-
The Iteratively Regularized Gauß-Newton Method with Convex Constraints and Applications in 4Pi-Microscopy
Authors:
Robert Stück,
Martin Burger,
Thorsten Hohage
Abstract:
This paper is concerned with the numerical solution of nonlinear ill-posed operator equations involving convex constraints. We study a Newton-type method which consists in applying linear Tikhonov regularization with convex constraints to the Newton equations in each iteration step. Convergence of this iterative regularization method is analyzed if both the operator and the right hand side are giv…
▽ More
This paper is concerned with the numerical solution of nonlinear ill-posed operator equations involving convex constraints. We study a Newton-type method which consists in applying linear Tikhonov regularization with convex constraints to the Newton equations in each iteration step. Convergence of this iterative regularization method is analyzed if both the operator and the right hand side are given with errors and all error levels tend to zero. Our study has been motivated by the joint estimation of object and phase in 4Pi microscopy, which leads to a semi-blind deconvolution problem with nonnegativity constraints. The performance of the proposed algorithm is illustrated both for simulated and for three-dimensional experimental data.
△ Less
Submitted 28 June, 2011;
originally announced June 2011.
-
Iteratively regularized Newton-type methods for general data misfit functionals and applications to Poisson data
Authors:
Thorsten Hohage,
Frank Werner
Abstract:
We study Newton type methods for inverse problems described by nonlinear operator equations $F(u)=g$ in Banach spaces where the Newton equations $F'(u_n;u_{n+1}-u_n) = g-F(u_n)$ are regularized variationally using a general data misfit functional and a convex regularization term. This generalizes the well-known iteratively regularized Gauss-Newton method (IRGNM). We prove convergence and convergen…
▽ More
We study Newton type methods for inverse problems described by nonlinear operator equations $F(u)=g$ in Banach spaces where the Newton equations $F'(u_n;u_{n+1}-u_n) = g-F(u_n)$ are regularized variationally using a general data misfit functional and a convex regularization term. This generalizes the well-known iteratively regularized Gauss-Newton method (IRGNM). We prove convergence and convergence rates as the noise level tends to 0 both for an a priori stop** rule and for a Lepski{\uı}-type a posteriori stop** rule. Our analysis includes previous order optimal convergence rate results for the IRGNM as special cases. The main focus of this paper is on inverse problems with Poisson data where the natural data misfit functional is given by the Kullback-Leibler divergence. Two examples of such problems are discussed in detail: an inverse obstacle scattering problem with amplitude data of the far-field pattern and a phase retrieval problem. The performence of the proposed method for these problems is illustrated in numerical examples.
△ Less
Submitted 23 March, 2012; v1 submitted 13 May, 2011;
originally announced May 2011.
-
High order Curl-conforming Hardy space infinite elements for exterior Maxwell problems
Authors:
Lothar Nannen,
Thorsten Hohage,
Achim Schädle,
Joachim Schöberl
Abstract:
A construction of prismatic Hardy space infinite elements to discretize wave equations on unbounded domains $Ω$ in $H^1_{loc}(Ω)$, $H_{loc}(curl;Ω)$ and $H_{loc}(div;Ω)$ is presented. As our motivation is to solve Maxwell's equations we take care that these infinite elements fit into the discrete de Rham diagram, i.e. they span discrete spaces, which together with the exterior derivative form an e…
▽ More
A construction of prismatic Hardy space infinite elements to discretize wave equations on unbounded domains $Ω$ in $H^1_{loc}(Ω)$, $H_{loc}(curl;Ω)$ and $H_{loc}(div;Ω)$ is presented. As our motivation is to solve Maxwell's equations we take care that these infinite elements fit into the discrete de Rham diagram, i.e. they span discrete spaces, which together with the exterior derivative form an exact sequence. Resonance as well as scattering problems are considered in the examples. Numerical tests indicate super-algebraic convergence in the number of additional unknowns per degree of freedom on the coupling boundary that are required to realize the Dirichlet to Neumann map.
△ Less
Submitted 11 March, 2011;
originally announced March 2011.
-
Riesz bases and Jordan form of the translation operator in semi-infinite periodic waveguides
Authors:
Thorsten Hohage,
Sofiane Soussi
Abstract:
We study the propagation of time-harmonic acoustic or transverse magnetic (TM) polarized electromagnetic waves in a periodic waveguide lying in the semi-strip $(0,\infty)\times(0,L)$. It is shown that there exists a Riesz basis of the space of solutions to the time-harmonic wave equation such that the translation operator shifting a function by one periodicity length to the left is represented by…
▽ More
We study the propagation of time-harmonic acoustic or transverse magnetic (TM) polarized electromagnetic waves in a periodic waveguide lying in the semi-strip $(0,\infty)\times(0,L)$. It is shown that there exists a Riesz basis of the space of solutions to the time-harmonic wave equation such that the translation operator shifting a function by one periodicity length to the left is represented by an infinite Jordan matrix which contains at most a finite number of Jordan blocks of size $> 1$. Moreover, the Dirichlet-, Neumann- and mixed traces of this Riesz basis on the left boundary also form a Riesz basis. Both the cases of frequencies in a band gap and frequencies in the spectrum and a variety of boundary conditions on the top and bottom are considered.
△ Less
Submitted 5 May, 2012; v1 submitted 8 October, 2010;
originally announced October 2010.
-
Acceleration techniques for regularized Newton methods applied to electromagnetic inverse medium scattering problems
Authors:
Thorsten Hohage,
Stefan Langer
Abstract:
We study the construction and updating of spectral preconditioners for regularized Newton methods and their application to electromagnetic inverse medium scattering problems. Moreover, we show how a Lepskiĭ-type stop** rule can be implemented efficiently for these methods. In numerical examples, the proposed method compares favorably with other iterative regularization method in terms of work-pr…
▽ More
We study the construction and updating of spectral preconditioners for regularized Newton methods and their application to electromagnetic inverse medium scattering problems. Moreover, we show how a Lepskiĭ-type stop** rule can be implemented efficiently for these methods. In numerical examples, the proposed method compares favorably with other iterative regularization method in terms of work-precision diagrams for exact data. For data perturbed by random noise, the Lepskiĭ-type stop** rule performs considerably better than the commonly used discrepancy principle.
△ Less
Submitted 23 March, 2010;
originally announced March 2010.