3

(a) I would like to know whether there is a group theoretic approach for calculating the diameter of the Cayley graph of Rubik's Cube group.

I know it's been proved that the above diameter is $20$ but the approach uses brute force.

Also I wonder whether there is a "nice" presentation of this group (it is a finite group so the relations between the elements of this group come from the multiplication table, but (b) is there a systematic way of writing down these relations?)

What about a $2\times2\times2$ Rubik's Cube? (Is it still hard to examine the Cayley graph?)

EDIT

Since there has been no full answer to my initial questions I'd like to ask for something else too:

Is there an "nice" way to describe a maximal tree of the Cayley graph of the $3\times3\times3$ Rubik's Cube?

Shaun
  • 44,997
1123581321
  • 5,108
  • There is certainly a group-theoretic approach for calculating the diameter, and that's what the (2013?) proof of the diameter-20 result uses. While that result relies on a massive amount of case checking, it also uses clever reductions to bring it within reach of supercomputers. I don't know a "nice" presentation of the group, but GAP returns a presentation with $6$ generators and perhaps $\sim 300$ relations. It's not terribly illuminating to look at, though. – Travis Willse Nov 17 '18 at 20:23
  • The pocket ($2 \times 2 \times 2$) cube has a relatively tractable symmetry group, $\Bbb Z_3^7 \rightthreetimes S_8$, but this still has order $3^7 \cdot 8! \sim 8.8 \cdot 10^7$. – Travis Willse Nov 17 '18 at 20:23
  • @Travis Thanks for the information! Where could I find the approach you mention on your first comment? – 1123581321 Nov 17 '18 at 20:33
  • You're welcome. See https://math.stackexchange.com/questions/249476/presentation-of-rubiks-cube-group for lots of info. – Travis Willse Nov 17 '18 at 20:47
  • For part (b), I have represented all even permutation corner positions as 1002 cases and all edge positions as 3351 positions. I did so so that I could prove (via a "four color theorem type proof") that all even permutations of the Rubik's cube can be generated with a single commutator move sequence. These 1002 corner and 3351 edge positions represent all 44 million and 490 billion corner and middle edge positions/states (respectively) because they are composed of orientations and one representation of a cycle type. Is this what you are looking for? – Christopher Mowla Nov 17 '18 at 20:58
  • @Christopher Mowla yes, kind of. If I understood right you wrote all positions of $2\times2\times2$ cube as compositions of $1002+3351$ elements? – 1123581321 Nov 18 '18 at 08:19
  • 1
    I meant the 3x3x3 cube (whose moving parts are technically just corners and edges, as we can imagine the centers staying fixed). For the 2x2x2 (which obviously is just made up of corners), it would be just 1002. But we technically can imagine that one corner stays fixed when solving a 2x2x2, so it would only be 688. But yet, since I only represented the even permutations, then (in theory) it would be around double that for the 2x2x2 (or about 1400). – Christopher Mowla Nov 18 '18 at 10:36
  • There is a nice presentation for the 2x2x2 cube: http://cubezzz.dyndns.org/drupal/?q=node/view/177 – Jaap Scherphuis Dec 19 '18 at 16:18
  • 1
    As for a spanning tree, there is a Hamiltonian circuit ( https://bruce.cubing.net/index.html ). By removing one edge you trivially get a spanning tree. It is however not easy to describe. I doubt that there is an easy-to-decribe spanning tree. If you had one, it would also lead to an easy-to-describe solution method where there would never be any cancelling moves. – Jaap Scherphuis Dec 19 '18 at 16:30
  • @Jaap Scherphuis Thanks for the information! – 1123581321 Dec 19 '18 at 17:46
  • look here: https://mathoverflow.net/questions/139469/how-hard-is-it-to-compute-the-diameter-and-the-growth-function-of-a-finite-permu?noredirect=1&lq=1 – Alexander Chervov Feb 13 '19 at 20:19
  • @Alexander Chervov Thank you! – 1123581321 Feb 14 '19 at 13:17
  • The structure $\mathbb{Z}_3^7 \rtimes S_8$ described in the comments above is the structure of the "enlarged" 2x2x2 Rubik's group, which includes rearrangements that come from ripping the cube apart and putting it back together. The actual 2x2x2 Rubik's cube group seems to be a factor of 24 smaller (according to everywhere on the web which lists its size as 3,674,160). see e.g. Chapter 10 in Joyner's book here: https://www.foro3d.com/attachments/32223d1150357240-tutorial-cubo-rubbic-mathematics-of-the-rubiks-cube.pdf for the derivation of the enlarged group – Joshua Grochow Nov 02 '23 at 19:40

0 Answers0