Asymptotic Structure for the Clique Density Theorem

- Department of Mathematical Sciences, KAIST, Daejeon, South Korea
- More about Jaehoon Kim

- Mathematics institute, University of Warwick
- More about Hong Liu

- Mathematics institute, University of Warwick
- More about Oleg Pikhurko

- Department of Mathematics and Mathematical Statistics, Umeå University
- More about Maryam Sharifzadeh

*Discrete Analysis*, December. https://doi.org/10.19086/da.18559.

### Editorial introduction

Asymptotic structure for the clique density theorem, Discrete Analysis 2020:19, 26 pp.

Turán’s theorem, which is regarded as the “first” result in extremal graph theory, is the statement that the Kr-free graph on n vertices with the largest number of edges is a complete (r−1)-partite graph with vertex classes of sizes ⌊n/r⌋ or ⌈n/r⌉. (The case r=3 was due to Mantel.) This graph is denoted by Tr(n) and the number of its edges by tr(n).

Since Turán’s theorem, several more detailed results, some of them deep and difficult, have been obtained, giving information about, for example, the structure of almost extremal graphs, or the number of copies of Kr in a graph that has more than tr(n) edges.

The latter question is known as the Erdős-Rademacher problem. A bold conjecture of Lovász and Simonovits asserts that every extremal example for the problem must be obtained from some complete s-partite graph (for some s) by adding a triangle-free graph inside one of the parts. If this conjecture were proved, it would greatly restrict the possibilities for the extremal graphs and thereby greatly simplify the problem. However, this conjecture is still open.

Obtaining exact bounds for the Erdős-Rademacher problem seems to be very hard, so it is natural to try for asymptotic bounds. It is not hard to show that for every α there exists gr(α) such that the smallest number of copies of Kr in a graph of density α with n vertices is (gr(α)+o(1))(nr), and also that gr(α) depends continuously on α. Thus, one can attempt to evaluate the function gr for each r.

An indication that this is not a straightforward problem comes from the answer when r=3, which was discovered by Alexander Razborov using his famous flag-algebra technique. If t=⌊1/(1−α)⌋, and therefore α∈(1−1/t,1−1/(t+1)], then g3(α) is equal to

(t−1)(t−2√t(t−α(t+1))(t+√t(t−α(t+1)))2t2(t+1)2.

This strange-looking function is what one obtains when one takes the conjectured extremal examples of Lovász and Simonovits and optimizes over the various choices: it turns out to be best to partition the vertices into sets V1,…,Vt+1, with V1,…,Vt of equal size, to take the complete t-partite graph with vertex sets V1,…,Vt−1 and Vt∪Vt+1, and to add a triangle-free graph inside Vt∪Vt+1 with |Vt||Vt+1| edges. (It is easy to see that it makes no difference what triangle-free graph with this number of edges one chooses.) However, Razborov’s proof did not show that these graphs were the only (asymptotically) optimal ones.

From here there were two natural directions to pursue: generalizing from triangles to cliques of arbitrary size, and showing that there were no more extremal examples. The first of these was achieved by Christian Reiher, while the second, for r=3, was achieved by Oleg Pikhurko and Razborov. This left the task of “completing the square” and generalizing in the two directions simultaneously. The difficulties involved in doing this appeared to be formidable, but that is what this paper achieves – circumventing some of the apparent difficulties by introducing new ideas.

It turns out that the extremal examples for r≥3 are more or less the same as those for triangles. The one difference is that if α is smaller than the Turán density tr(n)/(n2), then obviously any Kr-free graph of density α minimizes the number of copies of Kr, so we must include these graphs as well. But the problem becomes interesting when α exceeds the Turán density.

One motivation for these asymptotic results is that there is a rather surprising method, pioneered by Simonovits, that sometimes enables one to deduce exact results from approximate ones. The rough idea is that one first proves a stability result, which says that an approximately extremal example must be close to an exact one, and then one proves that amongst all examples close to a conjectured extremal example, that example is itself the best. While the conjecture of Lovász and Simonovits has not yet been solved, there is therefore some reason to hope that this paper brings us closer to a solution.