-
Curve fitting on a quantum annealer for an advanced navigation method
Authors:
Philipp Isserstedt,
Daniel Jaroszewski,
Wolfgang Mergenthaler,
Felix Paul,
Bastian Harrach
Abstract:
We explore the applicability of quantum annealing to the approximation task of curve fitting. To this end, we consider a function that shall approximate a given set of data points and is written as a finite linear combination of standardized functions, e.g., orthogonal polynomials. Consequently, the decision variables subject to optimization are the coefficients of that expansion. Although this ta…
▽ More
We explore the applicability of quantum annealing to the approximation task of curve fitting. To this end, we consider a function that shall approximate a given set of data points and is written as a finite linear combination of standardized functions, e.g., orthogonal polynomials. Consequently, the decision variables subject to optimization are the coefficients of that expansion. Although this task can be accomplished classically, it can also be formulated as a quadratic unconstrained binary optimization problem, which is suited to be solved with quantum annealing. Given the size of the problem stays below a certain threshold, we find that quantum annealing yields comparable results to the classical solution. Regarding a real-word use case, we discuss the problem to find an optimized speed profile for a vessel using the framework of dynamic programming and outline how the aforementioned approximation task can be put into play.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Resolution Guarantees for the Reconstruction of Inclusions in Linear Elasticity Based on Monotonicity Methods
Authors:
Sarah Eberle,
Bastian Harrach
Abstract:
We deal with the reconstruction of inclusions in elastic bodies based on monotonicity methods and construct conditions under which a resolution for a given partition can be achieved. These conditions take into account the background error as well as the measurement noise. As a main result, this shows us that the resolution guarantees depend heavily on the Lamé parameter $μ$ and only marginally on…
▽ More
We deal with the reconstruction of inclusions in elastic bodies based on monotonicity methods and construct conditions under which a resolution for a given partition can be achieved. These conditions take into account the background error as well as the measurement noise. As a main result, this shows us that the resolution guarantees depend heavily on the Lamé parameter $μ$ and only marginally on $λ$.
△ Less
Submitted 14 August, 2022;
originally announced August 2022.
-
The Calderón problem with finitely many unknowns is equivalent to convex semidefinite optimization
Authors:
Bastian Harrach
Abstract:
We consider the inverse boundary value problem of determining a coefficient function in an elliptic partial differential equation from knowledge of the associated Neumann-Dirichlet-operator. The unknown coefficient function is assumed to be piecewise constant with respect to a given pixel partition, and upper and lower bounds are assumed to be known a-priori.
We will show that this Calderón prob…
▽ More
We consider the inverse boundary value problem of determining a coefficient function in an elliptic partial differential equation from knowledge of the associated Neumann-Dirichlet-operator. The unknown coefficient function is assumed to be piecewise constant with respect to a given pixel partition, and upper and lower bounds are assumed to be known a-priori.
We will show that this Calderón problem with finitely many unknowns can be equivalently formulated as a minimization problem for a linear cost functional with a convex non-linear semidefinite constraint. We also prove error estimates for noisy data, and extend the result to the practically relevant case of finitely many measurements, where the coefficient is to be reconstructed from a finite-dimensional Galerkin projection of the Neumann-Dirichlet-operator.
Our result is based on previous works on Loewner monotonicity and convexity of the Neumann-Dirichlet-operator, and the technique of localized potentials. It connects the emerging fields of inverse coefficient problems and semidefinite optimization.
△ Less
Submitted 15 May, 2023; v1 submitted 30 March, 2022;
originally announced March 2022.
-
Simultaneous recovery of piecewise analytic coefficients in a semilinear elliptic equation
Authors:
Bastian Harrach,
Yi-Hsuan Lin
Abstract:
In this short note, we investigate simultaneous recovery inverse problems for semilinear elliptic equations with partial data. The main technique is based on higher order linearization and monotonicity approaches. With these methods at hand, we can determine the diffusion, cavity and coefficients simultaneously by knowing the corresponding localized Dirichlet-Neumann operators.
In this short note, we investigate simultaneous recovery inverse problems for semilinear elliptic equations with partial data. The main technique is based on higher order linearization and monotonicity approaches. With these methods at hand, we can determine the diffusion, cavity and coefficients simultaneously by knowing the corresponding localized Dirichlet-Neumann operators.
△ Less
Submitted 11 December, 2022; v1 submitted 12 January, 2022;
originally announced January 2022.
-
Solving an inverse elliptic coefficient problem by convex non-linear semidefinite programming
Authors:
Bastian Harrach
Abstract:
Several applications in medical imaging and non-destructive material testing lead to inverse elliptic coefficient problems, where an unknown coefficient function in an elliptic PDE is to be determined from partial knowledge of its solutions. This is usually a highly non-linear ill-posed inverse problem, for which unique reconstructability results, stability estimates and global convergence of nume…
▽ More
Several applications in medical imaging and non-destructive material testing lead to inverse elliptic coefficient problems, where an unknown coefficient function in an elliptic PDE is to be determined from partial knowledge of its solutions. This is usually a highly non-linear ill-posed inverse problem, for which unique reconstructability results, stability estimates and global convergence of numerical methods are very hard to achieve.
The aim of this note is to point out a new connection between inverse coefficient problems and semidefinite programming that may help addressing these challenges. We show that an inverse elliptic Robin transmission problem with finitely many measurements can be equivalently rewritten as a uniquely solvable convex non-linear semidefinite optimization problem. This allows to explicitly estimate the number of measurements that is required to achieve a desired resolution, to derive an error estimate for noisy data, and to overcome the problem of local minima that usually appears in optimization-based approaches for inverse coefficient problems.
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
Monotonicity-Based Regularization for Shape Reconstruction in Linear Elasticity
Authors:
Sarah Eberle,
Bastian Harrach
Abstract:
We deal with the shape reconstruction of inclusions in elastic bodies. For solving this inverse problem in practice, data fitting functionals are used. Those work better than the rigorous monotonicity methods from [5], but have no rigorously proven convergence theory. Therefore we show how the monotonicity methods can be converted into a regularization method for a data-fitting functional without…
▽ More
We deal with the shape reconstruction of inclusions in elastic bodies. For solving this inverse problem in practice, data fitting functionals are used. Those work better than the rigorous monotonicity methods from [5], but have no rigorously proven convergence theory. Therefore we show how the monotonicity methods can be converted into a regularization method for a data-fitting functional without losing the convergence properties of the monotonicity methods. This is a great advantage and a significant improvement over standard regularization techniques. In more detail, we introduce constraints on the minimization problem of the residual based on the monotonicity methods and prove the existence and uniqueness of a minimizer as well as the convergence of the method for noisy data. In addition, we compare numerical reconstructions of inclusions based on the monotonicity-based regularization with a standard approach (one-step linearization with Tikhonov-like regularization), which also shows the robustness of our method regarding noise in practice.
△ Less
Submitted 10 October, 2021; v1 submitted 5 May, 2021;
originally announced May 2021.
-
An introduction to finite element methods for inverse coefficient problems in elliptic PDEs
Authors:
Bastian Harrach
Abstract:
Several novel imaging and non-destructive testing technologies are based on reconstructing the spatially dependent coefficient in an elliptic partial differential equation from measurements of its solution(s). In practical applications, the unknown coefficient is often assumed to be piecewise constant on a given pixel partition (corresponding to the desired resolution), and only finitely many meas…
▽ More
Several novel imaging and non-destructive testing technologies are based on reconstructing the spatially dependent coefficient in an elliptic partial differential equation from measurements of its solution(s). In practical applications, the unknown coefficient is often assumed to be piecewise constant on a given pixel partition (corresponding to the desired resolution), and only finitely many measurements can be made. This leads to the problem of inverting a finite-dimensional non-linear forward operator $\mathcal F:\ \mathcal D(\mathcal F)\subseteq \mathbb R^n\to \mathbb R^m$, where evaluating $\mathcal F$ requires one or several PDE solutions.
Numerical inversion methods require the implementation of this forward operator and its Jacobian. We show how to efficiently implement both using a standard FEM package and prove convergence of the FEM approximations against their true-solution counterparts. We present simple example codes for Comsol with the Matlab Livelink package, and numerically demonstrate the challenges that arise from non-uniqueness, non-linearity and instability issues. We also discuss monotonicity and convexity properties of the forward operator that arise for symmetric measurement settings.
△ Less
Submitted 27 May, 2021; v1 submitted 1 March, 2021;
originally announced March 2021.
-
Multilevel Monte Carlo learning
Authors:
Thomas Gerstner,
Bastian Harrach,
Daniel Roth,
Martin Simon
Abstract:
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 netwo…
▽ More
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.
△ Less
Submitted 17 February, 2021;
originally announced February 2021.
-
Regularising linear inverse problems under unknown non-Gaussian white noise allowing repeated measurements
Authors:
Bastian Harrach,
Tim Jahn,
Roland Potthast
Abstract:
We deal with the solution of a generic linear inverse problem in the Hilbert space setting. The exact right hand side is unknown and only accessible through discretised measurements corrupted by white noise with unknown arbitrary distribution. The measuring process can be repeated, which allows to reduce and estimate the measurement error through averaging. We show convergence against the true sol…
▽ More
We deal with the solution of a generic linear inverse problem in the Hilbert space setting. The exact right hand side is unknown and only accessible through discretised measurements corrupted by white noise with unknown arbitrary distribution. The measuring process can be repeated, which allows to reduce and estimate the measurement error through averaging. We show convergence against the true solution of the infinite-dimensional problem for a priori and a posteriori regularisation schemes as the number of measurements and the dimension of the discretisation tend to infinity under natural and easily verifiable conditions for the discretisation.
△ Less
Submitted 30 July, 2021; v1 submitted 9 October, 2020;
originally announced October 2020.
-
Shape Reconstruction in Linear Elasticity: Standard and Linearized Monotonicity Method
Authors:
Sarah Eberle,
Bastian Harrach
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 October, 2020; v1 submitted 5 March, 2020;
originally announced March 2020.
-
Uniqueness, stability and global convergence for a discrete inverse elliptic Robin transmission problem
Authors:
Bastian Harrach
Abstract:
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.…
▽ More
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.
△ Less
Submitted 5 October, 2020; v1 submitted 5 July, 2019;
originally announced July 2019.
-
Convergence of Milstein Brownian bridge Monte Carlo methods and stable Greeks calculation
Authors:
Thomas Gerstner,
Bastian Harrach,
Daniel Roth
Abstract:
We consider the pricing and the sensitivity calculation of continuously monitored barrier options. Standard Monte Carlo algorithms work well for pricing these options. Therefore they do not behave stable with respect to numerical differentiation. One would generally resort to regularized differentiation schemes or derive an algorithm for precise differentiation. For barrier options the Brownian br…
▽ More
We consider the pricing and the sensitivity calculation of continuously monitored barrier options. Standard Monte Carlo algorithms work well for pricing these options. Therefore they do not behave stable with respect to numerical differentiation. One would generally resort to regularized differentiation schemes or derive an algorithm for precise differentiation. For barrier options the Brownian bridge approach leads to a precise, but non-Lipschitz-continuous, first derivative.
In this work, we will show a weak convergence of almost order one and a variance bound for the Brownian bridge approach. Then, we generalize the idea of one-step survival, first introduced by Glasserman and Staum, to general scalar stochastic differential equations and combine it with the Brownian bridge approach leading to a new one-step survival Brownian bridge approximation. We show that the new technique can be adapted in such a way that its results satisfies stable second order Greeks. Besides studying stability, we will prove unbiasedness, leading to an uniform convergence property and variance reduction.
Furthermore, we derive the partial derivatives which allow to adapt a pathwise sensitivity algorithm. Moreover, we develop an one-step survival Brownian bridge Multilevel Monte Carlo algorithm to greatly reduce the computational cost in practice.
△ Less
Submitted 13 April, 2021; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Lipschitz stability estimate and reconstruction of Lamé parameters in linear elasticity
Authors:
Sarah Eberle,
Bastian Harrach,
Houcine Meftahi,
Taher Rezgui
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 May, 2020; v1 submitted 5 June, 2019;
originally announced June 2019.
-
Monotonicity-based inversion of the fractional Schrödinger equation II. General potentials and stability
Authors:
Bastian Harrach,
Yi-Hsuan Lin
Abstract:
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-…
▽ More
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(Ω)$.
△ Less
Submitted 5 February, 2020; v1 submitted 20 March, 2019;
originally announced March 2019.
-
Dimension bounds in monotonicity methods for the Helmholtz equation
Authors:
Bastian Harrach,
Valter Pohjola,
Mikko Salo
Abstract:
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…
▽ More
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.
△ Less
Submitted 1 August, 2019; v1 submitted 24 January, 2019;
originally announced January 2019.
-
Monotonicity based shape reconstruction in electrical impedance tomography
Authors:
Bastian Harrach,
Marcel Ullrich
Abstract:
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 relat…
▽ More
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.
△ Less
Submitted 13 December, 2018;
originally announced December 2018.
-
Regularizing a linearized EIT reconstruction method using a sensitivity based factorization method
Authors:
Moon Kyung Choi,
Bastian Harrach,
** Keun Seo
Abstract:
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.
I…
▽ More
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.
△ Less
Submitted 19 November, 2018;
originally announced November 2018.
-
Resolution Guarantees in Electrical Impedance Tomography
Authors:
Bastian Harrach,
Marcel Ullrich
Abstract:
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.
I…
▽ More
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.
△ Less
Submitted 16 November, 2018;
originally announced November 2018.
-
Beyond the Bakushinskii veto: Regularising linear inverse problems without knowing the noise distribution
Authors:
Bastian Harrach,
Tim Jahn,
Roland Potthast
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 March, 2020; v1 submitted 16 November, 2018;
originally announced November 2018.
-
A learning-based method for solving ill-posed nonlinear inverse problems: a simulation study of Lung EIT
Authors:
** Keun Seo,
Kang Cheol Kim,
Ariungerel Jargal,
Kyounghun Lee,
Bastian Harrach
Abstract:
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 l…
▽ More
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.
△ Less
Submitted 31 July, 2019; v1 submitted 23 October, 2018;
originally announced October 2018.
-
Local uniqueness for an inverse boundary value problem with partial data
Authors:
Bastian Harrach,
Marcel Ullrich
Abstract:
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$.
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$.
△ Less
Submitted 13 October, 2018;
originally announced October 2018.
-
Combining frequency-difference and ultrasound modulated electrical impedance tomography
Authors:
Bastian Harrach,
Eunjung Lee,
Marcel Ullrich
Abstract:
Electrical impedance tomography (EIT) is highly affected by modeling errors regarding electrode positions and the shape of the imaging domain. In this work, we propose a new inclusion detection technique that is completely independent of such errors. Our new approach is based on a combination of frequency-difference and ultrasound modulated EIT measurements.
Electrical impedance tomography (EIT) is highly affected by modeling errors regarding electrode positions and the shape of the imaging domain. In this work, we propose a new inclusion detection technique that is completely independent of such errors. Our new approach is based on a combination of frequency-difference and ultrasound modulated EIT measurements.
△ Less
Submitted 10 October, 2018;
originally announced October 2018.
-
Interpolation of missing electrode data in electrical impedance tomography
Authors:
Bastian Harrach
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 October, 2018;
originally announced October 2018.
-
Uniqueness and Lipschitz stability in Electrical Impedance Tomography with finitely many electrodes
Authors:
Bastian Harrach
Abstract:
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 suff…
▽ More
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.
△ Less
Submitted 3 January, 2019; v1 submitted 14 August, 2018;
originally announced August 2018.
-
Global uniqueness and Lipschitz-stability for the inverse Robin transmission problem
Authors:
Bastian Harrach,
Houcine Meftahi
Abstract:
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 r…
▽ More
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.
△ Less
Submitted 4 April, 2019; v1 submitted 6 August, 2018;
originally announced August 2018.
-
Monte Carlo pathwise sensitivities for barrier options
Authors:
Thomas Gerstner,
Bastian Harrach,
Daniel Roth
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 18 April, 2019; v1 submitted 11 April, 2018;
originally announced April 2018.
-
On localizing and concentrating electromagnetic fields
Authors:
Bastian Harrach,
Yi-Hsuan Lin,
Hongyu Liu
Abstract:
We consider field localizing and concentration of electromagnetic waves governed by the time-harmonic anisotropic Maxwell system in a bounded domain. It is shown that there always exist certain boundary inputs which can generate electromagnetic fields with energy localized/concentrated in a given subdomain while nearly vanishing in another given subdomain. The theoretical results may have potentia…
▽ More
We consider field localizing and concentration of electromagnetic waves governed by the time-harmonic anisotropic Maxwell system in a bounded domain. It is shown that there always exist certain boundary inputs which can generate electromagnetic fields with energy localized/concentrated in a given subdomain while nearly vanishing in another given subdomain. The theoretical results may have potential applications in telecommunication, inductive charging and medical therapy. We also derive a related Runge approximation result for the time-harmonic anisotropic Maxwell system with partial boundary data.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Monotonicity in inverse medium scattering on unbounded domains
Authors:
Roland Griesmaier,
Bastian Harrach
Abstract:
We discuss a time-harmonic inverse scattering problem for the Helmholtz equation with compactly supported penetrable and possibly inhomogeneous scattering objects in an unbounded homogeneous background medium, and we develop a monotonicity relation for the far field operator that maps superpositions of incident plane waves to the far field patterns of the corresponding scattered waves. We utilize…
▽ More
We discuss a time-harmonic inverse scattering problem for the Helmholtz equation with compactly supported penetrable and possibly inhomogeneous scattering objects in an unbounded homogeneous background medium, and we develop a monotonicity relation for the far field operator that maps superpositions of incident plane waves to the far field patterns of the corresponding scattered waves. We utilize this monotonicity relation to establish novel characterizations of the support of the scattering objects in terms of the far field operator. These are related to and extend corresponding results known from factorization and linear sampling methods to determine the support of unknown scattering objects from far field observations of scattered fields. An attraction of the new characterizations is that they only require the refractive index of the scattering objects to be above or below the refractive index of the background medium locally and near the boundary of the scatterers. An important tool to prove these results are so-called localized wave functions that have arbitrarily large norm in some prescribed region while at the same time having arbitrarily small norm in some other prescribed region. We present numerical examples to illustrate our theoretical findings.
△ Less
Submitted 26 February, 2021; v1 submitted 17 February, 2018;
originally announced February 2018.
-
Monotonicity-based inversion of the fractional Schrödinger equation I. Positive potentials
Authors:
Bastian Harrach,
Yi-Hsuan Lin
Abstract:
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 reconstru…
▽ More
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.
△ Less
Submitted 1 August, 2019; v1 submitted 15 November, 2017;
originally announced November 2017.
-
Magnet Resonance Electrical Impedance Tomography (MREIT): Convergence and Reduced Basis Approach
Authors:
Dominik Garmatter,
Bastian Harrach
Abstract:
This article considers the inverse problem of Magnet resonance electrical impedance tomography (MREIT) in two dimensions. A rigorous mathematical framework for this inverse problem as well as the existing Harmonic $B_z$ Algorithm as a solution algorithm are presented. The convergence theory of this algorithm is extended, such that the usage an approximative forward solution of the underlying parti…
▽ More
This article considers the inverse problem of Magnet resonance electrical impedance tomography (MREIT) in two dimensions. A rigorous mathematical framework for this inverse problem as well as the existing Harmonic $B_z$ Algorithm as a solution algorithm are presented. The convergence theory of this algorithm is extended, such that the usage an approximative forward solution of the underlying partial differential equation (PDE) in the algorithm is sufficient for convergence. Motivated by this result, a novel algorithm is developed where it is the aim to speed-up the existing Harmonic $B_z$ Algorithm. This is achieved by combining it with an adaptive variant of the reduced basis method, a model order reduction technique. In a numerical experiment a high-resolution image of the shepp-logan phantom is reconstructed and both algorithms are compared.
△ Less
Submitted 9 November, 2017;
originally announced November 2017.
-
Monotonicity and local uniqueness for the Helmholtz equation
Authors:
Bastian Harrach,
Valter Pohjola,
Mikko Salo
Abstract:
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…
▽ More
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$.
△ Less
Submitted 31 July, 2019; v1 submitted 25 September, 2017;
originally announced September 2017.
-
Detecting stochastic inclusions in electrical impedance tomography
Authors:
Andrea Barth,
Bastian Harrach,
Nuutti Hyvönen,
Lauri Mustonen
Abstract:
This work considers the inclusion detection problem of electrical impedance tomography with stochastic conductivities. It is shown that a conductivity anomaly with a random conductivity can be identified by applying the Factorization Method or the Monotonicity Method to the mean value of the corresponding Neumann-to-Dirichlet map provided that the anomaly has high enough contrast in the sense of e…
▽ More
This work considers the inclusion detection problem of electrical impedance tomography with stochastic conductivities. It is shown that a conductivity anomaly with a random conductivity can be identified by applying the Factorization Method or the Monotonicity Method to the mean value of the corresponding Neumann-to-Dirichlet map provided that the anomaly has high enough contrast in the sense of expectation. The theoretical results are complemented by numerical examples in two spatial dimensions.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
Monotonicity and enclosure methods for the p-Laplace equation
Authors:
Tommi Brander,
Bastian von Harrach,
Manas Kar,
Mikko Salo
Abstract:
We show that the convex hull of a monotone perturbation of a homogeneous background conductivity in the $p$-conductivity equation is determined by knowledge of the nonlinear Dirichlet-Neumann operator. We give two independent proofs, one of which is based on the monotonicity method and the other on the enclosure method. Our results are constructive and require no jump or smoothness properties on t…
▽ More
We show that the convex hull of a monotone perturbation of a homogeneous background conductivity in the $p$-conductivity equation is determined by knowledge of the nonlinear Dirichlet-Neumann operator. We give two independent proofs, one of which is based on the monotonicity method and the other on the enclosure method. Our results are constructive and require no jump or smoothness properties on the conductivity perturbation or its support.
△ Less
Submitted 8 March, 2017;
originally announced March 2017.
-
Monotonicity-based Electrical Impedance Tomography for Lung Imaging
Authors:
Liangdong Zhou,
Bastian Harrach,
** Keun Seo
Abstract:
This paper presents a monotonicity-based spatiotemporal conductivity imaging method for continuous regional lung monitoring using electrical impedance tomography (EIT). The EIT data (i.e., the boundary current-voltage data) can be decomposed into pulmonary, cardiac and other parts using their different periodic natures. The time-differential current-voltage operator corresponding to the lung venti…
▽ More
This paper presents a monotonicity-based spatiotemporal conductivity imaging method for continuous regional lung monitoring using electrical impedance tomography (EIT). The EIT data (i.e., the boundary current-voltage data) can be decomposed into pulmonary, cardiac and other parts using their different periodic natures. The time-differential current-voltage operator corresponding to the lung ventilation can be viewed as either semi-positive or semi-negative definite owing to monotonic conductivity changes within the lung regions. We used this monotonicity constraints to improve the quality of lung EIT imaging. We tested the proposed methods in numerical simulations, phantom experiments and human experiments.
△ Less
Submitted 5 February, 2018; v1 submitted 7 February, 2017;
originally announced February 2017.
-
Monotonicity-based regularization for phantom experiment data in Electrical Impedance Tomography
Authors:
Bastian Harrach,
Mach Nguyet Minh
Abstract:
In electrical impedance tomography, algorithms based on minimizing the linearized-data-fit residuum have been widely used due to their real-time implementation and satisfactory reconstructed images. However, the resulting images usually tend to contain ringing artifacts. In this work, we shall minimize the linearized-data-fit functional with respect to a linear constraint defined by the monotonici…
▽ More
In electrical impedance tomography, algorithms based on minimizing the linearized-data-fit residuum have been widely used due to their real-time implementation and satisfactory reconstructed images. However, the resulting images usually tend to contain ringing artifacts. In this work, we shall minimize the linearized-data-fit functional with respect to a linear constraint defined by the monotonicity relation in the framework of real electrode setting. Numerical results of standard phantom experiment data confirm that this new algorithm improves the quality of the reconstructed images as well as reduce the ringing artifacts.
△ Less
Submitted 19 October, 2016; v1 submitted 18 October, 2016;
originally announced October 2016.
-
Enhancing residual-based techniques with shape reconstruction features in Electrical Impedance Tomography
Authors:
Bastian Harrach,
Mach Nguyet Minh
Abstract:
In electrical impedance tomography, algorithms based on minimizing a linearized residual functional have been widely used due to their flexibility and good performance in practice. However, no rigorous convergence results have been available in the literature yet, and reconstructions tend to contain ringing artifacts. In this work, we shall minimize the linearized residual functional under a linea…
▽ More
In electrical impedance tomography, algorithms based on minimizing a linearized residual functional have been widely used due to their flexibility and good performance in practice. However, no rigorous convergence results have been available in the literature yet, and reconstructions tend to contain ringing artifacts. In this work, we shall minimize the linearized residual functional under a linear constraint defined by a monotonicity test, which plays a role of a special regularizer. Global convergence is then established to guarantee that this method is stable under the effects of noise. Moreover, numerical results show that this method yields good shape reconstructions under high levels of noise without appearance of artifacts.
△ Less
Submitted 18 October, 2016; v1 submitted 22 November, 2015;
originally announced November 2015.
-
A Reduced Basis Landweber method for nonlinear inverse problems
Authors:
Dominik Garmatter,
Bernard Haasdonk,
Bastian Harrach
Abstract:
We consider parameter identification problems in parametrized partial differential equations (PDE). This leads to nonlinear ill-posed inverse problems. One way to solve them are iterative regularization methods, which typically require numerous amounts of forward solutions during the solution process. In this article we consider the nonlinear Landweber method and want to couple it with the reduced…
▽ More
We consider parameter identification problems in parametrized partial differential equations (PDE). This leads to nonlinear ill-posed inverse problems. One way to solve them are iterative regularization methods, which typically require numerous amounts of forward solutions during the solution process. In this article we consider the nonlinear Landweber method and want to couple it with the reduced basis method as a model order reduction technique in order to reduce the overall computational time. In particular, we consider PDEs with a high-dimensional parameter space, which are known to pose difficulties in the context of reduced basis methods. We present a new method that is able to handle such high-dimensional parameter spaces by combining the nonlinear Landweber method with adaptive online reduced basis updates. It is then applied to the inverse problem of reconstructing the conductivity in the stationary heat equation.
△ Less
Submitted 4 May, 2018; v1 submitted 20 July, 2015;
originally announced July 2015.