arXiv++ Combinatorics

Let $A\subset\mathbb{R}_{>0}$ be a finite set of distances, and let $G_{A}(\mathbb{R}^{n})$ be the graph with vertex set $\mathbb{R}^{n}$ and edge set $\{(x,y)\in\mathbb{R}^{n}:\ \|x-y\|_{2}\in A\}$, and let $χ(\mathbb{R}^{n},A)=χ\left(G_{A}(\mathbb{R}^{n})\right)$. Erdős asked about the growth rate of the $m$-distance chromatic number \[ \barχ(\mathbb{R}^{n};m)=\max_{|A|=m}χ(\mathbb{R}^{n},A). \] We improve the best existing lower bound for $\barχ(\mathbb{R}^{n};m)$, and show that \[ \barχ(\mathbb{R}^{n};m)\geq\left(Γ_χ\sqrt{m+1}+o(1)\right)^{n} \] where $Γ_χ=0.79983\dots$ is an explicit constant. Our full result is more general, and applies to cliques in this graph. Let $χ_{k}(G)$ denote the minimum number of colors needed to color $G$ so that no color contains a $(k+1)$-clique, and let $\barχ_{k}(\mathbb{R}^{n};m)$ denote the largest value this takes for any distance set of size $m$ . Using the Partition Rank Method, we show that \[ \barχ_{k}(\mathbb{R}^{n};m)>\left(Γ_χ\sqrt{\frac{m+1}{k}}+o(1)\right)^{n}. \]

For $k\geq3$, a collection of $k$ sets is said to form a \emph{weak $Δ$-system} if the intersection of any two sets from the collection has the same size. Erdős and Szemerédi asked about the size of the largest family $\mathcal{F}$ of subsets of $\{1,\dots,n\}$ that does not contain a weak $Δ$-system. In this note we improve upon the best upper bound of the author and Sawin from arXiv:1606.09575 and show that \[ |\mathcal{F}|\leq\left(\frac{2}{3}Θ(C)+o(1)\right)^{n} \] where $Θ(C)$ is the capset capacity. In particular, this shows that \[ |\mathcal{F}|\leq(1.8367\dots+o(1))^{n}. \]

Sárközy's theorem states that dense sets of integers must contain two elements whose difference is a $k^{th}$ power. Following the polynomial method breakthrough of Croot, Lev, and Pach, Green proved a strong quantitative version of this result for $\mathbb{F}_{q}[T]$. In this paper we provide a lower bound for Sárközy's theorem in function fields by adapting Ruzsa's construction for the analogous problem in $\mathbb{Z}$. We construct a set $A$ of polynomials of degree $<n$ such that $A$ does not contain a $k^{th}$ power difference with $|A|=q^{n-n/2k}$. Additionally, we prove a handful of results concerning the independence number of generalized Paley Graphs, including a generalization of a claim of Ruzsa, which helps with understanding the limit of the method.

Let $χ_Δ(\mathbb{R}^{n})$ denote the minimum number of colors needed to color $\mathbb{R}^{n}$ so that there will not be a monochromatic equilateral triangle with side length $1$. Using the slice rank method, we reprove a result of Frankl and Rodl, and show that $χ_Δ\left(\mathbb{R}^{n}\right)$ grows exponentially with $n$. This technique substantially improves upon the best known quantitative lower bounds for $χ_Δ\left(\mathbb{R}^{n}\right)$, and we obtain \[ χ_Δ\left(\mathbb{R}^{n}\right)>(1.01446+o(1))^{n}. \]

The Erdős-Ginzburg-Ziv constant of an abelian group $G$, denoted $\mathfrak{s}(G)$, is the smallest $k\in\mathbb{N}$ such that any sequence of elements of $G$ of length $k$ contains a zero-sum subsequence of length $\exp(G)$. In this paper, we use the partition rank, which generalizes the slice rank, to prove that for any odd prime $p$, \[ \mathfrak{s}\left(\mathbb{F}_{p}^{n}\right)\leq(p-1)2^{p}\left(J(p)\cdot p\right)^{n} \] where $0.8414<J(p)<0.91837$ is the constant appearing in Ellenberg and Gijswijt's bound on arithmetic progression-free subsets of $\mathbb{F}_{p}^{n}$. For large $n$, and $p>3$, this is the first exponential improvement to the trivial bound. We also provide a near optimal result conditional on the conjecture that $\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}$ satisfies property $D$, showing that in this case \[ \mathfrak{s}\left(\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}\right)\leq(k-1)4^{n}+k. \]

