arXiv subjects

Gabriel Currier

Publications and source records attributed to Gabriel Currier.

12 recordsLinked to original sources

arXiv2026

Improved bounds for lines and $1$-separated sets in Euclidean Ramsey theory

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_2 R$. We show here a stronger bound, that in fact $|K| > (6.79 + o(1))^n\log R$ suffices for arbitrary $1$-separated $K$, while the improvement $|K| > (5 + o(1))^n\log 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\H{o}s and Graham.

math.CO↗

arXiv2025

More pointsets with many rich lines

We present some new sharp constructions for the Szemer\'{e}di-Trotter theorem. These constructions generalize previous work of Erd\H{o}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.

math.CO↗

arXiv2025

Many unit distances requires many directions

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.

math.CO↗

arXiv2024

On the structure of extremal point-line arrangements

In this note, we show that extremal Szemer\'{e}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.

math.CO↗

arXiv2024

Avoiding short progressions in Euclidean Ramsey theory

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\"uhrer and T\'oth, 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\H{o}s et. al. We also show a number of similar $3$-coloring results, as well as $\mathbb{E}^n \not \to (\ell_3, \alpha\ell_{6889})$, where $\alpha$ is an arbitrary positive real number. This final result answers a question of F\"uhrer and T\'oth in the positive.

math.CO↗

arXiv2024

$3$-cluster-free families of subspaces

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.

math.CO↗

arXiv2024

Any two-coloring of the plane contains monochromatic 3-term arithmetic progressions

A conjecture of Erd\H{o}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.

math.CO↗

arXiv2023

Sharp Szemer\'{e}di-Trotter constructions from arbitrary number fields

In this note, we describe an infinite family of sharp Szemer\'{e}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.

math.CO↗

arXiv2023

Additive structure in convex translates

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.

math.CO↗

arXiv2020

New results on simplex-clusters in set systems

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\H{o}s-Chv\'{a}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\H{o}s-Chv\'{a}tal Conjecture except when $n$ is very small (i.e. $n < 2k-d+2$).

math.CO↗

arXiv2018

On the $d$-cluster generalization of Erd\H{o}s-Ko-Rado

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\H{o}s-Ko-Rado Theorem.

math.CO↗

arXiv2015

Visual properties of generalized Kloosterman sums

For a positive integer $m$ and a subgroup $Λ$ of the unit group $(\mathbb{Z}/m\mathbb{Z})^\times$, the corresponding generalized Kloosterman sum is the function $K(a,b,m,Λ) = \sum_{u \in Λ}e(\frac{au + bu^{-1}}{m})$. Unlike classical Kloosterman sums, which are real valued, generalized Kloosterman sums display a surprising array of visual features when their values are plotted in the complex plane. In a variety of instances, we identify the precise number-theoretic conditions that give rise to particular phenomena.

math.NT↗