Showing 1–50 of 138 results for author: Lassas, M

An inverse Signorini obstacle problem

Authors: Maarten V. de Hoop, Matti Lassas, Jinpeng Lu, Lauri Oksanen, Ziyao Zhao

Abstract: We study the inverse problem of determining a Signorini obstacle from boundary measurements for the isotropic elasticity system. We prove that the obstacle can be uniquely determined by a single measurement of displacement and normal stress for the Signorini problem on an open subset of the boundary up to a natural obstruction. In addition to considering the Signorini problem, we develop technique… ▽ More We study the inverse problem of determining a Signorini obstacle from boundary measurements for the isotropic elasticity system. We prove that the obstacle can be uniquely determined by a single measurement of displacement and normal stress for the Signorini problem on an open subset of the boundary up to a natural obstruction. In addition to considering the Signorini problem, we develop techniques that can be used to study inverse problems for general differential inequalities. △ Less

Submitted 25 March, 2025; originally announced March 2025.

MSC Class: 35R30; 74M15

Introduction to inverse problems for non-linear partial differential equations

Authors: Matti Lassas

Abstract: We consider inverse problems for non-linear hyperbolic and elliptic equations and give an introduction to the method based on the multiple linearization, or on the construction of artificial sources, to solve these problems. The method is based on self-interaction of linearized waves or other solutions in the presence of non-linearities. Multiple linearization has successfully been used to solve i… ▽ More We consider inverse problems for non-linear hyperbolic and elliptic equations and give an introduction to the method based on the multiple linearization, or on the construction of artificial sources, to solve these problems. The method is based on self-interaction of linearized waves or other solutions in the presence of non-linearities. Multiple linearization has successfully been used to solve inverse problems for non-linear equation which are still unsolved for the corresponding linear equations. △ Less

Submitted 16 March, 2025; originally announced March 2025.

Comments: The paper will appear in the proceedings of the 9th European Congress of Mathematics (9ECM) held in Sevilla, 2024

MSC Class: 35R30: Inverse problems (undetermined coefficients; etc.) for PDE

Stroke classification using Virtual Hybrid Edge Detection from in silico electrical impedance tomography data

Authors: Juan Pablo Agnelli, Fernando S. Moura, Siiri Rautio, Melody Alsaker, Rashmi Murthy, Matti Lassas, Samuli Siltanen

Abstract: Electrical impedance tomography (EIT) is a non-invasive imaging method for recovering the internal conductivity of a physical body from electric boundary measurements. EIT combined with machine learning has shown promise for the classification of strokes. However, most previous works have used raw EIT voltage data as network inputs. We build upon a recent development which suggested the use of spe… ▽ More Electrical impedance tomography (EIT) is a non-invasive imaging method for recovering the internal conductivity of a physical body from electric boundary measurements. EIT combined with machine learning has shown promise for the classification of strokes. However, most previous works have used raw EIT voltage data as network inputs. We build upon a recent development which suggested the use of special noise-robust Virtual Hybrid Edge Detection (VHED) functions as network inputs, although that work used only highly simplified and mathematically ideal models. In this work we strengthen the case for the use of EIT, and VHED functions especially, for stroke classification. We design models with high detail and mathematical realism to test the use of VHED functions as inputs. Virtual patients are created using a physically detailed 2D head model which includes features known to create challenges in real-world imaging scenarios. Conductivity values are drawn from statistically realistic distributions, and phantoms are afflicted with either hemorrhagic or ischemic strokes of various shapes and sizes. Simulated noisy EIT electrode data, generated using the realistic Complete Electrode Model (CEM) as opposed to the mathematically ideal continuum model, is processed to obtain VHED functions. We compare the use of VHED functions as inputs against the alternative paradigm of using raw EIT voltages. Our results show that (i) stroke classification can be performed with high accuracy using 2D EIT data from physically detailed and mathematically realistic models, and (ii) in the presence of noise, VHED functions outperform raw data as network inputs. △ Less

Submitted 29 January, 2025; v1 submitted 24 January, 2025; originally announced January 2025.

Comments: 21 pages, 5 figures

Semialgebraic Neural Networks: From roots to representations

Authors: S. David Mis, Matti Lassas, Maarten V. de Hoop

Abstract: Many numerical algorithms in scientific computing -- particularly in areas like numerical linear algebra, PDE simulation, and inverse problems -- produce outputs that can be represented by semialgebraic functions; that is, the graph of the computed function can be described by finitely many polynomial equalities and inequalities. In this work, we introduce Semialgebraic Neural Networks (SANNs), a… ▽ More Many numerical algorithms in scientific computing -- particularly in areas like numerical linear algebra, PDE simulation, and inverse problems -- produce outputs that can be represented by semialgebraic functions; that is, the graph of the computed function can be described by finitely many polynomial equalities and inequalities. In this work, we introduce Semialgebraic Neural Networks (SANNs), a neural network architecture capable of representing any bounded semialgebraic function, and computing such functions up to the accuracy of a numerical ODE solver chosen by the programmer. Conceptually, we encode the graph of the learned function as the kernel of a piecewise polynomial selected from a class of functions whose roots can be evaluated using a particular homotopy continuation method. We show by construction that the SANN architecture is able to execute this continuation method, thus evaluating the learned semialgebraic function. Furthermore, the architecture can exactly represent even discontinuous semialgebraic functions by executing a continuation method on each connected component of the target function. Lastly, we provide example applications of these networks and show they can be trained with traditional deep-learning techniques. △ Less

Submitted 28 February, 2025; v1 submitted 2 January, 2025; originally announced January 2025.

Learning sparsity-promoting regularizers for linear inverse problems

Authors: Giovanni S. Alberti, Ernesto De Vito, Tapio Helin, Matti Lassas, Luca Ratti, Matteo Santacesaria

Abstract: This paper introduces a novel approach to learning sparsity-promoting regularizers for solving linear inverse problems. We develop a bilevel optimization framework to select an optimal synthesis operator, denoted as $B$, which regularizes the inverse problem while promoting sparsity in the solution. The method leverages statistical properties of the underlying data and incorporates prior knowledge… ▽ More This paper introduces a novel approach to learning sparsity-promoting regularizers for solving linear inverse problems. We develop a bilevel optimization framework to select an optimal synthesis operator, denoted as $B$, which regularizes the inverse problem while promoting sparsity in the solution. The method leverages statistical properties of the underlying data and incorporates prior knowledge through the choice of $B$. We establish the well-posedness of the optimization problem, provide theoretical guarantees for the learning process, and present sample complexity bounds. The approach is demonstrated through examples, including compact perturbations of a known operator and the problem of learning the mother wavelet, showcasing its flexibility in incorporating prior knowledge into the regularization framework. This work extends previous efforts in Tikhonov regularization by addressing non-differentiable norms and proposing a data-driven approach for sparse regularization in infinite dimensions. △ Less

Submitted 20 December, 2024; originally announced December 2024.

MSC Class: 65J22; 68T05

Inverse scattering problems for non-linear wave equations on Lorentzian manifolds

Authors: Spyros Alexakis, Hiroshi Isozaki, Matti Lassas, Teemu Tyni

Abstract: We show that an inverse scattering problem for a semilinear wave equation can be solved on a manifold having an asymptotically Minkowskian infinity, that is, scattering functionals determine the topology, differentiable structure, and the conformal type of the manifold. Moreover, the metric and the coefficient of the non-linearity are determined up to a multiplicative transformation. The manifold… ▽ More We show that an inverse scattering problem for a semilinear wave equation can be solved on a manifold having an asymptotically Minkowskian infinity, that is, scattering functionals determine the topology, differentiable structure, and the conformal type of the manifold. Moreover, the metric and the coefficient of the non-linearity are determined up to a multiplicative transformation. The manifold on which the inverse problem is considered is allowed to be an open, globally hyperbolic manifold which may have non-trivial topology or several infinities (i.e., ends) of which at least one has to be of the asymptotically Minkowskian type. To formulate the inverse problems we define a new type of data, non-linear scattering functionals, which are defined also in the cases where the classically defined scattering operators are not well-defined. This makes it possible to solve inverse problems also in cases where some of the incoming waves lead to a blow-up of the scattered solution. We use non-linear interaction of waves as a beneficial tool that helps to solve the inverse problem. The corresponding inverse problem for the linear wave equation still remains unsolved. △ Less

Submitted 15 January, 2025; v1 submitted 14 November, 2024; originally announced November 2024.

Comments: 68 pages, 10 figures

MSC Class: 35R30; 35L05; 83C05

Lipschitz Stability of Travel Time Data

Authors: Joonas Ilmavirta, Antti Kykkänen, Matti Lassas, Teemu Saksala, Andrew Shedlock

Abstract: We prove that the reconstruction of a certain type of length spaces from their travel time data on a closed subset is Lipschitz stable. The travel time data is the set of distance functions from the entire space, measured on the chosen closed subset. The case of a Riemannian manifold with boundary with the boundary as the measurement set appears is a classical geometric inverse problem arising fro… ▽ More We prove that the reconstruction of a certain type of length spaces from their travel time data on a closed subset is Lipschitz stable. The travel time data is the set of distance functions from the entire space, measured on the chosen closed subset. The case of a Riemannian manifold with boundary with the boundary as the measurement set appears is a classical geometric inverse problem arising from Gel'fand's inverse boundary spectral problem. Examples of spaces satisfying our assumptions include some non-simple Riemannian manifolds, Euclidean domains with non-trivial topology, and metric trees. △ Less

