arXiv++ Combinatorics

We prove a Freiman--Ruzsa-type theorem with polynomial bounds in arbitrary abelian groups with bounded torsion, thereby proving (in full generality) a conjecture of Marton. Specifically, let $G$ be an abelian group of torsion $m$ (meaning $mg=0$ for all $g \in G$) and suppose that $A$ is a non-empty subset of $G$ with $|A+A| \leq K|A|$. Then $A$ can be covered by at most $(2K)^{O(m^3)}$ translates of a subgroup of $H \leq G$ of cardinality at most $|A|$. The argument is a variant of that used in the case $G = \mathbf{F}_2^n$ in a recent paper of the authors.

We prove a conjecture of K. Marton, widely known as the polynomial Freiman--Ruzsa conjecture, in characteristic $2$. The argument extends to odd characteristic, with details to follow in a subsequent paper.

The entropic doubling $σ_{\operatorname{ent}}[X]$ of a random variable $X$ taking values in an abelian group $G$ is a variant of the notion of the doubling constant $σ[A]$ of a finite subset $A$ of $G$, but it enjoys somewhat better properties; for instance, it contracts upon applying a homomorphism. In this paper we develop further the theory of entropic doubling and give various applications, including: (1) A new proof of a result of Pálvölgyi and Zhelezov on the ``skew dimension'' of subsets of $\mathbf{Z}^D$ with small doubling; (2) A new proof, and an improvement, of a result of the second author on the dimension of subsets of $\mathbf{Z}^D$ with small doubling; (3) A proof that the Polynomial Freiman--Ruzsa conjecture over $\mathbf{F}_2$ implies the (weak) Polynomial Freiman--Ruzsa conjecture over $\mathbf{Z}$.

A transversal in an $n \times n$ latin square is a collection of $n$ entries not repeating any row, column, or symbol. Kwan showed that almost every $n \times n$ latin square has $\bigl((1 + o(1)) n / e^2\bigr)^n$ transversals as $n \to \infty$. Using a loose variant of the circle method we sharpen this to $(e^{-1/2} + o(1)) n!^2 / n^n$. Our method works for all latin squares satisfying a certain quasirandomness condition, which includes both random latin squares with high probability as well as multiplication tables of quasirandom groups.

We prove a polynomial bound in the "true complexity" problem of Gowers and Wolf. The proof uses only repeated applications of the Cauchy--Schwarz inequality, answering negatively a question posed by Gowers and Wolf. To choose and reason about the sequence of Cauchy--Schwarz steps needed, we need to introduce several layers of formalism and theory. The highest level of abstraction in this framework concerns building what we term "arithmetic circuits" encoding computations in multilinear algebra. It is plausible this machinery could be used to generate arithmetic inequalities in greater generality, and we state some conjectures along these lines.

The correspondence between perfect difference sets and transitive projective planes is well-known. We observe that all known dense (i.e., close to square-root size) Sidon subsets of abelian groups come from projective planes through a similar construction. We classify the Sidon sets arising in this manner from desarguesian planes and find essentially no new examples, but there are many further examples arising from nondesarguesian planes. We conjecture that all dense Sidon sets arise in this manner. We also give a brief bestiary of somewhat smaller Sidon sets with a variety of algebraic origins, and for some of them provide an overarching pattern.

Hall and Paige conjectured in 1955 that a finite group $G$ has a complete mapping if and only if its Sylow $2$-subgroups are trivial or noncyclic. This conjecture was proved in 2009 by Wilcox, Evans, and Bray using the classification of finite simple groups and extensive computer algebra. Using a completely different approach motivated by the circle method from analytic number theory, we prove that the number of complete mappings of any group $G$ of order $n$ satisfying the Hall--Paige condition is $(e^{-1/2} + o(1)) \, |G^\text{ab}| \, n!^2/n^n$.

In 1971, Tomescu conjectured that every connected graph $G$ on $n$ vertices with chromatic number $k\geq4$ has at most $k!(k-1)^{n-k}$ proper $k$-colorings. Recently, Knox and Mohar proved Tomescu's conjecture for $k=4$ and $k=5$. In this paper, we complete the proof of Tomescu's conjecture for all $k\ge 4$, and show that equality occurs if and only if $G$ is a $k$-clique with trees attached to each vertex.

The polynomial Freĭman--Ruzsa conjecture is a fundamental open question in additive combinatorics. However, over the integers (or more generally $\mathbb{R}^d$ or $\mathbb{Z}^d$) the optimal formulation has not been fully pinned down. The conjecture states that a set of small doubling is controlled by a very structured set, with polynomial dependence of parameters. The ambiguity concerns the class of structured sets needed. A natural formulation in terms of generalized arithmetic progressions was recently disproved by Lovett and Regev. A more permissive alternative is in terms of \emph{convex progressions}; this avoids the obstruction, but uses is a significantly larger class of objects, yielding a weaker statement. Here we give another formulation of PFR in terms of Euclidean ellipsiods (and some variations). We show it is in fact equivalent to the convex progression version; i.e. that the full range of convex progressions is not needed. The key ingredient is a strong result from asymptotic convex geometry.

