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

Reducing the cost of posterior sampling in linear inverse problems via task-dependent score learning

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

Abstract: Score-based diffusion models (SDMs) offer a flexible approach to sample from the posterior distribution in a variety of Bayesian inverse problems. In the literature, the prior score is utilized to sample from the posterior by different methods that require multiple evaluations of the forward map** in order to generate a single posterior sample. These methods are often designed with the objective… ▽ More Score-based diffusion models (SDMs) offer a flexible approach to sample from the posterior distribution in a variety of Bayesian inverse problems. In the literature, the prior score is utilized to sample from the posterior by different methods that require multiple evaluations of the forward map** in order to generate a single posterior sample. These methods are often designed with the objective of enabling the direct use of the unconditional prior score and, therefore, task-independent training. In this paper, we focus on linear inverse problems, when evaluation of the forward map** is computationally expensive and frequent posterior sampling is required for new measurement data, such as in medical imaging. We demonstrate that the evaluation of the forward map** can be entirely bypassed during posterior sample generation. Instead, without introducing any error, the computational effort can be shifted to an offline task of training the score of a specific diffusion-like random process. In particular, the training is task-dependent requiring information about the forward map** but not about the measurement data. It is shown that the conditional score corresponding to the posterior can be obtained from the auxiliary score by suitable affine transformations. We prove that this observation generalizes to the framework of infinite-dimensional diffusion models introduced recently and provide numerical analysis of the method. Moreover, we validate our findings with numerical experiments. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: 23 pages, 2 figues

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

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

Authors: Matti Lassas, **peng 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

TILT: topological interface recovery in limited-angle tomography

Authors: Elli Karvonen, Matti Lassas, Pekka Pankka, Samuli Siltanen

Abstract: A novel reconstruction method is introduced for the severely ill-posed inverse problem of limited-angle tomography. It is well known that, depending on the available measurement, angles specify a subset of the wavefront set of the unknown target, while some oriented singularities remain invisible in the data. Topological Interface recovery for Limited-angle Tomography, or TILT, is based on lifting… ▽ More A novel reconstruction method is introduced for the severely ill-posed inverse problem of limited-angle tomography. It is well known that, depending on the available measurement, angles specify a subset of the wavefront set of the unknown target, while some oriented singularities remain invisible in the data. Topological Interface recovery for Limited-angle Tomography, or TILT, is based on lifting the visible part of the wavefront set under a universal covering map. In the space provided, it is possible to connect the appropriate pieces of the lifted wavefront set correctly using dual-tree complex wavelets, a dedicated metric, and persistent homology. The result is not only a suggested invisible boundary but also a computational representation for all interfaces in the target. △ Less

Submitted 25 October, 2023; originally announced October 2023.

MSC Class: 65R32; 65T60; 65F22; 92C55; 55N35

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, **peng 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

Inner product regularized multi-energy X-ray tomography for material decomposition

Authors: Salla-Maaria Latva-Äijö, Filippo Zanetti, Ari-Pekka Honkanen, Simo Huotari, Jacek Gondzio, Matti Lassas, Samuli Siltanen

Abstract: Multi-energy X-ray tomography is studied for decomposing three materials using three X-ray energies and a classical energy-integrating detector. A novel regularization term comprises inner products between the material distribution functions, penalizing any overlap of different materials. The method is tested on real data measured of a phantom embedded with Na$_2$SeO$_3$, Na$_2$SeO$_4$, and elemen… ▽ More Multi-energy X-ray tomography is studied for decomposing three materials using three X-ray energies and a classical energy-integrating detector. A novel regularization term comprises inner products between the material distribution functions, penalizing any overlap of different materials. The method is tested on real data measured of a phantom embedded with Na$_2$SeO$_3$, Na$_2$SeO$_4$, and elemental selenium. It is found that the two-dimensional distributions of selenium in different oxidation states can be mapped and distinguished from each other with the new algorithm. The results have applications in material science, chemistry, biology and medicine. △ Less

Submitted 4 August, 2023; originally announced September 2023.

Reconstruction of generic 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 the space of all 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. Such partial data arises naturally from geophysical 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 results fail for very symmetric (e.g., fully isotropic) materials, evidencing the counterintuitive claim that inverse problems in elasticity can become more tractable with increasing asymmetry. △ Less

