[논문 리뷰] Magic squares with empty cells

Abdollah Khodkar, David Leach|arXiv (Cornell University)|2018. 04. 30.

Graph Labeling and Dimension Problems참고 문헌 4인용 수 3

한 줄 요약

이 논문은 k-대각 마법 제곱—n×n 배열로, 원소가 k개의 연속된 대각선에 국한되고, 각 행과 열에 정확히 k개의 셀이 채워져 있으며, 모든 행과 열의 합이 동일한 마법 합을 가지는 제곱을 소개한다. 저자들은 직접 구성법을 통해 k=3에서 6까지의 경우를 다루고, 이동 및 스케일링 기반의 재귀적 초합 방법을 이용해 임의의 k로 확장함으로써, k-대각 마법 제곱이 존재함이 n=k=1 또는 3≤k≤n 이면서 n가 홀수이거나 k가 짝수일 때에만 성립함을 증명한다.

ABSTRACT

A k-magic square of order n is an arrangement of the numbers from 0 to kn-1 in an n by n matrix, such that each row and each column has exactly k filled cells, each number occurs exactly once, and the sum of the entries of any row or any column is the same. A magic square is called k-diagonal if its entries all belong to k consecutive diagonals. In this paper we prove that a k-diagonal magic square exists if and only if n = k = 1 or 3 <= k <=n and n is odd or k is even.

연구 동기 및 목표

• k-대각 마법 제곱—입자가 연속된 k개의 대각선에 제한된 부분적으로 채워진 마법 제곱의 새로운 클래스를 정의하고 조사하기.
• 주어진 n과 k에 대해 이러한 k-대각 마법 제곱이 존재하는 데 필요한 필수 조건과 충분 조건을 규명하기.
• k=3,4,5,6일 때 직접적인 명시적 구성법을 제공하고, 초합 기법을 통해 모든 유효한 k로 확장하기.
• 대각선 제약 조건과 n, k의 홀짝성 조건으로 인해 발생하는 구조적 제약을 해결하기.

제안 방법

• k-대각 마법 제곱을 n×n 배열로 정의하며, 각 행과 열에 정확히 k개의 셀이 채워지고, 원소는 0에서 kn−1까지이며, 모든 행과 열의 합이 일정한 마법 합을 가져야 한다.
• 모듈로 산술을 사용하여 특정 대각선에 원소를 할당함으로써, k=3,4,5,6에 대해 명시적 해를 구성하며, 모든 수가 정확히 한 번씩 사용되도록 보장한다.
• 이동 연산(모듈로 n)을 사용하여 기존의 k-대각 마법 제곱에서 새로운 k-대각 마법 제곱을 생성함으로써, 마법 합과 대각선 구조를 유지한다.
• 초합 기법을 적용: ℓ-대각과 m-대각 마법 제곱(ℓ+m ≤ n)을 조합하여, 두 번째 제곱을 ℓn만큼 이동시키고 겹치지 않는 셀에 원소를 배치함으로써 (ℓ+m)-대각 제곱을 형성한다.
• 加법적 스케일링을 활용: k-대각 마법 제곱의 모든 원소에 상수 m을 더함으로써 마법 합 성질을 유지하고 원소 범위를 확장한다.
• 모든 유효한 k에 대해 존재성을 증명하기 위해, k를 3,4,5(홀수 n일 경우) 또는 4,6(짝수 n일 경우)의 비음수 정수 조합으로 표현하고, 초합 보조정리를 반복적으로 적용한다.

실험 결과

연구 질문

• RQ1 n과 k의 어떤 값에 대해 k-대각 마법 제곱의 순서 n이 존재하는가?
• RQ2 마법 제곱에서 원소를 k개의 연속된 대각선에 제한함으로써 발생하는 구조적 및 산술적 제약 조건은 무엇인가?
• RQ3 작은 k에 대한 직접적 구성법을 대수적 및 조합적 초합 기법을 통해 모든 유효한 k로 일반화할 수 있는가?
• RQ4 왜 k≥3일 때 존재성에 필수적인 홀짝성 조건(n가 홀수 또는 k가 짝수)이 나타나는가?
• RQ5 대각선 제약 조건과 초합 연산 하에서 마법 합과 원소 분포는 어떻게 행동하는가?

주요 결과

• k-대각 마법 제곱이 존재함이 n=k=1 또는 3≤k≤n 이면서 n가 홀수이거나 k가 짝수일 때에만 성립함이 증명되어 완전한 특성화가 이루어졌다.
• k=3(홀수 n≥3), k=4(n≥4), k=5(홀수 n≥5), k=6(짝수 n≥6)에 대해 직접 구성법이 제공되었으며, 각각 k개의 연속된 대각선에 모듈로 인덱싱을 사용하였다.
• 모든 k-대각 마법 제곱의 순서 n에 대해 마법 합은 k(kn−1)/2이며, 구성에서 모든 행과 열에서 일관되게 유지된다.
• 초합 보조정리는 유효한 ℓ-와 m-대각 마법 제곱(ℓ+m≤n)을 조합하여, 두 번째 제곱을 이동시키고 스케일링함으로써 (ℓ+m)-대각 마법 제곱을 형성할 수 있음을 보여준다.
• 홀수 n과 k≥3일 경우, 모든 k는 비음수 정수 a,b,c에 대해 3a+4b+5c로 표현 가능하여, 기본 케이스 k=3,4,5의 반복적인 초합을 통해 구성이 가능하다.
• 짝수 n과 k≥4일 경우, 모든 k는 비음수 정수 a,b에 대해 4a+6b로 표현 가능하여, 기본 케이스 k=4와 k=6의 초합을 통해 구성이 가능하다.