Two bounds for the x-ray transform

Richard Oberlin

DOI: https://doi.org/10.48550/arXiv.math/0610942

2006-10-31

Abstract:We use the arithmetic-combinatorial method of Katz and Tao to give mixed-norm estimates for the x-ray transform on R^d when d \geq 4. As an application, we obtain an improved estimate for the Hausdorff dimension of (d,k) sets, which are subsets of R^d containing a translate of every k-plane.

Classical Analysis and ODEs

What problem does this paper attempt to address?

Uniform estimates for the X-ray transform restricted to polynomial curves

Spyridon Dendrinos,Betsy Stovall

DOI: https://doi.org/10.1016/j.jfa.2012.03.020

IF: 1.891

2012-06-01

Journal of Functional Analysis

Abstract:We establish near-optimal mixed norm estimates for the X-ray transform restricted to polynomial curves with a weight that is a power of the affine arclength. The bounds that we establish depend only on the spatial dimension and the degree of the polynomial. Some of our results are new even in the well-curved case.

mathematics
Uniform bounds for convolution and restricted X-ray transforms along degenerate curves

Spyridon Dendrinos,Betsy Stovall

DOI: https://doi.org/10.48550/arXiv.1710.07675

2017-10-20

Classical Analysis and ODEs

Abstract:We establish endpoint Lebesgue space bounds for convolution and restricted X-ray transforms along curves satisfying fairly minimal differentiability hypotheses, with affine and Euclidean arclengths. We also explore the behavior of certain natural interpolants and extrapolants of the affine and Euclidean versions of these operators.
Sharp endpoint estimates for the $X$-ray transform and the Radon transform in finite fields

Doowon Koh

DOI: https://doi.org/10.48550/arXiv.1209.1215

2012-10-18

Abstract:This note establishes sharp $L^p-L^r$ estimates for $X$-ray transforms and Radon transforms in finite fields.

Analysis of PDEs,Classical Analysis and ODEs
The hyperbolic X-ray transform: new range characterizations, mapping properties and functional relations

Nikolas Eptaminitakis,François Monard,Yuzhou Zou

2024-05-04

Abstract:We derive new singular value decompositions and range characterizations for the X-ray transform on the Poincaré disk, a surjectivity result for the backprojection operator, as well as new functional settings and intertwining relations with appropriately defined differential operators. The approach mainly exploits analogous results recently obtained for the Euclidean disk, together with the projective equivalence between the two models.

Analysis of PDEs,Differential Geometry
Endpoint bounds for a generalized {R}adon transform

Betsy Stovall

DOI: https://doi.org/10.48550/arXiv.0905.3926

2009-05-24

Classical Analysis and ODEs

Abstract:We prove that convolution with affine arclength measure on the curve parametrized by $h(t) := (t,t^2,...,t^n)$ is a bounded operator from $L^p(\mathbb{R}^n)$ to $L^q(\mathbb{R}^n)$ for the full conjectured range of exponents, improving on a result due to M. Christ. We also obtain nearly sharp Lorentz space bounds.
Discrete bilinear Radon transforms along arithmetic functions with many common values

Dong Dong,Xianchang Meng

DOI: https://doi.org/10.48550/arXiv.1710.10316

2017-10-28

Abstract:We prove that for a large class of functions $P$ and $Q$, there exists $d\in (0,1)$ such that the discrete bilinear Radon transform $$B^{\rm dis}_{P,Q}(f,g)(n)=\sum_{m\in\mathbb{Z}\setminus\{0\}} f(n-P(m))g(n-Q(m))\frac{1}{m}$$ is bounded from $l^2\times l^2$ into $l^{1+\epsilon}$ for any $\epsilon\in (d,1)$. In particular, the boundedness holds for any $\epsilon\in (0,1)$ when $P$ (or $Q$) is the Euler totient function $\phi(|m|)$ or the prime counting function $\pi(|m|)$.

Number Theory,Classical Analysis and ODEs
Higher-Rank Radon Transforms on Constant Curvature Spaces

Boris Rubin

DOI: https://doi.org/10.48550/arXiv.2110.04832

2021-12-16

Abstract:We study higher-rank Radon transforms that take functions on $j$-dimensional totally geodesic submanifolds in the $n$-dimensional real constant curvature space to functions on similar submanifolds of dimension $k >j$. The corresponding dual transforms are also considered. The transforms are explored the Euclidean case (affine Grassmannian bundles), the elliptic case (compact Grassmannians), and the hyperbolic case (the hyperboloid model, the Beltrami-Klein model, and the projective model). The main objectives are sharp conditions for the existence and injectivity of the Radon transforms in Lebesgue spaces, transition from one model to another, support theorems, and inversion formulas. Conjectures and open problems are discussed.

