Source author record

Andrew Treglown

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

28works
3topics
4close collaborators

Published work

28 publications

preprint2022arXiv

On maximal sum-free sets in abelian groups

Balogh, Liu, Sharifzadeh and Treglown [Journal of the European Mathematical Society, 2018] recently gave a sharp count on the number of maximal sum-free subsets of {1,…,n}\{1, \dots, n\}, thereby answering a question of Cameron and Erdős. In contrast, not as much is know about the analogous problem for finite abelian groups. In this paper we give the first sharp results in this direction, determining asymptotically the number of maximal sum-free sets in both the binary and ternary spaces Z2k\mathbb Z^k_2 and Z3k\mathbb Z^k_3. We also make progress on a conjecture of Balogh, Liu, Sharifzadeh and Treglown concerning a general lower bound on the number of maximal sum-free sets in abelian groups of a fixed order. Indeed, we verify the conjecture for all finite abelian groups with a cyclic component of size at least 3084. Other related results and open problems are also presented.

preprint2022arXiv

Tilings in vertex ordered graphs

Over recent years there has been much interest in both Turán and Ramsey properties of vertex ordered graphs. In this paper we initiate the study of embedding spanning structures into vertex ordered graphs. In particular, we introduce a general framework for approaching the problem of determining the minimum degree threshold for forcing a perfect HH-tiling in an ordered graph. In the (unordered) graph setting, this problem was resolved by Kühn and Osthus [The minimum degree threshold for perfect graph packings, Combinatorica, 2009]. We use our general framework to resolve the perfect HH-tiling problem for all ordered graphs HH of interval chromatic number 22. Already in this restricted setting the class of extremal examples is richer than in the unordered graph problem. In the process of proving our results, novel approaches to both the regularity and absorbing methods are developed.

preprint2021arXiv

Complete subgraphs in a multipartite graph

In 1975 Bollobás, Erd\H os, and Szemerédi asked the following question: given positive integers n,t,rn, t, r with 2≤t≤r−12\le t\le r-1, what is the largest minimum degree δ(G)δ(G) among all rr-partite graphs GG with parts of size nn and which do not contain a copy of Kt+1K_{t+1}? The r=t+1r=t+1 case has attracted a lot of attention and was fully resolved by Haxell and Szabó, and Szabó and Tardos in 2006. In this paper we investigate the r>t+1r>t+1 case of the problem, which has remained dormant for over forty years. We resolve the problem exactly in the case when r≡−1(modt)r \equiv -1 \pmod{t}, and up to an additive constant for many other cases, including when r≥(3t−1)(t−1)r \geq (3t-1)(t-1). Our approach utilizes a connection to the related problem of determining the maximum of the minimum degrees among the family of balanced rr-partite rnrn-vertex graphs of chromatic number at most tt.

preprint2020arXiv

A discrepancy version of the Hajnal-Szemerédi theorem

A perfect KrK_r-tiling in a graph GG is a collection of vertex-disjoint copies of the clique KrK_r in GG covering every vertex of GG. The famous Hajnal--Szemerédi theorem determines the minimum degree threshold for forcing a perfect KrK_r-tiling in a graph GG. The notion of discrepancy appears in many branches of mathematics. In the graph setting, one assigns the edges of a graph GG labels from {−1,1}\{-1,1\}, and one seeks substructures FF of GG that have `high' discrepancy (i.e. the sum of the labels of the edges in FF is far from 00). In this paper we determine the minimum degree threshold for a graph to contain a perfect KrK_r-tiling of high discrepancy.

preprint2020arXiv

Existence thresholds and Ramsey properties of random posets

Let P(n)\mathcal P(n) denote the power set of [n][n], ordered by inclusion, and let P(n,p)\mathcal P (n,p) denote the random poset obtained from P(n)\mathcal P(n) by retaining each element from P(n)\mathcal P (n) independently at random with probability pp and discarding it otherwise. Given any fixed poset FF we determine the threshold for the property that P(n,p)\mathcal P(n,p) contains FF as an induced subposet. We also asymptotically determine the number of copies of a fixed poset FF in P(n)\mathcal P(n). Finally, we obtain a number of results on the Ramsey properties of the random poset P(n,p)\mathcal P(n,p).

preprint2020arXiv

Tilings in randomly perturbed graphs: bridging the gap between Hajnal-Szemerédi and Johansson-Kahn-Vu

A perfect KrK_r-tiling in a graph GG is a collection of vertex-disjoint copies of KrK_r that together cover all the vertices in GG. In this paper we consider perfect KrK_r-tilings in the setting of randomly perturbed graphs; a model introduced by Bohman, Frieze and Martin where one starts with a dense graph and then adds mm random edges to it. Specifically, given any fixed 0<α<1−1/r0< α<1-1/r we determine how many random edges one must add to an nn-vertex graph GG of minimum degree δ(G)≥αnδ(G) \geq αn to ensure that, asymptotically almost surely, the resulting graph contains a perfect KrK_r-tiling. As one increases αα we demonstrate that the number of random edges required `jumps' at regular intervals, and within these intervals our result is best-possible. This work therefore closes the gap between the seminal work of Johansson, Kahn and Vu (which resolves the purely random case, i.e., α=0α=0) and that of Hajnal and Szemerédi (which demonstrates that for α≥1−1/rα\geq 1-1/r the initial graph already houses the desired perfect KrK_r-tiling).