Submitted 6 July, 2023; originally announced July 2023.

Comments: 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, **peng 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)

Globally injective and bijective neural operators

Authors: Takashi Furuya, Michael Puthawala, Matti Lassas, Maarten V. de Hoop

Abstract: Recently there has been great interest in operator learning, where networks learn operators between function spaces from an essentially infinite-dimensional perspective. In this work we present results for when the operators learned by these networks are injective and surjective. As a warmup, we combine prior work in both the finite-dimensional ReLU and operator learning setting by giving sharp co… ▽ More Recently there has been great interest in operator learning, where networks learn operators between function spaces from an essentially infinite-dimensional perspective. In this work we present results for when the operators learned by these networks are injective and surjective. As a warmup, we combine prior work in both the finite-dimensional ReLU and operator learning setting by giving sharp conditions under which ReLU layers with linear neural operators are injective. We then consider the case the case when the activation function is pointwise bijective and obtain sufficient conditions for the layer to be injective. We remark that this question, while trivial in the finite-rank case, is subtler in the infinite-rank case and is proved using tools from Fredholm theory. Next, we prove that our supplied injective neural operators are universal approximators and that their implementation, with finite-rank neural networks, are still injective. This ensures that injectivity is not `lost' in the transcription from analytical operators to their finite-rank implementation with networks. Finally, we conclude with an increase in abstraction and consider general conditions when subnetworks, which may be many layers deep, are injective and surjective and provide an exact inversion from a `linearization.' This section uses general arguments from Fredholm theory and Leray-Schauder degree theory for non-linear integral equations to analyze the map** properties of neural operators in function spaces. These results apply to subnetworks formed from the layers considered in this work, under natural conditions. We believe that our work has applications in Bayesian UQ where injectivity enables likelihood estimation and in inverse problems where surjectivity and injectivity corresponds to existence and uniqueness, respectively. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: 39 pages

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 develo** 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 develo** 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 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, **peng 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, **peng 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

Inverse problems for non-linear Schrödinger equations with time-dependent coefficients

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

Abstract: The paper studies the inverse problem of reconstructuring the coefficient $β(t,x)$ of the non-linear term and the potential $V(t,x)$ of a non-linear Schrödinger equation in time-domain, $( i \frac{\partial}{\partial t} + Δ+ V) u + βu^2 = f$ in $(0,T)\times M$, where $M\subset \mathbb{R}^n$ is a convex and compact set with smooth boundary. We consider measurements in a neighborhood $Ω\subset M$ tha… ▽ More The paper studies the inverse problem of reconstructuring the coefficient $β(t,x)$ of the non-linear term and the potential $V(t,x)$ of a non-linear Schrödinger equation in time-domain, $( i \frac{\partial}{\partial t} + Δ+ V) u + βu^2 = f$ in $(0,T)\times M$, where $M\subset \mathbb{R}^n$ is a convex and compact set with smooth boundary. We consider measurements in a neighborhood $Ω\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 a second-order non-linear Schrödinger equation and for the Gross-Pitaevskii equation, with a cubic non-linear term $β|u|^2u$, that is encountered in quantum physics. △ Less

Submitted 3 November, 2023; v1 submitted 10 January, 2022; originally announced January 2022.

Comments: 25 pages

MSC Class: 35R30 (Primary); 35G20 (Secondary)

Learning a microlocal prior for limited-angle tomography

Authors: Siiri Rautio, Rashmi Murthy, Tatiana A. Bubba, Matti Lassas, Samuli Siltanen

Abstract: Limited-angle tomography is a highly ill-posed linear inverse problem. It arises in many applications, such as digital breast tomosynthesis. Reconstructions from limited-angle data typically suffer from severe stretching of features along the central direction of projections, leading to poor separation between slices perpendicular to the central direction. A new method is introduced, based on mach… ▽ More Limited-angle tomography is a highly ill-posed linear inverse problem. It arises in many applications, such as digital breast tomosynthesis. Reconstructions from limited-angle data typically suffer from severe stretching of features along the central direction of projections, leading to poor separation between slices perpendicular to the central direction. A new method is introduced, based on machine learning and geometry, producing an estimate for interfaces between regions of different X-ray attenuation. The estimate can be presented on top of the reconstruction, indicating more reliably the true form and extent of features. The method uses directional edge detection, implemented using complex wavelets and enhanced with morphological operations. By using machine learning, the visible part of the wavefront set is first extracted and then extended to the full domain, filling in the parts of the wavefront set that would otherwise be hidden due to the lack of measurement directions. △ Less

