×

Magic square spectra. (English) Zbl 1173.05011

Summary: To study the eigenvalues of low order singular and non-singular magic squares we begin with some aspects of general square matrices. Additional properties follow for general semimagic squares (same row and column sums), with further properties for general magic squares (semimagic with same diagonal sums). Parameterizations of general magic squares for low orders are examined, including factorization of the linesum eigenvalue from the characteristic polynomial.
For \(n\)th order natural magic squares with matrix elements 1,\(\dots ,n^{2}\) we find examples of some remarkably singular cases. All cases of the regular (or associative, or symmetric) type (antipodal pair sum of \(1+n^{2}\)) with \(n-1\) zero eigenvalues have been found in the only complete sets of these squares (in fourth and fifth order). Both the Jordan form and singular value decomposition (SVD) have been useful in this study which examines examples up to 8th order.In fourth order these give examples illustrating a theorem by Mattingly that even order regular magic squares have a zero eigenvalue with odd algebraic multiplicity, \(m\). We find 8 cases with \(m=3\) which have a non-diagonal Jordan form. The regular group of 48 squares is completed by 40 squares with \(m=1\), which are diagonable. A surprise finding is that the eigenvalues of 16 fourth order pandiagonal magic squares alternate between \(m=1\), diagonable, and \(m=3\), non-diagonable, on rotation by \(\pi /2\). Two 8th order natural magic squares, one regular and the other pandiagonal, are also examined, found to have \(m=5\), and to be diagonable.
Mattingly also proved that odd order regular magic squares have a zero eigenvalue with even multiplicity, \(m=0,2,4,\dots \). Analyzing results for natural fifth order magic squares from exact backtracking calculations we find 652 with \(m=2\), and four with \(m=4\). There are also 20, 604 singular seventh order natural ultramagic (simultaneously regular and pandiagonal) squares with \(m=2\), demonstrating that the co-existence of regularity and pandiagonality permits singularity. The singular odd order examples studied are all non-diagonable.

MSC:

05B15 Orthogonal arrays, Latin squares, Room squares
00A08 Recreational mathematics
05B20 Combinatorial aspects of matrices (incidence, Hadamard, etc.)
11C20 Matrices, determinants in number theory
15A03 Vector spaces, linear dependence, rank, lineability
15A18 Eigenvalues, singular values, and eigenvectors
15B36 Matrices of integers

Software:

