Showing 1–27 of 27 results for author: Skokan, J

Alternating paths in oriented graphs with large semidegree

Authors: Jozef Skokan, Mykhaylo Tyomkyn

Abstract: In new progress on conjectures of Stein, and Addario-Berry, Havet, Linhares Sales, Reed and Thomassé, we prove that every oriented graph with all in- and out-degrees greater than 5k/8 contains an alternating path of length k. This improves on previous results of Klimošová and Stein, and Chen, Hou and Zhou. In new progress on conjectures of Stein, and Addario-Berry, Havet, Linhares Sales, Reed and Thomassé, we prove that every oriented graph with all in- and out-degrees greater than 5k/8 contains an alternating path of length k. This improves on previous results of Klimošová and Stein, and Chen, Hou and Zhou. △ Less

Submitted 6 June, 2024; v1 submitted 5 June, 2024; originally announced June 2024.

Comments: bibliography updated

MSC Class: 05C20 (Primary) 05C07; 05C35 (Secondary)

Beyond chromatic threshold via the $(p,q)$-theorem, and a sharp blow-up phenomenon

Authors: Hong Liu, Chong Shangguan, Jozef Skokan, Zixiang Xu

Abstract: We establish a novel connection between the well-known chromatic threshold problem in extremal combinatorics and the celebrated $(p,q)$-theorem in discrete geometry. In particular, for a graph $G$ with bounded clique number and a natural density condition, we prove a $(p,q)$-theorem for an abstract convexity space associated with $G$. Our result strengthens those of Thomassen and Nikiforov on the… ▽ More We establish a novel connection between the well-known chromatic threshold problem in extremal combinatorics and the celebrated $(p,q)$-theorem in discrete geometry. In particular, for a graph $G$ with bounded clique number and a natural density condition, we prove a $(p,q)$-theorem for an abstract convexity space associated with $G$. Our result strengthens those of Thomassen and Nikiforov on the chromatic threshold of cliques. Our $(p,q)$-theorem can also be viewed as a $χ$-boundedness result for (what we call) ultra maximal $K_r$-free graphs. We further show that the graphs under study are blow-ups of constant size graphs, improving a result of Oberkampf and Schacht on homomorphism threshold of cliques. Our result unravels the cause underpinning such a blow-up phenomenon, differentiating the chromatic and homomorphism threshold problems for cliques. It implies that for the homomorphism threshold problem, rather than the minimum degree condition usually considered in the literature, the decisive factor is a clique density condition on co-neighborhoods of vertices. More precisely, we show that if an $n$-vertex $K_{r}$-free graph $G$ satisfies that the common neighborhood of every pair of non-adjacent vertices induces a subgraph with $K_{r-2}$-density at least $\varepsilon>0$, then $G$ must be a blow-up of some $K_r$-free graph $F$ on at most $2^{O(\frac{r}{\varepsilon}\log\frac{1}{\varepsilon})}$ vertices. Furthermore, this single exponential bound is optimal. We construct examples with no $K_r$-free homomorphic image of size smaller than $2^{Ω_r(\frac{1}{\varepsilon})}$. △ Less

Submitted 27 May, 2024; v1 submitted 26 March, 2024; originally announced March 2024.

Comments: 24 pages, the extended abstract is accepted in SoCG 2024

Graphs with large minimum degree and no small odd cycles are $3$-colourable

Authors: Julia Böttcher, Nóra Frankl, Domenico Mergoni Cecchelli, Olaf Parczyk, Jozef Skokan

Abstract: Answering a question by Letzter and Snyder, we prove that for large enough $k$ any $n$-vertex graph $G$ with minimum degree at least $\frac{1}{2k-1}n$ and without odd cycles of length less than $2k+1$ is $3$-colourable. In fact, we prove a stronger result that works with a slightly smaller minimum degree. Answering a question by Letzter and Snyder, we prove that for large enough $k$ any $n$-vertex graph $G$ with minimum degree at least $\frac{1}{2k-1}n$ and without odd cycles of length less than $2k+1$ is $3$-colourable. In fact, we prove a stronger result that works with a slightly smaller minimum degree. △ Less

Submitted 7 March, 2023; v1 submitted 3 February, 2023; originally announced February 2023.

Separating the edges of a graph by a linear number of paths

Authors: Marthe Bonamy, Fábio Botler, François Dross, Tássio Naia, Jozef Skokan

