arXiv subjects

Matti Lassas

Publications and source records attributed to Matti Lassas.

At least 109 records · Page 6Linked to original sources

arXiv2019

Detection of Hermitian connections in wave equations with cubic non-linearity

We consider the geometric non-linear inverse problem of recovering a Hermitian connection $A$ from the source-to-solution map of the cubic wave equation $\Box_{A}ϕ+κ|ϕ|^{2}ϕ=f$, where $κ\neq 0$ and $\Box_{A}$ is the connection wave operator in the Minkowski space $\mathbb{R}^{1+3}$. The equation arises naturally when considering the Yang-Mills-Higgs equations with Mexican hat type potentials. Our proof exploits the microlocal analysis of nonlinear wave interactions, but instead of employing information contained in the geometry of the wave front sets as in previous literature, we study the principal symbols of waves generated by suitable interactions. Moreover, our approach relies on inversion of a novel non-abelian broken light ray transform.

math.AP↗

arXiv2018

Hyperbolic inverse problem with data on disjoint sets

We consider a restricted Dirichlet-to-Neumann map associated to a wave type operator on a Riemannian manifold with boundary. The restriction corresponds to the case where the Dirichlet traces are supported on one subset of the boundary and the Neumann traces are restricted on another subset. We show that the restricted Dirichlet-to-Neumann map determines the lower order terms in the wave equation, up the natural gauge invariances, along a convex foliation of the manifold. We allow the lower order terms to be non-self-adjoint, and in particular, the corresponding physical system may have dissipation of energy.

math.AP↗

arXiv2018

The Poisson embedding approach to the Calderón problem

We introduce a new approach to the anisotropic Calderón problem, based on a map called Poisson embedding that identifies the points of a Riemannian manifold with distributions on its boundary. We give a new uniqueness result for a large class of Calderón type inverse problems for quasilinear equations in the real analytic case. The approach also leads to a new proof of the result by Lassas and Uhlmann (2001) solving the Calderón problem on real analytic Riemannian manifolds. The proof uses the Poisson embedding to determine the harmonic functions in the manifold up to a harmonic morphism. The method also involves various Runge approximation results for linear elliptic equations.

math.AP↗

arXiv2018

Correlation imaging in inverse scattering is tomography on probability distributions

Scattering from a non-smooth random field on the time domain is studied for plane waves that propagate simultaneously through the potential in variable angles. We first derive sufficient conditions for stochastic moments of the field to be recovered from correlations between amplitude measurements of the leading singularities, detected in the exterior of a region where the potential is almost surely supported. The result is then applied to show that if two sufficiently regular random fields yield the same data, they have identical laws as function-valued random variables.

math.AP↗

arXiv2018

Discrete regularization and convergence of the inverse problem for 1+1 dimensional wave equation

An inverse boundary value problem for the 1+1 dimensional wave equation $(\partial_t^2 - c(x)^2 \partial_x^2)u(x,t)=0,\quad x\in\mathbb{R}_+$ is considered. We give a discrete regularization strategy to recover wave speed $c(x)$ when we are given the boundary value of the wave, $u(0,t)$, that is produced by a single pulse-like source. The regularization strategy gives an approximative wave speed $\widetilde c$, satisfying a Hölder type estimate $\| \widetilde c-c\|\leq C ε^γ$, where $ε$ is the noise level.

math.AP↗

arXiv2018

Reconstruction of a compact Riemannian manifold from the scattering data of internal sources

Given a smooth non-trapping compact manifold with strictly con- vex boundary, we consider an inverse problem of reconstructing the manifold from the scattering data initiated from internal sources. This data consist of the exit directions of geodesics that are emaneted from interior points of the manifold. We show that under certain generic assumption of the metric, one can reconstruct an isometric copy of the manifold from such scattering data measured on the boundary.

math.DG↗

arXiv2018

Inverse problem for Einstein-scalar field equations

The paper introduces a method to solve inverse problems for hyperbolic systems where the leading order terms are non-linear. We apply the method to the coupled Einstein-scalar field equations and study the question whether the structure of spacetime can be determined by making active measurements near the world line of an observer. We show that such measurements determine the topological, differential and conformal structure of the spacetime in the optimal chronological diamond type set containing the world line. In the case when the unknown part of the spacetime is vacuum, we can also determine the metric itself. We exploit the non-linearity of the equation to obtain a rich set of propagating singularities, produced by a non-linear interaction of singularities that propagate initially as for linear wave equations. This non-linear effect is then used as a tool to solve the inverse problem for the non-linear system. The method works even in cases where the corresponding inverse problems for linear equations remain open, and it can potentially be applied to a large class of inverse problems for non-linear hyperbolic equations encountered in practical imaging problems.

math.AP↗

arXiv2017

The linearized Calderon problem in transversally anisotropic geometries

In this article we study the linearized anisotropic Calderon problem. In a compact manifold with boundary, this problem amounts to showing that products of harmonic functions form a complete set. Assuming that the manifold is transversally anisotropic, we show that the boundary measurements determine an FBI type transform at certain points in the transversal manifold. This leads to recovery of transversal singularities in the linearized problem. The method requires a geometric condition on the transversal manifold related to pairs of intersecting geodesics, but it does not involve the geodesic X-ray transform which has limited earlier results on this problem.

