Advances in Discrete Differential Geometry pp 407419  Cite as
Six Topics on Inscribable Polytopes
Abstract
We discuss six topics related to inscribable polytopes, both in dimension 3 (where the topic was started with a problem posed by Steiner in 1832) and in higher dimensions.
Keywords
Convex Body Combinatorial Type Oriented Matroids Universality Theorem Cyclic PolytopesJakob Steiner ended his 1832 geometry book Systematische Entwicklung der Abhängigkeit geometrischer Gestalten von einander [41] with a list of 85 open problems. Problem 77 reads as follows:
77) Wenn irgend ein convexes Polyeder gegeben ist läßt sich dann immer (oder in welchen Fällen nur) irgend ein anderes, welches mit ihm in Hinsicht der Art und der Zusammensetzung der Grenzflächen übereinstimmt (oder von gleicher Gattung ist), in oder um eine Kugelfläche, oder in oder um irgend eine andere Fläche zweiten Grades beschreiben (d.h. daß seine Ecken alle in dieser Fläche liegen oder seine Grenzflächen alle diese Fläche berühren)?
It asks whether every (3dimensional) polytope is inscribable; that is, whether for every 3polytope there is a combinatorially equivalent polytope with all the vertices on the sphere. And if not, which are the cases of 3polytopes that do have such a realization? He also asks the same question for circumscribable polytopes, those that have a realization with all the facets tangent to the sphere, as well as for other surfaces of degree 2.
There was no progress on this question until 1928, when Ernst Steinitz showed that inscribability and circumscribability are polar concepts and presented the first examples of polytopes that cannot be inscribed/circumscribed. Since then, the interest on inscribability of polytopes has soared, partially because of tight relations with Delaunay subdivisions and hyperbolic geometry. It was in the context of the latter that, more than 50 years after Steinitz’s results, Igor Rivin finally found a characterization of 3dimensional inscribable polytopes [34]: A 3connected planar graph describes an inscribable polytope if and only if a certain inequality system has a solution.
What about other quadric surfaces? First of all, since these are not necessarily convex, one has to decide to either consider realizations with the vertices on the surface, or realizations whose intersection with the surface are only the vertices. The weakly inscribable spherical polytopes considered in [8] belong to the first category. For the second version of the definition, Danciger et al. have very recently extended Rivin’s results to arbitrary quadrics in \(\mathbb R^3\) [9]: A 3polytope is inscribable in the hyperboloid or the cylinder if and only if it is inscribable in the sphere and its graph is Hamiltonian.
So, is the inscribability problem completely solved? We do not think so: Many fundamental questions in this area remain still wide open. In particular, very little is known about inscribability for higher dimensional polytopes. Here we present some intriguing open questions and problems motivated by some recent (and not so recent) results on inscribable polytopes.
1 Inscribability of 3Polytopes
Incribability and circumscribability are polar concepts: A polytope is inscribable if and only if its polar is circumscribable. Steinitz [42] (cf. [17, Thm. 13.5.2]) constructed noncircumscribable polytopes using the following simple fact. Paint some of the facets of a 3polytope P black in such a way that there are no two neighboring black facets (just like on a soccer ball). If you can paint more than half of the facets black, then P is not circumscribable (unlike the soccer ball).
His argument was the following. Observe that each facet F has a point of contact with the sphere \(p_F\). We associate to each edge e of F the angle with which we see e from \(p_F\). A reflection about the plane spanned by e and the center of the sphere shows that this angle is the same for the two facets incident to e. Now, if we add all these angles for the edges incident to black facets, we get \(2\pi \) for each black facet. No two of these share an edge, so if we count the contributions for the white facets we should get at least the same value. However, we get at most \(2\pi \) times the number of white facets, which is smaller than the number of black facets by hypothesis.\(\square \)
The same argument also works if exactly half of the facets are black as long as there is at least one edge between two white facets. This provides us with our first example of a noncircumscribable polytope: Take a simplex and truncate all its vertices. The facets arising from the truncation do not share an edge, so painting them black shows noncircumscribability.
The polar argument says that if the graph of a 3polytope has an independent set (a subset of vertices no two of which are connected by an edge) of more than half of the vertices (or exactly half of them but not incident to every edge), then the polytope is not inscribable. For example, the triakis tetrahedron, a convex polytope obtained by stacking a tetrahedron onto each facet of a tetrahedron, is not inscribable.
Steinitz’s condition was later subsumed by results by Dillencourt [10] and by Dillencourt together with Smith [11]. In [10] it is shown that the graph of any inscribed polytope is 1tough, which means that for any k, removing k vertices splits the graph into at most k connected components.
This proves noninscribability for polytopes with an independent set that contains more than half of the vertices, by removing the other vertices. For independent sets that collect exactly half the vertices, we need a slight improvement from [11]: the graph of an inscribable 3polytope is either bipartite (with both sides of the same size) or 1supertough, which means that for any \(k\geqslant 2\), the removal of k vertices splits the graph into less than k components.
Toughness is a necessary combinatorial condition for inscribability that is easy to check, but it is not sufficient.
Besides the mentioned necessary conditions, Dillencourt and Smith also found some sufficient combinatorial conditions [12], which they summarize as: “If a polyhedron has a sufficiently rich collection of Hamiltonian subgraphs, then it is of inscribable type.” For example, this implies that 3polytopes whose graphs are 4connected, or where all the vertex degrees are between 4 and 6, are always inscribable.
So, how can we decide whether a given polytope is incribable? Fundamental results on hyperbolic polyhedra by Rivin [34] provided an easy way to decide inscribability/circumscribability of 3polytopes by linear programming [19] (see also [32, 33, 35]). If one identifies the ball with the Klein model of the hyperbolic space, then an inscribed polytope is an ideal hyperbolic polyhedron. Rivin showed that the dihedral angles at the edges completely characterize these polyhedra.
Theorem 1.1

