thomas hackl: eurogiga midterm conference, july 9 13 , 2012 · thomas hackl: eurogiga midterm...
TRANSCRIPT
![Page 1: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/1.jpg)
1-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Empty Monochromatic Simplices
Oswin Aichholzer1, Ruy Fabila-Monroy2,
David Flores-Penaloza3, Thomas Hackl1, Clemens Huemer4,
and Jorge Urrutia3
1 Institute for Software Technology, Graz University of Technology2 Departamento de Matematicas, Cinvestav, Mexico City, Mexico
3 Instituto de Matematicas, UNAM, Mexico City, Mexico4 Departament de Matematica Aplicada IV, UPC, Barcelona, Spain
This presentation is partly funded by
EUROCORES - EuroGiga: ComPoSe.
![Page 2: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/2.jpg)
2-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Overview• Introduction
![Page 3: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/3.jpg)
2-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Overview• Introduction
• ”Roadmap”
![Page 4: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/4.jpg)
2-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Overview• Introduction
• ”Roadmap”
• Large sized triangulations
![Page 5: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/5.jpg)
2-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Overview• Introduction
• ”Roadmap”
• Large sized triangulations
• ”Technical” results
Pulling complexes
Generalized ”Order” and ”Discrepancy” lemmata
![Page 6: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/6.jpg)
2-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Overview• Introduction
• ”Roadmap”
• Large sized triangulations
• ”Technical” results
Pulling complexes
Generalized ”Order” and ”Discrepancy” lemmata
• Empty monochromatic simplices in k-colored point sets
![Page 7: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/7.jpg)
2-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Overview• Introduction
• ”Roadmap”
• Large sized triangulations
• ”Technical” results
Pulling complexes
Generalized ”Order” and ”Discrepancy” lemmata
• Empty monochromatic simplices in k-colored point sets
• Conclusion
![Page 8: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/8.jpg)
3-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
![Page 9: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/9.jpg)
3-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ R2 of n points in general position
• How many empty triangles exist?
![Page 10: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/10.jpg)
3-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ R2 of n points in general position
• How many empty triangles exist?
Katchalski and Meir, 1988:(n−12
)≤ # empty triangles ≤ cn2
Dehnhardt, 1987: Barany and Furedi, 1987:
n2−5n+10 ≤ # empty triangles ≤ 2n2
Barany and Valtr, 2004:
# empty triangles ≤ 1.6195 . . . n2 + o(n2)
Aichholzer, Fabila-Monroy, H., Huemer, Pilz,and Vogtenhuber, 2012:
n2− 32n7
+ 227≤ # empty triangles
![Page 11: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/11.jpg)
4-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ R2 of n points in general position
• How many empty triangles exist?
![Page 12: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/12.jpg)
4-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ R2 of n points in general position
• How many empty monochromatic triangles exist?
![Page 13: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/13.jpg)
4-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ R2 of n points in general position
• How many empty monochromatic triangles exist?
Devillers, Hurtado, Karolyi, and Seara, 2003:
k = 2: ≥⌈n4
⌉−2 compatible empty monochr. triangles
![Page 14: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/14.jpg)
4-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ R2 of n points in general position
• How many empty monochromatic triangles exist?
Devillers, Hurtado, Karolyi, and Seara, 2003:
k = 2: ≥⌈n4
⌉−2 compatible empty monochr. triangles
k = 3: ∃ sets with no empty monochr. triangles
![Page 15: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/15.jpg)
4-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ R2 of n points in general position
• How many empty monochromatic triangles exist?
Devillers, Hurtado, Karolyi, and Seara, 2003:
k = 2: ≥⌈n4
⌉−2 compatible empty monochr. triangles
k = 3: ∃ sets with no empty monochr. triangles
Aichholzer, Fabila-Monroy, Flores-Penaloza, H., Huemer,and Urrutia, 2008:
k = 2: Ω(n
5/4)
empty monochromatic triangles
![Page 16: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/16.jpg)
4-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ R2 of n points in general position
• How many empty monochromatic triangles exist?
Devillers, Hurtado, Karolyi, and Seara, 2003:
k = 2: ≥⌈n4
⌉−2 compatible empty monochr. triangles
k = 3: ∃ sets with no empty monochr. triangles
Aichholzer, Fabila-Monroy, Flores-Penaloza, H., Huemer,and Urrutia, 2008:
k = 2: Ω(n
5/4)
empty monochromatic triangles
Pach and Toth, 2008:
k = 2: Ω(n
4/3)
empty monochromatic triangles
![Page 17: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/17.jpg)
5-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
![Page 18: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/18.jpg)
5-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• How many empty d-simplices exist?
![Page 19: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/19.jpg)
5-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Definition of a d-simplex:
![Page 20: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/20.jpg)
5-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Definition of a d-simplex:
Convex hull of S′⊆S:
- Conv(S′): intersection of all convex sets containing S′
- CH(S′): boundary of Conv(S′)
![Page 21: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/21.jpg)
5-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Definition of a d-simplex:
Convex hull of S′⊆S:
- Conv(S′): intersection of all convex sets containing S′
- CH(S′): boundary of Conv(S′)
0≤m≤d: ”m-simplex is Conv(X) (X⊆S, |X| = m+1)”
- vertices of an m-simplex: v∈X- faces of an m-simplex: Conv(X ′), X ′⊂X
![Page 22: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/22.jpg)
5-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Definition of a d-simplex:
Convex hull of S′⊆S:
- Conv(S′): intersection of all convex sets containing S′
- CH(S′): boundary of Conv(S′)
0≤m≤d: ”m-simplex is Conv(X) (X⊆S, |X| = m+1)”
- vertices of an m-simplex: v∈X- faces of an m-simplex: Conv(X ′), X ′⊂X
Simplicial complex K:
- ”K is a set of interior disjoint empty d-simplices”
![Page 23: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/23.jpg)
6-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• How many empty d-simplices exist?
![Page 24: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/24.jpg)
6-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• How many empty d-simplices exist?
Katchalski and Meir, 1988:
at least(n−1d
)= Ω(nd) empty d-simplices
Barany and Furedi, 1987:at most cd
(nd
)= O(nd) expected empty d-simplices
in a random set
![Page 25: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/25.jpg)
7-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ Rd of n points in general position
• How many empty monochromatic d-simplices exist?
![Page 26: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/26.jpg)
7-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ Rd of n points in general position
• How many empty monochromatic d-simplices exist?
Urrutia, 2003:d = 3, k = 4: there always exists an emptymonochromatic d-simplex (tetrahedron)
![Page 27: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/27.jpg)
7-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ Rd of n points in general position
• How many empty monochromatic d-simplices exist?
Urrutia, 2003:d = 3, k = 4: there always exists an emptymonochromatic d-simplex (tetrahedron)
by proving that every S can be triangulated with more
than 3n tetrahedra
![Page 28: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/28.jpg)
7-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ Rd of n points in general position
• How many empty monochromatic d-simplices exist?
Urrutia, 2003:d = 3, k = 4: there always exists an emptymonochromatic d-simplex (tetrahedron)
by proving that every S can be triangulated with more
than 3n tetrahedra
• Problem: triangulate S with many d-simplices
![Page 29: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/29.jpg)
7-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• k-colored sets S ⊂ Rd of n points in general position
• How many empty monochromatic d-simplices exist?
Urrutia, 2003:d = 3, k = 4: there always exists an emptymonochromatic d-simplex (tetrahedron)
by proving that every S can be triangulated with more
than 3n tetrahedra
• Problem: triangulate S with many d-simplices(”minmax”)
![Page 30: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/30.jpg)
8-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Large sized triangulations:
![Page 31: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/31.jpg)
8-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Large sized triangulations:
Edelsbrunner, Preparata, and West, 1990:
R3: upper bound of 715n2 +O(n) tetrahedra
Brass, 2005:R3: ∃ sets of points where every triangulation has
O(n5/3) tetrahedra
![Page 32: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/32.jpg)
8-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Large sized triangulations:
Edelsbrunner, Preparata, and West, 1990:
R3: upper bound of 715n2 +O(n) tetrahedra
Brass, 2005:R3: ∃ sets of points where every triangulation has
O(n5/3) tetrahedra
Rd: ∃ sets of points where every triangulation has
O(n1d+ d−1
dd d2e) d-simplices
![Page 33: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/33.jpg)
9-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Large sized triangulations:
Rothschild and Straus, 1985:
Rd: all triangulations have at least (n−d) d-simplices
![Page 34: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/34.jpg)
9-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Large sized triangulations:
Rothschild and Straus, 1985:
Rd: all triangulations have at least (n−d) d-simplices
Urrutia, 2003:
R3: ∃ triangulation with more than 3n tetrahedra
![Page 35: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/35.jpg)
9-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Introduction• sets S ⊂ Rd of n points in general position
• Large sized triangulations:
Rothschild and Straus, 1985:
Rd: all triangulations have at least (n−d) d-simplices
Urrutia, 2003:
R3: ∃ triangulation with more than 3n tetrahedra
• we generalize / improve to:
∃ triangulation with at least (dn+Ω(logn)) d-simplices
![Page 36: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/36.jpg)
10-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
RoadmapLiteratureTheorem 1
”Lower Bound Theorem” Theorem 2
![Page 37: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/37.jpg)
10-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
RoadmapLiteratureTheorem 1
”Lower Bound Theorem” Theorem 2
Large sized triangulations
Theorem 5: d>2
∃T , |T |≥dn+maxh,
log2(n)2d
−cd
Lemmata 3, 4 cd=d3+d2+d
T1, T2
![Page 38: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/38.jpg)
10-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
RoadmapPulling complexesLiteratureTheorem 1
”Lower Bound Theorem” Theorem 2
Large sized triangulations
Theorem 5: d>2
∃T , |T |≥dn+maxh,
log2(n)2d
−cd
Lemmata 3, 4 cd=d3+d2+d
Lemmata 6 – 13
Lemma 9 Lemma 10T1, T2
T1
T5
![Page 39: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/39.jpg)
10-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
RoadmapPulling complexes
Order lemma
LiteratureTheorem 1”Lower Bound Theorem” Theorem 2
Large sized triangulations
Theorem 5: d>2
∃T , |T |≥dn+maxh,
log2(n)2d
−cd
Lemmata 3, 4 cd=d3+d2+d
Lemmata 6 – 13
Lemma 9 Lemma 10T1, T2
T1
T5
Lemmata 14, 15L3
T2 L6
![Page 40: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/40.jpg)
10-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
RoadmapPulling complexes
Discrepancy lemmaOrder lemma
LiteratureTheorem 1”Lower Bound Theorem” Theorem 2
Large sized triangulations
Theorem 5: d>2
∃T , |T |≥dn+maxh,
log2(n)2d
−cd
Lemmata 3, 4 cd=d3+d2+d
Lemmata 6 – 13
Lemma 9 Lemma 10T1, T2
T1
T5
Lemmata 14, 15L3
Lemmata 16, 18 – 23
T1T2 L6 L8, L11–13
Corollary 17
![Page 41: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/41.jpg)
10-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Roadmap
Empty Monochromatic Simplices in k-Colored Point Sets
Pulling complexes
Discrepancy lemmaOrder lemma
LiteratureTheorem 1”Lower Bound Theorem” Theorem 2
Large sized triangulations
Theorem 5: d>2
∃T , |T |≥dn+maxh,
log2(n)2d
−cd
Lemmata 3, 4 cd=d3+d2+d
Lemmata 6 – 13
Lemma 9 Lemma 10T1, T2
T1
T5
Lemmata 14, 15L3
Lemmata 16, 18 – 23
T1T2 L6 L8, L11–13
Corollary 25: d>2, k=d+1
∃ linear number of EMS
Theorem 29: d≥k≥3
Ω(nd−k+1+2−d) EMS
Theorems 24, 27 – 29Corollaries 25, 26
Corollary 17
T5 L15
L19, 21–23C17, L16
![Page 42: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/42.jpg)
10-7
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Roadmap
Empty Monochromatic Simplices in k-Colored Point Sets Empty Monochromatic Simplicesin 2-Colored Point Sets
Pulling complexes
Discrepancy lemmaOrder lemma
LiteratureTheorem 1”Lower Bound Theorem” Theorem 2
Large sized triangulations
Theorem 5: d>2
∃T , |T |≥dn+maxh,
log2(n)2d
−cd
Lemmata 3, 4 cd=d3+d2+d
Lemmata 6 – 13
Lemma 9 Lemma 10T1, T2
T1
T5
Lemmata 14, 15L3
Lemmata 16, 18 – 23
T1T2 L6 L8, L11–13
Corollary 25: d>2, k=d+1
∃ linear number of EMS
Theorem 29: d≥k≥3
Ω(nd−k+1+2−d) EMS
Theorems 24, 27 – 29Corollaries 25, 26
Theorems 31 – 33Observation 30
Corollary 17
Theorem 33: d≥2, k=2
Ω(nd−2/3 ) EMS
T5 L15 L14
L19, 21–23C17, L16 L18, 20
![Page 43: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/43.jpg)
11-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulations: convex setLemma 3:
∀ S⊂Rd of n points in convex position
![Page 44: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/44.jpg)
11-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulations: convex setLemma 3:
∀ S⊂Rd of n points in convex positiond>2, n>d(d+1)
![Page 45: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/45.jpg)
11-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulations: convex setLemma 3:
∀ S⊂Rd of n points in convex position
∃ triangulation of size at least (d+1)n− cdd>2, n>d(d+1), cd = d3+d2+d . . . constant
![Page 46: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/46.jpg)
11-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulations: convex setLemma 3:
∀ S⊂Rd of n points in convex position
∃ triangulation of size at least (d+1)n− cdd>2, n>d(d+1), cd = d3+d2+d . . . constant
![Page 47: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/47.jpg)
11-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulations: convex setLemma 3:
∀ S⊂Rd of n points in convex position
∃ triangulation of size at least (d+1)n− cdProof:By Theorem 1: CH(S) has at least dn− d(d+1)
2edges
d>2, n>d(d+1), cd = d3+d2+d . . . constant
![Page 48: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/48.jpg)
11-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulations: convex setLemma 3:
∀ S⊂Rd of n points in convex position
∃ triangulation of size at least (d+1)n− cdProof:By Theorem 1: CH(S) has at least dn− d(d+1)
2edges
⇒ ∃ point p ∈ S with degree at least 2d in CH(S) as long as n>d(d+1)
d>2, n>d(d+1), cd = d3+d2+d . . . constant
![Page 49: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/49.jpg)
11-7
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulations: convex setLemma 3:
∀ S⊂Rd of n points in convex position
∃ triangulation of size at least (d+1)n− cdProof:By Theorem 1: CH(S) has at least dn− d(d+1)
2edges
⇒ ∃ point p ∈ S with degree at least 2d in CH(S) as long as n>d(d+1)
• successively remove such points p from S until d(d+1) points left
• arbitrary triangulation Td(d+1) of size at least d(d+1)−d = d2
• insert points p in reversed order: ≥2d−(d−1) = d+1 d-simplices each
d>2, n>d(d+1), cd = d3+d2+d . . . constant
![Page 50: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/50.jpg)
11-8
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulations: convex setLemma 3:
∀ S⊂Rd of n points in convex position
∃ triangulation of size at least (d+1)n− cdProof:By Theorem 1: CH(S) has at least dn− d(d+1)
2edges
⇒ ∃ point p ∈ S with degree at least 2d in CH(S) as long as n>d(d+1)
d>2, n>d(d+1), cd = d3+d2+d . . . constant
• successively remove such points p from S until d(d+1) points left
• arbitrary triangulation Td(d+1) of size at least d(d+1)−d = d2
• insert points p in reversed order: ≥2d−(d−1) = d+1 d-simplices each
⇒ triangulation of size at least d2+(d+1)(n−d(d+1)) = (d+1)n− cd
![Page 51: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/51.jpg)
12-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
![Page 52: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/52.jpg)
12-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
![Page 53: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/53.jpg)
12-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
dn+maxh, log2(n)
2d
− cd
![Page 54: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/54.jpg)
12-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:dn+max
h, log2(n)
2d
− cd
![Page 55: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/55.jpg)
12-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:
• |P | = h > log2(n)/(2d) > d(d+ 1)
dn+maxh, log2(n)
2d
− cd
![Page 56: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/56.jpg)
12-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:
• |P | = h > log2(n)/(2d) > d(d+ 1)
∃ triangulation of P of size at least (d+1)h− cd
dn+maxh, log2(n)
2d
− cd
![Page 57: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/57.jpg)
12-7
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:
• |P | = h > log2(n)/(2d) > d(d+ 1)
∃ triangulation of P of size at least (d+1)h− cd insert the remaining n−h points ⇒ d additional d-simplices each
dn+maxh, log2(n)
2d
− cd
![Page 58: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/58.jpg)
12-8
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:
• |P | = h > log2(n)/(2d) > d(d+ 1)
∃ triangulation of P of size at least (d+1)h− cd insert the remaining n−h points ⇒ d additional d-simplices each
⇒ resulting triangulation has size at least
dn+h−cd > dn+ log2(n)
2d− cd
dn+maxh, log2(n)
2d
− cd
![Page 59: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/59.jpg)
12-9
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:
• |P | = h ≤ log2(n)/(2d)
dn+maxh, log2(n)
2d
− cd
![Page 60: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/60.jpg)
12-10
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:
• |P | = h ≤ log2(n)/(2d)
Erdos-Szekeres: ∃ convex set Q ⊂S, |Q|> log2(n)
2>d(d+1)
dn+maxh, log2(n)
2d
− cd
![Page 61: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/61.jpg)
12-11
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:
• |P | = h ≤ log2(n)/(2d)
Erdos-Szekeres: ∃ convex set Q ⊂S, |Q|> log2(n)
2>d(d+1)
P ′=P\Q: ∃ triangulation of P ′∪Q of size at least (d+1)|Q|−cd+|P ′|
dn+maxh, log2(n)
2d
− cd
![Page 62: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/62.jpg)
12-12
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:
• |P | = h ≤ log2(n)/(2d)
Erdos-Szekeres: ∃ convex set Q ⊂S, |Q|> log2(n)
2>d(d+1)
P ′=P\Q: ∃ triangulation of P ′∪Q of size at least (d+1)|Q|+|P ′|−cd insert the remaining points ⇒ d additional d-simplices each
dn+maxh, log2(n)
2d
− cd
![Page 63: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/63.jpg)
12-13
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
Proof: Two cases:
• |P | = h ≤ log2(n)/(2d)
Erdos-Szekeres: ∃ convex set Q ⊂S, |Q|> log2(n)
2>d(d+1)
P ′=P\Q: ∃ triangulation of P ′∪Q of size at least (d+1)|Q|+|P ′|−cd insert the remaining points ⇒ d additional d-simplices each
⇒ resulting triangulation has size at least
(d+1)|Q|+|P ′|−cd + d(n−|Q|−|P ′|) > dn+ log2(n)
2d− cd
dn+maxh, log2(n)
2d
− cd
![Page 64: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/64.jpg)
13-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Note on Theorem 5• The constant cd in Lemma 3 can be improved to
d3
2 + 13d2
12 + 7d12 . . . equals 25 for d = 3
• For d = 3 Theorem 5 improves to
3n+ maxh, log2 n
6
− 25
![Page 65: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/65.jpg)
13-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Note on Theorem 5
[EWP] H. Edelsbrunner, F.P. Preparata, and D.B. West.Tetrahedrizing point sets in three dimensions. 1990.
• The constant cd in Lemma 3 can be improved to
d3
2 + 13d2
12 + 7d12 . . . equals 25 for d = 3
• For d = 3 Theorem 5 improves to
3n+ maxh, log2 n
6
− 25
• [EPW]: Every set of n points in general position in R3,with h convex hull points, has a tetrahedrization of sizeat least 3(n− h) + 4h− 25 for h ≥ 13.
![Page 66: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/66.jpg)
14-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
dn+ maxh, log2(n)
2d
− cd
![Page 67: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/67.jpg)
14-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Large sized triangulationsTheorem 5:
∀ S⊂Rd of n points in general position
d>2, n>4d2(d+1), h . . . number of convex hull points
∃ triangulation of size at least
dn+ log2(n)2d − cd
![Page 68: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/68.jpg)
15-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes• d-simplicial complex K of S⊂Rd such that
![Page 69: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/69.jpg)
15-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes• d-simplicial complex K of S⊂Rd such that
• for a predefined subset X⊂S, (1 ≤ |X| ≤ d−1)
• each d-simplex contains X in its vertex set
![Page 70: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/70.jpg)
15-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes• d-simplicial complex K of S⊂Rd such that
• for a predefined subset X⊂S, (1 ≤ |X| ≤ d−1)
• each d-simplex contains X in its vertex set
![Page 71: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/71.jpg)
15-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes• d-simplicial complex K of S⊂Rd such that
• for a predefined subset X⊂S, (1 ≤ |X| ≤ d−1)
• each d-simplex contains X in its vertex set
p
![Page 72: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/72.jpg)
15-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes• d-simplicial complex K of S⊂Rd such that
• for a predefined subset X⊂S, (1 ≤ |X| ≤ d−1)
• each d-simplex contains X in its vertex set
p ⌈
n−12
⌉⌊
n−12
⌋Π
![Page 73: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/73.jpg)
15-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes• d-simplicial complex K of S⊂Rd such that
• for a predefined subset X⊂S, (1 ≤ |X| ≤ d−1)
• each d-simplex contains X in its vertex set
Π′
Π′′
p ⌈
n−12
⌉⌊
n−12
⌋Π
![Page 74: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/74.jpg)
15-7
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes• d-simplicial complex K of S⊂Rd such that
• for a predefined subset X⊂S, (1 ≤ |X| ≤ d−1)
• each d-simplex contains X in its vertex set
Π′
Π′′
p
![Page 75: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/75.jpg)
15-8
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes• d-simplicial complex K of S⊂Rd such that
• for a predefined subset X⊂S, (1 ≤ |X| ≤ d−1)
• each d-simplex contains X in its vertex set
Π′
Π′′
p
![Page 76: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/76.jpg)
16-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexesLemma 9:
∀ S⊂Rd (d>3) of n>4d2(d+1) points in general position
∀ point p∈S
⇒ ∃ d-dimensional simplicial complex of size at least
(d−1)n+ log2 n2(d−1)−2cd−1
all whose d-simplices have p as a vertex
![Page 77: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/77.jpg)
17-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes
![Page 78: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/78.jpg)
17-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes
ΠX
r := |X|
(r−1)-dimensional
![Page 79: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/79.jpg)
17-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes
Π
Π′
X
r := |X|
(r−1)-dimensional
(d−(r−1))-dimensional
![Page 80: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/80.jpg)
17-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes
Π
Π′
X
r := |X|
(r−1)-dimensional
(d−(r−1))-dimensional
![Page 81: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/81.jpg)
17-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexes
Π
Π′
X
r := |X|
(r−1)-dimensional
(d−(r−1))-dimensional
![Page 82: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/82.jpg)
18-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Pulling complexesLemma 10:
∀ S⊂Rd (d>3) of n>4d2(d+1) points in general position
∀X⊂S and 1 ≤ |X| ≤ d−3
⇒ ∃ d-dimensional simplicial complex of size at least
(d−|X|)n+ log2 n2(d−|X|)−2cd−1
all whose d-simplices contain X in their vertex set
![Page 83: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/83.jpg)
19-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Order Lemma”• ”Generalized Order Lemma” (Lemma 15)
S ⊂ Rd set of n ≥ d+1 points in general position
d > 2, h := |CH(S) ∩ S|
⇒ ∃ d-dimensional simplicial complex with at least
(d−1)n+ (n−h)(2(1−d))
+2h−cd d-simplices, each
having at least one of their vertices in CH(S) ∩ S
![Page 84: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/84.jpg)
19-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Order Lemma”• ”Generalized Order Lemma” (Lemma 15)
S ⊂ Rd set of n ≥ d+1 points in general position
d > 2, h := |CH(S) ∩ S|
⇒ ∃ d-dimensional simplicial complex with at least
(d−1)n+ (n−h)(2(1−d))
+2h−cd d-simplices, each
having at least one of their vertices in CH(S) ∩ S
(n−h)(2(1−d)) ⇔
√√√√√ ...√√(n−h)
(d−1) times
![Page 85: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/85.jpg)
20-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Discrepancy• k-colored set S ⊂ Rd of n points in general position
k . . . constant, d ≥ 2
(S1, . . . , Sk) . . . color classes of S
Smax . . . biggest color class
![Page 86: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/86.jpg)
20-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Discrepancy• k-colored set S ⊂ Rd of n points in general position
k . . . constant, d ≥ 2
(S1, . . . , Sk) . . . color classes of S
Smax . . . biggest color class
• discrepancy δ(S):
![Page 87: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/87.jpg)
20-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Discrepancy• k-colored set S ⊂ Rd of n points in general position
k . . . constant, d ≥ 2
(S1, . . . , Sk) . . . color classes of S
Smax . . . biggest color class
• discrepancy δ(S):
bichromatic (k=2): δ(S) := |Smax|−|S\Smax|
![Page 88: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/88.jpg)
20-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Discrepancy• k-colored set S ⊂ Rd of n points in general position
k . . . constant, d ≥ 2
(S1, . . . , Sk) . . . color classes of S
Smax . . . biggest color class
• discrepancy δ(S):
δ(S) :=∑
(|Smax|−|Si|)
![Page 89: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/89.jpg)
20-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Discrepancy• k-colored set S ⊂ Rd of n points in general position
k . . . constant, d ≥ 2
(S1, . . . , Sk) . . . color classes of S
Smax . . . biggest color class
• discrepancy δ(S):
δ(S) :=∑
(|Smax|−|Si|)= (k−1)|Smax|−|S\Smax| = k|Smax|−n
![Page 90: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/90.jpg)
21-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
![Page 91: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/91.jpg)
21-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
![Page 92: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/92.jpg)
21-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
![Page 93: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/93.jpg)
21-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”
• Proof: choose a set X⊂Smax of d−k+1 points
→ apply Lemma 10 to Smax and X
- ∃ d-dimensional simplicial complex, KX(Smax)
- |KX(Smax)| ≥ (d−|X|)|Smax|+ log2 |Smax|2(d−|X|) −2cd−1
• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
![Page 94: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/94.jpg)
21-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
→ |KX(Smax)| ≥ (d−|X|)|Smax|+ log2 |Smax|2(d−|X|) −2cd−1
![Page 95: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/95.jpg)
21-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
→ |KX(Smax)| ≥ (d−|X|)|Smax|+ log2 |Smax|2(d−|X|) −2cd−1
![Page 96: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/96.jpg)
21-7
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
→ |KX(Smax)| ≥ (k−1)|Smax|+ log2 |Smax|2(k−1)
−2cd−1
![Page 97: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/97.jpg)
21-8
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
→ |KX(Smax)| ≥ (k−1)|Smax|+ log2 |Smax|2(k−1)
−2cd−1 of which at least
(k−1)|Smax|+ log2 |Smax|2(k−1)
−2cd−1−|S \ Smax| are empty
![Page 98: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/98.jpg)
21-9
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
→ |KX(Smax)| ≥ (k−1)|Smax|+ log2 |Smax|2(k−1)
−2cd−1 of which at least
(k−1)|Smax|+ log2 |Smax|2(k−1)
−2cd−1−|S \ Smax| are empty
(k−1)|Smax|−|S \ Smax| = δ(S)
![Page 99: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/99.jpg)
21-10
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
→ KX(Smax) : ≥ δ(S)+ log2 |Smax|2(k−1)
−2cd−1 empty monochr. d-simplices
![Page 100: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/100.jpg)
21-11
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
→ KX(Smax) : ≥ δ(S)+ log2 |Smax|2(k−1)
−2cd−1 empty monochr. d-simplices
(|Smax|d−k+1
)many subsets X
![Page 101: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/101.jpg)
21-12
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
→ KX(Smax) : ≥ δ(S)+ log2 |Smax|2(k−1)
−2cd−1 empty monochr. d-simplices
(|Smax|d−k+1
)many subsets X
over-count each d-simplex at most(
d+1d−k+1
)times
![Page 102: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/102.jpg)
21-13
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
”Generalized Discrepancy Lemma”• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Proof: choose a set X⊂Smax of d−k+1 points
→ KX(Smax) : ≥ δ(S)+ log2 |Smax|2(k−1)
−2cd−1 empty monochr. d-simplices
(|Smax|d−k+1
)many subsets X
over-count each d-simplex at most(
d+1d−k+1
)times →
(|Smax|d−k+1)( d+1d−k+1)
![Page 103: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/103.jpg)
22-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Simple observation• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
![Page 104: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/104.jpg)
22-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Simple observation• ”Generalized Discrepancy Lemma” (Lemma 19)
k-colored set S ⊂ Rd of n points in general position
d ≥ k > 3, n > k ·4d2(d+1)
⇒ S determines Ω(nd−k+1 · (δ(S) + log n)
)empty
monochromatic d-simplices
• Corollary 26:
S determines Ω(nd−k+1 log n
)empty monochromatic
d-simplices
![Page 105: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/105.jpg)
23-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
More discrepancy lemmata
empty monochr. d-simplices
Lemma 19 d ≥ k > 3 Ω(nd−k+1 · (δ(S) + log n)
)Lemma 18 d = 2, k = 2
Lemma 20 d ≥ 3, k = 2
Lemma 21 d = 3, k = 3 Ω(nd−k+1 · δ(S))
Lemma 22 d > 4, k = 3
Lemma 23 d = 4, k = 3
![Page 106: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/106.jpg)
24-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
(d+1)-Colored Point Sets• (d+1)-colored set S ⊂ Rd of n points in general position
d > 2, n ≥ (d+1)·4d(cd+1)cd = d3+d2+d
![Page 107: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/107.jpg)
24-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
(d+1)-Colored Point Sets
O. Devillers, F. Hurtado, G. Karoly, and C. Seara.Chromatic variants of the Erdos-Szekeres theorem onpoints in convex position. 2003.
∃ arbitrarily large 3-colored point sets in R2 which do notcontain an empty monochromatic triangle
• (d+1)-colored set S ⊂ Rd of n points in general position
d > 2, n ≥ (d+1)·4d(cd+1)cd = d3+d2+d
![Page 108: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/108.jpg)
24-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
(d+1)-Colored Point Sets
• Recall Theorem 5:
∀ S⊂Rd of n points in general position
- d>2, n>4d2(d+1)
∃ triangulation of size at least dn+ log2(n)2d − cd
• (d+1)-colored set S ⊂ Rd of n points in general position
d > 2, n ≥ (d+1)·4d(cd+1)cd = d3+d2+d
![Page 109: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/109.jpg)
24-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
(d+1)-Colored Point Sets• (d+1)-colored set S ⊂ Rd of n points in general position
d > 2, n ≥ (d+1)·4d(cd+1)cd = d3+d2+d
• Apply Theorem 5 to Smax: |Smax| ≥⌈
nd+1
⌉ ∃ triangulation of size at least
d|Smax|+ log2(|Smax|)2d − cd
![Page 110: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/110.jpg)
24-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
(d+1)-Colored Point Sets• (d+1)-colored set S ⊂ Rd of n points in general position
d > 2, n ≥ (d+1)·4d(cd+1)cd = d3+d2+d
• Apply Theorem 5 to Smax: |Smax| ≥⌈
nd+1
⌉ ∃ triangulation of size at least
d|Smax|+ log2(|Smax|)2d − cd
at most d|Smax| points of remaining colors
![Page 111: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/111.jpg)
24-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
(d+1)-Colored Point Sets• (d+1)-colored set S ⊂ Rd of n points in general position
d > 2, n ≥ (d+1)·4d(cd+1)cd = d3+d2+d
• Apply Theorem 5 to Smax: |Smax| ≥⌈
nd+1
⌉ ∃ triangulation of size at least
d|Smax|+ log2(|Smax|)2d − cd
at most d|Smax| points of remaining colors
⇒ at least log2(|Smax|)2d − cd ≥ 2d(cd+1)
2d − cd = 1
empty d-simplices
![Page 112: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/112.jpg)
25-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
(d+1)-Colored Point Sets• Theorem 24:
Every (d+1)-colored set S ⊂ Rd (d>2)
of n ≥ (d+1)·4d(cd+1) points in general position
determines an empty monochromatic d-simplex.
![Page 113: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/113.jpg)
25-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
(d+1)-Colored Point Sets• Theorem 24:
Every (d+1)-colored set S ⊂ Rd (d>2)
of n ≥ (d+1)·4d(cd+1) points in general position
determines an empty monochromatic d-simplex.
![Page 114: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/114.jpg)
25-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
(d+1)-Colored Point Sets• Theorem 24:
Every (d+1)-colored set S ⊂ Rd (d>2)
of n ≥ (d+1)·4d(cd+1) points in general position
determines an empty monochromatic d-simplex.
• Corollary 25:
Every (d+1)-colored set of n points in general position
in Rd (d>2) determines at least a linear number of
empty monochromatic d-simplices.
![Page 115: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/115.jpg)
26-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
d-Colored Point Sets• Theorem 27:
∀ d-colored sets S⊂Rd of n points in general position
- d>2, n≥f(d) f(d) constant w.r.t. n
![Page 116: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/116.jpg)
26-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
d-Colored Point Sets• Theorem 27:
∀ d-colored sets S⊂Rd of n points in general position
- d>2, n≥f(d) f(d) constant w.r.t. n
for each color 1≤j≤d, either:
![Page 117: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/117.jpg)
26-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
d-Colored Point Sets• Theorem 27:
∀ d-colored sets S⊂Rd of n points in general position
- d>2, n≥f(d) f(d) constant w.r.t. n
for each color 1≤j≤d, either:
- ∃ Ω(n1+2−d
)empty monochromatic d-simplices
of color j
![Page 118: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/118.jpg)
26-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
d-Colored Point Sets• Theorem 27:
∀ d-colored sets S⊂Rd of n points in general position
- d>2, n≥f(d) f(d) constant w.r.t. n
for each color 1≤j≤d, either:
- ∃ Ω(n1+2−d
)empty monochromatic d-simplices
of color j
or:
- ∃ convex set C⊂Rd, such that
|S∩C| = Θ(n) and δ(S∩C) = Ω(n2−d
)
![Page 119: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/119.jpg)
27-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
d-Colored → k-Colored• Theorem 28:
∀ k-colored sets S⊂Rd of n points in general position
- d≥k>2, n≥f(d, k) f(d, k) constant w.r.t. n
for each color 1≤j≤k, either:
- ∃ Ω(nd−k+1+2−d
)empty monochromatic d-simplices
of color j
or:
- ∃ convex set C⊂Rd, such that
|S∩C| = Θ(n) and δ(S∩C) = Ω(n2−d
)
![Page 120: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/120.jpg)
28-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Improvement• Theorem 29:
Every k-colored set in n points in general position in
Rd (d≥k≥3) determines Ω(nd−k+1+2−d
)empty
monochromatic d-simplices.
![Page 121: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/121.jpg)
28-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Improvement• Theorem 29:
Every k-colored set in n points in general position in
Rd (d≥k≥3) determines Ω(nd−k+1+2−d
)empty
monochromatic d-simplices.
• Proof:
![Page 122: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/122.jpg)
28-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Improvement• Theorem 29:
Every k-colored set in n points in general position in
Rd (d≥k≥3) determines Ω(nd−k+1+2−d
)empty
monochromatic d-simplices.
• Proof:
either: Ω(nd−k+1+2−d
)EMS directly by Theorem 28
![Page 123: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/123.jpg)
28-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Improvement• Theorem 29:
Every k-colored set in n points in general position in
Rd (d≥k≥3) determines Ω(nd−k+1+2−d
)empty
monochromatic d-simplices.
• Proof:
either: Ω(nd−k+1+2−d
)EMS directly by Theorem 28
or: by Theorem 28:
- ∃ convex set C⊂Rd: |S∩C|=Θ(n), δ(S∩C)=Ω(n2−d
)
![Page 124: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/124.jpg)
28-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Improvement• Theorem 29:
Every k-colored set in n points in general position in
Rd (d≥k≥3) determines Ω(nd−k+1+2−d
)empty
monochromatic d-simplices.
• Proof:
either: Ω(nd−k+1+2−d
)EMS directly by Theorem 28
or: by Theorem 28:
- ∃ convex set C⊂Rd: |S∩C|=Θ(n), δ(S∩C)=Ω(n2−d
)
- and by discrepancy lemmata:
Ω(nd−k+1 · δ(S)
)EMS
![Page 125: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/125.jpg)
29-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
2-Colored Point Sets• similar to the case d ≥ k > 2
• Theorem 33:
Every 2-colored set of n points in general position
in Rd (d≥2) determines Ω(nd−
2/3)
empty monochromatic d-simplices.
![Page 126: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/126.jpg)
30-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Conclusion• ∀ sets S⊂Rd of n points, h = |CH(S)∩S|
![Page 127: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/127.jpg)
30-2
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Conclusion• ∀ sets S⊂Rd of n points, h = |CH(S)∩S|
• ∃ triangulation of size at least
dn+maxh, log2(n)
2d
− cd
![Page 128: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/128.jpg)
30-3
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Conclusion• ∀ sets S⊂Rd of n points, h = |CH(S)∩S|
• ∃ triangulation of size at least
dn+maxh, log2(n)
2d
− cd
• # empty monochromatic d-simplicies if S is k-colored
![Page 129: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/129.jpg)
30-4
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Conclusion• ∀ sets S⊂Rd of n points, h = |CH(S)∩S|
• ∃ triangulation of size at least
dn+maxh, log2(n)
2d
− cd
• # empty monochromatic d-simplicies if S is k-colored
colors d ≥ 3
k = 2 Ω(nd−2/3)
![Page 130: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/130.jpg)
30-5
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Conclusion• ∀ sets S⊂Rd of n points, h = |CH(S)∩S|
• ∃ triangulation of size at least
dn+maxh, log2(n)
2d
− cd
• # empty monochromatic d-simplicies if S is k-colored
colors d ≥ 3
k = 2 Ω(nd−2/3)
3 ≤ k ≤ d Ω(nd−k+1+2−d
)
![Page 131: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/131.jpg)
30-6
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Conclusion• ∀ sets S⊂Rd of n points, h = |CH(S)∩S|
• ∃ triangulation of size at least
dn+maxh, log2(n)
2d
− cd
• # empty monochromatic d-simplicies if S is k-colored
colors d ≥ 3
k = 2 Ω(nd−2/3)
3 ≤ k ≤ d Ω(nd−k+1+2−d
)
k = d+ 1 Ω(n)
![Page 132: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/132.jpg)
30-7
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Conclusion• ∀ sets S⊂Rd of n points, h = |CH(S)∩S|
• ∃ triangulation of size at least
dn+maxh, log2(n)
2d
− cd
• # empty monochromatic d-simplicies if S is k-colored
colors d ≥ 3
k = 2 Ω(nd−2/3)
3 ≤ k ≤ d Ω(nd−k+1+2−d
)
k = d+ 1 Ω(n)
k ≥ d+ 2 unknown
![Page 133: Thomas Hackl: Eurogiga Midterm Conference, July 9 13 , 2012 · Thomas Hackl: Eurogiga Midterm Conference, July 9th { 13th, 2012 Empty Monochromatic Simplices Oswin Aichholzer1, Ruy](https://reader036.vdocument.in/reader036/viewer/2022070800/5f0223037e708231d402c0e2/html5/thumbnails/133.jpg)
31-1
P 23629–N18Graz University of TechnologyInstitute for Software Technology
Thomas Hackl: Eurogiga Midterm Conference, July 9th – 13th, 2012
Thank you for your attention !