arXiv Science⌕ Search

arXiv subjects

Bastian Harrach

Publications and source records attributed to Bastian Harrach.

At least 37 records · Page 2Linked to original sources

Multilevel Monte Carlo learning

In this work, we study the approximation of expected values of functional quantities on the solution of a stochastic differential equation (SDE), where we replace the Monte Carlo estimation with the evaluation of a deep neural network. Once the neural network training is done, the evaluation of the resulting approximating function is computationally highly efficient so that using deep neural networks to replace costly Monte Carlo integration is appealing, e.g., for near real-time computations in quantitative finance. However, the drawback of these nowadays widespread ideas lies in the fact that training a suitable neural network is likely to be prohibitive in terms of computational cost. We address this drawback here by introducing a multilevel approach to the training of deep neural networks. More precisely, we combine the deep learning algorithm introduced by Beck et al. with the idea of multilevel Monte Carlo path simulation of Giles. The idea is to train several neural networks, each having a certain approximation quality and computational complexity, with training data computed from so-called level estimators, introduced by Giles. We show that under certain assumptions, the variance in the training process can be reduced by shifting most of the computational workload to training neural nets at coarse levels where producing the training data sets is comparably cheap, whereas training the neural nets corresponding to the fine levels requires only a limited number of training data sets. We formulate a complexity theorem showing that the multilevel idea can indeed reduce computational complexity.

math.NA↗

Shape Reconstruction in Linear Elasticity: Standard and Linearized Monotonicity Method

In this paper, we deal with the inverse problem of the shape reconstruction of inclusions in elastic bodies. The main idea of this reconstruction is based on the monotonicity property of the Neumann-to-Dirichlet operator presented in a former article of the authors. Thus, we introduce the so-called standard as well as linearized monotonicity tests in order to detect and reconstruct inclusions. In addition, we compare these methods with each other and present several numerical test examples.

math.NA↗

Uniqueness, stability and global convergence for a discrete inverse elliptic Robin transmission problem

We derive a simple criterion that ensures uniqueness, Lipschitz stability and global convergence of Newton's method for the finite dimensional zero-finding problem of a continuously differentiable, pointwise convex and monotonic function. Our criterion merely requires to evaluate the directional derivative of the forward function at finitely many evaluation points and for finitely many directions. We then demonstrate that this result can be used to prove uniqueness, stability and global convergence for an inverse coefficient problem with finitely many measurements. We consider the problem of determining an unknown inverse Robin transmission coefficient in an elliptic PDE. Using a relation to monotonicity and localized potentials techniques, we show that a piecewise-constant coefficient on an a-priori known partition with a-priori known bounds is uniquely determined by finitely many boundary measurements and that it can be uniquely and stably reconstructed by a globally convergent Newton iteration. We derive a constructive method to identify these boundary measurements, calculate the stability constant and give a numerical example.

math.NA↗

Lipschitz stability estimate and reconstruction of Lamé parameters in linear elasticity

In this paper, we consider the inverse problem of recovering an isotropic elastic tensor from the Neumann-to-Dirichlet map. To this end, we prove a Lipschitz stability estimate for Lamé parameters with certain regularity assumptions. In addition, we assume that the Lamé parameters belong to a known finite subspace with a priori known bounds and that they fulfill a monotonicity property. The proof relies on a monotonicity result combined with the techniques of localized potentials. To numerically solve the inverse problem, we propose a Kohn-Vogelius-type cost functional over a class of admissible parameters subject to two boundary value problems. The reformulation of the minimization problem via the Neumann-to-Dirichlet operator allows us to obtain the optimality conditions by using the Fréchet differentiability of this operator and its inverse. The reconstruction is then performed by means of an iterative algorithm based on a quasi-Newton method. Finally, we give and discuss several numerical examples.

math.NA↗

Beyond the Bakushinskii veto: Regularising linear inverse problems without knowing the noise distribution

This article deals with the solution of linear ill-posed equations in Hilbert spaces. Often, one only has a corrupted measurement of the right hand side at hand and the Bakushinskii veto tells us, that we are not able to solve the equation if we do not know the noise level. But in applications it is ad hoc unrealistic to know the error of a measurement. In practice, the error of a measurement may often be estimated through averaging of multiple measurements. We integrated that in our anlaysis and obtained convergence to the true solution, with the only assumption that the measurements are unbiased, independent and identically distributed according to an unknown distribution.

math.NA↗

Monotonicity-based inversion of the fractional Schrödinger equation II. General potentials and stability

