The smallest possible additive-multiplicative magic square


What is the smallest possible additive-multiplicative (or addition-multiplication) magic square? 5x5, 6x6, or 7x7: today nobody knows!

Reminder: an additive-multiplicative magic square must be magic when we add the cells of any line (same sum S), and also must be magic when we multiply the cells of any line (same product P). All the integers used must be distinct. The smallest known additive-multiplicative magic square is a 7x7 square constructed by Sébastien Miquel in 2016. Before, the smallest known squares were 8x8 and 9x9 squares, first constructed by Walter Horner in the 50's. In 2005, I constructed other 8x8 and 9x9 squares with smaller magic products and smaller magic sums than Horner's squares.


3x3 add-mult magic squares?

Semi-magic and magic squares are impossible. Here is the demonstration given by Lee Morgenstern.

Duplication Lemma
Given
     a + b = c + d
and
     ab = cd,
then
     c = a or c = b.

Proof
Use the 2nd equation and set d = ab/c. Substitute this into the 1st equation to get
     a + b = c + ab/c
or
     c(a + b) = c^2 + ab
or
     (c - a)(c - b) = 0.

 Thus c = a or c = b.

Theorem
A 3x3 add-mult semi-magic square of distinct entries is impossible.

Proof
Suppose the following is a 3x3 add-mult semi-magic square.
     a b M
     N P c
     Q R d

 Because the square is additive semi-magic, we have
         a + b + M = M + c + d
or
     (1) a + b = c + d.

 Because the square is multiplicative semi-magic, we have
         abM = Mcd
or
     (2) ab = cd.

From (1) and (2) and the Duplication Lemma, all 3x3 add-mult semi-magic squares must have duplicate entries.

Corollary
A 3x3 add-mult magic square of distinct entries is impossible.


4x4 add-mult magic squares?

4x4 add-mult semi-magic squares are possible. Lee Morgenstern found 54 semi-magic examples with Max nb < 256, the best possible being:

But 4x4 add-mult magic squares are impossible, as proved below by Lee.

Theorem
A 4x4 add-mult magic square of distinct entries is impossible.

Proof
Suppose the following is a 4x4 add-mult magic square.
     a M N b
     P Q R S
     T U V W
     X c d Y

 Because the square is additive magic, we have
     (1)  a + M + N + b = X + c + d + Y,
     (2)  a + Q + V + Y = M + Q + U + c,
     (3)  b + R + U + X = N + R + V + d.

 Add (1), (2), and (3), cancel common terms, and divide by 2,
     (4)  a + b = c + d.

 Because the square is multiplicative magic, we have
     (5)  aMNb = XcdY
     (6)  aQVY = MQUc
     (7)  bRUX = NRVd

 Multiply (5), (6), and (7),
          MNQRUVXY(ab)^2 = MNQRUVXY(cd)^2
or
     (8)  ab = cd.

 From (4) and (8) and the Duplication Lemma, all 4x4 add-mult magic squares must have duplicate entries.


5x5 add-mult magic squares?

We don't know if 5x5 add-mult magic squares are possible. But 5x5 add-mult semi-magic squares are possible. Lee Morgenstern found 20 semi-magic examples with Max nb < 276. Here is the square having the smallest possible Max nb:

This other square has a very interesting supplemental property: it is also an additive panmagic square, the sums of all its broken diagonals giving again the same S.

Here is the square having the smallest S:

But his very best square is this other one. Better than an add-mult semi-magic square, because it has one add-mult magic diagonal (and always 5 add-mult magic rows, and 5 add-mult magic columns). Very close to a 5x5 add-mult magic square!

Results of the search done by Lee Morgenstern in 2007: there is no magic example with Max nb < 276.
And results of my own search of February 2009: there is no magic example with Max nb < 1000 and P < 10^9 * center cell.

