Showing 1–50 of 61 results for author: Stefanov, P

The backscattering problem for time-dependent potentials

Authors: Medet Nursultanov, Lauri Oksanen, Plamen Stefanov

Abstract: We study the inverse backscattering problem for time-dependent potentials. We prove uniqueness and Lipshitz stability for the recovery of small potentials. We study the inverse backscattering problem for time-dependent potentials. We prove uniqueness and Lipshitz stability for the recovery of small potentials. △ Less

Submitted 1 July, 2024; originally announced July 2024.

MSC Class: 35P25; 35R30

Boundary determination and local rigidity of analytic metrics in the Lorentzian scattering rigidity problem

Authors: Plamen Stefanov

Abstract: We study the scattering rigidity problem in Lorentzian geometry: recovery of a Lorentzian metric from the scattering relation known on a lateral timelike boundary. We show that one can recover the jet of the metric up to a gauge transformation near a lightlike strictly convex point. Assuming that the metric is real analytic, we show that one can recover the metric up to a gauge transformation as w… ▽ More We study the scattering rigidity problem in Lorentzian geometry: recovery of a Lorentzian metric from the scattering relation known on a lateral timelike boundary. We show that one can recover the jet of the metric up to a gauge transformation near a lightlike strictly convex point. Assuming that the metric is real analytic, we show that one can recover the metric up to a gauge transformation as well near such a point. △ Less

Submitted 23 April, 2024; originally announced April 2024.

MSC Class: 35R30; 53C24; 53B30

The Lorentzian scattering rigidity problem and rigidity of stationary metrics

Authors: Plamen Stefanov

Abstract: We study scattering rigidity in Lorentzian geometry: recovery of a Lorentzian metric from the scattering relation $\mathcal{S}^\sharp$ known on a lateral boundary. We show that, under a non-conjugacy assumption, every defining function $r(x,y)$ of pairs of boundary points which can be connected by a lightlike geodesic plays the role of the boundary distance function in the Riemannian case in the f… ▽ More We study scattering rigidity in Lorentzian geometry: recovery of a Lorentzian metric from the scattering relation $\mathcal{S}^\sharp$ known on a lateral boundary. We show that, under a non-conjugacy assumption, every defining function $r(x,y)$ of pairs of boundary points which can be connected by a lightlike geodesic plays the role of the boundary distance function in the Riemannian case in the following sense. Its linearization is the light ray transform of tensor fields of order two which are the perturbations of the metric. Next, we study scattering rigidity of stationary metrics in time-space cylinders and show that it can be reduced to boundary rigidity of magnetic systems on the base; a problem studied previously. This implies several scattering rigidity results for stationary metrics. △ Less

Submitted 14 April, 2024; v1 submitted 26 December, 2022; originally announced December 2022.

MSC Class: 53C24; 53C50; 35R30

Weakly nonlinear geometric optics for the Westervelt equation and recovery of the nonlinearity

Authors: Nikolas Eptaminitakis, Plamen Stefanov

Abstract: We study the non-diffusive Westervelt equation in the weakly nonlinear regime. We show that the leading profile equation is of Burgers' type. We show that a compactly supported nonlinearity $α$ can be reconstructed from the tilt of the transmitted high frequency wave packets sent from different directions since those tilts are proportional to the X-ray transform of $α$. We study the non-diffusive Westervelt equation in the weakly nonlinear regime. We show that the leading profile equation is of Burgers' type. We show that a compactly supported nonlinearity $α$ can be reconstructed from the tilt of the transmitted high frequency wave packets sent from different directions since those tilts are proportional to the X-ray transform of $α$. △ Less

Submitted 29 August, 2022; originally announced August 2022.

MSC Class: 35R30

The Radon transform with finitely many angles

Authors: Plamen Stefanov

Abstract: We study the Radon transform in the plane in parallel geometry possibly undersampled in the angular variables. We study resolution, aliasing artifacts, and edge recovery. We study the Radon transform in the plane in parallel geometry possibly undersampled in the angular variables. We study resolution, aliasing artifacts, and edge recovery. △ Less

Submitted 11 August, 2022; originally announced August 2022.

MSC Class: 44A12; 35R30

The solid-fluid transmission problem

Authors: Nikolas Eptaminitakis, Plamen Stefanov

Abstract: We study microlocally the transmission problem at the interface between an isotropic linear elastic solid and a linear inviscid fluid. We set up a system of evolution equations describing the particle displacement and velocity in the solid, and pressure and velocity in the fluid, coupled by suitable transmission conditions at the interface. We show well posedness for the coupled system and study t… ▽ More We study microlocally the transmission problem at the interface between an isotropic linear elastic solid and a linear inviscid fluid. We set up a system of evolution equations describing the particle displacement and velocity in the solid, and pressure and velocity in the fluid, coupled by suitable transmission conditions at the interface. We show well posedness for the coupled system and study the problem microlocally, constructing a parametrix for it using geometric optics. This construction describes the reflected and transmitted waves, including mode converted ones, related to incoming waves from either side. We also study formation of surface Scholte waves. Finally, we prove that under suitable assumptions, we can recover the s- and the p-speeds, as well as the speed of the liquid, from boundary measurements. △ Less

Submitted 4 November, 2021; originally announced November 2021.

MSC Class: 35R30

Sampling the X-ray transform on simple surfaces

Authors: François Monard, Plamen Stefanov

Abstract: We study the problem of proper discretizing and sampling issues related to geodesic X-ray transforms on simple surfaces, and illustrate the theory on simple geodesic disks of constant curvature. Given a notion of band limit on a function, we provide the minimal sampling rates of its X-ray transform for a faithful reconstruction. In Cartesian sampling, we quantify the quality of a sampling scheme d… ▽ More We study the problem of proper discretizing and sampling issues related to geodesic X-ray transforms on simple surfaces, and illustrate the theory on simple geodesic disks of constant curvature. Given a notion of band limit on a function, we provide the minimal sampling rates of its X-ray transform for a faithful reconstruction. In Cartesian sampling, we quantify the quality of a sampling scheme depending on geometric parameters of the surface (e.g. curvature and boundary curvature), and the coordinate system used to represent the space of geodesics. When aliasing happens, we explain how to predict the location, orientation and frequency of the artifacts. △ Less

