arXiv++ Combinatorics

Given two graphs H and G, the size multipartite Ramsey number mj (H, G) is the smallest natural number t such that an arbitrary coloring of the edges of Kjt, complete multipartite graph whose vertex set is partitioned into j parts each of size t, using two colors red and blue, necessarily forces a red copy of H or a blue copy of G as a subgraph. The notion of size multipartite Ramsey number has been introduced by Burger and Vuuren in 2004. It is worth noting that, this concept is derived by using the idea of the original classical Ramsey number, multipartite Ramsey number and the size Ramsey number. In this paper, we focus on mj(H, G) and find a lower bound for mj (H, G) based on the chromatic number of H and the order of G. Also, for graphs G with large maximum degree, we obtain a tight lower bound for mj(Km, G). Furthermore, we determine the order of magnitude of mj(Km, K1,n), for j >= m >= 3 and n >= 2. Then we specify the exact values of mj(Km, K1,n) for the cases m = j, m = 3 and j = 0 or m-2 (mod m-2).

For an arbitrary graph $G$, a hypergraph $\mathcal{H}$ is called Berge-$G$ if there is a bijection $Φ:E(G)\longrightarrow E( \mathcal{H})$ such that for each $e\in E(G)$, we have $e\subseteq Φ(e)$. We denote by $\mathcal{B}^rG$, the family of $r$-uniform Berge-$G$ hypergraphs. For families $\mathcal{H}_1, \mathcal{H}_2,\ldots, \mathcal{H}_t$ of $r$-uniform hypergraphs, the Ramsey number $R(\mathcal{H}_1, \mathcal{H}_2,\ldots, \mathcal{H}_t)$ is the smallest integer $n$ such that in every $t$-hyperedge coloring of $\mathcal{K}_{n}^r$ there is a monochromatic copy of a hypergraph in $\mathcal{H}_i$ of color $i$, for some $1\leq i\leq t$. Recently, the Ramsey problems of Berge hypergraphs have been studied by many researchers. In this paper, we focus on Ramsey number involving $3$-uniform Berge cycles and we prove that for $n \geq 4$, $ R(\mathcal{B}^3C_n,\mathcal{B}^3C_n,\mathcal{B}^3C_3)=n+1.$ Moreover, for $m \geq n\geq 6$ and $m\geq 11$, we show that $R(\mathcal{B}^3K_m,\mathcal{B}^3C_n)= m+\lfloor \frac{n-1}{2}\rfloor -1.$ This is the first result of Ramsey number for two different families of Berge hypergraphs.

Gyárfás et al. determined the asymptotic value of the diagonal Ramsey number of $\mathcal{C}^k_n$, $R(\mathcal{C}^k_n,\mathcal{C}^k_n),$ generating the same result for $k=3$ due to Haxell et al. Recently, the exact values of the Ramsey numbers of 3-uniform loose paths and cycles are completely determined. These results are motivations to conjecture that for every $n\geq m\geq 3$ and $k\geq 3,$ $$R(\mathcal{C}^k_n,\mathcal{C}^k_m)=(k-1)n+\lfloor\frac{m-1}{2}\rfloor,$$ as mentioned by Omidi et al. More recently, it is shown that this conjecture is true for $n=m\geq 2$ and $k\geq 7$ and for $k=4$ when $n>m$ or $n=m$ is odd. Here we investigate this conjecture for $k=5$ and demonstrate that it holds for $k=5$ and sufficiently large $n$.

Gyárfás, Sárközy and Szemerédi proved that the $2$-color Ramsey number $R(\mathcal{C}^k_n,\mathcal{C}^k_n)$ of a $k$-uniform loose cycle $\mathcal{C}^k_n$ is asymptotically $\frac{1}{2}(2k-1)n,$ generating the same result for $k=3$ due to Haxell et al. Concerning their results, it is conjectured that for every $n\geq m\geq 3$ and $k\geq 3,$ $$R(\mathcal{C}^k_n,\mathcal{C}^k_m)=(k-1)n+\lfloor\frac{m-1}{2}\rfloor.$$ In $2014$, the case $k=3$ is proved by the authors. Recently, the authors showed that this conjecture is true for $n=m\geq 2$ and $k\geq 8$. In this paper, we show that the conjecture holds for $k=4$ when $n>m$ or $n=m$ is odd. When $n=m$ is even, we show that $R(\mathcal{C}^4_n,\mathcal{C}^4_n)$ is between two values with difference one.

Recently, determining the Ramsey numbers of loose paths and cycles in uniform hypergraphs has received considerable attention. It has been shown that the $2$-color Ramsey number of a $k$-uniform loose cycle $\mathcal{C}^k_n$, $R(\mathcal{C}^k_n,\mathcal{C}^k_n)$, is asymptotically $\frac{1}{2}(2k-1)n$. Here we conjecture that for any $n\geq m\geq 3$ and $k\geq 3,$ $$R(\mathcal{P}^k_n,\mathcal{P}^k_m)=R(\mathcal{P}^k_n,\mathcal{C}^k_m)=R(\mathcal{C}^k_n,\mathcal{C}^k_m)+1=(k-1)n+\lfloor\frac{m+1}{2}\rfloor.$$ Recently the case $k=3$ is proved by the authors. In this paper, first we show that this conjecture is true for $k=3$ with a much shorter proof. Then, we show that for fixed $m\geq 3$ and $k\geq 4$ the conjecture is equivalent to (only) the last equality for any $2m\geq n\geq m\geq 3$. Consequently, the proof for $m=3$ follows.

