Download presentation

Presentation is loading. Please wait.

Published byNathanael Rackley Modified over 2 years ago

1
László A. Székely University of South Carolina Supported in part by NSF DMS 071111 Valtice, Czech Republic, May 21, 2012 GraDR 2012 Crossing Number Workshop and Minischool

2
Thickness Skewness Splitting number Vertex deletion number Page number Genus Crossing number

3
“There were some kilns where the bricks were made and some open storage yards where the bricks were stored. All the kilns were connected by rail with all storage yards. … the trouble was only at crossings. The trucks generally jumped the rails there and the bricks fell out of them; in short this caused a lot of trouble and loss of time … The idea occurred to me that this loss of time could be minimized if the number of crossings of the rails had been minimized. But what is the minimum number of crossings?” (P. Turán remembering in 1977)

5
Proofs: Zarankiewicz (1954) Urbanik (1955) Gap found: Ringel and Kainen independently Pach-Tóth (1998): “Which crossing number is it anyway?” (Mohar 1995) Imre Lakatos: “Proofs and Refutations” applied Popper to mathematics analysing Euler’s polyhedral formula and the concept of real function

6
Achieved in two distinct ways: Soup can drawing Throwing different slopes to different hemispheres

7
Crossing Lemma Bisection width lower bound Graph embedding

8
Crossing Lemma (Leighton, Ajtai-Chvátal- Newborn-Szemerédi): For a simple graph G on n vertices and m edges, either m ≤ 4n or For a graph G on n vertices and m edges, with edge multiplicity up to M, either m ≤ CMn or

9
If n<< m << n 2 converges to a constant (conjectured by Erdős and Guy)

10
Leighton (1982), Sýkora-Vrťo (1993), Pach- Shahrokhi-Szegedy (1994)

11
G 1 =(V 1,E 1 ), G 2 =(V 2,E 2 ), |V 1 |≤|V 2 | Embedding ω: G 1 −>G 2 : a pair of injections (φ,ψ), where φ:V 1 −>V 2 and ψ:E 1 −>( path set of G 2 ) such that ψ(uv) is a φ(u)−φ(v) path for all uv in E 1 For e ε E 2, μ ω (e)=|{f ε E 1 : e ε ψ(f)}| For u ε V 2, m ω (u)=|{f ε E 1 : u ε ψ(f)}| μ ω =max e (μ ω (e)) G1G1 G2G2 φ ψ μ ω (e 1 )=μ ω (e 2 )=2 m ω (u 1 )=m ω (u 3 )=2 m ω (u 2 ) =3 μ ω =2

12
G 2 with drawing D (G 2 ) G1G1 ω Two types of crossings occur in the induced drawing of G 1 : ◦ At crossing edges of G 2 ◦ At vertices of G 2 Induced drawing ID (G 1 )

13
Leighton (1982) Shahrokhi-Sýkora-Sz-Vrťo (1994) Assume G 1 is embedded into G 2 by ω. Assume G 2 is drawn as D (G 2 ), inducing ID (G 1 ).

14
Let T(n,k, l,s) denote the minimum size of an l - uniform hypergraph on n vertices, such that any k -element subset contains at least s edges from the hypergraph. T(n,k, l ) = T(n,k, l,1) Ringel observed that T(n,5,4) ≤ cr(K n ) Analogously if s ≤ cr g (K p ) then T(n,p,4,s) ≤ cr g (K n )

15
If G has no k independent nodes T(n,k,2) ≤ e(G) If, the complement, has no k -clique, then

16
Counting method: count crossings in copies of K n in a drawn copy of K n+1 : And hence

17
Katona-Nemetz-Simonovits (1964) on Turán numbers Improvement on a fixed-size problem induces infinitely many improvements deKlerk, Maharry, Pasechnik, Salazar, Richter (2004) 83% of Zarankiewicz conjecture

18
Pach, Spencer, Tóth (1999) improvement on the Crossing Lemma (conjectured by Simonovits): if G has girth >2r and m>4n, then As m 2 >cr(G), G has at most edges tight for r=2,3,5.

19
Pach, Spencer, Tóth (1999) used the bisection width method to prove their girth theorem Alternative proof through Crossing Lemma and graph embedding (yielding explicit constant): Assume that G is drawn in its optimal drawing (and for simplicity assume that G is d -regular) Define G r by joining vertices of G if their distance is r – they are joined by a unique r - path

21
Draw G r following closely the paths in the drawing of G first second category category

22
The number of incidences between n points and m lines on the plane is at most This is tight up to a constant multiplicative factor Number of incidences = 7

23
The Erdős-Purdy Conjecture is true. The number of incidences between n points and m lines on the plane is at most Alternatively, if n ½ ≤ m ≤ n 2, then the number of incidences is at most

24
Consider an “appropriate” “natural” graph drawn in the plane. Crossings, number of vertices or number of edges of this graph should be related to the quantity of interest. Set lower and upper bound for the crossing number of this graph Analyze the results in terms of the quantity of interest.

25
Wlog every line has at least one point. The graph G is already drawn in the plane: ◦ Vertices are the points ◦ Edges are the line segments connecting two consecutive points on any one of the lines ◦ #of incidences on a line = #of edges on that line + 1 ◦ |E(G)| = #of incidences − m

