Source author record

Allan Greenleaf

Allan Greenleaf 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

12works
7topics
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

12 published item(s)

preprint2016arXiv

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).

preprint2014arXiv

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.

preprint2013arXiv

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}.

preprint2012arXiv

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.

preprint2011arXiv

A multi-dimensional resolution of singularities with applications to analysis

We formulate a resolution of singularities algorithm for analyzing the zero sets of real-analytic functions in dimensions $\geq 3$. Rather than using the celebrated result of Hironaka, the algorithm is modeled on a more explicit and elementary approach used in the contemporary algebraic geometry literature. As an application, we define a new notion of the height of real-analytic functions, compute the critical integrability index and obtain the sharp growth rate of sublevel sets. This also leads to a characterization of the oscillation index of scalar oscillatory integrals with real-analytic phases in all dimensions.

preprint2011arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

Schrodinger's Hat: Electromagnetic, acoustic and quantum amplifiers via transformation optics

The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we give theoretical designs for devices, Schrödinger hats, acting as invisible concentrators of waves. These exist for any wave phenomenon modeled by either the Helmholtz or Schrödinger equations, e.g., polarized waves in EM, pressure waves in acoustics and matter waves in QM, and occupy one part of a parameter space continuum of wave-manipulating structures which also contains standard transformation optics based cloaks, resonant cloaks and cloaked sensors. For EM and acoustic Schrödinger hats, the resulting centralized wave is a localized excitation. In QM, the result is a new charged quasiparticle, a \emph{quasmon}, which causes conditional probabilistic illusions. We discuss possible solid state implementations.

preprint2010arXiv

An FIO calculus for marine seismic imaging, II: Sobolev estimates

We establish sharp $L^2$-Sobolev estimates for classes of pseudodifferential operators with singular symbols whose non-pseudodifferential (Fourier integral operator) parts exhibit two-sided fold singularities. The operators considered include both singular integral operators along curves in $R^2$ with simple inflection points and normal operators arising in linearized seismic imaging in the presence of fold caustics.

preprint2010arXiv

Cloaking a sensor via transformation optics

It is generally believed that transformation optics based cloaking, besides rendering the cloaked region invisible to detection by scattering of incident waves, also shields the region from those same waves. We demonstrate a coupling between the cloaked and uncloaked regions, exposing a difference between cloaking for rays and waves. Interior resonances allow this coupling to be amplified, and careful choice of parameters leads to effective cloaks with degraded shielding. As one application, we describe how to use transformation optics to hide sensors in the cloaked region and yet enable the sensors to efficiently measure waves incident on the exterior of the cloak, an effect similar to the plasmon based approach of Alu' and Engheta.

preprint2010arXiv

Fourier integral operators with open umbrellas and seismic inversion for cusp caustics

In general the composition of Fourier integral operators (FIOs) need not be an FIO. Motivated by the problem of linearized seismic inversion in the presence of cusp caustics for the background sound speed, we consider FIOs whose canonical relations have certain two-sided cusp degeneracies, and show that the resulting compositions have wave-front relations in the union of the diagonal and an open umbrella, the simplest type of singular Lagrangian manifold.