1 / 28

The odd-distance graph To be or not to be…famous

The odd-distance graph To be or not to be…famous. Hayri Ardal (SFU) Jano Manuch (SFU) Moshe Rosenfeld (UWT) Saharon Shelah (Hebrew University) Ladislav Stacho (SFU). The unit distance graph The geometry Junkyard http://www.ics.uci.edu/~eppstein/junkyard/geom-color.html

cutler
Download Presentation

The odd-distance graph To be or not to be…famous

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. The odd-distance graphTo be or not to be…famous • Hayri Ardal (SFU) • Jano Manuch (SFU) • Moshe Rosenfeld (UWT) • Saharon Shelah (Hebrew University) • Ladislav Stacho (SFU)

  2. The unit distance graph The geometry Junkyard http://www.ics.uci.edu/~eppstein/junkyard/geom-color.html Geometric Graph Coloring Problems These problems have been extracted from "Graph Coloring Problems", T. Jensen and B. Toft, Wiley 1995. See that book (specifically chapter 9, on geometric and combinatorial graphs) or its online archivesfor more information about them. • Hadwiger-Nelson Problem. Let G be the infinite graph with all points of the plane as vertices and having xy as an edge if and only if the points x and y have distance 1. What is the chromatic number of G? It is known to be at least four and at most seven. The Moser Spindle

  3. What makes this problem famous? • It is 60 years old. • Very simple to understand • At least five mathematicians were “credited” with it: Edward Nelson,Paul ErdÖs, Hugo Hadwiger, Leo Moser and Martin Gardener • The lower and upper bounds (4, 7) were established in 1950. • No progress since!

  4. What made it famous?

  5. Odd distances in R2 • The six distances determined by 4 points in R2 cannot be all odd. • Putnam 1992 • R. Graham, B. Rothschild, E. Strauss the maximum number of points in Rd such that all distances among them is an odd integer is d+1 unless d = 14 + 16k. In these dimensions we can have d + 2 points.

  6. An elementary classroom proof X2 Y2 X1 Y1 X3 Y3 o

  7. The odd-distance graph • In 1994 in Boca Raton I asked Paul Erdös and Herbert Wilf whether R2 can be colored in a finite number of colors so that two points at odd integral distance have distinct colors? (obvious lower bound 4) • Erdös also asked what is the maximum number of odd integral distances among n points in R2

  8. Density • Given n points in R2, how many distances can be 1? (ErdÖs, 1946). • How many times can the largest distance occur among n points in R2? • A “biological proof.”

  9. Clearly, the maximum number of distances is  t4(n) (Turán’s number) • L. Piepemeyer proved that Kn,n,n can be embedded in R2 so that all edges have odd integral distance.

  10. Isosceles triangle side 7 Rotate once Distances: 3, 5, 8 Realizes K2,2,2

  11. P1 The embedding of K(3,3,3): 3 equilateral triangles with side 72. P1, Y2, R3 sides 16, 56, 56 P3, Y1, R2 same P2, Y3,R1 same All other edges are: 49 (equilateral triangles), 21, 35 and 39 R1 Y2 Y1 R2 P3 P2 R3 Y3

  12. The magic matrix • One matrix does it all! Rotate an equilateral triangle with side 7n-1 n times to obtain an embedding of Kn,n,n or A set of n3 points that maximizes the number of odd distances. Surprisingly, on a single circle.

  13. Some notable subgraphs of the odd-distance graph. • The integral lattice is 2-colorable • The rational points are 2-colorable. • Every 3-colorable graph can be realized as an odd distance graph in R2 • The R2 odd distance graph is not k-list colorable for any integer k.

  14. Theorem: The R2 odd distance graph requires at least 5 colors. • Construct a 4-color transfer. • Key: “120o Pythagorean triples”: a2 + b2 + ab = c2 (3, 5, 7)

  15. THE ARMS SPINDLE 21 points in R2 that require 5 colors.

  16. There are many other odd distances hidden in the triangular lattice. Any 120o triangle with two sides along the lattice will yield an odd distance. Pseudo-Pythagorian Triples

  17. Here is a small sample: 3, 5, 7 (32 + 52+ 3*5 = 72) 7, 33, 37 (72 + 332 + 7*3 = 372) 11, 85, 91 (112+ 852 + 11*85 = 912) 13, 35, 43 (132 + 452 + 13*45 = 432) 17, 63, 73 (172 + 632 + 17*63 = 732)

  18. Is every odd prime a member of a Pseudo-Pythagorian Triple? The triangular lattice is 4-colorable Problem

  19. Choosability • The unit distance graphs in R2 and R3 are countably choosable. • The R2 odd-distance graph is countably choosable. • The R3 odd-distance graph is not countably choosable.

  20. R3 is not countably choosable Bn = (0,0,4n2 + 4n) {(x,y,0) | x2 + y2 =1} L((x,y,0)) = A  N, |A| = 0 L(Bn) = {n, n+1, …}

  21. The odd distance graph in R2 is countably choosable.

  22. Theorem: the integer-distance graph in R2 has the 0 property. • For every finite set X = {x1,…,xk} define: Corollary: GN(R2), Godd(R2), G{1}(R2) are countably choosable.

  23. Unit distance vs. Odd distance

  24. Is the chromatic number of the odd-distance graph finite? • Interestingly, the Odd Distance Graph has no finite measurable coloring. • This follows immediately from a theorem of Furstenberg, Katznelson and Weiss [FKW] which asserts that for every Lesbesgue measurable subset A  R2 with positive upper density, there exists a number r0 so that A contains a pair of points at distance r for every r > r0 .

  25. Problems • Is the odd distance chromatic number of a circle in R2 = 3? • The R3 odd distance graph does not contain a K5 . Is Kn,n,n,n a subgraph of the R3 odd distance graph? • Find lower bounds for the chromatic number of the R3 odd distance graph.

  26. Problems • Does Godd(R2) contain 5-chromatic subgraphs with arbitrary large girth? • Let D = {0 <d1 < d2 < …}be an unbounded sequence of numbers. Is it true that for every mapping f : R2 S1 and every  > 0, there are two points p, q in R2 such that ||p – q|| D and ||f(p) – f(q)|| < ?

  27. Summary The Odd-Distance graph is a very simple object. Offers challenging problems. Applications? Surprisingly, there seem to be applications for the unit-distance graph in Quantum Mechanics.

More Related