In April 2010, Jérôme Crétaux, famous for cracking in 2005 the chip of the French e-health insurance card (the "Vitale" card, see for example http://ec.europa.eu/idabc/servlets/Doc?id=22448 in English or www.internetactu.net/2005/09/09/yaura-t-il-un-scandale-sesam-vitale in French), nominee for the Big Brother Awards France 2005 (http://bigbrotherawards.eu.org/article550.html), found a 5x5 add-mult semi-magic square with (Max nb, S, P) = (253, 674, 26854027200). This same square was previously found by Lee Morgenstern, among his 20 examples with Max nb < 276 not fully given here. Will Jérôme also crack the enigma #6?

In January 2010, Javier Cilleruelo, Universidad Autonoma de Madrid, and Florian Luca, Universidad Nacional Autonoma de Mexico, published a paper titled "On multiplicative magic squares" in The Electronics Journal of Combinatorics (www.combinatorics.org) in which they "give a lower bound for the distance between the maximal and minimal element in a multiplicative magic square of dimension r whose entries are distinct positive integers." After their proof that a 4x4 add-mult magic square cannot exist, they propose: "Problem 2. Are there additive-multiplicative magic squares of order r = 5 with distinct entries?". This is the same problem as ours here! Look at their interesting paper : www.combinatorics.org/Volume_17/PDF/v17i1n8.pdf

In December 2016, Keith F. Lynch, USA, found more than a thousand 5x5 add-mult semi-magic squares with P < 2x10^12 (and some other constraints), but none of them has two add-mult magic diagonals. Disappointing, he didn't find any new example with one add-mult magic diagonal. Before Lynch's work, Morgenstern's square given above with P = 926640000 was considered to be the square having the smallest possible product. But because Lee searched only squares with Max nb < 276, he didn't find Keith's square below. Here is the semi-magic square having the smallest P:

Among his thousand semi-magic squares, Keith found only one square using 1, and only one square using only odd numbers. Here are these rare squares:

Analyzing the two add-mult semi-magic squares (given above, from Lee and Keith) which are also additive panmagic squares, I observe that they are Graeco-Latin squares. We can obtain them with:

Among the thousand of Keith's semi-magic add-mult squares, I succeeded in moving the cells of 63 of them in order to add the panmagic additive property. ALL of these 63 squares have a Graeco-Latin additive structure. But none has mult magic diagonals.

Because such Graeco-Latin squares have ten (and not just two) additive magic diagonals, we have ten possibilities (and not just two) that some of their diagonals are also multiplicatively magic. Of course, not easy that rows and columns are also multiplicatively magic... But it's perhaps a method allowing a 5x5 add-mult magic square with some good (A, B, C, D, E) and (a, b, c, d, e)?

Who will be the first to construct a 5x5 add-mult magic square? Or prove that it is impossible?


6x6 add-mult magic squares?

In 2005, I constructed a 6x6 multiplicative magic square with partial add-mult properties: its 6 rows are additive-multiplicative. In 2007, Lee Morgenstern constructed the first known 6x6 add-mult semi-magic squares. Here are the best possible semi-magic examples. The first square has one additive magic diagonal. And the second square has one additive magic diagonal and one multiplicative magic diagonal.



Interesting observation on the previous square: it uses the first consecutive integers 1, 2, 3, 4, 5, 6, 7. It is not for sure that this square has the smallest possible P, but it has the smallest known P.

We don't know if 6x6 add-mult magic squares are possible. The second square above (Smallest S = 289) has 13 of 14 correct sums, and 13 of 14 correct products: total 26 out of 28, not an additive magic square, and not a multiplicative magic square. Here is a square with 14 of 14 correct sums, and 12 of 14 correct products: still 26 out of 28, still not a multiplicative magic square, but this is now an additive magic square!

Results of the search done by Lee Morgenstern in 2007: there is no magic example with Max nb < 136.

Who will be the first to construct a 6x6 add-mult magic square? Or prove that it is impossible?


7x7 add-mult magic squares?

In 2005, I constructed a 7x7 multiplicative magic square with partial add-mult properties: its 7 rows are additive-multiplicative.

Results of the search done by Lee Morgenstern in 2007: there is no semi-magic example with Max nb < 91.

Who will be the first to construct a 7x7 add-mult semi-magic square?

In April-May 2010, Toshihiro Shirakawa constructed the first known 7x7 add-mult semi-magic squares, his two best squares being:

The diagonals are add magic, but not mult magic. Some months later, he found this better square, this time one diagonal is add-mult magic, the other one is mult magic (however the other diagonal can also be add magic, reordering the cells with 108 + 78 + 39 + 20 + 54 + 63 + 18, but then this diag is no more mult magic):

Who will be the first to construct a 7x7 add-mult magic square? Or prove that it is impossible?

August 15th, 2016: Sébastien Miquel, France, is the first to solve my enigma #6b. He previously solved the enigma #4c also on 7x7 squares. Sébastien is now a doctoral student at Université Paris-Sud, working in mathematics on Lie groups. He used his own application written in Rust, running on his personal computer with i7-920 processor. He choose some heuristically "good" magic products (here 150885504000 = 2^10 * 3^7 * 5^3 * 7^2 * 11), before searching squares with selected magic sums. For this product, the search of a magic square with sum 465 took ~600h of computing. Other solutions may exist with smaller products and/or smaller sums.

This 7x7 is currently the SMALLEST known add-mult magic square: 5x5 and 6x6 still unknown! (enigmas #6, #6a)


8x8 and 9x9 add-mult magic squares?

Examples are known. Look at this other page.


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