A type of ``magic square'' in Tarry's problem. (Q2601942)

Verf. betrachten das System \[ \displaylines{\rlap{\qquad\!(1)} \hfill \textstyle \sum\limits_{i=1}^{n} x_i^k=\sum\limits_{i=1}^{n}y_i^k\qquad(k=1, 2,\dots, n-1)\hfill} \] diophantischer Gleichungen (das allgemeinere Problem \(k = 1\), 2,\dots, \(m\) mit beliebigem \(m\leqq n - 1\) wurde kürzlich von \textit{Wright} studiert (s. die vorstehende Besprechung); vgl. auch \textit{Dickson}, History of the theory of numbers II (1920; F. d. M. 47, 100 (JFM 47.0100.*)), Kap. 24). Sie greifen das Problem folgendermaßen an: Jedem (nichttrivialen) Lösungssystem von (1) wird eine quadratische Matrix mit den Elementen \[ \displaylines{\rlap{\qquad\!(2)} \hfill a_{rs}=x_r-y_s\qquad(r, s=1,\dots, n) \hfill} \] zugeordnet. Sie genügt offenbar den Bedingungen \[ \displaylines{\rlap{\qquad\!(3)} \hfill \textstyle \prod\limits_{r=1}^{n} a_{rs}=-c,\;\prod\limits_{s=1}^{n}a_{rs}=(-1)^nc\qquad(r, s=1,\dots,n)\hfill} \] und \[ \begin{alignedat}{2} &a_{\varkappa s}-a_{\lambda s}=b_{\varkappa \lambda }\qquad&&(s=1,\dots, n),\tag{"}\qquad\!(4)"\\ &a_{r\mu }-a_{r\nu }=c_{\mu \nu } &&(r=1,\dots, n).\end{alignedat} \] Umgekehrt führt jede Matrix \(a_{rs}\) mit den Eigenschaften (3) und (4) auf ein Lösungssystem von (1). Verf. nennen eine solche Matrix ``magisches Quadrat'' und bestimmen für \(n = 2\),\dots, 8 eine ganze Reihe solcher (z. T. von mehreren Parametern abhängenden) magischen Quadrate.