Submitted 5 December, 2022; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: 31 pages, 14 figures

Recovery of a general nonlinearity in the semilinear wave equation

Authors: Antônio Sá Barreto, Plamen Stefanov

Abstract: We study the inverse problem of recovery a non-linearity $f(x,u)$, which is compactly supported in $x$, in the semilinear wave equation $u_{tt}-Δu+ f(x,u)=0$. We probe the medium with either complex or real-valued harmonic waves of wavelength $\sim h$ and amplitude $\sim 1$. They propagate in a regime where the non-linearity affects the subprincipal but not the principal term, except for the zerot… ▽ More We study the inverse problem of recovery a non-linearity $f(x,u)$, which is compactly supported in $x$, in the semilinear wave equation $u_{tt}-Δu+ f(x,u)=0$. We probe the medium with either complex or real-valued harmonic waves of wavelength $\sim h$ and amplitude $\sim 1$. They propagate in a regime where the non-linearity affects the subprincipal but not the principal term, except for the zeroth harmonics. We measure the transmitted wave when it exits $\text{supp}_x f$. We show that one can recover $f(x,u)$ when it is an odd function of $u$, and we can recover $α(x)$ when $f(x,u)=α(x)u^{2m}$. This is done in an explicit way as $h\to0$. △ Less

Submitted 18 July, 2021; originally announced July 2021.

MSC Class: 35R30

Inverse Boundary Problem for the Two Photon Absorption Transport Equation

Authors: Plamen Stefanov, Yimin Zhong

Abstract: This work studies the inverse boundary problem for the two photon absorption radiative transport equation. We show that the absorption coefficients and scattering coefficients can be uniquely determined from the \emph{albedo} operator. If scattering is absent, we do not require smallness of the incoming source and the reconstructions of the absorption coefficients are explicit. This work studies the inverse boundary problem for the two photon absorption radiative transport equation. We show that the absorption coefficients and scattering coefficients can be uniquely determined from the \emph{albedo} operator. If scattering is absent, we do not require smallness of the incoming source and the reconstructions of the absorption coefficients are explicit. △ Less

Submitted 17 February, 2022; v1 submitted 13 April, 2021; originally announced April 2021.

MSC Class: 35R30; 78A46; 80A23; 92C55

Recovery of a cubic non-linearity in the wave equation in the weakly non-linear regime

Authors: Antônio Sá Barreto, Plamen Stefanov

Abstract: We study the inverse problem of recovery a compactly supported non-linearity in the semilinear wave equation $u_{tt}-Δu+ α(x) |u|^2u=0$, in two and three dimensions. We probe the medium with complex-valued harmonic waves of wavelength $h$ and amplitude $h^{-1/2}$, then they propagate in the weakly non-linear regime; and measure the transmitted wave when it exits the support of $α$. We show that on… ▽ More We study the inverse problem of recovery a compactly supported non-linearity in the semilinear wave equation $u_{tt}-Δu+ α(x) |u|^2u=0$, in two and three dimensions. We probe the medium with complex-valued harmonic waves of wavelength $h$ and amplitude $h^{-1/2}$, then they propagate in the weakly non-linear regime; and measure the transmitted wave when it exits the support of $α$. We show that one can extract the Radon transform of $α$ from the phase shift of such waves, and then one can recover $α$. We also show that one can probe the medium with real-valued harmonic waves and obtain uniqueness for the linearized problem. △ Less

Submitted 20 February, 2022; v1 submitted 11 February, 2021; originally announced February 2021.

MSC Class: 35R30

Sampling linear inverse problems with noise

Authors: Plamen Stefanov, Samy Tindel

Abstract: We study the effect of additive noise to the inversion of FIOs associated to a diffeomorphic canonical relation. We use the microlocal defect measures to measure the power spectrum of the noise and analyze how that power spectrum is transformed under the inversion. In particular, we compute the standard deviation of the noise added to the inversion as a function of the standard deviation of the no… ▽ More We study the effect of additive noise to the inversion of FIOs associated to a diffeomorphic canonical relation. We use the microlocal defect measures to measure the power spectrum of the noise and analyze how that power spectrum is transformed under the inversion. In particular, we compute the standard deviation of the noise added to the inversion as a function of the standard deviation of the noise added to the data. As an example, we study the Radon transform in the plane in parallel and fan-beam coordinates, and present numerical examples. △ Less

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

MSC Class: 35R30; 44A12; 60H40

Inverse problems for real principal type operators

Authors: Lauri Oksanen, Mikko Salo, Plamen Stefanov, Gunther Uhlmann

Abstract: We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for deter… ▽ More We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for determining coefficients in nonlinear real principal type equations. The article presents a unified approach for treating inverse boundary problems for transport and wave equations, and highlights the role of propagation of singularities in the solution of related inverse problems. △ Less

Submitted 21 February, 2020; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: 64 pages

The Light Ray transform on Lorentzian manifolds

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

Abstract: We study the weighted light ray transform $L$ of integrating functions on a Lorentzian manifold over lightlike geodesics. We analyze $L$ as a Fourier Integral Operator and show that if there are no conjugate points, one can recover the spacelike singularities of a function $f$ from its the weighted light ray transform $Lf$ by a suitable filtered back-projection. We study the weighted light ray transform $L$ of integrating functions on a Lorentzian manifold over lightlike geodesics. We analyze $L$ as a Fourier Integral Operator and show that if there are no conjugate points, one can recover the spacelike singularities of a function $f$ from its the weighted light ray transform $Lf$ by a suitable filtered back-projection. △ Less

Submitted 4 July, 2019; originally announced July 2019.

MSC Class: 53C65; 35R30; 35A27

Predicting the Topical Stance of Media and Popular Twitter Users

Authors: Peter Stefanov, Kareem Darwish, Atanas Atanasov, Preslav Nakov

