[논문 리뷰] Real and complex unbiased Hadamard matrices

Máté Matolcsi, Imre Z. Ruzsa외 1명|arXiv (Cornell University)|2012. 01. 03.

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

한 줄 요약

이 논문은 조합론적 및 푸리에 해석 기법을 사용하여 임의의 차원에서 완전한 복소수 상호비틀림 힐버트 행렬 시스템(MUH)에 실수 힐버트 행렬이 최대 하나뿐일 수 있음을 증명한다. 6차원에서 완전한 MUH 시스템에 푸리에 행렬 $F_6$가 포함될 수 없다는 새로운 비컴퓨터 기반 증명을 제시하며, 이는 벡터 합의 푸리에 도메인에서 유도된 정규성 조건과 다항식 항등식에 기반한다.

ABSTRACT

We use combinatorial and Fourier analytic arguments to prove various non-existence results on systems of real and complex unbiased Hadamard matrices. In particular, we prove that a complete system of complex mutually unbiased Hadamard matrices (MUHs) in any dimension $d$ cannot contain more than one real Hadamard matrix. We also give new proofs of several known structural results in low dimensions, for $d\le 6$.

연구 동기 및 목표

• 낮은 차원에서 상호비틀림 힐버트 행렬(MUH) 시스템의 구조적 및 비존재성 결과를 확립하기 위해.
• 6차원에서 완전한 MUH 시스템이 푸리에 행렬 $F_6$를 포함할 수 있는지 여부라는 열린 문제를 해결하기 위해.
• 모든 차원에서 완전한 MUH 시스템이 실수 힐버트 행렬을 두 개 이상 포함할 수 없음을 증명하기 위해.
• 6차원에서 $F_6$가 완전한 MUH 시스템에 포함되지 않는다는 새로운 비컴퓨터 기반 증명을 제공하기 위해.
• 완전한 MUH 시스템에서 알려지지 않은 열 벡터에 대한 제약 조건 유도에 있어 추측의 역할을 탐색하기 위해.

제안 방법

• 정수 벡터 $\gamma_k \in \mathbb{Z}^d$ 와 관련된 벡터 합 $\mathbf{v}(\gamma_k)$ 를 분석하기 위해 이산 푸리에 분석을 적용한다.
• 벡터 $\mathbf{v}(\gamma_k)$ 의 수직성 조건을 이용하여 $\|\mathbf{w}\|^2 = \sum |\mathbf{v}(\gamma_k)|^2$ 를 유도한다. 여기서 $\mathbf{w} = \sum \mathbf{v}(\gamma_k)$ 이며, 이는 노름 제약 조건을 이끈다.
• 기존의 열 벡터(예: $F_6$ 에서 유래한 것들)를 적용하여 $\mathbf{w}$ 의 초기 좌표를 고정한 후, 나머지 좌표가 0이 되어야 한다는 것을 유도한다.
• 남은 좌표가 0이 되는 조건에서 유도된 다항식 항등식을 통해 알려지지 않은 열 성분에 대한 대수적 제약 조건을 유도한다.
• 색인 집합의 순환 치환을 적용하여 열 벡터에 대한 다수의 독립된 제약 조건을 생성하고, 이로 인해 모순이 발생한다.
• 6차원에서 $\mathbb{Z}_6^6$ 상의 함수의 푸리에 변환 행동에 관한 추측 2.3을 활용하여 $F_6$의 경우에 대한 논리를 확장한다. 이 경우 추측의 타당성을 가정한다.

실험 결과

연구 질문

• RQ1 차원 $d$ 에서 $d+1$ 개의 상호비틀림 힐버트 행렬로 이루어진 완전한 시스템이 실수 힐버트 행렬을 두 개 이상 포함할 수 있는가?
• RQ2 푸리에 행렬 $F_6$ 는 6차원에서 어떤 완전한 MUH 시스템에도 포함되는가?
• RQ3 광범위한 컴퓨터 대수 시스템 없이도 6차원에서 완전한 MUH 시스템의 비존재성을 증명할 수 있는가?
• RQ4 MUH의 맥락에서 다수의 푸리에 분석 기반 벡터 합을 조합할 때 어떤 대수적 제약 조건이 발생하는가?
• RQ5 정규성 조건과 수직성 조건에서 유도된 다항식 항등식이 알려지지 않은 열 벡터의 구조에 모순을 초래하는 방식은 무엇인가?

주요 결과

• 모든 차원 $d$ 에서 완전한 MUH 시스템은 실수 힐버트 행렬을 최대 하나만 포함할 수 있다.
• $\mathbf{w} = \sum_{k=1}^6 \mathbf{v}(\gamma_k)$ 의 벡터 합의 노름은 정확히 216이며, 이 노름은 첫 여섯 좌표에 의해 달성되며, 이는 나머지 모든 좌표가 0이 되어야 한다는 것을 의미한다.
• $\mathbf{w}$ 의 마지막 30개 좌표가 0이 되는 조건에서, $H_2, \dots, H_6$ 의 알려지지 않은 열 벡터 성분에 대해 다항식 항등식 $z_2 z_5^2 = z_1^2 z_4$ 가 유도된다.
• 순환 대칭성에 의해 두 번째 항등식 $z_5 z_2^2 = z_4^2 z_1$ 도 유도되며, 이 둘의 비율은 $z_5 / z_2 = z_1 / z_4$ 를 의미한다. 그러나 이는 $\mathbf{v}(0,-1,0,0,1,0)$ 와 $\mathbf{v}(1,0,0,-1,0,0)$ 의 수직성과 모순된다.
• $F_6$ 의 경우, 12개의 벡터 $\gamma_k$ 를 사용하여 $\|\mathbf{w}\|^2 = 432$ 를 얻으며, 크기가 12인 3개의 좌표가 알려져 있어 나머지 33개의 좌표가 0이 되어야 하며, 이는 상충되는 다항식 제약 조건을 생성한다.
• $F_6$ 가 완전한 시스템에 포함되지 않는다는 증명은 추측 2.3 에 의존한다. 이 추측이 참이라면, 노름 계산에 필요한 $\mathbf{v}(\gamma_k)$ 벡터들의 수직성이 보장된다.