\(0<\omega (e)<\pi \),

\(\sum _{e\in F} \omega (e) =2\pi \) for each facet F of P, and

\(\sum _{e\in C} \omega (e) >2\pi \) for each simple circuit C that does not bound a facet.
Using this result, inscribability and circumscribability can be efficiently checked. Yet, the characterization depends on a linear programming type feasibility computation. As Dillencourt and Smith pointed out in [11], it is an outstanding open problem to find a graphtheoretical characterization of inscribable 3polytopes. For simple polytopes, they found such a characterization [11]: A simple 3polytope is inscribable if and only if its graph is either bipartite and has a 4connected dual or it is 1supertough.
Question 1.2
(Dillencourt and Smith [11]) Is there a purely combinatorial characterization of the graphs of inscribable 3polytopes?
2 A Characterization in Higher Dimensions
It is not likely that there is a characterization as nice and simple as Rivin’s for higherdimensional inscribable polytopes. To start with, 4dimensional polytopes already present universality in the sense of Mnëv: This is a very strong statement whose history took off with groundbreaking results in Nikolai Mnëv’s Ph.D. thesis [25, 26], and that we discuss a little further in Sect. 5 (see also [30]). It has several implications, among them that it is already very hard to decide whether a given face lattice corresponds to a 4polytope. And as we will see later, higherdimensional inscribable polytopes also present universality features, so one should not expect to be able to decide inscribability in higher dimensions easily or quickly.
A more realistic goal would hence be to look for strong necessary conditions for inscribability in higher dimensions as well as for good (that is, weak) sufficient conditions. A set of necessary conditions is available, since Steinitz’s proof carries over directly to higher dimensions, as Grünbaum and Jucovič have observed already in 1974 [18]. Let’s see how.
Theorem 2.1
Let P be a dpolytope with graph G. If G has an independent set that contains more than half of all the vertices, or exactly half the vertices when G is not bipartite, then P is not inscribable.
Proof
Again, we prove the polar statement. Assume that \(P^\circ \) is circumscribed. Each facet F touches the ball in a single point \(p_F\). To each of the facets of F, which are ridges of \(P^\circ \), we can intersect the cone with apex \(p_F\) spanned by the ridge with a small ball centered at \(p_F\). The (normalized) solid angle associated to the ridge is the ratio of the volume of this intersection to the volume of the ball. Again, a reflection shows that the solid angle associated to each ridge does not depend on which of the two incident facets we take the apex from.
Now assume that the facets of \(P^\circ \) are painted in black and white, in such a way that there are no two neighboring black facets. If we add the contributions of the angles of the ridges associated to black facets, it should be at most (or less than if the dual graph is not bipartite) the sum of the contributions for the white facets. Since the sum along each facet is 1, the number of black facets cannot exceed the number of white facets, and they also cannot be the same if there are two adjacent white facets. \(\square \)
The more general necessary conditions by Dillencourt, such as 1toughness, have however not yet been generalized to higher dimensions, as far as we know; neither have the sufficient conditions of Dillencourt and Smith. Is it true that if the graph of a dpolytope has a rich enough structure of Hamiltonian subgraphs then the corresponding polytope is inscribable? This could explain the phenomena observed in the next section.
Question 2.2
Find strong necessary and sufficient conditions for inscribability of higherdimensional polytopes.
Firsching recently achieved a complete enumeration of the simplicial 4polytopes with 10 vertices [13]: There are exactly \(162\,004\) combinatorial types. Firsching also managed to decide inscribability for all but 13 of these polytopes: The remaining \(161\,991\) are divided into \(161\,978\) inscribable and 13 noninscribable. So, most simplicial 4polytopes with 10 vertices are inscribable. Moreover, the very few that are not inscribable have very few facets and edges. More precisely, every noninscribable simplicial 4polytope with 10 vertices has less than 27 facets and less than 37 edges, but \(146\ 104\) out of the \(162\ 004\) simplicial 4polytopes with 10 vertices do have at least 27 facets and 37 edges. This seems indicate that there might be combinatorial sufficient conditions for inscribability based only on the fvector.
Question 2.3
Is it true that most simplicial 4polytopes on n vertices are inscribable, for \(n\rightarrow \infty \)?
In 1991 Smith [40] proved that although there are exponentially many inscribable and circumscribable 3polytopes with n vertices (because there are many that are 4connected), most simplicial 3polytopes with n vertices are neither inscribable nor circumscribable. The proof consists in showing that the probability of finding a fixed noninscribable subgraph in a random 3connected planar triangulations tends to 1 as \(n\rightarrow \infty \). The same argument can be used on random 3connected planar graphs, see [6, Thm. 2 and Cor. 1], which shows that most combinatorial types of 3polytopes on a given large number of edges are not inscribable/circumscribable. This contrasts with what happens with simplicial 3polytopes with few vertices. In the same paper [40], Smith classified these according to their inscribability and circumscribility, and most turned out to be both inscribable and circumscribable. The referee for this paper suggested to use the strategy for 3polytopes in higher dimension: To show that a large random simplicial dpolytope is likely to contain a fixed noninscribable subcomplex.
3 Neighborly Polytopes
What is the maximal number of faces that a ddimensional polytope with n vertices can have? The answer to this fundamental question in the combinatorial theory of polytopes was not established until 1970, by McMullen [22], although Motzkin had already guessed the answer, as we know from a 1957 abstract [27]. And the answer is that the cyclic d polytopes with n vertices have the maximal number of kfaces among all d polytopes with n vertices (for all k!). This is the polytope one obtains when taking the convex hull of n points on the moment curve given by \(\gamma (t):=(t,t^2, t^3,\dots , t^d)\).
The cyclic polytopes owe their name to Gale [14], one of several (re) inventors (cf. [17, Sec. 7.4]), although they were essentially already known to Constantin Carathéodory in 1911 [7], who had studied the convex hull of the trigonometric moment curve \((\sin t, \cos t, \sin 2t, \cos 2t, \dots , \sin kt, \cos kt)\). The representation on the trigonometric moment curve, which is projectively equivalent to the monomial one [45, pp. 75/76], shows that in even dimensions, the cyclic polytopes are inscribable. Since then, several inscribed realizations of the cyclic polytope have been found (also in odd dimensions), see [17, p. 67], [39, p. 521] and [16, Prop. 17]. Thus the upper bound theorem is established for inscribed polytopes too.
The next natural question asks for all the polytopes that have this many facets. McMullen also provided the answer to this: This characterizes the simplicial neighborly polytopes. These are the simplicial polytopes with a complete \(\left\lfloor {\frac{d}{2}}\right\rfloor \)skeleton. (All evendimensional neighborly polytopes are simplicial, but not in general the odddimensional ones. In particular, not all odddimensional neighborly polytopes have the maximal number of facets, only those that are simplicial.) Even if Motzkin claimed that the cyclic polytopes are the only neighborly polytopes (in the same 1957 abstract [27] mentioned above), there are actually plenty. The number of neighborly dpolytopes with n vertices grows at least as \(n^{\left\lfloor d/2 \right\rfloor n(1o(1))}\) for fixed d [29]. Compare this to the number of dpolytopes with n vertices, which is not larger than \(n^{d^2n(1+o(1))}\) [3]. As it turns out, each one of the neighborly polytopes used to provide this lower bound is also inscribable [15] (for \(d\geqslant 4\)). And even more, as we discuss in the next section, they are inscribable in any strictly convex body! This surprising behavior let Gonska and Padrol [15] to ask:
Question 3.1
(Gonska and Padrol [15]) Is every (evendimensional) neighborly polytope inscribable?
Firsching [13] undertook a quest to find a counterexample. He successfully used nonlinear optimization techniques to find polytope realizations. In particular, he tried to inscribe the neighborly polytopes enumerated in [24]. The results are surprising: Every neighborly 4polytope with \(n\leqslant 11\) vertices, every simplicial neighborly 5polytope with \(n\leqslant 10\) vertices, every neighborly 6polytope with \(n\leqslant 11\) vertices, and every simplicial neighborly 7polytope with \(n\leqslant 11\) vertices is inscribable! Even more, every simplicial 2neighborly 6polytope with \(n\leqslant 10\) vertices is also inscribable. This lead Firsching to ask whether the even stronger statement that all 2neighborly polytopes are inscribable might be true [13, Conj. 1]. This may be a very brave conjecture, for which not much evidence is available yet. However, recall that the graph of a 2neighborly polytope is complete, and hence has the richest possible structure of Hamiltonian subgraphs ...
Question 3.2
(Firsching [13]) Is every (simplicial) 2neighborly polytope inscribable?
We can also ask the polar question: What about circumscribability of neighborly polytopes? The results are completely opposite. Chen and Padrol proved that, for any \(d\geqslant 4\), no cyclic dpolytope on sufficiently many vertices is circumscribable [8]. (The proof will be sketched below in the last section.) They even conjecture that this holds in more generality for neighborly polytopes [8, Conj. 7.4]. Notice that, since neighborliness can be read on the fvector, this would imply that there is an fvector of a convex polytope that does not belong to any inscribable polytope, namely that of the polar of a neighborly 4polytope with sufficiently many vertices. No example of such an fvector has been established so far. Actually, what is known points into the other direction: Every fvector of a 3dimensional polytope is inscribable [16]. However, fvectors that are not kscribable are known for \(d\geqslant 4\) and \(1\leqslant k\leqslant d2\) [8]. (A polytope is kscribable if it has a realization with all its kfaces tangent to the sphere.)
Question 3.3
(Gonska and Ziegler [16]) Is there an fvector that is not inscribable?
4 Universally Inscribable
As we just mentioned, the proof of inscribability for cyclic and many more neighborly polytopes given in [15] still works when we replace the unit ball by any other smooth strictly convex body. (This is what Oded Schramm called an egg in his celebrated paper “How to cage an egg?” [37].) Here smoothness is not very important, but strict convexity is. For example, the pigeonhole principle tells us that no simplicial dpolytope with more than \(d(d+1)\) vertices can be inscribed on the boundary of a dsimplex.
Hence many neighborly polytopes (among them all cyclic polytopes) are universally inscribable: They can be inscribed into any egg. Other examples of such polytopes are the stacked dpolytopes arising as a join of a path with a \((d2)\)simplex; and also Lawrence polytopes [15].
Question 4.1
(Gonska and Padrol [15]) Which polytopes are inscribable into the boundary of every (smooth) strictly convex body?
An observation of Karim Adiprasito [15] shows that being inscribable on the sphere is not sufficient for being universally inscribable. (The proof uses projectively unique polytopes [2].) We thank the anonymous reviewer for suggesting the following opposite question. (The reviewer’s conjectured answer is yes.)
Question 4.2
Are there polytopes that are inscribable in every egg other than the ellipsoid?
The celebrated Koebe–Andreev–Thurston Theorem states that every 3polytope has a realization with all its edges tangent to the sphere. This amazing result has a long history. It seems that it was first proved by Paul Koebe, but only for simple and simplicial polytopes [21]. Thurston later realized [44] that it followed from results of Andreev on hyperbolic polyhedra [4, 5]. Since then, several proofs have been found (see [46, Sect. 1.3] and references therein). Schramm went even further and proved that every 3polytope has a realization with all its edges tangent to any given egg [37].
Theorem 4.3
(Schramm [37]) For every 3polytope P, and every smooth strictly convex body K, there is a realization Q of P such that each edge of Q is tangent to K.
We reproduce the beautiful affirmative answer by Ivanov [20]:Is there a convex body in \(\mathbb R^d\) such that every combinatorial type of a ddimensional convex polytope can be realized with vertices on its surface?
Yes, there is such a body. Actually there is one very close to the standard unit ball and containing disjoint representatives of each combinatorial type (but these representatives are very small).
Indeed, every combinatorial type of a dpolytope has a realization which looks as follows: there is a “large” \((d1)\)dimensional facet and the remaining surface is a graph over this facet. To construct such a realization, choose a \((d1)\)facet, pick a hyperplane parallel to it and very close to it (but not intersecting the polytope), and apply a projective map which sends this hyperplane to infinity.
We can further “flatten” this realization so that it is very close to its large face. Choose a very small \(\varepsilon > 0\), apply a homothety such that the diameter of the polytope becomes less than \(\varepsilon \), and place the resulting tiny polytope so that it touches the sphere by a point on its “large” face. Then consider the convex hull of the sphere and the polytope. All vertices will be on the boundary of this convex hull if the polytope is sufficiently “flattened.” And the convex hull diverges from the ball only in a neighborhood of size \(\sim \!\sqrt{\varepsilon }\).
Now pick another combinatorial type of a polytope and repeat the procedure with a much smaller \(\varepsilon \) and a location on the sphere chosen so that the neighborhood affected by the second polytope does not interfere with the first one. And so on. Since there are only countably many combinatorial types, they all can be packed into the sphere, provided that \(\varepsilon \) goes to 0 sufficiently fast.
5 Universality

