2025-11-15T21:52:11.782071

A circle method approach to K-multimagic squares

Flores

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$.

academic

円周法によるK-多重魔方陣へのアプローチ

基本情報

論文ID: 2406.08161
タイトル: A circle method approach to K-multimagic squares
著者: Daniel Flores
分類: math.NT (数論)、math.CO (組合論)
発表時期: 2024年6月、更新版2025年1月
論文リンク: https://arxiv.org/abs/2406.08161

要旨

本論文は $K$ -多重魔方陣を研究する。これは $N \times N$ の魔方陣において、各要素を第 $k$ 乗に上げた後（すべての $2 \leqslant k \leqslant K$ に対して）も魔方陣の性質を保つものである。 $K \geqslant 2$ が与えられたとき、著者は最小整数 $N_2(K)$ を決定する問題を考察する。ここで $N_2(K)$ は、位数 $N_2(K)$ の非自明な $K$ -多重魔方陣が存在する最小値である。先行研究では大きな $K$ に対して $N_2(K) \leqslant (4K-2)^K$ が示されていた。本論文はHardy-Littlewood円周法を利用して、 $N_2(K) \leqslant 2K(K+1)+1$ という上界を確立した。さらにGranvilleの議論を通じて、位数 $2K(K+1)+1$ の非自明な素数値 $K$ -多重魔方陣が無限に存在することを導出した。

研究背景と動機

問題の定義: 本研究が解決すべき中核的問題は、最小の $K$ -多重魔方陣の位数を決定することである。 $K$ -多重魔方陣とは、 $N \times N$ 行列であって、各行、各列および2本の主対角線の和が、各要素を $k$ 乗に上げた後（ $1 \leqslant k \leqslant K$ ）も等しくなるものである。
問題の重要性:
- 魔方陣問題は数千年の歴史を有し、数学における古典的問題である
- Martin Gardnerが1996年に推広した3×3異なる平方数魔方陣問題は今なお未解である
- 多重魔方陣は魔方陣理論の重要な拡張であり、深い数論的意義を有する
既存手法の限界:
- 従来の構成方法は主に正規多重魔方陣（要素が1,2,..., $N^2$ ）に基づいている
- 既知の上界 $(4K-2)^K$ は大きな $K$ に対して指数増加の可能性がある
- 一般的な場合を扱う体系的な分析手法が欠けている
研究の動機:
- より精密な漸近上界が必要である
- Hardy-Littlewood円周法は加法的問題を扱うための強力な道具を提供する
- 上界を指数増加から多項式増加へ改善することが望まれる

中核的貢献

主要な理論的結果: $N_2(K) \leqslant 2K(K+1)+1$ を証明した。これは先行する上界 $(4K-2)^K$ の顕著な改善であり、特に $K \geqslant 4$ のときに顕著である。
方法論的革新: 円周法を多重魔方陣問題に初めて適用し、異なる次数の対角系を扱うための一般的な枠組みを確立した。
技術的突破:
- 行列の高度な非特異性条件を緩和し、行列の「支配関数」の概念を導入した
- 多重魔方陣の係数行列に適用可能な階数条件分析を確立した
素数値結果: Granvilleの議論とGreen-Tao定理を利用して、無限に多くの素数値 $K$ -多重魔方陣が存在することを証明した。

方法の詳細説明

タスク定義

$K \geqslant 2$ と $N$ が与えられたとき、 $N \times N$ 行列 $Z = (z_{i,j})$ を求める。ここで、すべての $1 \leqslant k \leqslant K$ に対して、行列 $Z^{\circ k} := (z_{i,j}^k)$ が魔方陣となる。非自明とは、 $N$ 個を超える異なる整数を使用することを意味する。

モデルアーキテクチャ

1. 対角系フレームワーク

$K$ -多重魔方陣問題を対角系の求解に変換する： $\sum_{1 \leqslant j \leqslant s} c_{i,j} x_j^k = 0 \quad (1 \leqslant i \leqslant r, 1 \leqslant k \leqslant K)$

ここで $C = (c_{i,j})$ は係数行列であり、 $R_K(P;C)$ は $\max_j |x_j| \leqslant P$ を満たす解の個数を表す。

2. 円周法の適用

指数生成関数を定義する： $f_K(\alpha;C) = \prod_{1 \leqslant j \leqslant s} \sum_{|x| \leqslant P} e\left(\sum_{1 \leqslant k \leqslant K} (\alpha_k \cdot c_j) x^k\right)$