Abstract: Recently, Letzter proved that any graph of order $n$ contains a collection $\mathcal{P}$ of $O(n\log^\star n)$ paths with the following property: for all distinct edges $e$ and $f$ there exists a path in $\mathcal{P}$ which contains $e$ but not $f$. We improve this upper bound to $19 n$, thus answering a question of G.O.H. Katona and confirming a conjecture independently posed by Balogh, Csaba, Ma… ▽ More Recently, Letzter proved that any graph of order $n$ contains a collection $\mathcal{P}$ of $O(n\log^\star n)$ paths with the following property: for all distinct edges $e$ and $f$ there exists a path in $\mathcal{P}$ which contains $e$ but not $f$. We improve this upper bound to $19 n$, thus answering a question of G.O.H. Katona and confirming a conjecture independently posed by Balogh, Csaba, Martin, and Pluhár and by Falgas-Ravry, Kittipassorn, Korándi, Letzter, and Narayanan. Our proof is elementary and self-contained. △ Less

Submitted 10 October, 2023; v1 submitted 20 January, 2023; originally announced January 2023.

Comments: 7 pages, 3 figures

Journal ref: Advances in Combinatorics 2023:6, 7pp

The Ramsey numbers of squares of paths and cycles

Authors: Peter Allen, Domenico Mergoni Cecchelli, Barnaby Roberts, Jozef Skokan

Abstract: The square $G^2$ of a graph $G$ is the graph on $V(G)$ with a pair of vertices $uv$ an edge whenever $u$ and $v$ have distance $1$ or $2$ in $G$. Given graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the minimum $N$ such that whenever the edges of the complete graph $K_N$ are coloured with red and blue, there exists either a red copy of $G$ or a blue copy of $H$. We prove that for all sufficient… ▽ More The square $G^2$ of a graph $G$ is the graph on $V(G)$ with a pair of vertices $uv$ an edge whenever $u$ and $v$ have distance $1$ or $2$ in $G$. Given graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the minimum $N$ such that whenever the edges of the complete graph $K_N$ are coloured with red and blue, there exists either a red copy of $G$ or a blue copy of $H$. We prove that for all sufficiently large $n$ we have \[R(P_{3n}^2,P_{3n}^2)=R(P_{3n+1}^2,P_{3n+1}^2)=R(C_{3n}^2,C_{3n}^2)=9n-3\mbox{ and } R(P_{3n+2}^2,P_{3n+2}^2)=9n+1.\] We also show that for any $γ>0$ and $Δ$ there exists $β>0$ such that the following holds. If $G$ can be coloured with three colours such that all colour classes have size at most $n$, the maximum degree $Δ(G)$ of $G$ is at most $Δ$, and $G$ has bandwidth at most $βn$, then $R(G,G)\le (3+γ)n$. △ Less

Submitted 30 December, 2022; originally announced December 2022.

A robust Corrádi--Hajnal Theorem

Authors: Peter Allen, Julia Böttcher, Jan Corsten, Ewan Davies, Matthew Jenssen, Patrick Morris, Barnaby Roberts, Jozef Skokan

Abstract: For a graph $G$ and $p\in[0,1]$, we denote by $G_p$ the random sparsification of $G$ obtained by kee** each edge of $G$ independently, with probability $p$. We show that there exists a $C>0$ such that if $p\geq C(\log n)^{1/3}n^{-2/3}$ and $G$ is an $n$-vertex graph with $n\in 3\mathbb{N}$ and $δ(G)\geq \tfrac{2n}{3}$, then with high probability $G_p$ contains a triangle factor. Both the minimum… ▽ More For a graph $G$ and $p\in[0,1]$, we denote by $G_p$ the random sparsification of $G$ obtained by kee** each edge of $G$ independently, with probability $p$. We show that there exists a $C>0$ such that if $p\geq C(\log n)^{1/3}n^{-2/3}$ and $G$ is an $n$-vertex graph with $n\in 3\mathbb{N}$ and $δ(G)\geq \tfrac{2n}{3}$, then with high probability $G_p$ contains a triangle factor. Both the minimum degree condition and the probability condition, up to the choice of $C$, 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=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)$ (corresponding to $G=K_n$ in our result). It also implies a lower bound on the number of triangle factors in graphs with minimum degree at least $\tfrac{2n}{3}$ which gets close to the truth. △ Less

Submitted 2 September, 2022; originally announced September 2022.

Comments: 63 pages

Partitioning a 2-edge-coloured graph of minimum degree $2n/3 + o(n)$ into three monochromatic cycles

