Source author record

Allan Lo

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
1topics
4close collaborators

Published work

28 publications

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

Hypergraph FF-designs for arbitrary FF

We solve the existence problem for FF-designs for arbitrary rr-uniform hypergraphs FF. In particular, this shows that, given any rr-uniform hypergraph FF, the trivially necessary divisibility conditions are sufficient to guarantee a decomposition of any sufficiently large complete rr-uniform hypergraph G=Kn(r)G=K_n^{(r)} into edge-disjoint copies of FF, which answers a question asked e.g. by Keevash. The graph case r=2r=2 forms one of the cornerstones of design theory and was proved by Wilson in 1975. The case when FF is complete corresponds to the existence of block designs, a problem going back to the 19th century, which was first settled by Keevash. More generally, our results extend to FF-designs of quasi-random hypergraphs GG and of hypergraphs GG of suitably large minimum degree. Our approach builds on results and methods we recently introduced in our new proof of the existence conjecture for block designs.

preprint2020arXiv

Minimalist designs

The iterative absorption method has recently led to major progress in the area of (hyper-)graph decompositions. Amongst other results, a new proof of the Existence conjecture for combinatorial designs, and some generalizations, was obtained. Here, we illustrate the method by investigating triangle decompositions: we give a simple proof that a triangle-divisible graph of large minimum degree has a triangle decomposition and prove a similar result for quasi-random host graphs.

preprint2020arXiv

Monochromatic cycle partitions in random graphs

Erdős, Gyárfás and Pyber showed that every rr-edge-coloured complete graph KnK_n can be covered by 25r2log⁡r25 r^2 \log r vertex-disjoint monochromatic cycles (independent of nn). Here, we extend their result to the setting of binomial random graphs. That is, we show that if p=p(n)=Ω(n−1/(2r))p = p(n) = Ω(n^{-1/(2r)}), then with high probability any rr-edge-coloured G(n,p)G(n,p) can be covered by at most 1000r4log⁡r1000 r^4 \log r vertex-disjoint monochromatic cycles. This answers a question of Korándi, Mousset, Nenadov, Škorić and Sudakov.

preprint2020arXiv

On a conjecture of Erdős on locally sparse Steiner triple systems

A famous theorem of Kirkman says that there exists a Steiner triple system of order nn if and only if n≡1,3mod  6n\equiv 1,3\mod{6}. In 1973, Erdős conjectured that one can find so-called `sparse' Steiner triple systems. Roughly speaking, the aim is to have at most j−3j-3 triples on every set of jj points, which would be best possible. (Triple systems with this sparseness property are also referred to as having high girth.) We prove this conjecture asymptotically by analysing a natural generalization of the triangle removal process. Our result also solves a problem posed by Lefmann, Phelps and Rödl as well as Ellis and Linial in a strong form, and answers a question of Krivelevich, Kwan, Loh, and Sudakov. Moreover, we pose a conjecture which would generalize the Erdős conjecture to Steiner systems with arbitrary parameters and provide some evidence for this.

preprint2020arXiv

The existence of designs via iterative absorption: hypergraph FF-designs for arbitrary FF

We solve the existence problem for FF-designs for arbitrary rr-uniform hypergraphs~FF. This implies that given any rr-uniform hypergraph~FF, the trivially necessary divisibility conditions are sufficient to guarantee a decomposition of any sufficiently large complete rr-uniform hypergraph into edge-disjoint copies of~FF, which answers a question asked e.g.~by Keevash. The graph case r=2r=2 was proved by Wilson in 1975 and forms one of the cornerstones of design theory. The case when~FF is complete corresponds to the existence of block designs, a problem going back to the 19th century, which was recently settled by Keevash. In particular, our argument provides a new proof of the existence of block designs, based on iterative absorption (which employs purely probabilistic and combinatorial methods). Our main result concerns decompositions of hypergraphs whose clique distribution fulfills certain regularity constraints. Our argument allows us to employ a `regularity boosting' process which frequently enables us to satisfy these constraints even if the clique distribution of the original hypergraph does not satisfy them. This enables us to go significantly beyond the setting of quasirandom hypergraphs considered by Keevash. In particular, we obtain a resilience version and a decomposition result for hypergraphs of large minimum degree.

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.

