Here are some thoughts on making some cool polytope objects. It's long but hopefully accessible ( but maybe a bit boring) and has some nice pictures.
Have you heard of the dual of a regular polyhedra?
The dual of a regular polyhedra, , can be made by taking the centre of each face of and turning it into a vertex. Then we join these new vertices if and only if the faces they are the centre of share an edge.
For example, take a cube. Imagine a vertex in the centre of each square face. Now join up these vertices if and only if the square faces they are on touch. What do you get?
We get this diamond looking shape called an octahedron!
Now, what if we begun with this octahedron to begin with and took the dual of it?
We'd get a cube again! In fact no matter what Regular Polyhedron we start with we always find that the Dual of the Dual of it is itself in terms of how it is connected. (*Why is this True? *) So the operation of dualling a regular polyhedron repeats itself after every two operations when thinking of the type of regular polyhedron it produces.
Now let's think of the idea of dualling something in a different way. If we take the co-ordinates of a face of regular polyhedron and take take the mean value of them then this gives the centre of that shape. (*Why is this True? *)
Now if we take convex hull of all the mean values of each face's vertices we find that we get the dual of the regular polyhedron too!
So what did we do?
We take the on the faces of the original regular polyhedron.
We take their mean to make new vertices.
Then we take the convex hull of these new vertices.
Now what if we changed step 1 to
We take the the vertices of of the original polyhedron?
Let's start off with a cube and apply this new algorithm using the mean of the edges over and over again for each regular polyhedron.
It looks as if they all converge respectively to some weird surface.
What are these surfaces? I don't know exactly (yet)?
And do they have any interesting properties?
How do they roll on the ground?
What way up would the float in water?
What can we say about their symmetries?
What formulas describe their surfaces and volumes?
What are the lines of shortest distances on them?
Can we assign numbers on similar faces with repetition to make it a fair dice on any of the iterations?
Are there any applications into computer graphics for this kind of method for making smooth approximations of objects iteratively?
What's a fast algorithm for computing these?
Why did we look at Regular Polyhedra in the first place? What if we take a higher dimensional object, like a 4D hypercube? Then we can take the mean of its other properties (sometimes called manifolds) like its volumes.
This should generalise nicely. In the last case the regular polyhedra looked as if they tended towards 3 unique surfaces as they approach their limits.
Will this be true for all regular polytopes (their -dimensional analogues)?
Given any initial polytope and any manifold we are meaning over, can we deduce the number of vertices, edges , volumes etc given the iteration?