[논문 리뷰] The Propus Construction for Symmetric Hadamard Matrices

Jennifer Seberry, Н. А. Балонин|arXiv (Cornell University)|2015. 12. 06.

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

한 줄 요약

이 논문은 ±1 행렬을 기반으로 한 특수한 4×4 블록 배열 구조를 사용하여 대칭 히에르미트 행렬을 생성하는 새로운 방법인 Propus 구조를 소개한다. 이 방법은 순환 대칭 행렬, 윌리엄슨 유형의 행렬, D-최적 설계를 활용하여 4n 형식이면서 n < 200이고 홀수인 57개의 이전에 해결되지 않은 순서에 대해 대칭 Propus-히에르미트 행렬을 구성하며, 특히 파일리 및 터린 건설을 통해 순서 11과 83 등의 갭을 메운다.

ABSTRACT

extit{Propus} (which means twins) is a construction method for orthogonal $\pm 1$ matrices based on a variation of the Williamson array called the extit{propus array} \[ \begin{matrix*}[r] A&amp; B &amp; B &amp; D B&amp; D &amp; -A &amp;-B B&amp; -A &amp; -D &amp; B D&amp; -B &amp; B &amp;-A. \end{matrix*} \] This construction designed to find symmetric Hadamard matrices was originally based on circulant symmetric $\pm 1$ matrices, called extit{propus matrices}. We also give another construction based on symmetric Williamson-type matrices. We give constructions to find symmetric propus-Hadamard matrices for 57 orders $4n$, $n &lt; 200$ odd. We give variations of the above array to allow for more general matrices than symmetric Williamson propus matrices. One such is the extit{ Generalized Propus Array (GP)}.

연구 동기 및 목표

• Propus 배열이라는 새로운 배열 구조를 사용하여 대칭 히에르미트 행렬에 대한 체계적인 구축 방법을 개발한다.
• n < 200이고 홀수인 4n 순서에 대해 대칭 히에르미트 행렬의 열린 사례를 해결한다.
• 일반화된 Propus 배열(GP)을 사용하여 순환 및 대칭 행렬을 초월한 구축을 일반화한다.
• Propus 구조와 기타 조합 설계(예: 회의 행렬, D-최적 설계) 간의 관계를 탐색한다.
• 구성된 행렬의 시각화를 통해 구조적 미학을 드러내고 구축 과정의 이해를 돕는다.

제안 방법

• Propus 구조는 A, B, B, D를 원소로 가지는 4×4 블록 행렬 배열을 사용하며, A, B, D는 특정 덧셈 성질을 만족하는 ±1 행렬이다: AAᵀ + 2BBᵀ + DDᵀ = 4nI.
• 이 방법은 대칭 순환 ±1 행렬(Propus 행렬) 네 개를 사용하여 대칭 히에르미트 행렬을 생성한다. 이 행렬들은 덧셈 성질을 만족한다.
• 쌍별 우호 행렬을 사용한 Propus 유형의 행렬과 교환 법칙을 만족하는 행렬을 사용한 일반화된-Propus 행렬을 통해 확장된다.
• 파일리 정리와 터린 정리를 포함한 기존 정리를 활용하여 소수 거듭제곱 q ≡ 1 또는 3 (mod 4)에서 기초 행렬을 생성한다.
• 일반화된-Propus 배열(GP)을 적용하여 비순환 및 비대칭 행렬을 유지하면서도 대칭 히에르미트 성질을 유지한다.
• MATLAB을 활용한 시각화를 통해 생성된 행렬의 구조적 패턴과 미학적 성질을 설명한다.

실험 결과

연구 질문

• RQ1 Propus 구조를 사용하여 n < 200이고 홀수인 모든 4n 순서에 대해 대칭 히에르미트 행렬을 생성할 수 있는가?
• RQ2 파일리 및 터린 정리를 통해 대칭 Propus-히에르미트 행렬을 구성할 수 있는 소수 거듭제곱 q ≡ 1 또는 3 (mod 4)에 대한 조건은 무엇인가?
• RQ3 비순환 및 비대칭 행렬을 포함하면서도 대칭 히에르미트 성질을 유지할 수 있도록 Propus 배열을 어떻게 일반화할 수 있는가?
• RQ4 D-최적 설계와 회의 행렬은 짝수 순서의 대칭 Propus-히에르미트 행렬 구성에 어떤 역할을 하는가?
• RQ5 구성된 행렬의 시각적 패턴이 설계 이론 또는 심지어 패치워크 제작에 응용에 영향을 줄 수 있는가?

주요 결과

• Propus 구조는 이전에 해결되지 않은 57개의 4n 형식이면서 n < 200이고 홀수인 순서에 대해 대칭 히에르미트 행렬을 성공적으로 생성한다.
• 소수 거듭제곱 q ≡ 1 (mod 4)에 대해, 대칭 Propus-히에르미트 행렬은 순서 2(q+1)에서 존재하며, 이는 순서 11(q=8) 및 83(q=89) 등의 사례를 해결한다.
• 터린 정리를 활용하여, t ≡ 3 (mod 4)이고 D-최적 설계가 두 개의 순환 대칭 행렬에서 유도될 수 있는 4t 순서에 대해 대칭 Propus-히에르미트 행렬을 구성한다.
• 일반화된-Propus 배열(GP)은 비순환 및 비대칭 행렬에서 대칭 히에르미트 행렬을 구성할 수 있게 하여 이론의 적용 범위를 넓힌다.
• 순서 16과 32에 대한 행렬의 시각화는 시각적으로 매력적인 패턴을 드러내며, 구조적 대칭성을 이해하는 데 기여한다.
• n < 200이고 홀수인 4n 순서에 대해 대칭 Propus-히에르미트 행렬의 미해결 사례는 이제 17, 23, 29, ..., 197을 포함한 특정 47개의 값으로 줄어들었다.