Abstract: Discovering the stances of media outlets and influential people on current, debatable topics is important for social statisticians and policy makers. Many supervised solutions exist for determining viewpoints, but manually annotating training data is costly. In this paper, we propose a cascaded method that uses unsupervised learning to ascertain the stance of Twitter users with respect to a polari… ▽ More Discovering the stances of media outlets and influential people on current, debatable topics is important for social statisticians and policy makers. Many supervised solutions exist for determining viewpoints, but manually annotating training data is costly. In this paper, we propose a cascaded method that uses unsupervised learning to ascertain the stance of Twitter users with respect to a polarizing topic by leveraging their retweet behavior; then, it uses supervised learning based on user labels to characterize both the general political leaning of online media and of popular Twitter users, as well as their stance with respect to the target polarizing topic. We evaluate the model by comparing its predictions to gold labels from the Media Bias/Fact Check website, achieving 82.6% accuracy. △ Less

Submitted 21 May, 2020; v1 submitted 2 July, 2019; originally announced July 2019.

MSC Class: 91D30

The transmission problem in linear isotropic elasticity

Authors: Plamen Stefanov, Gunther Uhlmann, Andras Vasy

Abstract: We study the isotropic elastic wave equation in a bounded domain with boundary with coefficients having jumps at a nested set of interfaces satisfying the natural transmission conditions there. We analyze in detail the microlocal behavior of such solution like reflection, transmission and mode conversion of S and P waves, evanescent modes, Rayleigh and Stoneley waves. In particular, we recover Kno… ▽ More We study the isotropic elastic wave equation in a bounded domain with boundary with coefficients having jumps at a nested set of interfaces satisfying the natural transmission conditions there. We analyze in detail the microlocal behavior of such solution like reflection, transmission and mode conversion of S and P waves, evanescent modes, Rayleigh and Stoneley waves. In particular, we recover Knott's equations in this setting. We show that knowledge of the Dirichlet-to-Neumann map determines uniquely the speed of the P and the S waves if there is a strictly convex foliation with respect to them, under an additional condition of lack of full internal reflection of some of the waves. △ Less

Submitted 21 March, 2020; v1 submitted 8 April, 2019; originally announced April 2019.

MSC Class: 35R30; 35A27

Journal ref: Pure Appl. Analysis 3 (2021) 109-161

Unsupervised User Stance Detection on Twitter

Authors: Kareem Darwish, Peter Stefanov, Michaël Aupetit, Preslav Nakov

Abstract: We present a highly effective unsupervised framework for detecting the stance of prolific Twitter users with respect to controversial topics. In particular, we use dimensionality reduction to project users onto a low-dimensional space, followed by clustering, which allows us to find core users that are representative of the different stances. Our framework has three major advantages over pre-exist… ▽ More We present a highly effective unsupervised framework for detecting the stance of prolific Twitter users with respect to controversial topics. In particular, we use dimensionality reduction to project users onto a low-dimensional space, followed by clustering, which allows us to find core users that are representative of the different stances. Our framework has three major advantages over pre-existing methods, which are based on supervised or semi-supervised classification. First, we do not require any prior labeling of users: instead, we create clusters, which are much easier to label manually afterwards, e.g., in a matter of seconds or minutes instead of hours. Second, there is no need for domain- or topic-level knowledge either to specify the relevant stances (labels) or to conduct the actual labeling. Third, our framework is robust in the face of data skewness, e.g., when some users or some stances have greater representation in the data. We experiment with different combinations of user similarity features, dataset sizes, dimensionality reduction methods, and clustering algorithms to ascertain the most effective and most computationally efficient combinations across three different datasets (in English and Turkish). We further verified our results on additional tweet sets covering six different controversial topics. Our best combination in terms of effectiveness and efficiency uses retweeted accounts as features, UMAP for dimensionality reduction, and Mean Shift for clustering, and yields a small number of high-quality user clusters, typically just 2--3, with more than 98\% purity. The resulting user clusters can be used to train downstream classifiers. Moreover, our framework is robust to variations in the hyper-parameter values and also with respect to random initialization. △ Less

Submitted 21 May, 2020; v1 submitted 3 April, 2019; originally announced April 2019.

MSC Class: 62P25; 91D30

Semiclassical sampling and discretization of certain linear inverse problems

Authors: Plamen Stefanov

Abstract: We study sampling of Fourier Integral Operators $A$ at rates $sh$ with $s$ fixed and $h$ a small parameter. We show that the Nyquist sampling limit of $Af$ and $f$ are related by the canonical relation of $A$ using semiclassical analysis. We apply this analysis to the Radon transform in the parallel and the fan-beam coordinates. We explain and illustrate the optimal sampling rates for $Af$, the al… ▽ More We study sampling of Fourier Integral Operators $A$ at rates $sh$ with $s$ fixed and $h$ a small parameter. We show that the Nyquist sampling limit of $Af$ and $f$ are related by the canonical relation of $A$ using semiclassical analysis. We apply this analysis to the Radon transform in the parallel and the fan-beam coordinates. We explain and illustrate the optimal sampling rates for $Af$, the aliasing artifacts, and the effect of averaging (blurring) the data $Af$. We prove a Weyl type of estimate on the minimal number of sampling points to recover $f$ stably in terms of the volume of its semiclassical wave front set. △ Less

Submitted 13 November, 2018; v1 submitted 3 November, 2018; originally announced November 2018.

MSC Class: 35R30; 94A20; 44A12; 35A27

A Borg-Levinson theorem for magnetic Schrödinger operators on a Riemannian manifold

Authors: Mourad Bellassoued, Mourad Choulli, Dos Santos Ferreira, Yavar Kian, Plamen Stefanov

