Source author record

Ben Lund

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
10topics
4close collaborators

Published work

13 publications

preprint2022arXiv

Radial projection theorems in finite spaces

Motivated by recent results on radial projections and applications to the celebrated Falconer distance problem, we study radial projections in the setting of finite fields. More precisely, we extend results due to Mattila and Orponen (2016), Orponen (2018), and Liu (2020) to finite spaces. In some cases, our results are stronger than the corresponding results in the continuous setting. In particular, we solve the finite field analog of a conjecture due to Liu and Orponen on the exceptional set of radial projections of a set of dimension between d−2d-2 and d−1d-1.

preprint2020arXiv

On the list recoverability of randomly punctured codes

We show that a random puncturing of a code with good distance is list recoverable beyond the Johnson bound. In particular, this implies that there are Reed-Solomon codes that are list recoverable beyond the Johnson bound. It was previously known that there are Reed-Solomon codes that do not have this property. As an immediate corollary to our main theorem, we obtain better degree bounds on unbalanced expanders that come from Reed-Solomon codes.

preprint2016arXiv

An improved bound on (A+A)/(A+A)(A+A)/(A+A)

We show that, for a finite set AA of real numbers, the size of the set A+AA+A={a+bc+d:a,b,c,d∈A,c+d≠0}\frac{A+A}{A+A} = \left\{ \frac{a+b}{c+d} : a,b,c,d \in A, c+d \neq 0 \right \} is bounded from below by ∣A+AA+A∣≫∣A∣2+1/4∣A/A∣1/8log⁡∣A∣.\left|\frac{A+A}{A+A} \right| \gg \frac{|A|^{2+1/4}}{|A / A|^{1/8} \log |A|}. This improves a result of Roche-Newton.

preprint2016arXiv

Essential dimension and the flats spanned by a point set

Let PP be a finite set of points in Rd\mathbb{R}^d or Cd\mathbb{C}^d. We answer a question of Purdy on the conditions under which the number of hyperplanes spanned by PP is at least the number of (d−2)(d-2)-flats spanned by PP. In answering this question, we define a new measure of the degeneracy of a point set with respect to affine subspaces, termed the "essential dimension". We use the essential dimension to give an asymptotic expression for the number of kk-flats spanned by PP, for 1≤k≤d−11 \leq k \leq d-1.

preprint2016arXiv

Incidence Bounds for Block Designs

We prove three theorems giving extremal bounds on the incidence structures determined by subsets of the points and blocks of a balanced incomplete block design (BIBD). These results generalize and strengthen known bounds on the number of incidences between points and mm-flats in affine geometries over finite fields. First, we show an upper bound on the number of incidences between sufficiently large subsets of the points and blocks of a BIBD. Second, we show that a sufficiently large subset of the points of a BIBD determines many t-rich blocks. Third, we show that a sufficiently large subset of the blocks of a BIBD determines many t-rich points. These last two results are new even in the special case of incidences between points and mm-flats in an affine geometry over a finite field. As a corollary we obtain a tight bound on the number of t-rich points determined by a set of points in a plane over a finite field, and use it to sharpen a result of Iosevich, Rudnev, and Zhai on the number of triangles with distinct areas determined by a set of points in a plane over a finite field.

preprint2016arXiv

On distinct perpendicular bisectors and pinned distances in finite fields

Given a set of points P⊂Fq2P \subset \mathbb F_q^2 such that ∣P∣≥q3/2|P|\geq q^{3/2} it is established that ∣P∣|P| determines Ω(q2)Ω(q^2) distinct perpendicular bisectors. It is also proven that, if ∣P∣≥q4/3|P| \geq q^{4/3}, then for a positive proportion of points a∈Pa \in P, we have ∣{∥a−b∥:b∈P}∣=Ω(q),|\{\| a- b\|: b \in P\}|=Ω(q), where ∥a−b∥\|a- b\| is the distance between points aa and bb. The latter result represents an improvement on a result of Chapman et al. (arxiv:0903.4218).

preprint2016arXiv

The sign-sequence constant of the plane

Let LL be a finite-dimensional real normed space, and let BB be the unit ball in LL. The sign sequence constant of LL is the least t>0t>0 such that, for each sequence v1,…,vn∈Bv_1, \ldots, v_n \in B, there are signs ε1,…,εn∈{−1,+1}\varepsilon_1, \ldots, \varepsilon_n \in \{-1, +1\} such that ε1v1+…+εkvk∈tB\varepsilon_1 v_1 + \ldots + \varepsilon_k v_k \in t B, for each 1≤k≤n1 \leq k \leq n. We show that the sign sequence constant of a plane is at most 22, and the sign sequence constant of the plane with the Euclidean norm is equal to 3\sqrt{3}.

preprint2015arXiv

Incidences and pairs of dot products

Let F\mathbb{F} be a field, let P⊆FdP \subseteq \mathbb{F}^d be a finite set of points, and let α,β∈F∖{0}α,β\in \mathbb{F} \setminus \{0\}. We study the quantity ∣Πα,β∣={(p,q,r)∈P×P×P∣p⋅q=α,p⋅r=β}.|Π_{α, β}| = \{(p,q,r) \in P \times P \times P \mid p \cdot q = α, p \cdot r = β\}. We observe a connection between the question of placing an upper bound on ∣Πα,β∣|Π_{α,β}| and a well-studied question on the number of incidences betwen points and hyperplanes, and use this connection to prove new and strengthened upper bounds on ∣Πα,β∣|Π_{α,β}| in a variety of settings.

preprint2014arXiv

Bisector energy and few distinct distances

We introduce the bisector energy of an nn-point set PP in R2\mathbb{R}^2, defined as the number of quadruples (a,b,c,d)(a,b,c,d) from PP such that aa and bb determine the same perpendicular bisector as cc and dd. If no line or circle contains M(n)M(n) points of PP, then we prove that the bisector energy is O(M(n)25n125+ε+M(n)n2).O(M(n)^{\frac{2}{5}}n^{\frac{12}{5}+ε} + M(n)n^2).. We also prove the lower bound Ω(M(n)n2)Ω(M(n)n^2), which matches our upper bound when M(n)M(n) is large. We use our upper bound on the bisector energy to obtain two rather different results: (i) If PP determines O(n/log⁡n)O(n/\sqrt{\log n}) distinct distances, then for any 0<α≤1/40<α\le 1/4, either there exists a line or circle that contains nαn^α points of PP, or there exist Ω(n8/5−12α/5−ε)Ω(n^{8/5-12α/5-ε}) distinct lines that contain Ω(log⁡n)Ω(\sqrt{\log n}) points of PP. This result provides new information on a conjecture of Erdős regarding the structure of point sets with few distinct distances. (ii) If no line or circle contains M(n)M(n) points of PP, then the number of distinct perpendicular bisectors determined by PP is Ω(min⁡{M(n)−2/5n8/5−ε,M(n)−1n2})Ω(\min\{M(n)^{-2/5}n^{8/5-ε}, M(n)^{-1} n^2\}). This appears to be the first higher-dimensional example in a framework for studying the expansion properties of polynomials and rational functions over R\mathbb{R}, initiated by Elekes and Rónyai.

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.