Source author record

Jozef Skokan

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

9works
1topics
4close collaborators

Published work

9 publications

preprint2022arXiv

A robust Corrádi--Hajnal Theorem

For a graph GG and p∈[0,1]p\in[0,1], we denote by GpG_p the random sparsification of GG obtained by keeping each edge of GG independently, with probability pp. We show that there exists a C>0C>0 such that if p≥C(log⁡n)1/3n−2/3p\geq C(\log n)^{1/3}n^{-2/3} and GG is an nn-vertex graph with n∈3Nn\in 3\mathbb{N} and δ(G)≥2n3δ(G)\geq \tfrac{2n}{3}, then with high probability GpG_p contains a triangle factor. Both the minimum degree condition and the probability condition, up to the choice of CC, are tight. Our result can be viewed as a common strengthening of the seminal theorems of Corrádi and Hajnal, which deals with the extremal minimum degree condition for containing triangle factors (corresponding to p=1p=1 in our result), and Johansson, Kahn and Vu, which deals with the threshold for the appearance of a triangle factor in G(n,p)G(n,p) (corresponding to G=KnG=K_n in our result). It also implies a lower bound on the number of triangle factors in graphs with minimum degree at least 2n3\tfrac{2n}{3} which gets close to the truth.

preprint2022arXiv

Triangles in randomly perturbed graphs

We study the problem of finding pairwise vertex-disjoint triangles in the randomly perturbed graph model, which is the union of any nn-vertex graph GG satisfying a given minimum degree condition and the binomial random graph G(n,p)G(n,p). We prove that asymptotically almost surely G∪G(n,p)G \cup G(n,p) contains at least min⁡{δ(G),⌊n/3⌋}\min\{δ(G), \lfloor n/3 \rfloor\} pairwise vertex-disjoint triangles, provided p≥Clog⁡n/np \ge C \log n/n, where CC is a large enough constant. This is a perturbed version of an old result of Dirac. Our result is asymptotically optimal and answers a question of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516] in a strong form. We also prove a stability version of our result, which in the case of pairwise vertex-disjoint triangles extends a result of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516]. Together with a result of Balogh, Treglown, and Wagner [CPC, 2019, no. 2, 159--176] this fully resolves the existence of triangle factors in randomly perturbed graphs. We believe that the methods introduced in this paper are useful for a variety of related problems: we discuss possible generalisations to clique factors, cycle factors, and 22-universality.

preprint2020arXiv

Partitioning edge-coloured hypergraphs into few monochromatic tight cycles

Confirming a conjecture of Gyárfás, we prove that, for all natural numbers kk and rr, the vertices of every rr-edge-coloured complete kk-uniform hypergraph can be partitioned into a bounded number (independent of the size of the hypergraph) of monochromatic tight cycles. We further prove that, for for all natural numbers pp and rr, the vertices of every rr-edge-coloured complete graph can be partitioned into a bounded number of pp-th powers of cycles, settling a problem of Elekes, Soukup, Soukup and Szentmiklóssy. In fact we prove a common generalisation of both theorems which further extends these results to all host hypergraphs of bounded independence number.

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.

preprint2016arXiv

Exact Ramsey numbers of odd cycles via nonlinear optimisation

For a graph GG, the kk-colour Ramsey number Rk(G)R_k(G) is the least integer NN such that every kk-colouring of the edges of the complete graph KNK_N contains a monochromatic copy of GG. Let CnC_n denote the cycle on nn vertices. We show that for fixed k≥2k\geq2 and nn odd and sufficiently large, Rk(Cn)=2k−1(n−1)+1. R_k(C_n)=2^{k-1}(n-1)+1. This resolves a conjecture of Bondy and Erdős [J. Combin. Th. Ser. B \textbf{14} (1973), 46--54] for large nn. The proof is analytic in nature, the first step of which is to use the regularity method to relate this problem in Ramsey theory to one in nonlinear optimisation. This allows us to prove a stability-type generalisation of the above and establish a surprising correspondence between extremal kk-colourings for this problem and perfect matchings in the kk-dimensional hypercube QkQ_k.

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.

preprint2010arXiv

On the Multi-coloured Ramsey Numbers of Cycles

For a graph LL and an integer k≥2k\geq 2, Rk(L)R_k(L) denotes the smallest integer NN for which for any edge-colouring of the complete graph KNK_N by kk colours there exists a colour ii for which the corresponding colour class contains LL as a subgraph. Bondy and Erdős conjectured that for an odd cycle CnC_n on nn vertices, Rk(Cn)=2k−1(n−1)+1for n>3.R_k(C_n) = 2^{k-1}(n-1)+1 \text{for $n>3$.} They proved the case when k=2k=2 and also provided an upper bound Rk(Cn)≤(k+2)!nR_k(C_n)\leq (k+2)!n. Recently, this conjecture has been verified for k=3k=3 if nn is large. In this note, we prove that for every integer k≥4k\geq 4, Rk(Cn)≤k2kn+o(n),as n→∞.R_k(C_n)\leq k2^kn+o(n), \text{as $n\to\infty$.} When nn is even, Yongqi, Yuansheng, Feng, and Bingxi gave a construction, showing that Rk(Cn)≥(k−1)n−2k+4.R_k(C_n)\geq (k-1)n-2k+4. Here we prove that if nn is even, then Rk(Cn)≤kn+o(n),as n→∞.R_k(C_n)\leq kn+o(n), \text{as $n\to\infty$.}

preprint2010arXiv

Ramsey-goodness -- and otherwise

A celebrated result of Chvátal, Rödl, Szemerédi and Trotter states (in slightly weakened form) that, for every natural number ΔΔ, there is a constant rΔr_Δ such that, for any connected nn-vertex graph GG with maximum degree ΔΔ, the Ramsey number R(G,G)R(G,G) is at most rΔnr_Δn, provided nn is sufficiently large. In 1987, Burr made a strong conjecture implying that one may take rΔ=Δr_Δ= Δ. However, Graham, Rödl and Ruciński showed, by taking GG to be a suitable expander graph, that necessarily rΔ>2cΔr_Δ> 2^{cΔ} for some constant c>0c>0. We show that the use of expanders is essential: if we impose the additional restriction that the bandwidth of GG be at most some function β(n)=o(n)β(n) = o(n), then R(G,G)≤(2χ(G)+4)n≤(2Δ+6)nR(G,G) \le (2χ(G)+4)n\leq (2Δ+6)n, i.e., rΔ=2Δ+6r_Δ= 2Δ+6 suffices. On the other hand, we show that Burr's conjecture itself fails even for PnkP_n^k, the kkth power of a path PnP_n. Brandt showed that for any cc, if ΔΔ is sufficiently large, there are connected nn-vertex graphs GG with Δ(G)≤ΔΔ(G)\leqΔ but R(G,K3)>cnR(G,K_3)>cn. We show that, given ΔΔ and HH, there are β>0β>0 and n0n_0 such that, if GG is a connected graph on n≥n0n\ge n_0 vertices with maximum degree at most ΔΔ and bandwidth at most βnβn, then we have R(G,H)=(χ(H)−1)(n−1)+σ(H)R(G,H)=(χ(H)-1)(n-1)+σ(H), where σ(H)σ(H) is the smallest size of any part in any χ(H)χ(H)-partition of HH. We also show that the same conclusion holds without any restriction on the maximum degree of GG if the bandwidth of GG is at most ε(H)log⁡n/log⁡log⁡nε(H) \log n/\log\log n.

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.