Showing 1–35 of 35 results for author: Lassas, M

Quantum field theory and inverse problems: imaging with entangled photons

Authors: Matti Lassas, Medet Nursultanov, Lauri Oksanen, John C. Schotland

Abstract: We consider the quantum field theory for a scalar model of the electromagnetic field interacting with a system of two-level atoms. In this setting, we show that it is possible to uniquely determine the density of atoms from measurements of the source to solution map for a system of nonlocal partial differential equations, which describe the scattering of a two-photon state from the atoms. The requ… ▽ More We consider the quantum field theory for a scalar model of the electromagnetic field interacting with a system of two-level atoms. In this setting, we show that it is possible to uniquely determine the density of atoms from measurements of the source to solution map for a system of nonlocal partial differential equations, which describe the scattering of a two-photon state from the atoms. The required measurements involve correlating the outputs of a point detector with an integrating detector, thereby providing information about the entanglement of the photons. △ Less

Submitted 4 June, 2025; originally announced June 2025.

An inverse problem for the Standard Model of particle physics

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

Abstract: We pose and solve an inverse problem for the classical field equations that arise in the Standard Model of particle physics. Our main result describes natural conditions on the representations, so that it is possible to recover all the fields from measurements in a small set within a causal domain in Minkowski space. These conditions are satisfied for the representations arising in the Standard Mo… ▽ More We pose and solve an inverse problem for the classical field equations that arise in the Standard Model of particle physics. Our main result describes natural conditions on the representations, so that it is possible to recover all the fields from measurements in a small set within a causal domain in Minkowski space. These conditions are satisfied for the representations arising in the Standard Model. △ Less

Submitted 30 May, 2025; originally announced May 2025.

MSC Class: 35R30

Inverse problems for quantum graph associated with square and hexagonal lattices

Authors: K. Ando, E. Blåsten, P. Exner, H. Isozaki, E. Korotyaev, M. Lassas, J. Lu, H. Morioka

Abstract: We solve inverse problems from the D-N map for the quantum graph on a finite domain in a square lattice and that on a hexagonal lattice, as well as inverse scattering problems from the S-matrix for a locally perturbed square lattice and a hexagonal lattice. We solve inverse problems from the D-N map for the quantum graph on a finite domain in a square lattice and that on a hexagonal lattice, as well as inverse scattering problems from the S-matrix for a locally perturbed square lattice and a hexagonal lattice. △ Less

Submitted 4 September, 2024; originally announced September 2024.

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

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

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

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

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

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

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

Submitted 2 February, 2022; originally announced February 2022.

Comments: 36 pages, 4 figures

MSC Class: 81U40; 47A40

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

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

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 mappings. 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 mappings. 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 mappings 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)

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

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

Abstract: 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… ▽ More 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. △ Less

Submitted 15 February, 2019; originally announced February 2019.

MSC Class: 35R30

On the inverse problem of finding cosmic strings and other topological defects

Authors: Matti Lassas, Lauri Oksanen, Plamen Stefanov, Gunther Uhlmann

Abstract: We consider how microlocal methods developed for tomographic problems can be used to detect singularities of the Lorentzian metric of the Universe using measurements of the Cosmic Microwave Background radiation. The physical model we study is mathematically rigorous but highly idealized. We consider how microlocal methods developed for tomographic problems can be used to detect singularities of the Lorentzian metric of the Universe using measurements of the Cosmic Microwave Background radiation. The physical model we study is mathematically rigorous but highly idealized. △ Less

Submitted 12 May, 2015; originally announced May 2015.

MSC Class: 35R30

On Absence and Existence of the Anomalous Localized Resonance without the Quasi-static Approximation

Authors: Henrik Kettunen, Matti Lassas, Petri Ola

Abstract: The paper considers the transmission problems for Helmholtz equation with bodies that have negative material parameters. Such material parameters are used to model metals on optical frequencies and so-called metamaterials. As the absorption of the materials in the model tends to zero the fields may blow up. When the speed of the blow up is suitable, this is called the Anomalous Localized Reconance… ▽ More The paper considers the transmission problems for Helmholtz equation with bodies that have negative material parameters. Such material parameters are used to model metals on optical frequencies and so-called metamaterials. As the absorption of the materials in the model tends to zero the fields may blow up. When the speed of the blow up is suitable, this is called the Anomalous Localized Reconance (ALR). In this paper we study this phenomenon and formulate a new condition, the weak Anomalous Localized Reconance (w-ALR), where the speed of the blow up of fields may be slower. Using this concept, we can study the blow up of fields in the presence of negative material parameters without the commonly used quasi-static approximation. We give simple geometric conditions under which w-ALR or ALR may, or may not appear. In particular, we show that in a case of a curved layer of negative material with a strictly convex boundary neither ALR nor w-ALR appears with non-zero frequencies (i.e. in the dynamic range) in dimensions $d\ge 3$. In the case when the boundary of the negative material contains a flat subset we show that the w-ALR always happens with some point sources in dimensions $d\ge 2$. These results, together with the earlier results of Milton et al. ( [22, 23]) and Ammari et al. ([2]) show that for strictly convex bodies ALR may appear only for bodies so small that the quasi-static approximation is realistic. This gives limits for size of the objects for which invisibility cloaking methods based on ALR may be used. △ Less

