arXiv subjects

James W. Webber

Publications and source records attributed to James W. Webber.

15 recordsLinked to original sources

arXiv2026

Microlocal analysis of a non-linear cone transform and applications to Compton camera imaging

We present a novel method to recover the source intensity, $f : \mathbb{R}^n \to \mathbb{R}$, and attenuation coefficient, $μ: \mathbb{R}^n \to \mathbb{R}$, in Compton camera imaging. We apply a non-linear model, which accounts for ray attenuation. We show that the data, $h$, can be modeled $h = \mathcal{R}(f,μ) = R(fg)$, where $g = \exp(-Gμ)$ models attenuation, $G$ is a (linear) divergent beam transform, and $R$ is a linear operator which defines the integrals of $fg$ over cones. Commonly in the literature, $μ$ is set to zero, and the data $h = Rf$ is linear. We address the case when $μ\neq 0$ and the transform is non-linear. To simplify the analysis, we first transform the data into weighted line integrals, $\tilde{h} = \mathcal{D}_k(f,μ) = D_k(fg)$, where $D_k$ is a weighted ray transform. Assuming practically reasonable geometric conditions, we show that $\tilde{h} = \exp(-X_{w_1}μ)X_{w_2}f$, where $X_w$ is a weighted X-ray transform, and the $w_i$ are smooth weights. After which, we use the theory of conormal distributions to describe the singularities of $\tilde{h}$. We show that there are artifacts in the reconstruction, and we quantify their strength using Sobolev spaces. We combine this theory with a geometric argument to recover the edges of $f$ and ultimately prove that $f$ and $μ$ are unique to $h$. The recovery of $f$ is notably more stable than that of $μ$, which we also discuss. To validate our theory, we present simulated reconstructions of $f$ and $μ$ using the proposed method.

math.NA↗

arXiv2026

Microlocal analysis of non-linear artifacts in cone beam CT

We present a novel microlocal analysis of beam hardening artifacts arising in cone-beam X-ray CT, where the set of X-ray sources is restricted to a 1D smooth curve $ γ\subset \mathbb{R}^3$. We show that, when the CT data is modeled in the standard way using the Beer Lambert law, the exponential term in the model creates singularities in the data that are not present in the linear X-ray transform. We assume that the attenuation coefficient $μ$ (the reconstruction target) has a jump discontinuity across a surface $\mathcal{S}\subset\mathbb{R}^3$, and is smooth otherwise. We prove that these additional singularities in the data occur when the X-ray beam is tangent to $\mathcal{S}$ at two points simultaneously. To investigate how the singularities in the data propagate to the reconstruction space, we apply Filtered Back Projection (FBP) type reconstruction. We prove that the artifacts due to beam hardening are locally of conormal type, and lie on a 2-D surface which is the union of all double tangent rays which intersect $γ$. The artifacts are notably weaker than the reconstructed jumps of $μ$ (i.e., the desired singularities), and we quantify this using the order of the corresponding conormal distributions. While our primary theory applies to the regions of $\mathcal{S}$ that are smooth, we also extend our theory to non-smooth $\mathcal{S}$ with "ridges." These arise where $\mathcal{S}$ is locally the intersection of two smooth surface patches meeting transversely along a curve (e.g., the edge of a cuboid). In addition, we present simulated reconstructions of metal objects in circular cone-beam CT to validate our theory.

math.GM↗

arXiv2026

Spherical Radon transforms with smoothly varying radii

We present an analysis of a novel spherical Radon transform, $R$, which defines the integrals of a function, $f$, in $\mathbb{R}^n$ over spheres with arbitrary center ($\mathbf{y}$) and radii, $r(\mathbf{y})$, which vary smoothly with $\mathbf{y}$. We first establish sufficient and necessary conditions on $r$ and $\text{supp}(f)$ so that $R$ satisfies the Bolker condition, and further conditions which allow $f$ to be recovered stably from $Rf$. We then apply this theory to a number of example applications in Compton Scatter Tomography (CST) and Ultrasound Reflection Tomography (URT). For each application considered, we also provide injectivity proofs and explicit inversion formulae, some of which are based on the generalized theory presented by Palamodov ("Palamodov, V. P. (2012). A uniform reconstruction formula in integral geometry. Inverse Problems, 28(6), 065014."). We then combine our microlocal theory and injectivity results to prove stability estimates for our transforms. In addition, to validate our theory, we provide simulated image reconstructions.