Submitted 21 October, 2024; originally announced October 2024.

Comments: 24 pages, 2 figures

MSC Class: 51F30; 53C23; 30L05

CT scans without X-rays: parallel-beam imaging from nonlinear current flows

Authors: Melody Alsaker, Siiri Rautio, Fernando Moura, Juan Pablo Agnelli, Rashmi Murthy, Matti Lassas, Jennifer L. Mueller, Samuli Siltanen

Abstract: Parallel-beam X-ray computed tomography (CT) and electrical impedance tomography (EIT) are two imaging modalities which stem from completely different underlying physics, and for decades have been thought to have little in common either practically or mathematically. CT is only mildly ill-posed and uses straight X-rays as measurement energy, which admits simple linear mathematics. However, CT reli… ▽ More Parallel-beam X-ray computed tomography (CT) and electrical impedance tomography (EIT) are two imaging modalities which stem from completely different underlying physics, and for decades have been thought to have little in common either practically or mathematically. CT is only mildly ill-posed and uses straight X-rays as measurement energy, which admits simple linear mathematics. However, CT relies on exposing targets to ionizing radiation and requires cumbersome setups with expensive equipment. In contrast, EIT uses harmless electrical currents as measurement energy and can be implemented using simple low-cost portable setups. But EIT is burdened by nonlinearity stemming from the curved paths of electrical currents, as well as extreme ill-posedness which causes characteristic low spatial resolution. In practical EIT reconstruction methods, nonlinearity and ill-posedness have been considered intertwined in a complicated fashion. In this work we demonstrate a surprising connection between CT and EIT which partly unravels the main problems of EIT and leads directly to a proposed imaging modality which we call virtual hybrid parallel-beam tomography (VHPT). We show that hidden deep within EIT data is information which possesses the same linear geometry as parallel-beam CT data. This admits a fundamental restructuring of EIT, separating ill-posedness and nonlinearity into simple modular sub-problems, and yields ''virtual radiographs'' and CT-like images which reveal previously concealed information. Furthermore, as proof of concept we present VHPT images of real-world objects. △ Less

Submitted 23 August, 2024; originally announced August 2024.

An inverse problem for fractional random walks on finite graphs

Authors: Giovanni Covi, Matti Lassas

Abstract: We study an inverse problem on a finite connected graph $G = (X, E)$, on whose vertices a conductivity $γ$ is defined. Our data consists in a sequence of partial observations of a fractional random walk on $G$. The observations are partial in the sense that they are limited to a fixed, observable subset $B \subseteq X$, while the random walk is fractional in the sense that it allows long jumps wit… ▽ More We study an inverse problem on a finite connected graph $G = (X, E)$, on whose vertices a conductivity $γ$ is defined. Our data consists in a sequence of partial observations of a fractional random walk on $G$. The observations are partial in the sense that they are limited to a fixed, observable subset $B \subseteq X$, while the random walk is fractional in the sense that it allows long jumps with a probability $P$ decreasing as a fractional power of the distance along the graph. The transition probability $P$ also depends on $γ$. We show that this kind of random walk data allows for the reconstruction of the amount of vertices $\|X\|$, the edge set $E$ and the conductivity $γ$ up to natural constraints, which we discuss. We also show a characterization of the random walk data in terms of the corresponding transition matrices $P$ , which highlights a new surprising nonlocal property. This work is motivated by the recent strong interest in the study of the fractional Calderón problem in the Riemannian setting. △ Less

Submitted 9 August, 2024; originally announced August 2024.

Comments: 21 pages, 6 figures

MSC Class: 35R30; 26A33; 42B37; 46F12

Scalable diffusion posterior sampling in infinite-dimensional inverse problems

Authors: Fabian Schneider, Duc-Lam Duong, Matti Lassas, Maarten V. de Hoop, Tapio Helin

Abstract: Score-based diffusion models (SDMs) have emerged as a powerful tool for sampling from the posterior distribution in Bayesian inverse problems. However, existing methods often require multiple evaluations of the forward mapping to generate a single sample, resulting in significant computational costs for large-scale inverse problems. To address this issue, we propose a scalable diffusion posterior… ▽ More Score-based diffusion models (SDMs) have emerged as a powerful tool for sampling from the posterior distribution in Bayesian inverse problems. However, existing methods often require multiple evaluations of the forward mapping to generate a single sample, resulting in significant computational costs for large-scale inverse problems. To address this issue, we propose a scalable diffusion posterior sampling (SDPS) method to bypass forward mapping evaluations during sampling by shifting computational effort to an offline training phase, where a task-dependent score is learned based on the forward mapping. Crucially, the conditional posterior score is then derived from this trained score using affine transformations, ensuring no conditional score approximation is needed. The approach is shown to generalize to infinite-dimensional diffusion models and is validated through rigorous convergence analysis and high-dimensional CT imaging experiments. △ Less

Submitted 3 February, 2025; v1 submitted 24 May, 2024; originally announced May 2024.

Comments: 27 pages, 9 figures

MSC Class: 62F15; 65N21; 68Q32; 60Hxx; 60Jxx; 68T07; 92C55;

Inverse Spectral Problems for Collapsing Manifolds II: Quantitative Stability of Reconstruction for Orbifolds

Authors: Matti Lassas, Jinpeng Lu, Takao Yamaguchi

Abstract: We consider the inverse problem of determining the metric-measure structure of collapsing manifolds from local measurements of spectral data. In the part I of the paper, we proved the uniqueness of the inverse problem and a continuity result for the stability in the closure of Riemannian manifolds with bounded diameter and sectional curvature in the measured Gromov-Hausdorff topology. In this pape… ▽ More We consider the inverse problem of determining the metric-measure structure of collapsing manifolds from local measurements of spectral data. In the part I of the paper, we proved the uniqueness of the inverse problem and a continuity result for the stability in the closure of Riemannian manifolds with bounded diameter and sectional curvature in the measured Gromov-Hausdorff topology. In this paper we show that when the collapse of dimension is $1$-dimensional, it is possible to obtain quantitative stability of the inverse problem for Riemannian orbifolds. The proof is based on an improved version of the quantitative unique continuation for the wave operator on Riemannian manifolds by removing assumptions on the covariant derivatives of the curvature tensor. △ Less

Submitted 25 April, 2024; originally announced April 2024.

MSC Class: 35R30; 53B21; 58J50

Mixture of Experts Soften the Curse of Dimensionality in Operator Learning

Authors: Anastasis Kratsios, Takashi Furuya, Jose Antonio Lara Benitez, Matti Lassas, Maarten de Hoop

Abstract: In this paper, we construct a mixture of neural operators (MoNOs) between function spaces whose complexity is distributed over a network of expert neural operators (NOs), with each NO satisfying parameter scaling restrictions. Our main result is a \textit{distributed} universal approximation theorem guaranteeing that any Lipschitz non-linear operator between $L^2([0,1]^d)$ spaces can be approximat… ▽ More In this paper, we construct a mixture of neural operators (MoNOs) between function spaces whose complexity is distributed over a network of expert neural operators (NOs), with each NO satisfying parameter scaling restrictions. Our main result is a \textit{distributed} universal approximation theorem guaranteeing that any Lipschitz non-linear operator between $L^2([0,1]^d)$ spaces can be approximated uniformly over the Sobolev unit ball therein, to any given $\varepsilon>0$ accuracy, by an MoNO while satisfying the constraint that: each expert NO has a depth, width, and rank of $\mathcal{O}(\varepsilon^{-1})$. Naturally, our result implies that the required number of experts must be large, however, each NO is guaranteed to be small enough to be loadable into the active memory of most computers for reasonable accuracies $\varepsilon$. During our analysis, we also obtain new quantitative expression rates for classical NOs approximating uniformly continuous non-linear operators uniformly on compact subsets of $L^2([0,1]^d)$. △ Less

Submitted 13 April, 2024; originally announced April 2024.

On the lack of external response of a nonlinear medium in the second-harmonic generation process

Authors: Fioralba Cakoni, Narek Hovsepyan, Matti Lassas, Michael S. Vogelius

Abstract: This paper concerns the scattering problem for a nonlinear medium of compact support, $D$, with second-harmonic generation. Such a medium, when probed with monochromatic light beams at frequency $ω$, generates additional waves at frequency $2ω$. The response of the medium is governed by a system of two coupled semilinear partial differential equations for the electric fields at frequency $ω$ and… ▽ More This paper concerns the scattering problem for a nonlinear medium of compact support, $D$, with second-harmonic generation. Such a medium, when probed with monochromatic light beams at frequency $ω$, generates additional waves at frequency $2ω$. The response of the medium is governed by a system of two coupled semilinear partial differential equations for the electric fields at frequency $ω$ and $2ω$. We investigate whether there are situations in which the generated $2ω$ wave is localized inside $D$, that is, the nonlinear interaction of the medium with the probing wave is invisible to an outside observer. This leads to the analysis of a semilinear elliptic system formulated in $D$ with non-standard boundary conditions. The analysis presented here sets up a mathematical framework needed to investigate a multitude of questions related to nonlinear scattering with second-harmonic generation. △ Less

Submitted 1 January, 2024; originally announced January 2024.

Fitting a manifold to data in the presence of large noise

Authors: Charles Fefferman, Sergei Ivanov, Matti Lassas, Hariharan Narayanan

