文摘
The first application of Szemerédi’s powerful regularity method was the following celebrated Ramsey-Turán result proved by Szemerédi in 1972: any K 4-free graph on n vertices with independence number o(n) has at most \((\tfrac{1} {8} + o(1))n^2\) edges. Four years later, Bollobás and Erd?s gave a surprising geometric construction, utilizing the isoperimetric inequality for the high dimensional sphere, of a K 4-free graph on n vertices with independence number o(n) and \((\tfrac{1} {8} - o(1))n^2\) edges. Starting with Bollobás and Erd?s in 1976, several problems have been asked on estimating the minimum possible independence number in the critical window, when the number of edges is about n 2/8. These problems have received considerable attention and remained one of the main open problems in this area. In this paper, we give nearly best-possible bounds, solving the various open problems concerning this critical window. Mathematics Subject Classication (2000) 05C35 05C55 05D40