-
Some Upper Bounds on Ramsey Numbers Involving $C_4$
Authors:
Luis Boza,
Stanisław Radziszowski
Abstract:
We obtain some new upper bounds on the Ramsey numbers of the form $R(\underbrace{C_4,\ldots,C_4}_m,G_1,\ldots,G_n)$, where $m\ge 1$ and $G_1,\ldots,G_n$ are arbitrary graphs. We focus on the cases of $G_i$'s being complete, star $K_{1,k}$ or book graphs $B_k$, where $B_k=K_2+kK_1$. If $k\ge 2$, then our main upper bound theorem implies that…
▽ More
We obtain some new upper bounds on the Ramsey numbers of the form $R(\underbrace{C_4,\ldots,C_4}_m,G_1,\ldots,G_n)$, where $m\ge 1$ and $G_1,\ldots,G_n$ are arbitrary graphs. We focus on the cases of $G_i$'s being complete, star $K_{1,k}$ or book graphs $B_k$, where $B_k=K_2+kK_1$. If $k\ge 2$, then our main upper bound theorem implies that $$R(C_4,B_k) \le R(C_4,K_{1,k})+\left\lceil\sqrt{R(C_4,K_{1,k})}\right\rceil+1.$$
Our techniques are used to obtain new upper bounds in several concrete cases, including: $R(C_4,K_{11})\leq 43$, $R(C_4,K_{12})\leq 51$, $R(C_4,K_3,K_4)\leq 29$, $R(C_4, K_4,K_4)\leq 66$, $R(C_4,K_3,K_3,K_3)\leq 57$, $R(C_4,C_4,K_3,K_4)\leq 75$, and $R(C_4,C_4,K_4,K_4)\leq 177$, and also $R(C_4,B_{17})\leq 28$.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
On Some Generalized Vertex Folkman Numbers
Authors:
Zohair Raza Hassan,
Yu Jiang,
David E. Narváez,
Stanisław Radziszowski,
Xiaodong Xu
Abstract:
For a graph $G$ and integers $a_i\ge 1$, the expression $G \rightarrow (a_1,\dots,a_r)^v$ means that for any $r$-coloring of the vertices of $G$ there exists a monochromatic $a_i$-clique in $G$ for some color $i \in \{1,\cdots,r\}$. The vertex Folkman numbers are defined as $F_v(a_1,\dots,a_r;H) = \min\{|V(G)| : G$ is $H$-free and $G \rightarrow (a_1,\dots,a_r)^v\}$, where $H$ is a graph. Such ver…
▽ More
For a graph $G$ and integers $a_i\ge 1$, the expression $G \rightarrow (a_1,\dots,a_r)^v$ means that for any $r$-coloring of the vertices of $G$ there exists a monochromatic $a_i$-clique in $G$ for some color $i \in \{1,\cdots,r\}$. The vertex Folkman numbers are defined as $F_v(a_1,\dots,a_r;H) = \min\{|V(G)| : G$ is $H$-free and $G \rightarrow (a_1,\dots,a_r)^v\}$, where $H$ is a graph. Such vertex Folkman numbers have been extensively studied for $H=K_s$ with $s>\max\{a_i\}_{1\le i \le r}$. If $a_i=a$ for all $i$, then we use notation $F_v(a^r;H)=F_v(a_1,\dots,a_r;H)$.
Let $J_k$ be the complete graph $K_k$ missing one edge, i.e. $J_k=K_k-e$. In this work we focus on vertex Folkman numbers with $H=J_k$, in particular for $k=4$ and $a_i\le 3$. A result by Nešetřil and Rödl from 1976 implies that $F_v(3^r;J_4)$ is well defined for any $r\ge 2$. We present a new and more direct proof of this fact. The simplest but already intriguing case is that of $F_v(3,3;J_4)$, for which we establish the upper bound of 135 by using the $J_4$-free process. We obtain the exact values and bounds for a few other small cases of $F_v(a_1,\dots,a_r;J_4)$ when $a_i \le 3$ for all $1 \le i \le r$, including $F_v(2,3;J_4)=14$, $F_v(2^4;J_4)=15$, and $22 \le F_v(2^5;J_4) \le 25$. Note that $F_v(2^r;J_4)$ is the smallest number of vertices in any $J_4$-free graph with chromatic number $r+1$. Most of the results were obtained with the help of computations, but some of the upper bound graphs we found are interesting by themselves.
△ Less
Submitted 7 December, 2022; v1 submitted 6 October, 2021;
originally announced October 2021.
-
Failed power domination on graphs
Authors:
Abraham Glasser,
Bonnie Jacob,
Emily Lederman,
Stanisław Radziszowski
Abstract:
Let $G$ be a simple graph with vertex set $V$ and edge set $E$, and let $S \subseteq V$. The \emph{open neighborhood} of $v \in V$, $N(v)$, is the set of vertices adjacent to $v$; the \emph{closed neighborhood} is given by $N[v] = N(v) \cup \{v\}$. The \emph{open neighborhood} of $S$, $N(S)$, is the union of the open neighborhoods of vertices in $S$, and the \emph{closed neighborhood} of $S$ is…
▽ More
Let $G$ be a simple graph with vertex set $V$ and edge set $E$, and let $S \subseteq V$. The \emph{open neighborhood} of $v \in V$, $N(v)$, is the set of vertices adjacent to $v$; the \emph{closed neighborhood} is given by $N[v] = N(v) \cup \{v\}$. The \emph{open neighborhood} of $S$, $N(S)$, is the union of the open neighborhoods of vertices in $S$, and the \emph{closed neighborhood} of $S$ is $N[S] = S \cup N(S)$. The sets $ \mathcal{P}^i(S), i \geq 0$, of vertices \emph{monitored} by $S$ at the $i^{\ {th}}$ step are given by $\mathcal{P}^0(S) = N[S]$ and $\mathcal{P}^{i+1}(S) = \mathcal{P}^i(S) \bigcup\left\{ w : \{ w \} = N[v] \backslash \mathcal{P}^i(S) \ { for some } v \in \mathcal{P}^i(S) \right\}$. If there exists $j$ such that $\mathcal{P}^j(S) = V$, then $S$ is called a \emph{power dominating set}, PDS, of $G$.
We introduce and discuss the \emph{failed power domination number} of a graph $G$, $\barγ_p(G)$, the largest cardinality of a set that is not a PDS. We prove that $\barγ_p(G)$ is NP-hard to compute, determine graphs in which every vertex is a PDS, and compare $\barγ_p(G)$ to similar parameters.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
On a Diagonal Conjecture for Classical Ramsey Numbers
Authors:
Meilian Liang,
Stanisław Radziszowski,
Xiaodong Xu
Abstract:
Let $R(k_1, \cdots, k_r)$ denote the classical $r$-color Ramsey number for integers $k_i \ge 2$. The Diagonal Conjecture (DC) for classical Ramsey numbers poses that if $k_1, \cdots, k_r$ are integers no smaller than 3 and $k_{r-1} \leq k_r$, then $R(k_1, \cdots, k_{r-2}, k_{r-1}-1, k_r +1) \leq R(k_1, \cdots, k_r)$. We obtain some implications of this conjecture, present evidence for its validity…
▽ More
Let $R(k_1, \cdots, k_r)$ denote the classical $r$-color Ramsey number for integers $k_i \ge 2$. The Diagonal Conjecture (DC) for classical Ramsey numbers poses that if $k_1, \cdots, k_r$ are integers no smaller than 3 and $k_{r-1} \leq k_r$, then $R(k_1, \cdots, k_{r-2}, k_{r-1}-1, k_r +1) \leq R(k_1, \cdots, k_r)$. We obtain some implications of this conjecture, present evidence for its validity, and discuss related problems.
Let $R_r(k)$ stand for the $r$-color Ramsey number $R(k, \cdots, k)$. It is known that $\lim_{r \rightarrow \infty} R_r(3)^{1/r}$ exists, either finite or infinite, the latter conjectured by Erdős. This limit is related to the Shannon capacity of complements of $K_3$-free graphs. We prove that if DC holds, and $\lim_{r \rightarrow \infty} R_r(3)^{1/r}$ is finite, then $\lim_{r \rightarrow \infty} R_r(k)^{1/r}$ is finite for every integer $k \geq 3$.
△ Less
Submitted 21 June, 2019; v1 submitted 26 October, 2018;
originally announced October 2018.
-
A Note on Upper Bounds for Some Generalized Folkman Numbers
Authors:
Xiaodong Xu,
Meilian Liang,
Stanisław Radziszowski
Abstract:
We present some new constructive upper bounds based on product graphs for generalized vertex Folkman numbers. They lead to new upper bounds for some special cases of generalized edge Folkman numbers, including $F_e(K_3,K_4-e; K_5) \leq 27$ and $F_e(K_4-e,K_4-e; K_5) \leq 51$. The latter bound follows from a construction of a $K_5$-free graph on 51 vertices, for which every coloring of its edges wi…
▽ More
We present some new constructive upper bounds based on product graphs for generalized vertex Folkman numbers. They lead to new upper bounds for some special cases of generalized edge Folkman numbers, including $F_e(K_3,K_4-e; K_5) \leq 27$ and $F_e(K_4-e,K_4-e; K_5) \leq 51$. The latter bound follows from a construction of a $K_5$-free graph on 51 vertices, for which every coloring of its edges with two colors contains a monochromatic $K_4-e$.
△ Less
Submitted 31 July, 2017;
originally announced August 2017.
-
On the Nonexistence of Some Generalized Folkman Numbers
Authors:
Xiaodong Xu,
Meilian Liang,
Stanisław Radziszowski
Abstract:
For an undirected simple graph $G$, we write $G \rightarrow (H_1, H_2)^v$ if and only if for every red-blue coloring of its vertices there exists a red $H_1$ or a blue $H_2$. The generalized vertex Folkman number $F_v(H_1, H_2; H)$ is defined as the smallest integer $n$ for which there exists an $H$-free graph $G$ of order $n$ such that $G \rightarrow (H_1, H_2)^v$. The generalized edge Folkman nu…
▽ More
For an undirected simple graph $G$, we write $G \rightarrow (H_1, H_2)^v$ if and only if for every red-blue coloring of its vertices there exists a red $H_1$ or a blue $H_2$. The generalized vertex Folkman number $F_v(H_1, H_2; H)$ is defined as the smallest integer $n$ for which there exists an $H$-free graph $G$ of order $n$ such that $G \rightarrow (H_1, H_2)^v$. The generalized edge Folkman numbers $F_e(H_1, H_2; H)$ are defined similarly, when colorings of the edges are considered.
We show that $F_e(K_{k+1},K_{k+1};K_{k+2}-e)$ and $F_v(K_k,K_k;K_{k+1}-e)$ are well defined for $k \geq 3$. We prove the nonexistence of $F_e(K_3,K_3;H)$ for some $H$, in particular for $H=B_3$, where $B_k$ is the book graph of $k$ triangular pages, and for $H=K_1+P_4$. We pose three problems on generalized Folkman numbers, including the existence question of edge Folkman numbers $F_e(K_3, K_3; B_4)$, $F_e(K_3, K_3; K_1+C_4)$ and $F_e(K_3, K_3; \overline{P_2 \cup P_3} )$. Our results lead to some general inequalities involving two-color and multicolor Folkman numbers.
△ Less
Submitted 19 June, 2018; v1 submitted 17 May, 2017;
originally announced May 2017.
-
Chromatic Vertex Folkman Numbers
Authors:
Xiaodong Xu,
Meilian Liang,
Stanisław Radziszowski
Abstract:
For graph $G$ and integers $a_1 \ge \cdots \ge a_r \ge 2$, we write $G \rightarrow (a_1 ,\cdots ,a_r)^v$ if and only if for every $r$-coloring of the vertex set $V(G)$ there exists a monochromatic $K_{a_i}$ in $G$ for some color $i \in \{1, \cdots, r\}$. The vertex Folkman number $F_v(a_1 ,\cdots ,a_r; s)$ is defined as the smallest integer $n$ for which there exists a $K_s$-free graph $G$ of orde…
▽ More
For graph $G$ and integers $a_1 \ge \cdots \ge a_r \ge 2$, we write $G \rightarrow (a_1 ,\cdots ,a_r)^v$ if and only if for every $r$-coloring of the vertex set $V(G)$ there exists a monochromatic $K_{a_i}$ in $G$ for some color $i \in \{1, \cdots, r\}$. The vertex Folkman number $F_v(a_1 ,\cdots ,a_r; s)$ is defined as the smallest integer $n$ for which there exists a $K_s$-free graph $G$ of order $n$ such that $G \rightarrow (a_1 ,\cdots ,a_r)^v$. It is well known that if $G \rightarrow (a_1 ,\cdots ,a_r)^v$ then $χ(G) \geq m$, where $m = 1+ \sum_{i=1}^r (a_i - 1)$. In this paper we study such Folkman graphs $G$ with chromatic number $χ(G)=m$, which leads to a new concept of chromatic Folkman numbers. We prove constructively some existential results, among others that for all $r,s \ge 2$ there exist $K_{s+1}$-free graphs $G$ such that $G \rightarrow (s,\cdots_r,s)^v$ and $G$ has the smallest possible chromatic number $r(s-1)+1$ for this $r$-color arrowing to hold. We also conjecture that, in some cases, our construction is the best possible, in particular that for every $s \ge 2$ there exists a $K_{s+1}$-free graph $G$ on $F_v(s,s; s+1)$ vertices with $χ(G)=2s-1$ such that $G \rightarrow (s,s)^v$.
△ Less
Submitted 26 May, 2019; v1 submitted 23 December, 2016;
originally announced December 2016.
-
Zarankiewicz Numbers and Bipartite Ramsey Numbers
Authors:
Alex Collins,
Alexander Riasanovsky,
John Wallace,
Stanisław Radziszowski
Abstract:
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 me…
▽ More
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 improve some of the results on bipartite Ramsey numbers obtained by Goddard, Henning and Oellermann in 2000. In particular, we compute the smallest previously unknown bipartite Ramsey number, $b(2,5)=17$. Moreover, we prove that up to isomorphism there exists a unique $2$-coloring which witnesses the lower bound $16<b(2,5)$. We also find tight bounds on $b(2,2,3)$, $17 \le b(2,2,3) \le 18$, which currently is the smallest open case for multicolor bipartite Ramsey numbers.
△ Less
Submitted 5 April, 2016;
originally announced April 2016.
-
A step forwards on the Erdős-Sós problem concerning the Ramsey numbers $R(3,k)$
Authors:
Rujie Zhu,
Xiaodong Xu,
Stanisław Radziszowski
Abstract:
Let $Δ_s=R(K_3,K_s)-R(K_3,K_{s-1})$, where $R(G,H)$ is the Ramsey number of graphs $G$ and $H$ defined as the smallest $n$ such that any edge coloring of $K_n$ with two colors contains $G$ in the first color or $H$ in the second color. In 1980, Erdős and Sós posed some questions about the growth of $Δ_s$. The best known concrete bounds on $Δ_s$ are $3 \le Δ_s \le s$, and they have not improved sin…
▽ More
Let $Δ_s=R(K_3,K_s)-R(K_3,K_{s-1})$, where $R(G,H)$ is the Ramsey number of graphs $G$ and $H$ defined as the smallest $n$ such that any edge coloring of $K_n$ with two colors contains $G$ in the first color or $H$ in the second color. In 1980, Erdős and Sós posed some questions about the growth of $Δ_s$. The best known concrete bounds on $Δ_s$ are $3 \le Δ_s \le s$, and they have not improved since the stating of the problem. In this paper we present some constructions, which imply in particular that $R(K_3,K_s) \ge R(K_3,K_{s-1}-e) + 4$. This does not improve the lower bound of 3 on $Δ_s$, but we still consider it a step towards to understanding its growth. We discuss some related questions and state two conjectures involving $Δ_s$, including the following: for some constant $d$ and all $s$ it holds that $Δ_s - Δ_{s+1} \leq d$. We also prove that if the latter is true, then $\lim_{s \rightarrow \infty} Δ_s/s=0$.
△ Less
Submitted 4 July, 2015;
originally announced July 2015.
-
On bipartization of cubic graphs by removal of an independent set
Authors:
Hanna Furmańczyk,
Marek Kubale,
Stanisław Radziszowski
Abstract:
We study a new problem for cubic graphs: bipartization of a cubic graph $Q$ by deleting sufficiently large independent set $I$. It can be expressed as follows: \emph{Given a connected $n$-vertex tripartite cubic graph $Q=(V,E)$ with independence number $α(Q)$, does $Q$ contain an independent set $I$ of size $k$ such that $Q-I$ is bipartite?} We are interested for which value of $k$ the answer to t…
▽ More
We study a new problem for cubic graphs: bipartization of a cubic graph $Q$ by deleting sufficiently large independent set $I$. It can be expressed as follows: \emph{Given a connected $n$-vertex tripartite cubic graph $Q=(V,E)$ with independence number $α(Q)$, does $Q$ contain an independent set $I$ of size $k$ such that $Q-I$ is bipartite?} We are interested for which value of $k$ the answer to this question is affirmative. We prove constructively that if $α(Q) \geq 4n/10$, then the answer is positive for each $k$ fulfilling $\lfloor (n-α(Q))/2 \rfloor \leq k \leq α(Q)$. It remains an open question if a similar construction is possible for cubic graphs with $α(Q)<4n/10$.
Next, we show that this problem with $α(Q)\geq 4n/10$ and $k$ fulfilling inequalities $\lfloor n/3 \rfloor \leq k \leq α(Q)$ can be related to semi-equitable graph 3-coloring, where one color class is of size $k$, and the subgraph induced by the remaining vertices is equitably 2-colored. This means that $Q$ has a coloring of type $(k, \lceil(n-k)/2\rceil, \lfloor (n-k)/2 \rfloor)$.
△ Less
Submitted 21 July, 2014; v1 submitted 10 June, 2014;
originally announced June 2014.
-
Computation of the Ramsey Numbers $R(C_4,K_9)$ and $R(C_4,K_{10})$
Authors:
Ivan Livinsky,
Alexander Lange,
Stanisław Radziszowski
Abstract:
The Ramsey number $R(C_4,K_m)$ is the smallest $n$ such that any graph on $n$ vertices contains a cycle of length four or an independent set of order $m$. With the help of computer algorithms we obtain the exact values of the Ramsey numbers $R(C_4,K_9)=30$ and $R(C_4,K_{10})=36$. New bounds for the next two open cases are also presented.
The Ramsey number $R(C_4,K_m)$ is the smallest $n$ such that any graph on $n$ vertices contains a cycle of length four or an independent set of order $m$. With the help of computer algorithms we obtain the exact values of the Ramsey numbers $R(C_4,K_9)=30$ and $R(C_4,K_{10})=36$. New bounds for the next two open cases are also presented.
△ Less
Submitted 11 October, 2013;
originally announced October 2013.
-
The Ramsey Number $R(3,K_{10}-e)$ and Computational Bounds for $R(3,G)$
Authors:
Jan Goedgebeur,
Stanisław P. Radziszowski
Abstract:
Using computer algorithms we establish that the Ramsey number $R(3,K_{10}-e)$ is equal to 37, which solves the smallest open case for Ramsey numbers of this type. We also obtain new upper bounds for the cases of $R(3,K_k-e)$ for $11 \le k \le 16$, and show by construction a new lower bound $55 \le R(3,K_{13}-e)$.
The new upper bounds on $R(3,K_k-e)$ are obtained by using the values and lower bou…
▽ More
Using computer algorithms we establish that the Ramsey number $R(3,K_{10}-e)$ is equal to 37, which solves the smallest open case for Ramsey numbers of this type. We also obtain new upper bounds for the cases of $R(3,K_k-e)$ for $11 \le k \le 16$, and show by construction a new lower bound $55 \le R(3,K_{13}-e)$.
The new upper bounds on $R(3,K_k-e)$ are obtained by using the values and lower bounds on $e(3,K_l-e,n)$ for $l \le k$, where $e(3,K_k-e,n)$ is the minimum number of edges in any triangle-free graph on $n$ vertices without $K_k-e$ in the complement. We complete the computation of the exact values of $e(3,K_k-e,n)$ for all $n$ with $k \leq 10$ and for $n \leq 34$ with $k = 11$, and establish many new lower bounds on $e(3,K_k-e,n)$ for higher values of $k$.
Using the maximum triangle-free graph generation method, we determine two other previously unknown Ramsey numbers, namely $R(3,K_{10}-K_3-e)=31$ and $R(3,K_{10}-P_3-e)=31$. For graphs $G$ on 10 vertices, %besides $G=K_{10}$, this leaves 6 other open besides $G=K_{10}$, this leaves 6 open cases of the form $R(3,G)$. The hardest among them appears to be $G=K_{10}-2K_2$, for which we establish the bounds $31 \le R(3,K_{10}-2K_2) \le 33$.
△ Less
Submitted 15 November, 2013; v1 submitted 30 August, 2013;
originally announced September 2013.
-
On Some Zarankiewicz Numbers and Bipartite Ramsey Numbers for Quadrilateral
Authors:
Janusz Dybizbański,
Tomasz Dzido,
Stanisław Radziszowski
Abstract:
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…
▽ More
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 multicolor bipartite Ramsey numbers avoiding quadrilateral. In particular, we prove that $b_4(2)=19$, and establish new general lower and upper bounds on $b_k(2)$.
△ Less
Submitted 28 May, 2014; v1 submitted 21 March, 2013;
originally announced March 2013.
-
New Computational Upper Bounds for Ramsey Numbers R(3,k)
Authors:
Jan Goedgebeur,
Stanisław P. Radziszowski
Abstract:
Using computational techniques we derive six new upper bounds on the classical two-color Ramsey numbers: R(3,10) <= 42, R(3,11) <= 50, R(3,13) <= 68, R(3,14) <= 77, R(3,15) <= 87, and R(3,16) <= 98. All of them are improvements by one over the previously best known bounds.
Let e(3,k,n) denote the minimum number of edges in any triangle-free graph on n vertices without independent sets of order k…
▽ More
Using computational techniques we derive six new upper bounds on the classical two-color Ramsey numbers: R(3,10) <= 42, R(3,11) <= 50, R(3,13) <= 68, R(3,14) <= 77, R(3,15) <= 87, and R(3,16) <= 98. All of them are improvements by one over the previously best known bounds.
Let e(3,k,n) denote the minimum number of edges in any triangle-free graph on n vertices without independent sets of order k. The new upper bounds on R(3,k) are obtained by completing the computation of the exact values of e(3,k,n) for all n with k <= 9 and for all n <= 33 for k = 10, and by establishing new lower bounds on e(3,k,n) for most of the open cases for 10 <= k <= 15. The enumeration of all graphs witnessing the values of e(3,k,n) is completed for all cases with k <= 9. We prove that the known critical graph for R(3,9) on 35 vertices is unique up to isomorphism. For the case of R(3,10), first we establish that R(3,10) = 43 if and only if e(3,10,42) = 189, or equivalently, that if R(3,10) = 43 then every critical graph is regular of degree 9. Then, using computations, we disprove the existence of the latter, and thus show that R(3,10) <= 42.
△ Less
Submitted 20 March, 2013; v1 submitted 22 October, 2012;
originally announced October 2012.
-
On Some Three-Color Ramsey Numbers for Paths
Authors:
Janusz Dybizbański,
Tomasz Dzido,
Stanisław Radziszowski
Abstract:
For graphs $G_1, G_2, G_3$, the three-color Ramsey number $R(G_1,$ $G_2, G_3)$ is the smallest integer $n$ such that if we arbitrarily color the edges of the complete graph of order $n$ with 3 colors, then it contains a monochromatic copy of $G_i$ in color $i$, for some $1 \leq i \leq 3$.
First, we prove that the conjectured equality $R_3(C_{2n},C_{2n},C_{2n})=4n$, if true, implies that…
▽ More
For graphs $G_1, G_2, G_3$, the three-color Ramsey number $R(G_1,$ $G_2, G_3)$ is the smallest integer $n$ such that if we arbitrarily color the edges of the complete graph of order $n$ with 3 colors, then it contains a monochromatic copy of $G_i$ in color $i$, for some $1 \leq i \leq 3$.
First, we prove that the conjectured equality $R_3(C_{2n},C_{2n},C_{2n})=4n$, if true, implies that $R_3(P_{2n+1},P_{2n+1},P_{2n+1})=4n+1$ for all $n \ge 3$. We also obtain two new exact values $R(P_8,P_8,P_8)=14$ and $R(P_9,P_9,P_9)=17$, furthermore we do so without help of computer algorithms. Our results agree with a formula $R(P_n,P_n,P_n)=2n-2+(n\bmod 2)$ which was proved for sufficiently large $n$ by Gyárfás, Ruszinkó, Sárközy, and Szemerédi in 2007. This provides more evidence for the conjecture that the latter holds for all $n \ge 1$.
△ Less
Submitted 4 July, 2015; v1 submitted 24 July, 2012;
originally announced July 2012.
-
Use of MAX-CUT for Ramsey Arrowing of Triangles
Authors:
Alexander Lange,
Stanisław Radziszowski,
Xiaodong Xu
Abstract:
In 1967, Erdős and Hajnal asked the question: Does there exist a $K_4$-free graph that is not the union of two triangle-free graphs? Finding such a graph involves solving a special case of the classical Ramsey arrowing operation. Folkman proved the existence of these graphs in 1970, and they are now called Folkman graphs. Erdős offered \$100 for deciding if one exists with less than $10^{10}…
▽ More
In 1967, Erdős and Hajnal asked the question: Does there exist a $K_4$-free graph that is not the union of two triangle-free graphs? Finding such a graph involves solving a special case of the classical Ramsey arrowing operation. Folkman proved the existence of these graphs in 1970, and they are now called Folkman graphs. Erdős offered \$100 for deciding if one exists with less than $10^{10}$ vertices. This problem remained open until 1988 when Spencer, in a seminal paper using probabilistic techniques, proved the existence of a Folkman graph of order $3\times 10^9$ (after an erratum), without explicitly constructing it. In 2008, Dudek and Rödl developed a strategy to construct new Folkman graphs by approximating the maximum cut of a related graph, and used it to improve the upper bound to 941. We improve this bound first to 860 using their approximation technique and then further to 786 with the MAX-CUT semidefinite programming relaxation as used in the Goemans-Williamson algorithm.
△ Less
Submitted 20 March, 2013; v1 submitted 16 July, 2012;
originally announced July 2012.
-
Computing the Ramsey Number $R(K_5-P_3,K_5)$
Authors:
Jesse A. Calvert,
Michael J. Schuster,
Stanisław P. Radziszowski
Abstract:
We give a computer-assisted proof of the fact that $R(K_5-P_3, K_5)=25$. This solves one of the three remaining open cases in Hendry's table, which listed the Ramsey numbers for pairs of graphs on 5 vertices. We find that there exist no $(K_5-P_3,K_5)$-good graphs containing a $K_4$ on 23 or 24 vertices, where a graph $F$ is $(G,H)$-good if $F$ does not contain $G$ and the complement of $F$ does n…
▽ More
We give a computer-assisted proof of the fact that $R(K_5-P_3, K_5)=25$. This solves one of the three remaining open cases in Hendry's table, which listed the Ramsey numbers for pairs of graphs on 5 vertices. We find that there exist no $(K_5-P_3,K_5)$-good graphs containing a $K_4$ on 23 or 24 vertices, where a graph $F$ is $(G,H)$-good if $F$ does not contain $G$ and the complement of $F$ does not contain $H$. The unique $(K_5-P_3,K_5)$-good graph containing a $K_4$ on 22 vertices is presented.
△ Less
Submitted 29 March, 2012;
originally announced March 2012.
-
On Some Multicolor Ramsey Numbers Involving $K_3+e$ and $K_4-e$
Authors:
Daniel S. Shetler,
Michael A. Wurtz,
Stanisław P. Radziszowski
Abstract:
The Ramsey number $R(G_1, G_2, G_3)$ is the smallest positive integer $n$ such that for all 3-colorings of the edges of $K_n$ there is a monochromatic $G_1$ in the first color, $G_2$ in the second color, or $G_3$ in the third color. We study the bounds on various 3-color Ramsey numbers $R(G_1, G_2, G_3)$, where $G_i \in \{K_3, K_3+e, K_4-e, K_4\}$. The minimal and maximal combinations of $G_i$'s c…
▽ More
The Ramsey number $R(G_1, G_2, G_3)$ is the smallest positive integer $n$ such that for all 3-colorings of the edges of $K_n$ there is a monochromatic $G_1$ in the first color, $G_2$ in the second color, or $G_3$ in the third color. We study the bounds on various 3-color Ramsey numbers $R(G_1, G_2, G_3)$, where $G_i \in \{K_3, K_3+e, K_4-e, K_4\}$. The minimal and maximal combinations of $G_i$'s correspond to the classical Ramsey numbers $R_3(K_3)$ and $R_3(K_4)$, respectively, where $R_3(G) = R(G, G, G)$. Here, we focus on the much less studied combinations between these two cases.
Through computational and theoretical means we establish that $R(K_3, K_3, K_4-e)=17$, and by construction we raise the lower bounds on $R(K_3, K_4-e, K_4-e)$ and $R(K_4, K_4-e, K_4-e)$. For some $G$ and $H$ it was known that $R(K_3, G, H)=R(K_3+e, G, H)$; we prove this is true for several more cases including $R(K_3, K_3, K_4-e) = R(K_3+e, K_3+e, K_4-e)$.
Ramsey numbers generalize to more colors, such as in the famous 4-color case of $R_4(K_3)$, where monochromatic triangles are avoided. It is known that $51 \leq R_4(K_3) \leq 62$. We prove a surprising theorem stating that if $R_4(K_3)=51$ then $R_4(K_3+e)=52$, otherwise $R_4(K_3+e)=R_4(K_3)$.
△ Less
Submitted 18 March, 2012; v1 submitted 2 January, 2012;
originally announced January 2012.
-
Bounds on Shannon Capacity and Ramsey Numbers from Product of Graphs
Authors:
Xiaodong Xu,
Stanisław Radziszowski
Abstract:
In this note we study Shannon capacity of channels in the context of classical Ramsey numbers. We overview some of the results on capacity of noisy channels modelled by graphs, and how some constructions may contribute to our knowledge of this capacity.
We present an improvement to the constructions by Abbott and Song and thus establish new lower bounds for a special type of multicolor Ramsey nu…
▽ More
In this note we study Shannon capacity of channels in the context of classical Ramsey numbers. We overview some of the results on capacity of noisy channels modelled by graphs, and how some constructions may contribute to our knowledge of this capacity.
We present an improvement to the constructions by Abbott and Song and thus establish new lower bounds for a special type of multicolor Ramsey numbers. We prove that our construction implies that the supremum of the Shannon capacity over all graphs with independence number 2 cannot be achieved by any finite graph power. This can be generalized to graphs with any bounded independence number.
△ Less
Submitted 31 January, 2013; v1 submitted 31 December, 2011;
originally announced January 2012.