Abstract: We assume that $M_0$ is a $d$-dimensional $C^{2,1}$-smooth submanifold of $R^n$. Let $K_0$ be the convex hull of $M_0,$ and $B^n_1(0)$ be the unit ball. We assume that $ M_0 \subseteq \partial K_0 \subseteq B^n_1(0).$ We also suppose that $M_0$ has volume ($d$-dimensional Hausdorff measure) less or equal to $V$, reach (i.e., normal injectivity radius) greater or equal to $τ$. Moreover, we assume… ▽ More We assume that $M_0$ is a $d$-dimensional $C^{2,1}$-smooth submanifold of $R^n$. Let $K_0$ be the convex hull of $M_0,$ and $B^n_1(0)$ be the unit ball. We assume that $ M_0 \subseteq \partial K_0 \subseteq B^n_1(0).$ We also suppose that $M_0$ has volume ($d$-dimensional Hausdorff measure) less or equal to $V$, reach (i.e., normal injectivity radius) greater or equal to $τ$. Moreover, we assume that $M_0$ is $R$-exposed, that is, tangent to every point $x \in M$ there is a closed ball of radius $R$ that contains $M$. Let $x_1, \dots, x_N$ be independent random variables sampled from uniform distribution on $M_0$ and $ζ_1, \dots, ζ_N$ be a sequence of i.i.d Gaussian random variables in $R^n$ that are independent of $x_1, \dots, x_N$ and have mean zero and covariance $σ^2 I_n.$ We assume that we are given the noisy sample points $y_i$, given by $$ y_i = x_i + ζ_i,\quad \hbox{ for }i = 1, 2, \dots,N. $$ Let $ε,η>0$ be real numbers and $k\geq 2$. Given points $y_i$, $i=1,2,\dots,N$, we produce a $C^k$-smooth function which zero set is a manifold $M_{rec}\subseteq R^n$ such that the Hausdorff distance between $M_{rec}$ and $M_0$ is at most $ ε$ and $M_{rec}$ has reach that is bounded below by $cτ/d^6$ with probability at least $1 - η.$ Assuming $d < c \sqrt{\log \log n}$ and all the other parameters are positive constants independent of $n$, the number of the needed arithmetic operations is polynomial in $n$. In the present work, we allow the noise magnitude $σ$ to be an arbitrarily large constant, thus overcoming a drawback of previous work. △ Less

Submitted 19 December, 2023; v1 submitted 16 December, 2023; originally announced December 2023.

MSC Class: 62G05

An inverse problem for general minimal surfaces

Authors: Cătălin I. Cârstea, Matti Lassas, Tony Liimatainen, Leo Tzou

Abstract: In this paper we consider an inverse problem of determining a minimal surface embedded in a Riemannian manifold. We show under a topological condition that if $Σ$ is a $2$-dimensional embedded minimal surface, then the knowledge of the Dirichlet-to-Neumann map associated to the minimal surface equation determines $Σ$ up to an isometry. Without the topological condition, we show that a conformal fa… ▽ More In this paper we consider an inverse problem of determining a minimal surface embedded in a Riemannian manifold. We show under a topological condition that if $Σ$ is a $2$-dimensional embedded minimal surface, then the knowledge of the Dirichlet-to-Neumann map associated to the minimal surface equation determines $Σ$ up to an isometry. Without the topological condition, we show that a conformal factor of a general minimal surface $Σ$ can be recovered. We develop a semiclassical nonlinear calculus for complex geometric optics solutions, which allows an efficient error analysis for multiplication of the correction terms of the solutions. The calculus is independent of the application to the minimal surface equation and we expect it to have applications in various inverse problems for nonlinear equations in dimension $2$, in both $\mathbb{R}^2$ and geometric settings. Other applications of the results include generalized boundary rigidity problem and the AdS/CFT correspondence in physics. △ Less

Submitted 22 October, 2023; originally announced October 2023.

Comments: 62 pages

Stable recovery of coefficients in an inverse fault friction problem

Authors: Maarten V. de Hoop, Matti Lassas, Jinpeng Lu, Lauri Oksanen

Abstract: We consider the inverse fault friction problem of determining the friction coefficient in the Tresca friction model, which can be formulated as an inverse problem for differential inequalities. We show that the measurements of elastic waves during a rupture uniquely determine the friction coefficient at the rupture surface with explicit stability estimates. We consider the inverse fault friction problem of determining the friction coefficient in the Tresca friction model, which can be formulated as an inverse problem for differential inequalities. We show that the measurements of elastic waves during a rupture uniquely determine the friction coefficient at the rupture surface with explicit stability estimates. △ Less

Submitted 2 May, 2024; v1 submitted 19 October, 2023; originally announced October 2023.

Comments: Final version with added details and corrections, to appear in Arch. Ration. Mech. Anal

MSC Class: 35R30; 35Q86

Reconstruction of anisotropic stiffness tensors from partial data around one polarization

Authors: Maarten V. de Hoop, Joonas Ilmavirta, Matti Lassas, Anthony Várilly-Alvarado

Abstract: We study inverse problems in anisotropic elasticity using tools from algebraic geometry. The singularities of solutions to the elastic wave equation in dimension $n$ with an anisotropic stiffness tensor have propagation kinematics captured by so-called slowness surfaces, which are hypersurfaces in the cotangent bundle of $\mathbb{R}^n$ that turn out to be algebraic varieties. Leveraging the algebr… ▽ More We study inverse problems in anisotropic elasticity using tools from algebraic geometry. The singularities of solutions to the elastic wave equation in dimension $n$ with an anisotropic stiffness tensor have propagation kinematics captured by so-called slowness surfaces, which are hypersurfaces in the cotangent bundle of $\mathbb{R}^n$ that turn out to be algebraic varieties. Leveraging the algebraic geometry of families of slowness surfaces we show that, for tensors in a dense open subset in a space of anisotropic two-dimensional stiffness tensors, a small amount of data around one polarization in an individual slowness surface uniquely determines the entire slowness surface and its stiffness tensor. In three dimensions, for generic orthorhombic and monoclinic stiffness tensors, a small number of anomalous companions give rise to the same slowness surface; nevertheless, we conjecture that in the most anisotropic setting (triclinic) the tensor is unique, as in two dimensions. The partial data needed to determine a tensor arises naturally from seismological measurements or geometrized versions of seismic inverse problems. Additionally, we explain how the reconstruction of the stiffness tensor can be carried out effectively, using Gröbner bases. Our uniqueness or finiteness results fail for symmetric materials (e.g., fully isotropic), evidencing the counterintuitive claim that inverse problems in elasticity can become more tractable with increasing asymmetry. △ Less

Submitted 30 April, 2025; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: Substantial Revision. 39 pages, 4 figures. Computer Code included in the ancillary files folder

MSC Class: Primary 86-10; 86A22; 14D06; Secondary 53Z05; 14P25; 14-04

Quantum computing algorithms for inverse problems on graphs and an NP-complete inverse problem

Authors: Joonas Ilmavirta, Matti Lassas, Jinpeng Lu, Lauri Oksanen, Lauri Ylinen

Abstract: We consider an inverse problem for a finite graph $(X,E)$ where we are given a subset of vertices $B\subset X$ and the distances $d_{(X,E)}(b_1,b_2)$ of all vertices $b_1,b_2\in B$. The distance of points $x_1,x_2\in X$ is defined as the minimal number of edges needed to connect two vertices, so all edges have length 1. The inverse problem is a discrete version of the boundary rigidity problem in… ▽ More We consider an inverse problem for a finite graph $(X,E)$ where we are given a subset of vertices $B\subset X$ and the distances $d_{(X,E)}(b_1,b_2)$ of all vertices $b_1,b_2\in B$. The distance of points $x_1,x_2\in X$ is defined as the minimal number of edges needed to connect two vertices, so all edges have length 1. The inverse problem is a discrete version of the boundary rigidity problem in Riemannian geometry or the inverse travel time problem in geophysics. We will show that this problem has unique solution under certain conditions and develop quantum computing methods to solve it. We prove the following uniqueness result: when $(X,E)$ is a tree and $B$ is the set of leaves of the tree, the graph $(X,E)$ can be uniquely determined in the class of all graphs having a fixed number of vertices. We present a quantum computing algorithm which produces a graph $(X,E)$, or one of those, which has a given number of vertices and the required distances between vertices in $B$. To this end we develop an algorithm that takes in a qubit representation of a graph and combine it with Grover's search algorithm. The algorithm can be implemented using only $O(|X|^2)$ qubits, the same order as the number of elements in the adjacency matrix of $(X,E)$. It also has a quadratic improvement in computational cost compared to standard classical algorithms. Finally, we consider applications in theory of computation, and show that a slight modification of the above inverse problem is NP-complete: all NP-problems can be reduced to a discrete inverse problem we consider. △ Less

Submitted 12 February, 2024; v1 submitted 8 June, 2023; originally announced June 2023.

Comments: 42 pages, 3 figures; added numerical examples (appendix A)

MSC Class: 52C25 (Primary) 68Q12; 68Q17 (Secondary)

An Approximation Theory for Metric Space-Valued Functions With A View Towards Deep Learning

Authors: Anastasis Kratsios, Chong Liu, Matti Lassas, Maarten V. de Hoop, Ivan Dokmanić

