An Introduction To Ramsey Theory for Graphs
Transcript of An Introduction To Ramsey Theory for Graphs
![Page 1: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/1.jpg)
An Introduction To RamseyTheory for Graphs
Robert D. Borgersen
Graduate Seminar: Ramsey Theory for Graphs – p. 1/10
![Page 2: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/2.jpg)
Abstract
A graph is a set of vertices with some pairs of verticesconnected by edges. Graphs are used to model a number ofphenomena, from biological and physical real life problems, tonumber theoretic and other mathematical problems. Thestudy of partitioning substructures of graphs has been studiedquite extensively. Ramsey theory is often described as thestudy of preservation of structure under partitioning. In thistalk, I will survey some of the classic Ramsey theory results,and survey specifically some results from Ramsey theory ongraphs.
Graduate Seminar: Ramsey Theory for Graphs – p. 2/10
![Page 3: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/3.jpg)
Graph Theory
The study of Graphs ...
Graduate Seminar: Ramsey Theory for Graphs – p. 3/10
![Page 4: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/4.jpg)
Graph Theory
The study of Graphs ... so what’s a graph?
Graduate Seminar: Ramsey Theory for Graphs – p. 3/10
![Page 5: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/5.jpg)
Graph Theory
Graduate Seminar: Ramsey Theory for Graphs – p. 3/10
![Page 6: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/6.jpg)
Graph Theory
We consider only the simplest types of graphs
Graduate Seminar: Ramsey Theory for Graphs – p. 3/10
![Page 7: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/7.jpg)
Ramsey Theory
Study of preservation of structureunder partition.
Graduate Seminar: Ramsey Theory for Graphs – p. 4/10
![Page 8: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/8.jpg)
Ramsey Theory
Study of preservation of structureunder partition.
Graduate Seminar: Ramsey Theory for Graphs – p. 4/10
![Page 9: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/9.jpg)
Ramsey Theory
Study of preservation of structureunder colouring.
Graduate Seminar: Ramsey Theory for Graphs – p. 4/10
![Page 10: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/10.jpg)
Ramsey Theory
Study of preservation of structureunder colouring.
A structure is partitioned (coloured) in twoclasses. What kind of structure can beguaranteed within one of the two partition(colour) classes?
Graduate Seminar: Ramsey Theory for Graphs – p. 4/10
![Page 11: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/11.jpg)
Ramsey Theory
Study of preservation of structureunder colouring.
A structure is partitioned (coloured) in twoclasses. What kind of structure can beguaranteed within one of the two partition(colour) classes?
Now generalize to r partitions (colours).
Graduate Seminar: Ramsey Theory for Graphs – p. 4/10
![Page 12: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/12.jpg)
Ramsey Theory
Study of preservation of structureunder colouring.
A structure is partitioned (coloured) in twoclasses. What kind of structure can beguaranteed within one of the two partition(colour) classes?
Now generalize to r partitions (colours).
Think of the pigeon hole principle- two pigeons in one hole is the"structure" we are guaranteed.
Graduate Seminar: Ramsey Theory for Graphs – p. 4/10
![Page 13: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/13.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr
means...
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 14: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/14.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr
means...
For all partitions of the H-substructures of F intor classes, there exists a G-substructure of F ,with all it’s H-substructures in the same class.
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 15: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/15.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr
means...
For all partitions of the H-substructures of F intor classes, there exists a G-substructure of F ,with all it’s H-substructures in the same class.
F is the large structure
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 16: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/16.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr
means...
For all partitions of the H-substructures of F intor classes, there exists a G-substructure of F ,with all it’s H-substructures in the same class.
F is the large structure...of which we are partitioning (colouring) theH-substructures
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 17: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/17.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr means...
For all partitions of the H-substructures of F intor classes, there exists a G-substructure of F ,with all it’s H-substructures in the same class.
F is the large structure...of which we are partitioning (colouring) theH-substructures...into r partitions (colours)
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 18: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/18.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr
means...
For all partitions of the H-substructures of F intor classes, there exists a G-substructure of F ,with all it’s H-substructures in the same class.
F is the large structure...of which we are partitioning (colouring) theH-substructures...into r partitions (colours)...and we are guaranteed a G with all it’sH-substructures in the same class (samecolour).
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 19: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/19.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr
means...
For all partitions of the H-substructures of F intor classes, there exists a G-substructure of F ,with all it’s H-substructures in the same class.
F is the large structure...of which we are partitioning (colouring) theH-substructures...into r partitions (colours)...and we are guaranteed a G with all it’sH-substructures in the same class (samecolour).(see overhead)
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 20: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/20.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr
Examples:
{1, . . . , n} → (2 numbers)numbersn−1
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 21: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/21.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr
Examples:
{1, . . . , n} → (2 numbers)numbersn−1
{1, . . . , 5} → (x, y, z such that x + y = z)numbers2
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 22: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/22.jpg)
Ramsey Theory Notation, Example
"Arrow" notation F → (G)Hr
Examples:
{1, . . . , n} → (2 numbers)numbersn−1
{1, . . . , 5} → (x, y, z such that x + y = z)numbers2
{1, . . . , 9} → (AP3)numbers2
Graduate Seminar: Ramsey Theory for Graphs – p. 5/10
![Page 23: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/23.jpg)
Ramsey Theory on Graphs
For graphs G, H and r ∈ Z+,
F → (G)H
r
means that for every colouring of theH-subgraphs of F in r colours, there exists acopy of G in F with all of its H-subgraphs thesame colour.
Graduate Seminar: Ramsey Theory for Graphs – p. 6/10
![Page 24: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/24.jpg)
Ramsey Theory on Graphs
For graphs G, H and r ∈ Z+,
F → (G)H
r
means that for every colouring of theH-subgraphs of F in r colours, there exists acopy of G in F with all of its H-subgraphs thesame colour.
Example:
→
( )
2
Graduate Seminar: Ramsey Theory for Graphs – p. 6/10
![Page 25: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/25.jpg)
Ramsey Theory on Graphs
For graphs G, H and r ∈ Z+,
F → (G)H
r
means that for every colouring of theH-subgraphs of F in r colours, there exists acopy of G in F with all of its H-subgraphs thesame colour.
Example:
→
( )
2
Graduate Seminar: Ramsey Theory for Graphs – p. 6/10
![Page 26: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/26.jpg)
Ramsey Theory on Graphs
For graphs G, H and r ∈ Z+,
F → (G)H
r
means that for every colouring of theH-subgraphs of F in r colours, there exists acopy of G in F with all of its H-subgraphs thesame colour.
Example:
→
( )
2
Graduate Seminar: Ramsey Theory for Graphs – p. 6/10
![Page 27: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/27.jpg)
Ramsey Theory on Graphs
Question: How small can a graph be, and stillarrow the given graph G?
Graduate Seminar: Ramsey Theory for Graphs – p. 7/10
![Page 28: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/28.jpg)
Ramsey Theory on Graphs
Question: How small can a graph be, and stillarrow the given graph G?
The Ramsey number R(k) is the smallest n suchthat
Kn → (Kk)2
Graduate Seminar: Ramsey Theory for Graphs – p. 7/10
![Page 29: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/29.jpg)
Ramsey Theory on Graphs
Question: How small can a graph be, and stillarrow the given graph G?
The Ramsey number R(k) is the smallest n suchthat
Kn → (Kk)2
Example (from previous page):
K6 → (K3)2
Graduate Seminar: Ramsey Theory for Graphs – p. 7/10
![Page 30: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/30.jpg)
Ramsey Theory on Graphs
Question: How small can a graph be, and stillarrow the given graph G?
The Ramsey number R(k) is the smallest n suchthat
Kn → (Kk)2
Example (from previous page):
K6 → (K3)2
This shows that R(3) ≤ 6. (Easy exercise toshow R(3) = 6)
Graduate Seminar: Ramsey Theory for Graphs – p. 7/10
![Page 31: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/31.jpg)
Ramsey Numbers
Known values for the Ramsey numbers:
Graduate Seminar: Ramsey Theory for Graphs – p. 8/10
![Page 32: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/32.jpg)
Ramsey Numbers
Known values for the Ramsey numbers:
R(1) = 1 R(2) = 2
Graduate Seminar: Ramsey Theory for Graphs – p. 8/10
![Page 33: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/33.jpg)
Ramsey Numbers
Known values for the Ramsey numbers:
R(1) = 1 R(2) = 2
R(3) = 6 R(4) = 18
Graduate Seminar: Ramsey Theory for Graphs – p. 8/10
![Page 34: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/34.jpg)
Ramsey Numbers
Known values for the Ramsey numbers:
R(1) = 1 R(2) = 2
R(3) = 6 R(4) = 18
43 ≤ R(5) ≤ 49
Graduate Seminar: Ramsey Theory for Graphs – p. 8/10
![Page 35: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/35.jpg)
Ramsey Numbers
Known values for the Ramsey numbers:
R(1) = 1 R(2) = 2
R(3) = 6 R(4) = 18
43 ≤ R(5) ≤ 49
102 ≤ R(6) ≤ 165
Graduate Seminar: Ramsey Theory for Graphs – p. 8/10
![Page 36: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/36.jpg)
Ramsey Numbers
Known values for the Ramsey numbers:
R(1) = 1 R(2) = 2
R(3) = 6 R(4) = 18
43 ≤ R(5) ≤ 49
102 ≤ R(6) ≤ 165
Ramsey numbers are hard to find (even the smallvalues!)
Graduate Seminar: Ramsey Theory for Graphs – p. 8/10
![Page 37: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/37.jpg)
Sparse Ramsey Graphs: Kk-free
Is there a K6-free graph F such that
F → (K3)2 ?
Graduate Seminar: Ramsey Theory for Graphs – p. 9/10
![Page 38: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/38.jpg)
Sparse Ramsey Graphs: Kk-free
Is there a K6-free graph F such that
F → (K3)2 ?
YES!
Graduate Seminar: Ramsey Theory for Graphs – p. 9/10
![Page 39: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/39.jpg)
Sparse Ramsey Graphs: Kk-free
Is there a K6-free graph F such that
F → (K3)2 ?
YES!
Found in 1968.
Graduate Seminar: Ramsey Theory for Graphs – p. 9/10
![Page 40: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/40.jpg)
Sparse Ramsey Graphs: Kk-free
Is there a K5-free graph F such that
F → (K3)2 ?
Graduate Seminar: Ramsey Theory for Graphs – p. 9/10
![Page 41: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/41.jpg)
Sparse Ramsey Graphs: Kk-free
Is there a K5-free graph F such that
F → (K3)2 ?
YES! Found in 1999.15 vertices suffices.
659 distinct graphs found.This IS minimum.
Graduate Seminar: Ramsey Theory for Graphs – p. 9/10
![Page 42: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/42.jpg)
Sparse Ramsey Graphs: Kk-free
Is there a K4-free graph F such that
F → (K3)2 ?
Graduate Seminar: Ramsey Theory for Graphs – p. 9/10
![Page 43: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/43.jpg)
Sparse Ramsey Graphs: Kk-free
Is there a K4-free graph F such that
F → (K3)2 ?
YES! Found in 1989.3,000,000,000 vertices!
Probabilistic(existence theorem only).
Nothing better known!
Graduate Seminar: Ramsey Theory for Graphs – p. 9/10
![Page 44: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/44.jpg)
Sparse Ramsey Graphs: Kk-free
Is there a K4-free graph F such that
F → (K3)2 ?
So, the graphs don’t even have to be very densewith edges at all!
Graduate Seminar: Ramsey Theory for Graphs – p. 9/10
![Page 45: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/45.jpg)
Sparse Ramsey Graphs: Kk-free
Is there a K4-free graph F such that
F → (K3)2 ?
So, the graphs don’t even have to be very densewith edges at all!
Other results have shown that we can find agraph that works with pretty much any propertywe want.
Graduate Seminar: Ramsey Theory for Graphs – p. 9/10
![Page 46: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/46.jpg)
Conclusion
Graduate Seminar: Ramsey Theory for Graphs – p. 10/10
![Page 47: An Introduction To Ramsey Theory for Graphs](https://reader031.fdocuments.in/reader031/viewer/2022012019/616876c6d394e9041f6fbf0f/html5/thumbnails/47.jpg)
Thanks for coming!
Graduate Seminar: Ramsey Theory for Graphs – p. 10/10