by frazer » Wed Jun 29, 2005 7:44 pm
180 degree rotation is class 79. The cycles of the three row bands is class 25, and the cycles of three rows within each band is class 8. I've updated the web page (finally). I think all transformations cycling rows within bands (or columns) are conjugate, but if not, then other classes will have the same number of invariants too.
In response to coloin, it's slightly tricky to explain what we are doing now! But I do remember as a child seeing questions like: colour the edges of a square red and blue -- how many essentially different ways are there to do this (where two colourings count the same if they can be rotated into each other). It turns out that there is a mathematical theorem ("Burnside's Theorem") which allows you to work this sort of thing out. You write down all the possible symmetries (there are four symmetries, rotation by 90, 180 and 270 degrees, as well as the trivial symmetry which doesn't move the square at all). For each symmetry, you count the number of colourings which are fixed by the symmetry. Then the answer to the question is the average of these numbers.
For this problem, there are 4 edges, each can be coloured in 2 ways, so there are 2x2x2x2=16 possible colourings of the square's edges. The identity fixes all these 16 colourings. Rotation by 90 degrees fixes the colouring only if all four sides have the same colouring. So the fixed colourings are those which have all 4 edges red or all 4 blue, making 2 possibilities. Rotation by 180 degrees fixes a colouring if the opposite pairs have the same colour -- we have 2 choices for the top/bottom, and 2 for the left/right, making 2x2=4 in total. Rotation by 270 degrees clearly also has 2 fixed colourings, just like the 90 degree case. The average is therefore (16+2+4+2)/4=24/4=6.
And there are indeed 6 colourings: all 4 edges red, 3 red edges and 1 blue, 2 opposite red and 2 opposite blue, 2 adjacent red and 2 adjacent blue, 1 red and 3 blue, and 4 blue.
We are trying to do the same to count the number of essentially different sudoku grids. It turns out that there are 3359232 symmetries. To count the number of fixed points for all these would take an immense time, even with Red Ed's amazing programming. But just as the rotations by 90 and by 270 gave the same answer above, it turns out that there are 275 "conjugacy classes" (any 2 elements in the same class will have the same number of fixed grids), so we only have to see what happens for these 275 symmetries -- any symmetry will have the same number of fixed grids as one of these 275. (It's a bit like the reduction to 44 in the problem of counting all different grids.) And Ed has pointed out that all but 28 of these classes have no fixed grids. Of the 28, he's computed how many fixed grids there are for 6 of the classes.
That explains the idea. I should explain the notation on the web page... The table has one row for each of the 275 classes. I've labelled these arbitrarily 1-275 (just in the order that the program spat them out). The third column gives you one of the symmetries in each class. For example, for class 2, the bracket (7 8 9) means that square 7 is moved to square 8, square 8 to square 9 and square 9 back to square 7. (In other words, this bracket permutes the top row of the third block.) Class 2 contains the symmetry which sends 7->8, 8->9, 9->7, 16->17, 17->18, 18->16, 25->26, 26->27, 27->25, and so on. If you think about it, this is the symmetry which cycles the three final columns, and also cycles the three final rows. The second column gives the number of symmetries in the same class (which therefore have the same number of essentially invariant grids), and the final column says what this number is.
So the sum of the numbers in the second column should be the total number of symmetries, 3359232. What we need is to average, for each of these 3359232 symmetries, the numbers in the 4th column. This means that to get the final answer, we multiply the numbers in the second column by those in the fourth, add them all up, and divide by 3359232. (Of course, if we don't get a whole number, something will have gone wrong...)
Frazer