scribability problems for polytopes · except for d 2 or d = 3 and k = 1, if 0 k d 3 there are...
TRANSCRIPT
![Page 1: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/1.jpg)
Scribability Problems for PolytopesArnau Padrol (FU Berlin −→ UPMC Paris 6)
joint work withHao Chen (FU Berlin −→ TU Eindhoven)
![Page 2: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/2.jpg)
Scribability problems
Scribability Problems
Study realizability of polytopes whenthe position of their faces relative to the sphere is constrained.
,
Arnau Padrol (& Hao Chen) — NEG 2015 2
![Page 3: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/3.jpg)
Classical scribability problems
,
Arnau Padrol (& Hao Chen) — NEG 2015 3
![Page 4: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/4.jpg)
Once upon a time...
Jakob Steiner(according toWikipedia)
Systematische Entwickelung der Abhängigkeitgeometrischer Gestalten von einander (1832)
77) Wenn irgend ein convexes Polyedergegeben ist läßt sich dann immer (oder inwelchen Fällen nur) irgend ein anderes,welches mit ihm in Hinsicht der Art und derZusammensetzung der Grenzflächenübereinstimmt (oder von gleicher Gattungist), in oder um eine Kugelfläche, oder inoder um irgend eine andere Fläche zweitenGrades beschreiben (d.h. daß seine Eckenalle in dieser Fläche liegen oder seineGrenzflächen alle diese Fläche berühren)?
É Is every (3-dimensional) polytope inscribable?É If not, in which cases?É What about circumscribable?É What about other quadrics?
,
Arnau Padrol (& Hao Chen) — NEG 2015 4
![Page 5: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/5.jpg)
...inscribable polytopes
Jakob Steiner(according toWikipedia)
Systematische Entwickelung der Abhängigkeitgeometrischer Gestalten von einander (1832)
77) Wenn irgend ein convexes Polyedergegeben ist läßt sich dann immer (oder inwelchen Fällen nur) irgend ein anderes,welches mit ihm in Hinsicht der Art und derZusammensetzung der Grenzflächenübereinstimmt (oder von gleicher Gattungist), in oder um eine Kugelfläche, oder inoder um irgend eine andere Fläche zweitenGrades beschreiben (d.h. daß seine Eckenalle in dieser Fläche liegen oder seineGrenzflächen alle diese Fläche berühren)?
É Is every (3-dimensional) polytope inscribable?É If not, in which cases?É What about circumscribable?É What about other quadrics?
,
Arnau Padrol (& Hao Chen) — NEG 2015 4
![Page 6: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/6.jpg)
Inscribable & circumscribable polytopes
inscribed
inscribable
circumscribed
circumscribable
,
Arnau Padrol (& Hao Chen) — NEG 2015 5
![Page 7: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/7.jpg)
Circumscribability
Steinitz 1928Über isoperimetrische Probleme bei konvexenPolyedern
É P is circumscribable⇔ P∗ is inscribableÉ There exist infinitely many non-circumscribable
3-polytopes.
non-circumscribable non-inscribable
,
Arnau Padrol (& Hao Chen) — NEG 2015 6
![Page 8: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/8.jpg)
Inscribable polytopes in dimension 3
Igor Rivin
Rivin 1996A characterization of ideal polyhedra in hyperbolic 3-space
A 3-polytope P is circumscribable if and only if there exist numbers ω(e)associated to the edges e of P such that:É 0 < ω(e) < π,É
∑
e∈Fω(e) = 2π for each facet F of P, andÉ
∑
e∈Cω(e) > 2π for each simple circuit C which does not bound afacet.
,
Arnau Padrol (& Hao Chen) — NEG 2015 7
![Page 9: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/9.jpg)
Inscribability on other quadrics
Jeffrey Danciger Sara Maloni Jean-Marc Schlenker
Danciger, Maloni & Schlenker 2014Polyhedra inscribed in a quadric
A 3-polytope is inscribable on a hyperboloid or a cylinder if and only if it isinscribable and Hamiltonian.
,
Arnau Padrol (& Hao Chen) — NEG 2015 8
![Page 10: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/10.jpg)
More classical scribability problems
,
Arnau Padrol (& Hao Chen) — NEG 2015 9
![Page 11: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/11.jpg)
k-scribability
B. Grünbaum
Grünbaum & Shephard 1987Some problems on polyhedra
For which k and d is every d-polytopek-scribable?
G. Shephard
1-scribed1-scribable
,
Arnau Padrol (& Hao Chen) — NEG 2015 10
![Page 12: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/12.jpg)
Non k-scribable
Schulte 1987Analogues of Steinitz’s theorem aboutnon-inscribable polytopes
Except for d ≤ 2 or d = 3 and k = 1, there ared-polytopes that are not k-scribable.
Egon Schulte
The only case that has resisted all efforts so far is theescribability in three dimensions. Somehow it is strangethat all higher-dimensional analogues turn out to besolvable, while the ‘elementary’ three-dimensional case ofescribability seems to be intractable.
,
Arnau Padrol (& Hao Chen) — NEG 2015 11
![Page 13: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/13.jpg)
Edgescribability
P. Koebe E. Andreev W. Thurston
Koebe 1936 – Andreev 1970 – Thurston 1982The geometry and topology of 3-manifolds
Every 3-polytope is 1-scribable.
,
Arnau Padrol (& Hao Chen) — NEG 2015 12
![Page 14: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/14.jpg)
The circle packing theorem
Koebe – Andreev – ThurstonThe circle packing Theorem
Every planar graph is representable by acircle packing (with a dual circle packing).
Figure from Wikipediaby D. Eppstein
,
Arnau Padrol (& Hao Chen) — NEG 2015 13
![Page 15: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/15.jpg)
Weak k-scribability
B. Grünbaum
Grünbaum & Shephard 1987Some problems on polyhedra
For which k and d is every d-polytopeweakly k-scribable?
G. Shephard
weakly circumscribed weakly circumscribable
,
Arnau Padrol (& Hao Chen) — NEG 2015 14
![Page 16: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/16.jpg)
Non weakly k-scribable
Schulte 1987Analogues of Steinitz’s theorem aboutnon-inscribable polytopes
Except for d ≤ 2 or d = 3 and k = 1, if 0 ≤ k ≤ d− 3there are d-polytopes that are not weakly
k-scribable. Egon Schulte
The attempt to generalize our methods immediateiy revealsthe main difference between (m,d)-scribability and weak(m,d)-scribability. In fact, a polytope with all m-facestangent to Sd−1 has necessarily an interior point in the openunit-ball, while this need not be true if only the affinehulls of all m-faces are tangent to Sd−1. Therefore,Theorem 1 might fail.
,
Arnau Padrol (& Hao Chen) — NEG 2015 15
![Page 17: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/17.jpg)
New scribability problems
,
Arnau Padrol (& Hao Chen) — NEG 2015 16
![Page 18: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/18.jpg)
(i, j)-scribability
Chen & P. 2015+Scribability problems for polytopes
For which i, j and d is every d-polytope(i, j)-scribable?
P is (weakly) (i, j)-scribed ifall (affine hulls of) i-faces avoid the sphere andall (affine hulls of) j-faces cut the sphere Hao Chen
(0,1)-scribed weakly (0,1)-scribed
,
Arnau Padrol (& Hao Chen) — NEG 2015 17
![Page 19: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/19.jpg)
Some properties of (i, j)-scribability
É strongly (i, j)-scribed ⇒ weakly (i, j)-scribed
In the strong and weak sense:
É (k,k)-scribed⇔ k-scribed (classic definition)
É (i, j)-scribed ⇒ (i′, j′)-scribed for i′ ≤ i and j′ ≥ j
É (i, j)-scribed ⇒ polar (d− 1− j,d− 1− i)-scribed
É (i, j)-scribed ⇒ facets (i, j)-scribed
É (i, j)-scribed ⇒ vertex figures (i− 1, j− 1)-scribed
,
Arnau Padrol (& Hao Chen) — NEG 2015 18
![Page 20: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/20.jpg)
Polarity
Polarity is not nice for polytopes. . .
. . . and cannot always be saved with a projective transformation . . .
,
Arnau Padrol (& Hao Chen) — NEG 2015 19
![Page 21: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/21.jpg)
Polarity
. . . but it is for cones or spherical polytopes!
,
Arnau Padrol (& Hao Chen) — NEG 2015 20
![Page 22: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/22.jpg)
A bulletproof definition
DefinitionP ⊂ Sd spherical polytope, F face of P. Then
É F strongly cuts Bd if relint(F) ∩Bd 6=∅;
É F weakly cuts Bd if span(F) ∩Bd 6=∅;
É F weakly avoids Bd if span(F) ∩ intBd =∅;
É F strongly avoids Bd if there is a supporting hyperplane H of P suchthat F = H ∩ P and Bd ⊂ H− .
,
Arnau Padrol (& Hao Chen) — NEG 2015 21
![Page 23: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/23.jpg)
Hyperbolic polyhedra
Facets intersecting the sphere are hyperbolic polyhedra
,
Arnau Padrol (& Hao Chen) — NEG 2015 22
![Page 24: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/24.jpg)
A warm-up: weak (i, j)-scribability
,
Arnau Padrol (& Hao Chen) — NEG 2015 23
![Page 25: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/25.jpg)
A weakly inscribable polytopeA Euclidean weakly inscribable polytope is also strongly inscribable. Butthis is no longer true with spherical polytopes!
For example, the triakis tetrahedron is weakly inscribable!
,
Arnau Padrol (& Hao Chen) — NEG 2015 24
![Page 26: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/26.jpg)
A weakly inscribable polytopeA Euclidean weakly inscribable polytope is also strongly inscribable. Butthis is no longer true with spherical polytopes!
For example, the triakis tetrahedron is weakly inscribable!
,
Arnau Padrol (& Hao Chen) — NEG 2015 24
![Page 27: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/27.jpg)
Two non-weakly inscribable polytopes
This polytope is not weakly inscribable
This polytope is not weakly circumscribable
Theorem (Chen & P. 2015+)
Except for d ≤ 2 or d = 3 and k = 1,there are d-polytopes that are not weakly (k,k)-scribable.
,
Arnau Padrol (& Hao Chen) — NEG 2015 25
![Page 28: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/28.jpg)
Two non-weakly inscribable polytopes
This polytope is not weakly inscribable
This polytope is not weakly circumscribable
Theorem (Chen & P. 2015+)
Except for d ≤ 2 or d = 3 and k = 1,there are d-polytopes that are not weakly (k,k)-scribable.
,
Arnau Padrol (& Hao Chen) — NEG 2015 25
![Page 29: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/29.jpg)
Weak (i, j)-scribability
Theorem (Chen & P. 2015)
Every d-polytope is weakly (i, j)-scribable for 0 ≤ i < j ≤ d− 1.
,
Arnau Padrol (& Hao Chen) — NEG 2015 26
![Page 30: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/30.jpg)
Strong (i, j)-scribability: cyclic polytopes
,
Arnau Padrol (& Hao Chen) — NEG 2015 27
![Page 31: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/31.jpg)
From polytopes to spheres
Points surrounding the sphere are arrangements of spheres
,
Arnau Padrol (& Hao Chen) — NEG 2015 28
![Page 32: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/32.jpg)
k-ply systems
B1, . . . ,Bn form a k-ply systemm
no point belongs to the interior of more than k balls.m
No more than k “satellites” can be linearly separated from Sd
mThe convex hull of every (k+ 1)-set intersects Sd
,
Arnau Padrol (& Hao Chen) — NEG 2015 29
![Page 33: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/33.jpg)
The Sphere Separator Theorem
Gary Miller Shang-Hua Teng William Thurston Stephen Vavasis
Miller, Teng, Thurston & Vavasis 1997Separators for Sphere-Packings and Nearest Neighbor Graphs
The intersection graph of a k-ply system of n caps in Sd can be separatedinto two disjoint components of size at most d+1
d+2n by removing
O(k1/dn1−1/d) vertices.
É Wlog 0 is the centerpoint of centers of the BiÉ Take a random linear hyperplaneÉ Probability it hits a cap depends on its surfaceÉ Since k-ply it can be bounded
,
Arnau Padrol (& Hao Chen) — NEG 2015 30
![Page 34: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/34.jpg)
The Sphere Separator Theorem
Gary Miller Shang-Hua Teng William Thurston Stephen Vavasis
Miller, Teng, Thurston & Vavasis 1997Separators for Sphere-Packings and Nearest Neighbor Graphs
The intersection graph of a k-ply system of n caps in Sd can be separatedinto two disjoint components of size at most d+1
d+2n by removing
O(k1/dn1−1/d) vertices.
É Wlog 0 is the centerpoint of centers of the BiÉ Take a random linear hyperplaneÉ Probability it hits a cap depends on its surfaceÉ Since k-ply it can be bounded
,
Arnau Padrol (& Hao Chen) — NEG 2015 30
![Page 35: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/35.jpg)
Cyclic polytopes
Moment curve
γ : t 7→ (t, t2, . . . , td)
Cyclic polytope
Cd(n) = conv�
γ(t1), . . . , γ(tn), t1 < t2 < · · · < tn
Combinatorial type:É Independent of the ti’s,É Same for γ any order d curve.
For example: Trig. moment curve: γ : t 7→ (sin t,cos t, . . . , sinkt,coskt)É SimplicialÉ
�
d2
�
-neighborly: every subset of at most�
d2
�
vertices forms a face.
Theorem (Upper bound theorem [McMullen 1970])
If P is a d-polytope with n vertices
fi(P) ≤ fi(Cd(n))
with equality if and only if P is simplicial and neighborly.
,
Arnau Padrol (& Hao Chen) — NEG 2015 31
![Page 36: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/36.jpg)
Cyclic polytopes
Moment curve
γ : t 7→ (t, t2, . . . , td)
Cyclic polytope
Cd(n) = conv�
γ(t1), . . . , γ(tn), t1 < t2 < · · · < tn
Combinatorial type:É Independent of the ti’s,É Same for γ any order d curve.
For example: Trig. moment curve: γ : t 7→ (sin t,cos t, . . . , sinkt,coskt)É SimplicialÉ
�
d2
�
-neighborly: every subset of at most�
d2
�
vertices forms a face.
Theorem (Upper bound theorem [McMullen 1970])
If P is a d-polytope with n vertices
fi(P) ≤ fi(Cd(n))
with equality if and only if P is simplicial and neighborly.,
Arnau Padrol (& Hao Chen) — NEG 2015 31
![Page 37: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/37.jpg)
Even dimensional cyclic polytopes
Lemma (Sturmfels 1987)
For even d, every cyclic polytope comes from a order d curve
(The keyword here is oriented matroid rigidity)
LemmaIf d even, every k-set of Cd(n) with k ≥ 3d
2 − 1 contains a facet.
,
Arnau Padrol (& Hao Chen) — NEG 2015 32
![Page 38: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/38.jpg)
Scribability of cyclic polytopes
TheoremIf d ≥ 4 even and n� 0 is large enough, Cd(n) is not (1,d− 1)-scribable.
Proof.Assume it was (1,d− 1)-scribed:
É Every k(= 3d2 − 1)-set contains a facet
É ⇒ intersects Sd
É ⇒ induces a k-ply systemÉ ⇒ intersection graph has small separators
É Intersection graph are edges avoiding the sphereÉ ⇒ complete graph!
,
Arnau Padrol (& Hao Chen) — NEG 2015 33
![Page 39: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/39.jpg)
Neighborly polytopes and f -vectors
Our proofs only extend partially to neighborly polytopes.
LemmaFor d ≥ 4 and n� 0, a k-neighborly polytope with n vertices is not(1,k)-scribable.
This suffices to show that:
Corollary
For d ≥ 4 and 1 ≤ k ≤ d− 2, there is a non k-scribable f -vector.
Question
Is there a non-inscribable f -vector? For example, that of adual-to-neighborly polytope with many vertices?
,
Arnau Padrol (& Hao Chen) — NEG 2015 34
![Page 40: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/40.jpg)
What about stacked polytopes?
,
Arnau Padrol (& Hao Chen) — NEG 2015 35
![Page 41: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/41.jpg)
Stacked polytopesMost stacked polytopes are not inscribable [Gonska & Ziegler 2013]
TheoremFor every 0 ≤ k ≤ d− 3, there is a stacked d-polytope that is notk-scribable.
But...
TheoremEvery stacked d-polytope is circumscribable and ridgescribable.
Hence, truncated polytopes are always edgescribable!
,
Arnau Padrol (& Hao Chen) — NEG 2015 36
![Page 42: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/42.jpg)
What now?
,
Arnau Padrol (& Hao Chen) — NEG 2015 37
![Page 43: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/43.jpg)
Open problem
Question
Is every d-polytope (0,d− 1)-scribable?
We don’t think so but . . .
É true in dimension ≤ 3É cyclic polytopes are (0,d− 1)-scribableÉ stacked polytopes are (0,d− 1)-scribable
Thank you!
,
Arnau Padrol (& Hao Chen) — NEG 2015 38
![Page 44: Scribability Problems for Polytopes · Except for d 2 or d = 3 and k = 1, if 0 k d 3 there are d-polytopes that are not weakly k-scribable. Egon Schulte The attempt to generalize](https://reader034.vdocuments.us/reader034/viewer/2022050206/5f594d7372c933218159dfa3/html5/thumbnails/44.jpg)
Open problem
Question
Is every d-polytope (0,d− 1)-scribable?
We don’t think so but . . .
É true in dimension ≤ 3É cyclic polytopes are (0,d− 1)-scribableÉ stacked polytopes are (0,d− 1)-scribable
Thank you!
,
Arnau Padrol (& Hao Chen) — NEG 2015 38