• ### Independent sets in hypergraphs and Ramsey properties of graphs and the integers(1701.04754)

Nov. 27, 2018 math.CO
Many important problems in combinatorics and other related areas can be phrased in the language of independent sets in hypergraphs. Recently Balogh, Morris and Samotij, and independently Saxton and Thomason developed very general container theorems for independent sets in hypergraphs; both of which have seen numerous applications to a wide range of problems. In this paper we use the container method to give relatively short and elementary proofs of a number of results concerning Ramsey (and Tur\'an) properties of (hyper)graphs and the integers. In particular: (i) We generalise the random Ramsey theorem of R\"odl and Ruci\'nski by providing a resilience analogue. Our result unifies and generalises several fundamental results in the area including the random version of Tur\'an's theorem due to Conlon and Gowers and Schacht. (ii) The above result also resolves a general subcase of the asymmetric random Ramsey conjecture of Kohayakawa and Kreuter. (iii) All of the above results in fact hold for uniform hypergraphs. (iv) For a (hyper)graph $H$, we determine, up to an error term in the exponent, the number of $n$-vertex (hyper)graphs $G$ that have the Ramsey property with respect to $H$ (that is, whenever $G$ is $r$-coloured, there is a monochromatic copy of $H$ in $G$). (v) We strengthen the random Rado theorem of Friedgut, R\"odl and Schacht by proving a resilience version of the result. (vi) For partition regular matrices $A$ we determine, up to an error term in the exponent, the number of subsets of $\{1,\dots,n\}$ for which there exists an $r$-colouring which contains no monochromatic solutions to $Ax=0$. Along the way a number of open problems are posed.
• ### The Maker-Breaker Rado game on a random set of integers(1803.03793)

March 10, 2018 math.CO
Given an integer-valued matrix $A$ of dimension $\ell \times k$ and an integer-valued vector $b$ of dimension $\ell$, the Maker-Breaker $(A,b)$-game on a set of integers $X$ is the game where Maker and Breaker take turns claiming previously unclaimed integers from $X$, and Maker's aim is to obtain a solution to the system $Ax=b$, whereas Breaker's aim is to prevent this. When $X$ is a random subset of $\{1,\dots,n\}$ where each number is included with probability $p$ independently of all others, we determine the threshold probability $p_0$ for when the game is Maker or Breaker's win, for a large class of matrices and vectors. This class includes but is not limited to all pairs $(A,b)$ for which $Ax=b$ corresponds to a single linear equation. The Maker's win statement also extends to a much wider class of matrices which include those which satisfy Rado's partition theorem.
• ### On solution-free sets of integers II(1611.08498)

July 25, 2017 math.CO, math.NT
Given a linear equation $\mathcal{L}$, a set $A \subseteq [n]$ is $\mathcal{L}$-free if $A$ does not contain any non-trivial' solutions to $\mathcal{L}$. We determine the precise size of the largest $\mathcal{L}$-free subset of $[n]$ for several general classes of linear equations $\mathcal{L}$ of the form $px+qy=rz$ for fixed $p,q,r \in \mathbb N$ where $p \geq q \geq r$. Further, for all such linear equations $\mathcal{L}$, we give an upper bound on the number of maximal $\mathcal{L}$-free subsets of $[n]$. In the case when $p=q\geq 2$ and $r=1$ this bound is exact up to an error term in the exponent. We make use of container and removal lemmas of Green to prove this result. Our results also extend to various linear equations with more than three variables.
• ### On solution-free sets of integers(1607.08399)

Oct. 19, 2016 math.CO, math.NT
Given a linear equation $\mathcal{L}$, a set $A \subseteq [n]$ is $\mathcal{L}$-free if $A$ does not contain any non-trivial' solutions to $\mathcal{L}$. In this paper we consider the following three general questions: (i) What is the size of the largest $\mathcal{L}$-free subset of $[n]$? (ii) How many $\mathcal{L}$-free subsets of $[n]$ are there? (iii) How many maximal $\mathcal{L}$-free subsets of $[n]$ are there? We completely resolve (i) in the case when $\mathcal{L}$ is the equation $px+qy=z$ for fixed $p,q\in \mathbb N$ where $p\geq 2$. Further, up to a multiplicative constant, we answer (ii) for a wide class of such equations $\mathcal{L}$, thereby refining a special case of a result of Green. We also give various bounds on the number of maximal $\mathcal{L}$-free subsets of $[n]$ for three-variable homogeneous linear equations $\mathcal{L}$. For this, we make use of container and removal lemmas of Green.