BZPEER

preprint2022arXiv

Pinned simplices and connections to product of sets on paraboloids

In this paper we obtain improved dimensional thresholds for dot product sets corresponding to compact subsets of a paraboloid. As a direct application of these estimates, we obtain significant improvements to the best known dimensional thresholds that guarantee that a given compact subset of Euclidean space determines a positive proportion of all possible congruence classes of simplexes. In many regimes this improves the results previously obtained by Erdogan-Hart-Iosevich (\cite{EHI}), Greenleaf-Iosevich-Liu-Palsson (\cite{GILP}) and others.

preprint2021arXiv

Cycles of arbitrary length in distance graphs on $\mathbb{F}_q^d$

For $E \subset {\Bbb F}_q^d$ , $d \ge 2$ , where ${\Bbb F}_q$ is the finite field with $q$ elements, we consider the distance graph ${\mathcal G}^{dist}_t(E)$ , $t \not=0$ , where the vertices are the elements of $E$ , and two vertices $x$ , $y$ are connected by an edge if $||x-y|| \equiv {(x_1-y_1)}^2+\dots+{(x_d-y_d)}^2=t$ . We prove that if $|E| \ge C_k q^{\frac{d+2}{2}}$ , then ${\mathcal G}^{dist}_t(E)$ contains a statistically correct number of cycles of length $k$ . We are also going to consider the dot-product graph ${\mathcal G}^{prod}_t(E)$ , $t \not=0$ , where the vertices are the elements of $E$ , and two vertices $x$ , $y$ are connected by an edge if $x \cdot y \equiv x_1y_1+\dots+x_dy_d=t$ . We obtain similar results in this case using more sophisticated methods necessitated by the fact that the function $x \cdot y$ is not translation invariant. The exponent $\frac{d+2}{2}$ is improved for sufficiently long cycles.

preprint2020arXiv

Falconer-type estimates for dot products

We present a family of sharpness examples for Falconer-type single dot product results. In particular, for $d\geq 2,$ for any $s<\frac{d+1}{2},$ we construct a Borel probability measure $μ$ satisfying the energy estimate $I_s(μ)<\infty,$ yet the estimate \begin{equation} (μ\times μ)\{(x,y):1\leq x\cdot y \leq 1+ε\} \leq Cε\end{equation} does not hold with constants independent of $ε$ . It is known (\cite{EIT11}) that such an estimate always holds with $C$ independent of $ε$ if $I_{\frac{d+1}{2}}(μ)<\infty$ . Thus our estimate proves the sharpness of the dimensional threshold in this result and generalizes similar results (\cite{Mat95}, \cite{IS16}) established in the case when the dot product $x \cdot y$ is replaced by the Euclidean distance function $|x-y|$ , or, more generally, ${||x-y||}_K$ , the distance that comes from the norm induced by a symmetric convex body $K$ with a smooth boundary and non-vanishing curvature. Our constructions are partially based on ideas that come from discrete incidence theory.

preprint2020arXiv

On complete and incomplete exponential systems

