[논문 리뷰] Signed magic rectangles with three filled cells in each column

Abdollah Khodkar, Chris Leach외 1명|arXiv (Cornell University)|2019. 12. 18.

Graph Labeling and Dimension Problems인용 수 4

한 줄 요약

이 논문은 열당 정확히 세 개의 셀이 채워진 부호가 있는 마법 직사각형의 존재에 필요한 필수 조건과 충분 조건을 설정하며, SMR(m,n;k,3)이 존재하는 것은 3 ≤ m,k ≤ n 이고 mk = 3n 인 경우에 한하여 성립함을 증명한다. 이 구성은 정수 집합을 거의 수직인 삼중항으로 분할하고, 기존의 마법 직사각형과 Heffter 배열에 관한 결과를 활용하여 영을 중심으로 대칭된 정수 항목을 가진 행과 열의 합이 0이 되도록 보장한다.

ABSTRACT

A {\em signed magic rectangle} $SMR(m,n;k, s)$ is an $m imes n$ array with entries from $X$, where $X=\{0,\pm1,\pm2,\ldots, $ $\pm (mk-1)/2\}$ if $mk$ is odd and $X = \{\pm1,\pm2,\ldots,\pm mk/2\}$ if $mk$ is even, such that precisely $k$ cells in every row and $s$ cells in every column are filled, every integer from set $X$ appears exactly once in the array and the sum of each row and of each column is zero. In this paper, we prove that a signed magic rectangle $SMR(m,n;k, 3)$ exists if and only if $3\leq m,k\leq n$ and $mk=3n$.

연구 동기 및 목표

• 열당 정확히 세 개의 셀이 채워진 부호가 있는 마법 직사각형 SMR(m,n;k,3)의 존재에 필요한 필수 조건과 충분 조건을 규명하는 것.
• 이전에 연구된 열당 두 개의 셀이 채워진 경우를 초월하여, 부호가 있는 마법 직사각형 이론을 확장하는 것.
• SMR(m,n;k,3)의 존재에 관한 열린 문제를 해결하기 위해 모든 유효한 매개변수 조합을 특성화하는 것.
• 정수 분할과 수직 분해 기법을 활용한 구축 방법을 제공하여 조건을 만족할 경우 이러한 직사각형을 체계적으로 생성하는 것.

제안 방법

• Lemma 7을 활용하여 홀수 행 합을 가진 기존의 마법 직사각형을 중심 기반으로 0을 기준으로 정렬함으로써 부호가 있는 마법 직사각형으로 변환한다.
• Theorem 8을 적용하여 특정 짝수성 및 크기 제약 조건을 만족할 경우 마법 직사각형 MR(m,km;ks,s)를 구성하고, 이는 대칭 이동을 통해 SMR(m,km;ks,s)로 변환된다.
• Proposition 9을 사용하여 m, k, s 가 모두 홀수이고 3 ≤ s ≤ m 를 만족할 경우 SMR(m,km;3k,3)를 구성한다.
• 정수 집합 X를 서로소인 삼중항으로 분해하는 기법을 활용하여, 열 분할과의 거의 수직성을 확보한다.
• Theorem 13을 적용하여 X의 분할이 열 분할 C1,…,Cn과 거의 수직일 경우 SMR(m,n;k,3)의 존재를 검증한다.
• 대칭 삼중항 집합 {±a, ±b, ±c} 및 그 부호가 있는 동반 집합을 사용하여 구체적인 예를 구성함으로써 행과 열의 합 제약 조건을 충족시킨다.

실험 결과

연구 질문

• RQ1 열당 정확히 세 개의 셀이 채워지고 행당 k개의 셀이 채워진 부호가 있는 마법 직사각형 SMR(m,n;k,3)이 존재하는 조건은 무엇인가?
• RQ2 SMR(m,n;k,3)의 존재는 식 mk = 3n 과 범위 3 ≤ m,k ≤ n 만으로 완전히 특성화될 수 있는가?
• RQ3 필요 조건을 만족할 경우 이러한 직사각형의 구성이 체계적으로 어떻게 수행될 수 있는가?
• RQ4 0으로 합이 나는 삼중항으로의 정수 분할과 열 분할에 대한 수직성은 존재성 증명에서 어떤 역할을 하는가?
• RQ5 모든 유효한 매개변수 조합에 대해 SMR(m,n;k,3)을 생성할 수 있는 구축 방법이 존재하는가?

주요 결과

• SMR(m,n;k,3)이 존재하는 것은 3 ≤ m,k ≤ n 이고 mk = 3n 인 경우에 한하여 성립한다.
• mk = 3n 이고 m,k ≥ 3 이면, 정수 집합 X를 0으로 합이 나는 삼중항으로 분할하는 구축 기법을 통해 존재성이 보장된다.
• n 이 홀수이든 짝수이든 구성 방법이 유효하며, k 또는 m 이 3으로 나누어떨어지는지 여부에 따라 별도로 다룬다.
• SMR(10,30;9,3), SMR(4,12;9,3), SMR(30,30;5,3)와 같은 작은 경우의 명시적 예가 제공되어 이론적 조건을 확인한다.
• 이 방법은 0으로 합이 나는 삼중항으로 분할된 X의 거의 수직 분할에 의존하며, 이는 열과 행 제약 조건과 호환된다.
• 증명은 기존의 마법 직사각형과 Heffter 배열에 관한 결과를 통합하여, 열당 세 개의 셀이 채워진 경우의 경우에 대해 부호가 있는 경우로 확장한다.