11
$\begingroup$

Originally asked by Ali Dino Jumani; EXTENSIVELY EDITED by David Speyer. The previous version was a bit confused, but Steven Sivek and Graham, in the comments, figured out what was going on.


G. C. Shephard, in his paper "Twenty Problems on Convex Polyhedra: Part I", associates to a three dimensional polyhedron the sequence $(p_3, p_4, p_5, p_6, \ldots)$, with $p_k$ being the number of facets that are $k$-gons. He poses the problem of characterizing all sequences of integers which arise in this way.

Are there any developments and references on this problem?

the original question as appeared in Shephard's paper "Given any finite sequence (f3, f4, ...., fm) of non-negative integers, find a necessary and sufficient condition for it to be assocoated with some convex polyhedron". Following Grunbaum's Convex Polytope 2e notation, section 13.3 under Eberhard's Therorem heading, f3 is triangle renamed as p3 and f4 as p4 is square and fm as pk is n-gon. A convex polyhedron containing these faces satisfies the Eberhard's criterion. Revisions and corrections are highly appreciated, Thanks.

$\endgroup$
11
  • 4
    $\begingroup$ What are you asking? $\endgroup$ Dec 29, 2009 at 16:03
  • 1
    $\begingroup$ You should rewrite your question and try to be more specific. It would also help you if you asked a direct question. $\endgroup$
    – GMRA
    Dec 29, 2009 at 16:55
  • 2
    $\begingroup$ The question seems to be "When is there a convex polyhedron which has exactly p_i faces of i edges each?" $\endgroup$ Dec 29, 2009 at 17:47
  • 2
    $\begingroup$ Here's the paper: jstor.org/pss/3612678. Problem III is as follows: for a polyhedron P, let $f_n(P)$ be the number of facets that are $n$-polygons, and call the result "associated to $P$). Find a necessary and sufficient condition for a given integer sequence $(p_3,p_4,\dots)$ to be associated to some polyhedron. $\endgroup$ Dec 29, 2009 at 17:49
  • 2
    $\begingroup$ I think I have fixed most of the confusion. One thing still bothers me: Why was the original title "Victor Eberhard's Theorem [1890]:"? Eberhard is not mentioned anywhere in the question! $\endgroup$ Dec 29, 2009 at 19:06

1 Answer 1

20
$\begingroup$

Eberhard Theorem

Consider a simple 3-polytope P, (so every vertex has 3 neighbors). If $p_k$ is the number of faces of P which are k-gonal, Euler's theorem implies that

$$(*) ~~\sum_{k \ge 3} (6-k)p_k=12.$$

Note that 6-gonal faces do not contribute to the LHS.

One way to think about it is that polygonal faces with 7 and more sides contribute "negative curvature", small faces namely triangles quadrangles and pentagons, contribute positive "curvature" and hexagons are "flat".

Eberhard's theorem asserts that if you have a sequence of numbers $p_k, k \ne 6$ such that $\sum_{k \ge 3} (6-k)p_k=12$ then you can find a simple 3-polytope with $p_k$ k-gonal faces. (But you have no control on $p_6$).

Extensions of Eberhard theorem

There are various results extending Eberhard's theorem in various directions. Chapter 13 in Grunbaum's book "Convex Polytopes" and especially the supplemantary material at the end of the chapter in the new 2nd edition is a good source. Another general source is my chapter from the "Handbook of Discrete and Computational geometry" on garphs and skeleta of polytops.

A relatively recent paper on the subject is by Stanislav Jendrol "On the face vectors of trivalent convex polyhedra". Another paper by Jendrol which deals with general 3-polytopes from the same year is "On face vectors and vertex vectors of convex polyhedra" Discrete Math 118 (1993)119-144. There are analogs of Eberhard theorem for 4-regular planar graphs, for toroidal graphs and in other directions.

A far as I know, there is no good answer known for the question posed by Shephard of characterizing all sequences $(p_3,p_4,\dots)$, and no such characterization is known even for the simple case.

High dimensions

In higher dimensions and even in four dimensions there are various different ways to extend these problems, these problems become very difficult and very little is known.

2-dimensional faces

You can ask again about the numbers of k-gonal 2-dimensional faces. While the formula above implies that in dimension 3 and more $p_3+p_4+p_5>0$ it is known that in dimensions 5 and more $p_3+p_4>0$.

