Crossing numbers

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