Submitted 14 April, 2015; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: 30 pages, 7 figures

Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations

Authors: Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: 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… ▽ More 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 $μ$. △ Less

Submitted 20 September, 2017; v1 submitted 14 May, 2014; originally announced May 2014.

Comments: The earlier version, v1, of the preprint had a different title - "Inverse problems in spacetime II: Reconstruction of a Lorentzian manifold from light observation sets" and it concerned only passive observations. In the new versions v2-v4 we have combined the passive observation results with inverse problems with active measurements

MSC Class: 53C50; 35J25; 83C05

Linearization stability results and active measurements for the Einstein-scalar field equations

Authors: Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: We study the Einstein equations coupled with the scalar field equations, $\hbox{Ein}(g)=T$, $T=T(g,φ)+F^1$, and $\square_gφ^\ell-m^2φ^\ell= F^2$, where the sources $F=(F^1, F^2)$ correspond to perturbations of the physical fields which we control. Here $φ=(φ^\ell)_{\ell=1}^L$ and $(M,g)$ is a 4-dimensional globally hyperbolic Lorentzian manifold. The sources $F$ need to be such that the fields… ▽ More We study the Einstein equations coupled with the scalar field equations, $\hbox{Ein}(g)=T$, $T=T(g,φ)+F^1$, and $\square_gφ^\ell-m^2φ^\ell= F^2$, where the sources $F=(F^1, F^2)$ correspond to perturbations of the physical fields which we control. Here $φ=(φ^\ell)_{\ell=1}^L$ and $(M,g)$ is a 4-dimensional globally hyperbolic Lorentzian manifold. The sources $F$ need to be such that the fields $(g,φ,F)$ satisfy the conservation law $\hbox{div}_g(T)=0$. If $(g_ε,φ_ε)$ solves the above equations, $\dot g=\partial_εg_ε|_{ε=0}$, $\dotφ=φ_ε|_{ε=0}$, and $f=(f^1,f^2)= \partial_εF_ε|_{ε=0}$ solve the linearized Einstein equations and the linearized conservation law $$ \frac 12 \hat g^{pk}\hat \nabla_p f^1_{kj}+ \sum_{\ell=1}^L f^2_\ell \, \partial_j\hatφ_\ell=0, $$ where $\hat g= g_ε|_{ε=0}$ and $\hat φ= φ_ε|_{ε=0}$. Then $(\hat g,\hat φ)$ and $f$ have the linearization stability property. Here ask the converse: If $\dot g$, $\dot φ$, and $f$ solve the linearized Einstein equations and the linearized conservation law, are there $F_ε=(F^1_ε,F^2_ε)$ and $(g_ε,φ_ε)$ depending on $ε\in [0,ε_0)$, $ε_0>0$, such that $(g_ε,φ_ε)$ solves the Einstein-scalar field equations and the conservation law. When $\hat g$ and $\hat φ$ vary enough and $L\geq 5$, we prove a microlocal version of this: When $Y\subset M$ is a 2-surface and $(y,η)\in N^*Y$, there is $f$ that is a conormal distibutions wrt. the surface $Y$ with a given principal symbol at $(y,η)$ such that $(\hat g,\hat φ)$ and $f$ have the linearization stability property. △ Less

Submitted 14 May, 2014; originally announced May 2014.

Comments: arXiv admin note: text overlap with arXiv:1305.1739

MSC Class: 83C05; 35J25; 53C50

Reconstruction of a conformally Euclidean metric from local boundary diffraction travel times

Authors: Maarten V. de Hoop, Sean F. Holman, Einar Iversen, Matti Lassas, Bjørn Ursin

