다이헤드랄 군을 이용한 반마법 정사각형의 완전 분류와 이중 마법 상수 현상
본 논문은 차수 2k인 다이헤드랄 군 Dₖ 위에 정의된 반마법 정사각형을 완전히 규명한다. n과 k가 모두 짝수일 때만 존재함을 보이고, 짝수·홀수 m에 따라 서로 다른 구성법을 제시한다. 특히 행·열 곱을 계산하는 순서에 따라 두 개의 서로 다른 마법 상수가 나타날 수 있음을 증명한다.
저자: Sylwia Cichacz, Dalibor Froncek
이 논문은 “반마법 정사각형”이라는 개념을 일반 군 Γ 위에 정의하고, 특히 비가환군인 다이헤드랄 군 Dₖ에 초점을 맞춘다. Γ‑반마법 정사각형은 n×n 배열의 모든 원소가 서로 다른 Γ 원소이며, 각 행과 각 열에 대해 원소들을 적절히 순열시켜 곱을 일정한 마법 상수 µ 로 만들 수 있는 구조이다. 아벨 군에서는 곱의 순서가 무관하지만, 비가환 군에서는 순서가 중요한데, 이를 위해 “순서(ordering)” 개념을 명시한다.
다이헤드랄 군 Dₖ는 회전 원소 rᵢ와 반사 원소 sᵢ(=rᵢs) 로 이루어지며, 핵심 관계 srᵢs = r^{−i} 를 이용해 반사 원소들의 곱을 지수 차이 형태로 단순화한다. 이 성질은 복잡한 비가환 연산을 덧셈 형태로 변환해 계산을 용이하게 만든다.
논문은 먼저 존재 가능성에 대한 필수조건을 제시한다. Dₖ는 차수가 짝수이므로 n이 홀수이면 반마법 정사각형이 존재하지 않는다. 더 나아가 Theorem 2.5에 의해 n과 k 모두 짝수여야 함을 증명한다. 따라서 n=2m, k=2m² 형태를 고려한다.
### 1. 짝수 m (m≥4)
- **파워 스퀘어 구성**: 일반적인 정수 마법 정사각형 ˜M(m) (m>2) 를 이용해 세 개의 파워 스퀘어 E(m), O(m), T(m) 을 만든다. 각 파워 스퀘어는 ˜M의 원소를 2배, 2배+1, −2배+1(또는 −2배+m−2) 로 변환해 만든다. 모듈러 2m²에서 행·열 합이 각각 2˜µ, 2˜µ+m, −2˜µ+m(또는 −2˜µ+m²−2m) 로 일정함을 확인한다.
- **부분 정사각형 Q₁₁, Q₂₂ (회전)**: E와 O의 원소를 짝수·홀수 인덱스에 따라 회전 원소 r^{eᵢⱼ} 혹은 r^{oᵢⱼ} 로 매핑한다. Q₁₁은 e, o 를 그대로 사용하고, Q₂₂는 각각 1을 더한 형태(r^{eᵢⱼ+1}, r^{oᵢⱼ+1}) 로 채운다. 각 부분의 행·열 곱은 r^{2˜µ±m/2} 로 동일하게 된다.
- **부분 정사각형 Q₁₂, Q₂₁ (반사)**: E와 T의 원소를 이용해 r^{eᵢⱼ}s 와 r^{tᵢⱼ}s 로 채운다. 여기서 tᵢⱼ는 T 스퀘어의 원소이며, 반사 곱의 성질 srᵢs = r^{−i} 를 적용해 곱을 r^{eᵢⱼ−tᵢⱼ+1} 형태로 변환한다. 결과적으로 행·열 곱은 r^{2˜µ−m/2} 가 된다.
- **전체 정사각형 Q(2m) 구성**: 네 개의 부분 정사각형을 2m×2m 격자에 적절히 배치한다. 행·열 곱은 Q₁₁·Q₂₂ 와 Q₁₂·Q₂₁ 의 곱으로, 각각 r^{2˜µ+m/2}·r^{2˜µ−m/2}=r^{4˜µ} 가 된다. 따라서 전체 정사각형은 모든 행·열에 대해 동일한 마법 상수 µ = r^{4˜µ} 를 갖는다.
### 2. 홀수 m (m≥5)
- **Q₁₁**: E 스퀘어의 원소를 회전 원소 r^{eᵢⱼ} 로 직접 매핑한다. 행·열 곱이 r^{2˜µ} 로 일정함을 확인한다.
- **Q₂₂**: 대각선 위치(i=j)에는 회전·반사 혼합 원소 r^{eᵢⱼ}s, 바로 다음 열(j=i+1)에는 r^{tᵢⱼ}s, 나머지는 순수 회전 원소 r^{oᵢⱼ} 로 채운다. 파워 스퀘어 사이의 관계식 eᵢⱼ−tᵢⱼ+1 = 2˜mᵢⱼ+2˜mᵢⱼ₊₁−1 등을 이용해 행·열 곱이 다시 r^{2˜µ} 로 고정됨을 증명한다.
- **전체 정사각형**: Q₁₁과 Q₂₂ 를 결합해 2m×2m 정사각형을 만들면, 모든 행·열 곱이 동일한 마법 상수 r^{2˜µ} 를 갖는다.
### 3. 두 개의 마법 상수 존재
비가환 군에서는 행·열 곱을 시작하는 위치 c (0≤c
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기