Abstract: Motivated by the developing mathematics of deep learning, we build universal functions approximators of continuous maps between arbitrary Polish metric spaces $\mathcal{X}$ and $\mathcal{Y}$ using elementary functions between Euclidean spaces as building blocks. Earlier results assume that the target space $\mathcal{Y}$ is a topological vector space. We overcome this limitation by ``randomization'… ▽ More Motivated by the developing mathematics of deep learning, we build universal functions approximators of continuous maps between arbitrary Polish metric spaces $\mathcal{X}$ and $\mathcal{Y}$ using elementary functions between Euclidean spaces as building blocks. Earlier results assume that the target space $\mathcal{Y}$ is a topological vector space. We overcome this limitation by ``randomization'': our approximators output discrete probability measures over $\mathcal{Y}$. When $\mathcal{X}$ and $\mathcal{Y}$ are Polish without additional structure, we prove very general qualitative guarantees; when they have suitable combinatorial structure, we prove quantitative guarantees for Hölder-like maps, including maps between finite graphs, solution operators to rough differential equations between certain Carnot groups, and continuous non-linear operators between Banach spaces arising in inverse problems. In particular, we show that the required number of Dirac measures is determined by the combinatorial structure of $\mathcal{X}$ and $\mathcal{Y}$. For barycentric $\mathcal{Y}$, including Banach spaces, $\mathbb{R}$-trees, Hadamard manifolds, or Wasserstein spaces on Polish metric spaces, our approximators reduce to $\mathcal{Y}$-valued functions. When the Euclidean approximators are neural networks, our constructions generalize transformer networks, providing a new probabilistic viewpoint of geometric deep learning. △ Less

Submitted 24 July, 2023; v1 submitted 24 April, 2023; originally announced April 2023.

Comments: 14 Figures, 3 Tables, 78 Pages (Main 40, Proofs 26, Acknowledgments and References 12)

MSC Class: 41A65; 68T07; 60L50; 65N21; 46T99

Disjoint data inverse problem on manifolds with quantum chaos bounds

Authors: Matti Lassas, Medet Nursultanov, Lauri Oksanen, Lauri Ylinen

Abstract: We consider the inverse problem to determine a smooth compact Riemannian manifold $(M,g)$ from a restriction of the source-to-solution operator, $Λ_{\mathcal{S,R}}$, for the wave equation on the manifold. Here, $\mathcal{S}$ and $\mathcal{R}$ are open sets on $M$, and $Λ_{\mathcal{S,R}}$ represents the measurements of waves produced by smooth sources supported on $\mathcal{S}$ and observed on… ▽ More We consider the inverse problem to determine a smooth compact Riemannian manifold $(M,g)$ from a restriction of the source-to-solution operator, $Λ_{\mathcal{S,R}}$, for the wave equation on the manifold. Here, $\mathcal{S}$ and $\mathcal{R}$ are open sets on $M$, and $Λ_{\mathcal{S,R}}$ represents the measurements of waves produced by smooth sources supported on $\mathcal{S}$ and observed on $\mathcal{R}$. We emphasise that $\overline{\mathcal{S}}$ and $\overline{\mathcal{R}}$ could be disjoint. We demonstrate that $Λ_{\mathcal{S,R}}$ determines the manifold $(M,g)$ uniquely under the following spectral bound condition for the set $\mathcal{S}$: There exists a constant $C>0$ such that any normalized eigenfunction $φ_k$ of the Laplace-Beltrami operator on $(M,g)$ satisfies \begin{equation*} 1\leq C\|φ_k\|_{L^2(\mathcal{S})}. \end{equation*} We note that, for the Anosov surface, this spectral bound condition is fulfilled for any non-empty open subset $\mathcal{S}$. Our approach is based on the paper [18] and the spectral bound condition above is an analogue of the Hassell-Tao condition there. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 16 pages

Well-posedness of the stochastic time-fractional diffusion and wave equations and inverse random source problems

Authors: Matti Lassas, Zhiyuan Li, Zhidong Zhang

Abstract: In this paper, we are concerned with the stochastic time-fractional diffusion-wave equations in a Hilbert space. The main objective of this paper is to establish properties of the stochastic weak solutions of the initial-boundary value problem, such as the existence, uniqueness and regularity estimates. Moreover, we apply the obtained theories to an inverse source problem. The uniqueness of this i… ▽ More In this paper, we are concerned with the stochastic time-fractional diffusion-wave equations in a Hilbert space. The main objective of this paper is to establish properties of the stochastic weak solutions of the initial-boundary value problem, such as the existence, uniqueness and regularity estimates. Moreover, we apply the obtained theories to an inverse source problem. The uniqueness of this inverse problem under the boundary measurements is proved. △ Less

Submitted 29 December, 2022; originally announced December 2022.

MSC Class: 35R30; 35R11; 35R60; 60H15; 60J65

Deep Invertible Approximation of Topologically Rich Maps between Manifolds

Authors: Michael Puthawala, Matti Lassas, Ivan Dokmanic, Pekka Pankka, Maarten de Hoop

Abstract: How can we design neural networks that allow for stable universal approximation of maps between topologically interesting manifolds? The answer is with a coordinate projection. Neural networks based on topological data analysis (TDA) use tools such as persistent homology to learn topological signatures of data and stabilize training but may not be universal approximators or have stable inverses. O… ▽ More How can we design neural networks that allow for stable universal approximation of maps between topologically interesting manifolds? The answer is with a coordinate projection. Neural networks based on topological data analysis (TDA) use tools such as persistent homology to learn topological signatures of data and stabilize training but may not be universal approximators or have stable inverses. Other architectures universally approximate data distributions on submanifolds but only when the latter are given by a single chart, making them unable to learn maps that change topology. By exploiting the topological parallels between locally bilipschitz maps, covering spaces, and local homeomorphisms, and by using universal approximation arguments from machine learning, we find that a novel network of the form $\mathcal{T} \circ p \circ \mathcal{E}$, where $\mathcal{E}$ is an injective network, $p$ a fixed coordinate projection, and $\mathcal{T}$ a bijective network, is a universal approximator of local diffeomorphisms between compact smooth submanifolds embedded in $\mathbb{R}^n$. We emphasize the case when the target map changes topology. Further, we find that by constraining the projection $p$, multivalued inversions of our networks can be computed without sacrificing universality. As an application, we show that learning a group invariant function with unknown group action naturally reduces to the question of learning local diffeomorphisms for finite groups. Our theory permits us to recover orbits of the group action. We also outline possible extensions of our architecture to address molecular imaging of molecules with symmetries. Finally, our analysis informs the choice of topologically expressive starting spaces in generative problems. △ Less

Submitted 2 October, 2022; originally announced October 2022.

Retrieving Yang--Mills--Higgs fields in Minkowski space from active local measurements

Authors: Xi Chen, Matti Lassas, Lauri Oksanen, Gabriel P. Paternain

Abstract: We show that we can retrieve a Yang--Mills potential and a Higgs field (up to gauge) from source-to-solution type data associated with the classical Yang--Mills--Higgs equations in Minkowski space $\mathbb{R}^{1+3}$. We impose natural non-degeneracy conditions on the representation for the Higgs field and on the Lie algebra of the structure group which are satisfied for the case of the Standard Mo… ▽ More We show that we can retrieve a Yang--Mills potential and a Higgs field (up to gauge) from source-to-solution type data associated with the classical Yang--Mills--Higgs equations in Minkowski space $\mathbb{R}^{1+3}$. We impose natural non-degeneracy conditions on the representation for the Higgs field and on the Lie algebra of the structure group which are satisfied for the case of the Standard Model. Our approach exploits the non-linear interaction of waves generated by sources with values in the centre of the Lie algebra showing that abelian components can be used effectively to recover the Higgs field. △ Less

Submitted 31 August, 2024; v1 submitted 27 April, 2022; originally announced April 2022.

Quantitative unique continuation for the elasticity system with application to the kinematic inverse rupture problem

Authors: Maarten V. de Hoop, Matti Lassas, Jinpeng Lu, Lauri Oksanen

Abstract: We obtain explicit estimates on the stability of the unique continuation for a linear system of hyperbolic equations. In particular our result applies to the elasticity system and also the Maxwell system. As an application, we study the kinematic inverse rupture problem of determining the jump in displacement and the friction force at the rupture surface, and we obtain new features on the stable u… ▽ More We obtain explicit estimates on the stability of the unique continuation for a linear system of hyperbolic equations. In particular our result applies to the elasticity system and also the Maxwell system. As an application, we study the kinematic inverse rupture problem of determining the jump in displacement and the friction force at the rupture surface, and we obtain new features on the stable unique continuation up to the rupture surface. △ Less

Submitted 9 February, 2023; v1 submitted 25 March, 2022; originally announced March 2022.

Comments: to appear in Comm. PDE

MSC Class: 35L10; 35R30; 35Q86

An inverse problem for a semi-linear wave equation: a numerical study

Authors: Matti Lassas, Tony Liimatainen, Leyter Potenciano-Machado, Teemu Tyni

Abstract: We consider an inverse problem of recovering a potential associated to a semi-linear wave equation with a quadratic nonlinearity in $1 + 1$ dimensions. We develop a numerical scheme to determine the potential from a noisy Dirichlet-to-Neumann map on the lateral boundary. The scheme is based on the recent higher order linearization method [20]. We also present an approach to numerically estimating… ▽ More We consider an inverse problem of recovering a potential associated to a semi-linear wave equation with a quadratic nonlinearity in $1 + 1$ dimensions. We develop a numerical scheme to determine the potential from a noisy Dirichlet-to-Neumann map on the lateral boundary. The scheme is based on the recent higher order linearization method [20]. We also present an approach to numerically estimating two-dimensional derivatives of noisy data via Tikhonov regularization. The methods are tested using synthetic noisy measurements of the Dirichlet-to-Neumann map. Various examples of reconstructions of the potential functions are given. △ Less

