arXiv++ Combinatorics

We prove, for all fixed $0 < δ< 1$, and all sufficiently large $n$, that there exists $S \subset [n]$ with $|S| \ge δn$ such that $A + B \not \subset S$ for all ${A, B \subset \mathbb{N}}$ satisfying $$\min\big\{|A|, |B|\big\} \ge \big(3 + o(1)\big) \frac{\log n }{ \log (1 / δ)}.$$ A very recent result of Hernández and Hetzel shows that our bound is sharp up to a factor of 3, and together our results settle a conjecture of Kra, Moreira, Richter, and Robertson. In fact, we prove that a $δ$-dense random subset of $[n]$ is a valid choice for $S$ with high probability, and that one can take $n^{-α} \le δ\le 1 - c$ where $c > 0$ is fixed and $α> 0$ depends only on the $o(1)$ error, answering another question of the same authors in a strong form.

The sandglass conjecture, posed by Simonyi, states that if a pair $(A, B)$ of families of subsets of $[n]$ is recovering then $|A| |B| \leq 2^n$. We improve the best known upper bound to $|A| |B| \leq 2.2543^n$. To do this we overcome a significant barrier by exponentially separating the upper bounds on recovering pairs from cancellative pairs, a related notion.

A multigraph G is said to be an (s,q)-graph if every s-set of vertices in G supports at most q edges (counting multiplicities). In this paper we consider the maximal sum and product of edge multiplicities in an (s,q)-graph on n vertices. These are multigraph analogues of a problem of Erdős raised by Füredi and Kündgen and Mubayi and Terry respectively, with applications to counting problems and extremal hypergraph theory. We make major progress, settling conjectures of Day, Falgas-Ravry and Treglown and of Falgas-Ravry, establishing intricate behaviour for both the sum and the product problems, and providing both a general picture and evidence that the problems may prove computationally intractable in general.

Erdős conjectured in 1945 that for any unit vectors $v_1, \dotsc, v_n$ in $\mathbb{R}^2$ and signs $\varepsilon_1, \dotsc, \varepsilon_n$ taken independently and uniformly in $\{-1,1\}$, the random Rademacher sum $σ= \varepsilon_1 v_1 + \dotsb + \varepsilon_n v_n$ satisfies $\|σ\|_2 \leq 1$ with probability $Ω(1/n)$. While this conjecture is false for even $n$, Beck has proved that $\|σ\|_2 \leq \sqrt{2}$ always holds with probability $Ω(1/n)$. Recently, He, Juškevičius, Narayanan, and Spiro conjectured that the Erdős' conjecture holds when $n$ is odd. We disprove this conjecture by exhibiting vectors $v_1, \dotsc, v_n$ for which $\|σ\|_2 \leq 1$ occurs with probability $O(1/n^{3/2})$. On the other hand, an approximated version of their conjecture holds: we show that we always have $\|σ\|_2 \leq 1 + δ$ with probability $Ω_δ(1/n)$, for all $δ> 0$. This shows that when $n$ is odd, the minimum probability that $\|σ\|_2 \leq r$ exhibits a double-jump phase transition at $r = 1$, as we can also show that $\|σ\|_2 \leq 1$ occurs with probability at least $Ω((1/2+μ)^n)$ for some $μ> 0$. Additionally, and using a different construction, we give a negative answer to a question of Beck and two other questions of He, Juškevičius, Narayanan, and Spiro, concerning the optimal constructions minimising the probability that $\|σ\|_2 \leq \sqrt{2}$. We also make some progress on the higher dimensional versions of these questions.

The $(m,b)$ Maker-Breaker percolation game on $(\mathbb{Z}^2)_p$, introduced by Day and Falgas-Ravry, is played in the following way. Before the game starts, each edge of $\mathbb{Z}^2$ is removed independently with probability $1-p$. After that, Maker chooses a vertex $v_0$ to protect. Then, in each round Maker and Breaker claim respectively $m$ and $b$ unclaimed edges of $G$. Breaker wins if after the removal of the edges claimed by him the component of $v_0$ becomes finite, and Maker wins if she can indefinitely prevent Breaker from winning. We show that for any $p < 1$, Breaker almost surely has a wining strategy for the $(1,1)$ game on $(\mathbb{Z}^2)_p$. This fully answers a question of Day and Falgas-Ravry, who showed that for $p = 1$ Maker has a winning strategy for the $(1,1)$ game. Further, we show that in the $(2,1)$ game on $(\mathbb{Z}^2)_p$ Maker almost surely has a winning strategy whenever $p > 0.9402$, while Breaker almost surely has a winning strategy whenever $p < 0.5278$. This shows that the threshold value of $p$ above which Maker has a winning strategy for the $(2,1)$ game on $\mathbb{Z}^2$ is non-trivial. In fact, we prove similar results in various settings, including other lattices and biases $(m,b)$. These results extend also to the most general case, which we introduce, where each edge is given to Maker with probability $α$ and to Breaker with probability $β$ before the game starts.

The following question was asked by Prendiville: given an $r$-colouring of the interval $\{2, \dotsc, N\}$, what is the minimum number of monochromatic solutions of the equation $xy = z$? For $r=2$, we show that there are always asymptotically at least $(1/2\sqrt{2}) N^{1/2} \log N$ monochromatic solutions, and that the leading constant is sharp. For $r=3$ and $r=4$ we obtain tight results up to a multiplicative logarithmic factor. We also provide bounds for more colours and other multiplicative equations.