Matlab; Survo
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] De Alba, L. M., Cubic polynomials, their roots and the Perron-Frobenius theorem, Int. J. Math. Ed. Sci. Technol., 33, 96-111 (2002) · Zbl 1006.26009
[2] Amir-Moéz, A. R.; Fredricks, G. A., Characteristic polynomials of magic squares, Math. Mag., 57, 220-221 (1984) · Zbl 0552.05026
[3] W.W.R. Ball, H.S.M. Coxeter, Mathematical Recreations & Essays, University of Toronto Press, 12th ed., 1939, 1974.; W.W.R. Ball, H.S.M. Coxeter, Mathematical Recreations & Essays, University of Toronto Press, 12th ed., 1939, 1974.
[4] M. Beeler, Appendix 5: The Order 5 Magic Squares, 1973, pp. 1-16 (this is a report of R. Schroeppel’s work with the enumeration of order 5 magic squares mentioned by Gardner [26]).; M. Beeler, Appendix 5: The Order 5 Magic Squares, 1973, pp. 1-16 (this is a report of R. Schroeppel’s work with the enumeration of order 5 magic squares mentioned by Gardner [26]).
[5] Ben-Israel, A.; Greville, T. N.E., Generalized Inverses: Theory and Applications (2002), Wiley: Wiley InterScience
[6] Benson, W. H.; Jacoby, O., New Recreations with Magic Squares (1976), Dover, (see Appendix)
[7] Bergholt, E., The magic square of sixteen cells. A new and completely general formula, Nature, 83, 368-369 (1910) · JFM 41.0274.07
[8] E.R. Berlekamp, J.H. Conway, R.K. Guy, More on magic squares, in: Winning Ways: For Your Mathematical Plays, Games in Particular, vol. 2, Academic Press, London, 1982, pp. 778-783 (reprinted in Winning Ways: For Your Mathematical Plays, Second Revised Edition, vol. 4, AK Peters, 2004.; E.R. Berlekamp, J.H. Conway, R.K. Guy, More on magic squares, in: Winning Ways: For Your Mathematical Plays, Games in Particular, vol. 2, Academic Press, London, 1982, pp. 778-783 (reprinted in Winning Ways: For Your Mathematical Plays, Second Revised Edition, vol. 4, AK Peters, 2004.
[9] Brock, K. G., How rare are singular matrices?, The Math. Gazette, 89, 378-384 (2005)
[10] K.S. Brown, The Determinants of \(4 \times 4\) Magic Squares. <http://www.mathpages.com/home/kmath310.htm>.; K.S. Brown, The Determinants of \(4 \times 4\) Magic Squares. <http://www.mathpages.com/home/kmath310.htm>.
[11] Cayley, A. C., Note on magic squares, Messenger Math., VI, 168 (1877) · JFM 09.0124.03
[12] Chan, W.; Loly, P. D., Iterative compounding of square matrices to generate large-order magic squares, Math. Today, 38, 113-118 (2002)
[13] Chernick, J., Solution of the general magic square, Am. Math. Month., 45, 172-175 (1938) · JFM 64.0041.08
[14] K.L. Chu, Some comments on magic square matrices with three nonzero eigenvalues, Invited talk (abstract #W-8, joint work with G.P.H. Styan) at the 16th International Workshop on Matrices and Statistics, Windsor, Ontario, Canada, June 2007.; K.L. Chu, Some comments on magic square matrices with three nonzero eigenvalues, Invited talk (abstract #W-8, joint work with G.P.H. Styan) at the 16th International Workshop on Matrices and Statistics, Windsor, Ontario, Canada, June 2007.
[15] K.L. Chu, G.P.H. Styan, G. Trenkler, K. Vehkalahti, Some comments on magic squares, with special emphasis on magic matrices having 3 nonzero eigenvalues, in preparation (paper based on the talks at the 16th International Workshop on Matrices and Statistics, Windsor, Ontario, Canada, June 2007 by Chu [14], Styan[62] and Vehkalahti [73]).; K.L. Chu, G.P.H. Styan, G. Trenkler, K. Vehkalahti, Some comments on magic squares, with special emphasis on magic matrices having 3 nonzero eigenvalues, in preparation (paper based on the talks at the 16th International Workshop on Matrices and Statistics, Windsor, Ontario, Canada, June 2007 by Chu [14], Styan[62] and Vehkalahti [73]).
[16] J. Conway, Some mathematical magic, Quantum 1 (March/April 1991) 28-29, 45 and 61.; J. Conway, Some mathematical magic, Quantum 1 (March/April 1991) 28-29, 45 and 61.
[17] M. Dernham, Magic square as a determinant: solution II, Am. Math. Month 56 (1949) 33-34 (problem E813 proposed by Trigg [16]).; M. Dernham, Magic square as a determinant: solution II, Am. Math. Month 56 (1949) 33-34 (problem E813 proposed by Trigg [16]).
[18] R. Descombes, Les Carrés Magiques, Vuibert, Paris, 2000.; R. Descombes, Les Carrés Magiques, Vuibert, Paris, 2000.
[19] S.W. Drury, There are no magic squares of rank 2, August 2007, personal communication.; S.W. Drury, There are no magic squares of rank 2, August 2007, personal communication.
[20] H.E. Dudeney, Amusements In Mathematics, Reprint Edition, Dover, New York, 1970 (unabridged and unaltered republication of the work originally published by Thomas Nelson, London, 1917, and reprinted by Dover, New York, 1958).; H.E. Dudeney, Amusements In Mathematics, Reprint Edition, Dover, New York, 1970 (unabridged and unaltered republication of the work originally published by Thomas Nelson, London, 1917, and reprinted by Dover, New York, 1958).
[21] Eldén, L., Matrix Methods in Data Mining and Pattern Recognition (2007), SIAM · Zbl 1120.68092
[22] van den Essen, A., Magic squares and linear algebra, Am. Math. Month., 97, 60-62 (1990)
[23] Fox, C., Magic matrices, Math. Gazette, 40, 209-211 (1956) · Zbl 0071.03603
[24] Frénicle de Bessy, Des Quarrez ou Tables Magiques, Mémoires de l’Académie Royale des Sciences depuis 1666 jusqu’a 1699, Tome V Paris, 1729, p. 209.; Frénicle de Bessy, Des Quarrez ou Tables Magiques, Mémoires de l’Académie Royale des Sciences depuis 1666 jusqu’a 1699, Tome V Paris, 1729, p. 209.
[25] Gantmacher, F. R., The Theory of Matrices (1977), Chelsea Publishing Company · Zbl 0085.01001
[26] M. Gardner, Mathematical Games, Scientific American 234 (January 1976), pp. 118-122.; M. Gardner, Mathematical Games, Scientific American 234 (January 1976), pp. 118-122.
[27] F. Gaspalou, Ultramagic squares of order 7 - improvements. <http://www.trump.de/magic-squares/ultramagic-7/improvements.htm>.; F. Gaspalou, Ultramagic squares of order 7 - improvements. <http://www.trump.de/magic-squares/ultramagic-7/improvements.htm>.
[28] Gauthier, N., Singular matrices applied to \(3 \times 3\) magic squares, Math. Gazette, 81, 225-230 (1997)
[29] Hartman, J., Nonsingular magic matrices: solution to elementary problem E3440, proposed by Wardlaw [75], Am. Math. Month., 99, 966-967 (1992)
[30] H. Heinz, Order-4 Magic Squares. <http://www.geocities.com/ harveyh/order4list.htm>.; H. Heinz, Order-4 Magic Squares. <http://www.geocities.com/ harveyh/order4list.htm>.
[31] H.D. Heinz, J.R. Hendricks, Magic squares lexicon: illustrated, 2000. ISBN:0-9687985-0-0, See HDH’s: <http://www.geocities.com/ harveyh/>.; H.D. Heinz, J.R. Hendricks, Magic squares lexicon: illustrated, 2000. ISBN:0-9687985-0-0, See HDH’s: <http://www.geocities.com/ harveyh/>.
[32] Hetzel, A. J.; Liew, J. S.; Morrison, K. E., The probability that a matrix of integers is diagonalizable, Am. Math. Month., 114, 491-499 (2007) · Zbl 1140.15018
[33] Horn, R. A.; Johnson, C. A., Matrix Analysis (1985), Cambridge University Press: Cambridge University Press UK · Zbl 0576.15001
[34] Horn, R. A.; Johnson, C. A., Topics in Matrix Analysis (1991), Cambridge University Press: Cambridge University Press UK · Zbl 0729.15001
[35] Hruska, F., Magic squares, matrices, planes and angles, J. Recreat. Math., 23, 183-189 (1991) · Zbl 0757.05038
[36] Johnston, B. L.; Richman, Fred, Numbers and Symmetry (1997), CRC Press · Zbl 0889.00002
[37] Khan, N. A., Characteristic roots of semi-magic matrices, Am. Math. Month., 64, 261-263 (1957) · Zbl 0077.02304
[38] Kirkland, S. J.; Neumann, M., Group inverses of \(M\)-matrices associated with nonnegative matrices having few eigenvalues, Linear Algebra Appl., 220, 181-213 (1995) · Zbl 0833.15004
[39] M. Kraitchik, La Mathématique des Jeux, Stevens, Brussels, 1930 (revised and translated into English as [40]).; M. Kraitchik, La Mathématique des Jeux, Stevens, Brussels, 1930 (revised and translated into English as [40]).
[40] M. Kraitchik, Mathematical Recreations, second revised ed., Dover, New York, 2006 (Unabridged republication of the 1953 Dover edition of the work originally published by W.W. Norton, New York, 1942. First published in French as [39]).; M. Kraitchik, Mathematical Recreations, second revised ed., Dover, New York, 2006 (Unabridged republication of the 1953 Dover edition of the work originally published by W.W. Norton, New York, 1942. First published in French as [39]). · Zbl 0050.00901
[41] Loly, P. D., The invariance of the moment of inertia of magic squares, Math. Gazette, 88, 151-153 (2004)
[42] Loly, P. D., Franklin squares – a chapter in the scientific studies of magical squares, Complex Syst., 17, 143-161 (2007) · Zbl 1143.05302
[43] P.D. Loly, The characteristic equation under rotation, 2008, in preparation.; P.D. Loly, The characteristic equation under rotation, 2008, in preparation.
[44] Loly, P. D.; Steeds, M., A new class of pandiagonal squares, Int. J. Math. Ed. Sci. Technol., 36, 375-388 (2005)
[45] P.D. Loly, J. Tromp, Vector spaces of magical squares, 2008, in preparation.; P.D. Loly, J. Tromp, Vector spaces of magical squares, 2008, in preparation.
[46] E. Lucas, Les carrés magiques: sur le carré de 3 et sur les carrés a deux degrés, Les Tablettes du Chercheur: Journal de Jeux d’Ésprit et de Combinaisons, No. 5, page 7, 1 March 1891. Reprinted in “Récréations mathématiques” by E. Lucas, vol. 4, 1891, pp. 224-228. Full-text pdf files of all 4 volumes of “Récréations mathématiques” are available at the American Libraries Internet Archive. <http://www.archive.org/details/recretionmatedou04lucarich>.; E. Lucas, Les carrés magiques: sur le carré de 3 et sur les carrés a deux degrés, Les Tablettes du Chercheur: Journal de Jeux d’Ésprit et de Combinaisons, No. 5, page 7, 1 March 1891. Reprinted in “Récréations mathématiques” by E. Lucas, vol. 4, 1891, pp. 224-228. Full-text pdf files of all 4 volumes of “Récréations mathématiques” are available at the American Libraries Internet Archive. <http://www.archive.org/details/recretionmatedou04lucarich>.
[47] G. Martin, E.B. Wong, Almost all integer matrices have no integer eigenvalues, <arXiV:0712.3060v1 [math.NT]> (18.12.07).; G. Martin, E.B. Wong, Almost all integer matrices have no integer eigenvalues, <arXiV:0712.3060v1 [math.NT]> (18.12.07).
[48] Mattingly, R. B., Even order regular magic squares are singular, Am. Math. Month., 107, 777-782 (2000), (The Mathematical Association of America, Washington, DC. See also his personal webpage: http://web.cortland.edu/mattinglyb/research.htm: “I receive a couple of emails each year about this paper, which contains a conjecture that odd order regular magic squares are nonsingular. However, Peter Loly and his colleagues have discovered that this is false!”) · Zbl 0979.05025
[49] Mayoral, F., Semi-magic squares and their orthogonal complements, Math. Gazette, 80, 308-313 (1996) · Zbl 0863.05020
[50] McClintock, E., On the most perfect forms of magic squares, with methods for their production, Am. J. Math., 19, 99-120 (1897) · JFM 28.0198.03
[51] Meyer, C., Matrix Analysis and Applied Linear Algebra (2000), SIAM (Society for Industrial and Applied Mathematics, Philadelphia)
[52] Mirsky, L., An Introduction to Linear Algebra (1955), Oxford at the Clarendon Press · Zbl 0066.26305
[53] Moler, C., MATLAB’s magical mystery tour, The MathWorks Newslett., 7, 8-9 (1993)
[54] S. Mustonen, SURVO MM: computing environment for creative processing of text and numerical data, 2001. <http://www.survo.fi/mm/english.html>.; S. Mustonen, SURVO MM: computing environment for creative processing of text and numerical data, 2001. <http://www.survo.fi/mm/english.html>.
[55] Ollerenshaw, K.; Bondi, H., Magic squares of order four, Phil. Trans. Royal Soc. A, 306, 443-532 (1982) · Zbl 0492.05022
[56] Ollerenshaw, K.; Brée, D. S., Most-Perfect Pandiagonal Magic Squares: Their Construction and Enumeration (1998), The Institute of Mathematics and its Applications: The Institute of Mathematics and its Applications Southend-on-Sea, UK · Zbl 0941.05003
[57] C.A. Pickover, The Zen of Magic Squares, Circles, and Stars: An Exhibition of Surprising Structures across Dimensions, Second printing and first paperback printing, Princeton University Press, 2003.; C.A. Pickover, The Zen of Magic Squares, Circles, and Stars: An Exhibition of Surprising Structures across Dimensions, Second printing and first paperback printing, Princeton University Press, 2003.
[58] Planck, C., Pandiagonal magic squares of orders 6 and 10 with minimal numbers, Monist, 29, 307-316 (1919)
[59] M. Rempel, W. Chan, P.D. Loly, More on Compounding Magic Squares, 2008, in preparation.; M. Rempel, W. Chan, P.D. Loly, More on Compounding Magic Squares, 2008, in preparation.
[60] A. Rogers, P.D. Loly, G.P.H. Styan, Some comments on composite magic matrices using Kronecker products, 2008, in preparation.; A. Rogers, P.D. Loly, G.P.H. Styan, Some comments on composite magic matrices using Kronecker products, 2008, in preparation.
[61] Schindel, D. G.; Rempel, M.; Loly, P., Enumerating the bent diagonal squares of Dr Benjamin Franklin FRS, Proceedings of the Royal Society A: Physical, Mathematical and Engineering, 462, 2271-2279 (2006) · Zbl 1149.05302
[62] G.P.H. Styan, An illustrated (philatelic) introduction to magic matrices and statistics, with special emphasis on magic matrices having 3 nonzero eigenvalues, Invited talk (joint work with K.L. Chu and G. Trenkler) at the Fifth Annual Meeting of the Statistical Society of Canada, St. Johns, Newfoundland, Canada, June 2007.; G.P.H. Styan, An illustrated (philatelic) introduction to magic matrices and statistics, with special emphasis on magic matrices having 3 nonzero eigenvalues, Invited talk (joint work with K.L. Chu and G. Trenkler) at the Fifth Annual Meeting of the Statistical Society of Canada, St. Johns, Newfoundland, Canada, June 2007.
[63] M. Suzuki, Magic Squares. <http://mathforum.org/te/exchange/hosted/suzuki/MagicSquare.html> (frozen at 2001).; M. Suzuki, Magic Squares. <http://mathforum.org/te/exchange/hosted/suzuki/MagicSquare.html> (frozen at 2001).
[64] Thompson, A. C., Odd magic powers, Am. Math. Month., 101, 339-342 (1994) · Zbl 0809.05030
[65] Trenkler, G., Singular magic squares, Int. J. Math. Ed. Sci. Technol., 25, 595-597 (1994) · Zbl 0827.15003
[66] Trenkler, G., On the eigenvalues of \(3 \times 3\) magic squares, Int. J. Math. Ed. Sci. Technol., 30, 307-308 (1999) · Zbl 1017.05029
[67] G. Trenkler, On the Moore-Penrose inverse of magic squares, Invited talk (abstract #W-41) at the 16th International Workshop on Matrices and Statistics, Windsor, Ontario, Canada, June 2007.; G. Trenkler, On the Moore-Penrose inverse of magic squares, Invited talk (abstract #W-41) at the 16th International Workshop on Matrices and Statistics, Windsor, Ontario, Canada, June 2007.
[68] Trevor, J. E., Determinants whose arrays are magic squares, Am. Math. Month., 31, 216-222 (1924) · JFM 50.0066.01
[69] Trigg, C. W., Magic square as a determinant, Am. Math. Month., 55, 248 (1948)
[70] Trigg, C. W., Determinants of fourth order magic squares, Am. Math. Month., 55, 558-561 (1948)
[71] Trigg, C. W., Problem E 813: remarks by the proposer, Am. Math. Month., 56, 34-37 (1949)
[72] W. Trump, Ultramagic squares of order 7. <http://www.trump.de/magic-squares/ultramagic-7>.; W. Trump, Ultramagic squares of order 7. <http://www.trump.de/magic-squares/ultramagic-7>.
[73] W. Trump, Notes on magic squares and cubes. <www.trump.de/magic-squares>.; W. Trump, Notes on magic squares and cubes. <www.trump.de/magic-squares>.
[74] Ward, J. E., Vector spaces of magic squares, Math. Mag., 53, 151-153 (1980)
[75] W.P. Wardlaw, [Elementary Problem] E3440, Am. Math. Month. 98 (1991) 437 (Solution by Hartman [29]).; W.P. Wardlaw, [Elementary Problem] E3440, Am. Math. Month. 98 (1991) 437 (Solution by Hartman [29]).
[76] K. Vehkalahti, Some comments on magic squares and Survo puzzles, Invited talk (abstract #W-43) at the 16th International Workshop on Matrices and Statistics, Windsor, Ontario, Canada, June 2007.; K. Vehkalahti, Some comments on magic squares and Survo puzzles, Invited talk (abstract #W-43) at the 16th International Workshop on Matrices and Statistics, Windsor, Ontario, Canada, June 2007.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.