arXiv++ Combinatorics

We obtain structural results on translational tilings of periodic functions in $\mathbb{Z}^d$ by finite tiles. In particular, we show that any level one tiling of a periodic set in $\mathbb{Z}^2$ must be weakly periodic (the disjoint union of sets that are individually periodic in one direction), but present a counterexample of a higher level tiling of $\mathbb{Z}^2$ that fails to be weakly periodic. We also establish a quantitative version of the two-dimensional periodic tiling conjecture which asserts that any finite tile in $\mathbb{Z}^2$ that admits a tiling, must admit a periodic tiling, by providing a polynomial bound on the period; this also gives an exponential-type bound on the computational complexity of the problem of deciding whether a given finite subset of $\mathbb{Z}^2$ tiles or not. As a byproduct of our structural theory, we also obtain an explicit formula for a universal period for all tilings of a one-dimensional tile.

A bipartite graph $H = \left(V_1, V_2; E \right)$ with $|V_1| + |V_2| = n$ is semilinear if $V_i \subseteq \mathbb{R}^{d_i}$ for some $d_i$ and the edge relation $E$ consists of the pairs of points $(x_1, x_2) \in V_1 \times V_2$ satisfying a fixed Boolean combination of $s$ linear equalities and inequalities in $d_1 + d_2$ variables for some $s$. We show that for a fixed $k$, the number of edges in a $K_{k,k}$-free semilinear $H$ is almost linear in $n$, namely $|E| = O_{s,k,\varepsilon}(n^{1+\varepsilon})$ for any $\varepsilon > 0$; and more generally, $|E| = O_{s,k,r,\varepsilon}(n^{r-1 + \varepsilon})$ for a $K_{k, \ldots,k}$-free semilinear $r$-partite $r$-uniform hypergraph. As an application, we obtain the following incidence bound: given $n_1$ points and $n_2$ open boxes with axis parallel sides in $\mathbb{R}^d$ such that their incidence graph is $K_{k,k}$-free, there can be at most $O_{k,\varepsilon}(n^{1+\varepsilon})$ incidences. The same bound holds if instead of boxes one takes polytopes cut out by the translates of an arbitrary fixed finite set of halfspaces. We also obtain matching upper and (superlinear) lower bounds in the case of dyadic boxes on the plane, and point out some connections to the model-theoretic trichotomy in $o$-minimal structures (showing that the failure of an almost linear bound for some definable graph allows one to recover the field operations from that graph in a definable manner).

Let $G = (G,+)$ be a compact connected abelian group, and let $μ_G$ denote its probability Haar measure. A theorem of Kneser (generalising previous results of Macbeath and Raikov) establishes the bound $$ μ_G(A + B) \geq \min( μ_G(A)+μ_G(B), 1 ) $$ whenever $A,B$ are compact subsets of $G$, and $A+B := \{ a+b: a \in A, b \in B \}$ denotes the sumset of $A$ and $B$. Clearly one has equality when $μ_G(A)+μ_G(B) \geq 1$. Another way in which equality can be obtained is when $A = φ^{-1}(I), B = φ^{-1}(J)$ for some continuous surjective homomorphism $φ: G \to {\bf R}/{\bf Z}$ and compact arcs $I,J \subset {\bf R}/{\bf Z}$. We establish an inverse theorem that asserts, roughly speaking, that when equality in the above bound is almost attained, then $A,B$ are close to one of the above examples. We also give a more "robust" form of this theorem in which the sumset $A+B$ is replaced by the partial sumset $A +_\varepsilon B :=\{ 1_A * 1_B \geq \varepsilon \}$ for some small $\varepsilon >0$. In a subsequent paper with Joni Teräväinen, we will apply this latter inverse theorem to establish that certain patterns in multiplicative functions occur with positive density.

