Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Statement

Section 7, "Questions" (pp. 63--64), turns to r(Cm,Kn)r(C_m,K_n) "as a function of mm, when nn is fixed": "From [3], we know that if m≥n2−2m\ge n^2-2, then r(Cm,Kn)=(m−1)(n−1)+1r(C_m,K_n)=(m-1)(n-1)+1, and so, eventually, the Ramsey number increases montonically [sic] with mm. We now pose two questions:

(i) What is the smallest value of mm such that r(Cm,Kn)=(m−1)(n−1)+1r(C_m,K_n)=(m-1)(n-1)+1? It is conjectured that this formula holds for all m≥nm\ge n.

(ii) What value of mm gives the minimum value of r(Cm,Kn)r(C_m,K_n)?"

The paper adds that, for fixed and suitably large nn, r(Cm,Kn)>r(C2m−1,Kn)r(C_m,K_n)>r(C_{2m-1},K_n) and r(Cm,Kn)>r(C2m,Kn)r(C_m,K_n)>r(C_{2m},K_n) for sufficiently small mm (from the bounds quoted earlier in the section), and that it is possible that "for a suitably large fixed value of nn, r(Cm,Kn)r(C_m,K_n) first decreases monotonically, then attains a unique minimum, then increases monotonically with mm." Reference [3] is Bondy and Erdős (1973).

As printed, the conjecture in (i) has no exception: at m=n=3m=n=3 the formula gives 55 while r(C3,K3)=r(K3,K3)=6r(C_3,K_3)=r(K_3,K_3)=6, so the conjecture is stated for m≥n≥3m\ge n\ge3 with (m,n)≠(3,3)(m,n)\ne(3,3) by Nikiforov (2004) and by Keevash, Long and Skokan (2018), and in that form by the site's Problem 551.

Source. P. Erdős, R. J. Faudree, C. C. Rousseau and R. H. Schelp, On cycle-complete graph Ramsey numbers, J. Graph Theory 2 (1978), 53--64; Section 7 on printed pp. 63--64 (PDF pp. 11--12 of the archive scan), the questions on p. 64. The scan's text layer garbles the formulas; the passage was read on the page image.

Read depth. Claims checked: the two questions, the conjecture sentence and the closing remark were read clause by clause on the page image. There is no proof; the statement is a conjecture.

Proof pointer

None: a conjecture. The range m≥n2−2m\ge n^2-2 is Bondy and Erdős's Theorem 4 (result page).

Dependencies

None; the quoted range rests on Bondy and Erdős (1973).

Bears on

  • Problem 551: the problem's origin in its 1978 wording, without the exception at (3,3)(3,3) that the site's statement carries; question (ii), the cycle length minimizing r(Cm,Kn)r(C_m,K_n), is the second question the site attributes to the paper.