arXiv++ Combinatorics

We describe a generalization of most-perfect magic squares, called type-p most-perfect squares, and in prime-power orders we give a linear construction of these squares reminiscent of de la Loubere's classical magic square construction method. Type-p most-perfect squares can be used to construct other interesting squares (e.g., generalized Franklin squares) and our linear construction may have implications for counting type-p most-perfect squares.

For prime $p$ we define magic squares of order $kp^3$, called type-$p$ Franklin squares, whose properties specialize to those of classical Franklin squares in the case $p=2$. We construct type-$p$ Franklin squares in prime-power orders.

For prime powers q we use "strongly orthogonal" linear Sudoku solutions of order q^2 to construct ordered orthogonal arrays of type OOA (4,s,2,q), and for each q we present a range of values of s for which these constructions are valid.

For any odd prime power q we provide a quick construction of a complete family of q(q-1) mutually orthogonal sudoku squares of order q^2.

A symmetry group for Sudoku is complete if its action partitions the set of Sudoku boards into all possible orbits, and minimal if no group of smaller size would do the same. Previously, for a 4 x 4 Sudoku variation known as Shidoku, the authors used an analogous symmetry group to partition the set of Shidoku boards into so-called "nests" and then use the interplay between the physical and relabeling symmetries to find certain subgroups that were both complete and minimal. In this paper these same techniques are applied to find a minimal complete symmetry group for the modular magic Sudoku variation, as well as for another Sudoku variation called semi-magic Sudoku. The paper concludes with a simple computation which leads to the non-obvious fact that the full Sudoku symmetry group is, in fact, already minimal and complete.