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)$ 차수의 비자명한 $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$ 행렬로서, 각 행, 각 열 및 두 주대각선의 합이 각 원소를 $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$ 일 때 그렇습니다.
방법론적 혁신: Hardy-Littlewood 원 방법을 다중마방진 문제에 처음 적용하여, 서로 다른 차수의 대각 시스템을 다루기 위한 일반적 틀을 확립합니다.
기술적 돌파:
- 행렬 높이 비특이성 조건을 완화하고, 행렬 "지배 함수"의 개념을 도입합니다
- 다중마방진 계수 행렬에 적용 가능한 계수 조건 분석을 확립합니다
소수값 결과: 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)$

직교성을 통해 다음을 얻습니다: $R_K(P;C) = \int_{[0,1)^{r \times K}} f_K(\alpha;C) d\alpha$

3. 주호와 부호 분해

주호 $M(Q)$ : $|\alpha_{i,k} - a_{i,k}/q| \leqslant QP^{-k}$ 인 영역
부호 $m(Q)$ : 여집합 영역
점근 공식 확립: $R_K(P;C) = S_K(Q;C)J_K(Q,P;C) + o(P^{s-\frac{rK(K+1)}{2}})$

기술적 혁신점

1. 행렬 지배 조건

새로운 개념 도입: 행렬 $C$ 가 함수 $f$ 를 지배한다는 것은 모든 $J \subset \{1,...,s\}$ 에 대해 다음을 만족함을 의미합니다: $\text{rank}(C_J) \geqslant \min\{f(|J|), r\}$

이는 전통적인 높이 비특이성 조건보다 약하지만 여전히 충분히 강합니다.

2. 핵심 함수 $F(x)$

다음과 같이 정의합니다: $F(x) = \max\left\{\frac{x - \text{rem}(s,r)}{\lfloor s/r \rfloor}, \frac{x - \text{rem}(s-1,r)}{\lfloor (s-1)/r \rfloor}\right\}$

3. 주요 기술 정리

정리 2.2: $K \geqslant 2$ , $C \in \mathbb{Z}^{r \times s}$ 가 $s \geqslant rK(K+1)$ 을 만족하고 $C$ 가 함수 $F(x)$ 를 지배한다면: $R_K(P;C) = P^{s-\frac{rK(K+1)}{2}}(\sigma_K(C) + o(1))$ 여기서 $\sigma_K(C) > 0$ 입니다.