The Maclaurin inequalities for graphs are a broad generalisation of the classical theorems of Turán and Zykov. In a nutshell they provide an asymptotically sharp answer to the following question: what is the maximum number of cliques of size $q$ in a $K_{r+1}$-free graph with a given number of cliques of size $s$? We prove an extensions of the graph Maclaurin inequalities with a weight function that captures the local structure of the graph. As a corollary, we settle a recent conjecture of Kirsch and Nir, which simultaneously encompass the previous localised results of Bradač, Malec and Tompkins and of Kirsch and Nir.

The Kuramoto model is fundamental to the study of synchronization. It consists of a collection of oscillators with interactions given by a network, which we identify respectively with vertices and edges of a graph. In this paper, we show that a graph with sufficient expansion must be globally synchronizing, meaning that a homogeneous Kuramoto model of identical oscillators on such a graph will converge to the fully synchronized state with all the oscillators having the same phase, for every initial state up to a set of measure zero. In particular, we show that for any $\varepsilon > 0$ and $p \geq (1 + \varepsilon) (\log n) / n$, the homogeneous Kuramoto model on the Erdős-Rényi random graph $G(n, p)$ is globally synchronizing with probability tending to one as $n$ goes to infinity. This improves on a previous result of Kassabov, Strogatz, and Townsend and solves a conjecture of Ling, Xu, and Bandeira. We also show that the model is globally synchronizing on any $d$-regular Ramanujan graph, and on typical $d$-regular graphs, for large enough degree $d$.

The dimension of a partially-ordered set $P$ is the smallest integer $d$ such that one can embed $P$ into a product of $d$ linear orders. We prove that the dimension of the divisibility order on the interval $\{1, \dotsc, n\}$ is bounded above by $C(\log n)^2 (\log \log n)^{-2} \log \log \log n$ as $n$ goes to infinity. This improves a recent result by Lewis and the first author, who showed an upper bound of $C(\log n)^2 (\log \log n)^{-1}$ and a lower bound of $c(\log n)^2 (\log \log n)^{-2}$, asymptotically. To obtain these bounds, we provide a refinement of a bound of Füredi and Kahn and exploit a connection between the dimension of the divisibility order and the maximum size of $r$-cover-free families.

We study the $(m,b)$ Maker-Breaker percolation game on $\mathbb{Z}^2$, introduced by Day and Falgas-Ravry. As our first result, we show that Breaker has a winning strategy for the $(m,b)$-game whenever $b \geq (2-\frac{1}{14} + o(1))m$, breaking the ratio $2$ barrier proved by Day and Falgas-Ravry. Addressing further questions of Day and Falgas-Ravry, we show that Breaker can win the $(m,2m)$-game even if he allows Maker to claim $c$ edges before the game starts, for any integer $c$, and that he can moreover win rather fast (as a function of $c$). Finally, we consider the game played on $\mathbb{Z}^2$ after the usual bond percolation process with parameter $p$ was performed. We show that when $p$ is not too much larger than $1/2$, Breaker almost surely has a winning strategy for the $(1,1)$-game, even if Maker is allowed to choose the origin after the board is determined.

The Dushnik-Miller dimension of a partially-ordered set $P$ is the smallest $d$ such that one can embed $P$ into a product of $d$ linear orders. We prove that the dimension of the divisibility order on the interval $\{1, \dotsc, n\}$, is equal to ${(\log n)^2}(\log\log n)^{-Θ(1)}$ as $n$ goes to infinity. We prove similar bounds for the $2$-dimension of divisibility in $\{1, \dotsc, n\}$, where the $2$-dimension of a poset $P$ is the smallest $d$ such that $P$ is isomorphic to a suborder of the subset lattice of $[d]$. We also prove an upper bound for the $2$-dimension of posets of bounded degree and show that the $2$-dimension of the divisibility poset on the set $(αn, n]$ is $Θ_α(\log n)$ for $α\in (0,1)$. At the end we pose several problems.

We study a generalisation of the bipartite Ramsey numbers to blowups of graphs. For a graph $G$, denote the $t$-blowup of $G$ by $G[t]$. We say that $G$ is $r$-Ramsey for $H$, and write $G \stackrel{r}{\rightarrow} H$, if every $r$-colouring of the edges of $G$ has a monochromatic copy of $H$. We show that if $G \stackrel{r}{\rightarrow} H$, then for all $t$, there exists $n$ such that $G[n] \stackrel{r}{\rightarrow} H[t]$. In fact, we provide exponential lower and upper bounds for the minimum $n$ with $G[n] \stackrel{r}{\rightarrow} H[t]$, and conjecture an upper bound of the form $c^t$, where $c$ depends on $H$ and $r$, but not on $G$. We also show that this conjecture holds for $G(n,p)$ with high probability, above the threshold for the event $G(n,p) \stackrel{r}{\rightarrow} H$.

In this paper we determine the number and typical structure of sets of integers with bounded doubling. In particular, improving recent results of Green and Morris, and of Mazur, we show that the following holds for every fixed $λ> 2$ and every $k \geqslant (\log n)^4$: if $ω\to \infty$ as $n \to \infty$ (arbitrarily slowly), then almost all sets $A \subset [n]$ with $|A| = k$ and $|A + A| \leqslant λk$ are contained in an arithmetic progression of length $λk/2 + ω$.