arXiv++ Combinatorics

We study the Falconer distance set problem in Euclidean space and obtain improved dimensional estimates under natural Fourier analytic assumptions cast in terms of the Fourier dimension and spectrum. Interestingly, under reasonably mild assumptions, we are able to beat the $d/2$ dimension threshold in dimensions $d \geq 5$. For example, we show that (in any ambient spatial dimension $d$) a Borel set with Fourier dimension at least $2$ has a distance set of full Hausdorff dimension. We also show that (in any ambient spatial dimension $d$) a Borel set with Fourier spectrum at least $d/4+1$ at $θ=1/2$ has a distance set of full Hausdorff dimension. In particular, this can hold for sets with Fourier dimension zero (provided $d \geq 4$). We also consider pinned variants of these problems and construct examples that demonstrate the sharpness (or near sharpness) of our results.

The discrete Fourier transform has proven to be an essential tool in many geometric and combinatorial problems in vector spaces over finite fields. In general, sets with good uniform bounds for the Fourier transform appear more `random' and are easier to analyze. However, there is a trade-off: in many cases, obtaining good uniform bounds is not possible, even in situations where many points satisfy strong pointwise bounds. To address this limitation, the first named author proposed an approach where one attempts to replace the need for uniform ($L^\infty$) bounds with suitable bounds for the $L^p$ average of the Fourier transform. In subsequent joint work, the authors applied this approach successfully to improve known results in Fourier restriction and the study of orthogonal projections. In this survey we discuss this general approach, give several examples, and exhibit some of the recent applications.

Mockenhaupt and Tao (Duke 2004) proved a finite field analogue of the Stein--Tomas restriction theorem, establishing a range of $q$ for which $L^q\to L^2$ restriction estimates hold for a given measure $μ$ on a vector space over a finite field. Their result is expressed in terms of exponents that describe uniform bounds on the measure and its Fourier transform. We generalise this result by replacing the uniform bounds on the Fourier transform with suitable $L^p$ bounds, and we show that our result improves upon the Mockenhaupt--Tao range in many cases. We also provide a number of applications of our result, including to Sidon sets and Hamming varieties.

We prove that a Kakeya set in a vector space over a finite field of size $q$ always supports a probability measure whose Fourier transform is bounded by $q^{-1}$ for all non-zero frequencies. We show that this bound is sharp in all dimensions at least 2. In particular, this provides a new and self-contained proof that a Kakeya set in dimension 2 has size at least $q^2/2$ (which is asymptotically sharp). We also establish analogous results for sets containing $k$-planes in a given set of orientations.

We consider the problem of bounding the number of exceptional projections (projections which are smaller than typical) of a subset of a vector space over a finite field onto subspaces. We establish bounds that depend on $L^p$ estimates for the Fourier transform, improving various known bounds for sets with sufficiently good Fourier analytic properties. The special case $p=2$ recovers a recent result of Bright and Gan (following Chen), which established the finite field analogue of Peres--Schlag's bounds from the continuous setting. We prove several auxiliary results of independent interest, including a character sum identity for subspaces (solving a problem of Chen) and a full generalization of Plancherel's theorem for subspaces. These auxiliary results also have applications in affine incidence geometry, that is, the problem of estimating the number of incidences between a set of points and a set of affine $k$-planes. We present a novel and direct proof of a well-known result in this area that avoids the use of spectral graph theory, and we provide simple examples demonstrating that these estimates are sharp up to constants.

Given an integer $d \geq 2$, $s \in (0,1]$, and $t \in [0,2(d-1)]$, suppose a set $X$ in $\mathbb{R}^d$ has the following property: there is a collection of lines of packing dimension $t$ such that every line from the collection intersects $X$ in a set of packing dimension at least $s$. We show that such sets must have packing dimension at least $\max\{s,t/2\}$ and that this bound is sharp. In particular, the special case $d=2$ solves a variant of the Furstenberg set problem for packing dimension. We also solve the upper and lower box dimension variants of the problem. In both of these cases the sharp threshold is $\max\{s,t+1-d\}$.

The Fourier transform plays a central role in many geometric and combinatorial problems cast in vector spaces over finite fields. If a set admits optimal $L^\infty$ bounds on its Fourier transform (that is, it is a Salem set), then it can often be analysed more easily. However, in many cases obtaining good \emph{uniform} bounds is not possible, even if `most' points admit good pointwise bounds. Motivated by this, we propose a framework where one systematically studies the $L^p$ averages of the Fourier transform and keeps track of how good the $L^p$ bounds are as a function of $p$. This captures more nuanced information about a set than, for example, asking whether it is Salem or not. We explore this idea by considering several examples and find that a rich theory emerges. Further, we provide various applications of this approach; including to sumset type problems, the finite fields distance conjecture, and the problem of counting $k$-simplices inside a given set. Our typical application is of the form: if a set admits good $L^p$ bounds on its Fourier transform, then we are able to make strong geometric conclusions.

We provide quantitative estimates for the supremum of the Hausdorff dimension of sets in the real line which avoid $\varepsilon$-approximations of arithmetic progressions. Some of these estimates are in terms of Szemerédi bounds. In particular, we answer a question of Fraser, Saito and Yu (IMRN, 2019) and considerably improve their bounds. We also show that Hausdorff dimension is equivalent to box or Assouad dimension for this problem, and obtain a lower bound for Fourier dimension.

We prove that if a set is `large' in the sense of Erdős, then it approximates arbitrarily long arithmetic progressions in a strong quantitative sense. More specifically, expressing the error in the approximation in terms of the gap length $Δ$ of the progression, we improve a previous result of $o(Δ)$ to $O(Δ^α)$ for any $α\in (0,1)$.

A celebrated and deep result of Green and Tao states that the primes contain arbitrarily long arithmetic progressions. In this note I provide a straightforward argument demonstrating that the primes get arbitrarily close to arbitrarily long arithmetic progressions. The argument also applies to `large sets' in the sense of Erdős-Turán. The proof is short, completely self-contained, and aims to give a heuristic explanation of why the primes, and other large sets, possess arithmetic structure.

We provide estimates for the dimensions of sets in $\mathbb{R}$ which uniformly avoid finite arithmetic progressions. More precisely, we say $F$ uniformly avoids arithmetic progressions of length $k \geq 3$ if there is an $ε>0$ such that one cannot find an arithmetic progression of length $k$ and gap length $Δ>0$ inside the $εΔ$ neighbourhood of $F$. Our main result is an explicit upper bound for the Assouad (and thus Hausdorff) dimension of such sets in terms of $k$ and $ε$. In the other direction, we provide examples of sets which uniformly avoid arithmetic progressions of a given length but still have relatively large Hausdorff dimension. We also consider higher dimensional analogues of these problems, where arithmetic progressions are replaced with arithmetic patches lying in a hyperplane. As a consequence we obtain a discretised version of a `reverse Kakeya problem': we show that if the dimension of a set in $\mathbb{R}^d$ is sufficiently large, then it closely approximates arithmetic progressions in every direction.

We study Falconer's subadditive pressure function with emphasis on analyticity. We begin by deriving a simple closed form expression for the pressure in the case of diagonal matrices and, by identifying phase transitions with zeros of Dirichlet polynomials, use this to deduce that the pressure is piecewise real analytic. We then specialise to the iterated function system setting and use a result of Falconer and Miao to extend our results to include the pressure for systems generated by matrices which are simultaneously triangularisable. Our closed form expression for the pressure simplifies a similar expression given by Falconer and Miao by reducing the number of equations needing to be solved by an exponential factor. Finally we present some examples where the pressure has a phase transition at a non-integer value and pose some open questions.