math.FA↗

arXiv2025

Microlocal analysis of non-linear operators arising in Compton CT

We present a novel microlocal analysis of a non-linear ray transform, $\mathcal{R}$, arising in Compton Scattering Tomography (CST). Due to attenuation effects in CST, the integral weights depend on the reconstruction target, $f$, which has singularities. Thus, standard linear Fourier Integral Operator (FIO) theory does not apply as the weights are non-smooth. The V-line (or broken ray) transform, $\mathcal{V}$, can be used to model the attenuation of incoming and outgoing rays. Through novel analysis of $\mathcal{V}$, we characterize the location and strength of the singularities of the ray transform weights. In conjunction, we provide new results which quantify the strength of the singularities of distributional products based on the Sobolev order of the individual components. By combining this new theory, our analysis of $\mathcal{V}$, and classical linear FIO theory, we determine the Sobolev order of the singularities of $\mathcal{R}f$. The strongest (lowest Sobolev order) singularities of $\mathcal{R}f$ are shown to correspond to the wavefront set elements of the classical Radon transform applied to $f$, and we use this idea and known results on the Radon transform to prove injectivity results for $\mathcal{R}$. In addition, we present novel reconstruction methods based on our theory, and we validate our results using simulated image reconstructions.

math.FA↗

arXiv2025

Statistical microlocal analysis in two-dimensional X-ray CT

In many imaging applications it is important to assess how well the edges of the original object, $f$, are resolved in an image, $f^\text{rec}$, reconstructed from the measured data, $g$. In this paper we consider the case of image reconstruction in 2D X-ray Computed Tomography (CT). Let $f$ be a function describing the object being scanned, and $g=Rf + η$ be the Radon transform data in $\mathbb{R}^2$ corrupted by noise, $η$, and sampled with step size $\simε$. Conventional microlocal analysis provides conditions for edge detectability based on the scanner geometry in the case of continuous, noiseless data (when $η= 0$), but does not account for noise and finite sampling step size. We develop a novel technique called Statistical Microlocal Analysis (SMA), which uses a statistical hypothesis testing framework to determine if an image edge (singularity) of $f$ is detectable from $f^\text{rec}$, and we quantify edge detectability using the statistical power of the test. Our approach is based on the theory we developed in previous work, which provides a characterization of $f^\text{rec}$ in local $O(ε)$-size neighborhoods when $η\neq 0$. We derive a statistical test for the presence and direction of an edge microlocally given the magnitude of $η$ and data sampling step size. Using the properties of the null distribution of the test, we quantify the uncertainty of the edge magnitude and direction. We validate our theory using simulations, which show strong agreement between our predictions and experimental observations. Our work is not only of practical value, but of theoretical value as well. SMA is a natural extension of classical microlocal analysis theory which accounts for practical measurement imperfections, such as noise and finite step size, at the highest possible resolution compatible with the data.

math.ST↗

arXiv2024

Local reconstruction analysis of inverting the Radon transform in the plane from noisy discrete data

In this paper, we investigate the reconstruction error, $N_\e^{\text{rec}}(x)$, when a linear, filtered back-projection (FBP) algorithm is applied to noisy, discrete Radon transform data with sampling step size $ε$ in two-dimensions. Specifically, we analyze $N_\e^{\text{rec}}(x)$ for $x$ in small, $O(\e)$-sized neighborhoods around a generic fixed point, $x_0$, in the plane, where the measurement noise values, $η_{k,j}$ (i.e., the errors in the sinogram space), are random variables. The latter are independent, but not necessarily identically distributed. We show, under suitable assumptions on the first three moments of the $η_{k,j}$, that the following limit exists: $N^{\text{rec}}(\chx;x_0) = \lim_{\e\to0}N_\e^{\text{rec}}(x_0+\e\chx)$, for $\check x$ in a bounded domain. Here, $N_\e^{\text{rec}}$ and $ N^{\text{rec}}$ are viewed as continuous random variables, and the limit is understood in the sense of distributions. Once the limit is established, we prove that $N^{\text{rec}}$ is a zero mean Gaussian random field and compute explicitly its covariance. In addition, we validate our theory using numerical simulations and pseudo random noise.

math.NA↗

arXiv2023

Surface of revolution Radon transforms with centers on generalized surfaces in $\mathbb{R}^n$

We present a novel analysis of a Radon transform, $R$, which maps an $L^2$ function of compact support to its integrals over smooth surfaces of revolution with centers on an embedded hypersurface in $\mathbb{R}^n$. Using microlocal analysis, we derive necessary and sufficient conditions relating to $R$ for the Bolker condition to hold, which has implications regarding the existence and location of image artifacts. We present a general inversion framework based on Volterra equation theory and known results on the spherical Radon transform, and we prove injectivity results for $R$. Several example applications of our theory are discussed in the context of, e.g., Compton Scatter Tomography (CST) and Ultrasound Reflection Tomography (URT). In addition, using the proposed inversion framework, we validate our microlocal theory via simulation, and present simulated image reconstructions of image phantoms with added noise.

math.FA↗

arXiv2023

On a cylindrical scanning modality in three-dimensional Compton scatter tomography

We present injectivity and microlocal analyses of a new generalized Radon transform, $\mathcal{R}$, which has applications to a novel scanner design in three-dimensional Compton Scattering Tomography (CST), which we also introduce here. Using Fourier decomposition and Volterra equation theory, we prove that $\mathcal{R}$ is injective and show that the image solution is unique. Using microlocal analysis, we prove that $\mathcal{R}$ satisfies the Bolker condition, and we investigate the edge detection capabilities of $\mathcal{R}$. This has important implications regarding the stability of inversion and the amplification of measurement noise. In addition, we present simulated 3-D image reconstructions from $\mathcal{R}f$ data, where $f$ is a 3-D density, with varying levels of added Gaussian noise. This paper provides the theoretical groundwork for 3-D CST using the proposed scanner design.

math.FA↗

arXiv2023

Generalized Abel equations and applications to translation invariant Radon transforms

Generalized Abel equations have been employed in the recent literature to invert Radon transforms which arise in a number of important imaging applications, including Compton Scatter Tomography (CST), Ultrasound Reflection Tomography (URT), and X-ray CT. In this paper, we present novel injectivity results and inversion methods for Generalized Abel operators. We apply our theory to a new Radon transform, $\mathcal{R}_j$, of interest in URT, which integrates a square integrable function of compact support, $f$, over ellipsoid and hyperboloid surfaces with centers on a plane. Using our newly established theory on generalized Abel equations, we show that $\mathcal{R}_j$ is injective and provide an inversion method based on Neumann series. In addition, using algebraic methods, we present image phantom reconstructions from $\mathcal{R}_jf$ data with added pseudo random noise.

math.FA↗

arXiv2022

Multi-coil MRI by analytic continuation