Abstract: We consider a region $M$ in $\mathbb{R}^n$ with boundary $\partial M$ and a metric $g$ on $M$ conformal to the Euclidean metric. We analyze the inverse problem, originally formulated by Dix, of reconstructing $g$ from boundary measurements associated with the single scattering of seismic waves in this region. In our formulation the measurements determine the shape operator of wavefronts outside of… ▽ More We consider a region $M$ in $\mathbb{R}^n$ with boundary $\partial M$ and a metric $g$ on $M$ conformal to the Euclidean metric. We analyze the inverse problem, originally formulated by Dix, of reconstructing $g$ from boundary measurements associated with the single scattering of seismic waves in this region. In our formulation the measurements determine the shape operator of wavefronts outside of $M$ originating at diffraction points within $M$. We develop an explicit reconstruction procedure which consists of two steps. In the first step we reconstruct the directional curvatures and the metric in what are essentially Riemmanian normal coordinates; in the second step we develop a conversion to Cartesian coordinates. We admit the presence of conjugate points. In dimension $n \geq 3$ both steps involve the solution of a system of ordinary differential equations. In dimension $n=2$ the same is true for the first step, but the second step requires the solution of a Cauchy problem for an elliptic operator which is unstable in general. The first step of the procedure applies for general metrics. △ Less

Submitted 3 December, 2012; v1 submitted 26 November, 2012; originally announced November 2012.

The borderlines of the invisibility and visibility for Calderon's inverse problem

Authors: Kari Astala, Matti Lassas, Lassi Paivarinta

Abstract: We consider the determination of a conductivity function in a two-dimensional domain from the Cauchy data of the solutions of the conductivity equation on the boundary. We prove uniqueness results for this inverse problem, posed by Calderon, for conductivities that are degenerate, that is, they may not be bounded from above or below. In particular, for scalar conductivities we solve the inverse pr… ▽ More We consider the determination of a conductivity function in a two-dimensional domain from the Cauchy data of the solutions of the conductivity equation on the boundary. We prove uniqueness results for this inverse problem, posed by Calderon, for conductivities that are degenerate, that is, they may not be bounded from above or below. In particular, for scalar conductivities we solve the inverse problem in a class which is larger than $L^\infty$. Also, we give new counterexamples for the uniqueness of the inverse conductivity problem. We say that a conductivity is visible if the inverse problem is solvable so that the inside of the domain can be uniquely determined, up to a change of coordinates, using the boundary measurements. The present counterexamples for the inverse problem have been related to the invisibility cloaking. This means that there are conductivities for which a part of the domain is shielded from detection via boundary measurements. Such conductivities are called invisibility cloaks. In the present paper we identify the borderline of the visible conductivities and the borderline of invisibility cloaking conductivities. Surprisingly, these borderlines are not the same. We show that between the visible and the cloaking conductivities there are the electric holograms, conductivities which create an illusion of a non-existing body. The electric holograms give counterexamples for the uniqueness of the inverse problem which are less degenerate than the previously known ones. △ Less

Submitted 13 September, 2011; originally announced September 2011.

MSC Class: 35R30; 35R05

Journal ref: Anal. PDE 9 (2016) 43-98

Schrodinger's Hat: Electromagnetic, acoustic and quantum amplifiers via transformation optics

Authors: Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we give theoretical designs for devices, Schrödinger hats, acting as invisible concentrators of waves. These exist for any wave phenomenon modeled by either the Helmholtz or Schrödinger equations, e.g., polarized waves in EM, pressure waves in acoustics and matter wav… ▽ More The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we give theoretical designs for devices, Schrödinger hats, acting as invisible concentrators of waves. These exist for any wave phenomenon modeled by either the Helmholtz or Schrödinger equations, e.g., polarized waves in EM, pressure waves in acoustics and matter waves in QM, and occupy one part of a parameter space continuum of wave-manipulating structures which also contains standard transformation optics based cloaks, resonant cloaks and cloaked sensors. For EM and acoustic Schrödinger hats, the resulting centralized wave is a localized excitation. In QM, the result is a new charged quasiparticle, a \emph{quasmon}, which causes conditional probabilistic illusions. We discuss possible solid state implementations. △ Less

Submitted 23 July, 2011; originally announced July 2011.

Comments: 36 pages, 3 figures

Journal ref: Proc. Nat. Acad. Sci., 109 (2012), 10169-10174

The Novikov-Veselov Equation and the Inverse Scattering Method, Part I: Analysis

Authors: Matti Lassas, Jennifer L Mueller, Samuli Siltanen, Andreas Stahel

Abstract: The Novikov-Veselov (NV) equation is a (2+1)-dimensional nonlinear evolution equation that generalizes the (1+1)-dimensional Korteweg-deVries (KdV) equation. Solution of the NV equation using the inverse scattering method has been discussed in the literature, but only formally (or with smallness assumptions in case of nonzero energy) because of the possibility of exceptional points, or singula… ▽ More The Novikov-Veselov (NV) equation is a (2+1)-dimensional nonlinear evolution equation that generalizes the (1+1)-dimensional Korteweg-deVries (KdV) equation. Solution of the NV equation using the inverse scattering method has been discussed in the literature, but only formally (or with smallness assumptions in case of nonzero energy) because of the possibility of exceptional points, or singularities in the scattering data. In this work, absence of exceptional points is proved at zero energy for evolutions with compactly supported, smooth and rotationally symmetric initial data of the conductivity type: $q_0=γ^{-1/2}Δγ^{1/2}$ with a strictly positive function $γ$. The inverse scattering evolution is shown to be well-defined, real-valued, and preserving conductivity-type. There is no smallness assumption on the initial data. △ Less