Given $I\subset\mathbb{C}$ and an integer $N>0$, a function $f:I\to\mathbb{C}$ is entrywise positivity preserving on positive semidefinite (p.s.d.) matrices $A=(a_{jk})\in I^{N\times N}$, if the entrywise application $f[A]=(f(a_{jk}))$ of $f$ to $A$ is p.s.d. for all such $A$. Such preservers in all dimensions have been classified by Schoenberg and Rudin as being absolutely monotonic [Duke Math. J. 1942, 1959]. In fixed dimension $N$, results akin to work of Horn and Loewner [Trans. AMS 1969] show the first $N$ nonzero Maclaurin coefficients of a positivity preserver $f$ are positive; and the last $N$ coefficients are also positive if $I$ is unbounded. However, little was known about the other coefficients: the only examples to date for unbounded domains $I$ were absolutely monotonic, so work in all dimensions; and for bounded $I$ examples of non-absolutely monotonic preservers were very few (and recent). In this paper, we completely characterize the sign patterns of the Maclaurin coefficients of positivity preservers in fixed dimension $N$, over bounded and unbounded domains $I$. In particular, the above Horn-type conditions cannot be improved upon. This also yields the first polynomials which preserve positivity on p.s.d. matrices in $I^{N\times N}$ but not in $I^{(N+1)\times (N+1)}$. We obtain analogous results for real exponents using the Harish-Chandra-Itzykson-Zuber formula. We then go from qualitative bounds, which suffice to understand all possible sign patterns, to exact quantitative bounds. As an application, we extend our previous qualitative and quantitative results to understand preservers of total non-negativity in fixed dimension - including their sign patterns. We deduce several further applications, including extending a Schur polynomial conjecture by Cuttler-Greene-Skandera to obtain a novel characterization of weak majorization for real tuples.

Define $r_4(N)$ to be the largest cardinality of a set $A \subset \{1,\dots,N\}$ which does not contain four elements in arithmetic progression. In 1998 Gowers proved that \[ r_4(N) \ll N(\log \log N)^{-c}\] for some absolute constant $c>0$. In 2005, the authors improved this to \[ r_4(N) \ll N e^{-c\sqrt{\log\log N}}.\] In this paper we further improve this to \[ r_4(N) \ll N(\log N)^{-c},\] which appears to be the limit of our methods.

Let $X$ be a finite collection of sets (or "clusters"). We consider the problem of counting the number of ways a cluster $A \in X$ can be partitioned into two disjoint clusters $A_1, A_2 \in X$, thus $A = A_1 \uplus A_2$ is the disjoint union of $A_1$ and $A_2$; this problem arises in the run time analysis of the ASTRAL algorithm in phylogenetic reconstruction. We obtain the bound $$ | \{ (A_1,A_2,A) \in X \times X \times X: A = A_1 \uplus A_2 \} | \leq |X|^{3/p} $$ where $|X|$ denotes the cardinality of $X$, and $p := \log_3 \frac{27}{4} = 1.73814\dots$, so that $\frac{3}{p} = 1.72598\dots$. Furthermore, the exponent $p$ cannot be replaced by any larger quantity. This improves upon the trivial bound of $|X|^2$. The argument relies on establishing a one-dimensional convolution inequality that can be established by elementary calculus combined with some numerical verification. In a similar vein, we show that for any subset $A$ of a discrete cube $\{0,1\}^n$, the additive energy of $A$ (the number of quadruples $(a_1,a_2,a_3,a_4)$ in $A^4$ with $a_1+a_2=a_3+a_4$) is at most $|A|^{\log_2 6}$, and that this exponent is best possible.