Authors: Peter Allen, Julia Böttcher, Richard Lang, Jozef Skokan, Maya Stein

Abstract: Lehel conjectured in the 1970s that every red and blue edge-coloured complete graph can be partitioned into two monochromatic cycles. This was confirmed in 2010 by Bessy and Thomassé. However, the host graph $G$ does not have to be complete. It it suffices to require that $G$ has minimum degree at least $3n/4$, where $n$ is the order of $G$, as was shown recently by Letzter, confirming a conjectur… ▽ More Lehel conjectured in the 1970s that every red and blue edge-coloured complete graph can be partitioned into two monochromatic cycles. This was confirmed in 2010 by Bessy and Thomassé. However, the host graph $G$ does not have to be complete. It it suffices to require that $G$ has minimum degree at least $3n/4$, where $n$ is the order of $G$, as was shown recently by Letzter, confirming a conjecture of Balogh, Barát, Gerbner, Gyárfás and Sárközy. This degree condition is asymptotically tight. Here we continue this line of research, by proving that for every red and blue edge-colouring of an $n$-vertex graph of minimum degree at least $2n/3 + o(n)$, there is a partition of the vertex set into three monochromatic cycles. This approximately verifies a conjecture of Pokrovskiy and is essentially tight. △ Less

Submitted 1 April, 2022; originally announced April 2022.

The square of a Hamilton cycle in randomly perturbed graphs

Authors: Julia Böttcher, Olaf Parczyk, Amedeo Sgueglia, Jozef Skokan

Abstract: We investigate the appearance of the square of a Hamilton cycle in the model of randomly perturbed graphs, which is, for a given $α\in (0,1)$, the union of any $n$-vertex graph with minimum degree $αn$ and the binomial random graph $G(n,p)$. This is known when $α> 1/2$, and we determine the exact perturbed threshold probability in all the remaining cases, i.e., for each $α\le 1/2$. We demonstrate… ▽ More We investigate the appearance of the square of a Hamilton cycle in the model of randomly perturbed graphs, which is, for a given $α\in (0,1)$, the union of any $n$-vertex graph with minimum degree $αn$ and the binomial random graph $G(n,p)$. This is known when $α> 1/2$, and we determine the exact perturbed threshold probability in all the remaining cases, i.e., for each $α\le 1/2$. We demonstrate that, as $α$ ranges over the interval $(0,1)$, the threshold performs a countably infinite number of `jumps'. Our result has implications on the perturbed threshold for $2$-universality, where we also fully address all open cases. △ Less

Submitted 4 January, 2024; v1 submitted 10 February, 2022; originally announced February 2022.

Comments: 39 pages, 8 figures; final version as accepted for publication in Random Structures & Algorithms

Cycle factors in randomly perturbed graphs

Authors: Julia Böttcher, Olaf Parczyk, Amedeo Sgueglia, Jozef Skokan

Abstract: We study the problem of finding pairwise vertex-disjoint copies of the $\ell$-vertex cycle $C_\ell$ in the randomly perturbed graph model, which is the union of a deterministic $n$-vertex graph $G$ and the binomial random graph $G(n,p)$. For $\ell \ge 3$ we prove that asymptotically almost surely $G \cup G(n,p)$ contains $\min \{δ(G), \lfloor n/\ell \rfloor \}$ pairwise vertex-disjoint cycles… ▽ More We study the problem of finding pairwise vertex-disjoint copies of the $\ell$-vertex cycle $C_\ell$ in the randomly perturbed graph model, which is the union of a deterministic $n$-vertex graph $G$ and the binomial random graph $G(n,p)$. For $\ell \ge 3$ we prove that asymptotically almost surely $G \cup G(n,p)$ contains $\min \{δ(G), \lfloor n/\ell \rfloor \}$ pairwise vertex-disjoint cycles $C_\ell$, provided $p \ge C \log n/n$ for $C$ sufficiently large. Moreover, when $δ(G) \geαn$ with $0<α\le 1/\ell$ and $G$ is not `close' to the complete bipartite graph $K_{αn,(1-α) n}$, then $p \ge C/n$ suffices to get the same conclusion. This provides a stability version of our result. In particular, we conclude that $p \ge C/n$ suffices when $α>1/\ell$ for finding $\lfloor n/\ell \rfloor$ cycles $C_\ell$. Our results are asymptotically optimal. They can be seen as an interpolation between the Johansson--Kahn--Vu Theorem for $C_\ell$-factors and the resolution of the El-Zahar Conjecture for $C_\ell$-factors by Abbasi. △ Less