preprint2020arXiv

Transitive tournament tilings in oriented graphs with large minimum total degree

Let T⃗k\vec{T}_k be the transitive tournament on kk vertices. We show that every oriented graph on n=4mn=4m vertices with minimum total degree (11/12+o(1))n(11/12+o(1))n can be partitioned into vertex disjoint T⃗4\vec{T}_4's, and this bound is asymptotically tight. We also improve the best known bound on the minimum total degree for partitioning oriented graphs into vertex disjoint T⃗k\vec{T}_k's.

preprint2016arXiv

A degree sequence Hajnal--Szemerédi theorem

We say that a graph GG has a perfect HH-packing if there exists a set of vertex-disjoint copies of HH which cover all the vertices in GG. The seminal Hajnal--Szemerédi theorem characterises the minimum degree that ensures a graph GG contains a perfect KrK_r-packing. Balogh, Kostochka and Treglown proposed a degree sequence version of the Hajnal--Szemerédi theorem which, if true, gives a strengthening of the Hajnal--Szemerédi theorem. In this paper we prove this conjecture asymptotically. Another fundamental result in the area is the Alon--Yuster theorem which gives a minimum degree condition that ensures a graph contains a perfect HH-packing for an \emph{arbitrary} graph HH. We give a wide-reaching generalisation of this result by answering another conjecture of Balogh, Kostochka and Treglown on the degree sequence of a graph that forces a perfect HH-packing. We also prove a degree sequence result concerning perfect transitive tournament packings in directed graphs. The proofs blend together the regularity and absorbing methods.

preprint2016arXiv

A note on perfect matchings in uniform hypergraphs

We determine the \emph{exact} minimum ℓ\ell-degree threshold for perfect matchings in kk-uniform hypergraphs when the corresponding threshold for perfect fractional matchings is significantly less than 12(nk−ℓ)\frac{1}{2} \binom{n}{k- \ell}. This extends our previous results that determine the minimum ℓ\ell-degree thresholds for perfect matchings in kk-uniform hypergraphs for all ℓ≥k/2\ell\ge k/2 and provides two new (exact) thresholds: (k,ℓ)=(5,2)(k,\ell)=(5,2) and (7,3)(7,3).

preprint2016arXiv

On degree sequences forcing the square of a Hamilton cycle

A famous conjecture of Pósa from 1962 asserts that every graph on nn vertices and with minimum degree at least 2n/32n/3 contains the square of a Hamilton cycle. The conjecture was proven for large graphs in 1996 by Komlós, Sárközy and Szemerédi. In this paper we prove a degree sequence version of Pósa's conjecture: Given any η>0η>0, every graph GG of sufficiently large order nn contains the square of a Hamilton cycle if its degree sequence d1≤⋯≤dnd_1\leq \dots \leq d_n satisfies di≥(1/3+η)n+id_i \geq (1/3+η)n+i for all i≤n/3i \leq n/3. The degree sequence condition here is asymptotically best possible. Our approach uses a hybrid of the Regularity-Blow-up method and the Connecting-Absorbing method.

preprint2016arXiv

On solution-free sets of integers

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

preprint2016arXiv

The complexity of perfect matchings and packings in dense hypergraphs