Abstract: This article is concerned with uniqueness and stability issues for the inverse spectral problem of recovering the magnetic field and the electric potential in a Riemannian manifold from some asymptotic knowledge of the boundary spectral data of the corresponding Schrödinger operator under Dirichlet boundary conditions. The spectral data consist of some asymptotic knowledge of a subset of eigenvalu… ▽ More This article is concerned with uniqueness and stability issues for the inverse spectral problem of recovering the magnetic field and the electric potential in a Riemannian manifold from some asymptotic knowledge of the boundary spectral data of the corresponding Schrödinger operator under Dirichlet boundary conditions. The spectral data consist of some asymptotic knowledge of a subset of eigenvalues and Neumann traces of the associated eigenfunctions of the magnetic Laplacian. We also address the same question for Schrödinger operators under Neumann boundary conditions, in which case we measure the Dirichlet traces of eigenfunctions. In our results we characterize the uniqueness of the magnetic field from a rate of growth of the eigenvalues, combined with suitable asymptotic properties of boundary observation of eigenfunctions, of the associated magnetic Schrödinger operator. To our best knowledge this is the first result proving uniqueness from such general asymptotic behavior of boundary spectral data. △ Less

Submitted 29 October, 2018; v1 submitted 23 July, 2018; originally announced July 2018.

MSC Class: Primary 35R30; 35J10; Secondary: 35P99

A sharp stability estimate for the geodesic ray transform

Authors: Yernat Assylbekov, Plamen Stefanov

Abstract: We prove a sharp $L^2\to H^{1/2}$ stability estimate for the geodesic X-ray transform of tensor fields of order $0$, $1$ and $2$ on a simple Riemannian manifold with a suitable chosen $H^{1/2}$ norm. We show that such an estimate holds for a family of such $H^{1/2}$ norms, not topologically equivalent, but equivalent on the range of the transform. The reason for this is that the geodesic X-ray tra… ▽ More We prove a sharp $L^2\to H^{1/2}$ stability estimate for the geodesic X-ray transform of tensor fields of order $0$, $1$ and $2$ on a simple Riemannian manifold with a suitable chosen $H^{1/2}$ norm. We show that such an estimate holds for a family of such $H^{1/2}$ norms, not topologically equivalent, but equivalent on the range of the transform. The reason for this is that the geodesic X-ray transform has a microlocally structured range. △ Less

Submitted 10 March, 2019; v1 submitted 2 June, 2018; originally announced June 2018.

MSC Class: 53C65

X-ray Transform and Boundary Rigidity for Asymptotically Hyperbolic Manifolds

Authors: C. Robin Graham, Colin Guillarmou, Plamen Stefanov, Gunther Uhlmann

Abstract: We consider the boundary rigidity problem for asymptotically hyperbolic manifolds. We show injectivity of the X-ray transform in several cases and consider the non-linear inverse problem which consists of recovering a metric from boundary measurements for the geodesic flow. We consider the boundary rigidity problem for asymptotically hyperbolic manifolds. We show injectivity of the X-ray transform in several cases and consider the non-linear inverse problem which consists of recovering a metric from boundary measurements for the geodesic flow. △ Less

Submitted 15 September, 2017; originally announced September 2017.

Comments: 54 pages

MSC Class: 35R30; 37D40; 53C22

The attenuated geodesic X-ray transform

Authors: Sean Holman, François Monard, Plamen Stefanov

Abstract: This article deals with stability issues related to geodesic X-ray transforms, where an interplay between the (attenuation type) weight in the transform and the underlying geometry strongly impact whether the problem is stable or unstable. In the unstable case, we also explain what types of artifacts are expected in terms of the underlying conjugate points and the microlocal weights at those point… ▽ More This article deals with stability issues related to geodesic X-ray transforms, where an interplay between the (attenuation type) weight in the transform and the underlying geometry strongly impact whether the problem is stable or unstable. In the unstable case, we also explain what types of artifacts are expected in terms of the underlying conjugate points and the microlocal weights at those points. We show in particular that the well-known iterative reconstruction Landweber algorithm cannot provide accurate reconstruction when the problem is unstable, though the artifacts generated, specific for the reconstruction algorithm, can be properly described. △ Less

Submitted 29 August, 2017; originally announced August 2017.

Comments: 24 pages, 11 figures

Local recovery of the compressional and shear speeds from the hyperbolic DN map

Authors: Plamen Stefanov, Gunther Uhlmann, Andras vasy

Abstract: We study the isotropic elastic wave equation in a bounded domain with boundary. We show that local knowledge of the Dirichlet-to-Neumann map determines uniquely the speed of the p-wave locally if there is a strictly convex foliation with respect to it, and similarly for the s-wave speed. We study the isotropic elastic wave equation in a bounded domain with boundary. We show that local knowledge of the Dirichlet-to-Neumann map determines uniquely the speed of the p-wave locally if there is a strictly convex foliation with respect to it, and similarly for the s-wave speed. △ Less

Submitted 26 February, 2017; originally announced February 2017.

MSC Class: 35R30

Local and global boundary rigidity and the geodesic X-ray transform in the normal gauge

Authors: Plamen Stefanov, Gunther Uhlmann, Andras Vasy

Abstract: In this paper we analyze the local and global boundary rigidity problem for general Riemannian manifolds with boundary $(M,g)$. We show that the boundary distance function, i.e., $d_g|_{\partial M\times\partial M}$, known near a point $p\in \partial M$ at which $\partial M$ is strictly convex, determines $g$ in a suitable neighborhood of $p$ in $M$, up to the natural diffeomorphism invariance of t… ▽ More In this paper we analyze the local and global boundary rigidity problem for general Riemannian manifolds with boundary $(M,g)$. We show that the boundary distance function, i.e., $d_g|_{\partial M\times\partial M}$, known near a point $p\in \partial M$ at which $\partial M$ is strictly convex, determines $g$ in a suitable neighborhood of $p$ in $M$, up to the natural diffeomorphism invariance of the problem. We also consider the closely related lens rigidity problem which is a more natural formulation if the boundary distance is not realized by unique minimizing geodesics. The lens relation measures the point and the direction of exit from $M$ of geodesics issued from the boundary and the length of the geodesic. The lens rigidity problem is whether we can determine the metric up to isometry from the lens relation. We solve the lens rigidity problem under the assumption that there is a function on $M$ with suitable convexity properties relative to $g$. This can be considered as a complete solution of a problem formulated first by Herglotz in 1905. We also prove a semi-global results given semi-global data. This shows, for instance, that simply connected manifolds with strictly convex boundaries are lens rigid if the sectional curvature is non-positive or non-negative or if there are no focal points. The key tool is the analysis of the geodesic X-ray transform on 2-tensors, corresponding to a metric $g$, in the normal gauge, such as normal coordinates relative to a hypersurface, where one also needs to allow weights. This is handled by refining and extending our earlier results in the solenoidal gauge. △ Less