Submitted 19 May, 2011; originally announced May 2011.

MSC Class: 37K15

Inverse problems with partial data for a magnetic Schrödinger operator in an infinite slab and on a bounded domain

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: In this paper we study inverse boundary value problems with partial data for the magnetic Schrödinger operator. In the case of an infinite slab in $R^n$, $n\ge 3$, we establish that the magnetic field and the electric potential can be determined uniquely, when the Dirichlet and Neumann data are given either on the different boundary hyperplanes of the slab or on the same hyperplane. This is a gene… ▽ More In this paper we study inverse boundary value problems with partial data for the magnetic Schrödinger operator. In the case of an infinite slab in $R^n$, $n\ge 3$, we establish that the magnetic field and the electric potential can be determined uniquely, when the Dirichlet and Neumann data are given either on the different boundary hyperplanes of the slab or on the same hyperplane. This is a generalization of the results of [41], obtained for the Schrödinger operator without magnetic potentials. In the case of a bounded domain in $R^n$, $n\ge 3$, extending the results of [2], we show the unique determination of the magnetic field and electric potential from the Dirichlet and Neumann data, given on two arbitrary open subsets of the boundary, provided that the magnetic and electric potentials are known in a neighborhood of the boundary. Generalizing the results of [31], we also obtain uniqueness results for the magnetic Schrödinger operator, when the Dirichlet and Neumann data are known on the same part of the boundary, assuming that the inaccessible part of the boundary is a part of a hyperplane. △ Less

Submitted 5 April, 2011; originally announced April 2011.

MSC Class: 35R30; 35J10; 35P25

Determining a first order perturbation of the biharmonic operator by partial boundary measurements

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: We consider an operator $Δ^2 + A(x)\cdot D+q(x)$ with the Navier boundary conditions on a bounded domain in $R^n$, $n\ge 3$. We show that a first order perturbation $A(x)\cdot D+q$ can be determined uniquely by measuring the Dirichlet--to--Neumann map on possibly very small subsets of the boundary of the domain. Notice that the corresponding result does not hold in general for a first order pertur… ▽ More We consider an operator $Δ^2 + A(x)\cdot D+q(x)$ with the Navier boundary conditions on a bounded domain in $R^n$, $n\ge 3$. We show that a first order perturbation $A(x)\cdot D+q$ can be determined uniquely by measuring the Dirichlet--to--Neumann map on possibly very small subsets of the boundary of the domain. Notice that the corresponding result does not hold in general for a first order perturbation of the Laplacian. △ Less

Submitted 1 March, 2011; originally announced March 2011.

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

Inverse boundary value problems for the perturbed polyharmonic operator

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: We show that a first order perturbation $A(x)\cdot D+q(x)$ of the polyharmonic operator $(-Δ)^m$, $m\ge 2$, can be determined uniquely from the set of the Cauchy data for the perturbed polyharmonic operator on a bounded domain in $R^n$, $n\ge 3$. Notice that the corresponding result does not hold in general when $m=1$. We show that a first order perturbation $A(x)\cdot D+q(x)$ of the polyharmonic operator $(-Δ)^m$, $m\ge 2$, can be determined uniquely from the set of the Cauchy data for the perturbed polyharmonic operator on a bounded domain in $R^n$, $n\ge 3$. Notice that the corresponding result does not hold in general when $m=1$. △ Less

Submitted 27 February, 2011; originally announced February 2011.

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

Determining electrical and heat transfer parameters using coupled boundary measurements

Authors: Katsiaryna Krupchyk, Matti Lassas, Samuli Siltanen