preprint2019arXiv

Decomposing tournaments into paths

We consider a generalisation of Kelly's conjecture which is due to Alspach, Mason, and Pullman from 1976. Kelly's conjecture states that every regular tournament has an edge decomposition into Hamilton cycles, and this was proved by Kühn and Osthus for large tournaments. The conjecture of Alspach, Mason, and Pullman asks for the minimum number of paths needed in a path decomposition of a general tournament TT. There is a natural lower bound for this number in terms of the degree sequence of TT and it is conjectured that this bound is correct for tournaments of even order. Almost all cases of the conjecture are open and we prove many of them.

preprint2015arXiv

A note on the minimum size of kk-rainbow connected graphs

An edge-coloured graph GG is rainbow connected if there exists a rainbow path between any two vertices. A graph GG is said to be kk-rainbow connected if there exists an edge-colouring of GG with at most kk colours that is rainbow connected. For integers nn and kk, let t(n,k)t(n,k) denote the minimum number of edges in kk-rainbow connected graphs of order nn. In this note, we prove that t(n,k)=⌈k(n−2)/(k−1)⌉t(n,k) = \lceil k(n-2)/(k-1) \rceil for all n,k≥3n, k \ge 3

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

Existences of rainbow matchings and rainbow matching covers

Let GG be an edge-coloured graph. A rainbow subgraph in GG is a subgraph such that its edges have distinct colours. The minimum colour degree δc(G)δ^c(G) of GG is the smallest number of distinct colours on the edges incident with a vertex of GG. We show that every edge-coloured graph GG on n≥7k/2+2n\geq 7k/2+2 vertices with δc(G)≥kδ^c(G) \geq k contains a rainbow matching of size at least kk, which improves the previous result for k≥10k \ge 10. Let Δmon(G)Δ_{\text{mon}}(G) be the maximum number of edges of the same colour incident with a vertex of GG. We also prove that if t≥11t \ge 11 and Δmon(G)≤tΔ_{\text{mon}}(G) \le t, then GG can be edge-decomposed into at most ⌊tn/2⌋\lfloor tn/2 \rfloor rainbow matchings. This result is sharp and improves a result of LeSaulnier and West.

preprint2014arXiv

ℓ\ell-degree Turán density

Let HnH_n be a kk-graph on nn vertices. For 0≤ℓ<k0 \le \ell <k and an ℓ\ell-subset TT of V(Hn)V(H_n), define the degree °(T)°(T) of TT to be the number of (k−ℓ)(k-\ell)-subsets~SS such that S∪TS \cup T is an edge in~HnH_n. Let the minimum ℓ\ell-degree of HnH_n be δℓ(Hn)=min⁡{°(T):T⊆V(Hn)δ_{\ell}(H_n) = \min \{ °(T) : T \subseteq V(H_n) and ∣T∣=ℓ}|T|=\ell\}. Given a family F\mathcal{F} of kk-graphs, the ℓ\ell-degree Turán number exℓ(n,F)\text{ex}_{\ell}(n, \mathcal{F}) is the largest δℓ(Hn)δ_{\ell}(H_n) over all F\mathcal{F}-free kk-graphs HnH_n on nn vertices. Hence, ex0(n,F)\text{ex}_0(n, \mathcal{F}) is the Turán number. We define ℓ\ell-degree Turán density to be πℓk(F)=lim sup⁡n→∞exℓ(n,F)(n−ℓk).π^k_{\ell}(\mathcal{F}) = \limsup_{n \rightarrow \infty} \frac{\text{ex}_{\ell}(n, \mathcal{F} )}{ \binom{n- \ell}{k}}. In this paper, we show that for k>ℓ>1k> \ell >1, the set of πℓk(F)π_{\ell}^k(\mathcal{F}) is dense in the interval [0,1)[0,1). Hence, there is no "jump" for ℓ\ell-degree Turán density when k>ℓ>1k>\ell >1. We also give a lower bound on πℓk(F)π_{\ell}^k(\mathcal{F}) in terms of an ordinary Turán density.

preprint2014arXiv

FF-factors in hypergraphs via absorption