Submitted 17 March, 2022; originally announced March 2022.

Comments: 23 pages, 11 figures, 1 table

MSC Class: 35R30; 35L05; 65M32

An inverse problem for the Riemannian minimal surface equation

Authors: Cătălin I. Cârstea, Matti Lassas, Tony Liimatainen, Lauri Oksanen

Abstract: In this paper we consider determining a minimal surface embedded in a Riemannian manifold $Σ\times \mathbb{R}$. We show that if $Σ$ is a two dimensional Riemannian manifold with boundary, then the knowledge of the associated Dirichlet-to-Neumann map for the minimal surface equation determine $Σ$ up to an isometry. In this paper we consider determining a minimal surface embedded in a Riemannian manifold $Σ\times \mathbb{R}$. We show that if $Σ$ is a two dimensional Riemannian manifold with boundary, then the knowledge of the associated Dirichlet-to-Neumann map for the minimal surface equation determine $Σ$ up to an isometry. △ Less

Submitted 17 March, 2022; originally announced March 2022.

Comments: 18 pages

MSC Class: 35R30; 35J25; 35J61

Inverse problems for locally perturbed lattices -- Discrete Hamiltonian and quantum graph

Authors: Emilia Blåsten, Pavel Exner, Hiroshi Isozaki, Matti Lassas, Jinpeng Lu

Abstract: We consider the inverse scattering problems for two types of Schrödinger operators on locally perturbed periodic lattices. For the discrete Hamiltonian, the knowledge of the S-matrix for all energies determines the graph structure and the coefficients of the Hamiltonian. For locally perturbed equilateral metric graphs, the knowledge of the S-matrix for all energies determines the graph structure. We consider the inverse scattering problems for two types of Schrödinger operators on locally perturbed periodic lattices. For the discrete Hamiltonian, the knowledge of the S-matrix for all energies determines the graph structure and the coefficients of the Hamiltonian. For locally perturbed equilateral metric graphs, the knowledge of the S-matrix for all energies determines the graph structure. △ Less

Submitted 2 February, 2022; originally announced February 2022.

Comments: 36 pages, 4 figures

MSC Class: 81U40; 47A40

Coefficient Determination for Non-Linear Schrödinger Equations on manifolds

Authors: Matti Lassas, Lauri Oksanen, Suman Kumar Sahoo, Mikko Salo, Alexander Tetlow

Abstract: We consider an inverse problem of recovering the unknown coefficients $β(t,x)$ and $V(t,x)$ appearing in a time-dependent nonlinear Schrödinger equation $ (\mathrm{i} \partial_t +Δ+V)u + βu^2=0$ in $(0,T) \times M$, on Euclidean geometry as well as on Riemannian geometry. We consider measurements in $Ω\subset M$ that is a neighborhood of the boundary of $M$ and the source-to-solution map… ▽ More We consider an inverse problem of recovering the unknown coefficients $β(t,x)$ and $V(t,x)$ appearing in a time-dependent nonlinear Schrödinger equation $ (\mathrm{i} \partial_t +Δ+V)u + βu^2=0$ in $(0,T) \times M$, on Euclidean geometry as well as on Riemannian geometry. We consider measurements in $Ω\subset M$ that is a neighborhood of the boundary of $M$ and the source-to-solution map $ L_{β, V}$ that maps a source $f$ supported in $ Ω\times (0,T) $ to the restriction of the solution $u$ in $ Ω\times (0,T) $. We show that the map $L_{β, V}$ uniquely determines the time-dependent potential and the coefficient of the non-linearity, for the above non-linear Schrödinger equation and for the Gross-Pitaevskii equation, with a cubic non-linear term $β|u|^2 \, u$, that is encountered in quantum physics. △ Less

Submitted 2 September, 2024; v1 submitted 10 January, 2022; originally announced January 2022.

Comments: 31 pages

MSC Class: 35R30; 31B20; 31B30; 35J40

Reconstruction and interpolation of manifolds II: Inverse problems for Riemannian manifolds with partial distance data

Authors: Charles Fefferman, Sergei Ivanov, Matti Lassas, Jinpeng Lu, Hariharan Narayanan

Abstract: We consider how a closed Riemannian manifold and its metric tensor can be approximately reconstructed from local distance measurements. In the part 1 of the paper, we considered the construction of a smooth manifold in the case when one is given the noisy distances $\tilde d(x,y)=d(x,y)+\varepsilon_{x,y}$ for all points $x,y\in X$, where $X$ is a $δ$-dense subset of $M$ and… ▽ More We consider how a closed Riemannian manifold and its metric tensor can be approximately reconstructed from local distance measurements. In the part 1 of the paper, we considered the construction of a smooth manifold in the case when one is given the noisy distances $\tilde d(x,y)=d(x,y)+\varepsilon_{x,y}$ for all points $x,y\in X$, where $X$ is a $δ$-dense subset of $M$ and $|\varepsilon_{x,y}|<δ$. In this paper we consider a similar problem with partial data, that is, the approximate construction of the manifold $(M,g)$ when we are given $\tilde d(x,y)$ for $x\in X$ and $y \in U\cap X$, where $U$ is an open subset of $M$. As an application, we consider the inverse problem of determining the manifold $(M,g)$ with non-negative Ricci curvature from noisy observations of the heat kernel $G(y,z,t)$ with separated observation points $y\in U$ and source points $z\in M\setminus \overline U$ on the time interval $0<t<1$. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Comments: 38 pages, 9 figures

MSC Class: 35R30; 53C20; 58J35

Material-separating regularizer for multi-energy X-ray tomography

Authors: Jacek Gondzio, Matti Lassas, Salla-Maaria Latva-Äijö, Samuli Siltanen, Filippo Zanetti

Abstract: Dual-energy X-ray tomography is considered in a context where the target under imaging consists of two distinct materials. The materials are assumed to be possibly intertwined in space, but at any given location there is only one material present. Further, two X-ray energies are chosen so that there is a clear difference in the spectral dependence of the attenuation coefficients of the two materia… ▽ More Dual-energy X-ray tomography is considered in a context where the target under imaging consists of two distinct materials. The materials are assumed to be possibly intertwined in space, but at any given location there is only one material present. Further, two X-ray energies are chosen so that there is a clear difference in the spectral dependence of the attenuation coefficients of the two materials. A novel regularizer is presented for the inverse problem of reconstructing separate tomographic images for the two materials. A combination of two things, (a) non-negativity constraint, and (b) penalty term containing the inner product between the two material images, promotes the presence of at most one material in a given pixel. A preconditioned interior point method is derived for the minimization of the regularization functional. Numerical tests with digital phantoms suggest that the new algorithm outperforms the baseline method, Joint Total Variation regularization, in terms of correctly material-characterized pixels. While the method is tested only in a two-dimensional setting with two materials and two energies, the approach readily generalizes to three dimensions and more materials. The number of materials just needs to match the number of energies used in imaging. △ Less

Submitted 28 June, 2021; originally announced July 2021.

Comments: 31 pages, 11 figures, 4 tables

Journal ref: Inverse Problems 38.2 (2022): 025013

Inverse problems for discrete heat equations and random walks for a class of graphs

Authors: Emilia Blåsten, Hiroshi Isozaki, Matti Lassas, Jinpeng Lu

Abstract: We study the inverse problem of determining a finite weighted graph $(X,E)$ from the source-to-solution map on a vertex subset $B\subset X$ for heat equations on graphs, where the time variable can be either discrete or continuous. We prove that this problem is equivalent to the discrete version of the inverse interior spectral problem, provided that there does not exist a nonzero eigenfunction of… ▽ More We study the inverse problem of determining a finite weighted graph $(X,E)$ from the source-to-solution map on a vertex subset $B\subset X$ for heat equations on graphs, where the time variable can be either discrete or continuous. We prove that this problem is equivalent to the discrete version of the inverse interior spectral problem, provided that there does not exist a nonzero eigenfunction of the weighted graph Laplacian vanishing identically on $B$. In particular, we consider inverse problems for discrete-time random walks on finite graphs. We show that under a novel geometric condition (called the Two-Points Condition), the graph structure and the transition matrix of the random walk can be uniquely recovered from the distributions of the first passing times on $B$, or from the observation on $B$ of one realization of the random walk. △ Less

Submitted 4 January, 2023; v1 submitted 1 July, 2021; originally announced July 2021.

Comments: to appear in SIAM J. Discrete Math

MSC Class: 05C50; 05C81; 05C22

Stability estimates for inverse problems for semi-linear wave equations on Lorentzian manifolds

Authors: Matti Lassas, Tony Liimatainen, Leyter Potenciano-Machado, Teemu Tyni

Abstract: This paper concerns an inverse boundary value problem of recovering a zeroth order time-dependent term of a semi-linear wave equation on a globally hyperbolic Lorentzian manifold. We show that an unknown potential $q$ in the non-linear wave equation $\square_g u +q u^m=0$, $m\geq 4$, can be recovered in a Hölder stable way from the Dirichlet-to-Neumann map. Our proof is based on the higher order l… ▽ More This paper concerns an inverse boundary value problem of recovering a zeroth order time-dependent term of a semi-linear wave equation on a globally hyperbolic Lorentzian manifold. We show that an unknown potential $q$ in the non-linear wave equation $\square_g u +q u^m=0$, $m\geq 4$, can be recovered in a Hölder stable way from the Dirichlet-to-Neumann map. Our proof is based on the higher order linearization method and the use of Gaussian beams. Unlike some related works, we do not assume that the boundary is convex or that pairs of lightlike geodesics can intersect only once. For this, we introduce some general constructions in Lorentzian geometry. We expect these constructions to be applicable to studies of related problems as well. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: 50 pages, 2 figures