Abstract: Let $Ω\subset\R^n$, $n\ge 3$, be a smooth bounded domain and consider a coupled system in $Ω$ consisting of a conductivity equation $\nabla \cdot γ(x) \nabla u(t,x)=0$ and an anisotropic heat equation $κ^{-1}(x)\partial_tψ(t,x)=\nabla\cdot (A(x)\nabla ψ(t,x))+(γ\nabla u(t,x))\cdot \nabla u(t,x), \quad t\ge 0$. It is shown that the coefficients $γ$, $κ$ and $A=(a_{jk})$ are uniquely determined from… ▽ More Let $Ω\subset\R^n$, $n\ge 3$, be a smooth bounded domain and consider a coupled system in $Ω$ consisting of a conductivity equation $\nabla \cdot γ(x) \nabla u(t,x)=0$ and an anisotropic heat equation $κ^{-1}(x)\partial_tψ(t,x)=\nabla\cdot (A(x)\nabla ψ(t,x))+(γ\nabla u(t,x))\cdot \nabla u(t,x), \quad t\ge 0$. It is shown that the coefficients $γ$, $κ$ and $A=(a_{jk})$ are uniquely determined from the knowledge of the boundary map $u|_{\partialΩ}\mapsto ν\cdot A\nabla ψ|_{\partialΩ}$, where $ν$ is the unit outer normal to $\partialΩ$. The coupled system models the following physical phenomenon. Given a fixed voltage distribution, maintained on the boundary $\partialΩ$, an electric current distribution appears inside $Ω$. The current in turn acts as a source of heat inside $Ω$, and the heat flows out of the body through the boundary. The boundary measurements above then correspond to the map taking a voltage distribution on the boundary to the resulting heat flow through the boundary. The presented mathematical results suggest a new hybrid diffuse imaging modality combining electrical prospecting and heat transfer-based probing. △ Less

Submitted 14 December, 2010; originally announced December 2010.

MSC Class: 35K20; 35J25; 35R30; 80A23

Two dimensional invisibility cloaking for Helmholtz equation and non-local boundary conditions

Authors: Matti Lassas, Ting Zhou

Abstract: Transformation optics constructions have allowed the design of cloaking devices that steer electromagnetic, acoustic and quantum waves around a region without penetrating it, so that this region is hidden from external observations. The material pa- rameters used to describe these devices are anisotropic, and singular at the interface between the cloaked and uncloaked regions, making physical real… ▽ More Transformation optics constructions have allowed the design of cloaking devices that steer electromagnetic, acoustic and quantum waves around a region without penetrating it, so that this region is hidden from external observations. The material pa- rameters used to describe these devices are anisotropic, and singular at the interface between the cloaked and uncloaked regions, making physical realization a challenge. These singular material parameters correspond to singular coefficient functions in the partial differential equations modeling these constructions and the presence of these singularities causes various mathematical problems and physical effects on the interface surface. In this paper, we analyze the two dimensional cloaking for Helmholtz equation when there are sources or sinks present inside the cloaked region. In particular, we consider nonsingular approximate invisibility cloaks based on the truncation of the singular transformations. Using such truncation we analyze the limit when the approximate cloaking approaches the ideal cloaking. We show that, surprisingly, a non-local boundary condition appears on the inner cloak interface. This effect in the two dimensional (or cylindrical) invisibility cloaks, which seems to be caused by the infinite phase velocity near the interface between the cloaked and uncloaked regions, is very different from the earlier studied behavior of the solutions in the three dimensional cloaks. △ Less

Submitted 2 January, 2011; v1 submitted 9 November, 2010; originally announced November 2010.

MSC Class: 35Q; 78A

Cloaking a sensor via transformation optics

Authors: Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: It is generally believed that transformation optics based cloaking, besides rendering the cloaked region invisible to detection by scattering of incident waves, also shields the region from those same waves. We demonstrate a coupling between the cloaked and uncloaked regions, exposing a difference between cloaking for rays and waves. Interior resonances allow this coupling to be amplified, and car… ▽ More It is generally believed that transformation optics based cloaking, besides rendering the cloaked region invisible to detection by scattering of incident waves, also shields the region from those same waves. We demonstrate a coupling between the cloaked and uncloaked regions, exposing a difference between cloaking for rays and waves. Interior resonances allow this coupling to be amplified, and careful choice of parameters leads to effective cloaks with degraded shielding. As one application, we describe how to use transformation optics to hide sensors in the cloaked region and yet enable the sensors to efficiently measure waves incident on the exterior of the cloak, an effect similar to the plasmon based approach of Alu' and Engheta. △ Less

Submitted 14 November, 2010; v1 submitted 9 December, 2009; originally announced December 2009.

Comments: Title changed, figure added, and revised. To appear, PRE

Journal ref: Phys. Rev. E, 83 (2011), 016603

Approximate quantum and acoustic cloaking

