-
Arbitrary orientations of Hamilton cycles in directed graphs of large minimum degree
Authors:
Louis DeBiasio,
Andrew Treglown
Abstract:
In 1960, Ghouila-Houri proved that every strongly connected directed graph $G$ on $n$ vertices with minimum degree at least $n$ contains a directed Hamilton cycle. We asymptotically generalize this result by proving the following: every directed graph $G$ on $n$ vertices and with minimum degree at least $(1+o(1))n$ contains every orientation of a Hamilton cycle, except for the directed Hamilton cy…
▽ More
In 1960, Ghouila-Houri proved that every strongly connected directed graph $G$ on $n$ vertices with minimum degree at least $n$ contains a directed Hamilton cycle. We asymptotically generalize this result by proving the following: every directed graph $G$ on $n$ vertices and with minimum degree at least $(1+o(1))n$ contains every orientation of a Hamilton cycle, except for the directed Hamilton cycle in the case when $G$ is not strongly connected. In fact, this minimum degree condition forces every orientation of a cycle in $G$ of every possible length, other than perhaps the directed cycles.
△ Less
Submitted 14 May, 2025;
originally announced May 2025.
-
Powers of Hamilton cycles in oriented and directed graphs
Authors:
Louis DeBiasio,
Jie Han,
Allan Lo,
Theodore Molla,
Simón Piga,
Andrew Treglown
Abstract:
The Pósa--Seymour conjecture determines the minimum degree threshold for forcing the $k$th power of a Hamilton cycle in a graph. After numerous partial results, Komlós, Sárközy and Szemerédi proved the conjecture for sufficiently large graphs. In this paper we focus on the analogous problem for digraphs and for oriented graphs. We asymptotically determine the minimum total degree threshold for for…
▽ More
The Pósa--Seymour conjecture determines the minimum degree threshold for forcing the $k$th power of a Hamilton cycle in a graph. After numerous partial results, Komlós, Sárközy and Szemerédi proved the conjecture for sufficiently large graphs. In this paper we focus on the analogous problem for digraphs and for oriented graphs. We asymptotically determine the minimum total degree threshold for forcing the square of a Hamilton cycle in a digraph. We also give a conjecture on the corresponding threshold for $k$th powers of a Hamilton cycle more generally. For oriented graphs, we provide a minimum semi-degree condition that forces the $k$th power of a Hamilton cycle; although this minimum semi-degree condition is not tight, it does provide the correct order of magnitude of the threshold. Turán-type problems for oriented graphs are also discussed.
△ Less
Submitted 24 December, 2024;
originally announced December 2024.
-
A bounded diameter strengthening of Kőnig's Theorem
Authors:
Louis DeBiasio,
António Girão,
Penny Haxell,
Maya Stein
Abstract:
K\H onig's theorem says that the vertex cover number of every bipartite graph is at most its matching number (in fact they are equal since, trivially, the matching number is at most the vertex cover number). An equivalent formulation of K\H onig's theorem is that in every $2$-colouring of the edges of a graph $G$, the number of monochromatic components needed to cover the vertex set of $G$ is at m…
▽ More
K\H onig's theorem says that the vertex cover number of every bipartite graph is at most its matching number (in fact they are equal since, trivially, the matching number is at most the vertex cover number). An equivalent formulation of K\H onig's theorem is that in every $2$-colouring of the edges of a graph $G$, the number of monochromatic components needed to cover the vertex set of $G$ is at most the independence number of $G$.
We prove the following strengthening of K\H onig's theorem: In every $2$-colouring of the edges of a graph $G$, the number of monochromatic subgraphs of bounded diameter needed to cover the vertex set of $G$ is at most the independence number of $G$.
△ Less
Submitted 2 April, 2025; v1 submitted 26 September, 2024;
originally announced September 2024.
-
A note on the multicolor size-Ramsey numbers of connected graphs
Authors:
Louis DeBiasio
Abstract:
The $r$-color size-Ramsey number of a graph $H$, denoted $\hat{R}_r(H)$ is the smallest number of edges in a graph $G$ having the property that every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H$.
Krivelevich proved that $\hat{R}_r(P_{m+1})=Ω(r^2m)$ where $P_{m+1}$ is the path on $m$ edges. He explains that his proof actually applies to any connected graph $H$ with $m$ ed…
▽ More
The $r$-color size-Ramsey number of a graph $H$, denoted $\hat{R}_r(H)$ is the smallest number of edges in a graph $G$ having the property that every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H$.
Krivelevich proved that $\hat{R}_r(P_{m+1})=Ω(r^2m)$ where $P_{m+1}$ is the path on $m$ edges. He explains that his proof actually applies to any connected graph $H$ with $m$ edges and vertex cover number larger than $\sqrt{m}$. He also notes that some restriction on the vertex cover number is necessary since the star with $m$ edges, $K_{1,m}$, has vertex cover number 1 and satisfies $\hat{R}_r(K_{1,m})=r(m-1)+1$. We prove that the star is actually the only exception; that is, $\hat{R}_r(H)=Ω(r^2m)$ for every non-star connected graph $H$ with $m$ edges.
We also prove a strengthening of this result for trees. It follows from results of Beck and Dellamonica that $\hat{R}_2(T)=Θ(β(T))$ for every tree $T$ with bipartition $\{V_1, V_2\}$ and $β(T)=|V_1|\max\{d(v):v\in V_1\}+|V_2|\max\{d(v):v\in V_2\}$. We prove that $\hat{R}_r(T)=Ω(r^2β(T))$ for every tree $T$, again with the exception of the star. Additionally, we prove that for a certain class of trees $\mathcal{T}$ (which includes all trees of radius 2 and all non-star trees with linear maximum degree) we have $\hat{R}_r(T)=Θ(r^2β(T))$ for all $T\in \mathcal{T}$.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
On the multicolor Ramsey numbers of balanced double stars
Authors:
Deepak Bal,
Louis DeBiasio,
Ella Oren-Dahan
Abstract:
The balanced double star on $2n+2$ vertices, denoted $S_{n,n}$, is the tree obtained by joining the centers of two disjoint stars each having $n$ leaves. Let $R_r(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_N$ there is a monochromatic copy of $G$, and let $R_r^{\mathrm{bip}}(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of…
▽ More
The balanced double star on $2n+2$ vertices, denoted $S_{n,n}$, is the tree obtained by joining the centers of two disjoint stars each having $n$ leaves. Let $R_r(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_N$ there is a monochromatic copy of $G$, and let $R_r^{\mathrm{bip}}(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_{N,N}$ there is a monochromatic copy of $G$. It is known that $R_2(S_{n,n})=3n+2$ and $R_2^{\mathrm{bip}}(S_{n,n})=2n+1$ \cite{HJ}, but very little is known about $R_r(S_{n,n})$ and $R^{\mathrm{bip}}_r(S_{n,n})$ when $r\geq 3$ (other than the bounds which follow from considerations on the number of edges in the majority color class).
In this paper we prove the following for all $n\geq 1$ (where the lower bounds are adapted from existing examples): \[(r-1)2n+1\leq R_r(S_{n,n})\leq (r-\frac{1}{2})(2n+2)-1,\]and
\[(2r-4)n+1\leq R^{\mathrm{bip}}_r(S_{n,n})\leq (2r-3+\frac{2}{r}+O(\frac{1}{r^2}))n.\] These bounds are similar to the best known bounds on $R_r(P_{2n+2})$ and $R_r^{\mathrm{bip}}(P_{2n+2})$, where $P_{2n+2}$ is a path on $2n+2$ vertices (which is also a balanced tree). We also give an example which improves the lower bound on $R^{\mathrm{bip}}_r(S_{n,n})$ when $r=3$ and $r=5$.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
A lower bound on the multicolor size-Ramsey numbers of paths in hypergraphs
Authors:
Deepak Bal,
Louis DeBiasio,
Allan Lo
Abstract:
The $r$-color size-Ramsey number of a $k$-uniform hypergraph $H$, denoted by $\hat{R}_r(H)$, is the minimum number of edges in a $k$-uniform hypergraph $G$ such that for every $r$-coloring of the edges of $G$ there exists a monochromatic copy of $H$. In the case of $2$-uniform paths $P_n$, it is known that $Ω(r^2n)=\hat{R}_r(P_n)=O((r^2\log r)n)$ with the best bounds essentially due to Krivelevich…
▽ More
The $r$-color size-Ramsey number of a $k$-uniform hypergraph $H$, denoted by $\hat{R}_r(H)$, is the minimum number of edges in a $k$-uniform hypergraph $G$ such that for every $r$-coloring of the edges of $G$ there exists a monochromatic copy of $H$. In the case of $2$-uniform paths $P_n$, it is known that $Ω(r^2n)=\hat{R}_r(P_n)=O((r^2\log r)n)$ with the best bounds essentially due to Krivelevich. In a recent breakthrough result, Letzter, Pokrovskiy, and Yepremyan gave a linear upper bound on the $r$-color size-Ramsey number of the $k$-uniform tight path $P_{n}^{(k)}$; i.e. $\hat{R}_r(P_{n}^{(k)})=O_{r,k}(n)$. Winter gave the first non-trivial lower bounds on the 2-color size-Ramsey number of $P_{n}^{(k)}$ for $k\geq 3$; i.e. $\hat{R}_2(P_{n}^{(3)})\geq \frac{8}{3}n-O(1)$ and $\hat{R}_2(P_{n}^{(k)})\geq \lceil\log_2(k+1)\rceil n-O_k(1)$ for $k\geq 4$.
We consider the problem of giving a lower bound on the $r$-color size-Ramsey number of $P_{n}^{(k)}$ (for fixed $k$ and growing $r$). Our main result is that $\hat{R}_r(P_n^{(k)})=Ω_k(r^kn)$ which generalizes the best known lower bound for graphs mentioned above. One of the key elements of our proof is a determination of the correct order of magnitude of the $r$-color size-Ramsey number of every sufficiently short tight path; i.e. $\hat{R}_r(P_{k+m}^{(k)})=Θ_k(r^m)$ for all $1\leq m\leq k$.
All of our results generalize to $\ell$-overlapping $k$-uniform paths $P_{n}^{(k, \ell)}$. In particular we note that when $1\leq \ell\leq \frac{k}{2}$, we have $Ω_k(r^{2}n)=\hat{R}_r(P_{n}^{(k, \ell)})=O((r^2\log r)n)$ which essentially matches the best known bounds for graphs mentioned above. Additionally, in the case $k=3$, $\ell=2$, and $r=2$, we give a more precise estimate which implies $\hat{R}_2(P^{(3)}_{n})\geq \frac{28}{9}n-O(1)$, improving on the above-mentioned lower bound of Winter in the case $k=3$.
△ Less
Submitted 12 March, 2024; v1 submitted 25 August, 2023;
originally announced August 2023.
-
Large monochromatic components in expansive hypergraphs
Authors:
Deepak Bal,
Louis DeBiasio
Abstract:
A result of Gyárfás exactly determines the size of a largest monochromatic component in an arbitrary $r$-coloring of the complete $k$-uniform hypergraph $K_n^k$ when $k\geq 2$ and $r-1\leq k\leq r$. We prove a result which says that if one replaces $K_n^k$ in Gyárfás' theorem by any ``expansive'' $k$-uniform hypergraph on $n$ vertices (that is, a $k$-uniform hypergraph $H$ on $n$ vertices in which…
▽ More
A result of Gyárfás exactly determines the size of a largest monochromatic component in an arbitrary $r$-coloring of the complete $k$-uniform hypergraph $K_n^k$ when $k\geq 2$ and $r-1\leq k\leq r$. We prove a result which says that if one replaces $K_n^k$ in Gyárfás' theorem by any ``expansive'' $k$-uniform hypergraph on $n$ vertices (that is, a $k$-uniform hypergraph $H$ on $n$ vertices in which in which $e(V_1, \dots, V_k)>0$ for all disjoint sets $V_1, \dots, V_k\subseteq V(H)$ with $|V_i|>α$ for all $i\in [k]$), then one gets a largest monochromatic component of essentially the same size (within a small error term depending on $r$ and $α$). As corollaries we recover a number of known results about large monochromatic components in random hypergraphs and random Steiner triple systems, often with drastically improved bounds on the error terms.
Gyárfás' result is equivalent to the dual problem of determining the smallest maximum degree of an arbitrary $r$-partite $r$-uniform hypergraph with $n$ edges in which every set of $k$ edges has a common intersection. In this language, our result says that if one replaces the condition that every set of $k$ edges has a common intersection with the condition that for every collection of $k$ disjoint sets $E_1, \dots, E_k\subseteq E(H)$ with $|E_i|>α$ for all $i\in [k]$ there exists $e_i\in E_i$ for all $i\in [k]$ such that $e_1\cap \dots \cap e_k\neq \emptyset$, then the maximum degree of $H$ is essentially the same (within a small error term depending on $r$ and $α$). We prove our results in this dual setting.
△ Less
Submitted 13 February, 2023;
originally announced February 2023.
-
Large monochromatic components in hypergraphs with large minimum codegree
Authors:
Deepak Bal,
Louis DeBiasio
Abstract:
A result of Gyárfás says that for every $3$-coloring of the edges of the complete graph $K_n$, there is a monochromatic component of order at least $\frac{n}{2}$, and this is best possible when $4$ divides $n$. Furthermore, for all $k\geq 3$ and every $(k+1)$-coloring of the edges of the complete $k$-uniform hypergraph $K_n^{k}$, there is a monochromatic component of order at least…
▽ More
A result of Gyárfás says that for every $3$-coloring of the edges of the complete graph $K_n$, there is a monochromatic component of order at least $\frac{n}{2}$, and this is best possible when $4$ divides $n$. Furthermore, for all $k\geq 3$ and every $(k+1)$-coloring of the edges of the complete $k$-uniform hypergraph $K_n^{k}$, there is a monochromatic component of order at least $\frac{kn}{k+1}$ and this is best possible for all $n$.
Recently, Guggiari and Scott and independently Rahimi proved a strengthening of the graph case in the result above which says that the same conclusion holds if $K_n$ is replaced by any graph on $n$ vertices with minimum degree at least $\frac{5n}{6}-1$; furthermore, this bound on the minimum degree is best possible.
We prove a strengthening of the $k\geq 3$ case in the result above which says that the same conclusion holds if $K_n^k$ is replaced by any $k$-uniform hypergraph on $n$ vertices with minimum $(k-1)$-degree at least $\frac{kn}{k+1}-(k-1)$; furthermore, this bound on the $(k-1)$-degree is best possible.
△ Less
Submitted 19 September, 2023; v1 submitted 13 January, 2023;
originally announced January 2023.
-
Unavoidable structures in infinite tournaments
Authors:
Alistair Benford,
Louis DeBiasio,
Paul Larson
Abstract:
We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs $G$, either (i) there is a countably-infinite tournament $K$ such that $G\not\subseteq K$, or (ii) every countably-infinite tournament contains a \emph{spanning} copy of $G$. Furthermore, we are able to give a concise characterization of such oriented graphs.…
▽ More
We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs $G$, either (i) there is a countably-infinite tournament $K$ such that $G\not\subseteq K$, or (ii) every countably-infinite tournament contains a \emph{spanning} copy of $G$. Furthermore, we are able to give a concise characterization of such oriented graphs. Our characterization becomes even simpler in the case of transitive acyclic oriented graphs (i.e. strict partial orders).
For uncountable oriented graphs, we are able to extend the dichotomy result mentioned above to all regular cardinals $κ$; however, we are only able to provide a concise characterization in the case when $κ=\aleph_1$.
△ Less
Submitted 30 April, 2024; v1 submitted 11 January, 2023;
originally announced January 2023.
-
Powers of Hamiltonian cycles in multipartite graphs
Authors:
Louis DeBiasio,
Ryan Martin,
Theodore Molla
Abstract:
We prove that if $G$ is a $k$-partite graph on $n$ vertices in which all of the parts have order at most $n/r$ and every vertex is adjacent to at least a $1-1/r+o(1)$ proportion of the vertices in every other part, then $G$ contains the $(r-1)$-st power of a Hamiltonian cycle
We prove that if $G$ is a $k$-partite graph on $n$ vertices in which all of the parts have order at most $n/r$ and every vertex is adjacent to at least a $1-1/r+o(1)$ proportion of the vertices in every other part, then $G$ contains the $(r-1)$-st power of a Hamiltonian cycle
△ Less
Submitted 3 March, 2022; v1 submitted 21 June, 2021;
originally announced June 2021.
-
Covering 2-colored complete digraphs by monochromatic $d$-dominating digraphs
Authors:
Louis DeBiasio,
András Gyárfás
Abstract:
A digraph is {\em $d$-dominating} if every set of at most $d$ vertices has a common out-neighbor. For all integers $d\geq 2$, let $f(d)$ be the smallest integer such that the vertices of every 2-edge-colored (finite or infinite) complete digraph (including loops) can be covered by the vertices of at most $f(d)$ monochromatic $d$-dominating subgraphs. Note that the existence of $f(d)$ is not obviou…
▽ More
A digraph is {\em $d$-dominating} if every set of at most $d$ vertices has a common out-neighbor. For all integers $d\geq 2$, let $f(d)$ be the smallest integer such that the vertices of every 2-edge-colored (finite or infinite) complete digraph (including loops) can be covered by the vertices of at most $f(d)$ monochromatic $d$-dominating subgraphs. Note that the existence of $f(d)$ is not obvious -- indeed, the question which motivated this paper was simply to determine whether $f(d)$ is bounded, even for $d=2$. We answer this question affirmatively for all $d\geq 2$, proving $4\leq f(2)\le 8$ and $2d\leq f(d)\le 2d\left(\frac{d^{d}-1}{d-1}\right)$ for all $d\ge 3$. We also give an example to show that there is no analogous bound for more than two colors.
Our result provides a positive answer to a question regarding an infinite analogue of the Burr-Erdős conjecture on the Ramsey numbers of $d$-degenerate graphs. Moreover, a special case of our result is related to properties of $d$-paradoxical tournaments.
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
Generalizations and strengthenings of Ryser's conjecture
Authors:
Louis DeBiasio,
Yigal Kamel,
Grace McCourt,
Hannah Sheats
Abstract:
Ryser's conjecture says that for every $r$-partite hypergraph $H$ with matching number $ν(H)$, the vertex cover number is at most $(r-1)ν(H)$. This far reaching generalization of König's theorem is only known to be true for $r\leq 3$, or $ν(G)=1$ and $r\leq 5$. An equivalent formulation of Ryser's conjecture is that in every $r$-edge coloring of a graph $G$ with independence number $α(G)$, there e…
▽ More
Ryser's conjecture says that for every $r$-partite hypergraph $H$ with matching number $ν(H)$, the vertex cover number is at most $(r-1)ν(H)$. This far reaching generalization of König's theorem is only known to be true for $r\leq 3$, or $ν(G)=1$ and $r\leq 5$. An equivalent formulation of Ryser's conjecture is that in every $r$-edge coloring of a graph $G$ with independence number $α(G)$, there exists at most $(r-1)α(G)$ monochromatic connected subgraphs which cover the vertex set of $G$.
We make the case that this latter formulation of Ryser's conjecture naturally leads to a variety of stronger conjectures and generalizations to hypergraphs and multipartite graphs. Regarding these generalizations and strengthenings, we survey the known results, improving upon some, and we introduce a collection of new problems and results.
△ Less
Submitted 3 November, 2021; v1 submitted 15 September, 2020;
originally announced September 2020.
-
Density of monochromatic infinite subgraphs II
Authors:
Jan Corsten,
Louis DeBiasio,
Paul McKenney
Abstract:
In 1967, Gerencsér and Gyárfás proved a result which is considered the starting point of graph-Ramsey theory: In every 2-coloring of $K_n$ there is a monochromatic path on $\lceil(2n+1)/3\rceil$ vertices, and this is best possible. There have since been hundreds of papers on graph-Ramsey theory with some of the most important results being motivated by a series of conjectures of Burr and Erd\H os…
▽ More
In 1967, Gerencsér and Gyárfás proved a result which is considered the starting point of graph-Ramsey theory: In every 2-coloring of $K_n$ there is a monochromatic path on $\lceil(2n+1)/3\rceil$ vertices, and this is best possible. There have since been hundreds of papers on graph-Ramsey theory with some of the most important results being motivated by a series of conjectures of Burr and Erd\H os regarding the Ramsey numbers of trees, graphs with bounded maximum degree, and graphs with bounded degeneracy.
In 1993, Erd\H os and Galvin \cite{EG} began the investigation of a countably infinite analogue of the Gerencsér and Gyárfás result: What is the largest $d$ such that in every $2$-coloring of $K_\mathbb{N}$ there is a monochromatic infinite path with upper density at least $d$. Erd\H os and Galvin showed that $2/3\leq d\leq 8/9$, and after a series of recent improvements, it was finally shown that $d={(12+\sqrt{8})}/{17}$.
This paper begins a systematic study of quantitative countably infinite graph-Ramsey theory, focusing on infinite analogues of the Burr-Erdős conjectures. We obtain some results which are analogous to what is known in finite case, and other (unexpected) results which have no analogue in the finite case.
△ Less
Submitted 5 April, 2025; v1 submitted 28 July, 2020;
originally announced July 2020.
-
A note about monochromatic components in graphs of large minimum degree
Authors:
Louis DeBiasio,
Robert A. Krueger
Abstract:
For all positive integers $r\geq 3$ and $n$ such that $r^2-r$ divides $n$ and an affine plane of order $r$ exists, we construct an $r$-edge colored graph with minimum degree $(1-\frac{r-2}{r^2-r})n-2$ such that the largest monochromatic component has order less than $\frac{n}{r-1}$. This generalizes an example of Guggiari and Scott and, independently, Rahimi for $r=3$ and thus disproves a conjectu…
▽ More
For all positive integers $r\geq 3$ and $n$ such that $r^2-r$ divides $n$ and an affine plane of order $r$ exists, we construct an $r$-edge colored graph with minimum degree $(1-\frac{r-2}{r^2-r})n-2$ such that the largest monochromatic component has order less than $\frac{n}{r-1}$. This generalizes an example of Guggiari and Scott and, independently, Rahimi for $r=3$ and thus disproves a conjecture of Gyárfás and Sárközy for all integers $r\geq 3$ such that an affine plane of order $r$ exists.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
New lower bounds on the size-Ramsey number of a path
Authors:
Deepak Bal,
Louis DeBiasio
Abstract:
We prove that for all graphs with at most $(3.75-o(1))n$ edges there exists a 2-coloring of the edges such that every monochromatic path has order less than $n$. This was previously known to be true for graphs with at most $2.5n-7.5$ edges. We also improve on the best-known lower bounds in the $r$-color case.
We prove that for all graphs with at most $(3.75-o(1))n$ edges there exists a 2-coloring of the edges such that every monochromatic path has order less than $n$. This was previously known to be true for graphs with at most $2.5n-7.5$ edges. We also improve on the best-known lower bounds in the $r$-color case.
△ Less
Submitted 3 November, 2021; v1 submitted 13 September, 2019;
originally announced September 2019.
-
Ramsey numbers of path-matchings, covering designs and 1-cores
Authors:
Louis DeBiasio,
András Gyárfás,
Gábor N. Sárközy
Abstract:
A path-matching of order $p$ is a vertex disjoint union of nontrivial paths spanning $p$ vertices. Burr and Roberts, and Faudree and Schelp determined the 2-color Ramsey number of path-matchings. In this paper we study the multicolor Ramsey number of path-matchings. Given positive integers $r, p_1, \dots, p_r$, define $R^{PM}(p_1, \dots, p_r)$ to be the smallest integer $n$ such that in any $r$-co…
▽ More
A path-matching of order $p$ is a vertex disjoint union of nontrivial paths spanning $p$ vertices. Burr and Roberts, and Faudree and Schelp determined the 2-color Ramsey number of path-matchings. In this paper we study the multicolor Ramsey number of path-matchings. Given positive integers $r, p_1, \dots, p_r$, define $R^{PM}(p_1, \dots, p_r)$ to be the smallest integer $n$ such that in any $r$-coloring of the edges of $K_n$ there exists a path-matching of color $i$ and order at least $p_i$ for some $i\in [r]$. Our main result is that for $r\geq 2$ and $p_1\geq \dots\geq p_r\geq 2$, if $p_1\geq 2r-2$, then \[R^{PM}(p_1, \dots, p_r)= p_1- (r-1) + \sum_{i=2}^{r}\left\lceil\frac{p_i}{3}\right\rceil.\] Perhaps surprisingly, we show that when $p_1<2r-2$, it is possible that $R^{PM}(p_1, \dots, p_r)$ is larger than $p_1- (r-1) + \sum_{i=2}^{r}\left\lceil\frac{p_i}{3}\right\rceil$, but in any case we determine the correct value to within a constant (depending on $r$); i.e. \[p_1- (r-1) + \sum_{i=2}^{r}\left\lceil\frac{p_i}{3}\right\rceil \leq R^{PM}(p_1, \dots, p_r)\leq \left\lceil p_1-\frac{r}{3}+\sum_{i=2}^r\frac{p_i}{3}\right\rceil.\] As a corollary we get that in every $r$-coloring of $K_n$ there is a monochromatic path-matching of order at least $3\left\lfloor\frac{n}{r+2}\right\rfloor$, which is essentially best possible. We also determine $R^{PM}(p_1, \dots, p_r)$ in all cases when the number of colors is at most 4.
The proof of the main result uses a minimax theorem for path-matchings derived from a result of Las Vergnas (extending Tutte's 1-factor theorem) to show that the value of $R^{PM}(p_1, \dots, p_r)$ depends on the block sizes in covering designs (which can be also formulated in terms of monochromatic 1-cores in colored complete graphs). Then we obtain the result above by giving estimates on the block sizes in covering designs in the arbitrary (non-uniform) case.
△ Less
Submitted 30 September, 2020; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Large monochromatic components in 3-edge-colored Steiner triple systems
Authors:
Louis DeBiasio,
Michael Tait
Abstract:
It is known that in any $r$-coloring of the edges of a complete $r$-uniform hypergraph, there exists a spanning monochromatic component. Given a Steiner triple system on $n$ vertices, what is the largest monochromatic component one can guarantee in an arbitrary 3-coloring of the edges?
Gyárfás proved that $(2n+3)/3$ is an absolute lower bound and that this lower bound is best possible for infini…
▽ More
It is known that in any $r$-coloring of the edges of a complete $r$-uniform hypergraph, there exists a spanning monochromatic component. Given a Steiner triple system on $n$ vertices, what is the largest monochromatic component one can guarantee in an arbitrary 3-coloring of the edges?
Gyárfás proved that $(2n+3)/3$ is an absolute lower bound and that this lower bound is best possible for infinitely many $n$. On the other hand, we prove that for almost all Steiner triple systems the lower bound is actually $(1-o(1))n$. We obtain this result as a consequence of a more general theorem which shows that the lower bound depends on the size of a largest \emph{3-partite hole} (that is, sets $X_1, X_2, X_3$ with $|X_1|=|X_2|=|X_3|$ such that no edge intersects all of $X_1, X_2, X_3$) in the Steiner triple system (Gyárfás previously observed that the upper bound depends on this parameter). Furthermore, we show that this lower bound is tight unless the coloring has a particular structure.
We also suggest a variety of other Ramsey problems in the setting of Steiner triple systems.
△ Less
Submitted 10 February, 2020; v1 submitted 2 August, 2019;
originally announced August 2019.
-
On Hamiltonian cycles in balanced $k$-partite graphs
Authors:
Louis DeBiasio,
Nicholas Spanier
Abstract:
For all integers $k$ with $k\geq 2$, if $G$ is a balanced $k$-partite graph on $n\geq 3$ vertices with minimum degree at least \[ \left\lceil\frac{n}{2}\right\rceil+\left\lfloor\frac{n+2}{2\lceil\frac{k+1}{2}\rceil}\right\rfloor-\frac{n}{k}=\begin{cases} \lceil\frac{n}{2}\rceil+\lfloor\frac{n+2}{k+1}\rfloor-\frac{n}{k} & : k \text{ odd }\\ \frac{n}{2}+\lfloor\frac{n+2}{k+2}\rfloor-\frac{n}{k} & :…
▽ More
For all integers $k$ with $k\geq 2$, if $G$ is a balanced $k$-partite graph on $n\geq 3$ vertices with minimum degree at least \[ \left\lceil\frac{n}{2}\right\rceil+\left\lfloor\frac{n+2}{2\lceil\frac{k+1}{2}\rceil}\right\rfloor-\frac{n}{k}=\begin{cases} \lceil\frac{n}{2}\rceil+\lfloor\frac{n+2}{k+1}\rfloor-\frac{n}{k} & : k \text{ odd }\\ \frac{n}{2}+\lfloor\frac{n+2}{k+2}\rfloor-\frac{n}{k} & : k \text{ even } \end{cases}, \] then $G$ has a Hamiltonian cycle unless $k=2$ and 4 divides $n$, or $k=\frac{n}{2}$ and 4 divides $n$. In the case where $k=2$ and 4 divides $n$, or $k=\frac{n}{2}$ and 4 divides $n$, we can characterize the graphs which do not have a Hamiltonian cycle and see that $\left\lceil\frac{n}{2}\right\rceil+\left\lfloor\frac{n+2}{2\lceil\frac{k+1}{2}\rceil}\right\rfloor-\frac{n}{k}+1$ suffices. This result is tight for all $k\geq 2$ and $n\geq 3$ divisible by $k$.
△ Less
Submitted 26 May, 2020; v1 submitted 3 July, 2019;
originally announced July 2019.
-
Transitive tournament tilings in oriented graphs with large minimum total degree
Authors:
Louis DeBiasio,
Allan Lo,
Theodore Molla,
Andrew Treglown
Abstract:
Let $\vec{T}_k$ be the transitive tournament on $k$ vertices. We show that every oriented graph on $n=4m$ vertices with minimum total degree $(11/12+o(1))n$ can be partitioned into vertex disjoint $\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 $\vec{T}_k$'s.
Let $\vec{T}_k$ be the transitive tournament on $k$ vertices. We show that every oriented graph on $n=4m$ vertices with minimum total degree $(11/12+o(1))n$ can be partitioned into vertex disjoint $\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 $\vec{T}_k$'s.
△ Less
Submitted 26 May, 2020; v1 submitted 18 June, 2019;
originally announced June 2019.
-
Upper density of monochromatic infinite paths
Authors:
Jan Corsten,
Louis DeBiasio,
Ander Lamaison,
Richard Lang
Abstract:
We prove that in every $2$-colouring of the edges of $K_\mathbb{N}$ there exists a monochromatic infinite path $P$ such that $V(P)$ has upper density at least ${(12+\sqrt{8})}/{17} \approx 0.87226$ and further show that this is best possible. This settles a problem of Erdős and Galvin.
We prove that in every $2$-colouring of the edges of $K_\mathbb{N}$ there exists a monochromatic infinite path $P$ such that $V(P)$ has upper density at least ${(12+\sqrt{8})}/{17} \approx 0.87226$ and further show that this is best possible. This settles a problem of Erdős and Galvin.
△ Less
Submitted 23 October, 2019; v1 submitted 8 August, 2018;
originally announced August 2018.
-
Large monochromatic components in multicolored bipartite graphs
Authors:
Louis DeBiasio,
Robert A. Krueger,
Gábor N. Sárközy
Abstract:
It is well-known that in every $r$-coloring of the edges of the complete bipartite graph $K_{m,n}$ there is a monochromatic connected component with at least ${m+n\over r}$ vertices. In this paper we study an extension of this problem by replacing complete bipartite graphs by bipartite graphs of large minimum degree. We conjecture that in every $r$-coloring of the edges of an $(X,Y)$-bipartite gra…
▽ More
It is well-known that in every $r$-coloring of the edges of the complete bipartite graph $K_{m,n}$ there is a monochromatic connected component with at least ${m+n\over r}$ vertices. In this paper we study an extension of this problem by replacing complete bipartite graphs by bipartite graphs of large minimum degree. We conjecture that in every $r$-coloring of the edges of an $(X,Y)$-bipartite graph with $|X|=m$, $|Y|=n$, $δ(X,Y) > \left( 1 - \frac{1}{r+1}\right) n$ and $δ(Y,X) > \left( 1 - \frac{1}{r+1}\right) m$, there exists a monochromatic component on at least $\frac{m+n}{r}$ vertices (as in the complete bipartite graph). If true, the minimum degree condition is sharp (in that both inequalities cannot be made weak when $m$ and $n$ are divisible by $r+1$).
We prove the conjecture for $r=2$ and we prove a weaker bound for all $r\geq 3$. As a corollary, we obtain a result about the existence of monochromatic components with at least $\frac{n}{r-1}$ vertices in $r$-colored graphs with large minimum degree.
△ Less
Submitted 9 October, 2019; v1 submitted 13 June, 2018;
originally announced June 2018.
-
Long monochromatic paths and cycles in 2-colored bipartite graphs
Authors:
Louis DeBiasio,
Robert A. Krueger
Abstract:
Gyárfás and Lehel and independently Faudree and Schelp proved that in any 2-coloring of the edges of $K_{n,n}$ there exists a monochromatic path on at least $2\lceil n/2\rceil$ vertices, and this is tight. We prove a stability version of this result which holds even if the host graph is not complete; that is, if $G$ is a balanced bipartite graph on $2n$ vertices with minimum degree at least…
▽ More
Gyárfás and Lehel and independently Faudree and Schelp proved that in any 2-coloring of the edges of $K_{n,n}$ there exists a monochromatic path on at least $2\lceil n/2\rceil$ vertices, and this is tight. We prove a stability version of this result which holds even if the host graph is not complete; that is, if $G$ is a balanced bipartite graph on $2n$ vertices with minimum degree at least $(3/4+o(1))n$, then in every 2-coloring of the edges of $G$, either there exists a monochromatic cycle on at least $(1+o(1))n$ vertices, or the coloring of $G$ is close to an extremal coloring -- in which case $G$ has a monochromatic path on at least $2\lceil n/2\rceil$ vertices and a monochromatic cycle on at least $2\lfloor n/2\rfloor$ vertices. Furthermore, we determine an asymptotically tight bound on the length of a longest monochromatic cycle in a 2-colored balanced bipartite graph on $2n$ vertices with minimum degree $δn$ for all $0\leq δ\leq 1$.
△ Less
Submitted 13 June, 2018;
originally announced June 2018.
-
Partitioning Edge-Coloured Complete Symmetric Digraphs into Monochromatic Complete Subgraphs
Authors:
Carl Bürger,
Louis DeBiasio,
Hannah Guggiari,
Max Pitz
Abstract:
Let $K_{\mathbb{N}}$ be the complete symmetric digraph on the positive integers. Answering a question of DeBiasio and McKenney, we construct a $2$-colouring of the edges of $K_{\mathbb{N}}$ in which every monochromatic path has density~$0$.
However, if we restrict the length of monochromatic paths in one colour, then no example as above can exist: We show that every $(r+1)$-edge-coloured complet…
▽ More
Let $K_{\mathbb{N}}$ be the complete symmetric digraph on the positive integers. Answering a question of DeBiasio and McKenney, we construct a $2$-colouring of the edges of $K_{\mathbb{N}}$ in which every monochromatic path has density~$0$.
However, if we restrict the length of monochromatic paths in one colour, then no example as above can exist: We show that every $(r+1)$-edge-coloured complete symmetric digraph (of arbitrary infinite cardinality) containing no directed paths of edge-length $\ell_i$ for any colour $i\leq r$ can be covered by $\prod_{i\leq r} \ell_i$ pairwise disjoint monochromatic complete symmetric digraphs in colour $r+1$.
Furthermore, we present a stability version for the countable case of the latter result: We prove that the edge-colouring is uniquely determined on a large subgraph, as soon as the upper density of monochromatic paths in colour $r+1$ is bounded by $\prod_{i\in [r]}\frac{1}{\ell_i}$.
△ Less
Submitted 4 May, 2018;
originally announced May 2018.
-
Monochromatic balanced components, matchings, and paths in multicolored complete bipartite graphs
Authors:
Louis DeBiasio,
András Gyárfás,
Robert A. Krueger,
Miklós Ruszinkó,
Gábor N. Sárközy
Abstract:
It is well-known that in every $r$-coloring of the edges of the complete bipartite graph $K_{n,n}$ there is a monochromatic connected component with at least ${2n\over r}$ vertices. It would be interesting to know whether we can additionally require that this large component be balanced; that is, is it true that in every $r$-coloring of $K_{n,n}$ there is a monochromatic component that meets both…
▽ More
It is well-known that in every $r$-coloring of the edges of the complete bipartite graph $K_{n,n}$ there is a monochromatic connected component with at least ${2n\over r}$ vertices. It would be interesting to know whether we can additionally require that this large component be balanced; that is, is it true that in every $r$-coloring of $K_{n,n}$ there is a monochromatic component that meets both sides in at least $n/r$ vertices?
Over forty years ago, Gyárfás and Lehel and independently Faudree and Schelp proved that any $2$-colored $K_{n,n}$ contains a monochromatic $P_n$. Very recently, Bucić, Letzter and Sudakov proved that every $3$-colored $K_{n,n}$ contains a monochromatic connected matching (a matching whose edges are in the same connected component) of size $\lceil n/3 \rceil$. So the answer is strongly "yes" for $1\leq r\leq 3$.
We provide a short proof of (a non-symmetric version of) the original question for $1\leq r\leq 3$; that is, every $r$-coloring of $K_{m,n}$ has a monochromatic component that meets each side in a $1/r$ proportion of its part size. Then, somewhat surprisingly, we show that the answer to the question is "no" for all $r\ge 4$. For instance, there are $4$-colorings of $K_{n,n}$ where the largest balanced monochromatic component has $n/5$ vertices in both partite classes (instead of $n/4$). Our constructions are based on lower bounds for the $r$-color bipartite Ramsey number of $P_4$, denoted $f(r)$, which is the smallest integer $\ell$ such that in every $r$-coloring of the edges of $K_{\ell,\ell}$ there is a monochromatic path on four vertices. Furthermore, combined with earlier results, we determine $f(r)$ for every value of $r$.
△ Less
Submitted 9 October, 2019; v1 submitted 11 April, 2018;
originally announced April 2018.
-
Spanning trees with few branch vertices
Authors:
Louis DeBiasio,
Allan Lo
Abstract:
A branch vertex in a tree is a vertex of degree at least three. We prove that, for all $s\geq 1$, every connected graph on $n$ vertices with minimum degree at least $(\frac{1}{s+3}+o(1))n$ contains a spanning tree having at most $s$ branch vertices. Asymptotically, this is best possible and solves, in less general form, a problem of Flandrin, Kaiser, Kuuzel, Li and Ryjáucek, which was originally m…
▽ More
A branch vertex in a tree is a vertex of degree at least three. We prove that, for all $s\geq 1$, every connected graph on $n$ vertices with minimum degree at least $(\frac{1}{s+3}+o(1))n$ contains a spanning tree having at most $s$ branch vertices. Asymptotically, this is best possible and solves, in less general form, a problem of Flandrin, Kaiser, Kuuzel, Li and Ryjáucek, which was originally motivated by an optimization problem in the design of optical networks.
△ Less
Submitted 9 October, 2019; v1 submitted 14 September, 2017;
originally announced September 2017.
-
Large monochromatic components and long monochromatic cycles in random hypergraphs
Authors:
Patrick Bennett,
Louis DeBiasio,
Andrzej Dudek,
Sean English
Abstract:
We extend results of Gyárfás and Füredi on the largest monochromatic component in $r$-colored complete $k$-uniform hypergraphs to the setting of random hypergraphs. We also study long monochromatic loose cycles in $r$-colored random hypergraphs. In particular, we obtain a random analog of a result of Gyárfás, Sárközy, and Szemerédi on the longest monochromatic loose cycle in $2$-colored complete…
▽ More
We extend results of Gyárfás and Füredi on the largest monochromatic component in $r$-colored complete $k$-uniform hypergraphs to the setting of random hypergraphs. We also study long monochromatic loose cycles in $r$-colored random hypergraphs. In particular, we obtain a random analog of a result of Gyárfás, Sárközy, and Szemerédi on the longest monochromatic loose cycle in $2$-colored complete $k$-uniform hypergraphs.
△ Less
Submitted 26 July, 2018; v1 submitted 9 September, 2017;
originally announced September 2017.
-
Hamiltonian cycles in $k$-partite graphs
Authors:
Louis DeBiasio,
Robert A. Krueger,
Dan Pritikin,
Eli Thompson
Abstract:
Chen, Faudree, Gould, Jacobson, and Lesniak determined the minimum degree threshold for which a balanced $k$-partite graph has a Hamiltonian cycle. We give an asymptotically tight minimum degree condition for Hamiltonian cycles in arbitrary $k$-partite graphs in which all parts have at most $n/2$ vertices (a necessary condition). To do this, we first prove a general result which both simplifies th…
▽ More
Chen, Faudree, Gould, Jacobson, and Lesniak determined the minimum degree threshold for which a balanced $k$-partite graph has a Hamiltonian cycle. We give an asymptotically tight minimum degree condition for Hamiltonian cycles in arbitrary $k$-partite graphs in which all parts have at most $n/2$ vertices (a necessary condition). To do this, we first prove a general result which both simplifies the process of checking whether a graph $G$ is a robust expander and gives useful structural information in the case when $G$ is not a robust expander. Then we use this result to prove that any $k$-partite graph satisfying the minimum degree condition is either a robust expander or else contains a Hamiltonian cycle directly.
△ Less
Submitted 9 October, 2019; v1 submitted 24 July, 2017;
originally announced July 2017.
-
Density of monochromatic infinite subgraphs
Authors:
Louis DeBiasio,
Paul McKenney
Abstract:
For any countably infinite graph $G$, Ramsey's theorem guarantees an infinite monochromatic copy of $G$ in any $r$-coloring of the edges of the countably infinite complete graph $K_\mathbb{N}$. Taking this a step further, it is natural to wonder how "large" of a monochromatic copy of $G$ we can find with respect to some measure -- for instance, the density (or upper density) of the vertex set of…
▽ More
For any countably infinite graph $G$, Ramsey's theorem guarantees an infinite monochromatic copy of $G$ in any $r$-coloring of the edges of the countably infinite complete graph $K_\mathbb{N}$. Taking this a step further, it is natural to wonder how "large" of a monochromatic copy of $G$ we can find with respect to some measure -- for instance, the density (or upper density) of the vertex set of $G$ in the positive integers. Unlike finite Ramsey theory, where this question has been studied extensively, the analogous problem for infinite graphs has been mostly overlooked.
In one of the few results in the area, Erdős and Galvin proved that in every 2-coloring of $K_\mathbb{N}$, there exists a monochromatic path whose vertex set has upper density at least $2/3$, but it is not possible to do better than $8/9$. They also showed that for some sequence $ε_n\to 0$, there exists a monochromatic path $P$ such that for infinitely many $n$, the set $\{1,2,...,n\}$ contains the first $(\frac{1}{3+\sqrt{3}}-ε_n)n$ vertices of $P$, but it is not possible to do better than $2n/3$. We improve both results, in the former case achieving an upper density at least $3/4$ and in the latter case obtaining a tight bound of $2/3$. We also consider related problems for directed paths, trees (connected subgraphs), and a more general result which includes locally finite graphs for instance.
△ Less
Submitted 14 August, 2018; v1 submitted 16 November, 2016;
originally announced November 2016.
-
Tiling directed graphs with tournaments
Authors:
Andrzej Czygrinow,
Louis DeBiasio,
Theodore Molla,
Andrew Treglown
Abstract:
The Hajnal--Szemerédi theorem states that for any integer $r \ge 1$ and any multiple $n$ of $r$, if $G$ is a graph on $n$ vertices and $δ(G) \ge (1 - 1/r)n$, then $G$ can be partitioned into $n/r$ vertex-disjoint copies of the complete graph on $r$ vertices. We prove a very general analogue of this result for directed graphs: for any integer $r \ge 4$ and any sufficiently large multiple $n$ of…
▽ More
The Hajnal--Szemerédi theorem states that for any integer $r \ge 1$ and any multiple $n$ of $r$, if $G$ is a graph on $n$ vertices and $δ(G) \ge (1 - 1/r)n$, then $G$ can be partitioned into $n/r$ vertex-disjoint copies of the complete graph on $r$ vertices. We prove a very general analogue of this result for directed graphs: for any integer $r \ge 4$ and any sufficiently large multiple $n$ of $r$, if $G$ is a directed graph on $n$ vertices and every vertex is incident to at least $2(1 - 1/r)n - 1$ directed edges, then $G$ can be partitioned into $n/r$ vertex-disjoint subgraphs of size $r$ each of which contain every tournament on $r$ vertices. A related Turán-type result is also proven.
△ Less
Submitted 27 March, 2016;
originally announced March 2016.
-
Partitioning random graphs into monochromatic components
Authors:
Deepak Bal,
Louis DeBiasio
Abstract:
Erdős, Gyárfás, and Pyber (1991) conjectured that every $r$-colored complete graph can be partitioned into at most $r-1$ monochromatic components; this is a strengthening of a conjecture of Lovász (1975) in which the components are only required to form a cover. An important partial result of Haxell and Kohayakawa (1995) shows that a partition into $r$ monochromatic components is possible for suff…
▽ More
Erdős, Gyárfás, and Pyber (1991) conjectured that every $r$-colored complete graph can be partitioned into at most $r-1$ monochromatic components; this is a strengthening of a conjecture of Lovász (1975) in which the components are only required to form a cover. An important partial result of Haxell and Kohayakawa (1995) shows that a partition into $r$ monochromatic components is possible for sufficiently large $r$-colored complete graphs.
We start by extending Haxell and Kohayakawa's result to graphs with large minimum degree, then we provide some partial analogs of their result for random graphs. In particular, we show that if $p\ge \left(\frac{27\log n}{n}\right)^{1/3}$, then a.a.s. in every $2$-coloring of $G(n,p)$ there exists a partition into two monochromatic components, and for $r\geq 2$ if $p\ll \left(\frac{r\log n}{n}\right)^{1/r}$, then a.a.s. there exists an $r$-coloring of $G(n,p)$ such that there does not exist a cover with a bounded number of components. Finally, we consider a random graph version of a classic result of Gyárfás (1977) about large monochromatic components in $r$-colored complete graphs. We show that if $p=\frac{ω(1)}{n}$, then a.a.s. in every $r$-coloring of $G(n,p)$ there exists a monochromatic component of order at least $(1-o(1))\frac{n}{r-1}$.
△ Less
Submitted 15 February, 2017; v1 submitted 30 September, 2015;
originally announced September 2015.
-
Monochromatic cycle partitions of graphs with large minimum degree
Authors:
Louis DeBiasio,
Luke Nelsen
Abstract:
Lehel conjectured that in every $2$-coloring of the edges of $K_n$, there is a vertex disjoint red and blue cycle which span $V(K_n)$. Łuczak, Rödl, and Szemerédi proved Lehel's conjecture for large $n$, Allen gave a different proof for large $n$, and finally Bessy and Thomassé gave a proof for all $n$.
Balogh, Barát, Gerbner, Gyárfás, and Sárközy proposed a significant strengthening of Lehel's…
▽ More
Lehel conjectured that in every $2$-coloring of the edges of $K_n$, there is a vertex disjoint red and blue cycle which span $V(K_n)$. Łuczak, Rödl, and Szemerédi proved Lehel's conjecture for large $n$, Allen gave a different proof for large $n$, and finally Bessy and Thomassé gave a proof for all $n$.
Balogh, Barát, Gerbner, Gyárfás, and Sárközy proposed a significant strengthening of Lehel's conjecture where $K_n$ is replaced by any graph $G$ with $δ(G)> 3n/4$; if true, this minimum degree condition is essentially best possible. We prove that their conjecture holds when $δ(G)>(3/4+o(1))n$. Our proof uses Szemerédi's regularity lemma along with the absorbing method of Rödl, Ruciński, and Szemerédi by first showing that the graph can be covered with monochromatic subgraphs having certain robust expansion properties.
△ Less
Submitted 1 September, 2016; v1 submitted 5 September, 2014;
originally announced September 2014.
-
Arbitrary Orientations of Hamilton Cycles in Digraphs
Authors:
Louis DeBiasio,
Daniela Kühn,
Theodore Molla,
Deryk Osthus,
Amelia Taylor
Abstract:
Let $n$ be sufficiently large and suppose that $G$ is a digraph on $n$ vertices where every vertex has in- and outdegree at least $n/2$. We show that $G$ contains every orientation of a Hamilton cycle except, possibly, the antidirected one. The antidirected case was settled by DeBiasio and Molla, where the threshold is $n/2+1$. Our result is best possible and improves on an approximate result by H…
▽ More
Let $n$ be sufficiently large and suppose that $G$ is a digraph on $n$ vertices where every vertex has in- and outdegree at least $n/2$. We show that $G$ contains every orientation of a Hamilton cycle except, possibly, the antidirected one. The antidirected case was settled by DeBiasio and Molla, where the threshold is $n/2+1$. Our result is best possible and improves on an approximate result by Häggkvist and Thomason.
△ Less
Submitted 9 June, 2015; v1 submitted 8 August, 2014;
originally announced August 2014.
-
Ore-degree threshold for the square of a Hamiltonian cycle
Authors:
Louis DeBiasio,
Safi Faizullah,
Imdadullah Khan
Abstract:
A classic theorem of Dirac from 1952 states that every graph with minimum degree at least n/2 contains a Hamiltonian cycle. In 1963, Pósa conjectured that every graph with minimum degree at least 2n/3 contains the square of a Hamiltonian cycle. In 1960, Ore relaxed the degree condition in the Dirac's theorem by proving that every graph with $deg(u) + deg(v) \geq n$ for every $uv \notin E(G)$ conta…
▽ More
A classic theorem of Dirac from 1952 states that every graph with minimum degree at least n/2 contains a Hamiltonian cycle. In 1963, Pósa conjectured that every graph with minimum degree at least 2n/3 contains the square of a Hamiltonian cycle. In 1960, Ore relaxed the degree condition in the Dirac's theorem by proving that every graph with $deg(u) + deg(v) \geq n$ for every $uv \notin E(G)$ contains a Hamiltonian cycle. Recently, Châu proved an Ore-type version of Pósa's conjecture for graphs on $n\geq n_0$ vertices using the regularity--blow-up method; consequently the $n_0$ is very large (involving a tower function). Here we present another proof that avoids the use of the regularity lemma. Aside from the fact that our proof holds for much smaller $n_0$, we believe that our method of proof will be of independent interest.
△ Less
Submitted 7 January, 2015; v1 submitted 4 March, 2014;
originally announced March 2014.
-
Tiling in bipartite graphs with asymmetric minimum degrees
Authors:
Andrzej Czygrinow,
Louis DeBiasio
Abstract:
The problem of determining the optimal minimum degree condition for a balanced bipartite graph on 2ms vertices to contain m vertex disjoint copies of K_{s,s} was solved by Zhao. Later Hladký and Schacht, and Czygrinow and DeBiasio determined the optimal minimum degree condition for a balanced bipartite graph on 2m(s+t) vertices to contain m vertex disjoint copies of K_{s,t} for fixed positive inte…
▽ More
The problem of determining the optimal minimum degree condition for a balanced bipartite graph on 2ms vertices to contain m vertex disjoint copies of K_{s,s} was solved by Zhao. Later Hladký and Schacht, and Czygrinow and DeBiasio determined the optimal minimum degree condition for a balanced bipartite graph on 2m(s+t) vertices to contain m vertex disjoint copies of K_{s,t} for fixed positive integers s<t.
For a balanced bipartite graph G[U,V], let δ_U be the minimum degree over all vertices in U and δ_V be the minimum degree over all vertices in V. We consider the problem of determining the optimal value of δ_U+δ_V which guarantees that G can be tiled with K_{s,s}. We show that the optimal value depends on D:=|δ_V-δ_U|. When D is small, we show that δ_U+δ_V\geq n+3s-5 is best possible. As D becomes larger, we show that δ_U+δ_V can be made smaller, but no smaller than n+2s-2s^{1/2}. However, when D=n-C for some constant C, we show that there exist graphs with δ_U+δ_V\geq n+s^{s^{1/3}} which cannot be tiled with K_{s,s}.
△ Less
Submitted 1 October, 2013;
originally announced October 2013.
-
Semi-degree threshold for anti-directed Hamiltonian cycles
Authors:
Louis DeBiasio,
Theodore Molla
Abstract:
In 1960, Ghouila-Houri extended Dirac's theorem to directed graphs by proving that if D is a directed graph on n vertices with minimum out-degree and in-degree at least n/2 (i.e. minimum semi-degree at least n/2), then D contains a directed Hamiltonian cycle. Of course there are other orientations of a cycle in a directed graph and it is not clear that the semi-degree threshold for the directed Ha…
▽ More
In 1960, Ghouila-Houri extended Dirac's theorem to directed graphs by proving that if D is a directed graph on n vertices with minimum out-degree and in-degree at least n/2 (i.e. minimum semi-degree at least n/2), then D contains a directed Hamiltonian cycle. Of course there are other orientations of a cycle in a directed graph and it is not clear that the semi-degree threshold for the directed Hamiltonian cycle is the same as the semi-degree threshold for some other orientation. In 1980, Grant initiated the problem of determining the minimum semi-degree threshold for the anti-directed Hamiltonian cycle (an orientation in which consecutive edges alternate direction). We prove that for sufficiently large even n, if D is a directed graph on n vertices with minimum semi-degree at least n/2+1, then D contains an anti-directed Hamiltonian cycle. This result is sharp.
△ Less
Submitted 10 December, 2014; v1 submitted 1 August, 2013;
originally announced August 2013.
-
An extension of the Hajnal-Szemeredi theorem to directed graphs
Authors:
Andrzej Czygrinow,
Louis DeBiasio,
H. A. Kierstead,
Theodore Molla
Abstract:
Hajnal and Szemeredi proved that every graph G with |G|=ks and minimum degree at least k(s-1) contains k vertex disjoint s-cliques; moreover this degree bound is optimal. We extend their theorem to directed graphs by showing that every directed graph D with |D|=ks and minimum (total) degree at least 2k(s-1)-1 contains k vertex disjoint transitive tournaments on s vertices. Our result implies the H…
▽ More
Hajnal and Szemeredi proved that every graph G with |G|=ks and minimum degree at least k(s-1) contains k vertex disjoint s-cliques; moreover this degree bound is optimal. We extend their theorem to directed graphs by showing that every directed graph D with |D|=ks and minimum (total) degree at least 2k(s-1)-1 contains k vertex disjoint transitive tournaments on s vertices. Our result implies the Hajnal-Szemeredi Theorem, and the degree bound is optimal. We also make some conjectures regarding even more general results for multigraphs and partitioning into other tournaments. One of these conjectures is supported by an asymptotic result.
△ Less
Submitted 17 July, 2013;
originally announced July 2013.
-
On the co-degree threshold for the Fano plane
Authors:
Louis DeBiasio,
Tao Jiang
Abstract:
Given a 3-graph H, let \ex_2(n, H) denote the maximum value of the minimum codegree of a 3-graph on n vertices which does not contain a copy of H. Let F denote the Fano plane, which is the 3-graph \{axx',ayy',azz',xyz',xy'z,x'yz,x'y'z'\}. Mubayi proved that \ex_2(n,F)=(1/2+o(1))n and conjectured that \ex_2(n, F)=\floor{n/2} for sufficiently large n. Using a very sophisticated quasi-randomness argu…
▽ More
Given a 3-graph H, let \ex_2(n, H) denote the maximum value of the minimum codegree of a 3-graph on n vertices which does not contain a copy of H. Let F denote the Fano plane, which is the 3-graph \{axx',ayy',azz',xyz',xy'z,x'yz,x'y'z'\}. Mubayi proved that \ex_2(n,F)=(1/2+o(1))n and conjectured that \ex_2(n, F)=\floor{n/2} for sufficiently large n. Using a very sophisticated quasi-randomness argument, Keevash proved Mubayi's conjecture. Here we give a simple proof of Mubayi's conjecture by using a class of 3-graphs that we call rings. We also determine the Turán density of the family of rings.
△ Less
Submitted 23 June, 2013; v1 submitted 9 April, 2012;
originally announced April 2012.
-
Tiling 3-uniform hypergraphs with K_4^3-2e
Authors:
Andrzej Czygrinow,
Louis DeBiasio,
Brendan Nagle
Abstract:
Let K_4^3-2e denote the hypergraph consisting of two triples on four points. For an integer n, let t(n, K_4^3-2e) denote the smallest integer d so that every 3-uniform hypergraph G of order n with minimum pair-degree δ_2(G) \geq d contains \floor{n/4} vertex-disjoint copies of K_4^3-2e. Kühn and Osthus proved that t(n, K_4^3-2e) = (1 + o(1))n/4 holds for large integers n. Here, we prove the exact…
▽ More
Let K_4^3-2e denote the hypergraph consisting of two triples on four points. For an integer n, let t(n, K_4^3-2e) denote the smallest integer d so that every 3-uniform hypergraph G of order n with minimum pair-degree δ_2(G) \geq d contains \floor{n/4} vertex-disjoint copies of K_4^3-2e. Kühn and Osthus proved that t(n, K_4^3-2e) = (1 + o(1))n/4 holds for large integers n. Here, we prove the exact counterpart, that for all sufficiently large integers n divisible by 4, t(n, K_4^3-2e) = n/4 when n/4 is odd, and t(n, K_4^3-2e) = n/4+1 when n/4 is even.
A main ingredient in our proof is the recent `absorption technique' of Rödl, Ruciński and Szemerédi.
△ Less
Submitted 10 December, 2012; v1 submitted 20 August, 2011;
originally announced August 2011.
-
Pósa's Conjecture for graphs of order at least 2\times 10^8
Authors:
Phong Châu,
Louis DeBiasio,
H. A. Kierstead
Abstract:
In 1962 Pósa conjectured that every graph G on n vertices with minimum degree at least 2n/3 contains the square of a hamiltonian cycle. In 1996 Fan and Kierstead proved the path version of Pósa's Conjecture. They also proved that it would suffice to show that G contains the square of a cycle of length greater than 2n/3. Still in 1996, Komlós, Sárközy, and Szemerédi proved Pósa's Conjecture, using…
▽ More
In 1962 Pósa conjectured that every graph G on n vertices with minimum degree at least 2n/3 contains the square of a hamiltonian cycle. In 1996 Fan and Kierstead proved the path version of Pósa's Conjecture. They also proved that it would suffice to show that G contains the square of a cycle of length greater than 2n/3. Still in 1996, Komlós, Sárközy, and Szemerédi proved Pósa's Conjecture, using the Regularity and Blow-up Lemmas, for graphs of order n > n_0, where n_0 is a very large constant. Here we show without using these lemmas that n_0=2\times 10^8 is sufficient. We are motivated by the recent work of Levitt, Szemerédi and Sárközy, but our methods are based on techniques that were available in the 90's.
△ Less
Submitted 21 April, 2011;
originally announced April 2011.
-
A note on bipartite graph tiling
Authors:
Andrzej Czygrinow,
Louis DeBiasio
Abstract:
Bipartite graph tiling was studied by Zhao who gave the best possible minimum degree conditions for a balanced bipartite graph on 2ms vertices to contain m vertex disjoint copies of K_{s,s}. Let s<t be fixed positive integers. Hladký and Schacht gave minimum degree conditions for a balanced bipartite graph on 2m(s+t) vertices to contain m vertex disjoint copies of K_{s,t}. Their results were best…
▽ More
Bipartite graph tiling was studied by Zhao who gave the best possible minimum degree conditions for a balanced bipartite graph on 2ms vertices to contain m vertex disjoint copies of K_{s,s}. Let s<t be fixed positive integers. Hladký and Schacht gave minimum degree conditions for a balanced bipartite graph on 2m(s+t) vertices to contain m vertex disjoint copies of K_{s,t}. Their results were best possible, except in the case when m is odd and t> 2s+1. We give the best possible minimum degree condition in this case.
△ Less
Submitted 11 April, 2011;
originally announced April 2011.