Following the breakthrough of Croot, Lev, and Pach, Tao introduced a symmetrized version of their argument, which is now known as the slice rank method. In this paper, we introduce a more general version of the slice rank of a tensor, which we call the Partition Rank. This allows us to extend the slice rank method to problems that require the variables to be distinct. Using the partition rank, we generalize a recent result of Ge and Shangguan, and prove that any set $A\subset\mathbb{F}_{q}^{n}$ of size \[|A|>\binom{n+(k-1)q}{(k-1)(q-1)}\] contains a $k$-right-corner, that is distinct vectors $x_{1},\dots,x_{k},x_{k+1}$ where $x_{1}-x_{k+1},\dots,x_{k}-x_{k+1}$ are mutually orthogonal, for $q=p^{r}$, a prime power with $p>k$.

A collection of $k$ sets is said to form a $k$-sunflower, or $Δ$-system, if the intersection of any two sets from the collection is the same, and we call a family of sets $\mathcal{F}$ sunflower-free if it contains no sunflowers. Following the recent breakthrough of Ellenberg and Gijswijt and Croot, Lev and Pach we apply the polynomial method directly to Erdős-Szemerédi sunflower problem and prove that any sunflower-free family $\mathcal{F}$ of subsets of $\{1,2,\dots,n\}$ has size at most \[ |\mathcal{F}|\leq3n\sum_{k\leq n/3}\binom{n}{k}\leq\left(\frac{3}{2^{2/3}}\right)^{n(1+o(1))}. \] We say that a set $A\subset(\mathbb Z/D \mathbb Z)^{n}=\{1,2,\dots,D\}^{n}$ for $D>2$ is sunflower-free if every distinct triple $x,y,z\in A$ there exists a coordinate $i$ where exactly two of $x_{i},y_{i},z_{i}$ are equal. Using a version of the polynomial method with characters $χ:\mathbb{Z}/D\mathbb{Z}\rightarrow\mathbb{C}$ instead of polynomials, we show that any sunflower-free set $A\subset(\mathbb Z/D \mathbb Z)^{n}$ has size \[ |A|\leq c_{D}^{n} \] where $c_{D}=\frac{3}{2^{2/3}}(D-1)^{2/3}$. This can be seen as making further progress on a possible approach to proving the Erdős-Rado sunflower conjecture, which by the work of Alon, Sphilka and Umans is equivalent to proving that $c_{D}\leq C$ for some constant $C$ independent of $D$.

In 2003, Cohn and Umans described a framework for proving upper bounds on the exponent $ω$ of matrix multiplication by reducing matrix multiplication to group algebra multiplication, and in 2005 Cohn, Kleinberg, Szegedy, and Umans proposed specific conjectures for how to obtain $ω=2$. In this paper we rule out obtaining $ω=2$ in this framework from abelian groups of bounded exponent. To do this we bound the size of tricolored sum-free sets in such groups, extending the breakthrough results of Croot, Lev, Pach, Ellenberg, and Gijswijt on cap sets. As a byproduct of our proof, we show that a variant of tensor rank due to Tao gives a quantitative understanding of the notion of unstable tensor from geometric invariant theory.

We prove that if $A$ is any set of prime numbers satisfying \[ \sum_{a\in A}\frac{1}{a}=\infty, \] then $A$ must contain a $3$-term arithmetic progression. This is accomplished by combining the transference principle with a density increment argument, exploiting the structure of the primes to obtain a large density increase at each step of the iteration. The argument shows that for any $B>0$, and $N>N_{0}(B)$, if $A$ is a subset of primes contained in $\{1,\dots,N\}$ with relative density $α(N)=(|A|\log N)/N$ at least \[ α(N)\gg_{B}\left(\log\log N\right)^{-B} \] then $A$ contains a $3$-term arithmetic progression.

Let $A\subset\left\{ 1,\dots,N\right\} $ be a set of prime numbers containing no non-trivial arithmetic progressions. Suppose that $A$ has relative density $α=|A|/π(N)$, where $π(N)$ denotes the number of primes in the set $\left\{ 1,\dots,N\right\} $. By modifying Helfgott and De Roton's work, we improve their bound and show that $$α\ll\frac{\left(\log\log\log N\right)^{6}}{\log\log N}.$$