Acronym ...
Name complex polyhedron xp-4-o2-3-x2
Face vector 3p3, 3p2(p+2), p(p2+3p+3)
Confer
general polytopal classes:
complex polytopes  

This complex polyhedron can be considered to be the mutual Stott expansion either of xp-4-o2-3-o2 by op-4-o2-3-x2, or the other way round. Accordingly the new vertex count is just the product of the former vertex count with the facet (in here: edge) count of its vertex figure. (This clearly will be independent of the chosen starting figure.) Faces here are both the faces of either starting polyhedron (shifted a bit out each) plus the mere prism product of the respective edges. The count of the formers clearly gets maintained in this expansion. The count for the additional facet type equates to the count of either of the former's edges.

In order to derive the respective edge counts, one observes that the respective edge counts per vertex are also the corresponding vertex counts of the vertex figure. Thus these are the vertex counts of the polytope according to that subsymbol of the current one, when both currently ringed nodes are omitted and then either the first (for the first edge type) or the last one (for the second edge type) gets ringed. (Within the current case of a polyhedron this simply amounts just in the index of the medial node for both cases.)

Alternatively this polyhedron also could be viewed as the once more rectified version of op-4-x2-3-o2. Then it becomes clear, that its complex faces are the duals each of those of the pre-image, and the here additional one then is just the former's vertex figure. Likewise are their total counts each obtained from those of the faces and vertices of the pre-image. Furthermore, as usual for rectifications, the total vertex count is again being obtained from the edge count of the pre-image. Hence this derivation thus requires the further consideration of the previous paragraph as well.


Incidence matrix according to Dynkin symbol

xp-4-o2-3-x2

.    .    .  | 3p3 |  2   2  |  1  2  1 
------------+-----+---------+----------
xp   .    .  |  p  | 6p2  *  |  1  1  0 
.    .    x2 |  2  |  *  3p3 |  0  1  1 
------------+-----+---------+----------
xp-4-o2   .    p2 | 2p   0  | 3p  *  * 
xp   .    x2  2p  |  2   p  |  * 3p2 * 
.    o2-3-x2 |  3  |  0   3  |  *  *  p3

© 2004-2024
top of page