Ramsey-Turán theory

Ramsey-Turán theory is a subfield of extremal graph theory. It studies common generalizations of Ramsey's theorem and Turán's theorem. In brief, Ramsey-Turán theory asks for the maximum number of edges a graph which satisfies constraints on its subgraphs and structure can have. The theory organizes many natural questions which arise in extremal graph theory. The first authors to formalize the central ideas of the theory were Erdős and Sós in 1969, though mathematicians had previously investigated many Ramsey-Turán-type problems.

Ramsey's theorem and Turán's theorem

Ramsey's theorem for two colors and the complete graph, proved in its original form in 1930, states that for any positive integer k there exists an integer n large enough that for any coloring of the edges of the complete graph [math]\displaystyle{ K_n }[/math] using two colors has a monochoromatic copy of [math]\displaystyle{ K_k }[/math]. More generally, for any graphs [math]\displaystyle{ L_1,\dots,L_r }[/math], there is a threshold [math]\displaystyle{ R=R(L_1,\dots,L_k) }[/math] such that if [math]\displaystyle{ n \geq R }[/math] and the edges of [math]\displaystyle{ K_n }[/math] are colored arbitrarily with [math]\displaystyle{ r }[/math] colors, then for some [math]\displaystyle{ 1 \leq i \leq r }[/math] there is a [math]\displaystyle{ L_i }[/math] in the [math]\displaystyle{ i }[/math]th color.

Turán's theorem, proved in 1941, characterizes the graph with the maximal number of edges on [math]\displaystyle{ n }[/math] vertices which does not contain a [math]\displaystyle{ K_{r+1} }[/math]. Specifically, the theorem states that for all positive integers [math]\displaystyle{ r,n }[/math], the number of edges of an [math]\displaystyle{ n }[/math]-vertex graph which does not contain [math]\displaystyle{ K_{r+1} }[/math] as a subgraph is at most [math]\displaystyle{ \bigg(1 - \frac{1}{r}\bigg) \frac{n^2}{2} }[/math] and that the maximum is attained uniquely by the Turán graph [math]\displaystyle{ T_{n,r} }[/math].

Both of these classic results ask questions about how large a graph can be before it possesses a certain property. There is a notable stylistic difference, however. The extremal graph in Turán's theorem has a very strict structure, having a small chromatic number and containing a small number of large independent sets. On the other hand, the graph considered in Ramsey problems is the complete graph, which has large chromatic number and no nontrivial independent set. A natural way to combine these two kinds of problems is to ask the following question, posed by Andrásfai:

Problem 1: For a given positive integer [math]\displaystyle{ m }[/math], let [math]\displaystyle{ G }[/math] be an [math]\displaystyle{ n }[/math]-vertex graph not containing [math]\displaystyle{ K_{r+1} }[/math] and having independence number [math]\displaystyle{ \alpha(G) \lt m }[/math]. What is the maximum number of edges such a graph can have?

Essentially, this question asks for the answer to the Turán problem in a Ramsey setting; it restricts Turán's problem to a subset of graphs with less orderly, more randomlike structure. The following question combines the problems in the opposite direction:

Problem 2: Let [math]\displaystyle{ L_1,\dots, L_r }[/math] be fixed graphs. What is the maximum number of edges an [math]\displaystyle{ r }[/math]-edge colored graph on [math]\displaystyle{ n }[/math] vertices can have under the condition that it does not contain an [math]\displaystyle{ L_i }[/math] in the ith color?

General problem

The backbone of Ramsey-Turán theory is the common generalization of the above problems.

Problem 3: Let [math]\displaystyle{ L_1,\dots, L_r }[/math] be fixed graphs. Let [math]\displaystyle{ G }[/math] be an [math]\displaystyle{ r }[/math]-edge-colored [math]\displaystyle{ n }[/math]-vertex graph satisfying

(1) [math]\displaystyle{ \alpha(G) \lt m }[/math]

(2) the subgraph [math]\displaystyle{ G_i }[/math] defined by the [math]\displaystyle{ i }[/math]th color contains no [math]\displaystyle{ L_i }[/math].

What is the maximum number of edges [math]\displaystyle{ G }[/math] can have? We denote the maximum by [math]\displaystyle{ \mathbf{RT}(n;L_1,\dots,L_r,m) }[/math].

Ramsey-Turán-type problems are special cases of problem 3. Many cases of this problem remain open, but several interesting cases have been resolved with precise asymptotic solutions.

Notable results

Problem 3 can be divided into three different cases, depending on the restriction on the independence number. There is the restriction-free case, where [math]\displaystyle{ m=n }[/math], which reduces to the classic Ramsey problem. There is the "intermediate" case, where [math]\displaystyle{ m=cn }[/math] for a fixed [math]\displaystyle{ 0\lt c\lt 1 }[/math]. Lastly, there is the [math]\displaystyle{ m = o(n) }[/math] case, which contains the richest problems.

The most basic nontrivial problem in the [math]\displaystyle{ m=o(n) }[/math] range is when [math]\displaystyle{ r=1 }[/math] and [math]\displaystyle{ L_1=K_{2k+1}. }[/math] Erdős and Sós determined the asymptotic value of the Ramsey-Turán number in this situation in 1969: [math]\displaystyle{ \mathbf{RT}(n;K_{2k+1},o(n)) = \bigg(1-\frac{1}{k}\bigg)\frac{n^2}{2} + o(n^2). }[/math] The case of the complete graph on an even number of vertices is much more challenging, and was resolved by Erdős, Hajnal, Sós and Szemerédi in 1983: [math]\displaystyle{ \mathbf{RT}(n;K_{2k},o(n)) = \frac{6k-10}{6k-4}\frac{n^2}{2} + o(n^2). }[/math] Note that in both cases, the problem can be viewed as adding the extra condition to Turán's theorem that [math]\displaystyle{ \alpha(G) \lt o(n) }[/math]. In both cases, it can be seen that asymptotically, the effect is the same as if we had excluded [math]\displaystyle{ K_k }[/math] instead of [math]\displaystyle{ K_{2k+1} }[/math] or [math]\displaystyle{ K_{2k} }[/math].