Given integers n≥k>l≥1 n \ge k >l \ge 1 and a kk-graph FF with ∣V(F)∣|V(F)| divisible by nn, define tlk(n,F)t_l^k(n,F) to be the smallest integer dd such that every kk-graph HH of order nn with minimum ll-degree δl(H)≥dδ_l(H) \ge d contains an FF-factor. A classical theorem of Hajnal and Szemerédi implies that t12(n,Kt)=(1−1/t)nt^2_1(n,K_t) = (1-1/t)n for integers tt. For k≥3k \ge 3, tk−1k(n,Kkk)t^k_{k-1}(n,K_k^k) (the δk−1(H)δ_{k-1}(H) threshold for perfect matchings) has been determined by Kühn and Osthus (asymptotically) and Rödl, Ruciński and Szemerédi (exactly) for large nn. In this paper, we generalise the absorption technique of Rödl, Ruciński and Szemerédi to FF-factors. We determine the asymptotic values of t1k(n,Kkk(m))t^k_1(n,K_k^k(m)) for k=3,4k = 3,4 and m≥1m \ge 1. In addition, we show that for t>k=3t>k = 3 and γ>0γ>0, t23(n,Kt3)≤(1−2t2−3t+4+γ)n t^3_{2}(n,K_t^3) \le (1- \frac{2}{t^2-3t+4} + γ) n provided nn is large and t∣nt | n. We also bound t23(n,Kt3)t^3_{2}(n,K_t^3) from below. In particular, we deduce that t23(n,K43)=(3/4+o(1))nt^3_2(n,K_4^3) = (3/4+o(1))n answering a question of Pikhurko. In addition, we prove that tk−1k(n,Ktk)≤(1−(t−1k−1)−1+γ)nt^k_{k-1}(n,K_t^k) \le (1- \binom{t-1}{k-1}^{-1} + γ)n for γ>0γ>0, k≥6k \ge 6 and t≥(3+5)k/2t \ge (3+ \sqrt5)k/2 provided nn is large and t∣nt | n.

preprint2014arXiv

On-line Ramsey numbers of paths and cycles

Consider a game played on the edge set of the infinite clique by two players, Builder and Painter. In each round, Builder chooses an edge and Painter colours it red or blue. Builder wins by creating either a red copy of GG or a blue copy of HH for some fixed graphs GG and HH. The minimum number of rounds within which Builder can win, assuming both players play perfectly, is the on-line Ramsey number r~(G,H)\tilde{r}(G,H). In this paper, we consider the case where GG is a path PkP_k. We prove that r~(P3,Pℓ+1)=⌈5ℓ/4⌉=r~(P3,Cℓ)\tilde{r}(P_3, P_{\ell+1}) = \lceil 5\ell/4 \rceil = \tilde{r}(P_3, C_\ell) for all ℓ≥5\ell \ge 5, and determine r~(P4,Pℓ+1\tilde{r}(P_4, P_{\ell+1}) up to an additive constant for all ℓ≥3\ell \ge 3. We also prove some general lower bounds for on-line Ramsey numbers of the form r~(Pk+1,H)\tilde{r}(P_{k+1},H).

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

Proof of the 1-factorization and Hamilton decomposition conjectures IV: exceptional systems for the two cliques 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) 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 prove results on the decomposition of sparse graphs into path systems. These are used in the proof of (i) and (ii) in the case when GG is close to the union of two disjoint cliques.

preprint2014arXiv

Properly coloured Hamiltonian cycles in edge-coloured complete graphs

Let KncK_n^c be an edge-coloured complete graph on nn vertices. Let Δmon(Knc)Δ_{\rm mon}(K_n^c) denote the largest number of edges of the same colour incident with a vertex of KncK_n^c. A properly coloured cycle is a cycle such that no two adjacent edges have the same colour. In 1976, Bollobás and Erdős conjectured that every KncK_n^c with Δmon(Knc)<⌊n/2⌋Δ_{\rm mon}(K_n^c) < \lfloor n/2 \rfloor contains a properly coloured Hamiltonian cycle. In this paper, we show that for any ε>0\varepsilon > 0 , there exists an integer n0n_0 such that every KncK_n^c with Δmon(Knc)<(1/2−ε)nΔ_{\rm mon}(K_n^c) < (1/2 - \varepsilon) n and n≥n0n \ge n_0 contains a properly coloured Hamiltonian cycle. This improves a result of Alon and Gutin. Hence, the conjecture of Bollobás and Erdős is true asymptotically.