In this work, we use monotonicity-based methods for the fractional Schrödinger equation with general potentials $q\in L^\infty(Ω)$ in a Lipschitz bounded open set $Ω\subset \mathbb R^n$ in any dimension $n\in \mathbb N$. We demonstrate that if-and-only-if monotonicity relations between potentials and the Dirichlet-to-Neumann map hold up to a finite dimensional subspace. Based on these if-and-only-if monotonicity relations, we derive a constructive global uniqueness results for the fractional Calderón problem and its linearized version. We also derive a reconstruction method for unknown obstacles in a given domain that only requires the background solution of the fractional Schrödinger equation, and we prove uniqueness and Lipschitz stability from finitely many measurements for potentials lying in an a-priori known bounded set in a finite dimensional subset of $L^\infty(Ω)$.

math.AP↗

Monotonicity-based inversion of the fractional Schrödinger equation I. Positive potentials

We consider the inverse problems of for the fractional Schrödinger equation by using monotonicity formulas. We provide if-and-only-if monotonicity relations between positive bounded potentials and their associated nonlocal Dirichlet-to-Neumann maps. Based on the monotonicity relation, we can prove uniqueness for the nonlocal Calderón problem in a constructive manner. Secondly, we offer a reconstruction method for an unknown obstacles in a given domain. Our method is independent of the dimension $n\geq 2$ and only requires the background solution of the fractional Schrödinger equation.

math.AP↗

Dimension bounds in monotonicity methods for the Helmholtz equation

The article [HPS] established a monotonicity inequality for the Helmholtz equation and presented applications to shape detection and local uniqueness in inverse boundary problems. The monotonicity inequality states that if two scattering coefficients satisfy $q_1 \leq q_2$, then the corresponding Neumann-to-Dirichlet operators satisfy $Λ(q_1) \leq Λ(q_2)$ up to a finite dimensional subspace. Here we improve the bounds for the dimension of this space. In particular, if $q_1$ and $q_2$ have the same number of positive Neumann eigenvalues, then the finite dimensional space is trivial.

math.AP↗

A learning-based method for solving ill-posed nonlinear inverse problems: a simulation study of Lung EIT

This paper proposes a new approach for solving ill-posed nonlinear inverse problems. For ease of explanation of the proposed approach, we use the example of lung electrical impedance tomography (EIT), which is known to be a nonlinear and ill-posed inverse problem. Conventionally, penalty-based regularization methods have been used to deal with the ill-posed problem. However, experiences over the last three decades have shown methodological limitations in utilizing prior knowledge about tracking expected imaging features for medial diagnosis. The proposed method's paradigm is completely different from conventional approaches; the proposed reconstruction uses a variety of training data sets to generate a low dimensional manifold of approximate solutions, which allows to convert the ill-posed problem to a well-posed one. Variational autoencoder was used to produce a compact and dense representation for lung EIT images with a low dimensional latent space. Then, we learn a robust connection between the EIT data and the low-dimensional latent data. Numerical simulations validate the effectiveness and feasibility of the proposed approach.

math.NA↗

Monotonicity and local uniqueness for the Helmholtz equation

This work extends monotonicity-based methods in inverse problems to the case of the Helmholtz (or stationary Schrödinger) equation $(Δ+ k^2 q) u = 0$ in a bounded domain for fixed non-resonance frequency $k>0$ and real-valued scattering coefficient function $q$. We show a monotonicity relation between the scattering coefficient $q$ and the local Neumann-Dirichlet operator that holds up to finitely many eigenvalues. Combining this with the method of localized potentials, or Runge approximation, adapted to the case where finitely many constraints are present, we derive a constructive monotonicity-based characterization of scatterers from partial boundary data. We also obtain the local uniqueness result that two coefficient functions $q_1$ and $q_2$ can be distinguished by partial boundary data if there is a neighborhood of the boundary where $q_1\geq q_2$ and $q_1\not\equiv q_2$.

math.AP↗

Monte Carlo pathwise sensitivities for barrier options

The Monte Carlo pathwise sensitivities approach is well established for smooth payoff functions. In this work, we present a new Monte Carlo algorithm that is able to calculate the pathwise sensitivities for discontinuous payoff functions. Our main tool is to combine the one-step survival idea of Glasserman and Staum with the stable differentiation approach of Alm, Harrach, Harrach and Keller. As an application we use the derived results for a two-dimensional calibration of a CoCo-Bond, which we model with different types of discretely monitored barrier options.

q-fin.CP↗

Global uniqueness and Lipschitz-stability for the inverse Robin transmission problem

In this paper, we consider the inverse problem of detecting a corrosion coefficient between two layers of a conducting medium from the Neumann-to-Dirichlet map. This inverse problem is motivated by the description of the index of corrosion in non-destructive testing. We show a monotonicity estimates between the Robin coefficient and the Neumann-to-Dirichlet operator. We prove a global uniqueness result and Lipschitz stability estimate, and show how to quantify the Lipschitz stability constant for a given setting. Our quantification of the Lipschitz constant does not rely on quantitative unique continuation or analytic estimates of special functions. Instead of deriving an analytic estimate, we show that the Lipschitz constant for a given setting can be explicitly calculated from the a priori data by solving finitely many well-posed PDEs. Our arguments rely on standard (non-quantitative) unique continuation, a Runge approximation property, the monotonicity result and the method of localized potentials. To solve the problem numerically, we reformulate the inverse problem into a minimization problem using a least square functional. The reformulation of the minimization problem as a suitable saddle point problem allows us to obtain the optimality conditions by using differentiability properties of the min-sup formulation. The reconstruction is then performed by means of the BFGS algorithm. Finally, numerical results are presented to illustrate the efficiency of the proposed alogorithm.

