arXiv++ Combinatorics

We demonstrate the existence of $K$-multimagic squares of order $N$ consisting of distinct integers whenever $N>2 K(K+1)$. This improves upon our earlier result in which we only required $N+1$ distinct integers. Additionally, we present a direct method by which our analysis of the magic square system may be used to show the existence of $N \times N$ magic squares consisting of distinct $k$ th powers when $$ N> \begin{cases}2^{k+1} & \text { if } 2 \leqslant k \leqslant 4 \\ 2\lceil k(\log k+4.20032)\rceil & \text { if } k \geqslant 5\end{cases} $$ improving on a recent result by Rome and Yamagishi.

In this paper we investigate $K$-multimagic squares of order $N$, these are $N \times N$ magic squares which remain magic after raising each element to the $k$ th power for all $2 \leqslant$ $k \leqslant K$. Given $K \geqslant 2$, we consider the problem of establishing the smallest integer $N_2(K)$ for which there exists nontrivial $K$-multimagic squares of order $N_2(K)$. Previous results on multimagic squares show that $N_2(K) \leqslant(4 K-2)^K$ for large $K$. Here we utilize the Hardy-Littlewood circle method and establish the bound $$ N_2(K) \leqslant 2 K(K+1)+1 $$ Via an argument of Granville's we additionally deduce the existence of infinitely many nontrivial prime valued $K$-multimagic squares of order $2 K(K+1)+1$.