arXiv++ Combinatorics

Let the random variable $X\, :=\, e(\mathcal{H}[B])$ count the number of edges of a hypergraph $\mathcal{H}$ induced by a random $m$ element subset $B$ of its vertex set. Focussing on the case that $\mathcal{H}$ satisfies some regularity condition we prove bounds on the probability that $X$ is far from its mean. It is possible to apply these results to discrete structures such as the set of $k$-term arithmetic progressions in the cyclic group $\mathbb{Z}_N$. Furthermore, we show that our main theorem is essentially best possible and we deduce results for the case $B\sim B_p$ is generated by including each vertex independently with probability $p$.

We show that the Right-Angled Coxeter group $C=C(G)$ associated to a random graph $G\sim \mathcal{G}(n,p)$ with $\frac{\log n + \log\log n + ω(1)}{n} \leq p < 1- ω(n^{-2})$ virtually algebraically fibers. This means that $C$ has a finite index subgroup $C'$ and a finitely generated normal subgroup $N\subset C'$ such that $C'/N \cong \mathbb{Z}$. We also obtain the corresponding hitting time statements, more precisely, we show that as soon as $G$ has minimum degree at least 2 and as long as it is not the complete graph, then $C(G)$ virtually algebraically fibers. The result builds upon the work of Jankiewicz, Norin, and Wise and it is essentially best possible.

The Ramsey number r(K_s,Q_n) is the smallest positive integer N such that every red-blue colouring of the edges of the complete graph K_N on N vertices contains either a red n-dimensional hypercube, or a blue clique on s vertices. Answering a question of Burr and Erdős from 1983, and improving on recent results of Conlon, Fox, Lee and Sudakov, and of the current authors, we show that r(K_s,Q_n) = (s-1) (2^n - 1) + 1 for every s \in \N and every sufficiently large n \in \N.

The areas of Ramsey theory and random graphs have been closely linked ever since Erdős' famous proof in 1947 that the 'diagonal' Ramsey numbers $R(k)$ grow exponentially in $k$. In the early 1990s, the triangle-free process was introduced as a model which might potentially provide good lower bounds for the 'off-diagonal' Ramsey numbers $R(3,k)$. In this model, edges of $K_n$ are introduced one-by-one at random and added to the graph if they do not create a triangle; the resulting final (random) graph is denoted $G_{n,\triangle}$. In 2009, Bohman succeeded in following this process for a positive fraction of its duration, and thus obtained a second proof of Kim's celebrated result that $R(3,k) = Θ\big( k^2 / \log k \big)$. In this paper we improve the results of both Bohman and Kim, and follow the triangle-free process all the way to its asymptotic end. In particular, we shall prove that $$e\big( G_{n,\triangle} \big) \,=\, \left( \frac{1}{2\sqrt{2}} + o(1) \right) n^{3/2} \sqrt{\log n },$$ with high probability as $n \to \infty$. We also obtain several pseudorandom properties of $G_{n,\triangle}$, and use them to bound its independence number, which gives as an immediate corollary $$R(3,k) \, \ge \, \left( \frac{1}{4} - o(1) \right) \frac{k^2}{\log k}.$$ This significantly improves Kim's lower bound, and is within a factor of $4 + o(1)$ of the best known upper bound, proved by Shearer over 25 years ago.

The Ramsey number r(K_3,Q_n) is the smallest integer N such that every red-blue colouring of the edges of the complete graph K_N contains either a red n-dimensional hypercube, or a blue triangle. Almost thirty years ago, Burr and Erdős conjectured that r(K_3,Q_n) = 2^{n+1} - 1 for every n \in \N, but the first non-trivial upper bound was obtained only recently, by Conlon, Fox, Lee and Sudakov, who proved that r(K_3,Q_n) \le 7000 \cdot 2^n. Here we show that r(K_3,Q_n) = (1 + o(1)) 2^{n+1} as n \to \infty.

We consider the problem of sums of dilates in groups of prime order. We show that given $A\subset \Z{p}$ of sufficiently small density then $$\big| λ_{1}A+λ_{2}A+...+ λ_{k}A \big| \,\ge\,\bigg(\sum_{i}|λ_{i}|\bigg)|A|- o(|A|),$$ whereas on the other hand, for any $ε>0$, we construct subsets of density $1/2-ε$ such that $|A+λA|\leq (1-δ)p$, showing that there is a very different behaviour for subsets of large density.

Let $A$ be a random subset of $\mathbb{Z}_{N}$ obtained by including each element of $\mathbb{Z}_{N}$ in $A$ independently with probability $p$. We say that $A$ is \emph{linear} if the only Freiman homomorphisms are given by the restrictions of functions of the form $f(x)= ax+b$. For which values of $p$ do we have that $A$ is linear with high probability as $N\to\infty$ ? First, we establish a geometric characterisation of linear subsets. Second, we show that if $p=o(N^{-2/3})$ then $A$ is not linear with high probability whereas if $p=N^{-1/2+ε}$ for any $ε>0$ then $A$ is linear with high probability.