math.AP↗

arXiv2017

Optical computing by injection-locked lasers

A programmable optical computer has remained an elusive concept. To construct a practical computing primitive equivalent to an electronic Boolean logic, one should find a nonlinear phenomenon that overcomes weaknesses present in many optical processing schemes. Ideally, the nonlinearity should provide a functionally complete set of logic operations, enable ultrafast all-optical programmability, and allow cascaded operations without a change in the operating wavelength or in the signal encoding format. Here we demonstrate a programmable logic gate using an injection-locked Vertical-Cavity Surface-Emitting Laser (VCSEL). The gate program is switched between the AND and the OR operations at the rate of 1 GHz with Bit Error Ratio (BER) of 10e-6 without changes in the wavelength or in the signal encoding format. The scheme is based on nonlinearity of normalization operations, which can be used to construct any continuous complex function or operation, Boolean or otherwise.

cs.ET↗

arXiv2017

Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations

We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are: 1. Passive observations in spacetime: Consider observations in a neighborhood $V\subset M$ of a time-like geodesic $μ$. Under natural causality conditions, we reconstruct the conformal type of the unknown open, relatively compact set $W\subset M$, when we are given $V$, the conformal class of $g|_V$, and the light observations sets $P_V(q)$ corresponding to all source points $q$ in $W$. The light observation set $P_V(q)$ is the intersection of $V$ and the light-cone emanating from the point $q$, i.e., the points in the set $V$ where light from a point source at $q$ is observed. 2. Active measurements in spacetime: We develop a new method for inverse problems for non-linear hyperbolic equations that utilizes the non-linearity as a tool. This enables us to solve inverse problems for non-linear equations for which the corresponding problems for linear equations are still unsolved. To illustrate this method, we solve an inverse problem for semilinear wave equations with quadratic non-linearities. We assume that we are given the neighborhood $V$ of the time-like geodesic $μ$ and the source-to-solution operator that maps the source supported on $V$ to the restriction of the solution of the wave equation in $V$. When $M$ is 4-dimensional, we show that these data determine the topological, differentiable, and conformal structures of the spacetime in the maximal set where waves can propagate from $μ$ and return back to $μ$.

math.DG↗

arXiv2017

Propagation and recovery of singularities in the inverse conductivity problem

The ill-posedness of Calderón's inverse conductivity problem, responsible for the poor spatial resolution of Electrical Impedance Tomography (EIT), has been an impetus for the development of hybrid imaging techniques, which compensate for this lack of resolution by coupling with a second type of physical wave, typically modeled by a hyperbolic PDE. Here we show how, using EIT data alone, to efficiently detect interior jumps and other singularities of the conductivity. Analysis of the complex geometrical optics solutions of Astala and Päivärinta [\emph{Ann. Math.}, {\bf 163} (2006)] in 2D makes it possible to exploit an underlying complex principal type structure of the problem. We show that the leading term in a Neumann series is an invertible nonlinear generalized Radon transform of the conductivity. The wave front set of all higher-order terms can be characterized, and, under a prior, some are smoother than the leading term. Numerics indicate that this approach effectively detects inclusions within inclusions via EIT.

math.AP↗

arXiv2017

Determination of a Riemannian manifold from the distance difference functions

Let $(N,g)$ be a Riemannian manifold with the distance function $d(x,y)$ and an open subset $M\subset N$. For $x\in M$ we denote by $D_x$ the distance difference function $D_x:F\times F\to \mathbb R$, given by $D_x(z_1,z_2)=d(x,z_1)-d(x,z_2)$, $z_1,z_2\in F=N\setminus M$. We consider the inverse problem of determining the topological and the differentiable structure of the manifold $M$ and the metric $g|_M$ on it when we are given the distance difference data, that is, the set $F$, the metric $g|_F$, and the collection $\mathcal D(M)=\{D_x;\ x\in M\}$. Moreover, we consider the embedded image $\mathcal D(M)$ of the manifold $M$, in the vector space $C(F\times F)$, as a representation of manifold $M$. The inverse problem of determining $(M,g)$ from $\mathcal D(M)$ arises e.g. in the study of the wave equation on $\mathbb R\times N$ when we observe in $F$ the waves produced by spontaneous point sources at unknown points $(t,x)\in \mathbb R\times M$. Then $D_x(z_1,z_2)$ is the difference of the times when one observes at points $z_1$ and $z_2$ the wave produced by a point source at $x$ that goes off at an unknown time. The problem has applications in hybrid inverse problems and in geophysical imaging.

math.DG↗

arXiv2017

Determination of vacuum space-times from the Einstein-Maxwell equations

We study inverse problems for the Einstein-Maxwell equations. We prove that it is possible to generate gravitational waves from the nonlinear interactions of electromagnetic waves. By sending electromagnetic waves from a neighborhood of a freely falling observer and taking measurements of the gravitational perturbations in the same neighborhood, one can determine the vacuum space-time structure up to diffeomorphisms in the largest region where these waves can travel to from the observer and return.