preprint2013arXiv

A Dirac type condition for properly coloured paths and cycles

Let cc be an edge-colouring of a graph GG such that for every vertex vv there are at least d≥2d \ge 2 different colours on edges incident to vv. We prove that GG contains a properly coloured path of length 2d or a properly coloured cycle of length at least d+1d+1. Moreover, if GG does not contain any properly coloured cycle, then there exists a properly coloured path of length 3×2d−1−23 \times 2^{d-1}-2.

preprint2013arXiv

An edge-coloured version of Dirac's theorem

Let GG be an edge-coloured graph. The minimum colour degree δc(G) δ^c(G) of GG is the largest integer kk such that, for every vertex vv, there are at least kk distinct colours on edges incident to vv. We say that GG is properly coloured if no two adjacent edges have the same colour. In this paper, we show that every edge-coloured graph GG with δc(G)≥2∣G∣/3 δ^c(G) \ge 2|G| / 3 contains a properly coloured 22-factor. Furthermore, we show that for any ε>0 \varepsilon > 0 there exists an integer n0 n_0 such that every edge-coloured graph GG with ∣G∣=n≥n0|G| = n \ge n_0 and δc(G)≥(2/3+ε)n δ^c(G) \ge ( 2/3 + \varepsilon ) n contains a properly coloured cycle of length ℓ\ell for every 3≤ℓ≤n3 \le \ell \le n. This result is best possible in the sense that the statement is false for δc(G)<2n/3 δ^c(G) < 2n / 3 .

preprint2012arXiv

A multipartite version of the Hajnal-Szemerédi theorem for graphs and hypergraphs

A perfect KtK_t-matching in a graph GG is a spanning subgraph consisting of vertex disjoint copies of KtK_t. A classic theorem of Hajnal and Szemerédi states that if GG is a graph of order nn with minimum degree δ(G)≥(t−1)n/tδ(G) \ge (t-1)n/t and t∣nt| n, then GG contains a perfect KtK_t-matching. Let GG be a tt-partite graph with vertex classes V1V_1,..., VtV_t each of size nn. We show that if every vertex x∈Vix \in V_i is joined to at least ((t−1)/t+γ)n((t-1)/t + γ)n vertices of VjV_j for i≠ji \ne j, then GG contains a perfect KtK_t-matching, thus verifying a conjecture of Fisher asymptotically. Furthermore, we consider a generalisation to hypergraphs in terms of the codegree.

preprint2012arXiv

A note on large rainbow matchings in edge-coloured graphs

A rainbow subgraph in an edge-coloured graph is a subgraph such that its edges have distinct colours. The minimum colour degree of a graph is the smallest number of distinct colours on the edges incident with a vertex over all vertices. Kostochka, Pfender, and Yancey showed that every edge-coloured graph on nn vertices with minimum colour degree at least kk contains a rainbow matching of size at least kk, provided n≥(17/4)k2n\geq (17/4)k^2. In this paper, we show that n≥4k−4n\geq 4k-4 is sufficient for k≥4k \ge 4.

preprint2012arXiv

Minimum codegree threshold for (K43−e)(K_4^3-e)-factors

Given hypergraphs H and F, an F-factor in H is a spanning subgraph consisting of vertex disjoint copies of F. Let K_4^3-e denote the 3-uniform hypergraph on 4 vertices with 3 edges. We show that for γ>0 there exists an integer n_0 such that every 3-uniform hypergraph HH of order n > n_0 with minimum codegree at least (1/2+γ)n and 4|n contains a (K_4^3-e)-factor. Moreover, this bound is asymptotically the best possible and we further give a conjecture on the exact value of the threshold for the existence of a (K_4^3-e)-factor. Therefore, all minimum codegree thresholds for the existence of F-factors are known asymptotically for 3-uniform hypergraphs F on 4 vertices.

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.