The size Ramsey number $ \hat{r}(G,H) $ of two graphs $ G $ and $ H $ is the smallest integer $ m $ such that there exists a graph $ F $ on $ m $ edges with the property that every red-blue colouring of the edges of $ F $, yields a red copy of $ G $ or a blue copy of $ H $. In $ 1981 $, Erdős observed that $\hat{r}(K_{1,k},K_{3})\leq \binom{2k+1}{2}-\binom{k}{2}$ and he conjectured that the corresponding upper bound on $ \hat{r}(K_{1,k},K_{3}) $ is sharp. In $ 1983 $, Faudree and Sheehan extended this conjecture as follows: \hat{r}(K_{1,k},K_{n})=\left \{ {lr} \binom{k(n-1)+1}{2}-\binom{k}{2} & ~k\geq n~ \text{or}~ k~ \text{odd}. \binom{k(n-1)+1}{2}-k(n-1)/2 & \text{otherwise}. \right. They proved the case $ k=2 $. In $ 2001 $, Pikhurko showed that this conjecture is not true for $ n=3 $ and $ k\geq 5 $, disproving the mentioned conjecture of Erdős. Here we prove Faudree and Sheehan's conjecture for a given $ k\geq 2 $ and $ n\geq k^{3}+2k^{2}+2k $.

A $k$-uniform loose cycle $\mathcal{C}_n^k$ is a hypergraph with vertex set $\{v_1,v_2,\ldots,v_{n(k-1)}\}$ and with the set of $n$ edges $e_i=\{v_{(i-1)(k-1)+1},v_{(i-1)(k-1)+2},\ldots,v_{(i-1)(k-1)+k}\}$, $1\leq i\leq n$, where we use mod $n(k-1)$ arithmetic. The Ramsey number $R(\mathcal{C}^k_n,\mathcal{C}^k_n)$ is asymptotically $\frac{1}{2}(2k-1)n$ as has been proved by Gyárfás, Sárközy and Szemerédi. In this paper, we investigate to determining the exact value of diagonal Ramsey number of $\mathcal{C}^k_n$ and we show that for $n\geq 2$ and $k\geq 8$ $$R(\mathcal{C}^k_n,\mathcal{C}^k_n)=(k-1)n+\lfloor\frac{n-1}{2}\rfloor.$$

Haxell et. al. [%P. Haxell, T. Luczak, Y. Peng, V. Rödl, A. %Ruciński, M. Simonovits, J. Skokan, The Ramsey number for hypergraph cycles I, J. Combin. Theory, Ser. A, 113 (2006), 67-83] proved that the 2-color Ramsey number of 3-uniform loose cycles on $2n$ vertices is asymptotically $\frac{5n}{2}$. Their proof is based on the method of Regularity Lemma. Here, without using this method, we generalize their result by determining the exact values of 2-color Ramsey numbers involving loose paths and cycles in 3-uniform hypergraphs. More precisely, we prove that for every $n\geq m\geq 3$, $R(\mathcal{P}^3_n,\mathcal{P}^3_m)=R(\mathcal{P}^3_n,\mathcal{C}^3_m)=R(\mathcal{C}^3_n,\mathcal{C}^3_m)+1=2n+\lfloor\frac{m+1}{2}\rfloor$ and for $n>m\geq3$, $R(\mathcal{P}^3_m,\mathcal{C}^3_n)=2n+\lfloor\frac{m-1}{2}\rfloor$. These give a positive answer to a question of Gyárfás and Raeisi [The Ramsey number of loose triangles and quadrangles in hypergraphs, Electron. J. Combin. 19 (2012), #R30].

Recently, asymptotic values of 2-color Ramsey numbers for loose cycles and also loose paths were determined. Here we determine the 2-color Ramsey number of 3-uniform loose paths when one of the paths is significantly larger than the other: for every $n\geq \Big\lfloor\frac{5m}{4}\Big\rfloor$, we show that $$R(\mathcal{P}^3_n,\mathcal{P}^3_m)=2n+\Big\lfloor\frac{m+1}{2}\Big\rfloor.$$

Let $G_1, G_2, ..., G_t$ be graphs. The multicolor Ramsey number $R(G_1, G_2, ..., G_t)$ is the smallest positive integer $n$ such that if the edges of complete graph $K_n$ are partitioned into $t$ disjoint color classes giving $t$ graphs $H_1,H_2,...,H_t$, then at least one $H_i$ has a subgraph isomorphic to $G_i$. In this paper, we prove that if $(n,m)\neq (3,3), (3,4)$ and $m\geq n$, then $R(P_3,P_n,P_m)=R(P_n,P_m)=m+\lfloor \frac{n}{2}\rfloor-1$. Consequently $R(P_3,mK_2,nK_2)=2m+n-1$ for $m\geq n\geq 3$.