Authors: Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: At any energy E > 0, we construct a sequence of bounded potentials $V^E_{n}, n\in\N$, supported in an annular region $B_{out}\setminus B_{inn}$ in three-space, which act as approximate cloaks for solutions of Schrödinger's equation: For any potential $V_0\in L^\infty(B_{inn})$ such that E is not a Neumann eigenvalue of $-Δ+V_0$ in $B_{inn}$, the scattering amplitudes $a_{V_0+V_n^E}(E,θ,ω)\to 0$… ▽ More At any energy E > 0, we construct a sequence of bounded potentials $V^E_{n}, n\in\N$, supported in an annular region $B_{out}\setminus B_{inn}$ in three-space, which act as approximate cloaks for solutions of Schrödinger's equation: For any potential $V_0\in L^\infty(B_{inn})$ such that E is not a Neumann eigenvalue of $-Δ+V_0$ in $B_{inn}$, the scattering amplitudes $a_{V_0+V_n^E}(E,θ,ω)\to 0$ as $n\to\infty$. The $V^E_{n}$ thus not only form a family of approximately transparent potentials, but also function as approximate invisibility cloaks in quantum mechanics. On the other hand, for $E$ close to interior eigenvalues, resonances develop and there exist {\it almost trapped states} concentrated in $B_{inn}$. We derive the $V_n^E$ from singular, anisotropic transformation optics-based cloaks by a de-anisotropization procedure, which we call \emph{isotropic transformation optics}. This technique uses truncation, inverse homogenization and spectral theory to produce nonsingular, isotropic approximate cloaks. As an intermediate step, we also obtain approximate cloaking for a general class of equations including the acoustic equation. △ Less

Submitted 9 December, 2008; originally announced December 2008.

Comments: 2 color figures

Invisibility and Inverse Problems

Authors: Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: This survey of recent developments in cloaking and transformation optics is an expanded version of the lecture by Gunther Uhlmann at the 2008 Annual Meeting of the American Mathematical Society. This survey of recent developments in cloaking and transformation optics is an expanded version of the lecture by Gunther Uhlmann at the 2008 Annual Meeting of the American Mathematical Society. △ Less

Submitted 1 October, 2008; originally announced October 2008.

Comments: 68 pages, 12 figures. To appear in the Bulletin of the AMS

Approximate quantum cloaking and almost trapped states

Authors: A. Greenleaf, Y. Kurylev, M. Lassas, G. Uhlmann

Abstract: We describe families of potentials which act as approximate cloaks for matter waves, i.e., for solutions of the time-independent Schrödinger equation at energy $E$, with applications to the design of ion traps. These are derived from perfect cloaks for the conductivity and Helmholtz equations, by a procedure we refer to as isotropic transformation optics. If $W$ is a potential which is surrounde… ▽ More We describe families of potentials which act as approximate cloaks for matter waves, i.e., for solutions of the time-independent Schrödinger equation at energy $E$, with applications to the design of ion traps. These are derived from perfect cloaks for the conductivity and Helmholtz equations, by a procedure we refer to as isotropic transformation optics. If $W$ is a potential which is surrounded by a sequence $\{V_n^E\}_{n=1}^\infty$ of approximate cloaks, then for generic $E$, asymptotically in $n$ (i) $W$ is both undetectable and unaltered by matter waves originating externally to the cloak; and (ii) the combined potential $W+V_n^E$ does not perturb waves outside the cloak. On the other hand, for $E$ near a discrete set of energies, cloaking {\it per se} fails and the approximate cloaks support wave functions concentrated, or {\it almost trapped}, inside the cloaked region and negligible outside. Applications include ion traps, almost invisible to matter waves or customizable to support almost trapped states of arbitrary multiplicity. Possible uses include simulation of abstract quantum systems, magnetically tunable quantum beam switches, and illusions of singular magnetic fields. △ Less

Submitted 19 August, 2008; v1 submitted 2 June, 2008; originally announced June 2008.

Comments: Revised, with new figures. Single column format

Journal ref: Physical Review Letters 101, no. 22, 220404 (2008)

Isotropic transformation optics: approximate acoustic and quantum cloaking

Authors: A. Greenleaf, Y. Kurylev, M. Lassas, G. Uhlmann

Abstract: Transformation optics constructions have allowed the design of electromagnetic, acoustic and quantum parameters that steer waves around a region without penetrating it, so that the region is hidden from external observations. The material parameters are anisotropic, and singular at the interface between the cloaked and uncloaked regions, making physical realization a challenge. We address this… ▽ More Transformation optics constructions have allowed the design of electromagnetic, acoustic and quantum parameters that steer waves around a region without penetrating it, so that the region is hidden from external observations. The material parameters are anisotropic, and singular at the interface between the cloaked and uncloaked regions, making physical realization a challenge. We address this problem by showing how to construct {\sl isotropic and nonsingular} parameters that give {\sl approximate} cloaking to any desired degree of accuracy for electrostatic, acoustic and quantum waves. The techniques used here may be applicable to a wider range of transformation optics designs. For the Helmholtz equation, cloaking is possible outside a discrete set of frequencies or energies, namely the Neumann eigenvalues of the cloaked region. For the frequencies or energies corresponding to the Neumann eigenvalues of the cloaked region, the ideal cloak supports trapped states; near these energies, an approximate cloak supports {\sl almost trapped states}. This is in fact a useful feature, and we conclude by giving several quantum mechanical applications. △ Less