MSC Class: 58J45; 35L71; 35L05

Journal ref: Analysis & PDE 18 (2025) 1065-1118

Learning the optimal Tikhonov regularizer for inverse problems

Authors: Giovanni S. Alberti, Ernesto De Vito, Matti Lassas, Luca Ratti, Matteo Santacesaria

Abstract: In this work, we consider the linear inverse problem $y=Ax+ε$, where $A\colon X\to Y$ is a known linear operator between the separable Hilbert spaces $X$ and $Y$, $x$ is a random variable in $X$ and $ε$ is a zero-mean random process in $Y$. This setting covers several inverse problems in imaging including denoising, deblurring, and X-ray tomography. Within the classical framework of regularization… ▽ More In this work, we consider the linear inverse problem $y=Ax+ε$, where $A\colon X\to Y$ is a known linear operator between the separable Hilbert spaces $X$ and $Y$, $x$ is a random variable in $X$ and $ε$ is a zero-mean random process in $Y$. This setting covers several inverse problems in imaging including denoising, deblurring, and X-ray tomography. Within the classical framework of regularization, we focus on the case where the regularization functional is not given a priori but learned from data. Our first result is a characterization of the optimal generalized Tikhonov regularizer, with respect to the mean squared error. We find that it is completely independent of the forward operator $A$ and depends only on the mean and covariance of $x$. Then, we consider the problem of learning the regularizer from a finite training set in two different frameworks: one supervised, based on samples of both $x$ and $y$, and one unsupervised, based only on samples of $x$. In both cases, we prove generalization bounds, under some weak assumptions on the distribution of $x$ and $ε$, including the case of sub-Gaussian variables. Our bounds hold in infinite-dimensional spaces, thereby showing that finer and finer discretizations do not make this learning problem harder. The results are validated through numerical simulations. △ Less

Submitted 22 November, 2021; v1 submitted 11 June, 2021; originally announced June 2021.

Journal ref: Advances in Neural Information Processing Systems 34 (2021)

Simultaneous reconstruction of conductivity, boundary shape and contact impedances in electrical impedance tomography

Authors: J. P. Agnelli, V. Kolehmainen, M. Lassas, P. Ola, S. Siltanen

Abstract: The objective of electrical impedance tomography (EIT) is to reconstruct the internal conductivity of a physical body based on current and voltage measurements at the boundary of the body. In many medical applications the exact shape of the domain boundary and contact impedances are not available. This is problematic as even small errors in the boundary shape of the computation domain or in the co… ▽ More The objective of electrical impedance tomography (EIT) is to reconstruct the internal conductivity of a physical body based on current and voltage measurements at the boundary of the body. In many medical applications the exact shape of the domain boundary and contact impedances are not available. This is problematic as even small errors in the boundary shape of the computation domain or in the contact impedance values can produce large artifacts in the reconstructed images which results in a loss of relevant information. A method is proposed that simultaneously reconstructs the conductivity, the contact impedances and the boundary shape from EIT data. The approach consists of three steps: first, the unknown contact impedances and an anisotropic conductivity reproducing the measured EIT data in a model domain are computed. Second, using isothermal coordinates, a deformation is constructed that makes the conductivity isotropic. The final step minimizes the error of true and reconstructed known geometric properties (like the electrode lengths) using conformal deformations. The feasibility of the method is illustrated with experimental EIT data, with robust and accurate reconstructions of both conductivity and boundary shape. △ Less

Submitted 8 July, 2021; v1 submitted 5 April, 2021; originally announced April 2021.

Comments: 34 pages, 17 figures; typos corrected, references added

MSC Class: 35R30; 65N21; 65J20; 30C35

Journal ref: SIAM J. Imaging Sci., 14 (2021), pp. 1407-1438

Analysis of a dynamical system modeling lasers and applications for optical neural networks

Authors: Lauri Ylinen, Tuomo von Lerber, Franko Küppers, Matti Lassas

Abstract: An analytical study of dynamical properties of a semiconductor laser with optical injection of arbitrary polarization is presented. It is shown that if the injected field is sufficiently weak, then the laser has nine equilibrium points, however, only one of them is stable. Even if the injected field is linearly polarized, six of the equilibrium points have a state of polarization that is elliptica… ▽ More An analytical study of dynamical properties of a semiconductor laser with optical injection of arbitrary polarization is presented. It is shown that if the injected field is sufficiently weak, then the laser has nine equilibrium points, however, only one of them is stable. Even if the injected field is linearly polarized, six of the equilibrium points have a state of polarization that is elliptical. Dependence of the equilibrium points on the injected field is described, and it is shown that as the intensity of the injected field increases, the number of equilibrium points decreases, with only a single equilibrium point remaining for strong enough injected fields. As an application, a complex-valued optical neural network with working principle based on injection locking is proposed. △ Less

Submitted 17 November, 2021; v1 submitted 3 March, 2021; originally announced March 2021.

Comments: Final version, to appear in SIAM Journal on Applied Dynamical Systems (SIADS)

MSC Class: 37N20 (Primary) 34C15; 78A60 (Secondary)

Random tree Besov priors -- Towards fractal imaging

Authors: Hanne Kekkonen, Matti Lassas, Eero Saksman, Samuli Siltanen

Abstract: We propose alternatives to Bayesian a priori distributions that are frequently used in the study of inverse problems. Our aim is to construct priors that have similar good edge-preserving properties as total variation or Mumford-Shah priors but correspond to well defined infinite-dimensional random variables, and can be approximated by finite-dimensional random variables. We introduce a new wavele… ▽ More We propose alternatives to Bayesian a priori distributions that are frequently used in the study of inverse problems. Our aim is to construct priors that have similar good edge-preserving properties as total variation or Mumford-Shah priors but correspond to well defined infinite-dimensional random variables, and can be approximated by finite-dimensional random variables. We introduce a new wavelet-based model, where the non zero coefficient are chosen in a systematic way so that prior draws have certain fractal behaviour. We show that realisations of this new prior take values in some Besov spaces and have singularities only on a small set $τ$ that has a certain Hausdorff dimension. We also introduce an efficient algorithm for calculating the MAP estimator, arising from the the new prior, in denoising problem. △ Less

Submitted 28 February, 2021; originally announced March 2021.

MSC Class: math.PR; math.FA

Stable reconstruction of simple Riemannian manifolds from unknown interior sources

Authors: Maarten V. de Hoop, Joonas Ilmavirta, Matti Lassas, Teemu Saksala

Abstract: Consider the geometric inverse problem: There is a set of delta-sources in spacetime that emit waves travelling at unit speed. If we know all the arrival times at the boundary cylinder of the spacetime, can we reconstruct the space, a Riemannian manifold with boundary? With a finite set of sources we can only hope to get an approximate reconstruction, and we indeed provide a discrete metric approx… ▽ More Consider the geometric inverse problem: There is a set of delta-sources in spacetime that emit waves travelling at unit speed. If we know all the arrival times at the boundary cylinder of the spacetime, can we reconstruct the space, a Riemannian manifold with boundary? With a finite set of sources we can only hope to get an approximate reconstruction, and we indeed provide a discrete metric approximation to the manifold with explicit data-driven error bounds when the manifold is simple. This is the geometrization of a seismological inverse problem where we measure the arrival times on the surface of waves from an unknown number of unknown interior microseismic events at unknown times. The closeness of two metric spaces with a marked boundary is measured by a labeled Gromov--Hausdorff distance. If measurements are done for infinite time and spatially dense sources, our construction produces the true Riemannian manifold and the finite-time approximations converge to it in the metric sense. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: 39 pages, 1 figure

Reconstruction along a geodesic from sphere data in Finsler geometry and anisotropic elasticity

Authors: Maarten V. de Hoop, Joonas Ilmavirta, Matti Lassas

Abstract: Dix formulated the inverse problem of recovering an elastic body from the measurements of wave fronts of point sources. We geometrize this problem in the context of seismology, leading to the geometrical inverse problem of recovering a Finsler manifold from certain sphere data in a given open subset of the manifold. We solve this problem locally along any geodesic through the measurement set. Dix formulated the inverse problem of recovering an elastic body from the measurements of wave fronts of point sources. We geometrize this problem in the context of seismology, leading to the geometrical inverse problem of recovering a Finsler manifold from certain sphere data in a given open subset of the manifold. We solve this problem locally along any geodesic through the measurement set. △ Less

Submitted 13 March, 2025; v1 submitted 20 February, 2021; originally announced February 2021.

Comments: 22 pages, 3 figures

Journal ref: Journal de Mathematiques Pures et Appliquees, 196, 103688, 2025

Gel'fand's inverse problem for the graph Laplacian

Authors: Emilia Blåsten, Hiroshi Isozaki, Matti Lassas, Jinpeng Lu

