Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf ·...
Transcript of Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf ·...
![Page 1: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/1.jpg)
Splitting PolytopesSven Herrmann (joint work with Michael Joswig)62ème Séminaire Lotharingien de Combinatoire
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 1
![Page 2: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/2.jpg)
Subdivisions and Splits of Convex Polytopes
Regular Subdivisions and Secondary Polytopes
Properties of Splits
Application: Tropical Geometry
Generalizations/Outlook
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 2
![Page 3: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/3.jpg)
Subdivisions
DefinitionA subdivision of P is a collection Σ of polytopes (faces) such that
◮
⋃
F∈Σ= P ,
◮ F ∈ Σ =⇒ all faces of F are in Σ,◮ F1, F2 ∈ Σ =⇒ F1 ∩ F2 is a face of both,◮ F 0-dimensional =⇒ F is a vertex of P .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 3
![Page 4: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/4.jpg)
Subdivisions
DefinitionA subdivision of P is a collection Σ of polytopes (faces) such that
◮
⋃
F∈Σ= P ,
◮ F ∈ Σ =⇒ all faces of F are in Σ,◮ F1, F2 ∈ Σ =⇒ F1 ∩ F2 is a face of both,◮ F 0-dimensional =⇒ F is a vertex of P .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 3
![Page 5: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/5.jpg)
Subdivisions
DefinitionA subdivision of P is a collection Σ of polytopes (faces) such that
◮
⋃
F∈Σ= P ,
◮ F ∈ Σ =⇒ all faces of F are in Σ,◮ F1, F2 ∈ Σ =⇒ F1 ∩ F2 is a face of both,◮ F 0-dimensional =⇒ F is a vertex of P .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 3
![Page 6: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/6.jpg)
Refinements of Subdivisions
Definition◮ Σ′ is a refinement of Σ if each face of Σ′ is contained in a face of Σ.◮ The common refinement of two subdivisions Σ, Σ′ of P is the subdivision
{S ∩ S ′ | S ∈ Σ, S ′ ∈ Σ′}.
◮ The refinement defines a partial order on the set of all subdivisions of P .◮ A finest subdivision (minimal element) is a triangulation.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 4
![Page 7: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/7.jpg)
Refinements of Subdivisions
Definition◮ Σ′ is a refinement of Σ if each face of Σ′ is contained in a face of Σ.◮ The common refinement of two subdivisions Σ, Σ′ of P is the subdivision
{S ∩ S ′ | S ∈ Σ, S ′ ∈ Σ′}.
◮ The refinement defines a partial order on the set of all subdivisions of .Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 4
![Page 8: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/8.jpg)
Refinements of Subdivisions
Definition◮ Σ′ is a refinement of Σ if each face of Σ′ is contained in a face of Σ.◮ The common refinement of two subdivisions Σ, Σ′ of P is the subdivision
{S ∩ S ′ | S ∈ Σ, S ′ ∈ Σ′}.
◮ The refinement defines a partial order on the set of all subdivisions of .Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 4
![Page 9: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/9.jpg)
Refinements of Subdivisions
Definition◮ Σ′ is a refinement of Σ if each face of Σ′ is contained in a face of Σ.◮ The common refinement of two subdivisions Σ, Σ′ of P is the subdivision
{S ∩ S ′ | S ∈ Σ, S ′ ∈ Σ′}.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 4
![Page 10: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/10.jpg)
Refinements of Subdivisions
Definition◮ Σ′ is a refinement of Σ if each face of Σ′ is contained in a face of Σ.◮ The common refinement of two subdivisions Σ, Σ′ of P is the subdivision
{S ∩ S ′ | S ∈ Σ, S ′ ∈ Σ′}.
◮ The refinement defines a partial order on the set of all subdivisions of P .◮ A finest subdivision (minimal element) is a triangulation.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 4
![Page 11: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/11.jpg)
Refinements of Subdivisions
Definition◮ Σ′ is a refinement of Σ if each face of Σ′ is contained in a face of Σ.◮ The common refinement of two subdivisions Σ, Σ′ of P is the subdivision
{S ∩ S ′ | S ∈ Σ, S ′ ∈ Σ′}.
◮ The refinement defines a partial order on the set of all subdivisions of P .◮ A finest subdivision (minimal element) is a triangulation.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 4
![Page 12: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/12.jpg)
Splits of Convex Polytopes
DefinitionA split S of a polytope P is a subdivision of P with exactly two maximal faces.
◮ A splits S is defined by a hyperplane HS .◮ A hyperplane H (that meets the interior of P) defines a split if and only if
H does not cut any edge of P .◮ =⇒ The splits of P only depend on the combinatorics (oriented matroid)
of P , not on the realization.◮ Example: v a vertex of P such that all neighbors of v lie in a common
Hyperplane Hv : vertex split for v .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5
![Page 13: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/13.jpg)
Splits of Convex Polytopes
DefinitionA split S of a polytope P is a subdivision of P with exactly two maximal faces.
◮ A splits S is defined by a hyperplane HS .◮ A hyperplane H (that meets the interior of P) defines a split if and only if
H does not cut any edge of P .◮ =⇒ The splits of P only depend on the combinatorics (oriented matroid)
of P , not on the realization.◮ Example: v a vertex of P such that all neighbors of v lie in a common
Hyperplane Hv : vertex split for v .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5
![Page 14: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/14.jpg)
Splits of Convex Polytopes
DefinitionA split S of a polytope P is a subdivision of P with exactly two maximal faces.
◮ A splits S is defined by a hyperplane HS .◮ A hyperplane H (that meets the interior of P) defines a split if and only if
H does not cut any edge of P .◮ =⇒ The splits of P only depend on the combinatorics (oriented matroid)
of P , not on the realization.◮ Example: v a vertex of P such that all neighbors of v lie in a common
Hyperplane Hv : vertex split for v .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5
![Page 15: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/15.jpg)
Splits of Convex Polytopes
DefinitionA split S of a polytope P is a subdivision of P with exactly two maximal faces.
◮ A splits S is defined by a hyperplane HS .◮ A hyperplane H (that meets the interior of P) defines a split if and only if
H does not cut any edge of P .◮ =⇒ The splits of P only depend on the combinatorics (oriented matroid)
of P , not on the realization.◮ Example: v a vertex of P such that all neighbors of v lie in a common
Hyperplane Hv : vertex split for v .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5
![Page 16: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/16.jpg)
Splits of Convex Polytopes
DefinitionA split S of a polytope P is a subdivision of P with exactly two maximal faces.
◮ A splits S is defined by a hyperplane HS .◮ A hyperplane H (that meets the interior of P) defines a split if and only if
H does not cut any edge of P .◮ =⇒ The splits of P only depend on the combinatorics (oriented matroid)
of P , not on the realization.◮ Example: v a vertex of P such that all neighbors of v lie in a common
Hyperplane Hv : vertex split for v .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5
![Page 17: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/17.jpg)
Example: Hypersimplices
◮ ∆(k , n) := conv{
∑
i∈I ei
∣
∣
∣I ∈
(
{1,...,n}k
)
}
⊂ Rn,
◮ n-dimensional unit cube cut with the hyperplane∑
i xi = k ,◮ For a partition (A, B) of {1, ... , n} define the (A, B; µ)-hyperplane by
∑
i∈A
xi = µ .
Satz (Joswig, H. 08)The splits of ∆(k , n) correspond to the (A, B; µ)-hyperplanes withk − µ + 1 ≤ |A| ≤ n − µ − 1 and 1 ≤ µ ≤ k − 1.
Theorem (Josiwg, H. 08)The number of splits of ∆(k , n) equals (k − 1) (2n − (n − 1))−
∑k−1
i=2(k − i)
(
ni
)
.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 6
![Page 18: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/18.jpg)
Example: Hypersimplices
◮ ∆(k , n) := conv{
∑
i∈I ei
∣
∣
∣I ∈
(
{1,...,n}k
)
}
⊂ Rn,
◮ n-dimensional unit cube cut with the hyperplane∑
i xi = k ,◮ For a partition (A, B) of {1, ... , n} define the (A, B; µ)-hyperplane by
∑
i∈A
xi = µ .
Satz (Joswig, H. 08)The splits of ∆(k , n) correspond to the (A, B; µ)-hyperplanes withk − µ + 1 ≤ |A| ≤ n − µ − 1 and 1 ≤ µ ≤ k − 1.
Theorem (Josiwg, H. 08)The number of splits of ∆(k , n) equals (k − 1) (2n − (n − 1))−
∑k−1
i=2(k − i)
(
ni
)
.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 6
![Page 19: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/19.jpg)
Example: Hypersimplices
◮ ∆(k , n) := conv{
∑
i∈I ei
∣
∣
∣I ∈
(
{1,...,n}k
)
}
⊂ Rn,
◮ n-dimensional unit cube cut with the hyperplane∑
i xi = k ,◮ For a partition (A, B) of {1, ... , n} define the (A, B; µ)-hyperplane by
∑
i∈A
xi = µ .
Satz (Joswig, H. 08)The splits of ∆(k , n) correspond to the (A, B; µ)-hyperplanes withk − µ + 1 ≤ |A| ≤ n − µ − 1 and 1 ≤ µ ≤ k − 1.
Theorem (Josiwg, H. 08)The number of splits of ∆(k , n) equals (k − 1) (2n − (n − 1))−
∑k−1
i=2(k − i)
(
ni
)
.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 6
![Page 20: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/20.jpg)
Example: Hypersimplices
◮ ∆(k , n) := conv{
∑
i∈I ei
∣
∣
∣I ∈
(
{1,...,n}k
)
}
⊂ Rn,
◮ n-dimensional unit cube cut with the hyperplane∑
i xi = k ,◮ For a partition (A, B) of {1, ... , n} define the (A, B; µ)-hyperplane by
∑
i∈A
xi = µ .
Satz (Joswig, H. 08)The splits of ∆(k , n) correspond to the (A, B; µ)-hyperplanes withk − µ + 1 ≤ |A| ≤ n − µ − 1 and 1 ≤ µ ≤ k − 1.
Theorem (Josiwg, H. 08)The number of splits of ∆(k , n) equals (k − 1) (2n − (n − 1))−
∑k−1
i=2(k − i)
(
ni
)
.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 6
![Page 21: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/21.jpg)
Example: Hypersimplices
◮ ∆(k , n) := conv{
∑
i∈I ei
∣
∣
∣I ∈
(
{1,...,n}k
)
}
⊂ Rn,
◮ n-dimensional unit cube cut with the hyperplane∑
i xi = k ,◮ For a partition (A, B) of {1, ... , n} define the (A, B; µ)-hyperplane by
∑
i∈A
xi = µ .
Satz (Joswig, H. 08)The splits of ∆(k , n) correspond to the (A, B; µ)-hyperplanes withk − µ + 1 ≤ |A| ≤ n − µ − 1 and 1 ≤ µ ≤ k − 1.
Theorem (Josiwg, H. 08)The number of splits of ∆(k , n) equals (k − 1) (2n − (n − 1))−
∑k−1
i=2(k − i)
(
ni
)
.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 6
![Page 22: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/22.jpg)
Subdivisions and Splits of Convex Polytopes
Regular Subdivisions and Secondary Polytopes
Properties of Splits
Application: Tropical Geometry
Generalizations/Outlook
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 7
![Page 23: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/23.jpg)
Regular Subdivisions
◮ w : vert P → R weight function,◮ consider conv{(v , w(v)) | v ∈ vert P},◮ project the lower convex hull down to P,◮ the resulting subdivision Σw (P) is called regular.
LemmaSplits are regular.Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 8
![Page 24: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/24.jpg)
Regular Subdivisions
◮ w : vert P → R weight function,◮ consider conv{(v , w(v)) | v ∈ vert P},◮ project the lower convex hull down to P,◮ the resulting subdivision Σw (P) is called regular.
LemmaSplits are regular.Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 8
![Page 25: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/25.jpg)
Regular Subdivisions
◮ w : vert P → R weight function,◮ consider conv{(v , w(v)) | v ∈ vert P},◮ project the lower convex hull down to P,◮ the resulting subdivision Σw (P) is called regular.
LemmaSplits are regular.Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 8
![Page 26: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/26.jpg)
Regular Subdivisions
◮ w : vert P → R weight function,◮ consider conv{(v , w(v)) | v ∈ vert P},◮ project the lower convex hull down to P,◮ the resulting subdivision Σw (P) is called regular.
LemmaSplits are regular.Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 8
![Page 27: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/27.jpg)
Regular Subdivisions
◮ w : vert P → R weight function,◮ consider conv{(v , w(v)) | v ∈ vert P},◮ project the lower convex hull down to P,◮ the resulting subdivision Σw (P) is called regular.
LemmaSplits are regular.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 8
![Page 28: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/28.jpg)
The Secondary Polytope
◮ P d-dimensional polytope in Rd with n vertices v1, ... , vn,
Theorem (Gel′fand, Kapranov, Zelevinsky 90)There exists an (n − d − 1)-dimensional polytope SecPoly(P) (secondarypolytope of P) whose face lattice is isomorphic to the poset of all regularsubdivisions of P .
◮ Vertices of SecPoly(P) correspond to triangulations Σ:xΣi =
∑
vi∈S∈Σvol(S).
◮ Facets of SecPoly(P) correspond to coarsest regular subdivisions.◮ The intersection of two faces corresponds to the common refinement of
the subdivisions corresponding to the faces.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 9
![Page 29: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/29.jpg)
The Secondary Polytope
◮ P d-dimensional polytope in Rd with n vertices v1, ... , vn,
Theorem (Gel′fand, Kapranov, Zelevinsky 90)There exists an (n − d − 1)-dimensional polytope SecPoly(P) (secondarypolytope of P) whose face lattice is isomorphic to the poset of all regularsubdivisions of P .
◮ Vertices of SecPoly(P) correspond to triangulations Σ:xΣi =
∑
vi∈S∈Σvol(S).
◮ Facets of SecPoly(P) correspond to coarsest regular subdivisions.◮ The intersection of two faces corresponds to the common refinement of
the subdivisions corresponding to the faces.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 9
![Page 30: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/30.jpg)
The Secondary Polytope
◮ P d-dimensional polytope in Rd with n vertices v1, ... , vn,
Theorem (Gel′fand, Kapranov, Zelevinsky 90)There exists an (n − d − 1)-dimensional polytope SecPoly(P) (secondarypolytope of P) whose face lattice is isomorphic to the poset of all regularsubdivisions of P .
◮ Vertices of SecPoly(P) correspond to triangulations Σ:xΣi =
∑
vi∈S∈Σvol(S).
◮ Facets of SecPoly(P) correspond to coarsest regular subdivisions.◮ The intersection of two faces corresponds to the common refinement of
the subdivisions corresponding to the faces.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 9
![Page 31: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/31.jpg)
The Secondary Polytope
◮ P d-dimensional polytope in Rd with n vertices v1, ... , vn,
Theorem (Gel′fand, Kapranov, Zelevinsky 90)There exists an (n − d − 1)-dimensional polytope SecPoly(P) (secondarypolytope of P) whose face lattice is isomorphic to the poset of all regularsubdivisions of P .
◮ Vertices of SecPoly(P) correspond to triangulations Σ:xΣi =
∑
vi∈S∈Σvol(S).
◮ Facets of SecPoly(P) correspond to coarsest regular subdivisions.◮ The intersection of two faces corresponds to the common refinement of
the subdivisions corresponding to the faces.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 9
![Page 32: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/32.jpg)
The Secondary Polytope
◮ P d-dimensional polytope in Rd with n vertices v1, ... , vn,
Theorem (Gel′fand, Kapranov, Zelevinsky 90)There exists an (n − d − 1)-dimensional polytope SecPoly(P) (secondarypolytope of P) whose face lattice is isomorphic to the poset of all regularsubdivisions of P .
◮ Vertices of SecPoly(P) correspond to triangulations Σ:xΣi =
∑
vi∈S∈Σvol(S).
◮ Facets of SecPoly(P) correspond to coarsest regular subdivisions.◮ The intersection of two faces corresponds to the common refinement of
the subdivisions corresponding to the faces.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 9
![Page 33: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/33.jpg)
Splits and Secondary Polytopes
◮ Splits are facets of SecPoly(P), they define an approximationSplitPoly(P) ⊃ SecPoly(P).
◮ This is a common approximation for all polytopes with the same orientedmatroid.
Theorem (Joswig, H. 09)SecPoly(P) = SplitPoly(P) if and only if P is a simplex, polygon, crosspolytope, prism over a simplex, or a (possible multiple) join of these polytopes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 10
![Page 34: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/34.jpg)
Splits and Secondary Polytopes
◮ Splits are facets of SecPoly(P), they define an approximationSplitPoly(P) ⊃ SecPoly(P).
◮ This is a common approximation for all polytopes with the same orientedmatroid.
Theorem (Joswig, H. 09)SecPoly(P) = SplitPoly(P) if and only if P is a simplex, polygon, crosspolytope, prism over a simplex, or a (possible multiple) join of these polytopes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 10
![Page 35: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/35.jpg)
Splits and Secondary Polytopes
◮ Splits are facets of SecPoly(P), they define an approximationSplitPoly(P) ⊃ SecPoly(P).
◮ This is a common approximation for all polytopes with the same orientedmatroid.
Theorem (Joswig, H. 09)SecPoly(P) = SplitPoly(P) if and only if P is a simplex, polygon, crosspolytope, prism over a simplex, or a (possible multiple) join of these polytopes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 10
![Page 36: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/36.jpg)
Subdivisions and Splits of Convex Polytopes
Regular Subdivisions and Secondary Polytopes
Properties of Splits
Application: Tropical Geometry
Generalizations/Outlook
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 11
![Page 37: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/37.jpg)
(Weakly) Compatible Split Systems
DefinitionLet S be a set of splits (split system) of a polytope P .
◮ We call S weakly compatible if the subdivisions S ∈ S have a commonrefinement (without new vertices).
◮ We call S compatible if none of the split defining hyperplanes meet in theinterior of P .
◮ Example: Vertex splits are (weakly) compatible if and only if thecorresponding vertices are not connected by and edge.
◮ Stable set of the edge graph of a polytope yields a compatible splitsystem.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 12
![Page 38: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/38.jpg)
(Weakly) Compatible Split Systems
DefinitionLet S be a set of splits (split system) of a polytope P .
◮ We call S weakly compatible if the subdivisions S ∈ S have a commonrefinement (without new vertices).
◮ We call S compatible if none of the split defining hyperplanes meet in theinterior of P .
◮ Example: Vertex splits are (weakly) compatible if and only if thecorresponding vertices are not connected by and edge.
◮ Stable set of the edge graph of a polytope yields a compatible splitsystem.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 12
![Page 39: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/39.jpg)
(Weakly) Compatible Split Systems
DefinitionLet S be a set of splits (split system) of a polytope P .
◮ We call S weakly compatible if the subdivisions S ∈ S have a commonrefinement (without new vertices).
◮ We call S compatible if none of the split defining hyperplanes meet in theinterior of P .
◮ Example: Vertex splits are (weakly) compatible if and only if thecorresponding vertices are not connected by and edge.
◮ Stable set of the edge graph of a polytope yields a compatible splitsystem.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 12
![Page 40: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/40.jpg)
(Weakly) Compatible Split Systems
DefinitionLet S be a set of splits (split system) of a polytope P .
◮ We call S weakly compatible if the subdivisions S ∈ S have a commonrefinement (without new vertices).
◮ We call S compatible if none of the split defining hyperplanes meet in theinterior of P .
◮ Example: Vertex splits are (weakly) compatible if and only if thecorresponding vertices are not connected by and edge.
◮ Stable set of the edge graph of a polytope yields a compatible splitsystem.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 12
![Page 41: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/41.jpg)
(Weakly) Compatible Split Systems
DefinitionLet S be a set of splits (split system) of a polytope P .
◮ We call S weakly compatible if the subdivisions S ∈ S have a commonrefinement (without new vertices).
◮ We call S compatible if none of the split defining hyperplanes meet in theinterior of P .
◮ Example: Vertex splits are (weakly) compatible if and only if thecorresponding vertices are not connected by and edge.
◮ Stable set of the edge graph of a polytope yields a compatible splitsystem.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 12
![Page 42: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/42.jpg)
The Split Complex
DefinitionThe split complex of a polytope P is the simplicial complex
Split(P) := {S | S set of compatible splits} .
◮ The weak split complex is defined in the same way (but is in general notsimplicial).
◮ These complexes can be seen as (kind of) subcomplexes of the dualcomplex of the secondary polytope of P .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 13
![Page 43: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/43.jpg)
The Split Complex
DefinitionThe split complex of a polytope P is the simplicial complex
Split(P) := {S | S set of compatible splits} .
◮ The weak split complex is defined in the same way (but is in general notsimplicial).
◮ These complexes can be seen as (kind of) subcomplexes of the dualcomplex of the secondary polytope of P .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 13
![Page 44: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/44.jpg)
The Split Complex
DefinitionThe split complex of a polytope P is the simplicial complex
Split(P) := {S | S set of compatible splits} .
◮ The weak split complex is defined in the same way (but is in general notsimplicial).
◮ These complexes can be seen as (kind of) subcomplexes of the dualcomplex of the secondary polytope of P .
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 13
![Page 45: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/45.jpg)
(Weakly) Compatible Split Systems
Satz (Joswig, H. 08)
◮ The dual graph of a compatible split system is a tree.◮ The dual graph of a weakly compatible split system is bipartite.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 14
![Page 46: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/46.jpg)
(Weakly) Compatible Split Systems
Satz (Joswig, H. 08)
◮ The dual graph of a compatible split system is a tree.◮ The dual graph of a weakly compatible split system is bipartite.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 14
![Page 47: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/47.jpg)
(Weakly) Compatible Split Systems
Satz (Joswig, H. 08)
◮ The dual graph of a compatible split system is a tree.◮ The dual graph of a weakly compatible split system is bipartite.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 14
![Page 48: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/48.jpg)
Compatibility for Hypersimplices
Satz (Joswig, H. 08)Two splits (A, B; µ) and (C , D; ν) of ∆(k , n) are compatible if and only if one ofthe following holds:
|A ∩ C | ≤ k − µ − ν , |A ∩ D| ≤ ν − µ ,
|B ∩ C | ≤ µ − ν , or |B ∩ D| ≤ µ + ν − k .
◮ This allows an explicite computation of the split complex of ∆(k , n).
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 15
![Page 49: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/49.jpg)
Compatibility for Hypersimplices
Satz (Joswig, H. 08)Two splits (A, B; µ) and (C , D; ν) of ∆(k , n) are compatible if and only if one ofthe following holds:
|A ∩ C | ≤ k − µ − ν , |A ∩ D| ≤ ν − µ ,
|B ∩ C | ≤ µ − ν , or |B ∩ D| ≤ µ + ν − k .
◮ This allows an explicite computation of the split complex of ∆(k , n).
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 15
![Page 50: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/50.jpg)
Split Decomposition
◮ A decomposition w + w ′ of weight functions is called coherent if Σw (P)and Σw ′(P) have a common refinement (Σw+w ′(P)).
◮ A weight function w is called split prime if Σw (P) does not refine any split.
Theorem (Bandelt, Dress 92; Hirai 06; Joswig, H. 08)Each weight function w for a polytope P has a coherent decomposition
w = w0 +∑
S∈S
αwwS
wS ,
where S is some weakly compatible set of splits and w0 is split prime. Thisdecomposition is unique.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 16
![Page 51: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/51.jpg)
Split Decomposition
◮ A decomposition w + w ′ of weight functions is called coherent if Σw (P)and Σw ′(P) have a common refinement (Σw+w ′(P)).
◮ A weight function w is called split prime if Σw (P) does not refine any split.
Theorem (Bandelt, Dress 92; Hirai 06; Joswig, H. 08)Each weight function w for a polytope P has a coherent decomposition
w = w0 +∑
S∈S
αwwS
wS ,
where S is some weakly compatible set of splits and w0 is split prime. Thisdecomposition is unique.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 16
![Page 52: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/52.jpg)
Split Decomposition
◮ A decomposition w + w ′ of weight functions is called coherent if Σw (P)and Σw ′(P) have a common refinement (Σw+w ′(P)).
◮ A weight function w is called split prime if Σw (P) does not refine any split.
Theorem (Bandelt, Dress 92; Hirai 06; Joswig, H. 08)Each weight function w for a polytope P has a coherent decomposition
w = w0 +∑
S∈S
αwwS
wS ,
where S is some weakly compatible set of splits and w0 is split prime. Thisdecomposition is unique.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 16
![Page 53: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/53.jpg)
The Second Hypersimplex and Metric Spaces
◮ ∆(2, n) = conv {ei + ej | 1 ≤ i < j ≤ n}.◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Splits of ∆(2, n) are in bijection with partitions (A, B) of {1, ... , n} where
each part has at least two elements.◮ Originally, these were the splits of finite metric spaces defined by Bandelt
and Dress (92) for applications in biology.◮ Two splits (A, B) and (C , D) of ∆(2, n) are compatible if and only if one of
the four sets A ∩ C , A ∩ D, B ∩ C , and B ∩ D is empty.◮ This is the original definition of compatibility for splits of finite metric
spaces.◮ There is also a combinatorial condition for weak compatibility.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 17
![Page 54: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/54.jpg)
The Second Hypersimplex and Metric Spaces
◮ ∆(2, n) = conv {ei + ej | 1 ≤ i < j ≤ n}.◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Splits of ∆(2, n) are in bijection with partitions (A, B) of {1, ... , n} where
each part has at least two elements.◮ Originally, these were the splits of finite metric spaces defined by Bandelt
and Dress (92) for applications in biology.◮ Two splits (A, B) and (C , D) of ∆(2, n) are compatible if and only if one of
the four sets A ∩ C , A ∩ D, B ∩ C , and B ∩ D is empty.◮ This is the original definition of compatibility for splits of finite metric
spaces.◮ There is also a combinatorial condition for weak compatibility.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 17
![Page 55: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/55.jpg)
The Second Hypersimplex and Metric Spaces
◮ ∆(2, n) = conv {ei + ej | 1 ≤ i < j ≤ n}.◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Splits of ∆(2, n) are in bijection with partitions (A, B) of {1, ... , n} where
each part has at least two elements.◮ Originally, these were the splits of finite metric spaces defined by Bandelt
and Dress (92) for applications in biology.◮ Two splits (A, B) and (C , D) of ∆(2, n) are compatible if and only if one of
the four sets A ∩ C , A ∩ D, B ∩ C , and B ∩ D is empty.◮ This is the original definition of compatibility for splits of finite metric
spaces.◮ There is also a combinatorial condition for weak compatibility.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 17
![Page 56: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/56.jpg)
The Second Hypersimplex and Metric Spaces
◮ ∆(2, n) = conv {ei + ej | 1 ≤ i < j ≤ n}.◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Splits of ∆(2, n) are in bijection with partitions (A, B) of {1, ... , n} where
each part has at least two elements.◮ Originally, these were the splits of finite metric spaces defined by Bandelt
and Dress (92) for applications in biology.◮ Two splits (A, B) and (C , D) of ∆(2, n) are compatible if and only if one of
the four sets A ∩ C , A ∩ D, B ∩ C , and B ∩ D is empty.◮ This is the original definition of compatibility for splits of finite metric
spaces.◮ There is also a combinatorial condition for weak compatibility.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 17
![Page 57: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/57.jpg)
The Second Hypersimplex and Metric Spaces
◮ ∆(2, n) = conv {ei + ej | 1 ≤ i < j ≤ n}.◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Splits of ∆(2, n) are in bijection with partitions (A, B) of {1, ... , n} where
each part has at least two elements.◮ Originally, these were the splits of finite metric spaces defined by Bandelt
and Dress (92) for applications in biology.◮ Two splits (A, B) and (C , D) of ∆(2, n) are compatible if and only if one of
the four sets A ∩ C , A ∩ D, B ∩ C , and B ∩ D is empty.◮ This is the original definition of compatibility for splits of finite metric
spaces.◮ There is also a combinatorial condition for weak compatibility.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 17
![Page 58: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/58.jpg)
The Second Hypersimplex and Metric Spaces
◮ ∆(2, n) = conv {ei + ej | 1 ≤ i < j ≤ n}.◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Splits of ∆(2, n) are in bijection with partitions (A, B) of {1, ... , n} where
each part has at least two elements.◮ Originally, these were the splits of finite metric spaces defined by Bandelt
and Dress (92) for applications in biology.◮ Two splits (A, B) and (C , D) of ∆(2, n) are compatible if and only if one of
the four sets A ∩ C , A ∩ D, B ∩ C , and B ∩ D is empty.◮ This is the original definition of compatibility for splits of finite metric
spaces.◮ There is also a combinatorial condition for weak compatibility.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 17
![Page 59: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/59.jpg)
The Second Hypersimplex and Metric Spaces
◮ ∆(2, n) = conv {ei + ej | 1 ≤ i < j ≤ n}.◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Splits of ∆(2, n) are in bijection with partitions (A, B) of {1, ... , n} where
each part has at least two elements.◮ Originally, these were the splits of finite metric spaces defined by Bandelt
and Dress (92) for applications in biology.◮ Two splits (A, B) and (C , D) of ∆(2, n) are compatible if and only if one of
the four sets A ∩ C , A ∩ D, B ∩ C , and B ∩ D is empty.◮ This is the original definition of compatibility for splits of finite metric
spaces.◮ There is also a combinatorial condition for weak compatibility.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 17
![Page 60: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/60.jpg)
Subdivisions and Splits of Convex Polytopes
Regular Subdivisions and Secondary Polytopes
Properties of Splits
Application: Tropical Geometry
Generalizations/Outlook
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 18
![Page 61: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/61.jpg)
Hypersimplices, Dressians, and TropicalGrassmannians
Definition◮ A subdivision Σ of ∆(k , n) is called a matroid subdivision if all edges of Σ
are edges of ∆(k , n).◮ (Equivalently: Each face of Σ is a matroid polytope PM, i.e. each vertex
of PM corresponds to a basis of M.)◮ The Dressian is the polyhedral complex
Dr(k , n) :={
w ∈ R(n
k)∣
∣
∣Σw (∆(k , n)) is a matroid subdivision
}
∩ S(n
k)−1.
◮ Elements of Dr(k , n) are the tropical Plücker vectors (Speyer 08).◮ The tropical Grassmannian Gr(k , n) parameterizes (realizable) subspaces
of tropical projective space.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 19
![Page 62: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/62.jpg)
Hypersimplices, Dressians, and TropicalGrassmannians
Definition◮ A subdivision Σ of ∆(k , n) is called a matroid subdivision if all edges of Σ
are edges of ∆(k , n).◮ (Equivalently: Each face of Σ is a matroid polytope PM, i.e. each vertex
of PM corresponds to a basis of M.)◮ The Dressian is the polyhedral complex
Dr(k , n) :={
w ∈ R(n
k)∣
∣
∣Σw (∆(k , n)) is a matroid subdivision
}
∩ S(n
k)−1.
◮ Elements of Dr(k , n) are the tropical Plücker vectors (Speyer 08).◮ The tropical Grassmannian Gr(k , n) parameterizes (realizable) subspaces
of tropical projective space.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 19
![Page 63: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/63.jpg)
Hypersimplices, Dressians, and TropicalGrassmannians
Definition◮ A subdivision Σ of ∆(k , n) is called a matroid subdivision if all edges of Σ
are edges of ∆(k , n).◮ (Equivalently: Each face of Σ is a matroid polytope PM, i.e. each vertex
of PM corresponds to a basis of M.)◮ The Dressian is the polyhedral complex
Dr(k , n) :={
w ∈ R(n
k)∣
∣
∣Σw (∆(k , n)) is a matroid subdivision
}
∩ S(n
k)−1.
◮ Elements of Dr(k , n) are the tropical Plücker vectors (Speyer 08).◮ The tropical Grassmannian Gr(k , n) parameterizes (realizable) subspaces
of tropical projective space.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 19
![Page 64: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/64.jpg)
Hypersimplices, Dressians, and TropicalGrassmannians
Definition◮ A subdivision Σ of ∆(k , n) is called a matroid subdivision if all edges of Σ
are edges of ∆(k , n).◮ (Equivalently: Each face of Σ is a matroid polytope PM, i.e. each vertex
of PM corresponds to a basis of M.)◮ The Dressian is the polyhedral complex
Dr(k , n) :={
w ∈ R(n
k)∣
∣
∣Σw (∆(k , n)) is a matroid subdivision
}
∩ S(n
k)−1.
◮ Elements of Dr(k , n) are the tropical Plücker vectors (Speyer 08).◮ The tropical Grassmannian Gr(k , n) parameterizes (realizable) subspaces
of tropical projective space.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 19
![Page 65: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/65.jpg)
Hypersimplices, Dressians, and TropicalGrassmannians
Definition◮ A subdivision Σ of ∆(k , n) is called a matroid subdivision if all edges of Σ
are edges of ∆(k , n).◮ (Equivalently: Each face of Σ is a matroid polytope PM, i.e. each vertex
of PM corresponds to a basis of M.)◮ The Dressian is the polyhedral complex
Dr(k , n) :={
w ∈ R(n
k)∣
∣
∣Σw (∆(k , n)) is a matroid subdivision
}
∩ S(n
k)−1.
◮ Elements of Dr(k , n) are the tropical Plücker vectors (Speyer 08).◮ The tropical Grassmannian Gr(k , n) parameterizes (realizable) subspaces
of tropical projective space.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 19
![Page 66: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/66.jpg)
Hypersimplices, Dressians, and TropicalGrassmannians
Definition◮ A subdivision Σ of ∆(k , n) is called a matroid subdivision if all edges of Σ
are edges of ∆(k , n).◮ (Equivalently: Each face of Σ is a matroid polytope PM, i.e. each vertex
of PM corresponds to a basis of M.)◮ The Dressian is the polyhedral complex
Dr(k , n) :={
w ∈ R(n
k)∣
∣
∣Σw (∆(k , n)) is a matroid subdivision
}
∩ S(n
k)−1.
◮ Elements of Dr(k , n) are the tropical Plücker vectors (Speyer 08).◮ The tropical Grassmannian Gr(k , n) parameterizes (realizable) subspaces
of tropical projective space.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 19
![Page 67: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/67.jpg)
The Split Complex and the Dressian
k = 2:◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Gr(2, n) = Dr(2, n) ∼= Split(∆(2, n)) is the space of metric trees
(Bunemann 74; Billera, Holmes & Vogtmann 01).
Theorem (Joswig, H. 08)Split(∆(k , n)) is a subcomplex of Dr(k , n).
◮ Proof idea:◮ Splits are matroid subdivisions.◮ Since the splits are compatible, additional edges can only occur in the
boundary.◮ Then use induction and the characterization of compatibility of
hypersimplexes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 20
![Page 68: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/68.jpg)
The Split Complex and the Dressian
k = 2:◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Gr(2, n) = Dr(2, n) ∼= Split(∆(2, n)) is the space of metric trees
(Bunemann 74; Billera, Holmes & Vogtmann 01).
Theorem (Joswig, H. 08)Split(∆(k , n)) is a subcomplex of Dr(k , n).
◮ Proof idea:◮ Splits are matroid subdivisions.◮ Since the splits are compatible, additional edges can only occur in the
boundary.◮ Then use induction and the characterization of compatibility of
hypersimplexes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 20
![Page 69: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/69.jpg)
The Split Complex and the Dressian
k = 2:◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Gr(2, n) = Dr(2, n) ∼= Split(∆(2, n)) is the space of metric trees
(Bunemann 74; Billera, Holmes & Vogtmann 01).
Theorem (Joswig, H. 08)Split(∆(k , n)) is a subcomplex of Dr(k , n).
◮ Proof idea:◮ Splits are matroid subdivisions.◮ Since the splits are compatible, additional edges can only occur in the
boundary.◮ Then use induction and the characterization of compatibility of
hypersimplexes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 20
![Page 70: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/70.jpg)
The Split Complex and the Dressian
k = 2:◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Gr(2, n) = Dr(2, n) ∼= Split(∆(2, n)) is the space of metric trees
(Bunemann 74; Billera, Holmes & Vogtmann 01).
Theorem (Joswig, H. 08)Split(∆(k , n)) is a subcomplex of Dr(k , n).
◮ Proof idea:◮ Splits are matroid subdivisions.◮ Since the splits are compatible, additional edges can only occur in the
boundary.◮ Then use induction and the characterization of compatibility of
hypersimplexes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 20
![Page 71: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/71.jpg)
The Split Complex and the Dressian
k = 2:◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Gr(2, n) = Dr(2, n) ∼= Split(∆(2, n)) is the space of metric trees
(Bunemann 74; Billera, Holmes & Vogtmann 01).
Theorem (Joswig, H. 08)Split(∆(k , n)) is a subcomplex of Dr(k , n).
◮ Proof idea:◮ Splits are matroid subdivisions.◮ Since the splits are compatible, additional edges can only occur in the
boundary.◮ Then use induction and the characterization of compatibility of
hypersimplexes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 20
![Page 72: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/72.jpg)
The Split Complex and the Dressian
k = 2:◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Gr(2, n) = Dr(2, n) ∼= Split(∆(2, n)) is the space of metric trees
(Bunemann 74; Billera, Holmes & Vogtmann 01).
Theorem (Joswig, H. 08)Split(∆(k , n)) is a subcomplex of Dr(k , n).
◮ Proof idea:◮ Splits are matroid subdivisions.◮ Since the splits are compatible, additional edges can only occur in the
boundary.◮ Then use induction and the characterization of compatibility of
hypersimplexes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 20
![Page 73: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/73.jpg)
The Split Complex and the Dressian
k = 2:◮ Lifting functions of ∆(2, n) correspond to (pseudo-)metrics on n points.◮ Gr(2, n) = Dr(2, n) ∼= Split(∆(2, n)) is the space of metric trees
(Bunemann 74; Billera, Holmes & Vogtmann 01).
Theorem (Joswig, H. 08)Split(∆(k , n)) is a subcomplex of Dr(k , n).
◮ Proof idea:◮ Splits are matroid subdivisions.◮ Since the splits are compatible, additional edges can only occur in the
boundary.◮ Then use induction and the characterization of compatibility of
hypersimplexes.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 20
![Page 74: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/74.jpg)
The Dimension of Grassmannians andDressians
Theorem (Jensen, Joswig, Sturmfels, H. 08)The dimension of the Dressian ∆(3, n) is of order Θ(n2).
◮ dim Gr(3, n) is linear in n.◮ Upper bound: Speyer 08.◮ Lower bound:
◮ Uses Split(∆(3, n)).◮ Find a stable set of the edge graph of ∆(3, n).
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 21
![Page 75: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/75.jpg)
The Dimension of Grassmannians andDressians
Theorem (Jensen, Joswig, Sturmfels, H. 08)The dimension of the Dressian ∆(3, n) is of order Θ(n2).
◮ dim Gr(3, n) is linear in n.◮ Upper bound: Speyer 08.◮ Lower bound:
◮ Uses Split(∆(3, n)).◮ Find a stable set of the edge graph of ∆(3, n).
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 21
![Page 76: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/76.jpg)
The Dimension of Grassmannians andDressians
Theorem (Jensen, Joswig, Sturmfels, H. 08)The dimension of the Dressian ∆(3, n) is of order Θ(n2).
◮ dim Gr(3, n) is linear in n.◮ Upper bound: Speyer 08.◮ Lower bound:
◮ Uses Split(∆(3, n)).◮ Find a stable set of the edge graph of ∆(3, n).
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 21
![Page 77: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/77.jpg)
The Dimension of Grassmannians andDressians
Theorem (Jensen, Joswig, Sturmfels, H. 08)The dimension of the Dressian ∆(3, n) is of order Θ(n2).
◮ dim Gr(3, n) is linear in n.◮ Upper bound: Speyer 08.◮ Lower bound:
◮ Uses Split(∆(3, n)).◮ Find a stable set of the edge graph of ∆(3, n).
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 21
![Page 78: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/78.jpg)
The Dimension of Grassmannians andDressians
Theorem (Jensen, Joswig, Sturmfels, H. 08)The dimension of the Dressian ∆(3, n) is of order Θ(n2).
◮ dim Gr(3, n) is linear in n.◮ Upper bound: Speyer 08.◮ Lower bound:
◮ Uses Split(∆(3, n)).◮ Find a stable set of the edge graph of ∆(3, n).
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 21
![Page 79: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/79.jpg)
The Dimension of Grassmannians andDressians
Theorem (Jensen, Joswig, Sturmfels, H. 08)The dimension of the Dressian ∆(3, n) is of order Θ(n2).
◮ dim Gr(3, n) is linear in n.◮ Upper bound: Speyer 08.◮ Lower bound:
◮ Uses Split(∆(3, n)).◮ Find a stable set of the edge graph of ∆(3, n).
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 21
![Page 80: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/80.jpg)
Subdivisions and Splits of Convex Polytopes
Regular Subdivisions and Secondary Polytopes
Properties of Splits
Application: Tropical Geometry
Generalizations/Outlook
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 22
![Page 81: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/81.jpg)
Further Coarsest Subdivisions
◮ Split: one combinatorial type, dual graph is an edge.◮ Three maximal faces: one combinatorial type, regular.◮ Four maximal faces: three combinatorial types.◮ More than four: gets complicated...
DefinitionA subdivision of Σ of P is called k-split, if the tight span of Σ is a(k − 1)-dimensional simplex.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 23
![Page 82: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/82.jpg)
Further Coarsest Subdivisions
◮ Split: one combinatorial type, dual graph is an edge.◮ Three maximal faces: one combinatorial type, regular.◮ Four maximal faces: three combinatorial types.◮ More than four: gets complicated...
DefinitionA subdivision of Σ of P is called k-split, if the tight span of Σ is a(k − 1)-dimensional simplex.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 23
![Page 83: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/83.jpg)
Further Coarsest Subdivisions
◮ Split: one combinatorial type, dual graph is an edge.◮ Three maximal faces: one combinatorial type, regular.◮ Four maximal faces: three combinatorial types.◮ More than four: gets complicated...
DefinitionA subdivision of Σ of P is called k-split, if the tight span of Σ is a(k − 1)-dimensional simplex.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 23
![Page 84: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/84.jpg)
Further Coarsest Subdivisions
◮ Split: one combinatorial type, dual graph is an edge.◮ Three maximal faces: one combinatorial type, regular.◮ Four maximal faces: three combinatorial types.◮ More than four: gets complicated...
DefinitionA subdivision of Σ of P is called k-split, if the tight span of Σ is a(k − 1)-dimensional simplex.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 23
![Page 85: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/85.jpg)
Further Coarsest Subdivisions
◮ Split: one combinatorial type, dual graph is an edge.◮ Three maximal faces: one combinatorial type, regular.◮ Four maximal faces: three combinatorial types.◮ More than four: gets complicated...
DefinitionA subdivision of Σ of P is called k-split, if the tight span of Σ is a(k − 1)-dimensional simplex.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 23
![Page 86: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/86.jpg)
Further Coarsest Subdivisions
Theorem (H. 08)k-splits are regular.
◮ How does polytopes look like whose subdivisions are all induced byk-splits?
◮ Classification of these polytopes could lead to new interesting classes ofpolytopes whose secondary polytopes are computable.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 24
![Page 87: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/87.jpg)
Further Coarsest Subdivisions
Theorem (H. 08)k-splits are regular.
◮ How does polytopes look like whose subdivisions are all induced byk-splits?
◮ Classification of these polytopes could lead to new interesting classes ofpolytopes whose secondary polytopes are computable.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 24
![Page 88: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/88.jpg)
Further Coarsest Subdivisions
Theorem (H. 08)k-splits are regular.
◮ How does polytopes look like whose subdivisions are all induced byk-splits?
◮ Classification of these polytopes could lead to new interesting classes ofpolytopes whose secondary polytopes are computable.
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 24
![Page 89: Splitting Polytopes - Sven Herrmann (joint work with ...slc/s/s62vortrag/Herrmann.pdf · Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 5. Example: Hypersimplices](https://reader034.fdocuments.net/reader034/viewer/2022052021/60363467253f683961138893/html5/thumbnails/89.jpg)
Thanks for your attention!
Heilsbronn, February 24, 2009 | 62ème Séminaire | Sven Herrmann | 25