Submitted 1 August, 2008; v1 submitted 31 May, 2008; originally announced June 2008.

Comments: 43 pages, 7 figures; revised per referees' comments; new references and figures

Journal ref: New Jour. Phys. 10 (2008) 115024

Effectiveness and improvement of cylindrical cloaking with the SHS lining

Authors: Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: We analyze, both analytically and numerically, the effectiveness of cloaking an infinite cylinder from observations by electromagnetic waves in three dimensions. We show that, as truncated approximations of the ideal permittivity and permeability tensors tend towards the singular ideal cloaking fields, so that the anisotropy ratio tends to infinity, the $D$ and $B$ fields blow up near the cloaki… ▽ More We analyze, both analytically and numerically, the effectiveness of cloaking an infinite cylinder from observations by electromagnetic waves in three dimensions. We show that, as truncated approximations of the ideal permittivity and permeability tensors tend towards the singular ideal cloaking fields, so that the anisotropy ratio tends to infinity, the $D$ and $B$ fields blow up near the cloaking surface. We also consider cloaking with and without the SHS (soft-and-hard surface) lining. We demonstrate numerically that cloaking is significantly improved by the SHS lining, with both the far field of the scattered wave significantly reduced and the blow up of $D$ and $B$ prevented. △ Less

Submitted 9 July, 2007; originally announced July 2007.

Comments: 22 pages, 2 color figures

Journal ref: Optics Express, Vol. 15, Issue 20 (2007), 12717-12734

Electromagnetic wormholes via handlebody constructions

Authors: Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: Cloaking devices are prescriptions of electrostatic, optical or electromagnetic parameter fields (conductivity $σ(x)$, index of refraction $n(x)$, or electric permittivity $ε(x)$ and magnetic permeability $μ(x)$) which are piecewise smooth on $\mathbb R^3$ and singular on a hypersurface $Σ$, and such that objects in the region enclosed by $Σ$ are not detectable to external observation by waves.… ▽ More Cloaking devices are prescriptions of electrostatic, optical or electromagnetic parameter fields (conductivity $σ(x)$, index of refraction $n(x)$, or electric permittivity $ε(x)$ and magnetic permeability $μ(x)$) which are piecewise smooth on $\mathbb R^3$ and singular on a hypersurface $Σ$, and such that objects in the region enclosed by $Σ$ are not detectable to external observation by waves. Here, we give related constructions of invisible tunnels, which allow electromagnetic waves to pass between possibly distant points, but with only the ends of the tunnels visible to electromagnetic imaging. Effectively, these change the topology of space with respect to solutions of Maxwell's equations, corresponding to attaching a handlebody to $\mathbb R^3$. The resulting devices thus function as electromagnetic wormholes. △ Less

Submitted 6 April, 2007; originally announced April 2007.

Comments: 25 pages, 6 figures (some color)

Electromagnetic wormholes and virtual magnetic monopoles

Authors: Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: We describe new configurations of electromagnetic (EM) material parameters, the electric permittivity $ε$ and magnetic permeability $μ$, that allow one to construct from metamaterials objects that function as invisible tunnels. These allow EM wave propagation between two points, but the tunnels and the regions they enclose are not detectable to EM observations. Such devices function as wormholes… ▽ More We describe new configurations of electromagnetic (EM) material parameters, the electric permittivity $ε$ and magnetic permeability $μ$, that allow one to construct from metamaterials objects that function as invisible tunnels. These allow EM wave propagation between two points, but the tunnels and the regions they enclose are not detectable to EM observations. Such devices function as wormholes with respect to Maxwell's equations and effectively change the topology of space vis-a-vis EM wave propagation. We suggest several applications, including devices behaving as virtual magnetic monopoles. △ Less

Submitted 20 March, 2007; originally announced March 2007.

Comments: 4 pages, 3 figures

MSC Class: PACS 41.20.Jb; 42.79.Ry

Journal ref: Phys.Rev.Lett.99:183901,2007

Full-wave invisibility of active devices at all frequencies

Authors: Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann

Abstract: There has recently been considerable interest in the possibility, both theoretical and practical, of invisibility (or "cloaking") from observation by electromagnetic (EM) waves. Here, we prove invisibility, with respect to solutions of the Helmholtz and Maxwell's equations, for several constructions of cloaking devices. Previous results have either been on the level of ray tracing [Le,PSS] or at… ▽ More There has recently been considerable interest in the possibility, both theoretical and practical, of invisibility (or "cloaking") from observation by electromagnetic (EM) waves. Here, we prove invisibility, with respect to solutions of the Helmholtz and Maxwell's equations, for several constructions of cloaking devices. Previous results have either been on the level of ray tracing [Le,PSS] or at zero frequency [GLU2,GLU3], but recent numerical [CPSSP] and experimental [SMJCPSS] work has provided evidence for invisibility at frequency $k\ne 0$. We give two basic constructions for cloaking a region $D$ contained in a domain $Ω$ from measurements of Cauchy data of waves at $\p Ω$; we pay particular attention to cloaking not just a passive object, but an active device within $D$, interpreted as a collection of sources and sinks or an internal current. △ Less

Submitted 16 March, 2007; v1 submitted 7 November, 2006; originally announced November 2006.

Comments: Final revision; to appear in Commun. in Math. Physics

MSC Class: 78A40; 35P25

Journal ref: Comm. in Math. Phys. 275, no.3 (2007), 749-789.

Multidimensional Borg-Levinson Theorem

Authors: Yaroslav Kurylev, Matti Lassas, Ricardo Weder

Abstract: We consider the inverse problem of the reconstruction of a Schrödinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $Γ$ and the eigenvalues corresponding to a set of impedances in the Robin boundary condition which vary on $Γ$. The proof is based on the analysis of the behaviour of the eigenfunctions on the boundary as well as… ▽ More We consider the inverse problem of the reconstruction of a Schrödinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $Γ$ and the eigenvalues corresponding to a set of impedances in the Robin boundary condition which vary on $Γ$. The proof is based on the analysis of the behaviour of the eigenfunctions on the boundary as well as in perturbation theory of eigenvalues. This reduces the problem to an inverse boundary spectral problem solved by the boundary control method. △ Less

Submitted 28 June, 2004; originally announced June 2004.

MSC Class: 35R30; 35P99; 35J10; 58J32

Journal ref: Inverse Problems vol 21 (2005) 1685-1696

The Calderon problem for conormal potentials, I: Global uniqueness and reconstruction

Authors: Allan Greenleaf, Matti Lassas, Gunther Uhlmann

Abstract: In dimensions greater than or equal to three, we establish global uniqueness and obtain reconstruction in the Calderon problem for the Schrodinger equation with certain singular potentials. The potentials considered are conormal of order less than 1-k with respect to submanifolds (of arbitrary codimension k). This gives positive results for (conormal) conductivities which are Holder of any order… ▽ More In dimensions greater than or equal to three, we establish global uniqueness and obtain reconstruction in the Calderon problem for the Schrodinger equation with certain singular potentials. The potentials considered are conormal of order less than 1-k with respect to submanifolds (of arbitrary codimension k). This gives positive results for (conormal) conductivities which are Holder of any order > 1. A related problem for highly singular potentials is shown to exhibit nonuniqueness. △ Less

Submitted 4 October, 2002; v1 submitted 12 December, 2001; originally announced December 2001.

Comments: Final revision with corrections; 23 pages; to appear in Comm. Pure Appl. Math

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

Optimal Acoustic Measurements

Authors: Margaret Cheney, David Isaacson, Matti Lassas

Abstract: We consider the problem of obtaining information about an inaccessible half-space from acoustic measurements made in the accessible half-space. If the measurements are of limited precision, some scatterers will be undetectable because their scattered fields are below the precision of the measuring instrument. How can we make measurements that are optimal for detecting the presence of an object?… ▽ More We consider the problem of obtaining information about an inaccessible half-space from acoustic measurements made in the accessible half-space. If the measurements are of limited precision, some scatterers will be undetectable because their scattered fields are below the precision of the measuring instrument. How can we make measurements that are optimal for detecting the presence of an object? In other words, what incident fields should we apply that will result in the biggest measurements? There are many ways to formulate this question, depending on the measuring instruments. In this paper we consider a formulation involving wave-splitting in the accessible half-space: what downgoing wave will result in an upgoing wave of greatest energy? A closely related question arises in the case when we have a guess about the configuration of the inaccessible half-space. What measurements should we make to determine whether our guess is accurate? In this case we compare the scattered field to the field computed from the guessed configuration. Again we look for the incident field that results in the greatest energy difference. We show that the optimal incident field can be found by an iterative process involving time reversal ``mirrors''. For band-limited incident fields and compactly supported scatterers, in the generic case this iterative process converges to a single time-harmonic field. In particular, the process automatically "tunes" to the best frequency. This analysis provides a theoretical foundation for the frequency-shifting and pulse-broadening observed in certain computations and time-reversal experiments. △ Less

Submitted 28 November, 2000; v1 submitted 4 September, 2000; originally announced September 2000.

Comments: interacting upgoing and downgoing evanescent waves are now excluded

MSC Class: 78A46; 78A40; 78A50