Abstract: We study the discrete Gel'fand's inverse boundary spectral problem of determining a finite weighted graph. Suppose that the set of vertices of the graph is a union of two disjoint sets: $X=B\cup G$, where $B$ is called the set of the boundary vertices and $G$ is called the set of the interior vertices. We consider the case where the vertices in the set $G$ and the edges connecting them are unknown… ▽ More We study the discrete Gel'fand's inverse boundary spectral problem of determining a finite weighted graph. Suppose that the set of vertices of the graph is a union of two disjoint sets: $X=B\cup G$, where $B$ is called the set of the boundary vertices and $G$ is called the set of the interior vertices. We consider the case where the vertices in the set $G$ and the edges connecting them are unknown. Assume that we are given the set $B$ and the pairs $(λ_j,φ_j|_B)$, where $λ_j$ are the eigenvalues of the graph Laplacian and $φ_j|_B$ are the values of the corresponding eigenfunctions at the vertices in $B$. We show that the graph structure, namely the unknown vertices in $G$ and the edges connecting them, along with the weights, can be uniquely determined from the given data, if every boundary vertex is connected to only one interior vertex and the graph satisfies the following property: any subset $S\subseteq G$ of cardinality $|S|\geqslant 2$ contains two extreme points. A point $x\in S$ is called an extreme point of $S$ if there exists a point $z\in B$ such that $x$ is the unique nearest point in $S$ from $z$ with respect to the graph distance. This property is valid for several standard types of lattices and their perturbations. △ Less

Submitted 3 March, 2023; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: to appear in J. Spectral Theory

MSC Class: 05C50; 05C22; 52C25

Quantitative stability of Gel'fand's inverse boundary problem

Authors: Dmitri Burago, Sergei Ivanov, Matti Lassas, Jinpeng Lu

Abstract: In Gel'fand's inverse problem, one aims to determine the topology, differential structure and Riemannian metric of a compact manifold $M$ with boundary from the knowledge of the boundary $\partial M,$ the Neumann eigenvalues $λ_j$ and the boundary values of the eigenfunctions $\varphi_j|_{\partial M}$. We show that this problem has a stable solution with quantitative stability estimates in a class… ▽ More In Gel'fand's inverse problem, one aims to determine the topology, differential structure and Riemannian metric of a compact manifold $M$ with boundary from the knowledge of the boundary $\partial M,$ the Neumann eigenvalues $λ_j$ and the boundary values of the eigenfunctions $\varphi_j|_{\partial M}$. We show that this problem has a stable solution with quantitative stability estimates in a class of manifolds with bounded geometry. More precisely, we show that finitely many eigenvalues and the boundary values of corresponding eigenfunctions, known up to small errors, determine a metric space that is close to the manifold in the Gromov-Hausdorff sense. We provide an algorithm to construct this metric space. This result is based on an explicit estimate on the stability of the unique continuation for the wave operator. △ Less

Submitted 25 March, 2024; v1 submitted 8 December, 2020; originally announced December 2020.

Comments: introduction updated, to appear in Anal. PDE

MSC Class: 35R30; 58J50; 53C21; 58J45

Journal ref: Analysis & PDE 18 (2025) 963-1035

Transformation Optics for the Modelling of Waves in a Universe with Nontrivial Topology

Authors: Tracey Balehowsky, Matti Lassas, Pekka Pankka, Ville Sirviö

Abstract: We consider how transformation optics and invisibility cloaking can be used to construct models in subsets $\mathbb{R}^3$ with a varying metric, where the time-harmonic waves for a given angular wavenumber $k$, are equivalent to the waves in some closed orientable manifold. The obtained models could in principle be physically implemented using a device built from metamaterials. In particular the m… ▽ More We consider how transformation optics and invisibility cloaking can be used to construct models in subsets $\mathbb{R}^3$ with a varying metric, where the time-harmonic waves for a given angular wavenumber $k$, are equivalent to the waves in some closed orientable manifold. The obtained models could in principle be physically implemented using a device built from metamaterials. In particular the measurements in the metamaterial device given by the Helmholtz source-to-solution operator are equivalent to Helmholtz source-to-solution measurements in a universe given by $(\mathbb{R}_+\times M, -dt^2 +g)$, where $(M,g)$ is a closed, orientable, $C^\infty$-smooth, 3-dimensional Riemannian manifold. Thus the obtained construction could be used to simulate cosmological models using metamaterial devices. △ Less

Submitted 25 March, 2021; v1 submitted 18 November, 2020; originally announced November 2020.

Comments: 42 pages. Added 3 figures. Layout of chapter 3 changed for clarity. More motivation and a new subsection on cloaking and black holes added to the introduction. Additional references added. Typos fixed

An Inverse Problem for the Relativistic Boltzmann Equation

Authors: Tracey Balehowsky, Antti Kujanpää, Matti Lassas, Tony Liimatainen

Abstract: We consider an inverse problem for the Boltzmann equation on a globally hyperbolic Lorentzian spacetime $(M,g)$ with an unknown metric $g$. We consider measurements done in a neighbourhood $V\subset M$ of a timelike path $μ$ that connects a point $x^-$ to a point $x^+$. The measurements are modelled by a source-to-solution map, which maps a source supported in $V$ to the restriction of the solutio… ▽ More We consider an inverse problem for the Boltzmann equation on a globally hyperbolic Lorentzian spacetime $(M,g)$ with an unknown metric $g$. We consider measurements done in a neighbourhood $V\subset M$ of a timelike path $μ$ that connects a point $x^-$ to a point $x^+$. The measurements are modelled by a source-to-solution map, which maps a source supported in $V$ to the restriction of the solution to the Boltzmann equation to the set $V$. We show that the source-to-solution map uniquely determines the Lorentzian spacetime, up to an isometry, in the set $I^+(x^-)\cap I^-(x^+)\subset M$. The set $I^+(x^-)\cap I^-(x^+)$ is the intersection of the future of the point $x^-$ and the past of the point $x^+$, and hence is the maximal set to where causal signals sent from $x^-$ can propagate and return to the point $x^+$. The proof of the result is based on using the nonlinearity of the Boltzmann equation as a beneficial feature for solving the inverse problem. △ Less

Submitted 27 September, 2022; v1 submitted 18 November, 2020; originally announced November 2020.

Comments: 60 pages. 4 figures. In this version, we have have improved the presentation of Section 4, which includes added motivation for Definition 4.1. We have also added more exposition in the introduction, in particular a more thorough discussion of Definition 1.2. Minor typos were fixed throughout the paper. This version coincides with the published version of our work, to appear in CMP

Construction of artificial point sources for a linear wave equation in unknown medium

Authors: Anna Kirpichnikova, Jussi Korpela, Matti Lassas, Lauri Oksanen

Abstract: We study the wave equation on a bounded domain of $\mathbb R^m$ and on a compact Riemannian manifold $M$ with boundary. We assume that the coefficients of the wave equation are unknown but that we are given the hyperbolic Neumann-to-Dirichlet map $Λ$ that corresponds to the physical measurements on the boundary. Using the knowledge of $Λ$ we construct a sequence of Neumann boundary values so that… ▽ More We study the wave equation on a bounded domain of $\mathbb R^m$ and on a compact Riemannian manifold $M$ with boundary. We assume that the coefficients of the wave equation are unknown but that we are given the hyperbolic Neumann-to-Dirichlet map $Λ$ that corresponds to the physical measurements on the boundary. Using the knowledge of $Λ$ we construct a sequence of Neumann boundary values so that at a time $T$ the corresponding waves converge to zero while the time derivative of the waves converge to a delta distribution. Such waves are called an artificial point source. The convergence of the wave takes place in the function spaces naturally related to the energy of the wave. We apply the results for inverse problems and demonstrate the focusing of the waves numerically in the 1-dimensional case. △ Less

Submitted 22 September, 2020; originally announced September 2020.

MSC Class: 35Q93; 35R30; 93B05

Uniqueness and stability of an inverse problem for a semi-linear wave equation

Authors: Matti Lassas, Tony Liimatainen, Leyter Potenciano-Machado, Teemu Tyni

Abstract: We consider the recovery of a potential associated with a semi-linear wave equation on $\mathbb{R}^{n+1}$, $n\geq 1$. We show a Hölder stability estimate for the recovery of an unknown potential $a$ of the wave equation $\square u +a u^m=0$ from its Dirichlet-to-Neumann map. We show that an unknown potential $a(x,t)$, supported in $Ω\times[t_1,t_2]$, of the wave equation $\square u +a u^m=0$ can b… ▽ More We consider the recovery of a potential associated with a semi-linear wave equation on $\mathbb{R}^{n+1}$, $n\geq 1$. We show a Hölder stability estimate for the recovery of an unknown potential $a$ of the wave equation $\square u +a u^m=0$ from its Dirichlet-to-Neumann map. We show that an unknown potential $a(x,t)$, supported in $Ω\times[t_1,t_2]$, of the wave equation $\square u +a u^m=0$ can be recovered in a Hölder stable way from the map $u|_{\partial Ω\times [0,T]}\mapsto \langleψ,\partial_νu|_{\partial Ω\times [0,T]}\rangle_{L^2(\partial Ω\times [0,T])}$. This data is equivalent to the inner product of the Dirichlet-to-Neumann map with a measurement function $ψ$. We also prove similar stability result for the recovery of $a$ when there is noise added to the boundary data. The method we use is constructive and it is based on the higher order linearization. As a consequence, we also get a uniqueness result. We also give a detailed presentation of the forward problem for the equation $\square u +a u^m=0$. △ Less

Submitted 23 June, 2020; originally announced June 2020.

Comments: 32 pages

