arXiv++ Combinatorics

Let $K$ be a $1$-separated set of diameter at most $R-1$, and let $\ell_m$ denote a collection of $m$ points on a line, with consecutive points of distance $1$ apart. Conlon and Fox (2019) demonstrated a coloring of $n$-dimensional Euclidean space avoiding red congruent copies of $\ell_2$ and blue congruent copies of $K$ for $|K| > 10000^n\log R$. We show here a stronger bound, that in fact $|K| > (11 + o(1))^n\ln R$ suffices for arbitrary $1$-separated $K$, while the improvement $|K| > (5 + o(1))^n\ln R$ holds in many cases, including when $K = \ell_m$, or more generally when $K$ is contained in a low-dimensional affine subspace. We also make a special study of the case when $n=2$, demonstrating a two-coloring of two-dimensional Euclidean space avoiding red copies of $\ell_2$ and blue copies of $\ell_{6330}$. This latter result addresses a question of Erdős and Graham.

We present some new sharp constructions for the Szemerédi-Trotter theorem. These constructions generalize previous work of Erdős, Elekes, Sheffer and Silier, Guth and Silier, and the author. In the past, arguments showing the optimality of many of these constructions have required some elementary number theory and have been rather technical, thus limiting the scope of the results. We replace these number-theoretic arguments with purely incidence-geometric ones, allowing for simpler proofs and more general results.

In this note, we show that in planar pointsets determining many unit distances, these unit distances must span many directions. Specifically, we show that a set of $n$ points can determine only $o(n^{4/3})$ unit distances from a set of at most $O(n^{1/3})$ directions.

In this note, we show that extremal Szemerédi-Trotter configurations are rigid in the following sense: If $P,L$ are sets of points and lines determining at least $C|P|^{2/3}|L|^{2/3}$ incidences, then there exists a collection $P'$ of points of size at most $k = k_0(C)$ such that, heuristically, fixing those points fixes a positive fraction of the arrangement. That is, the incidence structure and a small number of points determine a large part of the arrangement. The key tools we use are the Guth-Katz polynomial partitioning, and also a result of Dvir, Garg, Oliveira and Solymosi that was used to show the rigidity of near-Sylvester-Gallai configurations.

We provide a general framework to construct colorings avoiding short monochromatic arithmetic progressions in Euclidean Ramsey theory. Specifically, if $\ell_m$ denotes $m$ collinear points with consecutive points of distance one apart, we say that $\mathbb{E}^n \not \to (\ell_r,\ell_s)$ if there is a red/blue coloring of $n$-dimensional Euclidean space that avoids red congruent copies of $\ell_r$ and blue congruent copies of $\ell_s$. We show that $\mathbb{E}^n \not \to (\ell_3, \ell_{20})$, improving the best-known result $\mathbb{E}^n \not \to (\ell_3, \ell_{1177})$ by Führer and Tóth, and also establish $\mathbb{E}^n \not \to (\ell_4, \ell_{14})$ and $\mathbb{E}^n \not \to (\ell_5, \ell_{8})$ in the spirit of the classical result $\mathbb{E}^n \not \to (\ell_6, \ell_{6})$ due to Erdős et. al. We also show a number of similar $3$-coloring results, as well as $\mathbb{E}^n \not \to (\ell_3, α\ell_{6889})$, where $α$ is an arbitrary positive real number. This final result answers a question of Führer and Tóth in the positive.

Three $k$-dimensional subspaces $A$, $B$, and $C$ of an $n$-dimensional vector space $V$ over a finite field are called a $3$-cluster if $A \cap B \cap C = \{\mathbf{0}_V\}$ and yet $\dim(A+B+C) \leq 2k$. A special kind of $3$-cluster, which we call a covering triple, consists of subspaces $A,B,C$ such that $A = (A \cap B )\oplus (A \cap C)$. We prove that, for $2 \leq k \le n/2$, the largest size of a covering triple-free family of $k$-dimensional subspaces is the same as the size of the largest such star (a family of subspaces all containing a designated non-zero vector). Moreover, we show that if $k < n/2$, then stars are the only families achieving this largest size. This in turn implies the same result for $3$-clusters, which gives the vector space-analogue of a theorem of Mubayi for set systems.

A conjecture of Erdős, Graham, Montgomery, Rothschild, Spencer and Straus states that, with the exception of equilateral triangles, any two-coloring of the plane will have a monochromatic congruent copy of every three-point configuration. This conjecture is known only for special classes of configurations. In this manuscript, we confirm one of the most natural open cases; that is, every two-coloring of the plane admits a monochromatic congruent copy of any $3$-term arithmetic progression.

In this note, we describe an infinite family of sharp Szemerédi-Trotter constructions. These constructions are cartesian products of arbitrarily high dimensional generalized arithmetic progressions (GAPs), where the bases for these GAPs come from arbitrary number fields over $\mathbb{Q}$. This can be seen as an extension of a recent result of Guth and Silier, who provided similar constructions based on the field $\mathbb{Q}(\sqrt{k})$ for square-free $k$. However, our argument borrows from an idea of Elekes, which produces cartesian products where the parts are of unequal size. This significantly simplifies the analysis and allows us to easily give constructions coming from any number field.

Let $\mathcal{P}$ be a set of points in the plane, and $\mathcal{S}$ a strictly convex set of points. In this note, we show that if $\mathcal{P}$ contains many translates of $\mathcal{S}$, then these translates must come from a generalized arithmetic progression of low dimension. We also discuss an application to the unit distance conjecture.

A $d$-simplex is defined to be a collection $A_1,\dots,A_{d+1}$ of subsets of size $k$ of $[n]$ such that the intersection of all of them is empty, but the intersection of any $d$ of them is non-empty. Furthermore, a $d$-cluster is a collection of $d+1$ such sets with empty intersection and union of size $\le 2k$, and a $d$-simplex-cluster is such a collection that is both a $d$-simplex and a $d$-cluster. The Erdős-Chvátal $d$-simplex Conjecture from 1974 states that any family of $k$-subsets of $[n]$ containing no $d$-simplex must be of size no greater than $ {n -1 \choose k-1}$. In 2011, Keevash and Mubayi extended this conjecture by hypothesizing that the same bound would hold for families containing no $d$-simplex-cluster. In this paper, we resolve Keevash and Mubayi's conjecture for all $4 \le d+1 \le k$ and $n \ge 2k-d+2$, which in turn resolves all remaining cases of the Erdős-Chvátal Conjecture except when $n$ is very small (i.e. $n < 2k-d+2$).

If $2 \le d \le k$ and $n \ge dk/(d-1)$, a $d$-cluster is defined to be a collection of $d$ elements of ${[n] \choose k}$ with empty intersection and union of size no more than $2k$. Mubayi conjectured that the largest size of a $d$-cluster-free family $\mathcal{F} \subset {[n] \choose k}$ is ${n-1 \choose k-1}$, with equality holding only for a maximum-sized star. Here, we resolve Mubayi's conjecture and prove a slightly stronger result, thus completing a new generalization of the Erdős-Ko-Rado Theorem.