Functional Analysis
Inequalities for the Radon Transform on Convex Sets

Apostolos Giannopoulos,Alexander Koldobsky,Artem Zvavitch

DOI: https://doi.org/10.1093/imrn/rnab122

2021-05-27

International Mathematics Research Notices

Abstract:Abstract We prove an inequality that unifies previous works of the authors on the properties of the Radon transform on convex bodies including an extension of the Busemann–Petty problem and a slicing inequality for arbitrary functions. Let $K$ and $L$ be star bodies in ${\mathbb R}^n,$ let $0<k<n$ be an integer, and let $f,g$ be non-negative continuous functions on $K$ and $L$, respectively, so that $\|g\|_\infty =g(0)=1.$ Then $$\begin{align*} & \frac{\int_Kf}{\left(\int_L g\right)^{\frac{n-k}n}|K|^{\frac kn}} \le \frac n{n-k} \left(d_{\textrm{ovr}}(K,\mathcal{B}\mathcal{P}_k^n)\right)^k \max_{H} \frac{\int_{K\cap H} f}{\int_{L\cap H} g}, \end{align*}$$where $|K|$ stands for volume of proper dimension, $C$ is an absolute constant, the maximum is taken over all $(n-k)$-dimensional subspaces of ${\mathbb R}^n,$ and $d_{\textrm{ovr}}(K,\mathcal{B}\mathcal{P}_k^n)$ is the outer volume ratio distance from $K$ to the class of generalized $k$-intersection bodies in ${\mathbb R}^n.$ Another consequence of this result is a mean value inequality for the Radon transform. We also obtain a generalization of the isomorphic version of the Shephard problem.

mathematics
Sharp Sobolev regularity of restricted X-ray transforms

Hyerim Ko,Sanghyuk Lee,Sewook Oh

2023-06-05

Abstract:We study $L^p$-Sobolev regularity estimate for the restricted X-ray transforms generated by nondegenerate curves. Making use of the inductive strategy in the recent work by the authors, we establish the sharp $L^p$-regularity estimates for the restricted X-ray transforms in $\mathbb R^{d+1}$, $d\ge 3$. This extends the result due to Pramanik and Seeger in $\mathbb R^3$ to every dimension.

Classical Analysis and ODEs,Analysis of PDEs
Double b-fibrations and desingularization of the X-ray transform on manifolds with strictly convex boundary

Rafe Mazzeo,François Monard

DOI: https://doi.org/10.5802/jep.266

2024-08-08

Abstract:We study the mapping properties of the X-ray transform and its adjoint on spaces of conormal functions on Riemannian manifolds with strictly convex boundary. After desingularizing the double fibration, and expressing the X-ray transform and its adjoint using b-fibrations operations, we employ tools related to Melrose's Pushforward Theorem to describe the mapping properties of these operators on various classes of polyhomogeneous functions, with special focus to computing how leading order coefficients are transformed. The appendix explains that a naïve use of the Pushforward Theorem leads to a suboptimal result with non-sharp index sets. Our improved results are obtained by closely inspecting Mellin functions which arise in the process, showing that certain coefficients vanish. This recovers some sharp results known by other methods. A number of consequences for the mapping properties of the X-ray transform and its normal operator(s) follow.

Analysis of PDEs,Differential Geometry
Bounds in a popular multidimensional nonlinear Roth theorem

Sarah Peluse,Sean Prendiville,Xuancheng Shao

2024-07-11

Abstract:A nonlinear version of Roth's theorem states that dense sets of integers contain configurations of the form $x$, $x+d$, $x+d^2$. We obtain a multidimensional version of this result, which can be regarded as a first step towards effectivising those cases of the multidimensional polynomial Szemerédi theorem involving polynomials with distinct degrees. In addition, we prove an effective ``popular'' version of this result, showing that every dense set has some non-zero $d$ such that the number of configurations with difference parameter $d$ is almost optimal. Perhaps surprisingly, the quantitative dependence in this result is exponential, compared to the tower-type bounds encountered in the popular linear Roth theorem.

Number Theory,Combinatorics
Singular Value Decomposition for the X-ray Transforms on the Reduced Heisenberg Group, and a Two-Radius Theorem

Steven Flynn

2023-05-07

Abstract:We give an explicit Singular Value Decomposition of the sub-Riemannian X-ray transform on the Heisenberg group with compact center. By studying the singular values, we obtain a two-radius theorem for integrals over sub-Riemannian geodesics. We also state intertwining properties of distinguished differential operators. We conclude with a description of ongoing work.

Analysis of PDEs
New bounds in the discrete analogue of Minkowski's second theorem

Matthew Tointon

2024-10-01

Abstract:We adapt an argument of Tao and Vu to show that if $\lambda_1\le\cdots\le\lambda_d$ are the successive minima of an origin-symmetric convex body $K$ with respect to some lattice $\Lambda<\mathbb{R}^d$, and if we set $k=\max\{j:\lambda_j\le1\}$, then $K$ contains at most $2^k(1+\frac{\lambda_k}2)^k/\lambda_1\cdots\lambda_k$ lattice points. This provides improved bounds in a conjecture of Betke, Henk and Wills (1993), and verifies that conjecture asymptotically as $\lambda_k\to0$. We also obtain a similar result without the symmetry assumption.

Metric Geometry,Combinatorics
Compactness of a restricted X-ray transform

Chandan Biswas

DOI: https://doi.org/10.48550/arXiv.2009.01889

2020-09-04

Abstract:We show that the X-ray transform restricted along the moment curve possesses extremizers and that $L^p$-normalized extremizing sequences are pre-compact modulo symmetry.

Classical Analysis and ODEs
Computable bounds for the reach and $r$-convexity of subsets of $\mathbb{R}^d$

Ryan Cotsakis

2023-06-20

Abstract:The convexity of a set can be generalized to the two weaker notions of reach and $r$-convexity; both describe the regularity of a set's boundary. For any compact subset of $\mathbb{R}^d$, we provide methods for computing upper bounds on these quantities from point cloud data. The bounds converge to the respective quantities as the point cloud becomes dense in the set, and the rate of convergence for the bound on the reach is given under a weak regularity condition. We also introduce the $\beta$-reach, a generalization of the reach that excludes small-scale features of size less than a parameter $\beta\in[0,\infty)$. Numerical studies suggest how the $\beta$-reach can be used in high-dimension to infer the reach and other geometric properties of smooth submanifolds.

Statistics Theory,Computational Geometry,Geometric Topology
Generic injectivity of the X-ray transform

Mihajlo Cekić,Thibault Lefeuvre

2024-01-24

Abstract:In dimensions $\geq 3$, we prove that the X-ray transform of symmetric tensors of arbitrary degree is generically injective with respect to the metric on closed Anosov manifolds and on manifolds with spherical strictly convex boundary, no conjugate points and a hyperbolic trapped set. This has two immediate corollaries: local spectral rigidity, and local marked length spectrum rigidity (building on earlier work by Guillarmou, Knieper and the second author [<a class="link-https" data-arxiv-id="1806.04218" href="https://arxiv.org/abs/1806.04218">arXiv:1806.04218</a>], [<a class="link-https" data-arxiv-id="1909.08666" href="https://arxiv.org/abs/1909.08666">arXiv:1909.08666</a>]), in a neighbourhood of a generic Anosov metric. In both cases, this is the first work going beyond the negatively curved assumption or dimension $2$. Our method, initiated in [<a class="link-https" data-arxiv-id="2008.09191" href="https://arxiv.org/abs/2008.09191">arXiv:2008.09191</a>] and fully developed in the present paper, is based on a perturbative argument of the $0$-eigenvalue of elliptic operators via microlocal analysis which turn the analytic problem of injectivity into an algebraic problem of representation theory. When the manifold is equipped with a Hermitian vector bundle together with a unitary connection, we also show that the twisted X-ray transform of symmetric tensors (with values in that bundle) is generically injective with respect to the connection. This property turns out to be crucial when solving the $\textit{holonomy inverse problem}$, as studied in a subsequent article [<a class="link-https" data-arxiv-id="2105.06376" href="https://arxiv.org/abs/2105.06376">arXiv:2105.06376</a>].

Analysis of PDEs,Differential Geometry,Dynamical Systems,Spectral Theory
generalized Radon transforms on fractal measures

Shengze Duan

2023-08-15

Abstract:In the setting of a general Borel measure $\mu$ on $R^d$ with the natural ball size condition $$\mu[B(x,r)]\leq Cr^s,$$ we establish the $L^p(\mu)$-$L^q(\mu)$-estimate for the generalized Radon transform $$(Af)(x):=\int_{\Phi(x,y)=0}(f\mu)(y)\psi(x,y)d\sigma_x(y),$$ where $\Phi$ is a smooth function away from the diagonal. Among other reasonable assumptions, an $L^2$-Sobolev bound on $A$ on $R^d$ is imposed. This bound is satisfied in many natural situations. The main result is, in general, sharp up to endpoints.