Submitted 31 May, 2021; v1 submitted 10 March, 2021; originally announced March 2021.

Comments: 12 pages. An extended abstract of this work will appear in the proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS 2021)

Triangles in randomly perturbed graphs

Authors: Julia Böttcher, Olaf Parczyk, Amedeo Sgueglia, Jozef Skokan

Abstract: We study the problem of finding pairwise vertex-disjoint triangles in the randomly perturbed graph model, which is the union of any $n$-vertex graph $G$ satisfying a given minimum degree condition and the binomial random graph $G(n,p)$. We prove that asymptotically almost surely $G \cup G(n,p)$ contains at least $\min\{δ(G), \lfloor n/3 \rfloor\}$ pairwise vertex-disjoint triangles, provided… ▽ More We study the problem of finding pairwise vertex-disjoint triangles in the randomly perturbed graph model, which is the union of any $n$-vertex graph $G$ satisfying a given minimum degree condition and the binomial random graph $G(n,p)$. We prove that asymptotically almost surely $G \cup G(n,p)$ contains at least $\min\{δ(G), \lfloor n/3 \rfloor\}$ pairwise vertex-disjoint triangles, provided $p \ge C \log n/n$, where $C$ 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 $2$-universality. △ Less

Submitted 1 June, 2022; v1 submitted 15 November, 2020; originally announced November 2020.

Comments: 35 pages, 1 figure; final version as accepted for publication in Combinatorics, Probability and Computing

Asymmetric Ramsey Properties of Random Graphs for Cliques and Cycles

Authors: Anita Liebenau, Letícia Mattos, Walner Mendonça, Jozef Skokan

