Wiki
Wiki

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

Updated


Statement

Notation (pp. 141--142): G=G(n)G=G(n) is a graph on nn vertices, χ(G)\chi(G) its chromatic number, σ(G)\sigma(G) the largest integer ll such that GG contains a subdivision of KlK_l, H(G)=χ(G)/σ(G)H(G)=\chi(G)/\sigma(G), and α\alpha and ω\omega the independence number and the clique number of GG.

Theorem 1 (p. 142). For every such graph GG,

H(G)>1αn2ω.H(G)>\frac1\alpha\sqrt{\frac n{2\omega}}.

Source. P. Erdős and S. Fajtlowicz, On the conjecture of Hajós, Combinatorica 1 (1981), no. 2, 141--143, doi:10.1007/BF02579269; Theorem 1 on p. 142. The edition read is identified in the source digest.

Read depth. Claims checked: the statement was read on the page image. The one-line proof was read for structure only.

Proof pointer

P. 142: the paper deduces it in one line from the Lemma and χ≥n/α\chi\ge n/\alpha; the Lemma with q=ω+1q=\omega+1 gives σ(G)<2ωn\sigma(G)<\sqrt{2\omega n}.

Dependencies

Lemma (p. 142).

Bears on

  • Problem 717: a lower bound for χ(G)/σ(G)\chi(G)/\sigma(G) in terms of α\alpha and ω\omega, which the paper turns into the lower bound of Theorem 2; the problem asks for an upper bound, and this theorem gives none.