Wiki
Wiki

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

Updated

Problem 1013

../


Statement. Let h3(k)h_3(k) be the minimal nn such that there exists a triangle-free graph on nn vertices with chromatic number kk. Find an asymptotic for h3(k)h_3(k), and also prove

lim⁡k→∞h3(k+1)h3(k)=1.\lim_{k\to \infty}\frac{h_3(k+1)}{h_3(k)}=1.

Status. Open.

Source. erdosproblems.com/1013, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #1013, https://www.erdosproblems.com/1013.

References.

  • [GrYa68] Graver, Jack E. and Yackel, James, Some graph theoretic results associated with Ramsey's theorem. J. Combinatorial Theory 4 (1968), 125--175; Proposition 9, p. 154 (its proof on p. 156, resting on Lemma 9, p. 155, whose estimates are not checked here): R(3,y)≤By2log⁡log⁡y/log⁡yR(3,y)\le By^2\log\log y/\log y, where the paper's R(3,y)R(3,y) is the largest order of a triangle-free graph with no yy independent vertices, one less than the usual Ramsey number. The paper prints no chromatic-number statement; the library card records the translation to h3(k)≫k2log⁡k/log⁡log⁡kh_3(k)\gg k^2\log k/\log\log k. Library home: Proposition 9.

Formalization. None recorded.

Progress

Not yet compiled.

Known Results

Not yet compiled.

Linked library material

These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.