The lonely runner conjecture of Wills and Cusick, in its most popular formulation, asserts that if $n$ runners with distinct constant speeds run around a unit circle ${\bf R}/{\bf Z}$ starting at a common time and place, then each runner will at some time be separated by a distance of at least $\frac{1}{n+1}$ from the others. In this paper we make some remarks on this conjecture. Firstly, we can improve the trivial lower bound of $\frac{1}{2n}$ slightly for large $n$, to $\frac{1}{2n} + \frac{c \log n}{n^2 (\log\log n)^2}$ for some absolute constant $c>0$; previous improvements were roughly of the form $\frac{1}{2n} + \frac{c}{n^2}$. Secondly, we show that to verify the conjecture, it suffices to do so under the assumption that the speeds are integers of size $n^{O(n^2)}$. We also obtain some results in the case when all the velocities are integers of size $O(n)$.

The "square peg problem" or "inscribed square problem" of Toeplitz asks if every simple closed curve in the plane inscribes a (non-degenerate) square, in the sense that all four vertices of that square lie on the curve. By a variety of arguments of a "homological" nature, it is known that the answer to this question is positive if the curve is sufficiently regular. The regularity hypotheses are needed to rule out the possibility of arbitrarily small squares that are inscribed or almost inscribed on the curve; because of this, these arguments do not appear to be robust enough to handle arbitrarily rough curves. In this paper we augment the homological approach by introducing certain integrals associated to the curve. This approach is able to give positive answers to the square peg problem in some new cases, for instance if the curve is the union of two Lipschitz graphs $f, g \colon [t_0,t_1] \to \mathbf{R}$ that agree at the endpoints, and whose Lipschitz constants are strictly less than one. We also present some simpler variants of the square problem which seem particularly amenable to this integration approach, including a a periodic version of the problem that is not subject to the problem of arbitrarily small squares (and remains open even for regular curves), as well as an almost purely combinatorial conjecture regarding the sign patterns of sums $y_1+y_2+y_3$ for $y_1,y_2,y_3$ ranging in finite sets of real numbers.

We establish a number of "concatenation theorems" that assert, roughly speaking, that if a function exhibits "polynomial" (or "Gowers anti-uniform", "uniformly almost periodic", or "nilsequence") behaviour in two different directions separately, then it also exhibits the same behavior (but at higher degree) in both directions jointly. Among other things, this allows one to control averaged local Gowers uniformity norms by global Gowers uniformity norms. In a sequel to this paper, we will apply such control to obtain asymptotics for "polynomial progressions" $n+P_1(r),\dots,n+P_k(r)$ in various sets of integers, such as the prime numbers.

Let $A$ be a finite subset of an arbitrary additive group $G$, and let $φ(A)$ denote the cardinality of the largest subset $B$ in $A$ that is sum-avoiding in $A$ (that is to say, $b_1+b_2 \not \in A$ for all distinct $b_1,b_2 \in B$). The question of controlling the size of $A$ in terms of $φ(A)$ in the case when $G$ was torsion-free was posed by Erdős and Moser. When $G$ has torsion, $A$ can be arbitrarily large for fixed $φ(A)$ due to the presence of subgroups. Nevertheless, we provide a qualitative answer to an analogue of the Erdős-Moser problem in this setting, by establishing a structure theorem, which roughly speaking asserts that $A$ is either efficiently covered by $φ(A)$ finite subgroups of $G$, or by fewer than $φ(A)$ finite subgroups of $G$ together with a residual set of bounded cardinality. In order to avoid a large number of nested inductive arguments, our proof uses the language of nonstandard analysis. We also answer negatively a question of Erdős regarding large subsets $A$ of finite additive groups $G$ with $φ(A)$ bounded, but give a positive result when $|G|$ is not divisible by small primes.

We discuss several questions concerning sum-free sets in groups, raised by Erdős in his survey "Extremal problems in number theory" (Proceedings of the Symp. Pure Math. VIII AMS) published in 1965. Among other things, we give a characterization for large sets $A$ in an abelian group $G$ which do not contain a subset $B$ of fixed size $k$ such that the sum of any two different elements of $B$ do not belong to $A$ (in other words, $B$ is sum-free with respect to $A$). Erdős, in the above mentioned survey, conjectured that if $|A|$ is sufficiently large compared to $k$, then $A$ contains two elements that add up to zero. This is known to be true for $k \leq 3$. We give counterexamples for all $k \ge 4$. On the other hand, using the new characterization result, we are able to prove a positive result in the case when $|G|$ is not divisible by small primes.

