arXiv subjects

Bastian Harrach

Publications and source records attributed to Bastian Harrach.

At least 19 recordsLinked to original sources

arXiv2026

A fully globalized solver for discretized inverse elliptic coefficient problems with exact data

We consider finite-dimensional nonlinear inverse problems arising from finite element discretizations of elliptic inverse coefficient problems such as the Calderón problem with finitely many measurements and unknowns. Such inverse coefficient problems are notorious for their nonlinearity and ill-posedness, and numerical solvers tend to depend strongly on good initial values. In this work, we develop a new locally convergent algorithm with an explicit residual criterion that ensures convergence to the inverse problem solution, and a globalized variant that is guaranteed to automatically switch to the faster locally convergent algorithm after finitely many global search steps.

math.NA↗

arXiv2026

A Quantum Collocation Approach to One-Dimensional Boundary Value Problems with Coherent Amplitude Amplification

We propose a quantum collocation framework for approximating solutions of one-dimensional linear and nonlinear boundary value problems. The method formulates the search for admissible solutions as a residual-based quantum search over a discretized ansatz space, where candidate solutions are evaluated through residual conditions imposed at collocation points. A residual-threshold oracle is constructed that acts jointly on spatial and parameter registers. This joint oracle structure leads to amplification dynamics that decompose into a coherent superposition of spatially conditioned amplitude-amplification processes rather than a single global amplification mechanism. We derive the corresponding amplification geometry and show that the success probability is governed by a weighted combination of spatially dependent amplification angles. Furthermore, we prove that the reversible residual oracle can be implemented with gate complexity polynomial in the logarithm of the number of collocation points, while retaining the quadratic search acceleration associated with amplitude amplification in the parameter space. We analyze how the spatially dependent oracle structure influences the amplification dynamics and corresponding success probabilities. Furthermore, we investigate how discretization, ansatz expressivity, oracle tolerance, and finite-precision effects influence both approximation quality and amplification behavior. Numerical experiments validate the theoretical predictions and illustrate the resulting search dynamics across different discretization and precision regimes.

quant-ph↗

arXiv2026

Curve fitting on a quantum annealer for an advanced navigation method

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-world 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. Similar to the curve fitting task, our findings indicate that quantum annealing is currently only feasible if the routing problem is modeled sufficiently small and sparse.

math.OC↗

arXiv2026

The monotonicity method for the inverse elastic scattering on unbounded domains

We discuss a time-harmonic inverse scattering problem for the Navier 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. Combining the monotonicity relation with the method of localized potentials, we extend the so called monotonicity method to characterize the support of inhomogeneities in the Lamé parameters and the density in terms of the far field operator.

math.AP↗

arXiv2026

Monotonicity-based regularization of inverse medium scattering for shape reconstruction

We consider the scattering of time-harmonic plane waves by a compactly supported inhomogeneous scattering obstacle governed by the Helmholtz equation. Given far field observations of the scattered fields corresponding to plane wave incident fields for all possible incident and observation directions we study the inverse problem to recover the support of the scatterer. We propose a qualitative monotonicity-based regularization scheme which combines monotonicity-based shape reconstruction with one-step linearization to reconstruct a discrete approximation of the shape of the scatterer from noisy far field data. The purpose of the one-step linearization is to stabilize the monotonicity approach to shape reconstruction. We show that the monotonicity-based regularization scheme recovers the correct shape of the scatterer for noise-free data. Furthermore, we establish that the solution of the monotonicity-based regularization converges to the exact solution as the noise level tends to zero. We present numerical examples to illustrate our theoretical findings.

math.NA↗

arXiv2025

A Monotonicity-Based Regularization Approach to Shape Reconstruction for the Helmholtz Equation

We consider an inverse boundary value problem for determining unknown scatterers, which is governed by the Helmholtz equation in a bounded domain. To address this, we develop a novel convex data-fitting formulation that is capable of reconstructing the shape of the unknown scatterers.Our formulation is based on a monotonicity relation between the scattering index and boundary measurements. We use this relation to obtain a pixel-wise constraint on the unknown scattering index, and then minimize a data-fitting functional defined as the sum of all positive eigenvalues of a linearized residual operator. The main advantages of our new approach are that this is a convex data-fitting problem that does not require additional PDE solutions. The global convergence and stability of the method are rigorously established to demonstrate the theoretical soundness. In addition, several numerical experiments are conducted to verify the effectiveness of the proposed approach in shape reconstruction.

math.NA↗

arXiv2025

On the required number of electrodes for uniqueness and convex reformulation in an inverse coefficient problem

We introduce a computer-assisted proof for the required number of electrodes for uniqueness and global reconstruction for the inverse Robin transmission problem, where the corrosion function on the boundary of an interior object is to be determined from electrode current-voltage measurements. We consider the shunt electrode model where, in contrast to the standard Neumann boundary condition, the applied electrical current is only partially known. The aim is to determine the corrosion coefficient with a finite number of measurements. In this paper, we present a numerically verifiable criterion that ensures unique solvability of the inverse problem, given a desired resolution. This allows us to explicitly determine the required number and position of the electrodes. Furthermore, we will present an error estimate for noisy data. By rewriting the problem as a convex optimization problem, our aim is to develop a globally convergent reconstruction algorithm.

math.OC↗

arXiv2025

A monotonicity-based globalization of the level-set method for inclusion detection

We focus on a geometrical inverse problem that involves recovering discontinuities in electrical conductivity based on boundary measurements. This problem serves as a model to introduce a shape recovery technique that merges the monotonicity method with the level-set method. The level-set method, commonly used in shape optimization, often relies heavily on the accuracy of the initial guess. To overcome this challenge, we utilize the monotonicity method to generate a more precise initial guess, which is then used to initialize the level-set method. We provide numerical results to illustrate the effectiveness of this combined approach.

math.NA↗

arXiv2024

The Calderón problem for the logarithmic Schrödinger equation

We study the Calderón problem for a logarithmic Schrödinger type operator of the form $L_Δ +q$, where $L_Δ$ denotes the logarithmic Laplacian, which arises as formal derivative $\frac{d}{ds} \big|_{s=0}(-Δ)^s$ of the family of fractional Laplacian operators. This operator enjoys remarkable nonlocal properties, such as the unique continuation and Runge approximation. Based on these tools, we can uniquely determine bounded potentials using the Dirichlet-to-Neumann map. Additionally, we can build a constructive uniqueness result by utilizing the monotonicity method. Our results hold for any space dimension.

math.AP↗

arXiv2023

The Calderón problem with finitely many unknowns is equivalent to convex semidefinite optimization

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.

math.AP↗

arXiv2022

Simultaneous recovery of piecewise analytic coefficients in a semilinear elliptic equation

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.

math.AP↗

arXiv2022

Resolution Guarantees for the Reconstruction of Inclusions in Linear Elasticity Based on Monotonicity Methods

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 $λ$.

math.NA↗

arXiv2021

Monotonicity-Based Regularization for Shape Reconstruction in Linear Elasticity

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.

math.NA↗

arXiv2021

Regularising linear inverse problems under unknown non-Gaussian white noise allowing repeated measurements

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.

math.NA↗

arXiv2021

An introduction to finite element methods for inverse coefficient problems in elliptic PDEs

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.

math.NA↗

arXiv2021

Solving an inverse elliptic coefficient problem by convex non-linear semidefinite programming

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.

math.OC↗

arXiv2021

Convergence of Milstein Brownian bridge Monte Carlo methods and stable Greeks calculation

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.

math.NA↗

arXiv2021

Monotonicity in inverse medium scattering on unbounded domains

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.

math.AP↗