Extremal Graph Theory

Total Page:16

File Type:pdf, Size:1020Kb

Extremal Graph Theory 2/12/2016 Ma/CS 6b Class 17: Extremal Graph Theory Paul Turán By Adam Sheffer Extremal Graph Theory The subfield of extremal graph theory deals with questions of the form: ◦ What is the maximum number of edges that a graph with 푛 vertices can have without containing a given subgraph 퐻? ◦ Characterize the graphs that obtain this maximum number of edges. A graph without 퐾5 1 2/12/2016 푒푥 푛,퐻 We denote by 푒푥 푛, 퐻 the maximum number of edges in a graph with 푛 vertices and no subgraph 퐻. Example. Recall that 푃푖 is a simple path of length 푖. What is 푒푥 4, 푃3 ? 3 Graphs Without Triangles Problem. Find 푒푥 푛, 퐾3 . ◦ What graph contains a large number of edges but does not have 퐾3 as a subgraph? ◦ Any complete bipartite graph. 2 2/12/2016 Maximizing the Number of Edges What value of 푚 maximizes the number of edges in 퐾푚,푛−푚? ◦ The number of edges is 푚 푛 − 푚 . ◦ The maximum of 푛2/4 is obtained for 퐾푛/2,푛/2. ◦ Can we find a graph without triangles and with more edges? Mantel’s Theorem 2 Theorem. 푒푥 푛, 퐾3 = 푛 /4 . Proof. Let 퐺 = 푉, 퐸 be a triangle-free graph with 푉 = 푛. ◦ 푑푖 = deg 푣푖. ◦ If 푣푖, 푣푗 ∈ 퐸, then 푣푖 and 푣푗 do not have common neighbors, so 푑푖 + 푑푗 ≤ 푛. ◦ We thus have 푑 + 푑 ≤ 푛 퐸 . 푣푖,푣푗 ∈퐸 푖 푗 ◦ Since every 푑푖 appears in 푑푖 elements 2 푛 퐸 ≥ 푑푖 + 푑푗 = 푑푖 . 푑푖,푑푗 ∈퐸 푖 3 2/12/2016 The Cauchy–Schwarz Inequality The Cauchy–Schwarz inequality. For any 푎1, 푎2, … , 푎푛, 푏1, 푏2, … , 푏푛 ∈ ℝ, we have 푛 2 푛 푛 2 2 푎푖푏푖 ≤ 푎푖 푏푖 . 푖=1 푖=1 푖=1 Equality holds iff the vectors 푎1, … , 푎푛 and 푏1, … , 푏푛 are linearly dependent. Available online Completing the Proof We proved that 2 푛 퐸 ≥ 푑푖 + 푑푗 = 푑푖 . 푑푖,푑푗 ∈퐸 푖 Recall that 푖 푑푖 = 2|퐸|. By Cauchy-Schwarz with 푎푖 = 푑푖 and 푏푖 = 1: 2 2 2 푑푖 ≤ 푑푖 1 . 푖 푖 푖 ◦ We thus have 4 퐸 2 푛2 푛 퐸 ≥ 푑2 ≥ → 퐸 ≤ 푖 푛 4 푖 4 2/12/2016 The Maximum Graph is Unique Claim. The only graph that has the maximum number of edges 2 푒푥 푛, 퐾3 = 푛 /4 is 퐾 푛/2 , 푛/2 . Proof. We consider the case of an even 푛. 2 ◦ In our proof for 푒푥 푛, 퐾3 = 푛 /4, we used Cauchy-Schwarz to obtain 2 2 2 푖 푑푖 ≤ 푖 푑푖 푖 1 , which implied 4 퐸 2 푛 퐸 ≥ 푑2 ≥ . 푖 푖 푛 ◦ Equality holds if and only if for every 1 ≤ 푖 ≤ 푛, we have 푑푖 = 푛/2. Inequality of Arithmetic and Geometric Means AM-GM Inequality. For any 푎1, 푎2, … , 푎푛 ∈ ℝ, we have 푎 + ⋯ + 푎 1 푛 ≥ 푎 ⋯ 푎 1/푛. 푛 1 푛 No Shirt available. Marketing opportunity? 5 2/12/2016 Recall: Independent Sets Consider a graph 퐺 = 푉, 퐸 . An independent set in 퐺 is a subset 푉′ ⊂ 푉 such that there is no edge between any two vertices of 푉′. Finding a maximum independent set in a graph is a major problem in theoretical computer science. ◦ No polynomial-time algorithm is known. Mantel’s Theorem: Second Proof 퐺 = 푉, 퐸 – a triangle-free graph with 푉 = 푛. 훼 – size of the largest independent set 퐴 in 퐺. The set of neighbors of any 푣 ∈ 푉 is an independent set, so 훼 ≥ deg 푣. 퐵 = 푉 ∖ 퐴, so |퐵| = 푛 − 훼. By the AM-GM inequality, we have 훼 + 푛 − 훼 2 푛2 퐸 ≤ deg 푣 ≤ 훼 퐵 ≤ = . 2 4 푣∈퐵 6 2/12/2016 Generalizing the Problem We move from 푒푥 푛, 퐾3 to 푒푥 푛, 퐾푟 . ◦ For some 푟 > 3, what graph contains many edges but no 퐾푟? ◦ An 푟-partite graph is a graph with 푟 parts, and no edge between two vertices of the same part (generalizing bipartite graphs). ◦ Example. The figure presents the complete 4-partite graph 퐾3,3,3,4. Turán Graphs The Turán graph 푇 푛, 푟 is a complete 푟-partite graph with 푛 vertices, such that each part consists of either 푛/푟 or 푛/푟 vertices. ◦ The graph in the figure is 푇 13,4 . ◦ 푇 푛, 푟 − 1 contains no copy of 퐾푟 and has 푛2 1 about 1 − edges. 2 푟−1 7 2/12/2016 Turán’s Theorem Theorem. If 퐺 = 푉, 퐸 is a graph that contains no copy of 퐾푟 and 푉 = 푛, then 푛2 1 퐸 ≤ 1 − . 2 푟−1 Proof. By induction on 푛. ◦ Induction basis. Easily holds when 푛 < 푟. ◦ Induction step. 퐺 = 푉, 퐸 – a graph that contains no copy of 퐾푟, with 푉 = 푛 and 퐸 = 푒푥 푛, 퐾푟 . ◦ 퐺 contains a copy of 퐾푟−1. Otherwise, adding an edge to 퐺 would not yield a copy of 퐾푟, contradicting the maximality of 퐺. 퐺 = 푉, 퐸 – a graph that contains no copy of 퐾푟, with 푉 = 푛 and 퐸 = 푒푥 푛, 퐾푟 edges. 퐴 – a subgraph of 퐺 that is a 퐾푟−1. 푟 − 1 퐴 contains edges. 2 By the hypothesis, 퐺 ∖ 퐴 has at most (푛−푟+1)2 1 1 − edges. 2 푟−1 Since each vertex of 푉 ∖ 퐴 is adjacent to at most 푟 − 2 vertices of 퐴, there are 푛 − 푟 + 1 푟 − 2 edges between 푉\퐴 and 퐴. Combining the above, we have 푟 − 1 푟 − 2 푛 − 푟 + 1 2 1 퐸 ≤ + 1 − 2 2 푟 − 1 푛2 + 푛 − 푟 + 1 푟 − 2 ≤ 1 − 1/ 푟 − 1 . 2 8 2/12/2016 Which US President Proved a Mathematical Theorem? Cliques Given a graph 퐺 = 푉, 퐸 , a clique of 퐺 is any subgraph that is a complete graph. No polynomial-time algorithm for finding a maximum clique in a graph is known. ◦ The problem is equivalent to finding a maximum independent set in a graph. ◦ Define the graph 퐺푐 = (푉, 퐸푐) such that 푣, 푢 ∈ 퐸푐 iff 푣, 푢 ∉ 퐸. Finding a maximum clique in 퐺 is equivalent to finding a maximum independent set in 퐺푐. 9 2/12/2016 A Lower Bound on the Clique Size Lemma. Let 퐺 = 푉, 퐸 be a graph with 푉 = 푣1, … , 푣푛 , and let 푑푖 = deg 푣푖. Then 퐺 contains a clique of size at least 푛 1 푖=1 . 푛−푑푖 1 1 1 1 1 1 + + + + = 3 + 5 − 4 5 − 4 5 − 3 5 − 3 5 − 2 3 Lemma. Let 퐺 = 푉, 퐸 be a graph with 푉 = 푣1, … , 푣푛 , and let 푑푖 = deg 푣푖. Then 퐺 contains a clique of size at least 푛 1 푖=1 . 푛−푑푖 We saw a probabilistic proof for: ◦ Theorem. A graph 퐺 = (푉, 퐸) has an independent set of size at least 1 . 1 + deg 푣 푣∈푉 The lemma is obtained by applying the theorem on 퐺푐. 10 2/12/2016 Proof #2 of Turán’s Theorem 퐺 = 푉, 퐸 – a graph that contains no copy of 퐾푟, with 푉 = 푣1, … , 푣푛 . 1 푑푖 = deg 푣푖 , 푎푖 = 푛 − 푑푖, 푏푖 = . 푛 − 푑푖 By Cauchy-Schwarz 푛 2 푛 푛 2 2 푎푖푏푖 ≤ 푎푖 푏푖 . 푖=1 푖=1 푖=1 Since 푎푖푏푖 = 1, we have 푛 푛 2 2 2 푛 ≤ 푎푖 푏푖 . 푖=1 푖=1 1 푑푖 = deg 푣푖 , 푎푖 = 푛 − 푑푖, 푏푖 = . 푛 − 푑푖 We have 푛 푛 푛 푛 2 2 2 1 푛 ≤ 푎푖 푏푖 = 푛 − 푑푖 . 푛 − 푑푖 푖=1 푖=1 푖=1 푖=1 By the previous lemma, 퐺 has a clique of size at 푛 1 least 푖=1 . 푛−푑푖 푛 1 By the assumption, 푖=1 ≤ 푟 − 1. Thus, 푛−푑푖 푛 2 2 푛 ≤ 푟 − 1 푛 − 푑푖 = 푟 − 1 푛 − 2 퐸 . 푖=1 푛2 푛2 1 ≤ 푛2 − 2 퐸 → 퐸 ≤ 1 − 푟 − 1 2 푟 − 1 11 2/12/2016 Proof #3: Balancing Weights 퐺 = 푉, 퐸 – a graph that contains no copy of 퐾푟, with 푉 = 푣1, … , 푣푛 . 1 We assign a weight 푤 = to every 푣 . We set 푖 푛 푖 푊 = 푤 푤 . 푣푖,푣푗 ∈퐸 푖 푗 1 Initially we have 푊 = 퐸 . We wish to move 푛2 weights to increase 푊. 1/3 1/2 1/3 1/3 1/2 0 1 1 1 1 2 1 1 1 1 ⋅ + ⋅ = ⋅ + ⋅ 0 = 3 3 3 3 9 2 2 2 4 Balancing Weights (cont.) 푣푖, 푣푗 – two vertices of 푉 with positive weights, such that 푣푖, 푣푗 ∉ 퐸. 푁푖, 푁푗 – the sum of the weights of the neighbors of 푣푖 and 푣푗, respectively. WLOG, assume that 푁푖 ≤ 푁푗. By moving the weight of 푣푖 to 푣푗, we change 푊 by 푤푖푁푗 − 푤푖푁푖 ≥ 0. 0.1 푣푖 0.1 푣푖 0.1 0 0.1 0.1 0.1 0.1 0.1 0.2 푣푗 0.2 푣푗 0.2 12 2/12/2016 More Balancing of Weights. If there exist 푣푖, 푣푗 with positive weights and 푣푖, 푣푗 ∉ 퐸, we can move the weight vertex of one to the other without decreasing 푊. We repeatedly do this until the entire weight is on the vertices of a complete subgraph 퐾푚. Consider 푣푖, 푣푗 ∈ 퐾푚 with 푤푗 − 푤푖 = 2휀 > 0. Then moving 휀 from 푤푗 to 푤푖 changes 푊 by 2 휀 1 − 푤푖 − 휀 − 1 − 푤푗 = 휀 푤푗 − 푤푖 − 휀 ≥ 휀 . 0.2 0.25 0.25 0.25 0.3 0.25 0.25 0.25 Concluding the Proof We conclude that we can move the entire weight to a subgraph 퐾푚 where each vertex of 1 the subgraph has a weight of .
Recommended publications
  • Three Conjectures in Extremal Spectral Graph Theory
    Three conjectures in extremal spectral graph theory Michael Tait and Josh Tobin June 6, 2016 Abstract We prove three conjectures regarding the maximization of spectral invariants over certain families of graphs. Our most difficult result is that the join of P2 and Pn−2 is the unique graph of maximum spectral radius over all planar graphs. This was conjectured by Boots and Royle in 1991 and independently by Cao and Vince in 1993. Similarly, we prove a conjecture of Cvetkovi´cand Rowlinson from 1990 stating that the unique outerplanar graph of maximum spectral radius is the join of a vertex and Pn−1. Finally, we prove a conjecture of Aouchiche et al from 2008 stating that a pineapple graph is the unique connected graph maximizing the spectral radius minus the average degree. To prove our theorems, we use the leading eigenvector of a purported extremal graph to deduce structural properties about that graph. Using this setup, we give short proofs of several old results: Mantel's Theorem, Stanley's edge bound and extensions, the K}ovari-S´os-Tur´anTheorem applied to ex (n; K2;t), and a partial solution to an old problem of Erd}oson making a triangle-free graph bipartite. 1 Introduction Questions in extremal graph theory ask to maximize or minimize a graph invariant over a fixed family of graphs. Perhaps the most well-studied problems in this area are Tur´an-type problems, which ask to maximize the number of edges in a graph which does not contain fixed forbidden subgraphs. Over a century old, a quintessential example of this kind of result is Mantel's theorem, which states that Kdn=2e;bn=2c is the unique graph maximizing the number of edges over all triangle-free graphs.
    [Show full text]
  • Forbidding Subgraphs
    Graph Theory and Additive Combinatorics Lecturer: Prof. Yufei Zhao 2 Forbidding subgraphs 2.1 Mantel’s theorem: forbidding a triangle We begin our discussion of extremal graph theory with the following basic question. Question 2.1. What is the maximum number of edges in an n-vertex graph that does not contain a triangle? Bipartite graphs are always triangle-free. A complete bipartite graph, where the vertex set is split equally into two parts (or differing by one vertex, in case n is odd), has n2/4 edges. Mantel’s theorem states that we cannot obtain a better bound: Theorem 2.2 (Mantel). Every triangle-free graph on n vertices has at W. Mantel, "Problem 28 (Solution by H. most bn2/4c edges. Gouwentak, W. Mantel, J. Teixeira de Mattes, F. Schuh and W. A. Wythoff). Wiskundige Opgaven 10, 60 —61, 1907. We will give two proofs of Theorem 2.2. Proof 1. G = (V E) n m Let , a triangle-free graph with vertices and x edges. Observe that for distinct x, y 2 V such that xy 2 E, x and y N(x) must not share neighbors by triangle-freeness. Therefore, d(x) + d(y) ≤ n, which implies that d(x)2 = (d(x) + d(y)) ≤ mn. ∑ ∑ N(y) x2V xy2E y On the other hand, by the handshake lemma, ∑x2V d(x) = 2m. Now by the Cauchy–Schwarz inequality and the equation above, Adjacent vertices have disjoint neigh- borhoods in a triangle-free graph. !2 ! 4m2 = ∑ d(x) ≤ n ∑ d(x)2 ≤ mn2; x2V x2V hence m ≤ n2/4.
    [Show full text]
  • Extremal Graph Theory
    Extremal Graph Theory Ajit A. Diwan Department of Computer Science and Engineering, I. I. T. Bombay. Email: [email protected] Basic Question • Let H be a fixed graph. • What is the maximum number of edges in a graph G with n vertices that does not contain H as a subgraph? • This number is denoted ex(n,H). • A graph G with n vertices and ex(n,H) edges that does not contain H is called an extremal graph for H. Mantel’s Theorem (1907) n2 ex(n, K ) 3 4 • The only extremal graph for a triangle is the complete bipartite graph with parts of nearly equal sizes. Complete Bipartite graph Turan’s theorem (1941) t 2 ex(n, K ) n2 t 2(t 1) • Equality holds when n is a multiple of t-1. • The only extremal graph is the complete (t-1)- partite graph with parts of nearly equal sizes. Complete Multipartite Graph Proofs of Turan’s theorem • Many different proofs. • Use different techniques. • Techniques useful in proving other results. • Algorithmic applications. • “BOOK” proofs. Induction • The result is trivial if n <= t-1. • Suppose n >= t and consider a graph G with maximum number of edges and no Kt. • G must contain a Kt-1. • Delete all vertices in Kt-1. • The remaining graph contains at most t 2 (n t 1)2 edges. 2(t 1) Induction • No vertex outside Kt-1 can be joined to all vertices of Kt-1. • Total number of edges is at most t 2 (t 1)(t 2) (n t 1)2 2(t 1) 2 t 2 (n t 1)(t 2) n2 2(t 1) Greedy algorithm • Consider any extremal graph and let v be a vertex with maximum degree ∆.
    [Show full text]
  • An Extremal Problem for Complete Bipartite Graphs
    Studia Seientiarum Mathematicarum Hungarica 23 (1988), 319-326 AN EXTREMAL PROBLEM FOR COMPLETE BIPARTITE GRAPHS P. ERDŐS, R. J. FAUDREE, C . C . ROUSSEAU and R . H. SCHELP Dedicated to the memory of Paul Turán Abstract Define f(n, k) to be the largest integer q such that for every graph G of order n and size q, G contains every complete bipartite graph K u, ,, with a+h=n-k . We obtain (i) exact values for f(n, 0) and f(n, 1), (ii) upper and lower bounds for f(n, k) when ku2 is fixed and n is large, and (iii) an upper bound for f(n, lenl) . 1 . Introduction Extremal graph theory, which was initiated by Turán in 1941 [4], is still the source of many interesting and difficult problems . The standard problem is to deter- mine f(n, G), the smallest integer q such that every graph with n vertices and q edges contains a subgraph isomorphic to G . It is striking that whereas Turán completely determined f(n, Km), there is much which is as yet unknown concerning f(n, Ka, b). In this paper, we consider a variant of the extremal problem for complete bipartite graphs . In this variant we ask how many edges must be deleted from K„ so that the resulting graph no longer contains Ka,, for some pair (a, b) with a+b=in . Specifically, we seek to determine an extremal function f(n, k) defined as follows . For in ::- 1, let B,,, denote the class of all graphs G such that GDKa , b for every pair (a, b) with a+b=m .
    [Show full text]
  • The History of Degenerate (Bipartite) Extremal Graph Problems
    The history of degenerate (bipartite) extremal graph problems Zolt´an F¨uredi and Mikl´os Simonovits May 15, 2013 Alfr´ed R´enyi Institute of Mathematics, Budapest, Hungary [email protected] and [email protected] Abstract This paper is a survey on Extremal Graph Theory, primarily fo- cusing on the case when one of the excluded graphs is bipartite. On one hand we give an introduction to this field and also describe many important results, methods, problems, and constructions. 1 Contents 1 Introduction 4 1.1 Some central theorems of the field . 5 1.2 Thestructureofthispaper . 6 1.3 Extremalproblems ........................ 8 1.4 Other types of extremal graph problems . 10 1.5 Historicalremarks . .. .. .. .. .. .. 11 arXiv:1306.5167v2 [math.CO] 29 Jun 2013 2 The general theory, classification 12 2.1 The importance of the Degenerate Case . 14 2.2 The asymmetric case of Excluded Bipartite graphs . 15 2.3 Reductions:Hostgraphs. 16 2.4 Excluding complete bipartite graphs . 17 2.5 Probabilistic lower bound . 18 1 Research supported in part by the Hungarian National Science Foundation OTKA 104343, and by the European Research Council Advanced Investigators Grant 267195 (ZF) and by the Hungarian National Science Foundation OTKA 101536, and by the European Research Council Advanced Investigators Grant 321104. (MS). 1 F¨uredi-Simonovits: Degenerate (bipartite) extremal graph problems 2 2.6 Classification of extremal problems . 21 2.7 General conjectures on bipartite graphs . 23 3 Excluding complete bipartite graphs 24 3.1 Bipartite C4-free graphs and the Zarankiewicz problem . 24 3.2 Finite Geometries and the C4-freegraphs .
    [Show full text]
  • 1 Turán's Theorem
    Yuval Wigderson Turandotdotdot January 27, 2020 Ma il mio mistero `echiuso in me Nessun dorma, from Puccini's Turandot Libretto: G. Adami and R. Simoni 1 Tur´an'stheorem How many edges can we place among n vertices in such a way that we make no triangle? This is perhaps the first question asked in the field of extremal graph theory, which is the topic of this talk. Upon some experimentation, one can make the conjecture that the best thing to do is to split the vertices into two classes, of sizes x and n − x, and then connect any two vertices in different classes. This will not contain a triangle, since by the pigeonhole principle, among any three vertices there will be two in the same class, which will not be adjacent. This construction will have x(n − x) edges, and by the AM-GM inequality, we see that this is maximized when x and n − x are as close as possible; namely, our classes should n n n n n2 1 n have sizes b 2 c and d 2 e. Thus, this graph will have b 2 cd 2 e ≈ 4 ≈ 2 2 edges. Indeed, this is the unique optimal construction, as was proved by Mantel in 1907. In 1941, Tur´anconsidered a natural extension of this problem, where we forbid not a triangle, but instead a larger complete graph Kr+1. As before, a natural construction is to split the vertices into r almost-equal classes and connect all pairs of vertices in different classes. Definition 1.
    [Show full text]
  • Extremal Graph Problems, Degenerate Extremal Problems, and Supersaturated Graphs
    Extremal Graph Problems, Degenerate Extremal Problems, and Supersaturated Graphs Mikl´os Simonovits Aug, 2001 This is a LATEX version of my paper, from “Progress in Graph Theory”, the Waterloo Silver Jubilee Converence Proceedings, eds. Bondy and Murty, with slight changes in the notations, and some slight corrections. A Survey of Old and New Results Notation. Given a graph, hypergraph Gn, . , the upper index always de- notes the number of vertices, e(G), v(G) and χ(G) denote the number of edges, vertices and the chromatic number of G respectively. Given a family of graphs, hypergraphs, ex(n, ) denotes the maximum number of edges L L (hyperedges) a graph (hypergraph) Gn of order n can have without containing subgraphs (subhypergraphs) from . The problem of determining ex(n, ) is called a Tur´an-type extremal problemL . The graphs attaining the maximumL will be called extremal and their family will be denoted by EX(n, ). L 1 1. Introduction Let us restrict our consideration to ordinary graphs without loops and multi- ple edges. In 1940, P. Tur´an posed and solved the extremal problem of Kp+1, the complete graph on p + 1 vertices [39, 40]: ´ TURAN THEOREM. If Tn,p denotes the complete p–partite graph of order n having the maximum number of edges (or, in other words, the graph obtained by partitioning n vertices into p classes as equally as possible, and then joining two vertices iff they belong to different classes), then (a) If Tn,p contains no Kp+1, and (b) all the other graphs Gn of order n not containing Kp+1 have less than e(Tn,p) edges.
    [Show full text]
  • Chapter 9 Introduction to Extremal Graph Theory
    Chapter 9 Introduction to Extremal Graph Theory Prof. Tesler Math 154 Winter 2020 Prof. Tesler Ch. 9: Extremal Graph Theory Math 154 / Winter 2020 1 / 50 Avoiding a subgraph F G Let F and G be graphs. G is called F-free if there’s no subgraph isomorphic to F. An example is above. Prof. Tesler Ch. 9: Extremal Graph Theory Math 154 / Winter 2020 2 / 50 Avoiding a subgraph F G Is the graph on the right F-free? Prof. Tesler Ch. 9: Extremal Graph Theory Math 154 / Winter 2020 3 / 50 Avoiding a subgraph F G No. There are subgraphs isomorphic to F, even though they’re drawn differently than F. Prof. Tesler Ch. 9: Extremal Graph Theory Math 154 / Winter 2020 4 / 50 Extremal Number Question Given a graph F (to avoid), and a positive integer n, what’s the largest # of edges an F-free graph on n vertices can have? This number is denoted ex(n, F). This number is called the extremal number or Turán number of F. An F-free graph with n vertices and ex(n, F) edges is called an extremal graph. Prof. Tesler Ch. 9: Extremal Graph Theory Math 154 / Winter 2020 5 / 50 Extremal Number for K1,2 G F = K1,2 = Let F = P2 = K1,2. (A two edge path and K1,2 are the same.) For this F, being F-free means no vertex can be in > 2 edges. So, an F-free graph G must consist of vertex-disjoint edges (a matching) and/or isolated vertices.
    [Show full text]
  • Results in Extremal Graph and Hypergraph Theory
    Results in Extremal Graph and Hypergraph Theory Zelealem Belaineh Yilma May 2011 Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213 Thesis Committee: Oleg Pikhurko, Chair Tom Bohman Po-Shen Loh Asaf Shapira Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Copyright c 2011 Zelealem Belaineh Yilma Keywords: Erd˝os-Ko-Rado, Tur´an graphs, Szemer´edi’s Regularity Lemma, Color- critical Graphs, Supersaturation Abstract In graph theory, as in many fields of mathematics, one is often interested in finding the maxima or minima of certain functions and identifying the points of optimality. We consider a variety of functions on graphs and hypegraphs and determine the structures that optimize them. A central problem in extremal (hyper)graph theory is that of finding the maximum number of edges in a (hyper)graph that does not contain a specified forbidden substructure. Given an integer n, we consider hypergraphs on n vertices that do not contain a strong simplex, a structure closely related to and containing a simplex. We determine that, for n sufficiently large, the number of edges is maximized by a star. We denote by F (G, r, k) the number of edge r-colorings of a graph G that do not contain a monochromatic clique of size k. Given an integer n, we consider the problem of maximizing this function over all graphs on n vertices. We determine that, for large n, the optimal structures are (k 1)2-partite Tur´an graphs when r = 4 and k 3, 4 are fixed. − We call a graph F color-critical∈{ } if it contains an edge whose deletion reduces the chromatic number of F and denote by F (H) the number of copies of the specified color-critical graph F that a graph H contains.
    [Show full text]
  • Turan Problems in Extremal Graph Theory and Flexibility
    Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2021 Turan problems in extremal graph theory and flexibility Kyle Edinger Murphy Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Recommended Citation Murphy, Kyle Edinger, "Turan problems in extremal graph theory and flexibility" (2021). Graduate Theses and Dissertations. 18567. https://lib.dr.iastate.edu/etd/18567 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Tur´anproblems in extremal graph theory and graph flexibility by Kyle Edinger Murphy A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Bernard Lidick´y,Major Professor Steve Butler Claus Kadelka Ryan Martin Michael Young The student author, whose presentation of the scholarship herein was approved by the program of study committee, is solely responsible for the content of this dissertation. The Graduate College will ensure this dissertation is globally accessible and will not permit alterations after a degree is conferred. Iowa State University Ames, Iowa 2021 Copyright © Kyle Edinger Murphy, 2021. All rights reserved. ii DEDICATION I would like to dedicate this thesis to my family Jim, Gail and Sara, and my fianc´eeVirginia. The support from each of them provided me throughout graduate school.
    [Show full text]
  • Extremal Graphs for Blow-Ups of Cycles and Trees Arxiv:1210.7869V1 [Math
    Extremal graphs for blow-ups of cycles and trees Hong Liu ∗ November 2, 2018 Abstract The blow-up of a graph H is the graph obtained from replacing each edge in H by a clique of the same size where the new vertices of the cliques are all different. Erd}os et al. and Chen et al. determined the extremal number of blow-ups of stars. Glebov determined the extremal number and found all extremal graphs for blow-ups of paths. We determined the extremal number and found the extremal graphs for the blow-ups of cycles and a large class of trees, when n is sufficiently large. This generalizes their results. The additional aim of our note is to draw attention to a powerful tool, a classical decomposition theorem of Simonovits. 1 Introduction Notation in this note is standard. We consider undirected graphs without loops and multi- edges. For a graph G, denote by E(G) the set of edges and V (G) the set of vertices of G. The order of a graph is the number of its vertices. The number of edges of G is denoted by e(G) = E(G) . For U V (G), let G[U] be the subgraph of G induced by U. A path on j j ⊆ k vertices is denoted by Pk, a star with k + 1 vertices is denoted by Sk and a cycle with k edges is denoted by Ck.A matching in G is a set of vertex disjoint edges from E(G), denote by Mk a matching of size k.
    [Show full text]
  • On the Turán Number for the Hexagon
    On the Tur¶anNumber for the Hexagon Zoltan FÄuredi ¤ Assaf Naor y Jacques VerstraÄete z Abstract A long-standing conjecture of Erd}osand Simonovits is that ex(n; C2k), the maximum 1 1+1=k number of edges in an n-vertex graph without a 2k-gon is asymptotically 2 n as n tends to in¯nity. This was known almost forty years ago in the case of quadrilaterals. In this paper, we construct a counterexample to the conjecture in the case of hexagons. For in¯nitely many n, we prove that p 3( 5 ¡ 2) 4=3 4=3 ex(n; C6) > p n + O(n) > 0:5338n : ( 5 ¡ 1)4=3 4=3 4=3 We also show that ex(n; C6) · ¸n + O(n) < 0:6272n if n is su±ciently large, where ¸ is the real root of 16¸3 ¡ 4¸2 + ¸ ¡ 3 = 0. This yields the best known upper bound for the number of edges in a hexagon-free graph. The same methods are applied to ¯nd a tight bound for the maximum size of a hexagon-free 2n by n bipartite graph. 1 Introduction The forbidden subgraph problem involves the determination of the maximum number of edges that an n-vertex graph may have if it contains no isomorphic copy of a ¯xed graph H. This number is called the Tur¶annumber for H, and denoted ex(n; H). In this paper, we study the Tur¶anproblem for the hexagon, that is, the cycle of length six, C6. The densest constructions of 2k-cycle-free graphs for certain small values of k arise from the existence of rank two geometries called generalized k-gons, ¯rst introduced by Tits [18].
    [Show full text]