2
$\begingroup$

It seems like you can construct a polytope with 12 vertices, where each vertex connects to all the other vertices except 3. So there must be a totalt of 48 edges. (each of the 12 vertcies connects to 8 edges, and each edge is shared by 2 vertices 12*8/2 = 48)

All vertices would be indistinguishable and all edges would be indistinguishable, so it seems the polytope would be regular.

(As far as I can tell the polytope would consist of 16 triangles.)

I can't find any regular polytope that matches this. Maybe it's of a very high dimension. Can you help me?

$\endgroup$
2
  • 1
    $\begingroup$ Could you please say more about why it seems such a polytope should exist? $\endgroup$ Commented May 25, 2015 at 15:21
  • 2
    $\begingroup$ It certainly can't be a polyhedron, by Euler's formula. There would have to be 48-12+2=38 faces, but since each face has at least three edges there have to be at least 38*3/2=57 edges. I agree with user86418: why are you so confident such a polytope exists? $\endgroup$ Commented May 25, 2015 at 15:55

2 Answers 2

2
$\begingroup$

If you really do mean a regular polytope, there are only a few candidates to check out.

It's certainly not any of the Platonic solids, their $f$-vectors are $(4, 6, 4), (8, 12, 6), (6, 12, 8), (12, 30, 20)$, and $(20, 30, 12)$ for the tetrahedron, cube, octahedron, icosahedron, and dodecahedron, respectively. By $f$-vector I mean a vector consisting of the number of $0$-dimensional faces (vertices), $1$-dimensional faces (edges), and so on.

We'll focus on the three infinite families of regular polytopes next: The simplex, cube, and cross-polytope (dual to cubes, the octahedron is an example).

The $n$-dimensional simplex has $n+1$ vertices and ${n+1 \choose 2}$ edges. For $12$ vertices, we take $n = 11$, while ${12 \choose 2} = 66$, so a simplex is out.

For cubes, the $n$-dimensional cube has $2^n \neq 12$ vertices, so that's out as well.

For an $n$-dimensional cross polytope, we have $2n$ vertices (in bijection with the unit coordinate vectors $\{\pm e_i$}), so if it is a cross polytope, it must be $6$-dimensional. Unfortunately, each vertex is connected to all but $1$ other (the $\pm e_i$ vertex doesn't connect to $\mp e_i$), leading to $60$ edges.

That exhausts the infinite families, but there are still a few stragglers in $\Bbb R^4$ left to check. The $120$-cell and $600$-cell have far too many vertices ($600$ and $120$ respectively), leaving only the $24$-cell, which is the true black sheep of the regular polytope world, having no higher or lower dimensional analogs. The $24$-cell has $f$-vector $(24, 96, 96, 24)$. The vertices and edges are exactly twice what you're expecting, but it's still not quite right.

Note that there is a larger class of polytopes that are vertex-transitive (rather than fully flag-transitive) called uniform polytopes, of which yours would be an example. However, I'm not familiar with their classification.

You probably do have an interesting (at least abstract) polytope! It just can't be an regular polytope realizable in any $\Bbb R^n$.

$\endgroup$
1
  • $\begingroup$ thanks for the exhaustive analysis of the regular polytopes. It seems I should continue my search in the realm of uniform polytopes. Vertex-transitivity and edge-transitivity is important here. $\endgroup$ Commented May 25, 2015 at 15:24
1
$\begingroup$

The exceptional member of the regular 4D polytopes, the 24-cell, has for incidence matrix $$ \begin{array}{l|c|c|c|c} & V & E & F & C\\ \hline V & 24 & 8 & 12 & 6 \\ \hline E & 2 & 96 & 3 & 3\\ \hline F & 3 & 3 & 96 & 2\\ \hline C & 6 & 12 & 8 & 24 \end{array} $$ If you would consider now not the $spherical\ space$ version, but the $elliptical\ space$ variant instead, i.e. simply identify any antipodal points, then you would be left with 12 vertices only. The other incidences would all remain, but the absolute counts, mentioned at the main diagonal of the matrix, would all get divided by 2.

--- rk

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .