arXiv subjects

Allan Greenleaf

Publications and source records attributed to Allan Greenleaf.

At least 19 recordsLinked to original sources

arXiv2024

Pointwise Weyl Laws for Quantum Completely Integrable Systems

The study of the asymptotics of the spectral function for self-adjoint, elliptic differential, or more generally pseudodifferential, operators on a compact manifold has a long history. The seminal 1968 paper of H\"ormander, following important prior contributions by G\"arding, Levitan, Avakumovi\'c, and Agmon-Kannai (to name only some), obtained pointwise asymptotics (or a "pointwise Weyl law") for a single elliptic, self-adjoint operator. Here, we establish a microlocalized pointwise Weyl law for the joint spectral functions of quantum completely integrable (QCI) systems, $\overline{P}=(P_1,P_2,\dots, P_n)$, where $P_i$ are first-order, classical, self-adjoint, pseudodifferential operators on a compact manifold $M^n$, with $\sum P_i^2$ elliptic and $[P_i,P_j]=0$ for $1\leq i,j\leq n$. A particularly important case is when $(M,g)$ is Riemannian and $P_1=(-\Delta)^\frac12$. We illustrate our result with several examples, including surfaces of revolution.

math.AP↗

arXiv2024

Realizing trees of configurations in thin sets

Let $\phi(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $\alpha>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^{\phi}f(x)=\int_{\phi(x,y)=t} f(y) \psi(y) d\sigma_{x,t}(y) \end{equation} map $L^2({\mathbb R}^d) \to L^2_{\alpha}({\mathbb R}^d)$ for all $t>0$. Let $E$ be a compact subset of ${\mathbb R}^d$ for some $d \ge 2$, and suppose that the Hausdorff dimension of $E$ is $>d-\alpha$. We show that any tree graph $T$ on $k+1$ ($k \ge 1$) vertices is \new{stably} realizable in $E$, in the sense that \new{for each $t$ in some open interval} there exist distinct $x^1, x^2, \dots, x^{k+1} \in E$ %and $t>0$ such that the $\phi$-distance $\phi(x^i, x^j)=t$ for all pairs $(i,j)$ corresponding to the edges of $T$. We extend this result to trees whose edges are prescribed by more complicated point configurations, such as congruence classes of triangles.

math.CA↗

arXiv2023

On restricted Falconer distance sets

We introduce a class of Falconer distance problems, which we call of restricted type, lying between the classical version and its pinned variant. Prototypical restricted distance sets are the diagonal distance sets, $k$-point configuration sets given by $$\Delta^{diag}(E)= \{ \,|(x,x,\dots,x)-(y_1,y_2,\dots,y_{k-1})| : x, y_1, \dots,y_{k-1} \in E\, \}$$ for a compact $E\subset\mathbb{R}^d$ and $k\ge 3$. We show that $\Delta^{diag}(E)$ has non-empty interior if the Hausdorff dimension of $E$ satisfies \begin{equation*} \dim(E) > \begin{cases} \frac{2d+1}3, & k=3 \\ \frac{(k-1)d}k,& k\ge 4. \end{cases} \end{equation*} We prove an extension of this to $C^\omega$ Riemannian metrics $g$ close to the product of Euclidean metrics. For product metrics this follows from known results on pinned distance sets, but to obtain a result for general perturbations $g$ we present a sequence of proofs of partial results, leading up to the proof of the full result, which is based on estimates for multilinear Fourier integral operators.

math.CA↗

arXiv2022

Nonempty interior of configuration sets via microlocal partition optimization

We prove new results of Mattila-Sj\"olin type, giving lower bounds on Hausdorff dimensions of thin sets $E\subset \Bbb R^d$ ensuring that various $k$-point configuration sets, generated by elements of $E$, have nonempty interior. The dimensional thresholds in our previous work \cite{GIT20} were dictated by associating to a configuration function a family of generalized Radon transforms, and then optimizing $L^2$-Sobolev estimates for them over all nontrivial bipartite partitions of the $k$ points. In the current work, we extend this by allowing the optimization to be done locally over the configuration's incidence relation, or even microlocally over the conormal bundle of the incidence relation. We use this approach to prove Mattila-Sj\"olin type results for (i) areas of subtriangles determined by quadrilaterals and pentagons in a set $E\subset\Bbb R^2$; (ii) pairs of ratios of distances of 4-tuples in $\Bbb R^d$; and (iii) similarity classes of triangles in $\Bbb R^d$, as well as to (iv) give a short proof of Palsson and Romero Acosta's result on congruence classes of triangles in $\Bbb R^d$.

math.CA↗

arXiv2021

Microlocal analysis of borehole seismic data

Borehole seismic data is obtained by receivers located in a well, with sources located on the surface or in another well. Using microlocal analysis, we study possible approximate reconstruction via linearized, filtered backprojection of an isotropic sound speed in the subsurface for three types of data sets. The sources may form a dense array on the surface, or be located along a line on the surface (walkaway geometry) or in another borehole (crosswell). We show that for the dense array, reconstruction is feasible, with no artifacts in the absence of caustics in the background ray geometry, and mild artifacts in the presence of fold caustics in a sense that we define. In contrast, the walkaway and crosswell data sets both give rise to strong, nonremovable artifacts.

math.AP↗

arXiv2020

On $k$-point configuration sets with nonempty interior

We give conditions for $k$-point configuration sets of thin sets to have nonempty interior, applicable to a wide variety of configurations. This is a continuation of our earlier work \cite{GIT19} on 2-point configurations, extending a theorem of Mattila and Sj\"olin \cite{MS99} for distance sets in Euclidean spaces. We show that for a general class of $k$-point configurations, the configuration set of a $k$-tuple of sets, $E_1,\,\dots,\, E_k$, has nonempty interior provided that the sum of their Hausdorff dimensions satisfies a lower bound, dictated by optimizing $L^2$-Sobolev estimates of associated generalized Radon transforms over all nontrivial partitions of the $k$ points into two subsets. We illustrate the general theorems with numerous specific examples. Applications to 3-point configurations include areas of triangles in $\mathbb R^2$ or the radii of their circumscribing circles; volumes of pinned parallelepipeds in $\mathbb R^3$; and ratios of pinned distances in $\mathbb R^2$ and $\mathbb R^3$. Results for 4-point configurations include cross-ratios on $\mathbb R$, triangle area pairs determined by quadrilaterals in $\mathbb R^2$, and dot products of differences in $\mathbb R^d$.

math.CA↗

arXiv2019

Configuration sets with nonempty interior

A theorem of Steinhaus states that if $E\subset \mathbb R^d$ has positive Lebesgue measure, then the difference set $E-E$ contains a neighborhood of $0$. Similarly, if $E$ merely has Hausdorff dimension $\dim_{\mathcal H}(E)>(d+1)/2$, a result of Mattila and Sj\"olin states that the distance set $\Delta(E)\subset\mathbb R$ contains an open interval. In this work, we study such results from a general viewpoint, replacing $E-E$ or $\Delta(E)$ with more general $\Phi\,$-configurations for a class of $\Phi:\mathbb R^d\times\mathbb R^d\to\mathbb R^k$, and showing that, under suitable lower bounds on $\dim_{\mathcal H}(E)$ and a regularity assumption on the family of generalized Radon transforms associated with $\Phi$, it follows that the set $\Delta_\Phi(E)$ of $\Phi$-configurations in $E$ has nonempty interior in $\mathbb R^k$. Further extensions hold for $\Phi\,$-configurations generated by two sets, $E$ and $F$, in spaces of possibly different dimensions and with suitable lower bounds on $\dim_{\mathcal H}(E)+\dim_{\mathcal H}(F)$.

math.CA↗

arXiv2018

Existence of similar point configurations in thin subsets of $\Bbb R^d$

We prove the existence of similar and multi-similar point configurations (or simplexes) in sets of fractional Hausdorff measure in Euclidean space. These results can be viewed as variants, for thin sets, of theorems for sets of positive density in $\Bbb R^d$ due to Furstenberg, Katznelson and Weiss \cite{FKW90}, Bourgain \cite{B86} and Ziegler \cite{Z06}. Let $d \ge 2$ and $E\subset {\Bbb R}^d$ be a compact set. For $k\ge 1$, define $$\Delta_k(E)=\left\{\left(|x^1-x^2|, \dots, |x^i-x^j|,\dots, |x^k-x^{k+1}|\right): \left\{x^i\right\}_{i=1}^{k+1}\subset E\right\} \subset {\Bbb R}^{k(k+1)/2}, $$ the {\it $(k+1)$-point configuration set} of $E$. For $k\le d$, this is (up to permutations) the set of congruences of $(k+1)$-point configurations in $E$; for $k>d$, it is the edge-length set of $(k+1)$-graphs whose vertices are in $E$. Previous works by a number of authors have found values $s_{k,d} s_{k,d}$, then $\Delta_k(E)$ has positive Lebesgue measure. In this paper we study more refined properties of $\Delta_k(E)$, namely the existence of (exactly) similar or multi--similar configurations. For $r\in\Bbb R,\, r>0$, let $$\Delta_{k}^{r}(E):=\left\{\vec{t}\in \Delta_k\left(E\right): r\vec{t}\in \Delta_k\left(E\right)\right\}\subset \Delta_k\left(E\right).$$ We show that for all $E$ with Hausdorff dimension $>s_{k,d}$, a natural measure $\nu_k$ on $\Delta_k(E)$ and all $r\in\Bbb R_+$, one has $\nu_k\left(\Delta_{k}^{r}\left(E\right)\right)>0$. Thus, there exist many pairs, $\{x^1, x^2, \dots, x^{k+1}\}$ and $\{y^1, y^2, \dots, y^{k+1}\}$, in $E$ which are similar by the scaling factor $r$. We also show the existence of triply-similar and multi-similar configurations.

math.CA↗

arXiv2018

Microlocal analysis of Doppler Synthetic Aperture Radar

We study the existence and suppression of artifacts for a Doppler-based Synthetic Aperture Radar (DSAR) system. The idealized air- or space-borne system transmits a continuous wave at a fixed frequency and a co-located receiver measures the resulting scattered waves; a windowed Fourier transform then converts the raw data into a function of two variables: slow time and frequency. Under simplifying assumptions, we analyze the linearized forward scattering map and the feasibility of inverting it via filtered backprojection, using techniques of microlocal analysis which robustly describe how sharp features in the target appear in the data. For DSAR with a straight flight path, there is, as with conventional SAR, a left-right ambiguity artifact in the DSAR image, which can be avoided via beam forming to the left or right. For a circular flight path, the artifact has a more complicated structure, but filtering out echoes coming from straight ahead or behind the transceiver, as well as those outside a critical range, allows one to obtain an artifact-free image. Initially derived under a start-stop approximation widely used in range-based SAR, we show that some of these results are robust and hold under a more realistic approximation.

math.AP↗

arXiv2017

Bilinear generalized Radon transforms in the plane

Let $σ$ be arc-length measure on $S^1\subset \mathbb R^2$ and $Θ$ denote rotation by an angle $θ\in (0, π]$. Define a model bilinear generalized Radon transform, $$B_θ(f,g)(x)=\int_{S^1} f(x-y)g(x-Θy)\, dσ(y),$$ an analogue of the linear generalized Radon transforms of Guillemin and Sternberg \cite{GS} and Phong and Stein (e.g., \cite{PhSt91,St93}). Operators such as $B_θ$ are motivated by problems in geometric measure theory and combinatorics. For $θ<π$, we show that $B_θ: L^p({\Bbb R}^2) \times L^q({\Bbb R}^2) \to L^r({\Bbb R}^2)$ if $\left(\frac{1}{p},\frac{1}{q},\frac{1}{r}\right)\in Q$, the polyhedron with the vertices $(0,0,0)$, $(\frac{2}{3}, \frac{2}{3}, 1)$, $(0, \frac{2}{3}, \frac{1}{3})$, $(\frac{2}{3},0,\frac{1}{3})$, $(1,0,1)$, $(0,1,1)$ and $(\frac{1}{2},\frac{1}{2},\frac{1}{2})$, except for $\left( \frac{1}{2},\frac{1}{2},\frac{1}{2} \right)$, where we obtain a restricted strong type estimate. For the degenerate case $θ=π$, a more restrictive set of exponents holds. In the scale of normed spaces, $p,q,r \ge 1$, the type set $Q$ is sharp. Estimates for the same exponents are also proved for a class of bilinear generalized Radon transforms in $\mathbb R^2$ of the form $$ B(f,g)(x)=\int \int δ(ϕ_1(x,y)-t_1)δ(ϕ_2(x,z)-t_2) δ(ϕ_3(y,z)-t_3) f(y)g(z) ψ(y,z) \, dy\, dz, $$ where $δ$ denotes the Dirac distribution, $t_1,t_2,t_3\in\mathbb R$, $ψ$ is a smooth cut-off and the defining functions $ϕ_j$ satisfy some natural geometric assumptions.

math.CA↗

arXiv2016

Propagation and recovery of singularities in the inverse conductivity problem

The ill-posedness of Calder\'on's inverse conductivity problem, responsible for the poor spatial resolution of Electrical Impedance Tomography (EIT), has been an impetus for the development of hybrid imaging techniques, which compensate for this lack of resolution by coupling with a second type of physical wave, typically modeled by a hyperbolic PDE. Here we show how, using EIT data alone, to efficiently detect interior jumps and other singularities of the conductivity. Analysis of the complex geometrical optics solutions of Astala and P\"aiv\"arinta [\emph{Ann. Math.}, {\bf 163} (2006)] in 2D makes it possible to exploit an underlying complex principal type structure of the problem. We show that the leading term in a Neumann series is an invertible nonlinear generalized Radon transform of the conductivity. The wave front set of all higher-order terms can be characterized, and, under a prior, some are smoother than the leading term. Numerics indicate that this approach effectively detects inclusions within inclusions via EIT.

math.AP↗

arXiv2016

An elementary approach to simplexes in thin subsets of Euclidean space

We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$, $d \ge 3$, is greater than $\min \left\{ \frac{dk+1}{k+1}, \frac{d+k}{2} \right\},$ then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$, the set of congruence classes of $k$-dimensional simplexes with vertices in $E$, is positive. This improves the best bounds previously known, decreasing the $\frac{d+k+1}{2}$ threshold obtained in Erdoğan-Hart-Iosevich (2012) to $\frac{d+k}{2}$ via a different and conceptually simpler method. We also give a simpler proof of the $d-\frac{d-1}{2d}$ threshold for $d$-dimensional simplexes obtained in Greenleaf-Iosevich (2012), Grafakos-Greenleaf-Iosevich-Palsson (2015).

math.CA↗

arXiv2014

Superdimensional Metamaterial Resonators

We propose a fundamentally new method for the design of metamaterial arrays, valid for any waves modeled by the Helmholtz equation, including scalar optics and acoustics. The design and analysis of these devices is based on eigenvalue and eigenfunction asymptotics of solutions to Schrödinger wave equations with harmonic and degenerate potentials. These resonators behave superdimensionally, with a higher local density of eigenvalues and greater concentration of waves than expected from the physical dimension, e.g., planar resonators function as 3- or higher-dimensional media, and bulk material as effectively of dimension 4 or higher. Applications include antennas with a high density of resonant frequencies and giant focussing, and are potentially broadband.

physics.optics↗

arXiv2014

On necklaces inside thin subsets of ${\Bbb R}^d$

We study similarity classes of point configurations in $\R^d$. Given a finite collection of points, a well-known question is: How high does the Hausdorff dimension $\hd(E)$ of a compact set $E \subset {\Bbb R}^d$, $d \ge 2$, need to be to ensure that $E$ contains some similar copy of this configuration? We prove results for a related problem, showing that for $\hd(D)$ sufficiently large, $E$ must contain many point configurations that we call $k$-necklaces of constant gap, generalizing equilateral triangles and rhombuses in higher dimensions. Our results extend and complement those in \cite{CLP14,BIT14}, where related questions were recently studied.

math.CA↗

arXiv2013

Multilinear generalized Radon transforms and point configurations

We study multilinear generalized Radon transforms using a graph-theoretic paradigm that includes the widely studied linear case. These provide a general mechanism to study Falconer-type problems involving $(k+1)$-point configurations in geometric measure theory, with $k \ge 2$, including the distribution of simplices, volumes and angles determined by the points of fractal subsets $E \subset {\Bbb R}^d$, $d \ge 2$. If $T_k(E)$ denotes the set of noncongruent $(k+1)$-point configurations determined by $E$, we show that if the Hausdorff dimension of $E$ is greater than $d-\frac{d-1}{2k}$, then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$ is positive. This compliments previous work on the Falconer conjecture (\cite{Erd05} and the references there), as well as work on finite point configurations \cite{EHI11,GI10}. We also give applications to Erdös-type problems in discrete geometry and a fractal regular value theorem, providing a multilinear framework for the results in \cite{EIT11}.

math.CA↗

arXiv2012

Restricted convolution inequalities, multilinear operators and applications

For $ 1\le k <n$, we prove that for functions $F,G$ on $ {\Bbb R}^{n}$, any $k$-dimensional affine subspace $H \subset {\Bbb R}^{n}$, and $p,q,r \ge 2$ with $\frac{1}{p}+\frac{1}{q}+\frac{1}{r}=1$, one has the estimate $$ {||(F*G)|_H||}_{L^{r}(H)} \leq {||F||}_{Λ^H_{2, p}({\Bbb R}^{n})} \cdot {||G||}_{Λ^H_{2, q}({\Bbb R}^{n})},$$ where the mixed norms on the right are defined by $$ {||F||}_{Λ^H_{2,p}({\Bbb R}^{n})}={(\int_{H^*} {(\int {|\hat{F}|}^2 dH_ξ^{\perp})}^{\frac{p}{2}} dξ)}^{\frac{1}{p}},$$ with $dH_ξ^{\perp}$ the $(n-k)$-dimensional Lebesgue measure on the affine subspace $H_ξ^{\perp}:=ξ+ H^\perp$. Dually, one obtains restriction theorems for the Fourier transform for affine subspaces. Applied to $F(x^{1},...,x^{m})=\prod_{j=1}^m f_j(x^{j})$ on $\R^{md}$, the diagonal $H_0={(x,...,x): x \in {\Bbb R}^d}$ and suitable kernels $G$, this implies new results for multilinear convolution operators, including $L^p$-improving bounds for measures, an $m$-linear variant of Stein's spherical maximal theorem, estimates for $m$-linear oscillatory integral operators, certain Sobolev trace inequalities, and bilinear estimates for solutions to the wave equation.

math.CA↗

arXiv2011

On three point configurations determined by subsets of the Euclidean plane, the associated bilinear operator and applications to discrete geometry

We prove that if the Hausdorff dimension of a compact set $E \subset {\Bbb R}^2$ is greater than 7/4, then the set of {\ag three-point configurations determined by $E$ has positive three-dimensional measure}. We establish this by showing that {\ag a} natural measure on the set of {\ag such configurations} has {\ag Radon-Nikodym derivative} in $L^{\infty}$ if $\dH(E)> 7/4$, and the index 7/4 in this last result cannot, in general, be improved. This problem naturally leads to the study of a bilinear convolution operator, $$ B(f,g)(x)=\int \int f(x-u) g(x-v)\, dK(u,v),$$ where $K$ is surface measure on the set $ \{(u, v) \in\R^2 \times \R^2: |u|=|v|=|u-v|=1\}$, and we prove a scale of estimates that includes $B:L^2_{-1/2}({\Bbb R}^2) \times L^2({\Bbb R}^2) \to L^1({\Bbb R}^2)$ on positive functions. As an application of our main result, it follows that {\ag for finite sets of cardinality $n$ and belonging to a natural class of discrete sets in the plane}, the maximum number of times a given three-point configuration arises is $O(n^{9/7+ε})$ (up to congruence), improving upon the known bound of $O(n^{4/3})$ in this context.

math.CA↗

arXiv2011

On volumes determined by subsets of Euclidean space

Given $E \subset {\Bbb R}^d$, define the \emph{volume set} of $E$, ${\mathcal V}(E)= \{det(x^1, x^2, ... x^d): x^j \in E\}$. In $\R^3$, we prove that ${\mathcal V}(E)$ has positive Lebesgue measure if either the Hausdorff dimension of $E\subset \Bbb R^3$ is greater than 13/5, or $E$ is a product set of the form $E=B_1\times B_2\times B_3$ with $B_j\subset\R,\, dim_{\mathcal H}(B_j)>2/3,\, j=1,2,3$. We show that the same conclusion holds for $\V(E)$ of Salem subsets $E\subset\R^d$ with $\hde>d-1$, and give applications to discrete combinatorial geometry.

math.CA↗