Combinatorics (Fall 2010)/Extremal graphs
Contents
Extremal Graph Theory
Extremal grap theory studies the problems like "how many edges that a graph can have, if has some property?"
Mantel's theorem
We consider a typical extremal problem for graphs: the largest possible number of edges of triangle-free graphs, i.e. graphs contains no .
Theorem (Mantel 1907) - Suppose is graph on vertice without triangles. Then .
We give three different proofs of the theorem. The first one uses induction and an argument based on pigeonhole principle. The second proof uses the famous Cauchy-Schwarz inequality in analysis. And the third proof uses another famous inequality: the inequality of the arithmetic and geometric mean.
First proof. (pigeonhole principle) We prove an equivalent theorem: Any with and must have a triangle.
Use induction on . The theorem holds trivially for .
Induction hypothesis: assume the theorem hold for .
For with vertices, without loss of generality, assume that , we will show that must contain a triangle. Take a , and let be the subgraph of induced by . Clearly, has vertices.
- Case.1: If has edges, then by the induction hypothesis, has a triangle.
- Case.2: If has edges, then at least edges are between and . By pigeonhole principle, there must be a vertex in that is adjacent to both and . Thus, has a triangle.
Second proof. (Cauchy-Schwarz inequality) (Mantel's original proof) For any edge , no vertex can be a neighbor of both and , or otherwise there will be a triangle. Thus, for any edge , . It follows that
- .
Note that appears exactly times in the sum, so that
- .
Applying Chauchy-Schwarz inequality,
where the last equation is due to Euler's equality . The theorem follows.
Third proof. (inequality of the arithmetic and geometric mean) Assume that has vertices and is triangle-free.
Let be the largest independent set in and let . Since is triangle-free, for very vertex , all its neighbors must form an independent set, thus for all .
Take and let . Since is an independent set, all edges in must have at least one endpoint in . Counting the edges in according to their endpoints in , we obtain . By the inequality of the arithmetic and geometric mean,
- .
Turán's theorem
The famous Turán's theorem generalizes the Mantel's theorem for triangles to cliques of any specific size. This theorem is one of the most important results in extremal combinatorics, which initiates the studies of extremal graph theory.
Theorem (Turán 1941) - Let be a graph with . If has no -clique, , then
- .
- Let be a graph with . If has no -clique, , then
We give an example of graphs with many edges which does not contain .
Partition into disjoint classes , , . For every two vertice , if and only if and for distinct and . The resulting graph is a complete -partite graph, denoted . It is obvious that any -partite graph contains no -clique since only those vertices from different classes can be adjacent.
A has edges, which is maximized when the numbers are divided as evenly as possible, that is, if for every .
Definition - We call a complete multipartite graph with for every a Turán graph, denoted .
- Example
- Turán graph
Turán's theorem has been proved for many times by different mathematicians, with different tools. We show just a few.
The first proof uses induction; the second proof uses a technique called "weight shifting"; and the third proof uses the probabilistic method. All of them are very powerful and frequently used proof techniques.
First proof. (induction) (Turán's original proof) Induction on . It is easy to verify that the theorem holds for .
Let be a graph on vertices without -cliques where . Suppose that has a maximum number of edges among such graphs. certainly has -cliques, since otherwise we could add edges to . Let be an -clique and let . Clearly and .
By the induction hypothesis, since has no -cliques, . And . Since has no -clique, every is adjacent to at most vertices in , since otherwise and would form an -clique. We obtain that the number edges crossing between and is . Combining everything together,
- .
Second proof. (weight shifting) (due to Motzkin and Straus) Assign each vertex a nonnegative weight , and assume that . We try to maximize the quantity
- .
Let be the sum of the weights of 's neighbors. Note that can also be computed as . For any nonadjacent pair of vertices , supposed that , then for any ,
- .
This means that we do not decrease by shifting all of the weight of the vertex to the vertex . It follows that is maximized when all of the weight is concentrated on a complete subgraph, i.e., a clique.
Now if , then choose with and change and . This changes to . Thus, the maximal value of is attained when all nonzero weights are equal and concentrated on a clique.
has at most an -clique, thus .
As we argued above, this inequality hold for any nonnegative weight assignments with . In particular, for the case that all ,
- .
Thus,
- ,
which implies the theorem.
Third proof. (the probabilistic method) (due to Alon and Spencer) Write for the number of vertices in a largest clique, called the clique number of .
- Claim: .
We prove this by the probabilistic method. Fix a random ordering of vertices in , say . We construct a clique as follows:
- for , add to iff all vertices in current are adjacent to .
It is obvious that an constructed in this way is a clique. We now show that .
Let be the random variable that indicates whether , i.e.,
Note that a vertex if and only if is ranked before all its non-neighbors in the random ordering. The probability that this event occurs is . Thus,
Observe that . Due to linearity of expectation,
- .
There must exists a clique of at least such size, so that . The claim is proved.
Apply the Cauchy-Schwarz inequality
- .
Set and , then and so
By the assumption of Turán's theorem, . Recall the handshaking lemma . The above inequality gives us
- ,
which implies the theorem.
Our last proof uses the idea of vertex duplication. It does not only prove the edge bound of Turán's theorem, but also shows that Turán graphs are the only possible extremal graphs.
Fourth proof. Let be a -clique-free graph on vertices with a maximum number of edges.
- Claim: does not contain three vertices such that but .
Suppose otherwise. There are two cases.
- Case.1: or . Without loss of generality, suppose that . We duplicate by creating a new vertex which has exactly the same neighbors as (but is not an edge). Such duplication will not increase the clique size. We then remove . The resulting graph is still -clique-free, and has vertices. The number of edges in is
- ,
- which contradicts the assumption that is maximal.
- Case.2: and . Duplicate twice and delete and . The new graph has no -clique, and the number of edges is
- .
- Contradiction again.
The claim implies that defines an equivalence relation on vertices (to be more precise, it guarantees the transitivity of the relation, while the reflexivity and symmetry hold directly). Graph must be a complete multipartite graph with . Optimize the edge number, we have the Turán graph.
Cycle Structures
Another direction to generalize Mantel's theorem other than Turán's theorem is to see a triangle as a 3-cycle rather than 3-clique. We then ask for the extremal bound for graphs without certain cycle structures.
Girth
Recall that the girth of a graph is the length of the shortest cycle in . A graph is triangle-free if and only if its girth . Matel's theorem can be seen as a bound on the edge number of graphs with girth . The next theorem extends this bound to the graphs with , i.e., graphs without triangles and quadrilaterals ("squares").
Theorem - Let be a graph on vertices. If girth then .
Proof. Suppose . Let be the neighbors of a vertex , where . Let be the set of neighbors of other than .
- For any , since has no triangle. Thus, for every .
- No vertex other than can be adjacent to more than one vertices in since there is no in . Thus, for any distinct and .
Therefore, implies that
- ,
so that .
By Cauchy-Schwarz inequality,
- ,
which implies that .
Hamiltonian cycle
We now look at graphs which does not have large cycles. In particular, we consider graphs without Hamiltonian cycles.
For a Hamiltonian graph, every vertex must has degree 2. And the graph satisfying this condition with maximum number of edges is the graph composed by a -clique and the one remaining vertex is connected to the clique by one edge. This graph has edges, and has no Hamiltonian cycle. It is not very hard to realize that this is the largest possible number of edges that a non-Hamiltonian graph can have.
Since it is not very interesting to bound the number of edges of non-Hamiltonian graphs, we consider a more informative graph invariant, its degree sequence.
Dirac's Theorem - A graph on vertices has a Hamiltonian cycle if for all .
Proof. Suppose to the contrary, the theorem is not true and there exists a non-Hamiltonian graph with for all . Let be such a graph with a maximum number of edges. Then adding any edge to creates a Hamiltonian cycle. Thus, must have a Hamiltonian path, say .
Consider the sets,
- ;
- .
Therefore, contains the neighbors of ; and contains the predecessors (along the Hamiltonian path) of the neighbors of . It holds that .
Since for all , . By the pigeonhole principle, there exists some . We can construct the following Hamiltonian cycle:
- ,
which contradict to the assumption that is non-Hamiltonian.
Erdős–Stone theorem
We introduce a notation for the number of edges in extremal graphs with a specific forbidden substructure.
Definition - Let denote the largest number of edges that a graph on vertices can have.
With this notation, Turán's theorem can be restated as
Turán's theorem (restated) - .
Let be the complete -partite graph with vertices in each class, i.e., the Turán graph . The Erdős–Stone theorem (also referred as the fundamental theorem of extremal graph theory) gives an asymptotic bound on , i.e., the largest number of edges that an -vertex graph can have to not contain .
Fundamental theorem of extremal graph theory (Erdős–Stone 1946) - For any integers and , and any , if is sufficiently large then every graph on vertices and with at least edges contains as a subgraph, i.e.,
- .
- For any integers and , and any , if is sufficiently large then every graph on vertices and with at least edges contains as a subgraph, i.e.,
The theorem is called fundamental because of its single most important corollary: it relate the extremal bound for an arbitrary subgraph to a very natural parameter of , its chromatic number.
Recall that is the chromatic number of , the smallest number of colors that one can use to color the vertices so that no adjacent vertices have the same color.
Corollary - For every nonempty graph ,
- .
- For every nonempty graph ,
Proof of corollary Let .
Note that can be colored with colors, one color for each part. Thus, , since otherwise can also be colored with colors, contradicting that . By definition, is the maximum number of edges that an -vertex graph can have. Thus,
- .
It is not hard to see that
- .
On the other hand, any finite graph with chromatic number has that for all sufficiently large . We just connect all pairs of vertices from different color classes. Thus,
- .
Due to Erdős–Stone theorem,
- .
Altogether, we have
The theorem follows.
References
- (声明: 资料受版权保护, 仅用于教学.)
- (Disclaimer: The following copyrighted materials are meant for educational uses only.)
- van Lin and Wilson. A course in combinatorics. Cambridge Press. Chapter 4.
- Aigner and Ziegler. Proofs from THE BOOK, 4th Edition. Springer-Verlag. Chapter 36.
- Diestel. Graph Theory, 3rd Edition. Springer-Verlag 2000. Chapter 7.