Types of facets

Perhaps an even more natural extension is to consider the type of facets a given d-simensional polytope have. You can ask for a simple 4 polytope (a 4-polytope whose graph is 4-regular) what are the number of facets $p_Q$ isomorphic to a given 3-polytope Q. This gives you a vector indexed by combinatorial types of simple 3-polytopes, but I am not aware of any Eberhard type theorem and I do not know even which 3-polytopes should be considered as the analogs of the hexagons in the above formula. Dually stated and extented to triangulations of 3-spheres the question is to associate to a triangulated 3-simensional sphere (or just simplicial 3-polytope) the list of links of vertices (with multiplicities) it has. A related MO question is this one.

Type of facets according to their number of their facets

Rather than classifying the facets according to their full combinatorial type we can classify them according to their own number of facets. Here, for dimension greater than 4 there is no analog for (*). It is possible that under wide circumstences the numbers of facets with k facets can be prescribed, but I am not aware of results in this direction.

Type of facets according to their f-vectors

Precscribing the entire vector of face numbers of the individual facets, may well be the most interesting extension from 3 to higher dimensions.

There are some reasons to jump from dimension 3 directly to dimension 5. The nature of the problem is different in even and odd dimensions. Let me try to elaborate on that.

Suppose you have a simple 5-polytope P and denote by $p_{a,b}$ the number of facets F so that $f_3(F)=a$ and $f_2(F)=b$. (For a polytope or some other cell complex X, $f_i(X)$ denotes the number of $i$-dimensional faces of $X$.) Dually, we can consider a triangulation $K$ of the 4-simensional sphere $S^4$ and let $p_{a,b}$ be the number of vertices whose link has $a$ vertices and $b$ edges.

Now the Dehn-Sommervill relations imply that

$$(**) \sum p_{a,b} (b-6a+30) = 60 .$$

So now we can consider 4 dimensional facets as "small" if b-6a+30 is negative, as "large" if $b-6a+30$ is positive, and as neutral if $b=6a-30$. An analog of Eberhard theorem will say that you can prescribe the types of small and large facets and realize the polytope (or the triangulated sphere) by allowing to add many "neutral" facets.

Facets and non facets

A related question that was studied in several papers is: for which d-polytopes P there is a (d+1) polytopes Q such that all faces of Q are isomorphic to P. Such polytopes P are called "facets". An intriguing open problem is if the icosahedron is a facet.

Cubical complexes

Simple polytopes are dual to simplicial polytopes, and there is some special interest in these problems for cubical complexes (or their duals). Indeed there is an analog of Eberhard's theorem for 3-polytopes with all vertex degrees 4. There should be an analog for (**) and this may be related to interesting questions about curvature of cubical complexes.

Stacked polytopes

A stack polytope is a polytope obtained by gluing simplices along facets. (They are related to Appolonian circle packing.) Stacked polytopes are simplicial. I do not know if there is an analog of Eberhard's theorem when we consider only simple 3-polytope which are dual to stacked 3-polytopes. This is also interesting for other dimensions. All facets of stacked 5 polytopes are stacked and their number of edges is four times the number of vertices minus 10. Therefore, for a dual-to-stacked 5 polytope formula (**) reduces to $$\sum p_{a,b}(10-a)=30.$$ (Here, $b=4a-10$ so we can omit the subscript $b$.) So in this case, the distinction is between facets with $a<10$, those with $a>10$ and those with $a=10$. Again we can look for some analogs for Eberhard's theorem, which in this case, might be easier.

$\endgroup$
4
  • $\begingroup$ Shouldn't (*) be $\sum_{k \ge 3}(6-k)p_k$? $\endgroup$
    – Blue
    May 15, 2010 at 10:19
  • $\begingroup$ @GilKalai: Can you give a reference for the icosahedron being a non-facet? It would be much appreciated. $\endgroup$ Sep 26, 2014 at 1:46
  • $\begingroup$ Dear Kundor, as it turned out the question remains open. (I forgot to update.) $\endgroup$
    – Gil Kalai
    Sep 27, 2014 at 20:17
  • $\begingroup$ I think you may have deleted too much in your last edit - or was the fact about other regular polytopes also untrue? $\endgroup$
    – j.c.
    Oct 1, 2014 at 19:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.