Classical Analysis and ODEs
New bounds on Kakeya problems

Nets Katz,Terence Tao

DOI: https://doi.org/10.48550/arXiv.math/0102135

2001-02-17

Abstract:We establish new estimates on the Minkowski and Hausdorff dimensions of Besicovitch sets and obtain new bounds on the Kakeya maximal operator.

Classical Analysis and ODEs,Combinatorics
A quantitative version of the Steinhaus theorem

Alex Iosevich,Jonathan Pakianathan

2024-01-23

Abstract:The classical Steinhaus theorem (\cite{Steinhaus1920}) says that if $A \subset {\Bbb R}^d$ has positive Lebesgue measure than $A-A=\{x-y: x,y \in A\}$ contains an open ball. We obtain some quantitative lower bounds on the size of this ball and in some cases, relate it to natural geometric properties of $\partial A$. We also study the process $K_n =\frac{1}{2}(K_{n-1} - K_{n-1})$ when $K_0$ is a compact subset of $\mathbb{R}^d$ and determine various aspects of its convergence to $Conv(K_1)$, the convex hull of $K_1$. We discuss some connections with convex geometry, Weyl tube formula and the Kakeya needle problem.

Classical Analysis and ODEs
Nonharmonic multivariate Fourier transforms and matrices: condition numbers and hyperplane geometry

Weilin Li

2024-07-15

Abstract:Consider an operator that takes the Fourier transform of a discrete measure supported in $\mathcal{X}\subset[-\frac 12,\frac 12)^d$ and restricts it to a compact $\Omega\subset\mathbb{R}^d$. We provide lower bounds for its smallest singular value when $\Omega$ is either a ball or cube of radius $m$, and under different types of geometric assumptions on $\mathcal{X}$. We first show that if distances between points in $\mathcal{X}$ are lower bounded by a $\delta$ that is allowed to be arbitrarily small, then the smallest singular value is at least $Cm^{d/2} (m\delta)^{\lambda-1}$, where $\lambda$ is the maximum number of elements in $\mathcal{X}$ contained within any ball or cube of an explicitly given radius. This estimate communicates a localization effect of the Fourier transform. While it is sharp, the smallest singular value behaves better than expected for many $\mathcal{X}$, including when we dilate a generic set by parameter $\delta$. We next show that if there is a $\eta$ such that, for each $x\in\mathcal{X}$, the set $\mathcal{X}\setminus\{x\}$ locally consists of at most $r$ hyperplanes whose distances to $x$ are at least $\eta$, then the smallest singular value is at least $C m^{d/2} (m\eta)^r$. For dilations of a generic set by $\delta$, the lower bound becomes $C m^{d/2} (m\delta)^{\lceil (\lambda-1)/d\rceil }$. The appearance of a $1/d$ factor in the exponent indicates that compared to worst case scenarios, the condition number of nonharmonic Fourier transforms is better than expected for typical sets and improve with higher dimensionality.

Numerical Analysis

Two bounds for the x-ray transform

Uniform estimates for the X-ray transform restricted to polynomial curves

Uniform bounds for convolution and restricted X-ray transforms along degenerate curves

Sharp endpoint estimates for the $X$-ray transform and the Radon transform in finite fields

The hyperbolic X-ray transform: new range characterizations, mapping properties and functional relations

Endpoint bounds for a generalized {R}adon transform

Discrete bilinear Radon transforms along arithmetic functions with many common values

Higher-Rank Radon Transforms on Constant Curvature Spaces

Inequalities for the Radon Transform on Convex Sets

Sharp Sobolev regularity of restricted X-ray transforms

Double b-fibrations and desingularization of the X-ray transform on manifolds with strictly convex boundary

Bounds in a popular multidimensional nonlinear Roth theorem

Singular Value Decomposition for the X-ray Transforms on the Reduced Heisenberg Group, and a Two-Radius Theorem

New bounds in the discrete analogue of Minkowski's second theorem

Compactness of a restricted X-ray transform

Computable bounds for the reach and $r$-convexity of subsets of $\mathbb{R}^d$

Generic injectivity of the X-ray transform

generalized Radon transforms on fractal measures

New bounds on Kakeya problems

A quantitative version of the Steinhaus theorem

Nonharmonic multivariate Fourier transforms and matrices: condition numbers and hyperplane geometry