We show that for any sequence $f: {\bf N} \to \{-1,+1\}$ taking values in $\{-1,+1\}$, the discrepancy $$ \sup_{n,d \in {\bf N}} \left|\sum_{j=1}^n f(jd)\right| $$ of $f$ is infinite. This answers a question of Erdős. In fact the argument also applies to sequences $f$ taking values in the unit sphere of a real or complex Hilbert space. The argument uses three ingredients. The first is a Fourier-analytic reduction, obtained as part of the Polymath5 project on this problem, which reduces the problem to the case when $f$ is replaced by a (stochastic) completely multiplicative function ${\bf g}$. The second is a logarithmically averaged version of the Elliott conjecture, established recently by the author, which effectively reduces to the case when ${\bf g}$ usually pretends to be a modulated Dirichlet character. The final ingredient is (an extension of) a further argument obtained by the Polymath5 project which shows unbounded discrepancy in this case.

We give a structural description of the finite subsets $A$ of an arbitrary group $G$ which obey the polynomial growth condition $|A^n| \leq n^d |A|$ for some bounded $d$ and sufficiently large $n$, showing that such sets are controlled by (a bounded number of translates of) a coset nilprogression in a certain precise sense. This description recovers some previous results of Breuillard-Green-Tao and Breuillard-Tointon concerning sets of polynomial growth; we are also able to describe the subsequent growth of $|A^m|$ fairly explicitly for $m \geq n$, at least when $A$ is a symmetric neighbourhood of the identity. We also obtain an analogous description of symmetric probability measures $μ$ whose $n$-fold convolutions $μ^{*n}$ obey the condition $\| μ^{*n} \|_{\ell^2}^{-2} \leq n^d \|μ\|_{\ell^2}^{-2}$. In the abelian case, this description recovers the inverse Littlewood-Offord theorem of Nguyen-Vu, and gives a variant of a recent nonabelian inverse Littlewood-Offord theorem of Tiep-Vu. Our main tool to establish these results is the inverse theorem of Breuillard, Green, and the author that describes the structure of approximate groups.

For any natural number $k$, consider the $k$-linear Hilbert transform $$ H_k( f_1,\dots,f_k )(x) := \operatorname{p.v.} \int_{\bf R} f_1(x+t) \dots f_k(x+kt)\ \frac{dt}{t}$$ for test functions $f_1,\dots,f_k: {\bf R} \to {\bf C}$. It is conjectured that $H_k$ maps $L^{p_1}({\bf R}) \times \dots \times L^{p_k}({\bf R}) \to L^p({\bf R})$ whenever $1 < p_1,\dots,p_k,p < \infty$ and $\frac{1}{p} = \frac{1}{p_1} + \dots + \frac{1}{p_k}$. This is proven for $k=1,2$, but remains open for larger $k$. In this paper, we consider the truncated operators $$ H_{k,r,R}( f_1,\dots,f_k )(x) := \int_{r \leq |t| \leq R} f_1(x+t) \dots f_k(x+kt)\ \frac{dt}{t}$$ for $R > r > 0$. The above conjecture is equivalent to the uniform boundedness of $\| H_{k,r,R} \|_{L^{p_1}({\bf R}) \times \dots \times L^{p_k}({\bf R}) \to L^p({\bf R})}$ in $r,R$, whereas the Minkowski and Hölder inequalities give the trivial upper bound of $2 \log \frac{R}{r}$ for this quantity. By using the arithmetic regularity and counting lemmas of Green and the author, we improve the trivial upper bound on $\| H_{k,r,R} \|_{L^{p_1}({\bf R}) \times \dots \times L^{p_k}({\bf R}) \to L^p({\bf R})}$ slightly to $o( \log \frac{R}{r} )$ in the limit $\frac{R}{r} \to \infty$ for any admissible choice of $k$ and $p_1,\dots,p_k,p$. This establishes some cancellation in the $k$-linear Hilbert transform $H_k$, but not enough to establish its boundedness in $L^p$ spaces.