Given two kk-graphs HH and FF, a perfect FF-packing in HH is a collection of vertex-disjoint copies of FF in HH which together cover all the vertices in HH. In the case when FF is a single edge, a perfect FF-packing is simply a perfect matching. For a given fixed FF, it is often the case that the decision problem whether an nn-vertex kk-graph HH contains a perfect FF-packing is NP-complete. Indeed, if k≥3k \geq 3, the corresponding problem for perfect matchings is NP-complete whilst if k=2k=2 the problem is NP-complete in the case when FF has a component consisting of at least 33 vertices. In this paper we give a general tool which can be used to determine classes of (hyper)graphs for which the corresponding decision problem for perfect FF-packings is polynomial time solvable. We then give three applications of this tool: (i) Given 1≤ℓ≤k−11\leq \ell \leq k-1, we give a minimum ℓ\ell-degree condition for which it is polynomial time solvable to determine whether a kk-graph satisfying this condition has a perfect matching; (ii) Given any graph FF we give a minimum degree condition for which it is polynomial time solvable to determine whether a graph satisfying this condition has a perfect FF-packing; (iii) We also prove a similar result for perfect KK-packings in kk-graphs where KK is a kk-partite kk-graph. For a range of values of ℓ,k\ell,k (i) resolves a conjecture of Keevash, Knox and Mycroft whilst (ii) answers a question of Yuster in the negative. In many cases our results are best possible in the sense that lowering the minimum degree condition means that the corresponding decision problem becomes NP-complete.

preprint2016arXiv

Tiling directed graphs with tournaments

The Hajnal--Szemerédi theorem states that for any integer r≥1r \ge 1 and any multiple nn of rr, if GG is a graph on nn vertices and δ(G)≥(1−1/r)nδ(G) \ge (1 - 1/r)n, then GG can be partitioned into n/rn/r vertex-disjoint copies of the complete graph on rr vertices. We prove a very general analogue of this result for directed graphs: for any integer r≥4r \ge 4 and any sufficiently large multiple nn of rr, if GG is a directed graph on nn vertices and every vertex is incident to at least 2(1−1/r)n−12(1 - 1/r)n - 1 directed edges, then GG can be partitioned into n/rn/r vertex-disjoint subgraphs of size rr each of which contain every tournament on rr vertices. A related Turán-type result is also proven.

preprint2015arXiv

Exact minimum codegree threshold for K4−K^- _4-factors

Given hypergraphs FF and HH, an FF-factor in HH is a set of vertex-disjoint copies of FF which cover all the vertices in HH. Let K4−K^- _4 denote the 33-uniform hypergraph with 44 vertices and 33 edges. We show that for sufficiently large n∈4Nn\in 4 \mathbb N, every 33-uniform hypergraph HH on nn vertices with minimum codegree at least n/2−1n/2-1 contains a K4−K^- _4-factor. Our bound on the minimum codegree here is best-possible. It resolves a conjecture of Lo and Markström for large hypergraphs, who earlier proved an asymptotically exact version of this result. Our proof makes use of the absorbing method as well as a result of Keevash and Mycroft concerning almost perfect matchings in hypergraphs.

preprint2015arXiv

On directed versions of the Hajnal--Szemerédi theorem

We say that a (di)graph GG has a perfect HH-packing if there exists a set of vertex-disjoint copies of HH which cover all the vertices in GG. The seminal Hajnal--Szemerédi theorem characterises the minimum degree that ensures a graph GG contains a perfect KrK_r-packing. In this paper we prove the following analogue for directed graphs: Suppose that TT is a tournament on rr vertices and GG is a digraph of sufficiently large order nn where rr divides nn. If GG has minimum in- and outdegree at least (1−1/r)n (1-1/r)n then GG contains a perfect TT-packing. In the case when TT is a cyclic triangle, this result verifies a recent conjecture of Czygrinow, Kierstead and Molla (for large digraphs). Furthermore, in the case when TT is transitive we conjecture that it suffices for every vertex in GG to have sufficiently large indegree or outdegree. We prove this conjecture for transitive triangles and asymptotically for all r≥3r \geq 3. Our approach makes use of a result of Keevash and Mycroft concerning almost perfect matchings in hypergraphs as well as the Directed Graph Removal lemma.

preprint2014arXiv

A random version of Sperner's theorem

