![Page 1: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/1.jpg)
Planar Graphs in 21/2 Dimensions
Don Sheehy
1
![Page 2: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/2.jpg)
21/2 Dimensions
2
![Page 3: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/3.jpg)
21/2 Dimensions
2
![Page 4: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/4.jpg)
21/2 Dimensions
2
![Page 5: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/5.jpg)
Cast of Characters
3
![Page 6: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/6.jpg)
Cast of Characters
James Clerk Maxwell
Luigi Cremona
3
![Page 7: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/7.jpg)
Cast of Characters
James Clerk Maxwell
Luigi Cremona
Ernst Steinitz
3
![Page 8: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/8.jpg)
Cast of Characters
James Clerk Maxwell
Luigi Cremona
Ernst Steinitz
W. T. Tutte
3
![Page 9: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/9.jpg)
Planar Graphs
4
![Page 10: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/10.jpg)
Planar Graphs
5
![Page 11: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/11.jpg)
Planar Graphs
5
![Page 12: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/12.jpg)
Planar Graphs
5
![Page 13: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/13.jpg)
Planar Graphs
5
![Page 14: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/14.jpg)
Planar Graphs
5
![Page 15: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/15.jpg)
Planar Graphs
5
![Page 16: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/16.jpg)
Planar Graphs
5
![Page 17: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/17.jpg)
Duality
6
![Page 18: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/18.jpg)
Duality
6
![Page 19: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/19.jpg)
Duality
6
![Page 20: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/20.jpg)
Polar Polytopes
7
![Page 21: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/21.jpg)
Polar Polytopes
A!= {x ! R
d | a · x " 1,#a ! A}
7
![Page 22: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/22.jpg)
The Maxwell-Cremona Correspondence
8
![Page 23: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/23.jpg)
Equilibrium Stresses
9
![Page 24: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/24.jpg)
Equilibrium Stresses
9
![Page 25: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/25.jpg)
Equilibrium Stresses
9
![Page 26: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/26.jpg)
Equilibrium Stresses
9
![Page 27: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/27.jpg)
Equilibrium Stresses
9
![Page 28: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/28.jpg)
The Maxwell-Cremona Correspondence
There is a 1-1 correspondence between “proper” liftings and equilibrium stresses
of a planar straight line graph.
10
![Page 29: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/29.jpg)
The Maxwell-Cremona Correspondence
11
![Page 30: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/30.jpg)
The Maxwell-Cremona Correspondence
11
![Page 31: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/31.jpg)
The Maxwell-Cremona Correspondence
11
![Page 32: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/32.jpg)
The Maxwell-Cremona Correspondence
11
![Page 33: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/33.jpg)
The Maxwell-Cremona Correspondence
11
![Page 34: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/34.jpg)
The Maxwell-Cremona Correspondence
11
![Page 35: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/35.jpg)
Reciprocal Diagrams from Equilibrium Stresses
12
![Page 36: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/36.jpg)
Reciprocal Diagrams from Equilibrium Stresses
12
![Page 37: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/37.jpg)
Reciprocal Diagrams from Equilibrium Stresses
12
![Page 38: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/38.jpg)
Reciprocal Diagrams from Equilibrium Stresses
12
![Page 39: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/39.jpg)
Reciprocal Diagrams from Equilibrium Stresses
12
![Page 40: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/40.jpg)
Reciprocal Diagrams from Equilibrium Stresses
12
![Page 41: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/41.jpg)
Reciprocal Diagrams from Equilibrium Stresses
12
![Page 42: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/42.jpg)
Reciprocal Diagrams from Equilibrium Stresses
12
![Page 43: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/43.jpg)
Reciprocal Diagrams from Liftings
13
![Page 44: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/44.jpg)
Reciprocal Diagrams from Liftings
13
![Page 45: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/45.jpg)
Reciprocal Diagrams from Liftings
13
![Page 46: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/46.jpg)
Reciprocal Diagrams from Liftings
13
![Page 47: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/47.jpg)
Reciprocal Diagrams from Liftings
13
![Page 48: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/48.jpg)
The Maxwell-Cremona Corresondence
Equilibrium Stresses
Reciprocal Diagrams
Liftings
14
![Page 49: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/49.jpg)
Other Famous Reciprocal Diagrams
Delaunay Triangulation
Voronoi Diagram
15
![Page 50: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/50.jpg)
Other Famous Reciprocal Diagrams
Delaunay Triangulation
Voronoi Diagram
Weighted
Weighted
15
![Page 51: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/51.jpg)
Other Famous Reciprocal Diagrams
Delaunay Triangulation
Voronoi Diagram
2½ dimensional polarity
Weighted
Weighted
15
![Page 52: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/52.jpg)
How to Draw a Graph
16
![Page 53: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/53.jpg)
Tutte’s Algorithm
1. Fix one face of a simple, planar, 3-connected graph in convex position.
2. Place each other vertex at the barycenter (centroid) of its neighbors.
The result is a non-crossing, convex drawing.
17
![Page 54: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/54.jpg)
Spring Interpretation
18
![Page 55: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/55.jpg)
Spring Interpretation
18
![Page 56: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/56.jpg)
Computing Forces
v ! R2
v
19
![Page 57: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/57.jpg)
Computing Forces
v ! R2
Fv =!
u!v
(v ! u)
v
19
![Page 58: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/58.jpg)
Computing Forces
v ! R2
Fv =!
u!v
(v ! u)
= dvv !
!
u!v
uv
19
![Page 59: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/59.jpg)
Computing Forces
v ! R2
Fv =!
u!v
(v ! u)
= dvv !
!
u!v
u
F = LV
v
19
![Page 60: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/60.jpg)
Computing Forces
v ! R2
Fv =!
u!v
(v ! u)
L = D ! A
= dvv !
!
u!v
u
F = LV
v
19
![Page 61: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/61.jpg)
Computing Forces
v ! R2
Fv =!
u!v
(v ! u)
L = D ! A
= dvv !
!
u!v
u
F = LV
degrees
v
19
![Page 62: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/62.jpg)
Computing Forces
v ! R2
Fv =!
u!v
(v ! u)
L = D ! A
= dvv !
!
u!v
u
F = LV
degrees adjacency
v
19
![Page 63: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/63.jpg)
Computing Forces
v ! R2
Fv =!
u!v
(v ! u)
L = D ! A
= dvv !
!
u!v
u
F = LV
degrees adjacency
The Laplacian!
v
19
![Page 64: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/64.jpg)
Computing Forces
LV = F
20
![Page 65: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/65.jpg)
Computing Forces
LV = F = 0?
20
![Page 66: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/66.jpg)
Computing Forces
LV = F = 0? V1: boundaryV2: interior
20
![Page 67: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/67.jpg)
Computing Forces
LV = F = 0?
!
L1 BT
B L2
" !
V1
V2
"
=
!
F !
0
"
V1: boundaryV2: interior
20
![Page 68: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/68.jpg)
Computing Forces
LV = F = 0?
!
L1 BT
B L2
" !
V1
V2
"
=
!
F !
0
"
BV1 + L2V2 = 0
V1: boundaryV2: interior
20
![Page 69: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/69.jpg)
Computing Forces
LV = F = 0?
!
L1 BT
B L2
" !
V1
V2
"
=
!
F !
0
"
BV1 + L2V2 = 0
V2 = !L!1
2B V1
V1: boundaryV2: interior
20
![Page 70: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/70.jpg)
Computing Forces
LV = F = 0?
!
L1 BT
B L2
" !
V1
V2
"
=
!
F !
0
"
BV1 + L2V2 = 0
V2 = !L!1
2B V1( )
V1: boundaryV2: interior
20
![Page 71: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/71.jpg)
Monotone PathsPick a direction and a vertex. There is a monotone path in that direction from the vertex to the boundary.
21
![Page 72: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/72.jpg)
Monotone PathsPick a direction and a vertex. There is a monotone path in that direction from the vertex to the boundary.
21
![Page 73: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/73.jpg)
Monotone PathsPick a direction and a vertex. There is a monotone path in that direction from the vertex to the boundary.
21
![Page 74: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/74.jpg)
Planar, 3-Connected Graphs
22
![Page 75: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/75.jpg)
Planar, 3-Connected Graphs
➡ No K5 or K3,3 minors
22
![Page 76: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/76.jpg)
Planar, 3-Connected Graphs
➡ No K5 or K3,3 minors
➡ Removing a face does not disconnect the graph.
22
![Page 77: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/77.jpg)
Planar, 3-Connected Graphs
➡ No K5 or K3,3 minors
➡ Removing a face does not disconnect the graph.
➡ No face has a diagonal.
22
![Page 78: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/78.jpg)
Double Crossing a FaceLemma: No two disjoint paths have interleaved endpoints on a face.
23
![Page 79: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/79.jpg)
Double Crossing a FaceLemma: No two disjoint paths have interleaved endpoints on a face.
23
![Page 80: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/80.jpg)
Double Crossing a FaceLemma: No two disjoint paths have interleaved endpoints on a face.
23
![Page 81: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/81.jpg)
Double Crossing a FaceLemma: No two disjoint paths have interleaved endpoints on a face.
23
![Page 82: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/82.jpg)
Double Crossing a FaceLemma: No two disjoint paths have interleaved endpoints on a face.
23
![Page 83: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/83.jpg)
Tutte’s AlgorithmNo ZigZags
24
![Page 84: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/84.jpg)
Tutte’s AlgorithmNo ZigZags
24
![Page 85: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/85.jpg)
Tutte’s AlgorithmNo ZigZags
24
![Page 86: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/86.jpg)
Tutte’s AlgorithmNo ZigZags
24
![Page 87: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/87.jpg)
Tutte’s AlgorithmNo ZigZags
24
![Page 88: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/88.jpg)
Tutte’s AlgorithmNo ZigZags
24
![Page 89: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/89.jpg)
Tutte’s AlgorithmNo ZigZags
24
![Page 90: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/90.jpg)
Tutte’s AlgorithmNo Crossings
25
![Page 91: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/91.jpg)
Tutte’s AlgorithmNo Crossings
25
![Page 92: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/92.jpg)
Tutte’s AlgorithmNo Crossings
25
![Page 93: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/93.jpg)
Tutte’s AlgorithmNo Crossings
25
![Page 94: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/94.jpg)
Tutte’s AlgorithmNo Crossings
25
![Page 95: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/95.jpg)
Tutte’s AlgorithmNo Crossings
25
![Page 96: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/96.jpg)
Tutte’s AlgorithmNo Crossings
25
![Page 97: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/97.jpg)
Tutte’s AlgorithmNo Overlaps
26
![Page 98: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/98.jpg)
Tutte’s AlgorithmNo Overlaps
26
![Page 99: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/99.jpg)
Tutte’s AlgorithmNo Overlaps
26
![Page 100: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/100.jpg)
Tutte’s AlgorithmNo Overlaps
26
![Page 101: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/101.jpg)
Tutte’s AlgorithmNo Overlaps
26
![Page 102: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/102.jpg)
Tutte’s AlgorithmNo Overlaps
26
![Page 103: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/103.jpg)
Tutte’s AlgorithmNo Overlaps
26
![Page 104: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/104.jpg)
Tutte and Maxwell-Cremona
27
![Page 105: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/105.jpg)
Tutte and Maxwell-Cremona
➡ Weirdness on the outer face.
27
![Page 106: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/106.jpg)
Tutte and Maxwell-Cremona
➡ Weirdness on the outer face.
➡ Lifting still works, except outer face.
27
![Page 107: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/107.jpg)
Tutte and Maxwell-Cremona
➡ Weirdness on the outer face.
➡ Lifting still works, except outer face.
➡ Lifting is convex.
27
![Page 108: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/108.jpg)
Steinitz’s Theorem
28
![Page 109: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/109.jpg)
Steinitz’s Theorem
A graph G is the 1-skeleton of a3-polytope if and only if it is
simple, planar, and 3-connected.
29
![Page 110: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/110.jpg)
Steinitz’s Theorem
Claim: If the graph has a triangle, then the Tutte embedding followed by the Maxwell-Cremona lifting gives the desired polytope.
30
![Page 111: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/111.jpg)
Steinitz’s Theorem
Claim: If the graph has a triangle, then the Tutte embedding followed by the Maxwell-Cremona lifting gives the desired polytope.
Fix the triangle as the outer face.
30
![Page 112: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/112.jpg)
Steinitz’s Theorem
Claim: If the graph has a triangle, then the Tutte embedding followed by the Maxwell-Cremona lifting gives the desired polytope.
Fix the triangle as the outer face.
After the lifting, the triangle must lie on a plane.
30
![Page 113: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/113.jpg)
Steinitz’s Theorem
Question: What if there is no triangle?
31
![Page 114: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/114.jpg)
Steinitz’s Theorem
Question: What if there is no triangle?Answer: Dualize (the dual has a triangle)
31
![Page 115: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/115.jpg)
Steinitz’s TheoremLemma: Every 3-connected, planar graph has a triangle or a vertex of degree 3.
32
![Page 116: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/116.jpg)
Steinitz’s TheoremLemma: Every 3-connected, planar graph has a triangle or a vertex of degree 3.|V |! |E| + |F | = 2
32
![Page 117: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/117.jpg)
Steinitz’s TheoremLemma: Every 3-connected, planar graph has a triangle or a vertex of degree 3.|V |! |E| + |F | = 2
|E| =1
2
!
v!V
!(v)
32
![Page 118: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/118.jpg)
Steinitz’s TheoremLemma: Every 3-connected, planar graph has a triangle or a vertex of degree 3.|V |! |E| + |F | = 2
|E| =1
2
!
v!V
!(v)
|E| =1
2
!
f!F
|f |
32
![Page 119: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/119.jpg)
Steinitz’s TheoremLemma: Every 3-connected, planar graph has a triangle or a vertex of degree 3.|V |! |E| + |F | = 2
|E| =1
2
!
v!V
!(v)
|E| =1
2
!
f!F
|f |
!v !(v) " 4 # |E| " 2|V | (No degree 3)
32
![Page 120: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/120.jpg)
Steinitz’s TheoremLemma: Every 3-connected, planar graph has a triangle or a vertex of degree 3.|V |! |E| + |F | = 2
|E| =1
2
!
v!V
!(v)
|E| =1
2
!
f!F
|f |
!v !(v) " 4 # |E| " 2|V |
!f |f | " 4 # |E| " 2|F |
(No degree 3)
(No triangles)
32
![Page 121: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/121.jpg)
Steinitz’s TheoremLemma: Every 3-connected, planar graph has a triangle or a vertex of degree 3.|V |! |E| + |F | = 2
|E| =1
2
!
v!V
!(v)
|E| =1
2
!
f!F
|f |
!v !(v) " 4 # |E| " 2|V |
!f |f | " 4 # |E| " 2|F |
(No degree 3)
(No triangles)
|E|
2! |E| +
|E|
2" 2
32
![Page 122: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/122.jpg)
Steinitz’s TheoremLemma: Every 3-connected, planar graph has a triangle or a vertex of degree 3.|V |! |E| + |F | = 2
|E| =1
2
!
v!V
!(v)
|E| =1
2
!
f!F
|f |
!v !(v) " 4 # |E| " 2|V |
!f |f | " 4 # |E| " 2|F |
(No degree 3)
(No triangles)
|E|
2! |E| +
|E|
2" 2
0 ! 2
32
![Page 123: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/123.jpg)
Steinitz’s Theorem
So, with the Tutte embedding and the Maxwell-Cremona Correspondence, we can construct a polytope with 1-skeleton isomorphic to either the graph or its dual.
33
![Page 124: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/124.jpg)
Steinitz’s Theorem
So, with the Tutte embedding and the Maxwell-Cremona Correspondence, we can construct a polytope with 1-skeleton isomorphic to either the graph or its dual.
If we have the dual, polarize.
33
![Page 125: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/125.jpg)
Steinitz’s Theorem
So, with the Tutte embedding and the Maxwell-Cremona Correspondence, we can construct a polytope with 1-skeleton isomorphic to either the graph or its dual.
If we have the dual, polarize.
[Eades, Garvan 1995]
33
![Page 126: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/126.jpg)
A Tour of Other Stuff
34
![Page 127: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/127.jpg)
Rigidity and Unfolding
[Connelly, Demaine, Rote, 2000]
35
![Page 128: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/128.jpg)
Greedy Routing
[Papadimitriou, Ratajczak, 2004]
[Morin, 2001]
36
![Page 129: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/129.jpg)
Robust Geometric Computing
[Hopcroft and Kahn 1992]
37
![Page 130: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/130.jpg)
Spectral Embedding
[Lovasz, 2000]
Correspondence between Colin de Verdiere matrices and Steinitz representations
38
![Page 131: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/131.jpg)
Spectral Embedding
[Lovasz, 2000]
Correspondence between Colin de Verdiere matrices and Steinitz representations
It’s Maxwell-Cremona
38
![Page 132: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/132.jpg)
...
39
![Page 133: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/133.jpg)
Thank you.
40
![Page 134: Planar Graphs in 2 Dimensions - Don Sheehydonsheehy.net/talks/lifting-planar-graphs-long.pdf · Steinitz’s Theorem Claim: If the graph has a triangle, then the Tutte embedding followed](https://reader031.vdocuments.us/reader031/viewer/2022022605/5b6e50267f8b9a0b558e19e6/html5/thumbnails/134.jpg)
Thank you.Questions?
40