Submitted 21 April, 2022; v1 submitted 31 December, 2021; originally announced January 2022.

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

Authors: Charles Fefferman, Sergei Ivanov, Matti Lassas, **peng 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

Universal Joint Approximation of Manifolds and Densities by Simple Injective Flows

Authors: Michael Puthawala, Matti Lassas, Ivan Dokmanić, Maarten de Hoop

Abstract: We study approximation of probability measures supported on $n$-dimensional manifolds embedded in $\mathbb{R}^m$ by injective flows -- neural networks composed of invertible flows and injective layers. We show that in general, injective flows between $\mathbb{R}^n$ and $\mathbb{R}^m$ universally approximate measures supported on images of extendable embeddings, which are a subset of standard embed… ▽ More We study approximation of probability measures supported on $n$-dimensional manifolds embedded in $\mathbb{R}^m$ by injective flows -- neural networks composed of invertible flows and injective layers. We show that in general, injective flows between $\mathbb{R}^n$ and $\mathbb{R}^m$ universally approximate measures supported on images of extendable embeddings, which are a subset of standard embeddings: when the embedding dimension m is small, topological obstructions may preclude certain manifolds as admissible targets. When the embedding dimension is sufficiently large, $m \ge 3n+1$, we use an argument from algebraic topology known as the clean trick to prove that the topological obstructions vanish and injective flows universally approximate any differentiable embedding. Along the way we show that the studied injective flows admit efficient projections on the range, and that their optimality can be established "in reverse," resolving a conjecture made in Brehmer and Cranmer 2020. △ Less

Submitted 27 June, 2022; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: 26 pages, 5 figures

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

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

Authors: Emilia Blåsten, Hiroshi Isozaki, Matti Lassas, **peng 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

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 scatterers. We geometrize this problem in the framework of linear elasticity, 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 measureme… ▽ More Dix formulated the inverse problem of recovering an elastic body from the measurements of wave fronts of point scatterers. We geometrize this problem in the framework of linear elasticity, 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 20 February, 2021; originally announced February 2021.

Comments: 20 pages

Gel'fand's inverse problem for the graph Laplacian

Authors: Emilia Blåsten, Hiroshi Isozaki, Matti Lassas, **peng 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, **peng 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

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

Globally Injective ReLU Networks

Authors: Michael Puthawala, Konik Kothari, Matti Lassas, Ivan Dokmanić, Maarten de Hoop

Abstract: Injectivity plays an important role in generative models where it enables inference; in inverse problems and compressed sensing with generative priors it is a precursor to well posedness. We establish sharp characterizations of injectivity of fully-connected and convolutional ReLU layers and networks. First, through a layerwise analysis, we show that an expansivity factor of two is necessary and s… ▽ More Injectivity plays an important role in generative models where it enables inference; in inverse problems and compressed sensing with generative priors it is a precursor to well posedness. We establish sharp characterizations of injectivity of fully-connected and convolutional ReLU layers and networks. First, through a layerwise analysis, we show that an expansivity factor of two is necessary and sufficient for injectivity by constructing appropriate weight matrices. We show that global injectivity with iid Gaussian matrices, a commonly used tractable model, requires larger expansivity between 3.4 and 10.5. We also characterize the stability of inverting an injective network via worst-case Lipschitz constants of the inverse. We then use arguments from differential topology to study injectivity of deep networks and prove that any Lipschitz map can be approximated by an injective ReLU network. Finally, using an argument based on random projections, we show that an end-to-end -- rather than layerwise -- doubling of the dimension suffices for injectivity. Our results establish a theoretical basis for the study of nonlinear inverse and inference problems using neural networks. △ Less