Abstract: We say that $G \to (F,H)$ if, in every edge colouring $c: E(G) \to \{1,2\}$, we can find either a $1$-coloured copy of $F$ or a $2$-coloured copy of $H$. The well-known Kohayakawa--Kreuter conjecture states that the threshold for the property $G(n,p) \to (F,H)$ is equal to $n^{-1/m_{2}(F,H)}$, where $m_{2}(F,H)$ is given by \[ m_{2}(F,H):= \max \left\{\dfrac{e(J)}{v(J)-2+1/m_2(H)} : J \subseteq F,… ▽ More We say that $G \to (F,H)$ if, in every edge colouring $c: E(G) \to \{1,2\}$, we can find either a $1$-coloured copy of $F$ or a $2$-coloured copy of $H$. The well-known Kohayakawa--Kreuter conjecture states that the threshold for the property $G(n,p) \to (F,H)$ is equal to $n^{-1/m_{2}(F,H)}$, where $m_{2}(F,H)$ is given by \[ m_{2}(F,H):= \max \left\{\dfrac{e(J)}{v(J)-2+1/m_2(H)} : J \subseteq F, e(J)\ge 1 \right\}. \] In this paper, we show the $0$-statement of the Kohayakawa--Kreuter conjecture for every pair of cycles and cliques. △ Less

Submitted 22 October, 2020; originally announced October 2020.

Comments: 21 pages

Partitioning edge-coloured hypergraphs into few monochromatic tight cycles

Authors: Sebastián Bustamante, Jan Corsten, Nóra Frankl, Alexey Pokrovskiy, Jozef Skokan

Abstract: Confirming a conjecture of Gyárfás, we prove that, for all natural numbers $k$ and $r$, the vertices of every $r$-edge-coloured complete $k$-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 $p$ and $r$, the vertices of every $r$-edge-coloured complete graph can b… ▽ More Confirming a conjecture of Gyárfás, we prove that, for all natural numbers $k$ and $r$, the vertices of every $r$-edge-coloured complete $k$-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 $p$ and $r$, the vertices of every $r$-edge-coloured complete graph can be partitioned into a bounded number of $p$-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. △ Less

Submitted 9 July, 2020; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 15 pages, 3 figures

MSC Class: 05C35; 05C15; 05C65

Journal ref: SIAM J. Discrete Math., 34 (2020), no. 2, 1460-1471

Decomposing tournaments into paths

Authors: Allan Lo, Viresh Patel, Jozef Skokan, John Talbot

Abstract: 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 t… ▽ More 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 $T$. There is a natural lower bound for this number in terms of the degree sequence of $T$ 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. △ Less

Submitted 27 February, 2019; originally announced February 2019.

Comments: 39 pages

The Ramsey Number of Fano Plane Versus Tight Path

Authors: József Balogh, Felix Christian Clemen, Jozef Skokan, Adam Zsolt Wagner

Abstract: The hypergraph Ramsey number of two $3$-uniform hypergraphs $G$ and $H$, denoted by $R(G,H)$, is the least integer $N$ such that every red-blue edge-coloring of the complete $3$-uniform hypergraph on $N$ vertices contains a red copy of $G$ or a blue copy of $H$. The Fano plane $\mathbb{F}$ is the unique 3-uniform hypergraph with seven edges on seven vertices in which every pair of vertices is co… ▽ More The hypergraph Ramsey number of two $3$-uniform hypergraphs $G$ and $H$, denoted by $R(G,H)$, is the least integer $N$ such that every red-blue edge-coloring of the complete $3$-uniform hypergraph on $N$ vertices contains a red copy of $G$ or a blue copy of $H$. The Fano plane $\mathbb{F}$ is the unique 3-uniform hypergraph with seven edges on seven vertices in which every pair of vertices is contained in a unique edge. There is a simple construction showing that $R(H,\mathbb{F}) \ge 2(v(H)-1) + 1.$ Hypergraphs $H$ for which the equality holds are called $\mathbb{F}$-good. Conlon asked to determine all $H$ that are $\mathbb{F}$-good. In this short paper we make progress on this problem and prove that the tight path of length $n$ is $\mathbb{F}$-good. △ Less

Submitted 21 January, 2019; originally announced January 2019.

Comments: 15 pages

MSC Class: 05D10; 05C65

Regularity inheritance in hypergraphs

Authors: Peter Allen, Ewan Davies, Jozef Skokan

Abstract: We give a new approach to handling hypergraph regularity. This approach allows for vertex-by-vertex embedding into regular partitions of hypergraphs, and generalises to regular partitions of sparse hypergraphs. We also prove a corresponding sparse hypergraph regularity lemma. We give a new approach to handling hypergraph regularity. This approach allows for vertex-by-vertex embedding into regular partitions of hypergraphs, and generalises to regular partitions of sparse hypergraphs. We also prove a corresponding sparse hypergraph regularity lemma. △ Less

Submitted 17 January, 2019; originally announced January 2019.

Comments: 48 pages

Cycle-complete Ramsey numbers

Authors: Peter Keevash, Eoin Long, Jozef Skokan

Abstract: The Ramsey number $r(C_{\ell},K_n)$ is the smallest natural number $N$ such that every red/blue edge-colouring of a clique of order $N$ contains a red cycle of length $\ell$ or a blue clique of order $n$. In 1978, Erdős, Faudree, Rousseau and Schelp conjectured that $r(C_{\ell},K_n) = (\ell-1)(n-1)+1$ for $\ell \geq n\geq 3$ provided $(\ell,n) \neq (3,3)$. We prove that, for some absolute consta… ▽ More The Ramsey number $r(C_{\ell},K_n)$ is the smallest natural number $N$ such that every red/blue edge-colouring of a clique of order $N$ contains a red cycle of length $\ell$ or a blue clique of order $n$. In 1978, Erdős, Faudree, Rousseau and Schelp conjectured that $r(C_{\ell},K_n) = (\ell-1)(n-1)+1$ for $\ell \geq n\geq 3$ provided $(\ell,n) \neq (3,3)$. We prove that, for some absolute constant $C\ge 1$, we have $r(C_{\ell},K_n) = (\ell-1)(n-1)+1$ provided $\ell \geq C\frac {\log n}{\log \log n}$. Up to the value of $C$ this is tight since we also show that, for any $\varepsilon >0$ and $n> n_0(\varepsilon )$, we have $r(C_{\ell }, K_n) \gg (\ell -1)(n-1)+1$ for all $3 \leq \ell \leq (1-\varepsilon )\frac {\log n}{\log \log n}$. This proves the conjecture of Erdős, Faudree, Rousseau and Schelp for large $\ell $, a stronger form of the conjecture due to Nikiforov, and answers (up to multiplicative constants) two further questions of Erdős, Faudree, Rousseau and Schelp. △ Less

Submitted 17 July, 2018; originally announced July 2018.

Comments: 19 pages

MSC Class: 05D10

The number of hypergraphs without linear cycles

Authors: József Balogh, Bhargav Narayanan, Jozef Skokan

Abstract: The $r$-uniform linear $k$-cycle $C^r_k$ is the $r$-uniform hypergraph on $k(r-1)$ vertices whose edges are sets of $r$ consecutive vertices in a cyclic ordering of the vertex set chosen in such a way that every pair of consecutive edges share exactly one vertex. Here, we prove a balanced supersaturation result for linear cycles which we then use in conjunction with the method of hypergraph contai… ▽ More The $r$-uniform linear $k$-cycle $C^r_k$ is the $r$-uniform hypergraph on $k(r-1)$ vertices whose edges are sets of $r$ consecutive vertices in a cyclic ordering of the vertex set chosen in such a way that every pair of consecutive edges share exactly one vertex. Here, we prove a balanced supersaturation result for linear cycles which we then use in conjunction with the method of hypergraph containers to show that for any fixed pair of integers $r, k \ge 3$, the number of $C^r_k$-free $r$-uniform hypergraphs on $n$ vertices is $2^{Θ(n^{r-1})}$, thereby settling a conjecture due to Mubayi and Wang. △ Less

Submitted 5 June, 2017; originally announced June 2017.

Comments: 15 pages, submitted

MSC Class: 05D10 (Primary); 05D40 (Secondary)

Exact Ramsey numbers of odd cycles via nonlinear optimisation

Authors: Matthew Jenssen, Jozef Skokan

Abstract: For a graph $G$, the $k$-colour Ramsey number $R_k(G)$ is the least integer $N$ such that every $k$-colouring of the edges of the complete graph $K_N$ contains a monochromatic copy of $G$. Let $C_n$ denote the cycle on $n$ vertices. We show that for fixed $k\geq2$ and $n$ odd and sufficiently large, \[ R_k(C_n)=2^{k-1}(n-1)+1. \] This resolves a conjecture of Bondy and Erdős [J. Combin. Th. Ser. B… ▽ More For a graph $G$, the $k$-colour Ramsey number $R_k(G)$ is the least integer $N$ such that every $k$-colouring of the edges of the complete graph $K_N$ contains a monochromatic copy of $G$. Let $C_n$ denote the cycle on $n$ vertices. We show that for fixed $k\geq2$ and $n$ odd and sufficiently large, \[ 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 $n$. 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 $k$-colourings for this problem and perfect matchings in the $k$-dimensional hypercube $Q_k$. △ Less

Submitted 19 August, 2016; originally announced August 2016.

Comments: 37 pages

Regularity inheritance in pseudorandom graphs

Authors: Peter Allen, Julia Böttcher, Jozef Skokan, Maya Stein

Abstract: Advancing the sparse regularity method, we prove one-sided and two-sided regularity inheritance lemmas for subgraphs of bijumbled graphs, improving on results of Conlon, Fox and Zhao [Adv. Math. 256 (2014), 206--290]. These inheritance lemmas also imply improved $H$-counting lemmas for subgraphs of bijumbled graphs, for some $H$. Advancing the sparse regularity method, we prove one-sided and two-sided regularity inheritance lemmas for subgraphs of bijumbled graphs, improving on results of Conlon, Fox and Zhao [Adv. Math. 256 (2014), 206--290]. These inheritance lemmas also imply improved $H$-counting lemmas for subgraphs of bijumbled graphs, for some $H$. △ Less

Submitted 7 February, 2019; v1 submitted 3 June, 2016; originally announced June 2016.

Comments: 28 pages, no figures

An asymptotic multipartite Kühn-Osthus theorem

Authors: Ryan R. Martin, Richard Mycroft, Jozef Skokan

Abstract: In this paper we prove an asymptotic multipartite version of a well-known theorem of Kühn and Osthus by establishing, for any graph $H$ with chromatic number $r$, the asymptotic multipartite minimum degree threshold which ensures that a large $r$-partite graph $G$ admits a perfect $H$-tiling. We also give the threshold for an $H$-tiling covering all but a linear number of vertices of $G$, in a mul… ▽ More In this paper we prove an asymptotic multipartite version of a well-known theorem of Kühn and Osthus by establishing, for any graph $H$ with chromatic number $r$, the asymptotic multipartite minimum degree threshold which ensures that a large $r$-partite graph $G$ admits a perfect $H$-tiling. We also give the threshold for an $H$-tiling covering all but a linear number of vertices of $G$, in a multipartite analogue of results of Komlós and of Shokoufandeh and Zhao. △ Less

Submitted 13 July, 2017; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 16 pages

MSC Class: 05C35; 05C70

Journal ref: SIAM J. Discrete Math 31(3) 1498--1513 (2017)

Asymptotic multipartite version of the Alon-Yuster theorem

Authors: Ryan R. Martin, Jozef Skokan

Abstract: In this paper, we prove the asymptotic multipartite version of the Alon-Yuster theorem, which is a generalization of the Hajnal-Szemerédi theorem: If $k\geq 3$ is an integer, $H$ is a $k$-colorable graph and $γ>0$ is fixed, then, for every sufficiently large $n$, where $|V(H)|$ divides $n$, and for every balanced $k$-partite graph $G$ on $kn$ vertices with each of its corresponding $\binom{k}{2}$… ▽ More In this paper, we prove the asymptotic multipartite version of the Alon-Yuster theorem, which is a generalization of the Hajnal-Szemerédi theorem: If $k\geq 3$ is an integer, $H$ is a $k$-colorable graph and $γ>0$ is fixed, then, for every sufficiently large $n$, where $|V(H)|$ divides $n$, and for every balanced $k$-partite graph $G$ on $kn$ vertices with each of its corresponding $\binom{k}{2}$ bipartite subgraphs having minimum degree at least $(k-1)n/k+γn$, $G$ has a subgraph consisting of $kn/|V(H)|$ vertex-disjoint copies of $H$. The proof uses the Regularity method together with linear programming. △ Less

Submitted 22 May, 2017; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: 22 pages, 1 figure

MSC Class: 05C35; 05C70

The Ramsey number of the clique and the hypercube

Authors: Gonzalo Fiz Pontiveros, Simon Griffiths, Robert Morris, David Saxton, Jozef Skokan

Abstract: The Ramsey number r(K_s,Q_n) is the smallest positive integer N such that every red-blue colouring of the edges of the complete graph K_N on N vertices contains either a red n-dimensional hypercube, or a blue clique on s vertices. Answering a question of Burr and Erdős from 1983, and improving on recent results of Conlon, Fox, Lee and Sudakov, and of the current authors, we show that r(K_s,Q_n) =… ▽ More The Ramsey number r(K_s,Q_n) is the smallest positive integer N such that every red-blue colouring of the edges of the complete graph K_N on N vertices contains either a red n-dimensional hypercube, or a blue clique on s vertices. Answering a question of Burr and Erdős from 1983, and improving on recent results of Conlon, Fox, Lee and Sudakov, and of the current authors, we show that r(K_s,Q_n) = (s-1) (2^n - 1) + 1 for every s \in \N and every sufficiently large n \in \N. △ Less

Submitted 3 June, 2013; originally announced June 2013.

Comments: 27 pages

On the Ramsey number of the triangle and the cube

Authors: Gonzalo Fiz Pontiveros, Simon Griffiths, Robert Morris, David Saxton, Jozef Skokan

Abstract: 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… ▽ More 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. △ Less

Submitted 15 February, 2013; originally announced February 2013.

Comments: 16 pages

Maximum planar subgraphs in dense graphs

Authors: Peter Allen, Jozef Skokan, Andreas Würfl

Abstract: Kühn, Osthus and Taraz showed that for each γ>0 there exists C such that any n-vertex graph with minimum degree γn contains a planar subgraph with at least 2n-C edges. We find the optimum value of C for all γ<1/2 and sufficiently large n. Kühn, Osthus and Taraz showed that for each γ>0 there exists C such that any n-vertex graph with minimum degree γn contains a planar subgraph with at least 2n-C edges. We find the optimum value of C for all γ<1/2 and sufficiently large n. △ Less

Submitted 8 January, 2013; originally announced January 2013.

Comments: 10 pages, 1 figure

Cycles are strongly Ramsey-unsaturated

Authors: Jozef Skokan, Maya Stein

Abstract: We call a graph H Ramsey-unsaturated if there is an edge in the complement of H such that the Ramsey number r(H) of H does not change upon adding it to H. This notion was introduced by Balister, Lehel and Schelp who also proved that cycles (except for $C_4$) are Ramsey-unsaturated, and conjectured that, moreover, one may add any chord without changing the Ramsey number of the cycle $C_n$, unless n… ▽ More We call a graph H Ramsey-unsaturated if there is an edge in the complement of H such that the Ramsey number r(H) of H does not change upon adding it to H. This notion was introduced by Balister, Lehel and Schelp who also proved that cycles (except for $C_4$) are Ramsey-unsaturated, and conjectured that, moreover, one may add any chord without changing the Ramsey number of the cycle $C_n$, unless n is even and adding the chord creates an odd cycle. We prove this conjecture for large cycles by showing a stronger statement: If a graph H is obtained by adding a linear number of chords to a cycle $C_n$, then $r(H)=r(C_n)$, as long as the maximum degree of H is bounded, H is either bipartite (for even n) or almost bipartite (for odd n), and n is large. This motivates us to call cycles strongly Ramsey-unsaturated. Our proof uses the regularity method. △ Less

Submitted 10 March, 2012; originally announced March 2012.

MSC Class: 05C55

Journal ref: Combinator. Probab. Comp. 23 (2014) 607-630

Ramsey-goodness -- and otherwise

Authors: Peter Allen, Graham Brightwell, Jozef Skokan

Abstract: 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_Δ$ such that, for any connected $n$-vertex graph $G$ with maximum degree $Δ$, the Ramsey number $R(G,G)$ is at most $r_Δn$, provided $n$ is sufficiently large. In 1987, Burr made a strong conjecture implying that one may take $r_Δ= Δ$. However, G… ▽ More 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_Δ$ such that, for any connected $n$-vertex graph $G$ with maximum degree $Δ$, the Ramsey number $R(G,G)$ is at most $r_Δn$, provided $n$ is sufficiently large. In 1987, Burr made a strong conjecture implying that one may take $r_Δ= Δ$. However, Graham, Rödl and Ruciński showed, by taking $G$ to be a suitable expander graph, that necessarily $r_Δ> 2^{cΔ}$ for some constant $c>0$. We show that the use of expanders is essential: if we impose the additional restriction that the bandwidth of $G$ be at most some function $β(n) = o(n)$, then $R(G,G) \le (2χ(G)+4)n\leq (2Δ+6)n$, i.e., $r_Δ= 2Δ+6$ suffices. On the other hand, we show that Burr's conjecture itself fails even for $P_n^k$, the $k$th power of a path $P_n$. Brandt showed that for any $c$, if $Δ$ is sufficiently large, there are connected $n$-vertex graphs $G$ with $Δ(G)\leqΔ$ but $R(G,K_3)>cn$. We show that, given $Δ$ and $H$, there are $β>0$ and $n_0$ such that, if $G$ is a connected graph on $n\ge n_0$ vertices with maximum degree at most $Δ$ and bandwidth at most $βn$, then we have $R(G,H)=(χ(H)-1)(n-1)+σ(H)$, where $σ(H)$ is the smallest size of any part in any $χ(H)$-partition of $H$. We also show that the same conclusion holds without any restriction on the maximum degree of $G$ if the bandwidth of $G$ is at most $ε(H) \log n/\log\log n$. △ Less

Submitted 25 October, 2010; originally announced October 2010.

Comments: 34 pages

On the Multi-coloured Ramsey Numbers of Cycles

Authors: Tomasz Łuczak, Miklós Simonovits, Jozef Skokan

Abstract: For a graph $L$ and an integer $k\geq 2$, $R_k(L)$ denotes the smallest integer $N$ for which for any edge-colouring of the complete graph $K_N$ by $k$ colours there exists a colour $i$ for which the corresponding colour class contains $L$ as a subgraph. Bondy and Erdős conjectured that for an odd cycle $C_n$ on $n$ vertices, $$R_k(C_n) = 2^{k-1}(n-1)+1 \text{for $n>3$.}$… ▽ More For a graph $L$ and an integer $k\geq 2$, $R_k(L)$ denotes the smallest integer $N$ for which for any edge-colouring of the complete graph $K_N$ by $k$ colours there exists a colour $i$ for which the corresponding colour class contains $L$ as a subgraph. Bondy and Erdős conjectured that for an odd cycle $C_n$ on $n$ vertices, $$R_k(C_n) = 2^{k-1}(n-1)+1 \text{for $n>3$.}$$ They proved the case when $k=2$ and also provided an upper bound $R_k(C_n)\leq (k+2)!n$. Recently, this conjecture has been verified for $k=3$ if $n$ is large. In this note, we prove that for every integer $k\geq 4$, $$R_k(C_n)\leq k2^kn+o(n), \text{as $n\to\infty$.}$$ When $n$ is even, Yongqi, Yuansheng, Feng, and Bingxi gave a construction, showing that $R_k(C_n)\geq (k-1)n-2k+4.$ Here we prove that if $n$ is even, then $$R_k(C_n)\leq kn+o(n), \text{as $n\to\infty$.}$$ △ Less

Submitted 24 August, 2010; v1 submitted 21 May, 2010; originally announced May 2010.

Comments: 8 pages, 0 figures Added references. Corrected typos

MSC Class: 05C55