topological: \(\mathscr {R}_{\text {pol}}(P)\) can have the homotopy type of any arbitrary finite simplicial complex,

algebraic: there are polytopes that cannot be realized with rational coordinates,

algorithmic: it is ETRhard to decide if a lattice is the face lattice of a polytope.
Mnëv’s proof provided polytopes with the desired realization spaces, but could not say anything about their dimensions. Another major step was done later by Jürgen RichterGebert, who proved that there is universality already for 4dimensional polytopes [30].
The inscribed picture is similar. Up to dimension 3, inscribed realization spaces are reasonable. This follows from the results of Rivin that we have already mentioned [33], which imply that for a 3polytope P, \(\mathscr {R}_{\text {ins}}(P)\) is homeomorphic to the polyhedron of angle structures (and hence are contractible). In contrast, results of Adiprasito and Padrol with Louis Theran show that, in arbitrarily high dimensions, there is again universality [1]. We have not found yet an appropriate notion of stable equivalence for this context, while a universality theorem for general polytopes without stable equivalence is neither available nor in sight. This forces us to separate the topological, algebraic and algorithmic statements:
Theorem 5.1

For every primary basic semialgebraic set there is an inscribed polytope whose realization space is homotopy equivalent to it.

For every finite field extension \(F/\mathbb Q\) of the rationals, there is an inscribed polytope that cannot be realized with coordinates in F.

