76 Unique Honeycombs Last weekend, Tom Ruen and I hit the milestone of uploading to wikipedia at least one image for 9 families of compact, Wythoffian, uniform H3 honeycombs, a total of 76 unique honeycombs. http://en.wikipedia.org/wiki/Uniform_honeycombs_in_hyperbolic_space You can easily browse all the images on my wiki user page: http://commons.wikimedia.org/wiki/User:Roice3 - Compact means the cells are finite in extent. - Wythoffian means we can generate them using a kaleidoscopic construction, that is by reflecting in mirrors. - Uniform means they are vertex transitive and have uniform polyhedral cells. There may even be more honeycombs that meet all these criteria, I don't know. ( update: see Tom's comment below! ) I do know there are hundreds more which don't meet one or more of these criteria, many undiscovered. In fact, there are infinitely more because there are some infinite families of honeycombs. wendy krieger continues to discover and enumerate more...
The conjecture makes sense. Since the state is completely symmetrical, any move is equivalent (in the quarter-turn metric) to whichever move starts the solving process, and in the half-turn metric at least does not increase the distance. So the superflip is at least a local maximum.
ReplyDeleteThat the superflip is the only center in these cases also makes sense, since changing the position of any pieces can't be in the center, since you have arbitrary 3-cycles, and any rotation would have to be applied to every single piece of the same type in the same way to deal with position-permutations, but "the same way" is only meaningful for Z/2Z; the other orientation groups have automorphisms that can be realized via twisting (in the Rubik's sense, but also the bundle topology sense)
Thank you for the insights Layra Idarani!
ReplyDeleteI guess instead of "quarter-turn" and "half-turn" we need new descriptors. I guess "quarter-turn" means "minimal nontrivial turn on a single (hyper)-layer" and "half-turn" means "whatever turn on a single (hyper)-layer".
ReplyDeleteI'm assuming in the 3^4 case that we're looking at moves that along axes that go through a face of a cubical hyper-face, since in the case of at least some 4d Rubik's cube programs you have rotations around axes that go through the edges or corners of a hyper-face as single moves. If those are considered single moves, then my argument for the superflip being maximally scrambled falls apart since there are non-equivalent moves available.
Layra Idarani, yeah, we could think of two metrics, one allowing only minimal moves and the other allowing any reorientation of a face as a single move.
ReplyDeleteThat's right on the 3^4. The entire group can be constructed from minimal 90 degree twists, which can be composed into 120 degree rotations and two kinds of 180 degree rotations.
I suspect the superflips are maximally scrambled under either metric, but I have to confess I don't even know if that is true for Rubik's cube (and it must be known in that case).
The Superflip on a 3^3 is globally maximally scrambled in the half-turn (arbitrary-turn) metric, but not in the quarter-turn (minimal-turn) metric. The Superflip+four centers-swapped-with-opposites is globally maximally scrambled in the quarter-turn (minimal-turn) metric.
ReplyDeleteSurprising!
ReplyDeleteSo, for details, the 20 steps (half-turn metric) algorithm that I know for the superflip starts with a quarter-turn and ends with a half-turn (or vice-versa) and includes 8 half-turns in total. There is a 24 quarter-turn move algorithm, but I don't know what it is.
ReplyDeleteHere is a 24 move quarter-turn sequence (counting central slice twists as one). The video is showing how to use the superflip for a magic trick. https://youtu.be/LByJjGg-Kh8
ReplyDelete