Source author record

David Saxton

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO

Catalog footprint

Research overview

6works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Online containers for hypergraphs, with applications to linear equations

A set of containers for a hypergraph G is a collection of vertex subsets, such that for every independent (or, indeed, merely sparse) set in G there is some subset in the collection which contains it. No set in the collection should be large and the collection itself should be relatively small. Containers with useful properties have been exhibited by Balogh, Morris and Samotij and by the authors, along with several applications. Our purpose here is to give a simpler algorithm than the one we used previously, which nevertheless yields containers with all the properties needed for our previous theorem. Moreover this algorithm produces containers having the so-called online property, allowing previous colouring applications to be extended to all, not just simple, hypergraphs. For illustrative purposes, we include a complete proof of a slightly weaker but simpler version of the theorem, which for many (perhaps most) applications is plenty. We also present applications to the number of solution-free sets of linear equations, including the number of Sidon sets, announced previously but not proven.

preprint2015arXiv

The number of $C_{2l}$ -free graphs

One of the most basic questions one can ask about a graph $H$ is: how many $H$ -free graphs on $n$ vertices are there? For non-bipartite $H$ , the answer to this question has been well-understood since 1986, when Erdős, Frankl and Rödl proved that there are $2^{(1 + o(1)) ex(n,H)}$ such graphs. For bipartite graphs, however, much less is known: even the weaker bound $2^{O(ex(n,H))}$ has been proven in only a few special cases: for cycles of length four and six, and for some complete bipartite graphs. For even cycles, Bondy and Simonovits proved in the 1970s that ex $(n,C_{2l}) = O( n^{1 + 1/l} )$ , and this bound is conjectured to be sharp up to the implicit constant. In this paper we prove that the number of $C_{2l}$ -free graphs on $n$ vertices is at most $2^{O(n^{1 + 1/l})}$ , confirming a conjecture of Erdős. Our proof uses the hypergraph container method, which was developed recently (and independently) by Balogh, Morris and Samotij, and by Saxton and Thomason, together with a new 'balanced supersaturation theorem' for even cycles. We moreover show that there are at least $2^{(1 + c)ex(n,C_6)}$ $C_6$ -free graphs on $n$ vertices for some $c > 0$ and infinitely many values of $n$ , disproving a well-known and natural conjecture. As a further application of our method, we essentially resolve the so-called Turán problem on the Erdős-Rényi random graph $G(n,p)$ for both even cycles and complete bipartite graphs.

preprint2014arXiv

Hypergraph containers

We develop a notion of containment for independent sets in hypergraphs. For every $r$ -uniform hypergraph $G$ , we find a relatively small collection $C$ of vertex subsets, such that every independent set of $G$ is contained within a member of $C$ , and no member of $C$ is large; the collection, which is in various respects optimal, reveals an underlying structure to the independent sets. The containers offer a straightforward and unified approach to many combinatorial questions concerned (usually implicitly) with independence. With regard to colouring, it follows that simple $r$ -uniform hypergraphs of average degree $d$ have list chromatic number at least $(1/(r-1)^2 + o(1)) \log_r d$ . For $r = 2$ this improves a bound due to Alon and is tight. For $r \ge 3$ , previous bounds were weak but the present inequality is close to optimal. In the context of extremal graph theory, it follows that, for each $\ell$ -uniform hypergraph $H$ of order $k$ , there is a collection $C$ of $\ell$ -uniform hypergraphs of order $n$ each with $o(n^k)$ copies of $H$ , such that every $H$ -free $\ell$ -uniform hypergraph of order $n$ is a subgraph of a hypergraph in $C$ , and $\log |C| \le c n^{\ell-1/m(H)} \log n$ where $m(H)$ is a standard parameter (there is a similar statement for induced subgraphs). This yields simple proofs, for example, for the number of $H$ -free hypergraphs, and for the sparsity theorems of Conlon-Gowers and Schacht. A slight variant yields a counting version of the KŁR conjecture. Likewise, for systems of linear equations the containers supply, for example, bounds on the number of solution-free sets, and the existence of solutions in sparse random subsets. Balogh, Morris and Samotij have independently obtained related results.

preprint2013arXiv

On the Ramsey number of the triangle and the cube

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.

preprint2011arXiv

Supersaturation for hereditary properties

Let $\mathcal{F}$ be a collection of $r$ -uniform hypergraphs, and let $0 < p < 1$ . It is known that there exists $c = c(p,\mathcal{F})$ such that the probability of a random $r$ -graph in $G(n,p)$ not containing an induced subgraph from $\mathcal{F}$ is $2^{(-c+o(1)){n \choose r}}$ . Let each graph in $\mathcal{F}$ have at least $t$ vertices. We show that in fact for every $ε> 0$ , there exists $δ= δ(ε, p,\mathcal{F}) > 0$ such that the probability of a random $r$ -graph in $G(n,p)$ containing less than $δn^t$ induced subgraphs each lying in $\mathcal{F}$ is at most $2^{(-c+ε){n \choose r}}$ . This statement is an analogue for hereditary properties of the supersaturation theorem of Erdős and Simonovits. In our applications we answer a question of Bollobás and Nikiforov.

preprint2010arXiv

Strictly monotonic multidimensional sequences and stable sets in pillage games

Let $S \subset \mathbb{R}^n$ have size $|S| > \ell^{2^n-1}$ . We show that there are distinct points $\{x^1,..., x^{\ell+1}\} \subset S$ such that for each $i \in [n]$ , the coordinate sequence $(x^j_i)_{j=1}^{\ell+1}$ is strictly increasing, strictly decreasing, or constant, and that this bound on $|S|$ is best possible. This is analogous to the \erdos-Szekeres theorem on monotonic sequences in $\real$ . We apply these results to bound the size of a stable set in a pillage game. We also prove a theorem of independent combinatorial interest. Suppose $\{a^1,b^1,...,a^t,b^t\}$ is a set of $2t$ points in $\real^n$ such that the set of pairs of points not sharing a coordinate is precisely $\{\{a^1,b^1\},...,\{a^t,b^t\}\}$ . We show that $t \leq 2^{n-1}$ , and that this bound is best possible.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

David Saxton

Research overview

Is this your work?

6 publications

Online containers for hypergraphs, with applications to linear equations

The number of $C_{2l}$ -free graphs

Hypergraph containers

On the Ramsey number of the triangle and the cube

Supersaturation for hereditary properties

Strictly monotonic multidimensional sequences and stable sets in pillage games

See the researcher in context

Building this map preview

David Saxton

Research overview

Is this your work?

6 publications

Online containers for hypergraphs, with applications to linear equations

The number of C2lC_{2l}C2l​-free graphs

Hypergraph containers

On the Ramsey number of the triangle and the cube

Supersaturation for hereditary properties

Strictly monotonic multidimensional sequences and stable sets in pillage games

See the researcher in context

Building this map preview

The number of $C_{2l}$ -free graphs