2/14/2017 Ma/CS 6b Class 16: Crossing Numbers By Adam Sheffer Crossing Numbers The crossing number ππ πΊ of a graph πΊ = π, πΈ is the minimum number of pairs of crossing edges that a planar drawing of πΊ can have. ο What graphs have a crossing number of zero? Planar graphs. ο What is ππ πΎ5 ? 1. ο 1 2/14/2017 The Crossing Number of πΎ6 Problem. Find ππ πΎ6 . ο Solution. ο β¦ Recall that any planar graph with π vertices has at most 3π β 6 edges. β¦ That is, any planar subgraph of πΎ6 has at most 12 edges. Solution (cont.) ο We can draw at most 12 edges of πΎ6 without a crossing. β¦ πΎ6 has 15 edges, and adding each of the three remaining edges yields at least one crossing. β¦ So ππ πΎ6 β₯ 3. β¦ The following figure shows that ππ πΎ6 = 3. 2 2/14/2017 A First Bound Claim. For any graph πΊ = π, πΈ , we have ππ πΊ β₯ πΈ β 3 π β 6 . ο Proof. ο β¦ Consider a drawing of πΊ that minimizes the number of crossings. β¦ We first draw a maximum plane subgraph that is contained in this drawing. This subgraph has at most 3 π β 6 edges. β¦ Adding every additional edge increases the number of crossings by at least one. There are at least πΈ β 3 π β 6 such edges. Is This a Good Bound? ο For simple graphs, the bound ππ πΊ β₯ πΈ β 3 π + 6 is smaller than π 2 /2. β¦ Is this close to the maximum number of crossings that is possible? β¦ To find the maximum possible number of crossings, we consider ππ πΎπ . The above bound implies π πβ1 π2 ππ πΎπ β₯ β 3π + 6 β . 2 2 3 2/14/2017 Estimating ππ πΎπ ο Theorem. For sufficiently large π, we have π4 π4 3 β ππ β€ ππ πΎπ < , 120 24 for some constant π. Upper bound ο Trivial! β¦ Every crossing is the intersection of two edges, which are defined by four vertices. β¦ The number of ways to choose four vertices is π π4 < . 24 4 4 2/14/2017 Lower Bound ο Consider a drawing of πΎπ that minimizes the number of crossings. β¦ Removing any one vertex results in a drawing of πΎπβ1 . This drawing has at least ππ(πΎπβ1 ) crossings. β¦ We have π different drawings of πΎπβ1 , and together they contain at least π β ππ(πΎπβ1 ) crossings. β¦ Each crossing is counted exactly π β 4 times. Thus, we have π β 4 β ππ πΎπ β₯ π β ππ πΎπβ1 . Lower Bound (cont.) ο We prove by induction on π that 1 π ππ πΎπ β₯ . 5 4 β¦ Induction basis. For π = 5, we know that 1 5 ππ πΎ5 = 1 = . 5 4 β¦ Induction step. By the previous slide π π 1 πβ1 ππ πΎπ β₯ ππ πΎπβ1 β₯ β 4 πβ4 πβ4 5 π 1 πβ1 πβ2 πβ3 πβ4 = β β πβ4 5 4! 1 π = . 5 4 5 2/14/2017 The Correct Bound ο Somewhat more involved arguments lead to ππ πΎπ β ο π4 . 64 It is conjectured that π πβ1 π πβ1 ππ πΎπ,π = , 2 2 2 2 but the problem remains open. β¦ This is known as the brick factory problem, since it was ask by Turán while doing forced labor in a brick factory during World War II. So How Bad is Our Bound? ο We have the bound ππ πΊ β₯ πΈ β 3 π + 6. ο This implies that ππ πΎπ β₯ ο We have ππ πΎπ β ο For large π the bound is significantly smaller than the actual value. π2 . 2 π4 . 64 6 2/14/2017 An Improved Bound ο ο Theorem. Let πΊ = π, πΈ be a graph with πΈ β₯ 4 π . Then πΈ3 ππ πΊ β₯ . 64 π 2 We consider a drawing of πΊ with a minimum number of crossings π. Set π = ο ο ο ο ο ο 4π πΈ . π β π β the subset obtained by independently choosing each vertex of π with probability π. ππ β the number of crossings that remain in the drawing of πΊ after removing π β π. πΊπ = π, πΈπ β the subgraph induced on π. πΌ π = π π . πΌ πΈπ = π2 πΈ . πΌ ππ = π4 π. By linearity of expectation πΌ ππ β πΈπ + 3 π = π4 π β π2 πΈ + 3π π 44 π 4 π 16 π 2 12 π 2 = β + . πΈ4 πΈ πΈ 7 2/14/2017 ο πΊπ = π, πΈπ β the subgraph induced on π. ππ β the number of crossings that remain in the drawing of πΊ after removing π β π. 44 π 4 π 4 π 2 πΌ ππ β πΈπ + 3 π = β . πΈ4 πΈ Thus, there exists a set π β π with 44 π 4 π 4 π 2 ππ β πΈπ + 3 π β€ β . πΈ4 πΈ By the weak bound, ππ β₯ πΈπ β 3 π + 6. ο Thus, ο ο ο 44 π 4 π πΈ4 β₯ 4π2 πΈ +6> 4π2 πΈ3 π> . 64 π 2 πΈ . That is, A Minor Detail ο Where in the proof did we use the restriction πΈ β₯ 4 π ? β¦ The probability for choosing a vertex is π= 4π πΈ . When πΈ < 4 π , this is not well defined. 8 2/14/2017 Is This Bound Better? ο We have ππ πΊ β₯ β¦ That is ππ πΎπ β₯ πΈ3 . 64 π 2 3 π2 2 64π2 β¦ Recall that ππ πΎπ β = π4 64 π4 29 . . β¦ Even though there is a gap in the constants, the dependency on π is correct. Point-Line Incidences πΏ β a set of lines. ο π β a set of points. ο An incidence: π, β β π × πΏ so that π β β. ο 15 incidences 9 2/14/2017 Lower Bound ο ErdΕs. By taking a π × π integer lattice and the π lines that contain the largest number of points, we have π π2/3 π2/3 + π + π incidences. The SzemerédiβTrotter Theorem ο Theorem. The number of incidences between any set π of π points and any set πΏ of π lines is at most π π2/3 π2/3 + π + π . 10 2/14/2017 ο ο ο πΌ β the number of incidences. We build a graph. β¦ A vertex for every point. β¦ An edge between two vertices if they are consecutive on a line. A line that is incident to π points yields π β 1 edges. Thus, the number of edges is πΌ β π. β¦ By the crossing lemma, the number of crossings in the graph is at least πΌβπ 3 64π2 . β¦ Since every two lines intersect at most once, the number of crossings is < π2 /2. πΌ β π 3 π2 < β πΌ < 321/3 π2/3 π2/3 + π 2 64π 2 A Minor Issue ο The lower bound on the number of crossings applies only when πΈ β₯ 4 π . β¦ Since πΈ = πΌ β π, if πΈ < 4 π then πΌ < π + 4π. 11 2/14/2017 Shameless Advertising! ο In the spring quarter, Adam will teach a class about incidences. β¦ These problems involve very interesting mathematics. β¦ Check it out! The Unit Distances Problem ο Problem (ErdΕs `46). How many pairs of points in a set of π points could be at unit distance from each other? β¦ By taking π points evenly spaced on a line, we have π β 1 unit distances. 12 2/14/2017 Early Results ErdΕs showed that a π × π square lattice with the right choice of distances determines π1+π/ log log π unit distances, for some constant π. ο ErdΕs also proved that any set of π points determines at most ππ3/2 unit distances. ο An Improved Result Although in the past 70 years MANY top combinatorists worked on the problem, only one work managed to improve the bound (Spencer, Szemerédi, and Trotter 1984). ο Theorem. Every set of π points determines at most ππ4/3 unit distances. ο 13 2/14/2017 Incidences with Circles ο Given a set of circles and a set of points, an incidence is a pair (π, πΆ) where π is a point, πΆ is a circle, and π is contained in πΆ. ο 11 incidences are in the figure. Unit Distances and Unit Circles We place a unit circle around every point. ο The number of point-circle incidences is twice the number of unit distances. ο Thus, it suffices to find an upper bound for the number of incidences between π points and any π unit circles. ο 14 2/14/2017 Incidence Bound ο Theorem. There are at most ππ4/3 incidences between any set π of π points and any set πΆ of π unit circles. Building a Graph ο We build a graph. β¦ A vertex for every point. β¦ An edge between two points if they are consecutive along at least one circle. β¦ A circle that is incident to π points yields at least π β 1 edges. β¦ An edge can originate from at most two circles. 15 2/14/2017 Double Counting Crossings ο ο ο ο ο πΌ β the number of point-circle incidences. We have a graph with π vertices and at least (πΌ β π)/2 edges. The number of crossings in the graph at least πΈ3 (πΌ β π)3 β₯ . 64 π 2 29 π 2 Since any two circles intersect at most twice, the number of crossings is smaller than π2 . (πΌβπ)3 Combining the two implies π2 β₯ 9 2 . That is 2 π 3 9 4 3 4/3 πΌ β π β€ 2 π or πΌ β€ 2 π + π. The End 16
© Copyright 2026 Paperzz