Source author record

François Monard

François Monard appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2020arXiv

Consistent Inversion of Noisy Non-Abelian X-Ray Transforms

For $M$ a simple surface, the non-linear statistical inverse problem of recovering a matrix field $Φ: M \to \mathfrak{so}(n)$ from discrete, noisy measurements of the $SO(n)$-valued scattering data $C_Φ$ of a solution of a matrix ODE is considered ($n\geq 2$). Injectivity of the map $Φ\mapsto C_Φ$ was established by [Paternain, Salo, Uhlmann; Geom.Funct.Anal. 2012]. A statistical algorithm for the solution of this inverse problem based on Gaussian process priors is proposed, and it is shown how it can be implemented by infinite-dimensional MCMC methods. It is further shown that as the number $N$ of measurements of point-evaluations of $C_Φ$ increases, the statistical error in the recovery of $Φ$ converges to zero in $L^2(M)$-distance at a rate that is algebraic in $1/N$, and approaches $1/\sqrt N$ for smooth matrix fields $Φ$. The proof relies, among other things, on a new stability estimate for the inverse map $C_Φ\to Φ$. Key applications of our results are discussed in the case $n=3$ to polarimetric neutron tomography, see [Desai et al., Nature Sc.Rep. 2018] and [Hilger et al., Nature Comm. 2018]

preprint2020arXiv

Functional relations, sharp mapping properties and regularization of the X-ray transform on disks of constant curvature

On simple geodesic disks of constant curvature, we derive new functional relations for the geodesic X-ray transform, involving a certain class of elliptic differential operators whose ellipticity degenerates normally at the boundary. We then use these relations to derive sharp mapping properties for the X-ray transform and its corresponding normal operator. Finally, we discuss the possibility of theoretically rigorous regularized inversions for the X-ray transform when defined on such manifolds.

preprint2020arXiv

Range characterizations and Singular Value Decomposition of the geodesic X-ray transform on disks of constant curvature

For a one-parameter family of simple metrics of constant curvature ($4κ$ for $κ\in (-1,1)$) on the unit disk $M$, we first make explicit the Pestov-Uhlmann range characterization of the geodesic X-ray transform, by constructing a basis of functions making up its range and co-kernel. Such a range characterization also translates into moment conditions {\it à la} Helgason-Ludwig or Gel'fand-Graev. We then derive an explicit Singular Value Decomposition for the geodesic X-ray transform. Computations dictate a specific choice of weighted $L^2-L^2$ setting which is equivalent to the $L^2(M, dVol_κ)\to L^2(\partial_+ SM, dΣ^2)$ one for any $κ\in (-1,1)$.

preprint2016arXiv

Inversion formulas and range characterizations for the attenuated geodesic ray transform

We present two range characterizations for the attenuated geodesic X-ray transform defined on pairs of functions and one-forms on simple surfaces. Such characterizations are based on first isolating the range over sums of functions and one-forms, then separating each sub-range in two ways, first by implicit conditions, second by deriving new inversion formulas for sums of functions and one-forms.

preprint2015arXiv

Inversion of the attenuated geodesic X-ray transform over functions and vector fields on simple surfaces

We derive explicit reconstruction formulas for the attenuated geodesic X-ray transform over functions and, in the case of non-vanishing attenuation, vector fields, on a class of simple Riemannian surfaces with boundary. These formulas partly rely on new explicit approaches to construct continuous right-inverses for backprojection operators (and, in turn, holomorphic integrating factors), which were previously unavailable in a systematic form. The reconstruction of functions is presented in two ways, the latter one being motivated by numerical considerations and successfully implemented at the end. Constructing the right-inverses mentioned require that certain Fredholm equations, first appearing in [Pestov-Uhlmann, IMRN 2004], be invertible. Whether this last condition reduces the applicability of the overall approach to a strict subset of simple surfaces remains open at present.

preprint2015arXiv

Reconstruction formulas for X-ray transforms in negative curvature