Submitted 12 May, 2021; v1 submitted 13 February, 2017; originally announced February 2017.

MSC Class: 53C24; 53C65; 35R30; 35S05; 53C21

The Inverse Problem for the Dirichlet-to-Neumann map on Lorentzian manifolds

Authors: Plamen Stefanov, Yang Yang

Abstract: We consider the Dirichlet-to-Neumann map $Λ$ on a cylinder-like Lorentzian manifold related to the wave equation related to the metric $g$, a magnetic field $A$ and a potential $q$. We show that we can recover the jet of $g,A,q$ on the boundary from $Λ$ up to a gauge transformation in a stable way. We also show that $Λ$ recovers the following three invariants in a stable way: the lens relation of… ▽ More We consider the Dirichlet-to-Neumann map $Λ$ on a cylinder-like Lorentzian manifold related to the wave equation related to the metric $g$, a magnetic field $A$ and a potential $q$. We show that we can recover the jet of $g,A,q$ on the boundary from $Λ$ up to a gauge transformation in a stable way. We also show that $Λ$ recovers the following three invariants in a stable way: the lens relation of $g$, and the light ray transforms of $A$ and $q$. Moreover, $Λ$ is an FIO away from the diagonal with a canonical relation given by the lens relation. We present applications for recovery of $A$ and $q$ in a logarithmically stable way in the Minkowski case, and uniqueness with partial data. △ Less

Submitted 27 September, 2016; v1 submitted 29 July, 2016; originally announced July 2016.

Comments: 26 pages, 2 figure

Journal ref: Analysis & PDE 11 (2018) 1381-1414

Thermo and photoacoustic Tomography with variable speed and planar detectors

Authors: Plamen Stefanov, Yang Yang

Abstract: We analyze the mathematical model of multiwave tomography with a variable speed with integrating measurements on planes tangent to a sphere surrounding the source. We prove sharp uniqueness and stability estimates with full and partial data and propose a time reversal algorithm which recovers the visible singularities. We analyze the mathematical model of multiwave tomography with a variable speed with integrating measurements on planes tangent to a sphere surrounding the source. We prove sharp uniqueness and stability estimates with full and partial data and propose a time reversal algorithm which recovers the visible singularities. △ Less

Submitted 3 May, 2016; originally announced May 2016.

MSC Class: 35R30

Multiwave tomography with reflectors: Landweber's iteration

Authors: Plamen Stefanov, Yang Yang

Abstract: We use the Landweber method for numerical simulations for the multiwave tomography problem with a reflecting boundary and compare it with the averaged time reversal method. We also analyze the rate of convergence and the dependence on the step size for the Landweber iterations on a Hilbert space. We use the Landweber method for numerical simulations for the multiwave tomography problem with a reflecting boundary and compare it with the averaged time reversal method. We also analyze the rate of convergence and the dependence on the step size for the Landweber iterations on a Hilbert space. △ Less

Submitted 19 April, 2016; v1 submitted 22 March, 2016; originally announced March 2016.

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 the stable recovery of a metric from the hyperbolic DN map with incomplete data

Authors: Plamen Stefanov, Gunther Uhlmann, Andras Vasy

Abstract: We show that given two hyperbolic Dirichlet to Neumann maps associated to two Riemannian metrics of a Riemannian manifold with boundary which coincide near the boundary are close then the lens data of the two metrics is the same. As a consequence, we prove uniqueness of recovery a conformal factor (sound speed) locally under some conditions on the latter. We show that given two hyperbolic Dirichlet to Neumann maps associated to two Riemannian metrics of a Riemannian manifold with boundary which coincide near the boundary are close then the lens data of the two metrics is the same. As a consequence, we prove uniqueness of recovery a conformal factor (sound speed) locally under some conditions on the latter. △ Less

Submitted 11 May, 2015; originally announced May 2015.

MSC Class: 35R30

Support theorems for the Light Ray transform on analytic Lorentzian manifolds

Authors: Plamen Stefanov

Abstract: We study the weighted ray transform of integrating functions on a Lorentzian manifold over lightlike geodesics. We prove support theorems if the manifold and the weight are analytic. We study the weighted ray transform of integrating functions on a Lorentzian manifold over lightlike geodesics. We prove support theorems if the manifold and the weight are analytic. △ Less

Submitted 18 October, 2015; v1 submitted 5 April, 2015; originally announced April 2015.

MSC Class: 53C65; 44A12; 46F12

Multiwave tomography in a closed domain: averaged sharp time reversal

Authors: Plamen Stefanov, Yang Yang

Abstract: We study the mathematical model of multiwave tomography including thermo and photoacoustic tomography with a variable speed for a fixed time interval $[0,T]$. We assume that the waves reflect from the boundary of the domain. We propose an averaged sharp time reversal algorithm. In case of measurements on the whole boundary, we give an explicit solution in terms of a Neumann series expansion. When… ▽ More We study the mathematical model of multiwave tomography including thermo and photoacoustic tomography with a variable speed for a fixed time interval $[0,T]$. We assume that the waves reflect from the boundary of the domain. We propose an averaged sharp time reversal algorithm. In case of measurements on the whole boundary, we give an explicit solution in terms of a Neumann series expansion. When the measurements are taken on a part of the boundary, we show that the same algorithm produces a parametrix. △ Less

Submitted 4 February, 2015; v1 submitted 29 December, 2014; originally announced December 2014.

Comments: 21 pages, 5 figures

Inverting the local geodesic X-ray transform on tensors

Authors: Plamen Stefanov, Gunther Uhlmann, András Vasy