26
For all ε > 0, there is a constant c ε such that the number of unit distances among n points on the plane is at most c ε n 1+ε Erdős’ construction shows that the number of unit distances can be n 1+(c/log log n) (which is bigger than n log n, even bigger than n log k n ). n = 7, 11 unit distances

27
cn 3/2 Erdős 1946 o(n 3/2 ) Józsa, Szemerédi 1973 n 1.444… Beck, Spencer 1984 cn 4/3 Spencer, Szemerédi, Trotter 1984

28
n points in the plane determine at most O(n 4/3 ) unit distances. Proof by crossing number method: Draw unit circles around the points and define a drawn graph G. Vertices= the n points, edges connect consecutive points on the circles. m=2 # unit distances.

29
Among n points and n unit circles in the plane, what is the maximum number of incidences? The maximum number of incidences has the same magnitude of growth as the maximum number of unit distances among n points in the plane, as n goes to infinity. n = 2, 3 incidences

30
Erdős-Hickerson-Pach (1989) Valtr Just topology cannot prove the Erdős unit distance conjecture.

31
G G2G2

32
Embedding approach: consider the distance 2 multigraph G 2 from G above. For simplicity, assume d unit circles passes through every point.

33
M

35
Elekes: n real numbers have at least n 5/4 distinct sums or products Pach, Sharir, and others: many more incidence bounds (points, translates of convex closed curves, etc.) Andrews (Iosevits proof): For a convex polygon in the plane with n lattice vertices n=O(area 1/3 ) Dey: # of planar k -sets is at most 7n(k+2) 1/3

36
Erdős conjecture (1946): The number of distinct distances among n points on the plane is at least Erdős’ matching construction is a square grid of size n ½ ×n ½.

37
Cn 1/2 Erdős 1946 Cn 2/3 Moser 1952 Cn 5/7 Fan Chung 1984 Cn (58/81)−ε Beck 1984 n 4/5 /log c n Fan Chung, Szemerédi, Trotter 1992 Cn 3/4 from a single point Clarkson, Edelsbrunner, Guibas, Sharir, Welzl 1990 Cn 4/5 from a single point Sz 1997 Cn 6/7 Solymosi, Tóth 2001 Cn (4e/(5e-1))-o(1) Tardos 2002 Cn (19/22)-o(1) Katz 2003 Cn (48-14e)/(55-16e)-o(1) Katz, Tardos 2004 Cn/lo g n Nets, Katz 2010

38
Draw concentric circles around each point with radiuses = distances from point Very high edge-multiplicity is possible:

39
Determine the quantity Clearly, g(n)=O(n 2 ) g(n)=Ω(n 1+ε ) Erdős-Szemerédi 1983 g(n)=Ω(n 32/31 ) Nathanson g(n)=Ω(n 16/15 ) Ford g(n)=Ω(n 5/4 ) Elekes 1997

40
Proof by Elekes:

41
Complex plane:

42
Is there a proof not using Euler’s formula that planar graphs drawn in straight line segments have O(n) edges? Yes – Pinchasi (2007) Drawing triplet systems in C 2 : Every triplet is contained by a complex line Body of a triplet: convex hull in R 4 Bodies may share vertex or boundary edge How many triplets can be drawn? O(n)?

43
Abstract simplicial complex: finite family of finite sets, closed for taking subsets Its dimension: max set size minus 1 1 -dimensional abstract simplicial complex can be identified with a graph Embedding in Euclidean space: (d+1)- sets span a d –dimensional simplex; simplices only overlap in spans of common subsets Embedded 1 -dimensional simplicial complex: rectilinear drawing of a graph Theorem: every d –dimensional abstract simplicial complex embeds in R 2d+1, but some does not embed in R 2d.

44
Two vertex sets: n points and m straight lines Edges: incidences Szemerédi-Trotter (1982) | E(G)|=O(n+m+(nm) 2/3 ) Theorem: de Caen, S (1997) 3-path PcP’c’ # P 3 =O(nm) Implies Szemerédi-Trotter through Atkinson- Watterson-Moran (1960)

45
v v’ PP’ v v’ PP’

46
Is # C 6 =O(nm) in the incidence bipartite graph of points and straight lines? This would imply # P 3 =O(nm) Slightly fails (by log log n factor for m=n ) Klavík, Kráľ, Mach (2011)

47
Bisection width Embedding Convex crossing numbers Approximation algorithms

48
Leighton (1982), Sýkora-Vrťo (1993), Pach- Shahrokhi-Szegedy (1994)

49
Leighton (1982) Shahrokhi-Sýkora-Sz-Vrťo (1994) Assume G 1 is embedded into G 2 by ω. Assume G 2 is drawn as D (G 2 ), inducing ID (G 1 ).

Similar presentations

OK

Center for Graphics and Geometric Computing, Technion 1 Computational Geometry Chapter 8 Arrangements and Duality.

Center for Graphics and Geometric Computing, Technion 1 Computational Geometry Chapter 8 Arrangements and Duality.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google