Given a bounded domain $Ω\subset {\Bbb R}^d$ with positive measure and a finite set $A=\{a^1, a^2, \dots, a^d\}$ , we say that the set ${\mathcal E}(A)={\{e^{2 πi x \cdot a^j}\}}_{a^j \in A}$ is a complete exponential system if for every $ξ\in {\Bbb R}^d$ , there exists $1 \leq j \leq d+1$ such that \begin{equation} \label{completedef} \int_Ω e^{-2 πi x \cdot (a^j-ξ)} dx \not=0; \end{equation} otherwise ${\mathcal E}(A)$ is called an incomplete exponential system. In this paper, we essentially classify complete and incomplete exponential systems when $Ω=B_d$ , the unit ball, and when $Ω=Q_d$ , the unit cube. Given a bounded domain $Ω$ , we say that $e^{2 πi x \cdot a}, e^{2 πi x \cdot a'}$ are $ϕ$ -approximately orthogonal if $|\widehatχ_Ω(a-a')| \leq ϕ(|a-a'|), \ a\neq a'$ where $ϕ: [0, \infty) \to [0, \infty)$ is a bounded measurable function that tends to $0$ at infinity. We prove that $L^2(B_d)$ does not possess a $ϕ$ -approximate orthogonal basis of exponentials for a wide range of functions $ϕ$ . The proof involves connections with the theory of distances in sets of positive Lebesgue upper density originally developed by Furstenberg, Katznelson and Weiss (\cite{FKW90}).

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

preprint2016arXiv

Equilateral triangles in subsets of ${\Bbb R}^d$ of large Hausdorff dimension

We prove that subsets of ${\Bbb R}^d$ , $d \ge 4$ of large enough Hausdorff dimensions contain vertices of an equilateral triangle. It is known that additional hypotheses are needed to assure the existence of equilateral triangles in two dimensions (see \cite{CLP14}). We show that no extra conditions are needed in dimensions four and higher. The three dimensional case remains open. Some interesting parallels exist between the triangle problem in Euclidean space and its counter-part in vector spaces over finite fields. We shall outline these similarities in hopes of eventually achieving a comprehensive understanding of this phenomenon in the setting of locally compact abelian groups.

preprint2016arXiv

On an application of Guth-Katz theorem

We prove that for some universal $c$ , a non-collinear set of $N>\frac{1}{c}$ points in the Euclidean plane determines at least $c \frac{N}{\log N}$ distinct areas of triangles with one vertex at the origin, as well as at least $c \frac{N}{\log N}$ distinct dot products. This in particular implies a sum-product bound $|A\cdot A\pm A\cdot A|\geq c\frac{|A|^2}{\log |A|}$ for a discrete $A \subset {\mathbb R}$ .

preprint2016arXiv

Pinned geometric configurations in Euclidean space and Riemannian manifolds

Let $M$ be a compact $d$ -dimensional Riemannian manifold without a boundary. Given $E \subset M$ , let $Δ_ρ(E)=\{ρ(x,y): x,y \in E \}$ , where $ρ$ is the Riemannian metric on $M$ . Let $Δ_ρ^x$ denote the pinned distance set, namely, $\{ρ(x,y): y \in E \}$ with $x \in E$ . We prove that if the Hausdorff dimension of $E$ is greater than $\frac{d+1}{2}$ , then there exist many $x \in E$ such that the Lebesgue measure of $Δ^x_ρ(E)$ is positive. This result was previously established by Peres and Schlag in the Euclidean setting. The main result is deduced from a variable coefficient Euclidean formulation, which can be used to study a variety of geometric problems. We extend our result to the setting of chains studied in \cite{BIT15} and obtain a pinned estimate in this context. Moreover, we point out that our scheme is quite universal in nature and this idea will be exploited in variety of settings in the sequel.

preprint2015arXiv

Finite Chains inside Thin Subsets of ${\Bbb R}^d$

In a recent paper, Chan, Łaba, and Pramanik investigated geometric configurations inside thin subsets of the Euclidean set possessing measures with Fourier decay properties. In this paper we ask which configurations can be found inside thin sets of a given Hausdorff dimension without any additional assumptions on the structure. We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$ , $d \ge 2$ , is greater than $\frac{d+1}{2}$ , then there exists a non-empty interval $I$ such that given any sequence $\{t_1, t_2, \dots, t_k; t_j \in I\}$ , there exists a sequence ${\{x^j\}}_{j=1}^{k+1}$ , such that $x^j \in E$ and $|x^{i+1}-x^i|=t_j$ , $1 \leq i \leq k$ . In other words, $E$ contains vertices of a chain of arbitrary length with prescribed gaps.

preprint2015arXiv

Intersections of sets, diophantine equations and Fourier analysis

A classical theorem due to Mattila (see \cite{Mat84}; see also \cite{M95}, Chapter 13) says that if $A,B \subset {\Bbb R}^d$ of Hausdorff dimension $s_A, s_B$ , respectively, with $s_A+s_B \ge d$ , $s_B>\frac{d+1}{2}$ and $dim_{\mathcal H}(A \times B)=s_A+s_B\ge d$ , then $dim_{\mathcal H}(A \cap (z+B)) \leq s_A+s_B-d$ for almost every $z \in {\Bbb R}^d$ , in the sense of Lebesgue measure. In this paper, we replace the Hausdorff dimension on the left hand side of the first inequality above by the upper Minkowski dimension, replace the Lebesgue measure of the set of translates by a Hausdorff measure on a set of sufficiently large dimension and replace the translation and rotation group by a more general variable coefficient family of transformations. Interesting arithmetic issues arise in the consideration of sharpness examples. These results are partly motivated by those in \cite{EIT11} and \cite{IJL10} where in the former the classical regular value theorem from differential geometry was investigated in a fractal setting and in the latter discrete incidence theory is explored from an analytic standpoint. Fourier Integral Operator bounds and other techniques of harmonic analysis play a crucial role in our investigation. We also consider, in the spirit of the Furstenberg conjecture, inverse problems for intersections by asking how small a dimension of a set can be given that the dimension of its intersections with a suitably well-curved family of manifolds is bounded from below by a given threshold. Finally, we shall discuss applications of our estimates to the problem of estimating the number of solutions of systems of diophantine equations over integers.

preprint2015arXiv

Measures of polynomial growth and classical convolution inequalities

We study $L^p(μ) \to L^q(ν)$ mapping properties of the convolution operator $T_λf(x)=λ*(fμ)(x)$ and of the corresponding maximal operator ${\mathcal T}_λf(x)=\sup_{t>0} |λ_t*(fμ)(x)|$ , where $λ$ is a tempered distribution, and $μ$ and $ν$ are compactly supported measures satisfying the polynomial growth bounds $μ(B(x,r)) \leq Cr^{s_μ}$ and $ν(B(x,r)) \leq Cr^{s_ν}$ . As a result, we prove variants of the classical $L^p$ -improving (Littman; Strichartz) and maximal (Stein) inequalities in a setting where the Plancherel formula is not available. Connections with the David-Semmes conjecture are also discussed.

preprint2015arXiv

On directions determined by subsets of vector spaces over finite fields

We prove that if a subset of a $d$ -dimensional vector space over a finite field with $q$ elements has more than $q^{d-1}$ elements, then it determines all the possible directions. If a set has more than $q^k$ elements, it determines a $k$ -dimensional set of directions. We prove stronger results for sets that are sufficiently random. This result is best possible as the example of a $k$ -dimensional hyperplane shows. We can view this question as an Erd\H os type problem where a sufficiently large subset of a vector space determines a large number of configurations of a given type. For discrete subsets of ${\Bbb R}^d$ , this question has been previously studied by Pach, Pinchasi and Sharir.

preprint2015arXiv

On discrete values of bilinear forms

This paper is an erratum to our paper, entitled "On an application of Guth-Katz theorem", Math. Res. Lett. 18 (2011), no. 4, 691-697. Let $F$ be the real or complex field and $ω$ a non-degenerate skew-symmetric bilinear form in the plane $F^2$ . We prove that for finite a point set $P\subset F^2\setminus\{0\}$ , the set $T_ω(P)$ of nonzero values of $ω$ in $P\times P$ , if nonempty, has cardinality $Ω(N^{9/13}).$ A presumably near-sharp estimate $Ω(N/\log N)$ was claimed in the abovemnetioned paper over the reals for a symmetric or skew-symmetric form $ω$ . However, the set-up for the proof was flawed. We discuss why we believe that justifying this claim in full strength is a major open problem. In the special case when $P=A\times A$ , where $A$ is a set of at least two reals, we establish the following sum-product type estimates: $|AA+ AA|= Ω\left(|A|^{19/12}\right),$ and $|AA-AA|= Ω\left( \frac{|A|^{26/17}}{\log^{2/17}|A|}\right).$

preprint2014arXiv

Elementary methods for incidence problems in finite fields

We use elementary methods to prove an incidence theorem for points and spheres in $\mathbb{F}_q^n$ . As an application, we show that any point set of $P\subset \mathbb{F}_q^2$ with $|P|\geq 5q$ determines a positive proportion of all circles. The latter result is an analogue of Beck's Theorem for circles which is optimal up to multiplicative constants.

preprint2014arXiv

Exponential bases, Paley-Wiener spaces and applications

We investigate the connection between translation bases for Paley-Wiener spaces and exponential Fourier bases for a domain. We apply these results to the characterization of vector-valued time-frequency translates of a Paley-Wiener "window" signal.

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

Areas of triangles and Beck's theorem in planes over finite fields

It is shown that any subset $E$ of a plane over a finite field $\F_q$, of cardinality $|E|>q$ determines not less than $\frac{q-1}{2}$ distinct areas of triangles, moreover once can find such triangles sharing a common base. It is also shown that if $|E|\geq 64q\log_2 q$ , then there are more than $\frac{q}{2}$ distinct areas of triangles sharing a common vertex. The result follows from a finite field version of the Beck theorem for large subsets of $\F_q^2$ that we prove. If $|E|\geq 64q\log_2 q$ , there exists a point $z\in E$ , such that there are at least $\frac{q}{4}$ straight lines incident to $z$ , each supporting the number of points of $E$ other than $z$ in the interval between $\frac{|E|}{2q}$ and $\frac{2|E|}{q}.$ This is proved by combining combinatorial and Fourier analytic techniques. We also discuss higher-dimensional implications of these results in light of recent developments.

preprint2012arXiv

Periodicity of the spectrum in dimension one

A bounded measurable set $Ω$ , of Lebesgue measure 1, in the real line is called spectral if there is a set $Λ$ of real numbers ("frequencies") such that the exponential functions $e_λ(x) = \exp(2πi λx)$ , $λ\inΛ$ , form a complete orthonormal system of $L^2(Ω)$ . Such a set $Λ$ is called a {\em spectrum} of $Ω$ . In this note we prove that any spectrum $Λ$ of a bounded measurable set $Ω\subseteq\RR$ must be periodic.

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.

preprint2012arXiv

Three-point configurations determined by subsets of $\mathbb{F}_q^2$ via the Elekes-Sharir paradigm

We prove that if $E \subset {\mathbb F}_q^2$ , $q \equiv 3 \mod 4$ , has size greater than $Cq^{7/4}$ , then $E$ determines a positive proportion of all congruence classes of triangles in ${\mathbb F}_q^2$ . The approach in this paper is based on the approach to the Erd\H os distance problem in the plane due to Elekes and Sharir, followed by an incidence bound for points and lines in ${\mathbb F}_q^3$ . We also establish a weak lower bound for a related problem in the sense that any subset $E$ of ${\mathbb F}_q^2$ of size less than $cq^{4/3}$ definitely does not contain a positive proportion of {\bf translation} classes of triangles in the plane. This result is a special case of a result established for $n$ -simplices in ${\mathbb F}_q^d$ . Finally, a necessary and sufficient condition on the lengths of a triangle for it to exist in $\mathbb{F}^2$ for any field $\mathbb F$ of characteristic not equal to 2 is established as a special case of a result for $d$ -simplices in ${\mathbb F}^d$ .

preprint2011arXiv

Fourier integral operators, fractal sets and the regular value theorem

We prove that if ${\mathcal E} \subset {\Bbb R}^{2d}$ , $d \ge 2$ , is an Ahlfors-David regular product set of sufficiently large Hausdorff dimension, denoted by $dim_{\mathcal H}({\mathcal E})$ , and $ϕ$ is a sufficiently regular function, then the upper Minkowski dimension of the set $\{w \in {\mathcal E}: ϕ_l(w)=t_l; 1 \leq l \leq m \}$ does not exceed $dim_{\mathcal H}({\mathcal E})-m$ , in line with the regular value theorem from the elementary differential geometry. Our arguments are based on the mapping properties of the underlying Fourier Integral Operators and are intimately connected with the Falconer distance conjecture in geometric measure theory. We shall see that our results are in general sharp in the sense that if the Hausdorff dimension is smaller than a certain threshold, then the dimensional inequality fails in a quantifiable way. The constructions used to demonstrate this are based on the distribution of lattice points on convex surfaces and have connections with combinatorial geometry.

preprint2011arXiv

Geometric configurations in the ring of integers modulo $p^{\ell}$

We study variants of the Erd\H os distance problem and dot products problem in the setting of the integers modulo $q$ , where $q = p^{\ell}$ is a power of an odd prime.

preprint2011arXiv

Lattice points close to families of surfaces, non-isotropic dilations and regularity of generalized Radon transforms

We prove that if $ϕ: {\Bbb R}^d \times {\Bbb R}^d \to {\Bbb R}$ , $d \ge 2$ , is a homogeneous function, smooth away from the origin and having non-zero Monge-Ampere determinant away from the origin, then $$ R^{-d} # \{(n,m) \in {\Bbb Z}^d \times {\Bbb Z}^d: |n|, |m| \leq CR; R \leq ϕ(n,m) \leq R+δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}.$$ This is a variable coefficient version of a result proved by Lettington in \cite{L10}, extending a previous result by Andrews in \cite{A63}, showing that if $B \subset {\Bbb R}^d$ , $d \ge 2$ , is a symmetric convex body with a sufficiently smooth boundary and non-vanishing Gaussian curvature, then $$ # \{k \in {\mathbb Z}^d: dist(k, R \partial B) \leq δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}. (*)$$ Furthermore, we shall see that the same argument yields a non-isotropic analog of $(*)$ , one for which the exponent on the right hand side is, in general, sharp, even in the infinitely smooth case. This sheds some light on the nature of the exponents and their connection with the conjecture due to Wolfgang Schmidt on the distribution of lattice points on dilates of smooth convex surfaces in ${\Bbb R}^d$ .

preprint2011arXiv

On angles determined by fractal subsets of the Euclidean space via Sobolev bounds for bi-linear operators

We prove that if the Hausdorff dimension of a compact subset of ${\mathbb R}^d$ is greater than $\frac{d+1}{2}$ , then the set of angles determined by triples of points from this set has positive Lebesgue measure. Sobolev bounds for bi-linear analogs of generalized Radon transforms and the method of stationary phase play a key role. These results complement those of V. Harangi, T. Keleti, G. Kiss, P. Maga, P. Mattila and B. Stenner in (\cite{HKKMMS10}). We also obtain new upper bounds for the number of times an angle can occur among $N$ points in ${\mathbb R}^d$ , $d \ge 4$ , motivated by the results of Apfelbaum and Sharir (\cite{AS05}) and Pach and Sharir (\cite{PS92}). We then use this result to establish sharpness results in the continuous setting. Another sharpness result relies on the distribution of lattice points on large spheres in higher dimensions.

preprint2011arXiv

On sets of directions determined by subsets of ${\Bbb R}^d$

Given $E \subset \mathbb{R}^d$ , $d \ge 2$ , define ${\mathcal D}(E) \equiv {(x-y)/|x-y|: x,y \in E} \subset S^{d-1},$ the set of directions determined by $E$ . We prove that if the Hausdorff dimension of $E$ is greater than $d-1$ , then $σ({\mathcal D}(E))>0$ , where $σ$ denotes the surface measure on $S^{d-1}$ . This result is sharp since the conclusion fails to hold if $E$ is a $(d-1)$ -dimensional hyper-plane. This result can be viewed as a continuous analog of a recent result of Pach, Pinchasi, and Sharir (\cite{PPS04}, \cite{PPS07}) on angles determined by finite subsets of $\mathbb{R}^d$ . Also define ${\mathcal A}(E)=\{θ(x,y,z): x,y,z \in E\},$ where $θ(x,y,z)$ is the angle between $x-y$ and $y-z$ . We use the techniques developed to handle the problem of directions and results on distance sets previously obtained by Wolff and Erdogan to prove that if the Hasudorff dimension of $E$ is greater than $(d-1)/2+1/3$ , then the Lebesgue measure of ${\mathcal A}(E)$ is positive. This result can be viewed as a continuous analog of a recent result of Apfelbaum and Sharir (\cite{AS05}). At the end of this paper we show that our continuous results can be used to recover and in some case improve the exponents for the corresponding results in the discrete setting for large classes of finite point sets. In particular, we prove that a finite point set $P \subset {\Bbb R}^d$ , $d \ge 3$ , satisfying a certain discrete energy condition (Definition \ref{adaptablemama}), determines $\gtrapprox # P$ distinct directions and $\gtrapprox {(# P)}^{6/(3d-1)}$ distinct angles. In two dimensions, the lower bound on the number of angles is $\gtrapprox # P$.

preprint2011arXiv

On the Mattila-Sjolin theorem for distance sets

We extend a result, due to Mattila and Sjolin, which says that if the Hausdorff dimension of a compact set $E \subset {\Bbb R}^d$ , $d \ge 2$ , is greater than $\frac{d+1}{2}$ , then the distance set $Δ(E)=\{|x-y|: x,y \in E \}$ contains an interval. We prove this result for distance sets $Δ_B(E)=\{{||x-y||}_B: x,y \in E \}$ , where ${|| \cdot ||}_B$ is the metric induced by the norm defined by a symmetric bounded convex body $B$ with a smooth boundary and everywhere non-vanishing Gaussian curvature. We also obtain some detailed estimates pertaining to the Radon-Nikodym derivative of the distance measure.

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

Size of orthogonal sets of exponentials for the disk

Suppose $Λ\subseteq \RR^2$ has the property that any two exponentials with frequency from $Λ$ are orthogonal in the space $L^2(D)$ , where $D \subseteq \RR^2$ is the unit disk. Such sets $Λ$ are known to be finite but it is not known if their size is uniformly bounded. We show that if there are two elements of $Λ$ which are distance $t$ apart then the size of $Λ$ is $O(t)$ . As a consequence we improve a result of Iosevich and Jaming and show that $Λ$ has at most $O(R^{2/3})$ elements in any disk of radius $R$ .

preprint2010arXiv

A Furstenberg-Katznelson-Weiss type theorem on (d + 1)-point configurations in sets of positive density in finite field geometries

We show that if $E \subset \mathbb{F}_q^d$ , the $d$ -dimensional vector space over the finite field with $q$ elements, and $|E| \geq ρq^d$ , where $q^{-\frac{1}{2}}\ll ρ\leq 1$ , then $E$ contains an isometric copy of at least $c ρ^{d-1} q^{d+1 \choose 2}$ distinct $(d+1)$ -point configurations.

preprint2010arXiv

Sharpness of Falconer's estimate in continuous and arithmetic settings, geometric incidence theorems and distribution of lattice points in convex domains

In this paper we prove, for all $d \ge 2$ , that for no $s<\frac{d+1}{2}$ does $I_s(μ)<\infty$ imply the canonical Falconer distance problem incidence bound, or the analogous estimate where the Euclidean norm is replaced by the norm generated by a particular convex body $B$ with a smooth boundary and everywhere non-vanishing curvature. Our construction, based on a combinatorial construction due to Pavel Valtr naturally leads us to some interesting connections between the problem under consideration, geometric incidence theorem in the discrete setting and distribution of lattice points in convex domains. We also prove that an example by Mattila can be discretized to produce a set of points and annuli for which the number of incidences is much greater than in the case of the lattice. In particular, we use the known results on the Gauss Circle Problem and a discretized version of Mattila's example to produce a non-lattice set of points and annuli where the number of incidences is much greater than in the case of the standard lattice. Finally, we extend Valtr's example into the setting of vector spaces over finite fields and show that a finite field analog of the key incidence bound is also sharp.

preprint2001arXiv

Spectral and Tiling properties of the Unit Cube

Let $\Q=[0,1)^d$ denote the unit cube in $d$ -dimensional Euclidean space \Rd and let \T be a discrete subset of \Rd. We show that the exponentials $e_t(x):=exp(i2πtx)$ , $t\in\T$ form an othonormal basis for $L^2(\Q)$ if and only if the translates $\Q+t$, $t\in\T$ form a tiling of \Rd.

Alex Iosevich

Research overview

Is this your work?

33 publications

Pinned simplices and connections to product of sets on paraboloids

Cycles of arbitrary length in distance graphs on $\mathbb{F}_q^d$

Falconer-type estimates for dot products

On complete and incomplete exponential systems

An elementary approach to simplexes in thin subsets of Euclidean space

Equilateral triangles in subsets of ${\Bbb R}^d$ of large Hausdorff dimension

On an application of Guth-Katz theorem

Pinned geometric configurations in Euclidean space and Riemannian manifolds

Finite Chains inside Thin Subsets of ${\Bbb R}^d$

Intersections of sets, diophantine equations and Fourier analysis

Measures of polynomial growth and classical convolution inequalities

On directions determined by subsets of vector spaces over finite fields

On discrete values of bilinear forms

Elementary methods for incidence problems in finite fields

Exponential bases, Paley-Wiener spaces and applications

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

Multilinear generalized Radon transforms and point configurations

Areas of triangles and Beck's theorem in planes over finite fields

Periodicity of the spectrum in dimension one

Restricted convolution inequalities, multilinear operators and applications

Three-point configurations determined by subsets of $\mathbb{F}_q^2$ via the Elekes-Sharir paradigm

Fourier integral operators, fractal sets and the regular value theorem

Geometric configurations in the ring of integers modulo $p^{\ell}$

Lattice points close to families of surfaces, non-isotropic dilations and regularity of generalized Radon transforms

On angles determined by fractal subsets of the Euclidean space via Sobolev bounds for bi-linear operators

On sets of directions determined by subsets of ${\Bbb R}^d$

On the Mattila-Sjolin theorem for distance sets

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

On volumes determined by subsets of Euclidean space

Size of orthogonal sets of exponentials for the disk

A Furstenberg-Katznelson-Weiss type theorem on (d + 1)-point configurations in sets of positive density in finite field geometries

Sharpness of Falconer's estimate in continuous and arithmetic settings, geometric incidence theorems and distribution of lattice points in convex domains

Spectral and Tiling properties of the Unit Cube

See the researcher in context

Building this map preview

Alex Iosevich

Research overview

Is this your work?

33 publications

Pinned simplices and connections to product of sets on paraboloids

Cycles of arbitrary length in distance graphs on Fqd\mathbb{F}_q^dFqd​

Falconer-type estimates for dot products

On complete and incomplete exponential systems

An elementary approach to simplexes in thin subsets of Euclidean space

Equilateral triangles in subsets of Rd{\Bbb R}^dRd of large Hausdorff dimension

On an application of Guth-Katz theorem

Pinned geometric configurations in Euclidean space and Riemannian manifolds

Finite Chains inside Thin Subsets of Rd{\Bbb R}^dRd

Intersections of sets, diophantine equations and Fourier analysis

Measures of polynomial growth and classical convolution inequalities

On directions determined by subsets of vector spaces over finite fields

On discrete values of bilinear forms

Elementary methods for incidence problems in finite fields

Exponential bases, Paley-Wiener spaces and applications

On necklaces inside thin subsets of Rd{\Bbb R}^dRd

Multilinear generalized Radon transforms and point configurations

Areas of triangles and Beck's theorem in planes over finite fields

Periodicity of the spectrum in dimension one

Restricted convolution inequalities, multilinear operators and applications

Three-point configurations determined by subsets of Fq2\mathbb{F}_q^2Fq2​ via the Elekes-Sharir paradigm

Fourier integral operators, fractal sets and the regular value theorem

Geometric configurations in the ring of integers modulo pℓp^{\ell}pℓ

Lattice points close to families of surfaces, non-isotropic dilations and regularity of generalized Radon transforms

On angles determined by fractal subsets of the Euclidean space via Sobolev bounds for bi-linear operators

On sets of directions determined by subsets of Rd{\Bbb R}^dRd

On the Mattila-Sjolin theorem for distance sets

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

On volumes determined by subsets of Euclidean space

Size of orthogonal sets of exponentials for the disk

A Furstenberg-Katznelson-Weiss type theorem on (d + 1)-point configurations in sets of positive density in finite field geometries

Sharpness of Falconer's estimate in continuous and arithmetic settings, geometric incidence theorems and distribution of lattice points in convex domains

Spectral and Tiling properties of the Unit Cube

See the researcher in context

Building this map preview

Cycles of arbitrary length in distance graphs on $\mathbb{F}_q^d$

Equilateral triangles in subsets of ${\Bbb R}^d$ of large Hausdorff dimension

Finite Chains inside Thin Subsets of ${\Bbb R}^d$

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

Three-point configurations determined by subsets of $\mathbb{F}_q^2$ via the Elekes-Sharir paradigm

Geometric configurations in the ring of integers modulo $p^{\ell}$

On sets of directions determined by subsets of ${\Bbb R}^d$