Abstract: We prove the local invertibility, up to potential fields, and stability of the geodesic X-ray transform on tensor fields of order 1 and 2 near a strictly convex boundary point, on manifolds with boundary of dimension n>=3. We also present an inversion formula. Under the condition that the manifold can be foliated with a continuous family of strictly convex surfaces, we prove a global result which… ▽ More We prove the local invertibility, up to potential fields, and stability of the geodesic X-ray transform on tensor fields of order 1 and 2 near a strictly convex boundary point, on manifolds with boundary of dimension n>=3. We also present an inversion formula. Under the condition that the manifold can be foliated with a continuous family of strictly convex surfaces, we prove a global result which also implies a lens rigidity result near such a metric. The class of manifolds satisfying the foliation condition includes manifolds with no focal points, and does not exclude existence of conjugate points. △ Less

Submitted 19 October, 2014; originally announced October 2014.

Comments: 46 pages, 1 figure

MSC Class: 53C65 (Primary); 35R30; 35S05; 53C21 (Secondary)

Modulated Luminescent Tomography

Authors: Plamen Stefanov, Wenxiang Cong, Ge Wang

Abstract: We propose and analyze a mathematical model of Modulated Luminescent Tomography. We show that when single X-rays or focused X-rays are used as an excitation, the problem is similar to the inversion of weighted X-ray transforms. In particular, we give an explicit inversion in the case of Dual Cone X-ray excitation. We propose and analyze a mathematical model of Modulated Luminescent Tomography. We show that when single X-rays or focused X-rays are used as an excitation, the problem is similar to the inversion of weighted X-ray transforms. In particular, we give an explicit inversion in the case of Dual Cone X-ray excitation. △ Less

Submitted 25 June, 2014; originally announced June 2014.

MSC Class: 35R30; 92C55; 44A12

The geodesic ray transform on Riemannian surfaces with conjugate points

Authors: François Monard, Plamen Stefanov, Gunther Uhlmann

Abstract: We study the geodesic X-ray transform $X$ on compact Riemannian surfaces with conjugate points. Regardless of the type of the conjugate points, we show that we cannot recover the singularities and therefore, this transform is always unstable (ill-posed). We describe the microlocal kernel of $X$ and relate it to the conjugate locus. We present numerical examples illustrating the cancellation of sin… ▽ More We study the geodesic X-ray transform $X$ on compact Riemannian surfaces with conjugate points. Regardless of the type of the conjugate points, we show that we cannot recover the singularities and therefore, this transform is always unstable (ill-posed). We describe the microlocal kernel of $X$ and relate it to the conjugate locus. We present numerical examples illustrating the cancellation of singularities. We also show that the attenuated X-ray transform is well posed if the attenuation is positive and there are no more than two conjugate points along each geodesic; but still ill-posed, if there are three or more conjugate points. Those results follow from our analysis of the weighted X-ray transform. △ Less

Submitted 25 March, 2014; v1 submitted 22 February, 2014; originally announced February 2014.

Comments: new section about the attenuated X-ray transform added

MSC Class: 53C65

Weyl asymptotics of the transmission eigenvalues for a constant index of refraction

Authors: Ha Pham, Plamen Stefanov

Abstract: We prove Weyl type of asymptotic formulas for the real and the complex internal transmission eigenvalues when the domain is a ball and the index of refraction is constant. We prove Weyl type of asymptotic formulas for the real and the complex internal transmission eigenvalues when the domain is a ball and the index of refraction is constant. △ Less

Submitted 2 October, 2013; v1 submitted 13 September, 2013; originally announced September 2013.

MSC Class: 35P25

Boundary rigidity with partial data

Authors: Plamen Stefanov, Gunther Uhlmann, Andras Vasy

Abstract: We study the boundary rigidity problem with partial data consisting of determining locally the Riemannian metric of a Riemannian manifold with boundary from the distance function measured at pairs of points near a fixed point on the boundary. We show that one can recover uniquely and in a stable way a conformal factor near a strictly convex point where we have the information. In particular, this… ▽ More We study the boundary rigidity problem with partial data consisting of determining locally the Riemannian metric of a Riemannian manifold with boundary from the distance function measured at pairs of points near a fixed point on the boundary. We show that one can recover uniquely and in a stable way a conformal factor near a strictly convex point where we have the information. In particular, this implies that we can determine locally the isotropic sound speed of a medium by measuring the travel times of waves joining points close to a convex point on the boundary. The local results lead to a global lens rigidity uniqueness and stability result assuming that the manifold is foliated by strictly convex hypersurfaces. △ Less

Submitted 7 October, 2015; v1 submitted 12 June, 2013; originally announced June 2013.

Comments: Stability result added in the latest version

MSC Class: 53C25; 35R30

Stability of Coupled-Physics Inverse Problems with internal measurements

Authors: Carlos Montalto, Plamen Stefanov

Abstract: In this paper, we develop a general approach to prove stability for the non linear second step of hybrid inverse problems. We work with general functionals of the form $σ|\nabla u|^p$, $0 < p \leq 1$, where $u$ is the solution of the elliptic partial differential equation $\nabla\cdot σ\nabla u =0$ on a bounded domain $Ω$ with boundary conditions $u|_{\partial Ω} = f$. We prove stability of the li… ▽ More In this paper, we develop a general approach to prove stability for the non linear second step of hybrid inverse problems. We work with general functionals of the form $σ|\nabla u|^p$, $0 < p \leq 1$, where $u$ is the solution of the elliptic partial differential equation $\nabla\cdot σ\nabla u =0$ on a bounded domain $Ω$ with boundary conditions $u|_{\partial Ω} = f$. We prove stability of the linearization and Hölder conditional stability for the non-linear problem of recovering $σ$ from the internal measurement. △ Less

Submitted 9 June, 2013; originally announced June 2013.

MSC Class: 35R30

Instability of the linearized problem in multiwave tomography of recovery both the source and the speed

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: In this paper we consider the linearized problem of recovering both the sound speed and the thermal absorption arising in thermoacoustic and photoacoustic tomography. We show that the problem is unstable in any scale of Sobolev spaces. In this paper we consider the linearized problem of recovering both the sound speed and the thermal absorption arising in thermoacoustic and photoacoustic tomography. We show that the problem is unstable in any scale of Sobolev spaces. △ Less