Let P(n)\mathcal{P}(n) denote the power set of [n][n], ordered by inclusion, and let P(n,p)\mathcal{P}(n,p) be obtained from P(n)\mathcal{P}(n) by selecting elements from P(n)\mathcal{P}(n) independently at random with probability pp. A classical result of Sperner asserts that every antichain in P(n)\mathcal{P}(n) has size at most that of the middle layer, (n⌊n/2⌋)\binom{n}{\lfloor n/2 \rfloor}. In this note we prove an analogous result for P(n,p)\mathcal{P} (n,p): If pn→∞pn \rightarrow \infty then, with high probability, the size of the largest antichain in P(n,p)\mathcal{P}(n,p) is at most (1+o(1))p(n⌊n/2⌋)(1+o(1)) p \binom{n}{\lfloor n/2 \rfloor}. This solves a conjecture of Osthus who proved the result in the case when pn/log⁡n→∞pn/\log n \rightarrow \infty. Our condition on pp is best-possible. In fact, we prove a more general result giving an upper bound on the size of the largest antichain for a wider range of values of pp.

preprint2014arXiv

Proof of the 11-factorization and Hamilton Decomposition Conjectures

In this paper we prove the following results (via a unified approach) for all sufficiently large nn: (i) [11-factorization conjecture] Suppose that nn is even and D≥2⌈n/4⌉−1D\geq 2\lceil n/4\rceil -1. Then every DD-regular graph GG on nn vertices has a decomposition into perfect matchings. Equivalently, χ′(G)=Dχ'(G)=D. (ii) [Hamilton decomposition conjecture] Suppose that D≥⌊n/2⌋D \ge \lfloor n/2 \rfloor . Then every DD-regular graph GG on nn vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) [Optimal packings of Hamilton cycles] Suppose that GG is a graph on nn vertices with minimum degree δ≥n/2δ\ge n/2. Then GG contains at least regeven(n,δ)/2≥(n−2)/8{\rm reg}_{\rm even}(n,δ)/2 \ge (n-2)/8 edge-disjoint Hamilton cycles. Here regeven(n,δ)\text{reg}_{\text{even}}(n,δ) denotes the degree of the largest even-regular spanning subgraph one can guarantee in a graph on nn vertices with minimum degree δδ. (i) was first explicitly stated by Chetwynd and Hilton. (ii) and the special case δ=⌈n/2⌉δ= \lceil n/2 \rceil of (iii) answer questions of Nash-Williams from 1970. All of the above bounds are best possible.

preprint2014arXiv

Proof of the 1-factorization and Hamilton decomposition conjectures II: the bipartite case

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large nn: (i) [1-factorization conjecture] Suppose that nn is even and D≥2⌈n/4⌉−1D \geq 2\lceil n/4\rceil -1. Then every DD-regular graph GG on nn vertices has a decomposition into perfect matchings. Equivalently, χ′(G)=Dχ'(G)=D. (ii) [Hamilton decomposition conjecture] Suppose that D≥⌊n/2⌋D \ge \lfloor n/2 \rfloor . Then every DD-regular graph GG on nn vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) [Optimal packings of Hamilton cycles] Suppose that GG is a graph on nn vertices with minimum degree δ≥n/2δ\ge n/2. Then GG contains at least regeven(n,δ)/2≥(n−2)/8{\rm reg}_{\rm even}(n,δ)/2 \ge (n-2)/8 edge-disjoint Hamilton cycles. Here regeven(n,δ){\rm reg}_{\rm even}(n,δ) denotes the degree of the largest even-regular spanning subgraph one can guarantee in a graph on nn vertices with minimum degree δδ. According to Dirac, (i) was first raised in the 1950s. (ii) and the special case δ=⌈n/2⌉δ= \lceil n/2 \rceil of (iii) answer questions of Nash-Williams from 1970. All of the above bounds are best possible. In the current paper, we prove the above results for the case when GG is close to a complete balanced bipartite graph.

preprint2014arXiv