Let $Φ= (φ_1,\dots,φ_6)$ be a system of $6$ linear forms in $3$ variables, i.e. $φ_i \colon \mathbb{Z}^3 \to \mathbb{Z}$ for each $i$. Suppose also that $Φ$ has Cauchy--Schwarz complexity $2$ and true complexity $1$, in the sense defined by Gowers and Wolf; in fact this is true generically in this setting. Finally let $G = \mathbb{F}_p^n$ for any $p$ prime and $n \ge 1$. Then we show that multilinear averages by $Φ$ are controlled by the $U^2$-norm, with a polynomial dependence; i.e. if $f_1,\dots,f_6 \colon G \to \mathbb{C}$ are functions with $\|f_i\|_{\infty} \le 1$ for each $i$, then for each $j$, $1 \le j \le 6$: \[ \left| \mathbb{E}_{x_1,x_2,x_3 \in G} f_1(\varphi_1(x_1,x_2,x_3)) \dots f_6(φ_6(x_1,x_2,x_3)) \right| \le \|f_j\|_{U^2}^{1/C} \] for some $C > 0$ depending on $Φ$. This recovers and strengthens a result of Gowers and Wolf in these cases. Moreover, the proof uses only multiple applications of the Cauchy--Schwarz inequality, avoiding appeals to the inverse theory of the Gowers norms. We also show that some dependence of $C$ on $Φ$ is necessary; that is, the constant $C$ can unavoidably become large as the coefficients of $Φ$ grow.

This paper forms the first part of a series by the authors [GMV2,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. Antolín Camarena and Szegedy proved that from these axioms it follows that (certain) nilspaces are isomorphic (in a strong sense) to an inverse limit of nilmanifolds. The aim of our project is to provide a new self-contained treatment of this theory and give new applications to topological dynamics. This paper provides an introduction to the project from the point of view of applications to higher order Fourier analysis. We define and explain the basic definitions and constructions related to cubespaces and nilspaces and develop the weak structure theory, which is the first stage of the proof of the main structure theorem for nilspaces. Vaguely speaking, this asserts that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group. We also make some modest innovations and extensions to this theory. In particular, we consider a class of maps that we term fibrations, which are essentially equivalent to what are termed fiber-surjective morphisms by Anatolín Camarena and Szegedy, and we formulate and prove a relative analogue of the weak structure theory alluded to above for these maps. These results find applications elsewhere in the project.

This paper forms the second part of a series by the authors [GMV1,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C_n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. From these axioms it follows that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group. Our main result is a new proof of a result due to Antolín Camarena and Szegedy [CS12], stating that if each of these groups is a torus then $X$ is isomorphic (in a strong sense) to a nilmanifold $G/Γ$. We also extend the theorem to a setting where the nilspace arises from a dynamical system $(X,T)$. These theorems are a key stepping stone towards the general structure theorem in [GMV3] (which again closely resembles the main theorem of [CS12]). The main technical tool, enabling us to deduce algebraic information from topological data, consists of existence and uniqueness results for solutions of certain natural functional equations, again modelled on the theory in [CS12].

This paper forms the third part of a series by the authors [GMV1,GMV2] concerning the structure theory of nilspaces. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$, satisfying some natural axioms. Our goal is to extend the structure theory of nilspaces obtained by Antolín Camarena and Szegedy, and to provide new proofs. Our main result is that, under the technical assumption that $C^n(X)$ is a connected space for all $n$, then $X$ is isomorphic (in a strong sense) to an inverse limit of nilmanifolds. This is a direct and slight generalization of the main result of Antolín Camarena and Szegedy. We also apply our methods to obtain structure theorems in the setting of topological dynamics. Specifically, if $H$ is a group (subject to very mild topological assumptions) and $(H,X)$ is a minimal dynamical system, then we give a simple characterization of the maximal pronilfactor of $X$. This generalizes the case $H = \mathbb{Z}$, which is a theorem of Host, Kra and Maass, although even in that case we give a significantly different proof.

We show that a finite set of integers $A \subseteq \mathbb{Z}$ with $|A+A| \le K |A|$ contains a large piece $X \subseteq A$ with Freĭman dimension $O(\log K)$, where large means $|A|/|X| \ll \exp(O(\log^2 K))$. This can be thought of as a major quantitative improvement on Freĭman's dimension lemma, or as a "weak" Freĭman--Ruzsa theorem with almost polynomial bounds. The methods used, centered around an "additive energy increment strategy", differ from the usual tools in this area and may have further potential. Most of our argument takes place over $\mathbb{F}_2^n$, which is itself curious. There is a possibility that the above bounds could be improved, assuming sufficiently strong results in the spirit of the Polynomial Freĭman--Ruzsa Conjecture over finite fields.

We prove an asymptotic for the number of additive triples of bijections $\{1,\dots,n\}\to\mathbb{Z}/n\mathbb{Z}$, that is, the number of pairs of bijections $π_1,π_2\colon \{1,\dots,n\}\to\mathbb{Z}/n\mathbb{Z}$ such that the pointwise sum $π_1+π_2$ is also a bijection. This problem is equivalent to counting the number of orthomorphisms or complete mappings of $\mathbb{Z}/n\mathbb{Z}$, to counting the number of arrangements of $n$ mutually nonattacking semiqueens on an $n\times n$ toroidal chessboard, and to counting the number of transversals in a cyclic Latin square. The method of proof is a version of the Hardy--Littlewood circle method from analytic number theory, adapted to the group $(\mathbb{Z}/n\mathbb{Z})^n$.

The "pyjama stripe" is the subset of $\mathbb{R}^2$ consisting of a vertical strip of width $2 \varepsilon$ around every integer $x$-coordinate. The "pyjama problem" asks whether finitely many rotations of the pyjama stripe around the origin can cover the plane. The purpose of this paper is to answer this question in the affirmative, for all positive $\varepsilon$. The problem is reduced to a statement closely related to Furstenberg's $\times 2,\, \times 3$ Theorem from topological dynamics, and is proved by analogy with that result.

Answering a question of P. Erdos from 1965, we show that for every eps>0 there is a set A of n integers with the following property: every subset A' of A with at least (1/3 + eps)n elements contains three distinct elements x,y,z with x + y = z.