We give reconstruction formulas inverting the geodesic X-ray transform over functions (call it $I_0$) and solenoidal vector fields on surfaces with negative curvature and strictly convex boundary. These formulas generalize the Pestov-Uhlmann formulas in [Pestov-Uhlmann, IMRN '04] (established for simple surfaces) to cases allowing geodesics with infinite length on surfaces with trapping. Such formulas take the form of Fredholm equations, where the analysis of error operators requires deriving new estimates for the normal operator $Π_0 = I_0^* I_0$. Numerical examples are provided at the end.

preprint2014arXiv

Imaging of anisotropic conductivities from current densities in two dimensions

We consider the imaging of anisotropic conductivity tensors $γ=(γ_{ij})_{1\leq i,j\leq 2}$ from knowledge of several internal current densities $\mathcal{J}=γ\nabla u$ where $u$ satisfies a second order elliptic equation $\nabla\cdot(γ\nabla u)=0$ on a bounded domain $X\subset\mathbb{R}^2$ with prescribed boundary conditions on $\partial X$. We show that $γ$ can be uniquely reconstructed from four {\em well-chosen} functionals $\mathcal{J}$ and that noise in the data is differentiated once during the reconstruction. The inversion procedure is local in the sense that (most of) the tensor $γ(x)$ can be reconstructed from knowledge of the functionals $\mathcal{J}$ in the vicinity of $x$. We obtain the existence of an open set of boundary conditions on $\partial X$ that guaranty stable reconstructions by using the technique of complex geometric optics (CGO) solutions. The explicit inversion procedure is presented in several numerical simulations, which demonstrate the influence of the choice boundary conditions on the stability of the reconstruction. This problem finds applications in the medical imaging modality called Current Density Imaging or Magnetic Resonance Electrical Impedance Tomography.

preprint2014arXiv

Numerical implementation of geodesic X-ray transforms and their inversion

We present a numerical implementation of the geodesic ray transform and its inversion over functions and solenoidal vector fields on two-dimensional Riemannian manifolds. For each problem, inversion formulas previously derived in \cite{Pestov2004,Krishnan2010} are implemented in the case of simple and some non-simple metrics. These numerical tools are also used to better understand and gain intuition about non-simple manifolds, for which injectivity and stability of the corresponding integral geometric problems are still under active study.

preprint2014arXiv

On reconstruction formulas for the ray transform acting on symmetric differentials on surfaces

The present article proposes a partial answer to the explicit inversion of the tensor tomography problem in two dimensions, by proving injectivity over certain kinds of tensors and providing reconstruction formulas for them. These tensors are symmetric differentials of any order as well as other types obtained after taking their transverse covariant derivative once. Such reconstruction formulas require introducing additional types of fiberwise Hilbert transforms which satisfy a convenient generalization of the Pestov-Uhlmann commutator formula \cite{Pestov2005}. Numerical simulations in {\tt MatLab} are provided using the author's code presented in \cite{Monard2013}, justifying the exactness of the formulas in some cases of simple and near-simple metrics, and displaying issues encountered as one increases either curvature, lack of simplicity, or tensor order, in all of which cases the formulas derived in the first part become theoretically insufficient.

preprint2014arXiv

Reconstruction of constitutive parameters in isotropic linear elasticity from noisy full-field measurements

Within the framework of linear elasticity we assume the availability of internal full-field measurements of the continuum deformations of a non-homogeneous isotropic solid. The aim is the quantitative reconstruction of the associated moduli. A simple gradient system for the sought constitutive parameters is derived algebraically from the momentum equation, whose coefficients are expressed in terms of the measured displacement fields and their spatial derivatives. Direct integration of this system is discussed to finally demonstrate the inexpediency of such an approach when dealing with noisy data. Upon using polluted measurements, an alternative variational formulation is deployed to invert for the physical parameters. Analysis of this latter inversion procedure provides existence and uniqueness results while the reconstruction stability with respect to the measurements is investigated. As the inversion procedure requires differentiating the measurements twice, a numerical differentiation scheme based on an ad hoc regularization then allows an optimally stable reconstruction of the sought moduli. Numerical results are included to illustrate and assess the performance of the overall approach.

preprint2014arXiv

The geodesic ray transform on Riemannian surfaces with conjugate points

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.