Submitted 27 November, 2012; originally announced November 2012.

MSC Class: 35R30

Is a curved flight path in SAR better than a straight one?

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: In the plane, we study the transform $R_γf$ of integrating a unknown function $f$ over circles centered at a given curve $γ$. This is a simplified model of SAR, when the radar is not directed but has other applications, like thermoacoustic tomography, for example. We study the problem of recovering the wave front set $\WF(f)$. If the visible singularities of $f$ hit $γ$ once, we show that the "art… ▽ More In the plane, we study the transform $R_γf$ of integrating a unknown function $f$ over circles centered at a given curve $γ$. This is a simplified model of SAR, when the radar is not directed but has other applications, like thermoacoustic tomography, for example. We study the problem of recovering the wave front set $\WF(f)$. If the visible singularities of $f$ hit $γ$ once, we show that the "artifacts" cannot be resolved. If $γ$ is a closed curve, we show that this is still true. On the other hand, if $f$ is known a priori to have singularities in a compact set, then we show that one can recover $\WF(f)$, and moreover, this can be done in a simple explicit way, using backpropagation for the wave equation. △ Less

Submitted 4 May, 2012; originally announced May 2012.

MSC Class: 35R30; 53C65

Stability for the multi-dimensional Borg-Levinson theorem with partial spectral data

Authors: Mourad Choulli, Plamen Stefanov

Abstract: We prove a stability estimate related to the multi-dimensional Borg-Levinson theorem of determining a potential from spectral data: the Dirichlet eigenvalues and the normal derivatives of the eigenfunctions on the boundary of a bounded domain. The estimate is of Hölder type, and we allow finitely many eigenvalues and normal derivatives to be unknown. We also show that if the spectral data is known… ▽ More We prove a stability estimate related to the multi-dimensional Borg-Levinson theorem of determining a potential from spectral data: the Dirichlet eigenvalues and the normal derivatives of the eigenfunctions on the boundary of a bounded domain. The estimate is of Hölder type, and we allow finitely many eigenvalues and normal derivatives to be unknown. We also show that if the spectral data is known asymptotically only, up to $O(k^{-a})$ with $a>>1$, then we still have Hölder stability. △ Less

Submitted 1 November, 2011; originally announced November 2011.

MSC Class: 35R30; 35P05

The Identification Problem for the attenuated X-ray transform

Authors: Plamen Stefanov

Abstract: We study the problem of recovery both the attenuation $a$ and the source $f$ in the attenuated X-ray transform in the plane. We study the linearization as well. It turns out that there are natural Hamiltonian flow that determines which singularities we can recover. If the perturbations $δa$, $δf$ are supported in a compact set that is non-trap** for that flow, then the problem is well posed. Oth… ▽ More We study the problem of recovery both the attenuation $a$ and the source $f$ in the attenuated X-ray transform in the plane. We study the linearization as well. It turns out that there are natural Hamiltonian flow that determines which singularities we can recover. If the perturbations $δa$, $δf$ are supported in a compact set that is non-trap** for that flow, then the problem is well posed. Otherwise, it may not be, and least in the case of radial $a$, $f$, it is not. We present uniqueness and non-uniqueness results for both the linearized and the non-linear problem; as well as a Hölder stability estimate. △ Less

Submitted 7 May, 2011; originally announced May 2011.

MSC Class: 35R30; 53C65

Recovery of a source term or a speed with one measurement and applications

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: We study the problem of recovery the source $a(t,x)F(x)$ in the wave equation in anisotropic medium with $a$ known so that $a(0,x)\not=0$ with a single measurement. We use Carleman estimates combined with geometric arguments and give sharp conditions for uniqueness. We also study the non-linear problem of recovery the sound speed in the equation $u_{tt} -c^2(x)Δu =0$ with one measurement. We give… ▽ More We study the problem of recovery the source $a(t,x)F(x)$ in the wave equation in anisotropic medium with $a$ known so that $a(0,x)\not=0$ with a single measurement. We use Carleman estimates combined with geometric arguments and give sharp conditions for uniqueness. We also study the non-linear problem of recovery the sound speed in the equation $u_{tt} -c^2(x)Δu =0$ with one measurement. We give sharp conditions for stability, as well. An application to thermoacoustic tomography is also presented. △ Less

Submitted 5 March, 2011; originally announced March 2011.

MSC Class: 35R30

A New Numerical Algorithm for Thermoacoustic and Photoacoustic Tomography with Variable Sound Speed

Authors: Jianliang Qian, Plamen Stefanov, Gunther Uhlmann, Hongkai Zhao

Abstract: We present a new algorithm for reconstructing an unknown source in Thermoacoustic and Photoacoustic Tomography based on the recent advances in understanding the theoretical nature of the problem. We work with variable sound speeds that might be also discontinuous across some surface. The latter problem arises in brain imaging. The new algorithm is based on an explicit formula in the form of a Neum… ▽ More We present a new algorithm for reconstructing an unknown source in Thermoacoustic and Photoacoustic Tomography based on the recent advances in understanding the theoretical nature of the problem. We work with variable sound speeds that might be also discontinuous across some surface. The latter problem arises in brain imaging. The new algorithm is based on an explicit formula in the form of a Neumann series. We present numerical examples with non-trap**, trap** and piecewise smooth speeds, as well as examples with data on a part of the boundary. These numerical examples demonstrate the robust performance of the new algorithm. △ Less

Submitted 19 January, 2011; originally announced January 2011.

Thermoacoustic tomography arising in brain imaging

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: We study the mathematical model of thermoacoustic and photoacoustic tomography when the sound speed has a jump across a smooth surface. This models the change of the sound speed in the skull when trying to image the human brain. We derive an explicit inversion formula in the form of a convergent Neumann series under the assumptions that all singularities from the support of the source reach the bo… ▽ More We study the mathematical model of thermoacoustic and photoacoustic tomography when the sound speed has a jump across a smooth surface. This models the change of the sound speed in the skull when trying to image the human brain. We derive an explicit inversion formula in the form of a convergent Neumann series under the assumptions that all singularities from the support of the source reach the boundary. △ Less