Gaps (or spacings) between consecutive eigenvalues are a central topic in random matrix theory. The goal of this paper is to study the tail distribution of these gaps in various random matrix models. We give the first repulsion bound for random matrices with discrete entries and the first super-polynomial bound on the probability that a random graph has simple spectrum, along with several applications.

Let $p_n$ denotes the $n$-th prime. We prove that $$\max_{p_{n+1} \leq X} (p_{n+1}-p_n) \gg \frac{\log X \log \log X\log\log\log\log X}{\log \log \log X}$$ for sufficiently large $X$, improving upon recent bounds of the first three and fifth authors and of the fourth author. Our main new ingredient is a generalization of a hypergraph covering theorem of Pippenger and Spencer, proven using the Rödl nibble method.

Let $M_n = (ξ_{ij})_{1 \leq i,j \leq n}$ be a real symmetric random matrix in which the upper-triangular entries $ξ_{ij}, i<j$ and diagonal entries $ξ_{ii}$ are independent. We show that with probability tending to 1, $M_n$ has no repeated eigenvalues. As a corollary, we deduce that the Erd{\H o}s-Renyi random graph has simple spectrum asymptotically almost surely, answering a question of Babai.

Arithmetic combinatorics is often concerned with the problem of bounding the behaviour of arbitrary finite sets in a group or ring with respect to arithmetic operations such as addition or multiplication. Similarly, combinatorial geometry is often concerned with the problem of bounding the behaviour of arbitrary finite collections of geometric objects such as points, lines, or circles with respect to geometric operations such as incidence or distance. Given the presence of arbitrary finite sets in these problems, the methods used to attack these problems have primarily been combinatorial in nature. In recent years, however, many outstanding problems in these questions have been solved by algebraic means (and more specifically, using tools from algebraic geometry and/or algebraic topology), giving rise to an emerging set of techniques which is now known as the polynomial method. While various instances of the polynomial method have been known for decades (e.g. Stepanov's method, the combinatorial nullstellensatz, or Baker's theorem), the general theory of this method is still in the process of maturing; in particular, the limitations of the polynomial method are not well understood, and there is still considerable scope to apply deeper results from algebraic geometry or algebraic topology to strengthen the method further. In this survey we present several of the known applications of these methods, focusing on the simplest cases to illustrate the techniques. We will assume as little prior knowledge of algebraic geometry as possible.

We show that random Cayley graphs of finite simple (or semisimple) groups of Lie type of fixed rank are expanders. The proofs are based on the Bourgain-Gamburd method and on the main result of our companion paper, establishing strongly dense subgroups in simple algebraic groups.

We study the mixing properties of progressions $(x,xg,xg^2)$, $(x,xg,xg^2,xg^3)$ of length three and four in a model class of finite non-abelian groups, namely the special linear groups $SL_d(F)$ over a finite field $F$, with $d$ bounded. For length three progressions $(x,xg,xg^2)$, we establish a strong mixing property (with error term that decays polynomially in the order $|F|$ of $F$), which among other things counts the number of such progressions in any given dense subset $A$ of $SL_d(F)$, answering a question of Gowers for this class of groups. For length four progressions $(x,xg,xg^2,xg^3)$, we establish a partial result in the $d=2$ case if the shift $g$ is restricted to be diagonalisable over the field, although in this case we do not recover polynomial bounds in the error term. Our methods include the use of the Cauchy-Schwarz inequality, the abelian Fourier transform, the Lang-Weil bound for the number of points in an algebraic variety over a finite field, some algebraic geometry, and (in the case of length four progressions) the multidimensional Szemerédi theorem.