Latin square LS01- torus

We live in a universe of patterns
Ian Stewart


Geometry, symmetry and multiplicity of Latin squares are explored in this article. It is shown that full sets of Latin squares of fixed order can be partitioned in a highly limited number of  structure types with different geometries. The sets of 576 Latin squares of order 4 and 161280 of order 5 will be stepwise reduced to no more than 5 and 18 unequal Latin squares, respectively.
Approaches to perform the reduction process include: extending the notion of a Latin square to a cyclic or periodic structure, determining symmetry relations between symbolically different Latin squares, and utilizing that the numbers of different geometric patterns formed by same-symbol sites in Latin squares increase remarkably slowly with order; 2, 4, 10 and 28 for order 4, 5, 6 and 7 respectively. The numbers of ways in which these “Latin patterns” can be combined to form Latin squares with different structures are 5 and 18 as mentioned above.

Aim and scope of this study

Latin squares (Ls’s) are intriguing objects in general – applied – and recreational mathematics. Popular familiarity has currently been enhanced by the well-known Sudoku puzzles. The author’s interest is in Latin squares (Ls’s) as geometric objects, and in such questions as: are the geometries of symbolically different Ls’s different as well or can they be related in terms of common symmetry and/or similar structure; and if so: can a minimal set of Ls’s be assigned for each order comprising the geometries of all others; what symmetry types (planar groups) in terms of 2D-crystallographic symmetry classification are adopted by Latin squares?

Questions which are in fact so closely related to the everyday endeavour of a crystallographer that the 2010 title of this article “Geometric features of… ” has been changed in “Crystal structure and symmetry of…”.

Finally: are familiar combinatorial particularities within Ls sets, such as reduced-form appearance, division in isotopy classes, (self)orthogonality, etc. related to classifying their geometric structure?

Higher order Ls’s, such as the order 9 Sudoku, are not the most obvious starting point for studying matters indicated above. After an introductory Chapter (1) we will start out with order 4 Ls’s and see what features are encountered (Chapter 2). Next we will move to the (odd-dimensioned) Ls’s of order 5, and add modest extensions toward order 6 – and 7 Ls’s (Chapter 3). Special subjects including orthogonality are in Chapter 4. The general approaches and insights gained are summarized in Chapter 5.

All in all, the author hopes that the contents of this article will be of interest for crystallographers who might be tempted to see how their skills can be targeted towards a non-material world, as well as for combinatorial mathematicians who might discover that despite the enormous literature on Latin squares there are some unperceived morphological aspects which are worth to be looked into.

Above all: enjoy the Art and Science of Latin squares! (in progress)
present version
Yp M. de Haan, TUDelft (em), the Netherlands