[논문 리뷰] The number of "magic" squares and hypercubes

Matthias Beck, Moshe Cohen외 2명|ArXiv.org|2002. 01. 02.

Graph Labeling and Dimension Problems참고 문헌 10인용 수 8

한 줄 요약

이 논문은 선합 합이 $t$인 순서 $n$의 마법 제곱, 대칭 마법 제곱, 편대각 마법 제곱의 수가 $t$에 대한 준다항식(quasi-polynomial)임을 입증하며, 명시적인 차수와 상보성 법칙을 제시한다. 이는 Ehrhart의 반마법 제곱 이론을 이러한 제약 조건이 있는 조합적 구조로 확장하여, 그 수를 세는 함수가 주기적 계수와 함수 항등식을 가진 준다항식임을 증명함으로써, 전통적이지 않은 마법 제곱, 즉 음이 아닌 정수 성분과 고정된 선합을 가진 경우에 일반화된 고전 결과를 도출한다.

ABSTRACT

We define a magic square to be a square matrix whose entries are nonnegative integers and whose rows, columns, and main diagonals sum up to the same number. We prove structural results for the number of such squares as a function of the size of the matrix and the line sum. We give examples for small sizes and show similar results for symmetric, pandiagonal magic squares, and magic hypercubes.

연구 동기 및 목표

• 반마법 제곱에 대한 Ehrhart 다항식 이론을 마법 제곱, 대칭 마법 제곱, 편대각 마법 제곱으로 일반화하기.
• 이들 마법 제곱 유형에 대한 수를 세는 함수 $M_n(t)$, $S_n(t)$, $P_n(t)$의 기능적 형태—특히 차수와 주기성—을 규명하기.
• 반마법 제곱에 대한 Ehrhart 결과와 유사하게, 이 수를 세는 함수에 대한 상보성 법칙과 영점의 위치를 확립하기.
• 반마법 초입방체로의 분석을 확장하여, 그 수를 세는 함수가 준다항식임을 증명하기.

제안 방법

• 행렬의 행, 열, 대각선 합이 고정된 선합 $t$와 일치하는 음이 아닌 정수 성분을 가진 반마법 제곱, 마법 제곱, 대칭 마법 제곱, 편대각 마법 제곱을 정의한다.
• Ehrhart 이론과 다면체 기하학을 활용하여 이러한 행렬의 집합을 $\mathbb{R}^{n^2}$ 내의 유리 다면체로 모델링하며, 선에 따른 원소 합 제약 조건을 설정한다.
• 기저 다면체의 구조와 정수 점 수를 분석하여 수를 세는 함수 $M_n(t)$, $S_n(t)$, $P_n(t)$가 준다항식임을 증명한다.
• 합 제약 조건이 정의하는 애핀 부분공간의 차원을 계산하여 이 준다항식의 차수를 도출한다.
• 형태 $F_n(-n-t) = \pm F_n(t)$의 상보성 법칙을 확립하고, 각 함수에 대해 $F_n(-1) = \cdots = F_n(-n+1) = 0$임을 보인다.
• 경계 제약 조건에 대해 재귀적 치환과 포함배제 원리를 적용하여, 선형 독립인 제약 조건의 수가 $d$차원 초입방체에서 $(n-1)^d$임을 증명함으로써 수를 세는 함수의 차수를 확인한다.

실험 결과

연구 질문

• RQ1 음이 아닌 정수 성분과 선합 $t$를 가진 $n \times n$ 마법 제곱의 수의 기능적 형태는 무엇인가?
• RQ2 마법 제곱, 대칭 마법 제곱, 편대각 마법 제곱의 수를 세는 함수의 차수와 주기성은 반마법 제곱의 것과 어떻게 비교되는가?
• RQ3 수를 세는 함수 $M_n(t)$, $S_n(t)$, $P_n(t)$는 반마법 제곱에 대한 Ehrhart의 상보성 법칙과 유사한 상보성 법칙을 만족하는가?
• RQ4 이들 마법 제곱 유형의 해의 다면체의 차원은 무엇이며, 이는 수를 세는 함수의 차수와 어떻게 관련되는가?
• RQ5 반마법 초입방체 $H_n^d(t)$의 수를 세는 함수는 준다항식인가? 만약 그렇다면, 그 차수는 무엇인가?

주요 결과

• 순서 $n \times n$ 마법 제곱의 수를 세는 함수 $M_n(t)$는 차수 $n^2 - 2n - 1$의 준다항식이며, $M_n(-n-t) = (-1)^{n-1} M_n(t)$이고 $M_n(-1) = \cdots = M_n(-n+1) = 0$임을 만족한다.
• 대칭 마법 제곱의 함수 $S_n(t)$는 차수 $n^2/2 - n/2 - 2$의 준다항식이며, $S_n(-n-t) = (-1)^{n(n-1)/2} S_n(t)$를 만족하고 $t = -1, \dots, -n+1$에서 0이 된다; $S_4(t)$는 주기 4로 명시적으로 계산되었다.
• 편대각 마법 제곱의 함수 $P_n(t)$는 차수 $n^2 - 3n + 2$의 준다항식이며, $P_n(-n-t) = P_n(t)$이고 $P_n(-1) = \cdots = P_n(-n+1) = 0$임을 만족한다; $P_4(t)$는 주기 2로 명시적으로 제시되었다.
• 차원 $d$와 순서 $n$인 반마법 초입방체에 대해, 수를 세는 함수 $H_n^d(t)$는 차수 $(n-1)^d$의 준다항식이며, $H_n^d(-n-t) = (-1)^{n-1} H_n^d(t)$이고 $t = -1, \dots, -n+1$에서 영이 된다. 이는 Ehrhart 결과를 고차원으로 확장한다.
• 논문은 $n, d \geq 3$일 때 $H_n^d(t)$가 다항식이 아니라고 증명하며, 이는 $n \geq 5$일 때 $M_n(t)$, $S_n(t)$, $P_n(t)$도 다항식이 아닐 것이라는 추측을 뒷받침한다.
• 명시적인 공식이 $M_4(t)$, $S_4(t)$, $P_4(t)$에 대해 유도되었으며, 이는 $M_4(t)$가 주기 2인 이차 준다항식임을, $S_4(t)$가 주기 4임을, $P_4(t)$가 주기 2인 차수 6 준다항식임을 보여준다.