마법 정사각형을 밝히는 순열 행렬의 마법

초록

본 논문은 대칭 순열 행렬을 이용해 마법 정사각형을 체계적으로 분류하고, 특정 대칭 클래스를 갖는 마법 정사각형의 특이성 및 고유값 구조를 분석한다. 특히 싱글-이븐 차수의 자연 마법 정사각형이 존재하지 않음을 증명한다.

상세 분석

이 연구는 마법 정사각형을 대칭 순열 행렬(Symmetric Permutation Matrix, SPM)과의 곱으로 표현함으로써 기존의 대칭성 분석을 한 단계 끌어올렸다. 저자들은 먼저 SPM을 정의하고, 이 행렬이 자기역행렬이며 행·열을 동시에 재배열한다는 점을 강조한다. 그런 다음, 마법 정사각형 M에 대해 M = P · M · Pᵀ 형태를 만족하는 모든 SPM P의 집합을 구한다. 이 집합은 마법 정사각형의 대칭군과 일대일 대응하며, Dudeney이 1917년에 제시한 12가지 클래스를 포함하는 보다 일반적인 분류 체계를 제공한다.

특히 저자들은 두 가지 중요한 클래스, 즉 ‘반대각선 대칭 클래스’와 ‘중심 대칭 클래스’를 집중적으로 연구한다. 첫 번째 클래스는 주대각선과 반대각선에 대해 각각 대칭인 순열 행렬을 사용해 구성되며, 이 경우 정사각형의 행·열 합이 서로 상쇄되어 행렬식이 0이 된다. 즉, 이러한 마법 정사각형은 본질적으로 특이(singular)하다는 것이 증명된다. 두 번째 클래스는 중심을 기준으로 180도 회전 대칭을 갖는 순열 행렬을 적용한 경우이며, 이 역시 고유값 스펙트럼이 매우 제한적인 형태—즉, 하나의 비제로 고유값과 그 나머지 0 고유값—를 가진다. 이러한 고유값 구조는 마법 정사각형이 선형 변환으로서 갖는 불변량을 명확히 보여준다.

또한, 저자들은 ‘싱글-이븐(singly‑even)’ 차수, 즉 차수가 4k + 2인 경우에 대해 특별한 주의를 기울인다. 기존 문헌에서는 이러한 차수의 자연 마법 정사각형이 존재한다는 가정이 있었지만, 본 논문은 SPM의 대칭 조건과 마법 상수의 정수성 요구를 동시에 만족시키는 경우가 없음을 논리적으로 증명한다. 핵심 아이디어는 차수 n = 4k + 2일 때, 대각선 대칭을 유지하려면 행·열 교환에 필요한 순열의 사이클 구조가 짝수와 홀수의 혼합을 강제하게 되며, 이는 마법 상수(모든 행·열·대각선의 합)가 정수가 되도록 하는 방정식을 만족시킬 수 없다는 점이다. 따라서 이 클래스에 속하는 자연 마법 정사각형은 존재하지 않는다.

결과적으로, 이 논문은 순열 행렬이라는 선형 대수적 도구를 통해 마법 정사각형의 대칭성을 정량화하고, 특이성 및 고유값 분포와 같은 구조적 특성을 명확히 밝혀냈다. 이는 마법 정사각형 연구에 새로운 이론적 기반을 제공함과 동시에, 기존에 알려진 클래스들을 보다 넓은 범주로 확장하는 데 기여한다.