From @mail.uunet.ca:mark.longridge@canrem.com Sun Apr 16 21:14:23 1995 Return-Path: <@mail.uunet.ca:mark.longridge@canrem.com> Received: from seraph.uunet.ca (uunet.ca) by life.ai.mit.edu (4.1/AI-4.10) for /com/archive/cube-lovers id AA28498; Sun, 16 Apr 95 21:14:23 EDT Received: from portnoy.canrem.com ([198.133.42.17]) by mail.uunet.ca with SMTP id <187140-4>; Sun, 16 Apr 1995 21:15:31 -0400 Received: from canrem.com by portnoy.canrem.com (4.1/SMI-4.1) id AA04434; Sun, 16 Apr 95 21:10:34 EDT Received: by canrem.com (PCB-UUCP 1.1f) id 1DC195; Sun, 16 Apr 95 21:02:48 -0500 To: cube-lovers@life.ai.mit.edu Reply-To: CRSO.Cube@canrem.com Sender: CRSO.Cube@canrem.com Subject: Antislice revisited From: mark.longridge@canrem.com (Mark Longridge) Message-Id: <60.1095.5834.0C1DC195@canrem.com> Date: Sun, 16 Apr 1995 21:57:00 -0400 Organization: CRS Online (Toronto, Ontario) Mike Reid writes: > 90 or 180 degree number of number of strong number of weak > slice turns positions local maxima local maxma > > 0 1 0 0 > 1 9 0 0 > 2 51 0 0 > 3 247 0 7 > 4 428 0 212 > 5 32 8 32 > > the strict local maxima are all equivalent under symmetries of > the cube. they are the composition of pons asinorum with any > of the eight positions called "six dots". Very Interesting. Here's a 12q process for pons asinorum + 6 dots: (F2 B2) (T1 D3) (F1 B3) (L3 R1) (T1 D3) I have some thoughts on the relationship between the groups of the slice, antislice and squares, although some of it is old news, discovered by Mr. Singmaster back in 1980. The fact that, at most, 9 anti-slice moves always suffice to restore any position in this group I think is new. If we define Combo = < antislice , slice > I.e. Combo is the group generated by antislice and slice moves. Then.... Size (Combo) = 15,925,248 The Combo group fully includes the square's group and each group has some elements in common: Size (Intersection (antisl, slice, sq)) = 8 Also Size(Combo) / Size Sq) = 24 The Combo group has trivial centre. I should also note that.... Size (Intersection (sq, antisl)) = 256. Mike continues: > in the same way, local maxima (within the antislice group) in the > 90 degree antislice metric are local maxima in the full cube group > (quarter turn metric). perhaps mark will tell us more about this. Well, I didn't calculate local maxima for the anti-slice group, but I will look at it. I did create a file of all the processes for each anti-slice position, and most of the anti-slice group antipodes are quite ugly looking! One of the "not quite so ugly" antipodes: ( F1 B1 L1 R1)^3 + T1 D1 F1 B1 T1 D1 = 18 q The Centre elements of the Antislice group ------------------------------------------ There are 4 elements which commute with all elements of the group, the identity and the three 4 cross order 2 patterns. (F1 B1) (T1 D1) (L2 R2) (T1 D1) (F1 B1) (T2 D2) = 16 q TTT TTT TTT RLR BFB LRL FBF LLL FFF RRR BBB RLR BFB LRR FBF DDD DDD DDD Cheers! -> Mark <-