A proper Euler magic matrix of order $5$

Scott Duke Kominers

Abstract

An Euler magic matrix is an integer matrix $M$ with $MM^{t}=γI$ whose squared entries sum to $γ$ along both main diagonals; it is proper if its squared entries are pairwise distinct. Euler constructed an order-$4$ proper example, and Müller settled orders $3$ (none exist) and $8$, leaving order $5$ as the smallest open case. We construct such a matrix, by rotating one of Müller's "near-misses" under a mirror-symmetric coordinate pair so that the two diagonal conditions collapse to a single rational equation; the same invariant suggests a uniform approach to the odd orders.

Disclosure

“∗ Harvard Business School; Department of Economics and Center of Mathematical Sciences and Applications, Harvard University; and a16z crypto. I used LLMs to assist with computations and coding in the preparation of this article, especially Claude Opus 4.8 and GPT-5.5 Pro (both accessed in part via Poe with the”

PDF page 1
Classification
Computational experiments or data processing
Multiplier
3
Verified

Structural counts

Pages 10 pdf
Theorems 2 source
Lemmas 1 source
Propositions 0 source
Corollaries 1 source
Definitions 1 source
Displayed equations 19 source
Bibliography entries 20 source
Appendix pages 6 estimated

Count notes

  • Source counts use the expanded primary TeX file Euler_magic_5.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.