Smallest multiplicative magic squares, 6th and 7th-order


After multiplicative magic squares of orders 3-4-5, and before multiplicative magic squares of orders 8-9 and >=10,  here are my results on orders 6-7.

In 1983, Debra K. Borkovitz and Frank K.-M. Hwang published in Discrete Mathematics this 6x6 multiplicative magic square:

As far as I know, it was the smallest published 6x6 example. The 6x6 case is difficult: the latin squares method, described for 4x4 and 5x5 multiplicative squares, does not work for 6x6. The famous "36-officers problem" of Euler has no solution, as first proved by Gaston Tarry in 1900. Is it possible to construct smaller squares than the B&W example?

The answer is yes: the smallest possible 6x6 multiplicative magic product is P = 25 945 920, more than 70 times smaller than the B&H example. And the smallest possible maximum number with that product is more than 16 times smaller than the B&H example. Here is one of the numerous examples with this smallest P and its best max nb:

For 3x3, 4x4, 5x5 and 7x7 squares, the smallest possible maximum number is always possible with the smallest P. But it is not the case for 6x6 squares! Here is an example with the smallest possible maximum number for 6x6 squares, but needing a bigger P:

More magic: it is possible to have some additive properties in a 6x6 multiplicative square! Here is an example with the same P:

All rows of this multiplicative magic square are additive-multiplicative magic:

6x6 pandiagonal additive magic squares (using consecutive integers) are impossible. But 6x6 pandiagonal multiplicative magic square are possible! In 1913, Harry A. Sayles published this 6x6 pandiagonal multiplicative magic square, meaning that all the broken diagonals have the same product P.

It is also a most-perfect magic square: all its 2x2 subsquares (as for example the green one) have the same product P'. And another supplemental feature: all its 3x3 subsquares (as for example the blue one) have the same product P''.

Is it possible to do better? Yes. Here is my best 6x6 pandiagonal multiplicative magic square with the smallest known product P, more than 30 times smaller than P of the Sayles's example. And it has also the same 2x2 and 3x3 subsquares features.

And here are my best 6x6 pandiagonal multiplicative magic square with the smallest known Max nb, more than 10 times smaller than the Max nb of the Sayles's example. And it has also again the same 2x2 and 3x3 subsquares features.

In December 2007, Lee Morgenstern proved that the magic product of any 6x6 pandiagonal multiplicative magic square is always a 6th power. Look at the 3 above squares, their products are:

See here his proof of the 6th power.

The ten smallest possible products for 6x6 multiplicative magic squares are:

For more terms: see the 6x6 list referenced in Jan. 2006 under the number A113026 in the Neil Sloane's Encyclopedia of Integer Sequences, AT&T Research.


Smallest 7th-order multiplicative magic squares

What about 7x7 multiplicative squares? It seems that the problem is new, I have not seen any published 7x7 example.

Here is an example using the smallest possible product, and using the smallest possible maximum number:

As for 6x6 squares, it is possible to have some additive properties in a 7x7 multiplicative magic square. But this time directly with the same smallest P, and same smallest maximum number!

I do not know if it is possible to have 6x6 or 7x7 full (rows+columns+diagonals) additive-multiplicative magic squares, as it is possible for 8x8 and 9x9 additive-multiplicative squares.

But it is possible to have 7x7 pandiagonal multiplicative magic squares, meaning that all the broken diagonals are also multiplicative magic. Here are two examples, probably using the smallest possible P (first example) and the smallest possible max nb (second example) of 7x7 pandiagonal squares:

The ten smallest possible products for 7x7 multiplicative magic squares are:

For more terms: see the 7x7 list referenced in Jan. 2006 under the number A113027 in the Neil Sloane's Encyclopedia of Integer Sequences, AT&T Research.


Return to the home page http://www.multimagie.com