Submitted 8 October, 2021; v1 submitted 15 June, 2020; originally announced June 2020.

Comments: 48 pages, 18 figures, submitted to JMLR

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

Deep learning architectures for nonlinear operator functions and nonlinear inverse problems

Authors: Maarten V. de Hoop, Matti Lassas, Christopher A. Wong

Abstract: We develop a theoretical analysis for special neural network architectures, termed operator recurrent neural networks, for approximating nonlinear functions whose inputs are linear operators. Such functions commonly arise in solution algorithms for inverse boundary value problems. Traditional neural networks treat input data as vectors, and thus they do not effectively capture the multiplicative s… ▽ More We develop a theoretical analysis for special neural network architectures, termed operator recurrent neural networks, for approximating nonlinear functions whose inputs are linear operators. Such functions commonly arise in solution algorithms for inverse boundary value problems. Traditional neural networks treat input data as vectors, and thus they do not effectively capture the multiplicative structure associated with the linear operators that correspond to the data in such inverse problems. We therefore introduce a new family that resembles a standard neural network architecture, but where the input data acts multiplicatively on vectors. Motivated by compact operators appearing in boundary control and the analysis of inverse boundary value problems for the wave equation, we promote structure and sparsity in selected weight matrices in the network. After describing this architecture, we study its representation properties as well as its approximation properties. We furthermore show that an explicit regularization can be introduced that can be derived from the mathematical analysis of the mentioned inverse problems, and which leads to certain guarantees on the generalization properties. We observe that the sparsity of the weight matrices improves the generalization estimates. Lastly, we discuss how operator recurrent networks can be viewed as a deep learning analogue to deterministic algorithms such as boundary control for reconstructing the unknown wavespeed in the acoustic wave equation from boundary measurements. △ Less

Submitted 3 January, 2022; v1 submitted 23 December, 2019; originally announced December 2019.

Comments: To appear in Mathematical Statistics and Learning

MSC Class: 68T05; 35R30; 62M45

Conformal harmonic coordinates

Authors: Matti Lassas, Tony Liimatainen

Abstract: We study conformal harmonic coordinates on Riemannian manifolds. These are coordinates constructed as quotients of solutions to the conformal Laplace equation. We show their existence under general conditions. We find that conformal harmonic coordinates are a close conformal analogue of harmonic coordinates. We prove up to boundary regularity results for conformal map**s. We show that Weyl, Cott… ▽ More We study conformal harmonic coordinates on Riemannian manifolds. These are coordinates constructed as quotients of solutions to the conformal Laplace equation. We show their existence under general conditions. We find that conformal harmonic coordinates are a close conformal analogue of harmonic coordinates. We prove up to boundary regularity results for conformal map**s. We show that Weyl, Cotton, Bach, and Fefferman-Graham obstruction tensors become elliptic operators in conformal harmonic coordinates if one normalizes the determinant of the metric. We give a corresponding elliptic regularity result, which includes an analytic case. We prove a unique continuation result for local conformal flatness for Bach and obstruction flat manifolds. We discuss and prove existence of conformal harmonic coordinates on Lorentzian manifolds. We prove unique continuation results for conformal map**s both on Riemannian and Lorentzian manifolds. △ Less

Submitted 20 December, 2019; v1 submitted 17 December, 2019; originally announced December 2019.

Comments: Revised to include additional references, 39 pages

MSC Class: 53A30 (Primary) 53B20; 35J60 (Secondary)

X-Ray Transform in Asymptotically Conic Spaces

Authors: Colin Guillarmou, Matti Lassas, Leo Tzou

Abstract: In this article, we study the properties of the geodesic X-ray transform for asymptotically Euclidean or conic Riemannian metrics and show injectivity under non-trap** and no conjugate point assumptions. We also define a notion of lens data for such metrics and study the associated inverse problem. In this article, we study the properties of the geodesic X-ray transform for asymptotically Euclidean or conic Riemannian metrics and show injectivity under non-trap** and no conjugate point assumptions. We also define a notion of lens data for such metrics and study the associated inverse problem. △ Less

Submitted 6 February, 2021; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: 48 pages, minor corrections after refereeing process

Journal ref: International Mathematics Research Notices, rnaa286, 2020