arXiv++ Combinatorics

We introduce a new type of distinct distances result: a lower bound on the number of distances between points on a line and points on a two-dimensional strip. This can be seen as a generalization of the well-studied problems of distances between points on two lines or curves. Unlike these existing problems, this new variant only makes sense if the points satisfy an additional spacing condition. Our work can also be seen as an exploration of the proximity technique that was recently introduced by Solymosi and Zahl. This technique lies at the heart of our analysis.

We study the local properties problem for difference sets: If we have a large set of real numbers and know that every small subset has many distinct differences, to what extent must the entire set have many distinct differences? More precisely, we define $g(n, k, \ell)$ to be the minimum number of differences in an $n$-element set with the `local property' that every $k$-element subset has at least $\ell$ differences; we study the asymptotic behavior of $g(n, k, \ell)$ as $k$ and $\ell$ are fixed and $n \to \infty$. The quadratic threshold is the smallest $\ell$ (as a function of $k$) for which $g(n, k, \ell) = Ω(n^2)$; its value is known when $k$ is even. In this paper, we show that for $k$ even, when $\ell$ is one below the quadratic threshold, we have $g(n, k, \ell) = O(n^c)$ for an absolute constant $c < 2$ -- i.e., at the quadratic threshold, the `exponent of $n$ in $g(n, k, \ell)$' jumps by a constant independent of $k$.

The expansion of bivariate polynomials is well-understood for sets with a linear-sized product set. In contrast, not much is known for sets with small sumset. In this work, we provide expansion bounds for polynomials of the form $f(x, y) = g(x + p(y)) + h(y)$ for sets with small sumset. In particular, we prove that when $|A|$, $|B|$, $|A + A|$, and $|B + B|$ are not too far apart, for every $\varepsilon > 0$ we have \[|f(A, B)| = Ω\left(\frac{|A|^{256/121 - \varepsilon}|B|^{74/121 - \varepsilon}}{|A + A|^{108/121}|B + B|^{24/121}}\right).\] We show that the above bound and its variants have a variety of applications in additive combinatorics and distinct distances problems. Our proof technique relies on the recent proximity approach of Solymosi and Zahl. In particular, we show how to incorporate the size of a sumset into this approach.

We consider the local properties problem for difference sets: we define $g(n, k, \ell)$ to be the minimum value of $\lvert A - A\rvert$ over all $n$-element sets $A \subseteq \mathbb{R}$ with the `local property' that $\lvert A' - A'\rvert \geq \ell$ for all $k$-element subsets $A' \subseteq A$. We view $k$ and $\ell$ as fixed, and study the asymptotic behavior of $g(n, k, \ell)$ as $n \to \infty$. One of our main results concerns the quadratic threshold, i.e., the minimum value of $\ell$ such that $g(n, k, \ell) = Ω(n^2)$; we determine this value exactly for even $k$, and we determine it up to an additive constant for odd $k$. We also show that for all $1 < c \leq 2$, the `threshold' for $g(n, k, \ell) = Ω(n^c)$ is quadratic in $k$; conversely, for $\ell$ quadratic in $k$, we obtain upper and lower bounds of the form $n^c$ for (not necessarily equal) constants $c > 1$. In particular, this provides the first nontrivial upper bounds in the regime where $\ell$ is quadratic in $k$.

For primes $p$, we study the maximal possible size of a $p$-core $p'$-partition (a partition with no hook lengths or parts divisible by $p$). McDowell recently proved that the maximum is attained by a unique partition, say $Λ_p$. Using his graph theoretic description of $Λ_p$, we prove for $p > 10^6$ that \[\frac{1}{24}p^6 - p^5\sqrt{p} < |Λ_p| < \frac{1}{24}p^6 - \frac{1}{200}p^5\sqrt{p},\] which shows that $|Λ_p| \sim p^6/24$ as $p \to \infty$.