[논문 리뷰] The Classification of Circulant Weighing Matrices of Weight 16 and Odd Order

Ron M. Adin, Leah Epstein외 1명|ArXiv.org|1999. 10. 29.

graph theory and CDMA systems참고 문헌 16인용 수 4

한 줄 요약

이 논문은 승수 존재 정리(의존성 정리)를 사용하여 무게 16인 순환 가중 행렬의 순환 차수를 완전히 분류한다. 이러한 행렬이 존재하는 것은 오직 21 또는 31의 홀수 배일 때뿐이며, CW(31,16)에 서로 다른 두 개의 행렬, CW(21,16)에 하나의 행렬, 그리고 더 작은 행렬의 크로네cker 곱으로 구성되지 않는 CW(63,16)에 또 다른 행렬이 존재함을 규명한다.

ABSTRACT

In this paper we completely classify the circulant weighing matrices of weight 16 and odd order. It turns out that the order must be an odd multiple of either 21 or 31. Up to equivalence, there are two distinct matrices in CW(31,16), one matrix in CW(21,16) and another one in CW(63,16) (not obtainable by Kronecker product from CW(21,16)). The classification uses a multiplier existence theorem.

연구 동기 및 목표

• 무게 16인 순환 가중 행렬의 홀수 차수를 완전히 분류하는 것.
• 해당 행렬이 존재할 수 있는 정확한 차수를 규명하는 것.
• 지정된 범주에 속하는 모든 비동치 행렬을 식별하는 것.
• 더 높은 차수의 행렬이 더 작은 행렬의 크로네cker 곱으로 유도되는지 여부를 확인하는 것.
• 승수 존재 정리를 적용하여 가능한 해를 제약하고 분류하는 것.

제안 방법

• 가능한 차수를 제약하기 위해 중심 이론 도구로 승수 존재 정리를 사용한다.
• 무게 16인 홀수 차수의 순환 가중 행렬의 구조를 분석한다.
• 존재성 및 유일성 조건을 검증하기 위해 조합론적 및 대수적 기법을 적용한다.
• 비동치 행렬을 구분하기 위해 동치 클래스 분석을 활용한다.
• 행렬의 구조적 독립성을 판단하기 위해 크로네cker 곱 분해 가능성 여부를 조사한다.
• 승수 정리에서 유도된 차수 제약 조건에 기반한 철저한 분류를 수행한다.

실험 결과

연구 질문

• RQ1 무게 16인 순환 가중 행렬이 존재하는 홀수 차수는 무엇인가?
• RQ2 무게 16인 순환 가중 행렬 중 비동치인 것은 몇 개인가?
• RQ3 이 중에서 더 작은 행렬의 크로네cker 곱으로 구성되는 것은 무엇인가?
• RQ4 이 맥락에서 승수 존재 정리로부터 유도되는 구조적 제약 조건은 무엇인가?
• RQ5 제시된 이론적 프레임워크를 사용하여 이러한 모든 행렬을 동치를 기준으로 완전히 분류할 수 있는가?

주요 결과

• 무게 16인 순환 가중 행렬의 홀수 차수는 오직 21 또는 31의 홀수 배일 때만 존재한다.
• CW(31,16)에는 정확히 두 개의 비동치 행렬이 존재한다.
• CW(21,16)에는 유일한 행렬이 존재하며, 이는 어떤 더 작은 행렬의 크로네cker 곱과도 동치가 아니다.
• CW(63,16)에는 별개의 행렬이 존재하며, 이는 CW(21,16)의 행렬의 크로네cker 곱으로 구할 수 없다.
• 승수 존재 정리를 사용하여 지정된 매개변수에 대해 분류가 완전하고 철저하게 수행되었다.
• 해당 행렬이 식별된 가족 외의 홀수 차수에서는 존재하지 않음을 확인하였다.