18.07.2014 Views

Discrete Geometry and Extremal Graph Theory - IMSA

Discrete Geometry and Extremal Graph Theory - IMSA

Discrete Geometry and Extremal Graph Theory - IMSA

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>and</strong> the proof is pretty much analogous to the one above. By the formula in the previous<br />

problem, it suffices to prove | ∑ m−1<br />

k=1 (1 + zk ) n | ≤ (2 cos π m )n where z is a primitive<br />

m-th root of unity. Note that all the points 1 + z k must lie within the circle centered<br />

at the origin with radius 2 cos π . Thus, |(1 + m zk ) n | = |1 + z k | n ≤ 2 cos π m )n , <strong>and</strong> the<br />

result follows as before from the triangle inequality.<br />

5. A graph G is bipartite if <strong>and</strong> only if it contains no odd cycle.<br />

Proof: If G = G 1 ∪ G 2 is bipartite, where G 1 <strong>and</strong> G 2 are disjoint subgraphs of G,<br />

then it clearly contains no odd cycle. This is because two vertices are neighbors if <strong>and</strong><br />

only if they lie in different subsets, so a path must alternate between vertices in G 1<br />

<strong>and</strong> G 2 . If G has no odd cycles, let us pick a vertex v <strong>and</strong> color it red. We color all<br />

neighbors of v blue, <strong>and</strong> all uncolored neighbors of these blue vertices red, <strong>and</strong> so on.<br />

We might as well assume that G is connected, so all vertices have a color. We claim<br />

that setting G 1 <strong>and</strong> G 2 to contain all red <strong>and</strong> blue vertices, respectively, shows that<br />

G is bipartite. Assume otherwise, <strong>and</strong> say that v 1 , v 2 are neighbors of the same color.<br />

This means that there exist paths from v to v 1 <strong>and</strong> v 2 with lengths of the same parity.<br />

In other words, the path from v 1 to v 2 through v must have an even length. (If the<br />

paths from v 1 to v <strong>and</strong> v 2 to v first meet at v 3 , then we may replace v with v 3 <strong>and</strong> the<br />

proof continues.) Now, this path from v 1 to v 2 with the edge joining v 1 <strong>and</strong> v 2 creates<br />

an odd cycle, contradiction. Thus, G is bipartite if <strong>and</strong> only if it contains no odd cycle.<br />

6. Let G be a graph on n vertices without K k , a complete graph on k vertices. Then, G<br />

(k − 2)n2<br />

has at most edges. Moreover, there exists a graph with this number of edges.<br />

2(k − 1)<br />

Proof: I do admit to having seen this before, although I only vaguely remembered<br />

the ideas behind this proof of Turán’s Theorem.<br />

Let E(G) denote the number of edges of G. The proof proceeds by induction on<br />

n. Our base cases, for instance n = 1, 2, 3 are trivially true. Now, let G be a graph<br />

on n vertices without K k containing the maximal number of edges. Note that G must<br />

contain a K k−1 or else we could add edges, contradiction the maximality of E(G). Let<br />

H 1 be a K k−1 <strong>and</strong> let H 2 be G without H 1 . Note that E(H 1 ) = ( )<br />

k−1<br />

2 . By the induction<br />

hypothesis, we also have<br />

E(H 2 ) ≤<br />

(k − 2)(n − k + 1)2<br />

.<br />

2(k − 1)<br />

If v ∈ H 2 , then v is neighbors with at most k − 2 vertices in H 1 or else we have a K k .<br />

This implies that the number of edges with one vertex in each H 1 <strong>and</strong> H 2 is at most<br />

(n − k + 1)(k − 2), so<br />

( ) k − 1<br />

E(G) ≤ +<br />

2<br />

(k − 2)(n − k + 1)2<br />

2(k − 1)<br />

+ (n − k + 1)(k − 2) =<br />

(k − 2)n2<br />

2(k − 1) .<br />

Now, let n = (k −1)q +r where 0 ≤ r < k −1. Consider a partition G = G 1 ∪· · ·∪G k−1<br />

where r of the subgraphs have q + 1 vertices <strong>and</strong> the rest have q vertices. We join two<br />

6

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!