We present novel reconstruction and stability analysis methodologies for two-dimensional, multi-coil MRI, based on analytic continuation ideas. We show that the 2-D, limited-data MRI inverse problem, whereby the missing parts of $\textbf{k}$-space (Fourier space) are lines parallel to either $k_1$ or $k_2$ (i.e., the $\textbf{k}$-space axis), can be reduced to a set of 1-D Fredholm type inverse problems. The Fredholm equations are then solved to recover the 2-D image on 1-D line profiles (``slice-by-slice" imaging). The technique is tested on a range of medical in vivo images (e.g., brain, spine, cardiac), and phantom data. Our method is shown to offer optimal performance, in terms of structural similarity, when compared against similar methods from the literature, and when the $\textbf{k}$-space data is sub-sampled at random so as to simulate motion corruption. In addition, we present a Singular Value Decomposition (SVD) and stability analysis of the Fredholm operators, and compare the stability properties of different $\textbf{k}$-space sub-sampling schemes (e.g., random vs uniform accelerated sampling).

math.NA↗

arXiv2022

Ellipsoidal and hyperbolic Radon transforms; microlocal properties and injectivity

We present novel microlocal and injectivity analyses of ellipsoid and hyperboloid Radon transforms. We introduce a new Radon transform, $R$, which defines the integrals of a compactly supported $L^2$ function, $f$, over ellipsoids and hyperboloids with centers on a smooth connected surface, $S$. $R$ is shown to be a Fourier Integral Operator (FIO) and in our main theorem we prove that $R$ satisfies the Bolker condition if the support of $f$ is connected and not intersected by any plane tangent to $S$. Under certain conditions, this is an equivalence. We give examples where our theory can be applied. Focusing specifically on a cylindrical geometry of interest in Ultrasound Reflection Tomography (URT), we prove injectivity results and investigate the visible singularities. In addition, we present example reconstructions of image phantoms in two-dimensions, and validate our microlocal theory.

math.FA↗

arXiv2022

Microlocal properties of seven-dimensional lemon and apple Radon transforms with applications in Compton scattering tomography

We present a microlocal analysis of two novel Radon transforms of interest in Compton Scattering Tomography (CST), which map compactly supported $L^2$ functions to their integrals over seven-dimensional sets of apple and lemon surfaces. Specifically, we show that the apple and lemon transforms are elliptic Fourier Integral Operators (FIO), which satisfy the Bolker condition. After an analysis of the full seven-dimensional case, we focus our attention on $n$-D subsets of apple and lemon surfaces with fixed central axis, where $n<7$. Such subsets of surface integrals have applications in airport baggage and security screening. When the data dimensionality is restricted, the apple transform is shown to violate the Bolker condition, and there are artifacts which occur on apple-cylinder intersections. The lemon transform is shown to satisfy the Bolker condition, when the support of the function is restricted to the strip $\{0<z<1\}$.

math.FA↗

arXiv2021

A novel reconstruction technique for two-dimensional Bragg scatter imaging

Here we introduce a new reconstruction technique for two-dimensional Bragg Scattering Tomography (BST), based on the Radon transform models of [arXiv preprint, arXiv:2004.10961 (2020)]. Our method uses a combination of ideas from multibang control and microlocal analysis to construct an objective function which can regularize the BST artifacts; specifically the boundary artifacts due to sharp cutoff in sinogram space (as observed in [arXiv preprint, arXiv:2007.00208 (2020)]), and artifacts arising from approximations made in constructing the model used for inversion. We then test our algorithm in a variety of Monte Carlo (MC) simulated examples of practical interest in airport baggage screening and threat detection. The data used in our studies is generated with a novel Monte-Carlo code presented here. The model, which is available from the authors upon request, captures both the Bragg scatter effects described by BST as well as beam attenuation and Compton scatter.

math.NA↗

arXiv2020

Bragg scattering tomography

Here we introduce a new forward model and imaging modality for Bragg Scattering Tomography (BST). The model we propose is based on an X-ray portal scanner with linear detector collimation, currently being developed for use in airport baggage screening. The geometry under consideration leads us to a novel two-dimensional inverse problem, where we aim to reconstruct the Bragg scattering differential cross section function from its integrals over a set of symmetric $C^2$ curves in the plane. The integral transform which describes the forward problem in BST is a new type of Radon transform, which we introduce and denote as the Bragg transform. We provide new injectivity results for the Bragg transform here, and describe how the conditions of our theorems can be applied to assist in the machine design of the portal scanner. Further we provide an extension of our results to $n$-dimensions, where a generalization of the Bragg transform is introduced. Here we aim to reconstruct a real valued function on $\mathbb{R}^{n+1}$ from its integrals over $n$-dimensional surfaces of revolution of $C^2$ curves embedded in $\mathbb{R}^{n+1}$. Injectivity proofs are provided also for the generalized Bragg transform.

math.FA↗

arXiv2020

Microlocal analysis of generalized Radon transforms from scattering tomography

Here we present a novel microlocal analysis of generalized Radon transforms which describe the integrals of $L^2$ functions of compact support over surfaces of revolution of $C^{\infty}$ curves $q$. We show that the Radon transforms are elliptic Fourier Integral Operators (FIO) and provide an analysis of the left projections $Π_L$. Our main theorem shows that $Π_L$ satisfies the semi-global Bolker assumption if and only if $g=q'/q$ is an immersion. An analysis of the visible singularities is presented, after which we derive novel Sobolev smoothness estimates for the Radon FIO. Our theory has specific applications of interest in Compton Scattering Tomography (CST) and Bragg Scattering Tomography (BST). We show that the CST and BST integration curves satisfy the Bolker assumption and provide simulated reconstructions from CST and BST data. Additionally we give example "sinusoidal" integration curves which do not satisfy Bolker and provide simulations of the image artefacts. The observed artefacts in reconstruction are shown to align exactly with our predictions.

math.FA↗