Proof of the 1-factorization and Hamilton decomposition conjectures III: approximate decompositions

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large nn: (i) [1-factorization conjecture] Suppose that nn is even and D≥2⌈n/4⌉−1D\geq 2\lceil n/4\rceil -1. Then every DD-regular graph GG on nn vertices has a decomposition into perfect matchings. Equivalently, χ′(G)=Dχ'(G)=D. (ii) [Hamilton decomposition conjecture] Suppose that D≥⌊n/2⌋D \ge \lfloor n/2 \rfloor . Then every DD-regular graph GG on nn vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree. According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we show the following: suppose that GG is close to a complete balanced bipartite graph or to the union of two cliques of equal size. If we are given a suitable set of path systems which cover a set of `exceptional' vertices and edges of GG, then we can extend these path systems into an approximate decomposition of GG into Hamilton cycles (or perfect matchings if appropriate).

preprint2014arXiv

The number of maximal sum-free subsets of integers

Cameron and Erdős raised the question of how many maximal sum-free sets there are in {1,…,n}\{1, \dots , n\}, giving a lower bound of 2⌊n/4⌋2^{\lfloor n/4 \rfloor }. In this paper we prove that there are in fact at most 2(1/4+o(1))n2^{(1/4+o(1))n} maximal sum-free sets in {1,…,n}\{1, \dots , n\}. Our proof makes use of container and removal lemmas of Green as well as a result of Deshouillers, Freiman, Sós and Temkin on the structure of sum-free sets.

preprint2013arXiv

On perfect packings in dense graphs

We say that a graph G has a perfect H-packing if there exists a set of vertex-disjoint copies of H which cover all the vertices in G. We consider various problems concerning perfect H-packings: Given positive integers n, r, D, we characterise the edge density threshold that ensures a perfect K_r-packing in any graph G on n vertices and with minimum degree at least D. We also give two conjectures concerning degree sequence conditions which force a graph to contain a perfect H-packing. Other related embedding problems are also considered. Indeed, we give a structural result concerning K_r-free graphs that satisfy a certain degree sequence condition.

preprint2012arXiv

Embedding spanning bipartite graphs of small bandwidth

Boettcher, Schacht and Taraz gave a condition on the minimum degree of a graph G on n vertices that ensures G contains every r-chromatic graph H on n vertices of bounded degree and of bandwidth o(n), thereby proving a conjecture of Bollobas and Komlos. We strengthen this result in the case when H is bipartite. Indeed, we give an essentially best-possible condition on the degree sequence of a graph G on n vertices that forces G to contain every bipartite graph H on n vertices of bounded degree and of bandwidth o(n). This also implies an Ore-type result. In fact, we prove a much stronger result where the condition on G is relaxed to a certain robust expansion property. Our result also confirms the bipartite case of a conjecture of Balogh, Kostochka and Treglown concerning the degree sequence of a graph which forces a perfect H-packing.

preprint2012arXiv

Exact minimum degree thresholds for perfect matchings in uniform hypergraphs

Given positive integers k and r where 4 divides k and k/2 \leq r \leq k-1, we give a minimum r-degree condition that ensures a perfect matching in a k-uniform hypergraph. This condition is best possible and improves on work of Pikhurko who gave an asymptotically exact result. Our approach makes use of the absorbing method, as well as the hypergraph removal lemma and a structural result of Keevash and Sudakov relating to the Turan number of the expanded triangle.

preprint2012arXiv

Exact minimum degree thresholds for perfect matchings in uniform hypergraphs II

Given positive integers k\geq 3 and r where k/2 \leq r \leq k-1, we give a minimum r-degree condition that ensures a perfect matching in a k-uniform hypergraph. This condition is best possible and improves on work of Pikhurko who gave an asymptotically exact result. Our approach makes use of the absorbing method, and builds on work in 'Exact minimum degree thresholds for perfect matchings in uniform hypergraphs', where we proved the result for k divisible by 4.

preprint2012arXiv

Matchings in 3-uniform hypergraphs

We determine the minimum vertex degree that ensures a perfect matching in a 3-uniform hypergraph. More precisely, suppose that H is a sufficiently large 3-uniform hypergraph whose order n is divisible by 3. If the minimum vertex degree of H is greater than \binom{n-1}{2}-\binom{2n/3}{2}, then H contains a perfect matching. This bound is tight and answers a question of Han, Person and Schacht. More generally, we show that H contains a matching of size d\le n/3 if its minimum vertex degree is greater than \binom{n-1}{2}-\binom{n-d}{2}, which is also best possible. This extends a result of Bollobas, Daykin and Erdos.

Research graph

See the researcher in context

Open full explorer

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.