For a given graph $F$ we consider the family of (finite) graphs $G$ with the Ramsey property for $F$, that is the set of such graphs $G$ with the property that every two-colouring of the edges of $G$ yields a monochromatic copy of $F$. For $F$ being a triangle Friedgut, Rödl, Ruciński, and Tetali (2004) established the sharp threshold for the Ramsey property in random graphs. We obtained a simpler proof of this result which extends to a more general class of graphs $F$ including all cycles.
The proof is based on Friedgut's criteria (1999) for sharp thresholds, and on the recently developed container method for independent sets in hypergraphs by Saxton and Thomason, and Balogh, Morris and Samotij. The proof builds on some recent work of Friedgut et al. who established a similar result for van der Waerden's theorem.
The $k$-colour bipartite Ramsey number of a bipartite graph $H$ is the least integer $n$ for which every $k$-edge-coloured complete bipartite graph $K_{n,n}$ contains a monochromatic copy of $H$. The study of bipartite Ramsey numbers was initiated, over 40 years ago, by Faudree and Schelp and, independently, by Gyárfás and Lehel, who determined the $2$-colour Ramsey number of paths. In this paper we determine asymptotically the $3$-colour bipartite Ramsey number of paths and (even) cycles.
The $k$-colour bipartite Ramsey number of a bipartite graph $H$ is the least integer $N$ for which every $k$-edge-coloured complete bipartite graph $K_{N,N}$ contains a monochromatic copy of $H$. The study of bipartite Ramsey numbers was initiated over 40 years ago by Faudree and Schelp and, independently, by Gyárfás and Lehel, who determined the $2$-colour bipartite Ramsey number of paths. Recently the $3$-colour Ramsey number of paths and (even) cycles, was essentially determined as well. Improving the results of DeBiasio, Gyárfás, Krueger, Ruszinkó, and Sárközy, in this paper we determine a…
We estimate Ramsey numbers for bipartite graphs with small bandwidth and bounded maximum degree. In particular we determine asymptotically the two and three color Ramsey numbers for grid graphs. More generally, we determine asymptotically the two color Ramsey number for bipartite graphs with small bandwidth and bounded maximum degree and the three color Ramsey number for such graphs with the additional assumption that the bipartite graph is balanced.
We estimate the $3$-colour bipartite Ramsey number for balanced bipartite graphs $H$ with small bandwidth and bounded maximum degree. More precisely, we show that the minimum value of $N$ such that in any $3$-edge colouring of $K_{N,N}$ there is a monochromatic copy of $H$ is at most $\big(3/2+o(1)\big)|V(H)|$. In particular, we determine asymptotically the $3$-colour bipartite Ramsey number for balanced grid graphs.
In this paper, we investigate the set of sizes of induced subgraphs of bipartite graphs. We introduce the definition of $C$-$Bipartite$-$Ramsey$ graphs, which is closely related to Ramsey graphs and prove that in `most' cases, these graphs have multiplication tables of $Ω(e(G))$ in size. We apply our result to give direct evidence to the conjecture that the complete bipartite graph $K_{n,n}$ is the minimiser of the multiplication table on $n^2$ edges raised by Narayanan, Sahasrabudhe and Tomon.
In this paper we study Ramsey numbers for trees of diameter 3 (bistars) vs., respectively, trees of diameter 2 (stars), complete graphs, and many complete graphs. In the case of bistars vs. many complete graphs, we determine this number exactly as a function of the Ramsey number for the complete graphs. We also determine the order of growth of the bipartite $k$-color Ramsey number for a bistar.
In a $(G^1,G^2)$ coloring of a graph $G$, every edge of $G$ is in $G^1$ or $G^2$. For two bipartite graphs $H_1$ and $H_2$, the bipartite Ramsey number $BR(H_1, H_2)$ is the least integer $b\geq 1$, such that for every $(G^1, G^2)$ coloring of the complete bipartite graph $K_{b,b}$, results in either $H_1\subseteq G^1$ or $H_2\subseteq G^2$. As another view, for bipartite graphs $H_1$ and $H_2$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(H_1, H_2)$ of $H_1$ and $H_2$ is the least integer $n$, such that every subgraph $G$ of $K_{m,n}$ results in $H_1\subseteq G$ or $H_2\su…
Gallai-colorings are edge-colored complete graphs in which there are no rainbow triangles. Within such colored complete graphs, we consider Ramsey-type questions, looking for specified monochromatic graphs. In this work, we consider monochromatic bipartite graphs since the numbers are known to grow more slowly than for non-bipartite graphs. The main result shows that it suffices to consider only $3$-colorings which have a special partition of the vertices. Using this tool, we find several sharp numbers and conjecture the sharp value for all bipartite graphs. In particular, we determine the Gal…
Let $H\xrightarrow{s} G$ denote that any edge-coloring of $H$ by $s$ colors contains a monochromatic $G$. The degree Ramsey number $r_Δ(G;s)$ is defined to be $\min\{Δ(H):H\xrightarrow{s} G\}$, and the degree bipartite Ramsey number $br_Δ(G;s)$ is defined to be $\min\{Δ(H):H\xrightarrow{s} G\; \mbox{and} \;χ(H)=2\}$. In this note, we show that $r_Δ(K_{m,n};s)$ is linear on $n$ with $m$ fixed. We also determine $br_Δ(G;s)$ where $G$ are trees, including stars and paths, and complete bipartite graphs.
In this paper, we present several density-type theorems which show how to find a copy of a sparse bipartite graph in a graph of positive density. Our results imply several new bounds for classical problems in graph Ramsey theory and improve and generalize earlier results of various researchers. The proofs combine probabilistic arguments with some combinatorial ideas. In addition, these techniques can be used to study properties of graphs with a forbidden induced subgraph, edge intersection patterns in topological graphs, and to obtain several other Ramsey-type statements.
The bipartite Ramsey number $b(s,t)$ is the smallest integer $n$ such that every blue-red edge coloring of $K_{n,n}$ contains either a blue $K_{s,s}$ or a red $K_{t,t}$. In the bipartite $K_{2,2}$-free process, we begin with an empty graph on vertex set $X\cup Y$, $|X|=|Y|=n$. At each step, a random edge from $X\times Y$ is added under the restriction that no $K_{2,2}$ is formed. This step is repeated until no more edges can be added. In this note, we analyze this process and show that the resulting graph witnesses that $b(2,t) =Ω\left(t^{3/2}/\log t \right)$, thereby improving the best known …
We investigate size Ramsey numbers involving bipartite graphs. It is proved that, if each forbidden graph is fixed or grows with n (in a certain uniform manner), then the extremal function has a linear asymptotics. The corresponding slope can be obtained as the minimum of a certain mixed integer program. Applying the Farkas Lemma, we solve the MIP for complete bipartite graphs, in particular answering a question of Erdos, Faudree, Rousseau and Schelp (1978) who asked for the asymptotics of the size Ramsey number of (K_{s,n},K_{s,n}) for fixed s and large n.
Given bipartite graphs $H_1$, \dots , $H_k$, the bipartite Ramsey number $br(H_1,\dots, H_k)$ is the minimum integer $N$ such that any $k$-edge-coloring of complete bipartite graph $K_{N, N}$ contains a monochromatic $H_i$ in color $i$ for $1\le i\le k$. There are considerable results on asymptotic values of bipartite Ramsey numbers of cycles. For exact value, Zhang-Sun \cite{Zhangs} determined $br(C_4, C_{2n})$, Zhang-Sun-Wu \cite{Zhangsw} determined $br(C_6, C_{2n})$, and Gholami-Rowshan \cite{GR} determined $br(C_8, C_{2n})$. In this paper, we solve all remaining cases and give the exact va…
The Zarankiewicz number $z(b;s)$ is the maximum size of a subgraph of $K_{b,b}$ which does not contain $K_{s,s}$ as a subgraph. The two-color bipartite Ramsey number $b(s,t)$ is the smallest integer $b$ such that any coloring of the edges of $K_{b,b}$ with two colors contains a $K_{s,s}$ in the first color or a $K_{t,t}$ in the second color. In this work, we design and exploit a computational method for bounding and computing Zarankiewicz numbers. Using it, we obtain several new values and bounds on $z(b;s)$ for $3 \le s \le 6$. Our approach and new knowledge about $z(b;s)$ permit us to improv…
Given bipartite graphs $G_1, \ldots, G_n$, the bipartite Ramsey number $BR(G_1,\ldots, G_n)$ is the last integer $b$ such that any complete bipartite graph $K_{b,b}$ with edges coloured with colours $1,2,\ldots,n$ contains a copy of some $G_i$ ($1\leq i\leq n$) where all edges of $G_i$ have colour $i$. As another view of bipartite Ramsey numbers, for given bipartite graphs $G_1, \ldots, G_n$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(G_1, \ldots, G_n)$, is defined as the least integer $b$, such that any complete bipartite graph $K_{m,b}$ with edges coloured with colours …
We consider quadruples of positive integers $(a,b,m,n)$ with $a\leq b$ and $m\leq n$ such that any proper edge-coloring of the complete bipartite graph $K_{m,n}$ contains a rainbow $K_{a,b}$ subgraph. We show that any such quadruple with $a\leq m$ and $n>(a^2-a+1)(b-1)$ satisfies this property. We also show that the quadruple $(2,3,3,6)$ satisfies this property. We end with a conjecture.
For bipartite graphs $G$ and $H$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(G, H)$ of $G$ and $H$ is the smallest integer $n$, such that every red-blue coloring of $K_{m,n}$ results in a red $G$ or a blue $H$. Zhenming Bi, Gary Chartrand and Ping Zhang in \cite{bi2018another} evaluate this numbers for all positive integers $m$ when $G= K_{2,2}$ and $H \in \{K_{2,3}, K_{3,3}\}$, especially in a long and hard argument they showed that $BR_5(K_{2,2}, K_{3,3}) = BR_6(K_{2,2}, K_{3,3}) = 12$ and $BR_7(K_{2,2}, K_{3,3}) = BR_8(K_{2,2}, K_{3,3}) = 9$. In this article, by a shor…
Let $k,l,m$ be integers and $r(k,l,m)$ be the minimum integer $N$ such that for any red-blue-green coloring of $K_{N,N}$, there is a red matching of size at least $k$ in a component, or a blue matching of at least size $l$ in a component, or a green matching of size at least $m$ in a component. In this paper, we determine the exact value of $r(k,l,m)$ completely. Applying a technique originated by Łuczak that applies Szemerédi's Regularity Lemma to reduce the problem of showing the existence of a monochromatic cycle to show the existence of a monochromatic matching in a component, we obtain th…
A $biased\ graph$ is a pair $(G,\mathcal{B})$, where $G$ is a graph and $\mathcal{B}$ is a collection of `balanced' circuits of $G$ such that no $Θ$-subgraph of $G$ contains precisely two balanced circuits. We prove a Ramsey-type theorem, showing that if $(G,\mathcal{B})$ is a biased graph which $G$ is a very large complete graph, then $G$ contains a large complete subgraph $H$ such that the set of balanced cycles within $H$ has one of three specific, highly symmetric structures, all of which can be described naturally via group-labellings.
For an integer $r\geq 2$ and bipartite graphs $H_i$, where $1\leq i\leq r$, the bipartite Ramsey number $br(H_1,H_2,\ldots,H_r)$ is the minimum integer $N$ such that any $r$-edge coloring of the complete bipartite graph $K_{N,N}$ contains a monochromatic subgraph isomorphic to $H_i$ in color $i$ for some $i$, $1\leq i\leq r$. We show that for $α_1,α_2>0$, $br(C_{2\lfloor α_1 n\rfloor},C_{2\lfloor α_2 n\rfloor})=(α_1+α_2+o(1))n$. We also show that if $r\geq 3, α_1,α_2>0, α_{j+2}\geq [(j+2)!-1]\sum^{j+1}_{i=1} α_i$ for $j=1,2,\ldots,r-2$, then $br(C_{2\lfloor α_1 n\rfloor},C_{2\lfloor α_2 n\rflo…
The Ramsey number $R_X(p,q)$ for a class of graphs $X$ is the minimum $n$ such that every graph in $X$ with at least $n$ vertices has either a clique of size $p$ or an independent set of size $q$. We say that Ramsey numbers are linear in $X$ if there is a constant $k$ such that $R_{X}(p,q) \leq k(p+q)$ for all $p,q$. In the present paper we conjecture that if $X$ is a hereditary class defined by finitely many forbidden induced subgraphs, then Ramsey numbers are linear in $X$ if and only if $X$ excludes a forest, a disjoint union of cliques and their complements. We prove the "only if" part of …
For graphs $G$ and $H$, we write $G \overset{\mathrm{rb}}{\longrightarrow} H $ if any proper edge-coloring of $G$ contains a rainbow copy of $H$, i.e., a copy where no color appears more than once. Kohayakawa, Konstadinidis and the last author proved that the threshold for $G(n,p) \overset{\mathrm{rb}}{\longrightarrow}H$ is at most $n^{-1/m_2(H)}$. Previous results have matched the lower bound for this anti-Ramsey threshold for cycles and complete graphs with at least 5 vertices. Kohayakawa, Konstadinidis and the last author also presented an infinite family of graphs $H$ for which the anti-Ra…
We study Turán and Ramsey-type problems on edge-colored graphs. An edge-colored graph is called {\em $\varepsilon$-balanced} if each color class contains at least an $\varepsilon$-proportion of its edges. Given a family $\mathcal{F}$ of edge-colored graphs, the Ramsey function $R(\varepsilon, \mathcal{F})$ is the smallest $n$ for which any $\varepsilon$-balanced $K_n$ must contain a copy of an $F\in\mathcal{F}$, and the Turán function $\mathrm{ex}(\varepsilon, n, \mathcal{F})$ is the maximum number of edges in an $n$-vertex $\varepsilon$-balanced graph which avoids all of $\mathcal{F}$. In thi…
Let H_1, ..., H_k be graphs. The multicolor Ramsey number r(H_1,...,H_k) is the minimum integer r such that in every edge-coloring of K_r by k colors, there is a monochromatic copy of H_i in color i for some 1 <= i <= k. In this paper, we investigate the multicolor Ramsey number $r(K_{2,t},...,K_{2,t},K_m)$, determining the asymptotic behavior up to a polylogarithmic factor for almost all ranges of t and m. Several different constructions are used for the lower bounds, including the random graph and explicit graphs built from finite fields. A technique of Alon and Rödl using the probabilistic …
Given two graphs $G$ and $H$ with $H\subseteq G$ we consider the anti-Ramsey function $AR(G,H)$ which is the maximum number of colors in any edge-coloring of $G$ so that every copy of $H$ receives the same color on at least one pair of edges. The classical Turán function for a graph $G$ and family of graphs $\mathcal{F}$, written $ex(G,\mathcal{F})$, is defined as the maximum number of edges of a subgraph of $G$ not containing any member of $\mathcal{F}$. We show that there exists a constant $c>0$ so that $AR(K_n,K_{s,t})-ex(K_n,K_{s,t})<cn$ and $c$ depends only on $s$ and $t$, which implies $…
The bipartite Ramsey number $B(n_1,n_2,\ldots,n_t)$ is the least positive integer $b$ such that, any coloring of the edges of $K_{b,b}$ with $t$ colors will result in a monochromatic copy of $K_{n_i,n_i}$ in the $i-$th color, for some $i$, $1\leq i\leq t$. In this paper we obtain the exact values of bipartite Ramsey numbers $B(2,2,3)$. In particular, we prove the conjecture of Radziszowski at al. aobut $B(2,2,3)$ which was introduced in 2015. In fact we prov that $B(2,2,3)=17$.
In 1982, Harary introduced the concept of Ramsey achievement game on graphs. Given a graph $F$ with no isolated vertices. Consider the following game played on the complete graph $K_n$ by two players Alice and Bob. First, Alice colors one of the edges of $K_n$ blue, then Bob colors a different edge red, and so on. The first player who can complete the formation of $F$ in his color is the winner. The minimum $n$ for which Alice has a winning strategy is the achievement number of $F$, denoted by $a(F)$. If we replace $K_n$ in the game by the completed bipartite graph $K_{n,n}$, we get the bipart…
We prove several new sufficient conditions for hamiltonicity and bipancyclicity in balanced bipartite digraphs, in terms of sums of degrees over dominating or dominated pairs of vertices.
In this paper we prove a new result about partitioning coloured complete graphs and use it to determine certain Ramsey numbers exactly. The partitioning theorem we prove is that for k at least 1, in every edge colouring of a complete graph with the colours red and blue, it is possible to cover all the vertices with k disjoint red paths and a disjoint blue balanced complete (k+1)-partite graph. When the colouring is connected in red, we prove a stronger result - that it is possible to cover all the vertices with k red paths and a blue balanced complete (k+2)-partite graph. Using these results w…
A bihole in a bipartite graph $G$ with partite sets $A$ and $B$ is an independent set $I$ in $G$ with $|I\cap A|=|I\cap B|$. We prove lower bounds on the largest order of biholes in balanced bipartite graphs subject to conditions involving the vertex degrees and the average degree.
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 $…
The Zarankiewicz number $z(m,n;s,t)$ is the maximum number of edges in a subgraph of $K_{m,n}$ that does not contain $K_{s,t}$ as a subgraph. The bipartite Ramsey number $b(n_1, \cdots, n_k)$ is the least positive integer $b$ such that any coloring of the edges of $K_{b,b}$ with $k$ colors will result in a monochromatic copy of $K_{n_i,n_i}$ in the $i$-th color, for some $i$, $1 \le i \le k$. If $n_i=m$ for all $i$, then we denote this number by $b_k(m)$. In this paper we obtain the exact values of some Zarankiewicz numbers for quadrilateral ($s=t=2$), and we derive new bounds for diagonal mul…
We prove that a strongly connected balanced bipartite digraph $D$ of order $2a$, $a\geq3$, satisfying $d(u)+d(v)\geq 3a$ for every pair of vertices $u,v$ with a common in-neighbour or a common out-neighbour, is either bipancyclic or a directed cycle of length $2a$.
We prove that a strongly connected balanced bipartite digraph $D$ of order $2a$ is hamiltonian, provided $a\geq3$ and $d(x)+d(y)\geq 3a$ for every pair of vertices $x$, $y$ with a common in-neighbour or a common out-neighbour in $D$.
A connected graph $\G$ is said to be {\it distance-balanced} whenever for any pair of adjacent vertices $u,v$ of $\G$ the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$. In [Bipartite graphs with balanced $(a,b)$-partitions, {\em Ars Combin.} {\bf 51} (1999), 113-119] Handa asked whether every bipartite distance-balanced graph, that is not a cycle, is 3-connected. In this paper the Handa question is answered in the negative. Moreover, we show that a minimal bipartite distance-balanced graph, that is not a cycle and is not 3-connected, …
In 2009, Kong, Wang, and Lee began work on the problem of finding the edge-balanced index sets of complete bipartite graphs $K_{m,n}$ by solving the cases where $n=1$, $2$, $3$, $4$, and $5$, and also the case where $m=n$. In an article soon to be published, Krop, Minion, Patel, and Raridan concluded the edge-balanced index set problem for complete bipartite graphs with both parts of odd cardinality. In this paper, we conclude the problem for complete bipartite graphs where the larger part is of odd cardinality and the smaller is of even cardinality.
In 2009, Kong, Wang, and Lee introduced the problem of finding the edge-balanced index sets ($EBI$) of complete bipartite graphs $K_{m,n}$, where they examined the cases $n=1$, $2$, $3$, $4$, $5$ and the case $m=n$. Since then the problem of finding $EBI(K_{m,n})$, where $m \geq n$, has been completely resolved for the $m,n=$ odd, odd and odd, even cases. In this paper we find the edge-balanced index sets for complete bipartite graphs where both parts have even cardinality.
In 2009, Kong, Wang, and Lee began work on the problem of finding the edge-balanced index sets (EBI) of complete bipartite graphs K_{m,n} by solving the cases where n = 1, 2, 3, 4, and 5, and also the case where m = n. In 2011, Krop and Sikes expanded upon that work by finding EBI(K_{m,m-2a}) for odd m > 5 and 1 <= a <= (m-3)/4. In this paper, we provide a general solution to the edge-balanced index set problem for all complete odd bipartite graphs, thereby concluding the problem for this case.
University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；Extremal Combinatorics and Probability Group (ECOPRO), Institute for Basic Science (IBS-R029-C4)（基础科学研究院极端组合与概率研究组（ECOPRO））；Jagiellonian University（雅盖隆大学）
We study the polyhedral properties of three problems of constructing an optimal complete bipartite subgraph (a biclique) in a bipartite graph. In the first problem we consider a balanced biclique with the same number of vertices in both parts and arbitrary edge weights. In the other two problems we are dealing with unbalanced subgraphs of maximum and minimum weight with nonnegative edges. All three problems are established to be NP-hard. We study the polytopes and the cone decompositions of these problems and their 1-skeletons. We describe the adjacency criterion in 1-skeleton of the polytope …
A graph $\mathcal{H}=(W,E_\mathcal{H})$ is said to have {\em bandwidth} at most $b$ if there exists a labeling of $W$ as $w_1,w_2,\dots,w_n$ such that $|i-j|\leq b$ for every edge $w_iw_j\in E_\mathcal{H}$. We say that $\mathcal{H}$ is a {\em balanced $(β,Δ)$-graph} if it is a bipartite graph with bandwidth at most $β|W|$ and maximum degree at most $Δ$, and it also has a proper 2-coloring $χ:W\rightarrow[2]$ such that $||χ^{-1}(1)|-|χ^{-1}(2)||\leqβ|χ^{-1}(2)|$. In this paper, we prove that for every $γ>0$ and every natural number $Δ$, there exists a constant $β>0$ such that for every balanced…
In 1962, Erdős proved a theorem on the existence of Hamilton cycles in graphs with given minimum degree and number of edges. Significantly strengthening in case of balanced bipartite graphs, Moon and Moser proved a corresponding theorem in 1963. In this paper we establish several spectral analogues of Moon and Moser's theorem on Hamilton paths in balanced bipartite graphs and nearly balanced bipartite graphs. One main ingredient of our proofs is a structural result of its own interest, involving Hamilton paths in balanced bipartite graphs with given minimum degree and number of edges.
Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 10$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: {\it If the underlying undirected graph of $D$ is not 2-connected and $max\{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then $D$ contains a cycle of length $2a-2$ unless $D$ is isomorphic to a certain digraph of order ten which we specify.
Consider the balanced Ramsey game, in which a player has r colors and where in each step r random edges of an initially empty graph on n vertices are presented. The player has to immediately assign a different color to each edge and her goal is to avoid creating a monochromatic copy of some fixed graph F for as long as possible. The Achlioptas game is similar, but the player only loses when she creates a copy of F in one distinguished color. We show that there is an infinite family of non-forests F for which the balanced Ramsey game has a different threshold than the Achlioptas game, settling …