Submitted 9 September, 2010; originally announced September 2010.

MSC Class: 35R30; 74J25; 35L05; 65M32

Stability of the Gauge Equivalent Classes in Inverse Stationary Transport in Refractive Media

Authors: Stephen McDowall, Plamen Stefanov, Alex Tamasan

Abstract: In the inverse stationary transport problem through anisotropic attenuating, scattering, and refractive media, the albedo operator stably determines the gauge equivalent class of the attenuation and scattering coefficients. In the inverse stationary transport problem through anisotropic attenuating, scattering, and refractive media, the albedo operator stably determines the gauge equivalent class of the attenuation and scattering coefficients. △ Less

Submitted 27 August, 2010; originally announced August 2010.

MSC Class: 35R30; 78A46

The geodesic X-ray transform with fold caustics

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: We give a detailed microlocal study of X-ray transforms over geodesics-like families of curves with conjugate points of fold type. We show that the normal operator is the sum of a pseudodifferential operator and a Fourier integral operator. We compute the principal symbol of both operators and the canonical relation associated to the Fourier integral operator. In two dimensions, for the geodesic t… ▽ More We give a detailed microlocal study of X-ray transforms over geodesics-like families of curves with conjugate points of fold type. We show that the normal operator is the sum of a pseudodifferential operator and a Fourier integral operator. We compute the principal symbol of both operators and the canonical relation associated to the Fourier integral operator. In two dimensions, for the geodesic transform, we show that there is always a cancellation of singularities to some order, and we give an example where that order is infinite; therefore the normal operator is not microlocally invertible in that case. In the case of three dimensions or higher if the canonical relation is a local canonical graph we show microlocal invertibility of the normal operator. Several examples are also studied. △ Less

Submitted 7 April, 2010; originally announced April 2010.

MSC Class: 53C65

The weighted doppler transform

Authors: Sean Holman, Plamen Stefanov

Abstract: We consider the tomography problem of recovering a covector field on a simple Riemannian manifold based on its weighted Doppler transformation over a family of curves $Γ$. This is a generalization of the attenuated Doppler transform. Uniqueness is proven for a generic set of weights and families of curves under a condition on the weight function. This condition is satisfied in particular if the… ▽ More We consider the tomography problem of recovering a covector field on a simple Riemannian manifold based on its weighted Doppler transformation over a family of curves $Γ$. This is a generalization of the attenuated Doppler transform. Uniqueness is proven for a generic set of weights and families of curves under a condition on the weight function. This condition is satisfied in particular if the weight function is never zero, and its derivatives along the curves in $Γ$ is never zero. △ Less

Submitted 14 May, 2009; originally announced May 2009.

MSC Class: 34A55; 53C65: 47G30

Stability of the gauge equivalent classes in stationary transport

Authors: Stephen McDowall, Plamen Stefanov, Alexandru Tamasan

Abstract: For anisotropic attenuating media, the albedo operator determines the scattering and the attenuation coefficients up to a gauge transformation. We show that such a determination is stable. For anisotropic attenuating media, the albedo operator determines the scattering and the attenuation coefficients up to a gauge transformation. We show that such a determination is stable. △ Less

Submitted 5 May, 2009; originally announced May 2009.

MSC Class: 35R30; 78A46

Thermoacoustic tomography with variable sound speed

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: We study the mathematical model of thermoacoustic tomography in media with a variable speed for a fixed time interval, greater than the diameter of the domain. In case of measurements on the whole boundary, we give an explicit solution in terms of a Neumann series expansion. We give necessary and sufficient conditions for uniqueness and stability when the measurements are taken on a part of the… ▽ More We study the mathematical model of thermoacoustic tomography in media with a variable speed for a fixed time interval, greater than the diameter of the domain. In case of measurements on the whole boundary, we give an explicit solution in terms of a Neumann series expansion. We give necessary and sufficient conditions for uniqueness and stability when the measurements are taken on a part of the boundary. △ Less

Submitted 30 May, 2009; v1 submitted 11 February, 2009; originally announced February 2009.

MSC Class: 35R30; 74J25; 35L05; 65M32

Journal ref: Inverse Prob. 25(2009), 075011

Uniqueness and Non-uniqueness in inverse radiative transfer

Authors: Plamen Stefanov, Alexandru Tamasan

Abstract: We characterize the non-uniqueness in the inverse problem for the stationary transport model, in which the absorption "a" and the scattering coefficient "k" are to be recovered from the albedo operator. We show that "gauge equivalent" pairs (a,k) yield the same albedo operator, and that we can recover uniquely the class of gauge equivalent pairs. We apply this result to show unique determination… ▽ More We characterize the non-uniqueness in the inverse problem for the stationary transport model, in which the absorption "a" and the scattering coefficient "k" are to be recovered from the albedo operator. We show that "gauge equivalent" pairs (a,k) yield the same albedo operator, and that we can recover uniquely the class of gauge equivalent pairs. We apply this result to show unique determination of the media when the absorption "a" depends on the line of travel through each point while scattering "k" obeys a symmetry property. Previously known results concerned directional independent absorption. △ Less

Submitted 15 September, 2008; originally announced September 2008.

MSC Class: 35R30

Linearizing non-linear inverse problems and an application to inverse backscattering

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: We propose an abstract approach to prove local uniqueness and conditional Hölder stability to non-linear inverse problems by linearization. The main condition is that, in addition to the injectivity of the linearization $A$, we need a stability estimate for $A$ as well. That condition is satisfied in particular, if $A^*A$ is an elliptic pseudo-differential operator. We apply this scheme to show… ▽ More We propose an abstract approach to prove local uniqueness and conditional Hölder stability to non-linear inverse problems by linearization. The main condition is that, in addition to the injectivity of the linearization $A$, we need a stability estimate for $A$ as well. That condition is satisfied in particular, if $A^*A$ is an elliptic pseudo-differential operator. We apply this scheme to show uniqueness and Hölder stability for the inverse backscattering problem for the acoustic equation near a constant sound speed. △ Less

Submitted 1 September, 2008; originally announced September 2008.

MSC Class: 35R30