math.NA↗

Uniqueness and Lipschitz stability in Electrical Impedance Tomography with finitely many electrodes

For the linearized reconstruction problem in Electrical Impedance Tomography (EIT) with the Complete Electrode Model (CEM), Lechleiter and Rieder (2008 Inverse Problems 24 065009) have shown that a piecewise polynomial conductivity on a fixed partition is uniquely determined if enough electrodes are being used. We extend their result to the full non-linear case and show that measurements on a sufficiently high number of electrodes uniquely determine a conductivity in any finite-dimensional subset of piecewise-analytic functions. We also prove Lipschitz stability, and derive analogue results for the continuum model, where finitely many measurements determine a finite-dimensional Galerkin projection of the Neumann-to-Dirichlet operator on a boundary part.

math.AP↗

Monotonicity based shape reconstruction in electrical impedance tomography

Current-voltage measurements in electrical impedance tomography can be partially ordered with respect to definiteness of the associated self-adjoint Neumann-to-Dirichlet operators (NtD). With this ordering, a point-wise larger conductivity leads to smaller current-voltage measurements, and smaller conductivities lead to larger measurements. We present a converse of this simple monotonicity relation and use it to solve the shape reconstruction (aka inclusion detection) problem in EIT. The outer shape of a region where the conductivity differs from a known background conductivity can be found by simply comparing the measurements to that of smaller or larger test regions.

math.NA↗

Regularizing a linearized EIT reconstruction method using a sensitivity based factorization method

For electrical impedance tomography (EIT), most practical reconstruction methods are based on linearizing the underlying non-linear inverse problem. Recently, it has been shown that the linearized problem still contains the exact shape information. However, the stable reconstruction of shape information from measurements of finite accuracy on a limited number of electrodes remains a challenge. In this work we propose to regularize the standard linearized reconstruction method (LM) for EIT using a non-iterative shape reconstruction method (the factorization method). Our main tool is a discrete sensitivity-based variant of the factorization method (herein called S-FM) which allows us to formulate and combine both methods in terms of the sensitivity matrix. We give a heuristic motivation for this new method and show numerical examples that indicate its good performance in the localization of anomalies and the alleviation of ringing artifacts.

math.NA↗

Resolution Guarantees in Electrical Impedance Tomography

Electrical impedance tomography (EIT) uses current-voltage measurements on the surface of an imaging subject to detect conductivity changes or anomalies. EIT is a promising new technique with great potential in medical imaging and non-destructive testing. However, in many applications, EIT suffers from inconsistent reliability due to its enormous sensitivity to modeling and measurement errors. In this work we show that rigorous resolution guarantees are possible within a realistic EIT measurement setting including systematic and random errors. We derive a constructive criterion to decide whether a desired resolution can be achieved in a given measurement setup. Our result covers the detection of anomalies of a known minimal contrast using noisy measurements on a number of electrodes attached to a subject with imprecisely known background conductivity.

math.NA↗

Local uniqueness for an inverse boundary value problem with partial data

In dimension $n\geq 3$, we prove a local uniqueness result for the potentials $q$ of the Schrödinger equation $-Δu+qu=0$ from partial boundary data. More precisely, we show that potentials $q_1,q_2\in L^\infty$ with positive essential infima can be distinguished by local boundary data if there is a neighborhood of a boundary part where $q_1\geq q_2$ and $q_1\not\equiv q_2$.

math.AP↗

Interpolation of missing electrode data in electrical impedance tomography

Novel reconstruction methods for electrical impedance tomography (EIT) often require voltage measurements on current-driven electrodes. Such measurements are notoriously difficult to obtain in practice as they tend to be affected by unknown contact impedances and require problematic simultaneous measurements of voltage and current. In this work, we develop an interpolation method that predicts the voltages on current-driven electrodes from the more reliable measurements on current-free electrodes for difference EIT settings, where a conductivity change is to be recovered from difference measurements. Our new method requires the a-priori knowledge of an upper bound of the conductivity change, and utilizes this bound to interpolate in a way that is consistent with the special geometry-specific smoothness of difference EIT data. Our new interpolation method is computationally cheap enough to allow for real-time applications, and simple to implement as it can be formulated with the standard sensitivity matrix. We numerically evaluate the accuracy of the interpolated data and demonstrate the feasibility of using interpolated measurements for a monotonicity-based reconstruction method.

math.NA↗