MSC Class: 35R30; 35L05; 35L70

Inverse problems for non-linear hyperbolic equations with disjoint sources and receivers

Authors: Ali Feizmohammadi, Matti Lassas, Lauri Oksanen

Abstract: The paper studies inverse problems of determining unknown coefficients in various semi-linear and quasi-linear wave equations. We introduce a method to solve inverse problems for non-linear equations using interaction of three waves, that makes it possible to study the inverse problem in all dimensions $n+1\geq 3$. We consider the case when the set $Ω_{\textrm{in}}$, where the sources are supporte… ▽ More The paper studies inverse problems of determining unknown coefficients in various semi-linear and quasi-linear wave equations. We introduce a method to solve inverse problems for non-linear equations using interaction of three waves, that makes it possible to study the inverse problem in all dimensions $n+1\geq 3$. We consider the case when the set $Ω_{\textrm{in}}$, where the sources are supported, and the set $Ω_{\textrm{out}}$, where the observations are made, are separated. As model problems we study both a quasi-linear and also a semi-linear wave equation and show in each case that it is possible to uniquely recover the background metric up to the natural obstructions for uniqueness that is governed by finite speed of propagation for the wave equation and a gauge corresponding to change of coordinates. The proof consists of two independent components. In the first half we study multiple-fold linearization of the non-linear wave equation near real parts of Gaussian beams that results in a three-wave interaction. We show that the three-wave interaction can produce a three-to-one scattering data. In the second half of the paper, we study an abstract formulation of the three-to-one scattering relation showing that it recovers the topological, differential and conformal structures of the manifold in a causal diamond set that is the intersection of the future of the point $p_{in}\in Ω_{\textrm{in}}$ and the past of the point $p_{out}\in Ω_{\textrm{out}}$. The results do not require any assumptions on the conjugate or cut points. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Comments: 61 pages

Deep neural networks for inverse problems with pseudodifferential operators: an application to limited-angle tomography

Authors: Tatiana A. Bubba, Mathilde Galinier, Matti Lassas, Marco Prato, Luca Ratti, Samuli Siltanen

Abstract: We propose a novel convolutional neural network (CNN), called $Ψ$DONet, designed for learning pseudodifferential operators ($Ψ$DOs) in the context of linear inverse problems. Our starting point is the Iterative Soft Thresholding Algorithm (ISTA), a well-known algorithm to solve sparsity-promoting minimization problems. We show that, under rather general assumptions on the forward operator, the unf… ▽ More We propose a novel convolutional neural network (CNN), called $Ψ$DONet, designed for learning pseudodifferential operators ($Ψ$DOs) in the context of linear inverse problems. Our starting point is the Iterative Soft Thresholding Algorithm (ISTA), a well-known algorithm to solve sparsity-promoting minimization problems. We show that, under rather general assumptions on the forward operator, the unfolded iterations of ISTA can be interpreted as the successive layers of a CNN, which in turn provides fairly general network architectures that, for a specific choice of the parameters involved, allow to reproduce ISTA, or a perturbation of ISTA for which we can bound the coefficients of the filters. Our case study is the limited-angle X-ray transform and its application to limited-angle computed tomography (LA-CT). In particular, we prove that, in the case of LA-CT, the operations of upscaling, downscaling and convolution, which characterize our $Ψ$DONet and most deep learning schemes, can be exactly determined by combining the convolutional nature of the limited angle X-ray transform and basic properties defining an orthogonal wavelet system. We test two different implementations of $Ψ$DONet on simulated data from limited-angle geometry, generated from the ellipse data set. Both implementations provide equally good and noteworthy preliminary results, showing the potential of the approach we propose and paving the way to applying the same idea to other convolutional operators which are $Ψ$DOs or Fourier integral operators. △ Less

Submitted 2 June, 2020; originally announced June 2020.

MSC Class: 44A12; 68T07; 35S30; 58J40; 92C55

Inverse problem for the Yang-Mills equations

Authors: Xi Chen, Matti Lassas, Lauri Oksanen, Gabriel P. Paternain

Abstract: We show that a connection can be recovered up to gauge from source-to-solution type data associated with the Yang-Mills equations in the four dimensional Minkowski space. Our proof analyzes the principal symbols of waves generated by suitable nonlinear interactions and reduces the inversion to a broken non-abelian light ray transform. The principal symbol analysis of the interaction is based on a… ▽ More We show that a connection can be recovered up to gauge from source-to-solution type data associated with the Yang-Mills equations in the four dimensional Minkowski space. Our proof analyzes the principal symbols of waves generated by suitable nonlinear interactions and reduces the inversion to a broken non-abelian light ray transform. The principal symbol analysis of the interaction is based on a delicate calculation that involves the structure of the Lie algebra under consideration and the final result holds for any compact Lie group. △ Less

Submitted 26 May, 2020; originally announced May 2020.

MSC Class: 35R30

Classification of stroke using Neural Networks in Electrical Impedance Tomography

Authors: Juan Pablo Agnelli, Aynur Çöl, Matti Lassas, Rashmi Murthy, Matteo Santacesaria, Samuli Siltanen

Abstract: Electrical Impedance Tomography (EIT) is an emerging non-invasive medical imaging modality. It is based on feeding electrical currents into the patient, measuring the resulting voltages at the skin, and recovering the internal conductivity distribution. The mathematical task of EIT image reconstruction is a nonlinear and ill-posed inverse problem. Therefore any EIT image reconstruction method need… ▽ More Electrical Impedance Tomography (EIT) is an emerging non-invasive medical imaging modality. It is based on feeding electrical currents into the patient, measuring the resulting voltages at the skin, and recovering the internal conductivity distribution. The mathematical task of EIT image reconstruction is a nonlinear and ill-posed inverse problem. Therefore any EIT image reconstruction method needs to be regularized, typically resulting in blurred images. One promising application is stroke-EIT, or classification of stroke into either ischemic or hemorrhagic. Ischemic stroke involves a blood clot, preventing blood flow to a part of the brain causing a low-conductivity region. Hemorrhagic stroke means bleeding in the brain causing a high-conductivity region. In both cases the symptoms are identical, so a cost-effective and portable classification device is needed. Typical EIT are not optimal for stroke-EIT because of blurriness. This paper explores the possibilities of machine learning in improving the classification results. Two paradigms are compared: (a) learning from the EIT data, that is Dirichlet-to-Neumann (DN) maps and (b) extracting robust features from data and learning from them. The features of choice are Virtual Hybrid Edge Detection (VHED) functions [Greenleaf {\it et al.}, Analysis \& PDE 11, 2018] that have a geometric interpretation and whose computation from EIT data does not involve calculating a full image of the conductivity. We report the measures of accuracy, sensitivity and specificity of the networks trained with EIT data and VHED functions separately. Computational evidence based on simulated noisy EIT data suggests that the regularized grey-box paradigm (b) leads to significantly better classification results than the black-box paradigm (a). △ Less

Submitted 2 September, 2020; v1 submitted 14 April, 2020; originally announced April 2020.

Journal ref: Inverse Problems 36 (2020) 115008

Inverse scattering on non-compact manifolds with general metric

Authors: Hiroshi Isozaki, Matti Lassas

Abstract: The problems we address in this paper are the spectral theory and the inverse problems associated with Laplacians on non-compact Riemannian manifolds and more general manifolds admitting conic singularities. In particular, we study the inverse scattering problem where one observes the asymptotic behavior of the solutions of the Helmholtz equation on the manifold. These observations are analogous t… ▽ More The problems we address in this paper are the spectral theory and the inverse problems associated with Laplacians on non-compact Riemannian manifolds and more general manifolds admitting conic singularities. In particular, we study the inverse scattering problem where one observes the asymptotic behavior of the solutions of the Helmholtz equation on the manifold. These observations are analogous to Heisenberg's scattering matrix in quantum mechanics. We then show that the knowledge of the scattering matrix determines the topology and the metric of the manifold. In the paper we develop a unified approach to consider scattering problems on manifolds that can have very different type of infinities, such as regular hyperbolic ends, cusps, and cylindrical ends related to models encountered in the study of wave guides. We allow the manifold to have also conic singularities. Due to this, the studied class of manifolds include orbifolds. Such non-smooth structures arise in the study of the stability of inverse problems and of the geometrical collapse. △ Less

Submitted 14 April, 2020; originally announced April 2020.

MSC Class: 35R30; 58J50; 47A40

A foliated and reversible Finsler manifold is determined by its broken scattering relation

Authors: Maarten V. de Hoop, Joonas Ilmavirta, Matti Lassas, Teemu Saksala

Abstract: The broken scattering relation consists of the total lengths of broken geodesics that start from the boundary, change direction once inside the manifold, and propagate to the boundary. We show that if two reversible Finsler manifolds satisfying a convex foliation condition have the same broken scattering relation, then they are isometric. This implies that some anisotropic material parameters of t… ▽ More The broken scattering relation consists of the total lengths of broken geodesics that start from the boundary, change direction once inside the manifold, and propagate to the boundary. We show that if two reversible Finsler manifolds satisfying a convex foliation condition have the same broken scattering relation, then they are isometric. This implies that some anisotropic material parameters of the Earth can be in principle reconstructed from single scattering measurements at the surface. △ Less

Submitted 21 May, 2021; v1 submitted 27 March, 2020; originally announced March 2020.

MSC Class: 86A22; 53Z05; 53C60

Journal ref: Pure Appl. Analysis 3 (2021) 789-811