arXiv research

Regularity results for geodesic X-ray transform on nonsmooth manifolds

Local X-ray transform works well near boundaries in hyperbolic spaces.

Study proper sampling for X-ray transforms on simple surfaces.

We show that the existence of a function in $L^{1}$ with constant geodesic X-ray transform imposes geometrical restrictions on the manifold. The boundary of the manifold has to be umbilical and in the case of a strictly convex Euclidean domain, it must be a ball. Functions with constant geodesic X-ray transform always …

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…

Geodesic X-ray transform proves injective for smooth one-forms on gas giant manifolds.

Paper shows X-ray transform invertible on certain curved spaces.

Study shows stability in X-ray transform on specific hyperbolic manifolds.

Injectivity of geodesic X-ray transform on low-regularity manifolds.

We complete the microlocal study of the geodesic X-ray transform on Riemannian manifolds with Anosov geodesic flow initiated by Guillarmou and pursued by Guillarmou and the second author. We prove new stability estimates and clarify some properties of the operator $Π_m$, the generalized X-ray transform. These estimates…

Study geodesic X-ray transform and streaking artifacts on simple surfaces or spaces of constant curvature.

We prove injectivity and a support theorem for the X-ray transform on $2$-step nilpotent Lie groups with many totally geodesic $2$-dimensional flats. The result follows from a general reduction principle for manifolds with uniformly escaping geodesics.

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 con…

Paper shows invertibility of tensor X-ray transform on certain manifolds.

The X-ray transform on the periodic slab $[0,1]\times\mathbb T^n$, $n\geq0$, has a non-trivial kernel due to the symmetry of the manifold and presence of trapped geodesics. For tensor fields gauge freedom increases the kernel further, and the X-ray transform is not solenoidally injective unless $n=0$. We characterize t…

In this article we introduce an approach for studying the geodesic X-ray transform and related geometric inverse problems by using Carleman estimates. The main result states that on compact negatively curved manifolds (resp. nonpositively curved simple or Anosov manifolds), the geodesic vector field satisfies a Carlema…

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 o…

The X-ray transform on a compact symmetric space M is here inverted by means of an explicit inversion formula. The proof uses the conjugacy of the minimal closed geodesics in M and of the maximally curved totally geodesic spheres in M, proved in Math. Ann. 165 (1966), 309--317.

Under a convexity assumption on the boundary we solve a local inverse problem, namely we show that the geodesic X-ray transform can be inverted locally in a stable manner; one even has a reconstruction formula. We also show that under an assumption on the existence of a global foliation by strictly convex hypersurfaces…

In this paper we consider the local X-ray transform for general flows. We extend the results on the local and global invertibility of the geodesic ray transform proved by Uhlmann and Vasy \cite{UV} to the X-ray transform for a general flow. The key improvement is that our argument for the ellipticity of the conjugated …

Injective X-ray transform on Heisenberg group for regular functions.

In this paper we consider the geodesic X-ray transform with attenuation coefficient as a combination of smooth complex function and 1-form. We show that attenuated X-ray transform applied to the pair of tensors is injective modulo the natural obstruction.

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 t…

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.

Guillarmou extends X-ray transform to magnetic and thermostat flows.

X-ray transform on H-type groups solved, revealing function injectivity.

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

Study geodesic X-ray transforms on hyperbolic surfaces, proposing new reconstruction methods.

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 te…

We study the microlocal properties of the geodesic X-ray transform $\mathcal{X}$ on a manifold with boundary allowing the presence of conjugate points. Assuming that there are no self-intersecting geodesics and all conjugate pairs are nonsingular we show that the normal operator $\mathcal{N} = \mathcal{X}^t \circ \math…

Injectivity of X-ray transform proven for non-smooth metrics.

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 ca…

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 as…

The paper explains how microlocal analysis solves geometric inverse problems.

We consider complex projective space with its Fubini-Study metric and the X-ray transform defined by integration over its geodesics. We identify the kernel of this transform acting on symmetric tensor fields.

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 …

We show injectivity of the geodesic X-ray transform on piecewise constant functions when the transform is weighted by a continuous matrix weight. The manifold is assumed to be compact and nontrapping of any dimension, and in dimension three and higher we assume a foliation condition. We make no assumption regarding con…

Study normal operators of double fibration transforms with conjugate points.

For Anosov flows preserving a smooth measure on a closed manifold $\mathcal{M}$, we define a natural self-adjoint operator $Π$ which maps into the space of invariant distributions in $\cap_{u<0} H^{u}(\mathcal{M})$ and whose kernel is made of coboundaries in $\cup_{s>0} H^{s}(\mathcal{M})$. We describe relations to Liv…

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,…

We survey recent results on inverse problems for geodesic X-ray transforms and other linear and non-linear geometric inverse problems for Riemannian metrics, connections and Higgs fields defined on manifolds with boundary.

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 bac…

We derive reconstruction formulas for a family of geodesic ray transforms with connection, defined on simple Riemannian surfaces. Such formulas provide injectivity of such all transforms in a neighbourhood of constant curvature metrics and non-unitary connections with curvature close to zero. If certain Fredholm equati…

Embeds Riemannian manifolds with Anosov flows, linking classical and new theorems.

Consider a compact Riemannian manifold of dimension $\geq 3$ with strictly convex boundary, such that the manifold admits a strictly convex function. We show that the attenuated ray transform in the presence of an arbitrary connection and Higgs field is injective modulo the natural obstruction for functions and one-for…

Injectivity result for light ray transform on Lorentzian manifolds.

Study proves solenoidal injectivity for tensor fields on curved manifolds with low regularity.

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 m…