math.AP↗

arXiv2016

The Calderón problem for the conformal Laplacian

We consider a conformally invariant version of the Calderón problem, where the objective is to determine the conformal class of a Riemannian manifold with boundary from the Dirichlet-to-Neumann map for the conformal Laplacian. The main result states that a locally conformally real-analytic manifold in dimensions $\geq 3$ can be determined in this way, giving a positive answer to an earlier conjecture by Lassas and Uhlmann (2001). The proof proceeds as in the standard Calderón problem on a real-analytic Riemannian manifold, but new features appear due to the conformal structure. In particular, we introduce a new coordinate system that replaces harmonic coordinates when determining the conformal class in a neighborhood of the boundary.

math.AP↗

arXiv2016

Correlation based passive imaging with a white noise source

Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - Δ_g u = χW$, where $W$ is a random variable with the white noise statistics on ${\mathbb R}^{1+n}$, $n \ge 3$, $χ$ is a smooth function vanishing for negative times and outside a compact set in space, and $Δ_g$ is the Laplace-Beltrami operator associated to a smooth non-trapping Riemannian metric tensor $g$ on ${\mathbb R}^n$. The metric tensor $g$ models the medium to be imaged, and we assume that it coincides with the Euclidean metric outside a compact set. We consider the empirical correlations on an open set $\mathcal X \subset {\mathbb R}^n$, $$ C_T(t_1, x_1, t_2, x_2) = \frac 1 T \int_0^T u(t_1+s,x_1) u(t_2+s,x_2) ds, \quad t_1,t_2>0,\ x_1,x_2\in \mathcal X, $$ for $T>0$. Supposing that $χ$ is non-zero on $\mathcal X$ and constant in time after $t > 1$, we show that in the limit $T \to \infty$, the data $C_T$ becomes statistically stable, that is, independent of the realization of $W$. Our main result is that, with probability one, this limit determines the Riemannian manifold $({\mathbb R}^n,g)$ up to an isometry. To our knowledge, this is the first result showing that a medium can be determined in a passive imaging setting, without assuming a separation of scales.

math.AP↗

arXiv2016

Inverse scattering for a random potential

In this paper we consider an inverse problem for the $n$-dimensional random Schrödinger equation $(Δ-q+k^2)u = 0$. We study the scattering of plane waves in the presence of a potential $q$ which is assumed to be a Gaussian random function such that its covariance is described by a pseudodifferential operator. Our main result is as follows: given the backscattered far field, obtained from a single realization of the random potential $q$, we uniquely determine the principal symbol of the covariance operator of $q$. Especially, for $n=3$ this result is obtained for the full non-linear inverse backscattering problem. Finally, we present a physical scaling regime where the method is of practical importance.

math.AP↗

arXiv2016

Inverse problems for semilinear wave equations on Lorentzian manifolds

We consider inverse problems in space-time $(M, g)$, a $4$-dimensional Lorentzian manifold. For semilinear wave equations $\square_g u + H(x, u) = f$, where $\square_g$ denotes the usual Laplace-Beltrami operator, we prove that the source-to-solution map $L: f \rightarrow u|_V$, where $V$ is a neighborhood of a time-like geodesic $μ$, determines the topological, differentiable structure and the conformal class of the metric of the space-time in the maximal set where waves can propagate from $μ$ and return back. Moreover, on a given space-time $(M, g)$, the source-to-solution map determines some coefficients of the Taylor expansion of $H$ in $u$.

math.AP↗

arXiv2016

Analysis of regularized inversion of data corrupted by white Gaussian noise

Tikhonov regularization is studied in the case of linear pseudodifferential operator as the forward map and additive white Gaussian noise as the measurement error. The measurement model for an unknown function $u(x)$ is \begin{eqnarray*} m(x) = Au(x) + δ\hspace{.2mm}\varepsilon(x), \end{eqnarray*} where $δ>0$ is the noise magnitude. If $\varepsilon$ was an $L^2$-function, Tikhonov regularization gives an estimate \begin{eqnarray*} T_α(m) = \text{argmin}_{u\in H^r}\big\{\|A u-m\|_{L^2}^2+ α\|u\|_{H^r}^2 \big\}\end{eqnarray*} for $u$ where $α=α(δ)$ is the regularization parameter. Here penalization of the Sobolev norm $ \|u\|_{H^r}$ covers the cases of standard Tikhonov regularization ($r=0$) and first derivative penalty ($r=1$). Realizations of white Gaussian noise are almost never in $L^2$, but do belong to $H^s$ with probability one if $s<0$ is small enough. A modification of Tikhonov regularization theory is presented, covering the case of white Gaussian measurement noise. Furthermore, the convergence of regularized reconstructions to the correct solution as $δ\rightarrow 0$ is proven in appropriate function spaces using microlocal analysis. The convergence of the related finite-dimensional problems to the infinite-dimensional problem is also analysed.

math.AP↗