The problem of deciding if a poset is the face lattice of an inscribed [simplicial] polytope is polynomially equivalent to the existential theory of the reals (ETR). In particular, it is NPhard.
In the last point we can even ask the polytopes to be simplicial. This follows from a weak universality theorem for inscribed simplicial polytopes, which also appears in [1]. In this case, we can only find polytopes whose realization space retracts onto the semialgebraic set, instead of having homotopy equivalence as in the general case.
The inscribed analogue to RichterGebert’s result for 4polytopes is still missing.
Question 5.2
(Adiprasito et al. [1]) Is there universality for inscribed polytopes in bounded dimension, say for 4polytopes inscribed into \(\mathbb S^{3}\)?
The proof of Theorem 5.1 strongly relies on the results of Mnëv. The strategy is to start with certain polytopes with intricate realization spaces, and then to show that their inscribed realization spaces are equally involved. In particular, it does not prove that it is hard to decide inscribability once we already know that the face lattice corresponds to a polytope. However, inscribability is itself a complex condition, and hence one can expect that it increases the complexity of the corresponding realization spaces. This could lead to a proof of universality that is intrinsic to inscribed polytopes, and hopefully to advances in the previous question. A first step in this direction could be to find a polytope P such that \(\mathscr {R}_{\text {ins}}(P)\) is disconnected while \(\mathscr {R}_{\text {pol}}(P)\) is not.
Question 5.3
Is there universality for the realization spaces \(\mathscr {R}_{\text {ins}}(P)\) for a class of inscribable polytopes P whose general realization spaces \(\mathscr {R}_{\text {pol}}(P)\) are trivial (in particular, contractible)?
6 (i, j)Scribability
We have already referred to the Koebe–Andreev–Thurston Theorem. One is tempted to ask if similar behaviors might also appear in higher dimensions. The answer is no. Egon Schulte used an inductive argument over noninscribable/noncircumscribable 3polytopes to show that, for every \(d\geqslant 4\), and every \(0 \leqslant k\leqslant d1\), there are dpolytopes that cannot be realized with all their kfaces tangent to the sphere [38]. Of course, this opens the door to ask for a characterization of kscribable polytopes. There are almost no results in this direction, which is definitely an interesting research topic.
We will, however, consider a different problem. If we take an edgescribed realization of a 3polytope, it has also the following property: All the vertices are outside the ball while all the facets cut the ball. This kind of realizations are studied in [8]. Here a polytope is said to be (i, j)scribed if all its ifaces “avoid” the sphere while all the jfaces “cut” it. The definitions for cutting and avoiding that seem to work better say that a face F cuts the ball if there is a point of the unit ball in its relative interior, and that it avoids the ball if there is a hyperplane H, supporting for F, which completely contains P and the ball in one of the closed halfspaces it defines. (This somehow involved definition is needed if we want a selfdual concept that reduces to classical kscribability when \(i=j=k\).)
The weakest condition occurs when \(i=0\) and \(j=d1\):
Question 6.1
Does every polytope have a realization where every vertex avoids the ball and every facet cuts the ball?
The answer is most probably no, but so far no proof has been given (although Karim Adiprasito has suggested that one should be able to obtain counterexamples from gluing some of the large projectively unique polytopes from [2]). There are some results in the opposite direction: For \(d=3\), the edgescribed realization is also \((0,d1)\)scribed. Every inscribable polytope has directly a \((0,d1)\)scribed realization too. So, in particular, cyclic polytopes and many (all?) neighborly polytopes have such realizations. And obviously, circumscribable polytopes also have such a realization. This includes stacked polytopes, which are always circumscribable [8].
What about other values of i and j? The best offenders found in [8] are evendimensional cyclic polytopes (and their duals):
Theorem 6.2
(Chen and Padrol [8]) If an evendimensional cyclic polytope has sufficiently many vertices, then it is not \((1,d1)\)scribable, which in particular implies that it is not circumscribable.
Proof
(Sketch) The first step is to associate to each vertex of a \((1,d1)\)scribed cyclic polytope the spherical cap consisting of the points of \(\mathbb S^{d1}\) visible from it. This yields a configuration of spherical caps on \(\mathbb S^{d1}\). These are said to form a kply system if no point of \(\mathbb S^{d1}\) is contained in the interior of more than k caps.
Now the Sphere Separator Theorem of Miller et al. [23] states that the intersection graph of a kply system on \(\mathbb S^{d1}\) has a separator of size \(O(k^{{1}/{(d1)}}n^{1{1}/({d1})})\). The proof is astonishingly simple and beautiful (cf. [28, Thm. 8.5]): With a Möbius transformation, we can assume that the origin is a centerpoint of the centers of the caps. The next step is to compute the probability that a random linear hyperplane intersects a cap, which depends only on the area covered by the cap. Since our system is kply, we can estimate the sum of these volumes because we know the surface area of the sphere. This is used to show that a random linear hyperplane hits very few caps, whose removal separates the graph.
So how do we tie this in with cyclic polytopes? The key observation is that a set of points induce a kply system if and only if the convex hull of every kset intersects the sphere. A kset is a subset of k points that can be separated from the others with a hyperplane. Evendimensional cyclic polytopes have a lot of nice properties, among them oriented matroid rigidity. This allows us to show that every kset with \(k\geqslant \frac{3}{2}d  1\) contains a facet. If the realization was \((0,d1)\)scribed, this facet would intersect the sphere, and hence the cyclic polytope induces a kply set. But in this case, the intersection graph consists of the edges of the polytope avoiding the sphere. If all the edges avoided the sphere, this would be a complete graph, which obviously does not have a small separator.\(\square \)
Notes
Acknowledgments
We are grateful to Karim Adiprasito, Hao Chen, Igor Rivin, Juanjo Rué, Francisco Santos, and the anonymous referee for very valuable discussions, suggestions, and references; and to Sergei Ivanov for letting us reproduce his mathoverflow answer.
References
 1.Adiprasito, K., Padrol, A., Theran, L.: Universality theorems for inscribed polytopes and Delaunay triangulations. Discrete Comput. Geom. 54, 412–431 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
 2.Adiprasito, K., Ziegler, G.M.: Many projectively unique polytopes. Inventiones Math. 199, 581–652 (2015)MathSciNetCrossRefGoogle Scholar
 3.Alon, N.: The number of polytopes, configurations and real matroids. Mathematika 33(1), 62–71 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
 4.Andreev, E.M.: On convex polyhedra in Lobačevskıĭ spaces. Math. USSR, Sb. 10, 413–440 (1971)Google Scholar
 5.Andreev, E.M.: On convex polyhedra of finite volume in Lobačevskıĭ space. Math. USSR, Sb. 12, 255–259 (1971)Google Scholar
 6.Bender, E.A., Gao, Z.C., Richmond, L.B.: Submaps of maps. I. general 0–1 laws. J. Combinat. Theory, Ser. B 55(1), 104–117 (1992)Google Scholar
 7.Carathéodory, C.: Über den Variabilitätsbereich der Fourier’schen Konstanten von positiven harmonischen Funktionen. Rendiconto del Circolo Matematico di Palermo 32, 193–217 (1911)CrossRefzbMATHGoogle Scholar
 8.Chen, H., Padrol, A.: Scribability problems for polytopes. Preprint, August 2015, 24 pp., http://arxiv.org/abs/1508.03537
 9.Danciger, J., Maloni, S., Schlenker, J.M.: Polyhedra inscribed in a quadric. Preprint, October 2014, 42 pp., http://arxiv.org/abs/1410.3774
 10.Dillencourt, M.B.: Toughness and Delaunay triangulations. Discrete Comput. Geom. 5(6), 575–601 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
 11.Dillencourt, M.B., Smith, W.D.: A lineartime algorithm for testing the inscribability of trivalent polyhedra. Internat. J. Comput. Geom. Appl. 5(12), 21–36 (1995). Eighth Annual ACM Symposium on Computational Geometry (Berlin, 1992)Google Scholar
 12.Dillencourt, M.B., Smith, W.D.: Graphtheoretical conditions for inscribability and Delaunay realizability. Discrete Math. 161(1–3), 63–77 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
 13.Firsching, M.: Realizability and inscribability for some simplicial spheres and matroid polytopes. Preprint, October 2015, 25 pp., http://arxiv.org/abs/1508.02531
 14.Gale, D.: Neighborly and cyclic polytopes. In: Proceedings of Symposia in Pure Mathematics, vol. VII, pp. 225–232. American Mathematical Society, Providence (1963)Google Scholar
 15.Gonska, B., Padrol, A.: Neighborly inscribed polytopes and Delaunay triangulations. Adv. Geom. (in press). Preprint http://arxiv.org/abs/1308.5798v2
 16.Gonska, B., Ziegler, G.M.: Inscribable stacked polytopes. Adv. Geom. 13(4), 723–740 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
 17.Grünbaum, B.: Convex polytopes. Graduate Texts in Mathematics, vol. 221, 2nd edn. SpringerVerlag, New York (2003)Google Scholar
 18.Grünbaum, B., Jucovič, E.: On noninscribable polytopes. Czechoslovak Math. J. 24(99), 424–429 (1974)MathSciNetzbMATHGoogle Scholar
 19.Hodgson, C.D., Rivin, I., Smith, W.D.: A characterization of convex hyperbolic polyhedra and of convex polyhedra inscribed in the sphere. Bull. Amer. Math. Soc. 27(2), 246–251 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
 20.Ivanov, S.: Can all convex polytopes be realized with vertices on surface of convex body? MathOverflow, http://mathoverflow.net/q/107113, September 2012
 21.Koebe, P.: Kontaktprobleme der konformen Abbildung. Berichte Verh. Sächs. Akademie der Wissenschaften Leipzig, Math.Phys. Klasse 88, 141–164 (1936)Google Scholar
 22.McMullen, P.: The maximum numbers of faces of a convex polytope. Mathematika 17, 179–184 (1970)MathSciNetCrossRefzbMATHGoogle Scholar
 23.Miller, G.L., Teng, S.H., Thurston, W., Vavasis, S.A.: Separators for spherepackings and nearest neighbor graphs. J. ACM 44(1), 1–29 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
 24.Miyata, H., Padrol, A.: Enumerating of neighborly polytopes and oriented matroids. Exp. Math. 24(4), 489–505 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
 25.Mnëv, N.E.: The topology of configuration varieties and convex polytopes varieties. Ph.D. thesis, St. Petersburg State University, St. Petersburg, RU (1986). 116 pp., http://www.pdmi.ras.ru/~mnev/mnev_phd1.pdf
 26.Mnëv, N.E.: The universality theorems on the classification problem of configuration varieties and convex polytopes varieties. In: Topology and Geometry—Rohlin Seminar. Lecture Notes in Mathematics, vol. 1346, pp. 527–544. SpringerVerlag, Berlin (1988)Google Scholar
 27.Motzkin, T.S.: Comonotone curves and polyhedra (Abstract). Bull. Am. Math. Soc. 63, 35 (1957)MathSciNetCrossRefGoogle Scholar
 28.Pach, J., Agarwal, P.K.: Combinatorial Geometry. WileyInterscience Series in Discrete Mathematics and Optimization. Wiley, New York (1995)CrossRefzbMATHGoogle Scholar
 29.Padrol, A.: Many neighborly polytopes and oriented matroids. Discrete Comput. Geom. 50(4), 865–902 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
 30.RichterGebert, J.: Realization spaces of polytopes. Lecture Notes in Mathematics, vol. 1643. SpringerVerlag, Berlin (1996)Google Scholar
 31.RichterGebert, J., Ziegler, G.M.: Realization spaces of \(4\)polytopes are universal. Bull. Am. Math. Soc. 32, 403–412 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
 32.Rivin, I.: On geometry of convex ideal polyhedra in hyperbolic \(3\)space. Topology 32(1), 87–92 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
 33.Rivin, I.: Euclidean structures on simplicial surfaces and hyperbolic volume. Ann. Math. (2) 139(3), 553–580 (1994)Google Scholar
 34.Rivin, I.: A characterization of ideal polyhedra in hyperbolic \(3\)space. Ann. Math. (2) 143(1), 51–70 (1996)Google Scholar
 35.Rivin, I.: Combinatorial optimization in geometry. Adv. Appl. Math. 31(1), 242–271 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
 36.Samsa, G.: Can all convex polytopes be realized with vertices on surface of convex body? MathOverflow. http://mathoverflow.net/q/107096, September 2012
 37.Schramm, O.: How to cage an egg. Inventiones Math. 107(3), 543–560 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
 38.Schulte, E.: Analogues of Steinitz’s theorem about noninscribable polytopes. In: Proceedings of “Intuitive Geometry” (Siófok, 1985). Colloq. Math. Soc. János Bolyai, vol. 48, pp. 503–516. NorthHolland, Amsterdam (1987)Google Scholar
 39.Seidel, R.: Exact upper bounds for the number of faces in \(d\)dimensional Voronoĭ diagrams. In: Applied Geometry and Discrete Mathematics. DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 4, pp. 517–529. American Mathematical Society, Providence (1991)Google Scholar
 40.Smith, W.D.: On the enumeration of inscribable graphs. Manuscript, 7 pp., NEC Research Institute, 1991; http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.4543
 41.Steiner, J.: Systematische Entwicklung der Abhängigkeit geometrischer Gestalten von einander. Fincke, Berlin (1832). Also in: Gesammelte Werke, vol. 1, Reimer, Berlin 1881, pp. 229–458Google Scholar
 42.Steinitz, E.: Über isoperimetrische Probleme bei konvexen Polyedern. J. Reine Angew. Math. 159, 133–143 (1928)MathSciNetzbMATHGoogle Scholar
 43.Steinitz, E., Rademacher, H.: Vorlesungen über die Theorie der Polyeder. SpringerVerlag, Berlin (1934). Reprint, SpringerVerlag (1976)Google Scholar
 44.Thurston, W.P.: Geometry and topology of \(3\)manifolds. In: Lecture Notes. Princeton University, Princeton (1977–1978); http://library.msri.org/books/gt3m/
 45.Ziegler, G.M.: Lectures on polytopes. Graduate Texts in Mathematics, vol. 152. Springer, New York (1995)Google Scholar
 46.Ziegler, G.M.: Convex polytopes: extremal constructions and \(f\)vector shapes. In: Geometric Combinatorics. IAS/Park City Math. Ser., vol. 13, pp. 617–691. American Mathematical Society, Providence (2007)Google Scholar
Copyright information
Open Access This chapter is distributed under the terms of the Creative Commons AttributionNoncommercial 2.5 License (http://creativecommons.org/licenses/bync/2.5/) which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
The images or other third party material in this chapter are included in the work’s Creative Commons license, unless indicated otherwise in the credit line; if such material is not included in the work’s Creative Commons license and the respective action is not permitted by statutory regulation, users will need to obtain permission from the license holder to duplicate, adapt or reproduce the material.