Thread: "Puzzle Group Centers and Superflips"

From: Roice Nelson <roice3@gmail.com>
Date: Fri, 19 Jan 2018 22:09:40 -0600
Subject: Puzzle Group Centers and Superflips



--001a114a5d72bca3bb05632d5de5
Content-Type: multipart/alternative; boundary="001a114a5d72bca3b805632d5de3"

--001a114a5d72bca3b805632d5de3
Content-Type: text/plain; charset="UTF-8"

Hi all,

I looked into the 3^4 group center
question using GAP.
I wrote a short program to spit out the generators as a permutation group
that GAP can read. I've attached files for both the 3^4 group and the
Klein Quartic puzzle group, in case you want to investigate other
properties yourself (I found this Rubik's cube example
useful). You can load
these files with the GAP Read command. Once loaded, grab the size of the
group in GAP with:

Size( puzzle );

Calculate and display the center of the group with:

z := Centre( puzzle );
GeneratorsOfGroup( z );

For both puzzles, the group centers are like the original Rubik's cube.
They have only one non-trivial element that flips all 2-colored pieces. In
the case of the 3^4, I was hoping the "superflip" move would also reorient
the corners in place with double swaps. That seemed pretty but alas, it
only reorients the 24 2C pieces.

If you aren't familiar with the center of a group, it is a subgroup that
contains all elements that commute with every element of the group. So if
you made a macro to execute the superflip S, then for any other sequence of
moves X, SXS' = X. (Since these superflips are order 2, S is also its own
inverse, S = S'.) If a center is the entire group, the group is abelian
and probably not an interesting permutation puzzle. You might say
(roughly) that groups with small centers are less abelian.

It is interesting to me that GAP can quickly find the center in a group
with so many elements. Also worthy of note: it took just a few seconds to
find it for the 3^4, but a few minutes for KQ. I don't know why.

*Conjecture in analogy to the 3^3*: The KQ and 3^4 superflips are as far
away from pristine as the diameter of the state space. That is,
it requires at least God's number of moves to get to these positions. Also
in analogy to the 3^3, I bet it will be much easier to verify the minimum
number of moves to reach a superflip than to verify that this count is
God's number.

Cheers,
Roice

--001a114a5d72bca3b805632d5de3
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi all,

I looked into the 3^4=C2=A0ref=3D"https://en.wikipedia.org/wiki/Center_(group_theory)" target=3D"_blan=
k">group center
=C2=A0question using GAP.=C2=A0 I wrote a short program =
to spit out the generators as a permutation group that GAP can read.=C2=A0 =
I've attached files for both the 3^4 group and the Klein Quartic puzzle=
group, in case you want to investigate other properties yourself (I found=
=C2=A0=3D"_blank">this Rubik's cube example=C2=A0useful).=C2=A0 You can l=
oad these files with the GAP Read command.=C2=A0 Once loaded, grab the size=
of the group in GAP with:

=C2=A0 =C2=A0 Size( puz=
zle );

Calculate and display the center of the=
group with:

=C2=A0 =C2=A0 z :=3D Centre(=
puzzle );
=C2=A0 =C2=A0 GeneratorsOfGroup( z );
=

For both puzzles, the group centers are like the original Ru=
bik's cube.=C2=A0 They have only one non-trivial element that flips all=
2-colored pieces.=C2=A0 In the case of the 3^4, I was hoping the "sup=
erflip" move would also reorient the corners in place with double swap=
s.=C2=A0 That seemed pretty but alas, it only reorients the 24 2C pieces.=
=C2=A0=C2=A0

If you aren't familiar with the c=
enter of a group, it is a subgroup that contains all elements that commute =
with every element of the group.=C2=A0 So if you made a macro to execute th=
e superflip S, then for any other sequence of moves X, SXS' =3D X.=C2=
=A0 (Since these superflips are order=C2=A02, S is also its own inverse, S =
=3D S'.)=C2=A0 If a center is the entire group, the group is abelian an=
d probably not an interesting permutation puzzle.=C2=A0 You might say (roug=
hly) that groups with small centers are less abelian.

<=
div>It is interesting to me that GAP can quickly find the center in a group=
with so many elements.=C2=A0 Also worthy of note: it took just a few secon=
ds to find it for the 3^4, but a few minutes for KQ.=C2=A0 I don't know=
why.

Conjecture in analogy to the 3^3:=
The KQ and 3^4 superflips are as far away from pristine as the diameter of=
the state space.=C2=A0 That is, it=C2=A0requires at least God's number=
of moves to get to these positions.=C2=A0 Also in analogy to the 3^3, I be=
t it will be much easier to verify the minimum number of moves to reach a s=
uperflip than to verify that this count is God's number.

=
Cheers,
Roice


--001a114a5d72bca3b805632d5de3--

--001a114a5d72bca3bb05632d5de5
Content-Type: application/x-ygp-stripped
Content-Transfer-Encoding: 7bit
X-Attachment-Id: f_jcmj0t662

Content-Type: image/png; name="kq_superflip.png"
Content-Disposition: attachment; filename="kq_superflip.png"
Content-Transfer-Encoding: base64
X-Attachment-Id: f_jcmj0t662

--001a114a5d72bca3bb05632d5de5
Content-Type: application/x-ygp-stripped
Content-Transfer-Encoding: 7bit
X-Attachment-Id: f_jcmixow90

Content-Type: application/octet-stream; name="3x3x3x3.g"
Content-Disposition: attachment; filename="3x3x3x3.g"
Content-Transfer-Encoding: base64
X-Attachment-Id: f_jcmixow90

--001a114a5d72bca3bb05632d5de5
Content-Type: application/x-ygp-stripped
Content-Transfer-Encoding: 7bit
X-Attachment-Id: f_jcmixsnf1

Content-Type: application/octet-stream; name="kq.g"
Content-Disposition: attachment; filename="kq.g"
Content-Transfer-Encoding: base64
X-Attachment-Id: f_jcmixsnf1

--001a114a5d72bca3bb05632d5de5--




From: mananself@gmail.com
Date: 20 Jan 2018 23:42:38 +0000
Subject: Re: Puzzle Group Centers and Superflips




From: mananself@gmail.com
Date: Sat, 20 Jan 2018 23:53:00 +0000
Subject: Re: Puzzle Group Centers and Superflips



--089e08255a90b1b62e05633de5d7
Content-Type: text/plain; charset="UTF-8"

I recorded a walkthrough solve using my method. The video isn't great, but
it's better than nothing, right?

https://youtu.be/lrD-GO-RMCE

Thoughts?

~Luna

--089e08255a90b1b62e05633de5d7
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

I recorded a walkthrough solve using my method. =
The video isn't great, but it's better than nothing, right?

=
https://youtu.be/lrD-GO-RMCEr>
Thoughts?

~Luna


--089e08255a90b1b62e05633de5d7--




From: mananself@gmail.com
Date: 24 Jan 2018 05:25:47 +0000
Subject: Re: Puzzle Group Centers and Superflips




From: mananself@gmail.com
Date: 13 Feb 2018 06:12:06 +0000
Subject: Re: Puzzle Group Centers and Superflips





Return to MagicCube4D main page
Return to the Superliminal home page