[논문 리뷰] Families of complex Hadamard matrices

Nuno Barros e Sá, Ingemar Bengtsson|arXiv (Cornell University)|2012. 02. 06.

graph theory and CDMA systems참고 문헌 24인용 수 6

한 줄 요약

이 논문은 푸리에 행렬 주위에서 복소 하다르드 행렬의 매끄러운 가중치 가중치의 차원을 멱급수 섭동 방법을 사용하여 조사한다. 비소수 거듭제곱 차원에서는 일차 결함(선형 결함)이 실제 차원을 과대평가함을 보여주며, 특히 N=12의 경우 두 개의 13차원 가중치 가중치 가중치가 교차하여 9차원 아핀 가중치 가중치를 형성함으로써 선형 결함 17보다 더 낮은 13차원의 해 공간이 존재함을 보여준다.

ABSTRACT

What is the dimension of a smooth family of complex Hadamard matrices including the Fourier matrix? We address this problem with a power series expansion. Studying all dimensions up to 100 we find that the first order result is misleading unless the dimension is 6, or a power of a prime. In general the answer depends critically on the prime number decomposition of the dimension. Our results suggest that a general theory is possible. We discuss the case of dimension 12 in detail, and argue that the solution consists of two 13-dimensional families intersecting in a previously known 9-dimensional family. A precise conjecture for all dimensions equal to a prime times another prime squared is formulated.

연구 동기 및 목표

• 푸리에 행렬을 통과하는 복소 하다르드 행렬의 매끄러운 가중치 가중치의 진정한 차원을 결정하는 것, 특히 일차 결함이 오해의 소지가 있는 경우를 중심으로 하며.
• 푸리에 행렬 주위에서 멱급수 전개를 기반으로 단계별로 유니타리 조건을 해결하는 체계적인 섭동 방법을 개발하는 것.
• 차원 N의 소인수 분해가 해 가중치 가중치의 구조와 차원에 어떻게 영향을 미치는지 이해하는 것.
• 비소수 거듭제곱 차원에서 선형 결함과 실제 해 가중치 가중치의 차원 사이의 괴리를 해결하는 것.
• N=12의 정밀한 분석을 바탕으로 N = p × q² (p와 q는 소수)인 차원에 대한 일반적 추측을 수립하는 것.

제안 방법

• 복소 하다르드 행렬의 행렬 원소를 푸리에 행렬 주위에서 작은 매개변수의 멱급수로 전개하며, 원소 형태는 ω^{ij}e^{iτ_{ij}}이다.
• τ_{ij}에 대한 섭동 전개를 사용하여 각 차수에서 유니타리 조건을 단계별로 해결하며, 각 차수를 일차 선형 시스템과 일致 조건으로 간주한다.
• 비틀림 제거 절차를 적용하여 2N−1개의 전역 위상 매개변수를 제거하고, 나머지 결함 매개변수에 집중한다.
• n차수 결함을 n차수에서의 해 공간의 차원으로 정의하여 일차 선형 결함을 일반화한다.
• 대수기하학과 일치 조건을 사용하여 고차수 해가 저차수 매개변수에 제약을 요구하는 경우를 탐지한다.
• 매개변수화를 통한 해 공간의 구조 분석과 기존 가중치 가중치 가중치와의 비교를 통해, 특히 N=12에서의 분석을 수행한다.

실험 결과

연구 질문

• RQ1 비소수 거듭제곱 차원에서 일차 선형 결함이 복소 하다르드 행렬의 매끄러운 가중치 가중치의 진정한 차원을 과대평가하는 이유는 무엇인가?
• RQ2 N=12에서 푸리에 행렬을 통과하는 매끄러운 해 공간의 실제 차원은 얼마이며, 그 구조는 어떻게 되는가?
• RQ3 N의 소인수 분해는 복소 하다르드 행렬의 매끄러운 가중치 가중치 가중치의 존재성과 차원에 어떻게 영향을 미치는가?
• RQ4 N이 세 개의 소수의 곱이며 그 중 두 개가 동일한 경우에 대해 일반 이론을 수립할 수 있는가?
• RQ5 수치적으로 제안된 N=6의 4차원 가중치 가중치 가중치 가중치가 매끄럽고 푸리에 행렬을 포함하는가?

주요 결과

• N=12에서 푸리에 행렬을 통과하는 탈위상화된 복소 하다르드 행렬의 매끄러운 가중치 가중치의 진정한 차원은 선형 결함 17이 아니라 13이다.
• N=12의 13차원 해 공간은 두 개의 13차원 가중치 가중치 가중치가 기존의 9차원 아핀 가중치 가중치로 교차하는 것으로 구성되어 있다.
• 모든 N < 101에서 소수 거듭제곱이 아니거나 N=6가 아닌 경우, 일차 결함은 진정한 차원을 과대평가하며, 진정한 차원은 선형 결함보다 엄밀히 작다.
• N=6의 경우 4차원 가중치 가중치 가중치 가중치가 존재함을 확인하였으며, 푸리에 행렬을 포함함을 확인하였고, 차수 100까지의 섭동 전개는 매끄러움을 지지한다.
• N = p × q² (p, q 소수)인 차원에 대해 정밀한 추측을 수립하였으며, 소인수 분해에 의해 결정되는 유사한 구조의 교차 가중치 가중치 가중치 가중치의 존재를 제안한다.
• 섭동 방법을 통해 고차수 일치 조건이 저차수 매개변수를 제약함을 드러내어, 선형 결함이 진정한 차원을 과대평가하는 이유를 설명한다.