[논문 리뷰] Tight Heffter Arrays Exist for all Possible Values: The Research Report

Dan Archdeacon, Tomas Boothby외 1명|arXiv (Cornell University)|2015. 09. 01.

graph theory and CDMA systems참고 문헌 5인용 수 3

한 줄 요약

이 논문은 모든 $m,n \geq 3$에 대해 타이트한 헤프터 행렬 $H(m,n)$의 존재성을 증명하며, 이러한 행렬이 존재하는 것은 양쪽 차원이 모두 3 이상일 때에만 성립한다는 것을 입증한다. 또한 정수 헤프터 행렬은 $mn \equiv 0,3 \pmod{4}$일 때 정확히 존재하며, 이동 가능한 정수 행렬은 양쪽 차원 $m$과 $n$이 모두 짝수일 때 정확히 존재함을 보이며, 모듈로 산술과 정수 산술을 활용한 블록 행렬 구성법을 통해 행과 열의 합이 0이 되고, 부호 중복 항목이 없도록 한다.

ABSTRACT

A tight Heffter array H(m,n) is an m x n matrix with nonzero entries from Z_{2mn+1} such that i) the sum of the elements in each row and each column is 0, and ii) no element from {x,-x\ appears twice. We prove that H(m,n) exist if and only if both m and n are at least 3. If all entries are integers of magnitude at most mn satisfying every row and column sum is 0 over the integers and also satisfying ii) we call H an integer Heffter array. We show integer Heffter arrays exist if and only if mn \equiv 0,3 (mod 4). Finally, an integer Heffter array is shiftable if each row and column contains an the same number of positive and negative integers. We show that shiftable integer arrays exists exactly when both $m,n$ are even. This research report contains all of the details of the proofs. It is meant to accompany the journal version of this paper.

연구 동기 및 목표

• 모든 행과 열의 합이 $2mn+1$ 모듈로 0이 되고, 원소 $x$ 또는 $-x$ 가 두 번 이상 나타나지 않는 타이트한 헤프터 행렬 $H(m,n)$의 존재 조건을 필요로 하고 충분히 규명한다.
• 정수 헤프터 행렬(입력값이 $\{-mn, \dots, mn\}$에 속하고 $\mathbb{Z}$에서의 합이 0이 되는 것)의 존재 조건을 규명하며, 존재 조건이 $mn \equiv 0,3 \pmod{4}$와 정확히 일치함을 보인다.
• 이동 가능한 정수 헤프터 행렬—각 행과 열에 양수와 음수 항목의 수가 동일한 것—의 존재 조건을 특성화하며, $m$과 $n$이 모두 짝수일 때에만 존재함을 증명한다.
• 모듈로 산술과 정수 블록 행렬을 활용한 명시적 구성 방법을 제공하여, 모든 유효한 매개변수 조합에 대해 이러한 모든 행렬을 생성한다.

제안 방법

• 모듈로 산술을 사용하여 $\mathbb{Z}_{2mn+1}$에서 블록 행렬 타일링을 통해 $H(m,n)$ 행렬을 구성하며, 행과 열의 합이 $2mn+1$ 모듈로 0이 되도록 보장한다.
• 입력값이 $\{-mn, \dots, mn\}$에 속하는 정수 블록 행렬을 사용하여 정수 헤프터 행렬을 구성하며, $\mathbb{Z}$에서의 행과 열의 합이 0이 되도록 한다.
• 행렬을 유지하면서 행과 열의 합을 보존하는 이동 연산 $H \pm k$를 정의하고 적용하며, 목적에 맞는 정수 구간으로의 지원 이동을 가능하게 한다.
• 9×4, 7×4, 4×4 타일 구성($B_r$, $C_r$, $E_0$)을 사용하여 상호 배타적인 정수 구간을 커버하고 합이 0이 되는 성질을 확보한다.
• 블록 $A$, $B_r$, $C_r$, $E$를 결합하여 더 큰 행렬 구조를 만들며, $A$와 $C_r^T$를 배열하여 행과 열의 합이 0이 되도록 유지한다.
• 모든 블록의 구간 지원의 합집합이 $[1, mn]$을 정확히 커버함을 검증하여, 절대값으로 1부터 $mn$까지의 모든 값이 정확히 한 번씩 나타남을 보장한다.

실험 결과

연구 질문

• RQ1 어떤 $m$과 $n$ 값에 대해 타이트한 헤프터 행렬 $H(m,n)$이 존재하는가?
• RQ2 정수 헤프터 행렬(정수 입력값이 $\mathbb{Z}$에서 합이 0이 되는 것)이 존재하는 조건은 무엇인가?
• RQ3 정수 헤프터 행렬이 이동 가능할 수 있는 조건은 무엇인가, 즉 각 행과 열에 양수와 음수 항목의 수가 동일한가?
• RQ4 모든 유효한 $m,n$에 대해 명시적 구성 방법을 제공할 수 있는가?
• RQ5 블록 행렬 방법을 어떻게 사용하여 행과 열의 합이 0이 되고, 부호 중복 항목이 없는 헤프터 행렬을 체계적으로 생성할 수 있는가?

주요 결과

• 모든 $m,n \geq 3$에 대해 타이트한 헤프터 행렬 $H(m,n)$가 존재하며, 예외 없이 성립한다.
• 정수 헤프터 행렬은 $mn \equiv 0,3 \pmod{4}$일 때에만 존재하며, 이는 레마 1.3에서 유도된 필수 조건과 정확히 일치한다.
• 이동 가능한 정수 헤프터 행렬은 $m$과 $n$이 모두 짝수일 때에만 존재하며, 양수와 음수 항목의 대칭성에 의해 요구된다.
• 논문은 모듈로 및 정수 블록 행렬을 사용하여 모든 유효한 경우에 대해 명시적 행렬을 구성하며, 절대값으로 1부터 $mn$까지의 모든 정수를 정확히 한 번씩 포함한다.
• 블록 구성 방법은 $\mathbb{Z}$에서 모든 행과 열의 합이 0이 되도록 보장하며, 행렬의 지원은 정확히 $\{1,2,\dots,mn\}$이 된다.
• $A$, $B_r$, $C_r$, $E$ 블록의 구간 지원 합집합이 $[1, mn]$을 겹침 없이 커버하므로, 필요한 절대값이 완전히 커버됨을 확인한다.