arXiv subjects

Alex Iosevich

Publications and source records attributed to Alex Iosevich.

At least 91 records · Page 5Linked to original sources

arXiv2017

Direction sets, Lipschitz graphs and density

We consider the direction set determined by various subsets $E$ of Euclidean space and show that there is a trichotomy: Either (i) The subset is the graph of a Lipschitz function and the direction set is not dense in the sphere, (ii) The subset is the graph of a non-Lipschitz function and the direction set is dense but not everything, or (iii) The subset is not a graph (in a suitable sense) and every direction is determined by the set. We then explore a variety of results based on this trichotomy under additional assumptions on the set $E$.

math.CA↗

arXiv2017

A two-parameter finite field Erdős-Falconer distance problem

We study the following two-parameter variant of the Erd\H os-Falconer distance problem. Given $E,F \subset {\Bbb F}_q^{k+l}$, $l \geq k \ge 2$, the $k+l$-dimensional vector space over the finite field with $q$ elements, let $B_{k,l}(E,F)$ be given by $$\{(\Vert x'-y'\Vert, \Vert x"-y" \Vert): x=(x',x") \in E, y=(y',y") \in F; x',y' \in {\Bbb F}_q^k, x",y" \in {\Bbb F}_q^l \}.$$ We prove that if $|E||F| \geq C q^{k+2l+1}$, then $B_{k,l}(E,F)={\Bbb F}_q \times {\Bbb F}_q$. Furthermore this result is sharp if $k$ is odd. For the case of $l=k=2$ and $q$ a prime with $q \equiv 3 \mod 4$ we get that for every positive $C$ there is $c$ such that $$ \text{if } |E||F|>C q^{6+\frac{2}{3}}\text{, then } |B_{2,2}(E,F)|> c q^{2}.$$

math.CA↗

arXiv2016

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.

math.CA↗

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↗

arXiv2016

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.

math.CA↗

arXiv2016

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

math.CO↗

arXiv2015

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

math.CO↗

arXiv2015

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.

math.CA↗

arXiv2015

Falconer distance problem, additive energy and Cartesian products

A celebrated result due to Wolff says if $E$ is a compact subset of ${\Bbb R}^2$, then the Lebesgue measure of the distance set $Δ(E)=\{|x-y|: x,y \in E \}$ is positive if the Hausdorff dimension of $E$ is greater than $\frac{4}{3}$. In this paper we improve the $\frac{4}{3}$ barrier by a small exponent for Cartesian products. In higher dimensions, also in the context of Cartesian products, we reduce Erdogan's $\frac{d}{2}+\frac{1}{3}$ exponent to $\frac{d^2}{2d-1}$. The proof uses a combination of Fourier analysis and additive comibinatorics.

math.CA↗

arXiv2015

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.

math.CA↗

arXiv2015

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.

math.CA↗

arXiv2015

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.

math.CA↗

arXiv2015

The Fuglede Conjecture holds in ${\Bbb Z}_p \times {\Bbb Z}_p$

In this paper we study subsets $E$ of ${\Bbb Z}_p^d$ such that any function $f: E \to {\Bbb C}$ can be written as a linear combination of characters orthogonal with respect to $E$. We shall refer to such sets as spectral. In this context, we prove the Fuglede Conjecture in ${\Bbb Z}_p^2$ which says that $E \subset {\Bbb Z}_p^2$ is spectral if and only if $E$ tiles ${\Bbb Z}_p^2$ by translation. Arithmetic properties of the finite field Fourier transform, elementary Galois theory and combinatorial geometric properties of direction sets play the key role in the proof.

math.CA↗

arXiv2014

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.

math.FA↗

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↗

arXiv2014

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.

math.CO↗

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↗