English

The edge Folkman number $F_e(3, 3; 4)$ is greater than 19

Combinatorics 2019-03-28 v1

Abstract

The set of the graphs which do not contain the complete graph on qq vertices KqK_q and have the property that in every coloring of their edges in two colors there exist a monochromatic triangle is denoted by He(3,3;q)\mathcal{H}_e(3, 3; q). The edge Folkman numbers Fe(3,3;q)=min{V(G):GHe(3,3;q)}F_e(3, 3; q) = \min\{|V(G)| : G \in \mathcal{H}_e(3, 3; q)\} are considered. Folkman proved in 1970 that Fe(3,3;q)F_e(3, 3; q) exists if and only if q4q \geq 4. From the Ramsey number R(3,3)=6R(3, 3) = 6 it becomes clear that Fe(3,3;q)=6F_e(3, 3; q) = 6 if q7q \geq 7. It is also known that Fe(3,3;6)=8F_e(3, 3; 6) = 8 and Fe(3,3;5)=15F_e(3, 3; 5) = 15. The upper bounds on the number Fe(3,3;4)F_e(3, 3; 4) which follow from the construction of Folkman and from the constructions of some other authors are not good. In 1975 Erdo\"s posed the problem to prove the inequality Fe(3,3;4)<1010F_e(3, 3; 4) < 10^{10}. This Erdo\"s problem was solved by Spencer in 1978. The last upper bound on Fe(3,3;4)F_e(3, 3; 4) was obtained in 2012 by Lange, Radziszowski and Xu, who proved that Fe(3,3;4)786F_e(3, 3; 4) \leq 786. The best lower bound on this number is 19 and was obtained 10 years ago by Radziszowski and Xu. In this paper, we improve this result by proving Fe(3,3;4)20F_e(3, 3; 4) \geq 20. At the end of the paper, we improve the known bounds on the vertex Folkman number Fv(2,3,3;4)F_v(2, 3, 3; 4) by proving 20Fv(2,3,3;4)2420 \leq F_v(2, 3, 3; 4) \leq 24.

Keywords

Cite

@article{arxiv.1609.03468,
  title  = {The edge Folkman number $F_e(3, 3; 4)$ is greater than 19},
  author = {Aleksandar Bikov and Nedyalko Nenov},
  journal= {arXiv preprint arXiv:1609.03468},
  year   = {2019}
}