-
Multicolor, multipartite Ramsey numbers for quadrilateral
Authors:
Janusz Dybizbański,
Yaser Rowshan
Abstract:
The $p$-partite Ramsey number for quadrilateral, denoted by $r_p(C_4,k)$, is the least positive integer $n$ such that any coloring of the edges of a complete $p$-partite graph with $n$ vertices in each partition with $k$ colors will result in a monochromatic copy of $C_4$. In this paper, we present an upper bound for $r_p(C_4,k)$ and the exact values of $r_p(C_4,2)$ for all $p\geq2$. In tripartite…
▽ More
The $p$-partite Ramsey number for quadrilateral, denoted by $r_p(C_4,k)$, is the least positive integer $n$ such that any coloring of the edges of a complete $p$-partite graph with $n$ vertices in each partition with $k$ colors will result in a monochromatic copy of $C_4$. In this paper, we present an upper bound for $r_p(C_4,k)$ and the exact values of $r_p(C_4,2)$ for all $p\geq2$. In tripartite case we show that $r_3(C_4,k) \leq \lfloor (k+1)^2/2\rfloor-1$ and the exact value of 4-color tripartite Ramsey number $r_3(C_4,4)=11$.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Borodin-Kostochka conjecture and Partitioning a graph into classes with no clique of specified size
Authors:
Yaser Rowshan
Abstract:
For a given graph $H$ and the graphical properties $P_1, P_2,\ldots,P_k$, a graph $H$ is said to be $(V_1, V_2,\ldots,V_k)$-partitionable if there exists a partition of $V(H)$ into $k$-sets $V_1, V_2\ldots,V_k$, such that for each $i\in[k]$, the subgraph induced by $V_i$ has the property $P_i$. In $1979$, Bollobás and Manvel showed that for a graph $H$ with maximum degree $Δ(H)\geq 3$ and clique n…
▽ More
For a given graph $H$ and the graphical properties $P_1, P_2,\ldots,P_k$, a graph $H$ is said to be $(V_1, V_2,\ldots,V_k)$-partitionable if there exists a partition of $V(H)$ into $k$-sets $V_1, V_2\ldots,V_k$, such that for each $i\in[k]$, the subgraph induced by $V_i$ has the property $P_i$. In $1979$, Bollobás and Manvel showed that for a graph $H$ with maximum degree $Δ(H)\geq 3$ and clique number $ω(H)\leq Δ(H)$, if $Δ(H)= p+q$, then there exists a $(V_1,V_2)$-partition of $V(H)$, such that $Δ(H[V_1])\leq p$, $Δ(H[V_2])\leq q$, $H[V_1]$ is $(p-1)$-degenerate, and $H[V_2]$ is $(q-1)$-degenerate.
Assume that $p_1\geq p_2\geq\cdots\geq p_k\geq 2$ are $k$ positive integers and $\sum_{i=1}^k p_i=Δ(H)-1+k$. Assume that for each $i\in[k]$ the properties $P_i$ means that $ω(H[V_i])\leq p_i-1$. Is $H$ a $(V_1,\ldots,V_k)$-partitionable graph?
In 1977, Borodin and Kostochka conjectured that any graph $H$ with maximum degree $Δ(H)\geq 9$ and without $K_{Δ(H)}$ as a subgraph, has chromatic number at most $Δ(H)-1$. Reed proved that the conjecture holds whenever $ Δ(G) \geq 10^{14} $.
When $p_1=2$ and $Δ(H)\geq 9$, the above question is the Borodin and Kostochka conjecture. Therefore, when all $p_i$s are equal to $2$ and $Δ(H)\leq 8$, the answer to the above question is negative. Let $H$ is a graph with maximum degree $Δ$, and clique number $ω(H)$, where $ω(H)\leq Δ-1$. In this article, we intend to study this question when $k\geq 2$ and $Δ\geq 13$. In particular as an analogue of the Borodin-Kostochka conjecture, for the case that $Δ\geq 13$ and $p_i\geq 2$ we prove that the above question is true.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Partitioning of a graph into induced subgraphs not containing prescribed cliques
Authors:
Yaser Rowshan,
Ali Taherkhani
Abstract:
Let $K_p$ be a complete graph of order $p\geq 2$. A $K_p$-free $k$-coloring of a graph $H$ is a partition of $V(H)$ into $V_1, V_2\ldots,V_k$ such that $H[V_i]$ does not contain $K_p$ for each $i\leq k $. In 1977 Borodin and Kostochka conjectured that any graph $H$ with maximum degree $Δ(H)\geq 9$ and without $K_{Δ(H)}$ as a subgraph has chromatic number at most $Δ(H)-1$. As analogue of the Borodi…
▽ More
Let $K_p$ be a complete graph of order $p\geq 2$. A $K_p$-free $k$-coloring of a graph $H$ is a partition of $V(H)$ into $V_1, V_2\ldots,V_k$ such that $H[V_i]$ does not contain $K_p$ for each $i\leq k $. In 1977 Borodin and Kostochka conjectured that any graph $H$ with maximum degree $Δ(H)\geq 9$ and without $K_{Δ(H)}$ as a subgraph has chromatic number at most $Δ(H)-1$. As analogue of the Borodin-Kostochka conjecture, we prove that if $p_1\geq \cdots\geq p_k\geq 2$, $p_1+p_2\geq 7$, $\sum_{i=1}^kp_i=Δ(H)-1+k$, and $H$ does not contain $K_{Δ(H)}$ as a subgraph, then there is a partition of $V(H)$ into $V_1,\ldots,V_k$ such that for each $i$, $H[V_i]$ does not contain $K_{p_i}$. In particular, if $p\geq 4$ and $H$ does not contain $K_{Δ(H)}$ as a subgraph, then $H$ admits a $K_p$-free $\lceil{Δ(H)-1\over p-1}\rceil$-coloring. Catlin showed that every connected non-complete graph $H$ with $Δ(H)\geq 3$ has a $Δ(H)$-coloring such that one of the color classes is maximum $K_2$-free subset (maximum independent set). In this regard, we show that there is a partition of vertices of $H$ into $V_1$ and $V_2$ such that $H[V_1]$ does not contain $K_{p}$, $H[V_2]$ does not contain $K_{q}$, and $V_1$ is a maximum $K_p$-free subset of V(H) if $p\geq 4$, $q\geq 3$, $p+q=Δ(H)+1$, and its clique number $ω(H)=p$.
△ Less
Submitted 25 July, 2023; v1 submitted 10 October, 2022;
originally announced October 2022.
-
Vertex Partitions and Maximum $\G$-free Subgraphs
Authors:
Yaser Rowshan
Abstract:
We define a $(V_1, V_2, \ldots, V_k)$-partition for a given graph $H$ and graphical properties $P_1, P_2, \ldots, P_k$ as a partition where each $V_i$ induces a subgraph of $H$ with property $P_i$. Matamala (2007) extended this result by showing that for any graph $H$ with $Δ(H)=p+q$, there exists a $(V_1, V_2)$-partition of $V(H)$ where $H[V_1]$ is a maximum order $(p-1)$-degenerate induced subgr…
▽ More
We define a $(V_1, V_2, \ldots, V_k)$-partition for a given graph $H$ and graphical properties $P_1, P_2, \ldots, P_k$ as a partition where each $V_i$ induces a subgraph of $H$ with property $P_i$. Matamala (2007) extended this result by showing that for any graph $H$ with $Δ(H)=p+q$, there exists a $(V_1, V_2)$-partition of $V(H)$ where $H[V_1]$ is a maximum order $(p-1)$-degenerate induced subgraph and $H[V_2]$ is $(q-1)$-degenerate. Additionally, Catlin and Lai proved that if $Δ(H)\geq 5$, $H$ has a $(V_1, V_2)$-partition such that $H[V_1]$ is a maximum order acyclic induced subgraph, $ω(H[V_2])\leq Δ(H)-2$, and $Δ(H[V_2])\leq Δ(H)-2$.
Rowshan and Taherkhani demonstrated that given a graph $G$ with a minimum degree $δ(G)$ and for $k=\lceil \frac{Δ(H)}{δ(G)}\rceil$, there exists a $(V_1, V_2, \ldots, V_k)$-partition of the vertex set of $H$, such that each $H[V_i]$ is $G$-free, meaning it does not contain a subgraph isomorphic to $G$, and $H[V_1]$ is a maximum order $G$-free induced subgraph.
In our paper, we present a novel result for a connected graph $H$ with $Δ(H)\geq 5$ and without $K_{Δ(H)+1}\setminus e$ as a subgraph. We establish that when $p_1\geq p_2\geq\cdots\geq p_{k-1}\geq 2$, $p_k\geq 4$, $\sum_{i=1}^k p_i=Δ(H)-1+k$, and $\mathcal{G}_i$ represents a family of graphs with a minimum degree at least $p_i-1$ for each $i\in [k-1]$, a $(V_1, V_2, \ldots, V_k)$-partition of $V(H)$ exists. This partition guarantees that $H[V_1]$ is a maximum order $\mathcal{G}_1$-free induced subgraph, $H[V_i]$ is $\mathcal{G}_i$-free for each $2\leq i\leq k-1$, $Δ(H[V_k])\leq p_k$, and either $H[V_k]$ is $K_{p_k}$-free or its $p_k$-cliques are disjoint.
△ Less
Submitted 3 September, 2023; v1 submitted 11 July, 2022;
originally announced July 2022.
-
The $m$-bipartite Ramsey number of the $K_{2,2}$ versus $K_{6,6}$
Authors:
Yaser Rowshan
Abstract:
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…
▽ More
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 $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$. The size of $BR_m(G_1, G_2)$, where $G_1=K_{2,2}$ and $G_2\in \{K_{3,3}, K_{4,4}\}$ for each $m$ and the size of $BR_m(K_{3,3}, K_{3,3})$ and $BR_m(K_{2,2}, K_{5,5})$ for special values of $m$, have been determined in several article up to now. In this article, we compute the size of $BR_m(K_{2,2}, K_{6,6})$ for some $m\geq 2$.
△ Less
Submitted 26 February, 2022;
originally announced February 2022.
-
The $m$-bipartite Ramsey number $BR_m(K_{2,2},K_{5,5})$
Authors:
Yaser Rowshan
Abstract:
The bipartite Ramsey number $BR(H_1,H_2,\ldots,H_k)$, is the smallest positive integer $b$, such that each $k$-decomposition of $E(K_{b,b})$ contains $H_i$ in the $i$-th class for some $i, 1\leq i\leq k$. As another view of bipartite Ramsey numbers, for given two bipartite graphs $H_1$ and $H_2$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(H_1, H_2)$, is defined as the least i…
▽ More
The bipartite Ramsey number $BR(H_1,H_2,\ldots,H_k)$, is the smallest positive integer $b$, such that each $k$-decomposition of $E(K_{b,b})$ contains $H_i$ in the $i$-th class for some $i, 1\leq i\leq k$. As another view of bipartite Ramsey numbers, for given two bipartite graphs $H_1$ and $H_2$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(H_1, H_2)$, is defined as the least integer $n$, such that any subgraph of $K_{m,n}$ say $H$, results in $H_1\subseteq H$ or $H_2\subseteq \overline{H}$. The size of $BR_m(K_{2,2}, K_{3,3})$, $BR_m(K_{2,2}, K_{4,4})$ for each $m$, and the size of $BR_m(K_{3,3}, K_{3,3})$ for some $m$, have been determined in several papers up to now. Also, it is shown that $BR(K_{2,2}, K_{5,5})=17$. In this article, we compute the size of $BR_m(K_{2,2}, K_{5,5})$ for some $m\geq 2$.
△ Less
Submitted 2 August, 2023; v1 submitted 19 February, 2022;
originally announced February 2022.
-
The $m$-bipartite Ramsey number $BR_m(H_1,H_2)$
Authors:
Yaser Rowshan
Abstract:
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$ an…
▽ More
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\subseteq \overline{G}$. The size of $m$-bipartite Ramsey number $BR_m(K_{2,2}, K_{2,2})$, the size of $m$-bipartite Ramsey number $BR_m(K_{2,2}, K_{3,3})$ and the size of $m$-bipartite Ramsey number $BR_m(K_{3,3}, K_{3,3})$ have been computed in several articles up to now. In this paper we determine the exact value of $BR_m(K_{2,2}, K_{4,4})$ for each $m\geq 2$.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Another view of Bipartite Ramsey numbers
Authors:
Yaser Rowshan,
Mostafa Gholami
Abstract:
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 ** Zhang in \cite{bi2018another} evaluate this numbers for all positive integers $m$ when $G= K_{2,2}$ and…
▽ More
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 ** 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 short and easy argument we determine the exact value of $BR_m(K_{2,2}, K_{3,3})$ for each $m\geq 1$.
△ Less
Submitted 30 January, 2022;
originally announced January 2022.
-
Extremal results on $G$-free colorings of graphs
Authors:
Yaser Rowshan
Abstract:
Let $H=(V(H),E(H))$ be a graph. A $k$-coloring of $H$ is a map** $π: V(H) \longrightarrow \{1,2,\ldots, k\}$ so that each color class induces a $K_2$-free subgraph. For a graph $G$ of order at least $2$, a $G$-free $k$-coloring of $H$ is a map** $π: V(H) \longrightarrow \{1,2,\ldots,k\}$ so that the subgraph of $H$ induced by each color class of $π$ is $G$-free, i.e. contains no copy of $G$. T…
▽ More
Let $H=(V(H),E(H))$ be a graph. A $k$-coloring of $H$ is a map** $π: V(H) \longrightarrow \{1,2,\ldots, k\}$ so that each color class induces a $K_2$-free subgraph. For a graph $G$ of order at least $2$, a $G$-free $k$-coloring of $H$ is a map** $π: V(H) \longrightarrow \{1,2,\ldots,k\}$ so that the subgraph of $H$ induced by each color class of $π$ is $G$-free, i.e. contains no copy of $G$. The $G$-free chromatic number of $H$ is the minimum number $k$ so that there is a $G$-free $k$-coloring of $H$, denoted by $χ_G(H)$. A graph $H$ is uniquely $k$-$G$-free colouring if $χ_G(H)=k$ and every $k$-$G$-free colouring of $H$ produces the same color classes. A graph $H$ is minimal with respect to $G$-free, or $G$-free-minimal, if for every edges of $E(H)$ we have $χ_G(H\setminus\{e\})= χ_G(H)-1$. In this paper we give some bounds and attribute about uniquely $k$-$G$-free colouring and $k$-$G$-free-minimal.
△ Less
Submitted 20 January, 2022;
originally announced January 2022.
-
On generalized list $\G$-free colorings of graphs
Authors:
Yaser Rowshan
Abstract:
For given graph $H$ and graphical property $P$, the conditional chromatic number $χ(H,P)$ of $H$, is the smallest number $k$, so that $V(H)$ can be decomposed into sets $V_1,V_2,\ldots, V_k$, in which $H[V_i]$ satisfies the property $P$, for each $1\leq i\leq k$. When property $P$ be that each color class contains no copy of $G$, we write $χ_{G}(H)$ instead of $χ(G,P)$, which is called the $G$-fre…
▽ More
For given graph $H$ and graphical property $P$, the conditional chromatic number $χ(H,P)$ of $H$, is the smallest number $k$, so that $V(H)$ can be decomposed into sets $V_1,V_2,\ldots, V_k$, in which $H[V_i]$ satisfies the property $P$, for each $1\leq i\leq k$. When property $P$ be that each color class contains no copy of $G$, we write $χ_{G}(H)$ instead of $χ(G,P)$, which is called the $G$-free chromatic number. Due to this, we say $H$ has a $k$-$G$-free coloring if there is a map $c : V(H) \longrightarrow \{1,\ldots,k\}$, so that each of the color classes of $c$ be $G$-free. Assume that for each vertex $v$ of a graph $H$ is assigned a set $L(V)$ of colors, called a color list. Set $g(L) = \{g(v): v\in V(H)\}$, that is the set of colors chosen for the vertices of $H$ under $g$. An $L$-coloring $g$ is called $G$-free, so that:
\begin{itemize} \item $g(v)\in L(v)$, for any $v\in V(H)$. \item $ H[V_i]$ is $G$-free for each $i=1,2,\ldots, L$. \end{itemize} If there exists an $L$-coloring of $H$, then $H$ is called $L$-$G$-free-colorable. A graph $H$ is said to be $k$-$G$-free-choosable if there exists an $L$-coloring for any list-assignment $L$ satisfying $|L(V)|\geq k$ for each $v\in V(H)$, and $H[V_i]$ be $G$-free for each $i=1,2,\ldots, L$. Let graph $H$ and a collection of graphs $\G$ are given, the $χ_{\G}^L(H)$ of $H$ is the last integer $k$, so that $H$ is $k$-$\G$-free-choosable i.e. $H[V_i]$ is $\G$-free for each $i=1,2,\ldots, k$ i.e. contains no copy of any member of $\G$. In this article, we show that $χ_G^L(H)=χ_G(H)$ for some graph $H$ and $G$, $χ_G^L(H\oplus H')\leq χ_G^L(H)+χ_G^L(H')$ for each $G$, $H$, and $H'$. Also, we show that $χ_{\G}(H\oplus K_n)=χ^L_{\G}(H\oplus K_n)$, where $\G$ is a collection of all $d$-regular graphs, and some $n$.
△ Less
Submitted 16 January, 2022;
originally announced January 2022.
-
Multipartite Ramsey number $m_j(K_m, nK_2)$
Authors:
Yaser Rowshan
Abstract:
Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1, G_2,\ldots, G_n$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2, \ldots,G_n)$ is the smallest integer $t$ such that for any $n$-edge-coloring $(G^1,G^2,\ldots, G^n)$ of the edges of $K_{j\times t}$, $G^i$ contains a monochromatic copy…
▽ More
Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1, G_2,\ldots, G_n$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2, \ldots,G_n)$ is the smallest integer $t$ such that for any $n$-edge-coloring $(G^1,G^2,\ldots, G^n)$ of the edges of $K_{j\times t}$, $G^i$ contains a monochromatic copy of $G_i$ for at least one $i$. The size of M-R-number $m_j(nK_2, C_m)$ for $j, n\geq 2$ and $4\leq m\leq 6$, the size of M-R-number $m_j(nK_2, C_7)$ for $j \geq 2$ and $n\geq 2$, the size of M-R-number $m_j(nK_2,K_3)$, for each $j,n\geq 2$, the size of M-R-number $m_j(K_3,K_3, n_1K_2,n_2K_,\ldots,n_iK_2)$ for $j \leq 6$ and $i,n_i\geq 1$ and the size of M-R-number $m_j(K_3,K_3, nK_2)$ for $j \geq 2$ and $n\geq 1$ have been computed in several papers up to now. In this article we obtain the values of M-R-number $m_j(K_m, nK_2)$, for each $j,n\geq 2$ and each $m\geq 4$.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Some bounds on the size of Maximum $G$-free sets in graph
Authors:
Yaser Rowshan
Abstract:
For given graph $H$, the independence number $α(H)$ of $H$, is the size of the maximum independent set of $V(H)$. Finding the maximum independent set in a graph is a NP-hard problem. Another version of the independence number is defined as the size of the maximum induced forest of $H$, and called the forest number of $H$, and denoted by $f(H)$. Finding $f(H)$ is also a NP-hard problem. Suppose tha…
▽ More
For given graph $H$, the independence number $α(H)$ of $H$, is the size of the maximum independent set of $V(H)$. Finding the maximum independent set in a graph is a NP-hard problem. Another version of the independence number is defined as the size of the maximum induced forest of $H$, and called the forest number of $H$, and denoted by $f(H)$. Finding $f(H)$ is also a NP-hard problem. Suppose that $H=(V(H),E(H))$ be a graph, and $\G$ be a family of graphs, a graph $H$ has a $\G$-free $k$-coloring if there exists a decomposition of $V(H)$ into sets $V_i$, $i-1,2,\ldots,k$, so that $G\nsubseteq H[V_i]$ for each $i$, and $G\in\G$. $S\subseteq V(H)$ is $G$-free, where the subgraph of $H$ induced by $S$, be $G$-free, i.e. it contains no copy of $G$. Finding a maximum subset of $H$, so that $H[S]$ be a $G$-free graph is a very hard problem as well. In this paper, we study the generalized version of the independence number of a graph. Also giving some bounds about the size of the maximum $G$-free subset of graphs is another purpose of this article.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Nordhaus-Gaddum problem in term of $G$-free coloring
Authors:
Yaser Rowshan
Abstract:
Let $H=(V(H),E(H))$ be a graph. A $k$-coloring of $H$ is a map** $π: V(H) \longrightarrow \{1,2,\ldots, k\}$, if each color class induces a $K_2$-free subgraph. For a graph $G$ of order at least $2$, a $G$-free $k$-coloring of $H$, is a map** $π: V(H) \longrightarrow \{1,2,\ldots,k\}$, so that the induced subgraph by each color class of $π$, contains no copy of $G$. The $G$-free chromatic numb…
▽ More
Let $H=(V(H),E(H))$ be a graph. A $k$-coloring of $H$ is a map** $π: V(H) \longrightarrow \{1,2,\ldots, k\}$, if each color class induces a $K_2$-free subgraph. For a graph $G$ of order at least $2$, a $G$-free $k$-coloring of $H$, is a map** $π: V(H) \longrightarrow \{1,2,\ldots,k\}$, so that the induced subgraph by each color class of $π$, contains no copy of $G$. The $G$-free chromatic number of $H$, is the minimum number $k$, so that it has a $G$-free $k$-coloring, and denoted by $χ_G(H)$. In this paper, we give some bounds and attributes on the $G$-free chromatic number of graphs, in terms of the number of vertices, maximum degree, minimum degree, and chromatic number. Our main results are the Nordhaus-Gaddum-type theorem for the $\G$-free chromatic number of a graph.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
The Multipartite Ramsey numbers $m_j(C_3, C_m, n_1K_2,n_2K_2,\ldots, n_iK_2)$
Authors:
Yaser Rowshan
Abstract:
Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1, G_2,\ldots, G_n$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2, \ldots,G_n)$ is the smallest integer $t$ such that for any $n$-edge-coloring $(G^1,G^2,\ldots, G^n)$ of the edges of $K_{j\times t}$, $G^i$ contains a monochromatic copy…
▽ More
Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1, G_2,\ldots, G_n$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2, \ldots,G_n)$ is the smallest integer $t$ such that for any $n$-edge-coloring $(G^1,G^2,\ldots, G^n)$ of the edges of $K_{j\times t}$, $G^i$ contains a monochromatic copy of $G_i$ for at least on $i$. C. J. Jayawardene, E. T. Baskoro et al. $(2016)$ gave the size of M-R-numbe $m_j(nK_2, C_7)$ for $j \geq 2 $ and $n\leq 6$. Y. Rowshan et al. $(2021)$ gave the size of M-R-number $m_j(nK_2, C_7)$ for $j = 2,3, 4$ and $n\geq 2$. Y. Rowshan $(2021)$ gave the size of M-R-number $m_j(nK_2,C_7)$, for each $j\geq 5$ and $n\geq 2$. In this article we compute the size of M-R-number $m_j(C_3,C_3, nK_2)$ for each $j\geq 7$, $n\geq 1$, $m_j(C_3,C_3, n_1K_2,n_2K_,\ldots,n_iK_2)$ for each $2\leq j\leq 6$, $i\geq 2, n_i\geq 1$, and M-R-number $m_j(C_3,C_4, nK_2)$, for each $n\geq 1$, and small $j$.
△ Less
Submitted 24 September, 2021;
originally announced September 2021.
-
The Multipartite Ramsey numbers $m_j(nK_2,C_7)$
Authors:
Yaser Rowshan
Abstract:
Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1$ and $G_2$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2)$ is the smallest integer $t$ such that any subgraph $G$ of the $K_{j\times t}$, either $G$ contains a copy of $G_1$ or its complement relative to $K_{j\times t}$ contains a cop…
▽ More
Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1$ and $G_2$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2)$ is the smallest integer $t$ such that any subgraph $G$ of the $K_{j\times t}$, either $G$ contains a copy of $G_1$ or its complement relative to $K_{j\times t}$ contains a copy of $G_2$. C. J. Jayawardene, E. T. Baskoro et al. $(2016)$ gave the size of M-R-numbe $m_j(nK_2, C_7)$ for $j \geq 2 $ and $n\leq 6$. Y. Rowshan et al. $(2021)$ gave the size of M-R-number $m_j(nK_2, C_7)$ for $j = 2,3, 4$ and $n\geq 2$.
In this article we compute the size of M-R-number $m_j(nK_2,C_7)$, for each $j\geq 5$ and $n\geq 2$.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
A proof of a conjecture on Ramsey numbers $B(2,2,3)$
Authors:
Yaser Rowshan,
Mostafa Gholami
Abstract:
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.…
▽ More
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$.
△ Less
Submitted 8 August, 2021;
originally announced August 2021.
-
The bipartite Ramsey numbers $BR(C_8, C_{2n})$
Authors:
Mostafa Gholami,
Yaser Rowshan
Abstract:
For the given bipartite graphs $G_1,G_2,\ldots,G_t$, the multicolor bipartite Ramsey number $BR(G_1,G_2,\ldots,G_t)$ is the smallest positive integer $b$ such that any $t$-edge-coloring of $K_{b,b}$ contains a monochromatic subgraph isomorphic to $G_i$, colored with the $i$th color for some $1\leq i\leq t$. We compute the exact values of the bipartite Ramsey numbers $BR(C_8,C_{2n})$ for $n\geq2$.
For the given bipartite graphs $G_1,G_2,\ldots,G_t$, the multicolor bipartite Ramsey number $BR(G_1,G_2,\ldots,G_t)$ is the smallest positive integer $b$ such that any $t$-edge-coloring of $K_{b,b}$ contains a monochromatic subgraph isomorphic to $G_i$, colored with the $i$th color for some $1\leq i\leq t$. We compute the exact values of the bipartite Ramsey numbers $BR(C_8,C_{2n})$ for $n\geq2$.
△ Less
Submitted 3 January, 2024; v1 submitted 5 August, 2021;
originally announced August 2021.
-
The size, multipartite Ramsey numbers for nK2 versus path-path and cycle
Authors:
Yaser Rowshan,
Mostafa Gholami
Abstract:
For given graphs $G_1, G_2,\ldots, G_n$ and any integer $j$, the size of the multipartite Ramsey number $m_j(G_1, G_2,\ldots, G_n)$ is the smallest positive integer $t$ such that any $n$-coloring of the edges of $K_{j\times t}$ contains a monochromatic copy of $G_i$ in color $i$ for some $i$, $1 \leq i \leq n$, where $K_{j\times t}$ denotes the complete multipartite graph having $j$ classes with…
▽ More
For given graphs $G_1, G_2,\ldots, G_n$ and any integer $j$, the size of the multipartite Ramsey number $m_j(G_1, G_2,\ldots, G_n)$ is the smallest positive integer $t$ such that any $n$-coloring of the edges of $K_{j\times t}$ contains a monochromatic copy of $G_i$ in color $i$ for some $i$, $1 \leq i \leq n$, where $K_{j\times t}$ denotes the complete multipartite graph having $j$ classes with $t$ vertices per each class. In this paper we compute the size of the multipartite Ramsey number $m_j(K_{1,2}, P_4, nK_2)$ for any $j,n\geq 2$ and $m_j(nK_2,C_7)$, for any $j\leq4$ and $n\geq 2$.
△ Less
Submitted 3 January, 2021;
originally announced January 2021.
-
A Catlin-type Theorem for Graph Partitioning Avoiding Prescribed Subgraphs
Authors:
Yaser Rowshan,
Ali Taherkhani
Abstract:
As an extension of the Brooks theorem, Catlin in 1979 showed that if $H$ is neither an odd cycle nor a complete graph with maximum degree $Δ(H)$, then $H$ has a vertex $Δ(H)$-coloring such that one of the color classes is a maximum independent set. Let $G$ be a connected graph of order at least $2$. A $G$-free $k$-coloring of a graph $H$ is a partition of the vertex set of $H$ into…
▽ More
As an extension of the Brooks theorem, Catlin in 1979 showed that if $H$ is neither an odd cycle nor a complete graph with maximum degree $Δ(H)$, then $H$ has a vertex $Δ(H)$-coloring such that one of the color classes is a maximum independent set. Let $G$ be a connected graph of order at least $2$. A $G$-free $k$-coloring of a graph $H$ is a partition of the vertex set of $H$ into $V_1,\ldots,V_k$ such that $H[V_i]$, the subgraph induced on $V_i$, does not contain any subgraph isomorphic to $G$. As a generalization of Catlin's theorem we show that a graph $H$ has a $G$-free $\lceil{Δ(H)\over δ(G)}\rceil$-coloring for which one of the color classes is a maximum $G$-free subset of $V(H)$ if $H$ satisfies the following conditions; (1) $H$ is not isomorphic to $G$ if $G$ is regular, (2) $H$ is not isomorphic to $K_{kδ(G)+1}$ if $G \simeq K_{δ(G)+1}$, and (3) $H$ is not an odd cycle if $G$ is isomorphic to $K_2$. Indeed, we show even more, by proving that if $G_1,\ldots,G_k$ are connected graphs with minimum degrees $d_1,\ldots,d_k$, respectively, and $Δ(H)=\sum_{i=1}^{k}d_k$, then there is a partition of vertices of $H$ to $V_1,\ldots,V_k$ such that each $H[V_i]$ is $G_i$-free and moreover one of $V_i$s can be chosen in a way that $H[V_i]$ is a maximum $G_i$-free subset of $V(H)$ except either $k=1$ and $H$ is isomorphic to $G_1$, each $G_i$ is isomorphic to $K_{d_i+1}$ and $H$ is not isomorphic to $K_{Δ(H)+1}$, or each $G_i$ is isomorphic to $K_{2}$ and $H$ is not an odd cycle.
△ Less
Submitted 11 February, 2020;
originally announced February 2020.