Papers by Eyvindur Ari Palsson
5 paper(s) by this author
· All BibTeX
On Densities in the Erdős-Falconer Distance Problems over the Integers
Motivated by the classical Erdős and Falconer distance problems and Magyar's work on distance sets in $\mathbb Z^d$, we study discrete analogues of the Erdős-Falconer unpinned and pinned distance problems over the integers. We ask how the discrete Hausdorff dimension of a set $A\subseteq\mathbb Z^d$ influences the size of its squared-distance sets, measured by generalized upper natural density and upper discrete mass dimension. We propose conjectures for both problems and prove the unpinned conjecture in dimensions $d=1,2,3$ and the pinned conjecture in dimensions $d=1,2$. For the unpinned problem in higher dimensions, we obtain explicit lower bounds for the dimensions of distance sets using elementary integer sphere counting, results on the Erdős distinct distances problem, and $\ell^p$-improving inequalities for discrete spherical averages. For the pinned problem, we obtain lower bounds for the dimensions of distance sets for some or every pin. We also establish more general results involving upper discrete mass dimension, upper discrete Banach dimension, and affine dimension, including bounds on the affine dimension of the exceptional set of pins. We construct examples showing that both conjectures are sharp in low dimensions. Further examples demonstrate how the distinctions among discrete Hausdorff dimension, upper discrete mass dimension, and upper discrete Banach dimension lead to different phenomena in the unpinned and pinned distance problems, including limitations on the nontrivial upper bounds these dimensions can provide for the dimensions of distance sets.
Sharp Thresholds for Distance Patterns in Random Subsets of $\mathbb Z^d$
Let $d \geq 5$, $0 < γ< d - 2$, and $Ω_N$ be the binomial random subset of $Q_N = [-N,N]^d \cap \mathbb Z^d$ with retention probability $p_N = N^{-γ}$. We prove that, with failure probability of optimal exponential order, every subset $B \subseteq Ω_N$ of fixed positive relative density realizes, at each scale $p_N^{-2/(d - 2)} \lesssim λ\lesssim N^2$, a squared distance of the form $q^2 λ$, where $q$ belongs to a fixed finite set depending only on the dimension and the density. The lower scale $p_N^{-2/(d - 2)}$ is sharp. As a consequence,the squared-distance set $D^2(B)$ of $B$ has maximal order $N^2$ and contains affine copies of every fixed finite subset of $\mathbb Z$.
The main new input is a finite multidilate supersaturation theorem for dense subsets of $Q_N$, which, together with boundedness estimates for the associated spherical distance graphs down to the sharp scale, allows us to apply Schacht's transference theorem.
Angle chains and pinned variants
We study a variant of the Erd\H os unit distance problem, concerning angles between successive triples of points chosen from a large finite point set. Specifically, given a large finite set of $n$ points $E$, and a sequence of angles $(α_1,\ldots,α_k)$, we give upper and lower bounds on the maximum possible number of tuples of distinct points $(x_1,\dots, x_{k+2})\in E^{k+2}$ satisfying $\angle (x_j,x_{j+1},x_{j+2})=α_j$ for every $1\le j \le k$ as well as pinned analogues.
On the Number of Discrete Chains
We study a generalization of Erd\H os's unit distances problem to chains of $k$ distances. Given $\mathcal P,$ a set of $n$ points, and a sequence of distances $(δ_1,\ldots,δ_k)$, we study the maximum possible number of tuples of distinct points $(p_1,\ldots,p_{k+1})\in \mathcal P^{k+1}$ satisfying $|p_j p_{j+1}|=δ_j$ for every $1\leq j \leq k$. We study the problem in $\mathbb R^2$ and in $\mathbb R^3$, and derive upper and lower bounds for this family of problems.
The Cardinality of Sumsets: Different Summands
Published in Acta Arith. 167 (4), 2015, 375-395
• View Publication
• BIB
Let $h$ be a positive integer and $A, B_1, B_2,\dots, B_h$ be finite sets in a commutative group. We bound $|A+B_1+...+B_h|$ from above in terms of $|A|, |A+B_1|,\dots,|A+B_h|$ and $h$. Extremal examples, which demonstrate that the bound is asymptotically sharp in all the parameters, are furthermore provided.