[논문 리뷰] Constructions of Mutually Unbiased Bases

Andreas Klappenecker, Martin Roetteler|arXiv (Cornell University)|2003. 09. 15.

Coding theory and cryptography참고 문헌 21인용 수 86

한 줄 요약

이 논문은 유한체와 갈로아 링 위의 웨일 유형 지수 합을 사용하여 소수 거듭제곱 차원에서 $d+1$개의 상호 무관 기저(MUBs)의 존재성을 단순화된 증명으로 제시한다. 소수 차원에서의 Alltop의 구성 방식을 소수 거듭제곱 차원으로 일반화하고, 비소수 거듭제곱 차원에 대해 하한을 설정하며, 이러한 경우의 최대 MUB 수에 대한 열린 문제를 강조한다.

ABSTRACT

Two orthonormal bases B and B' of a d-dimensional complex inner-product space are called mutually unbiased if and only if |<b>|^2=1/d holds for all b in B and b' in B'. The size of any set containing (pairwise) mutually unbiased bases of C^d cannot exceed d+1. If d is a power of a prime, then extremal sets containing d+1 mutually unbiased bases are known to exist. We give a simplified proof of this fact based on the estimation of exponential sums. We discuss conjectures and open problems concerning the maximal number of mutually unbiased bases for arbitrary dimensions.</b>

연구 동기 및 목표

• 소수 거듭제곱인 $d$에 대해 $\mathbb{C}^d$에서 $d+1$개의 상호 무관 기저의 존재성을 단순화된 증명으로 제시하는 것.
• 지수 합을 사용하여 Alltop의 상호 무관 기저 구성 방식을 소수에서 소수 거듭제곱 차원으로 일반화하는 것.
• 갈로와 링 $\mathrm{GR}(4,n)$ 위의 지수 합을 사용하여 짝수 특성 차원에 대해 $d+1$개의 극한 상호 무관 기저를 구성하는 것.
• 비소수 거듭제곱 차원에 대해 상호 무관 기저의 최대 수 $N(d)$에 하한을 설정하는 것.
• 비소수 거듭제곱인 $d$에 대해 $N(d)$의 값에 관한 열린 문제와 추측을 제시하는 것.

제안 방법

• 저자들은 홀수 특성인 유한체 $\mathbb{F}_q$ 위에서 웨일 합을 사용하여 이차 다항식의 지수 합을 추정하고, 서로 다른 기저에서 온 벡터 간의 내적의 크기가 $1/\sqrt{q}$임을 증명한다.
• 홀수 소수 거듭제곱 $q = p^n$에서 $p \geq 5$인 경우, $b_{\lambda,\alpha} = \frac{1}{\sqrt{q}} \left( \omega_p^{\mathrm{tr}((k+\alpha)^3 + \lambda(k+\alpha))} \right)_{k \in \mathbb{F}_q}$로 정의된 수열을 통해 $q+1$개의 상호 무관 기저를 구성한다.
• 이 구성은 서로 다른 기저 간 내적에서 삼차항이 상쇄되어 이차 지수 합만 남고, 그 절댓값이 $\sqrt{q}$임을 이용한다. 이는 상호 무관성을 보장한다.
• 짝수 소수 거듭제곱 차원 $d = 2^n$인 경우, 저자들은 갈로와 링 $\mathrm{GR}(4,n)$ 위의 지수 합을 사용하여 $d+1$개의 상호 무관 기저를 구성한다.
• 일반적인 차원에서의 $N(d)$에 하한을 설정하기 위해 텐서곱을 사용한다: $d = p_1^{a_1} \cdots p_r^{a_r}$일 때 $N(d) \geq \min\{N(p_1^{a_1}), \dots, N(p_r^{a_r})\}$.
• 저자들은 복잡한代수기하학을 피하기 위해 특성 합의 기본 추정, 특히 이차 다항식에 대한 웨일의 부등식을 사용한다.

실험 결과

연구 질문

• RQ1 모든 비소수 거듭제곱인 차원 $d$에 대해 $N(d) = d+1$가 성립하는가?
• RQ2 비소수 거듭제곱인 $d$에 대해 상호 무관 기저의 수에 하한을 설정할 수 있는가?
• RQ3 $d \to \infty$일 때 모든 정수 $d$에 대해 $N(d) \to \infty$가 성립하는가, 아니면 $N(d)$가 유계로 남는 차원이 존재하는가?
• RQ4 $N(6)$의 정확한 값은 무엇이며, Zauner의 추측처럼 3과 같은가?
• RQ5 서로 수직인 라틴 제곱에 대한 윌슨의 정리의 일반화를 상호 무관 기저에 대해 확립할 수 있는가?

주요 결과

• 모든 소수 거듭제곱 $d = q$에 대해, 논문은 $\mathbb{F}_q$ 위의 지수 합을 사용하여 $\mathbb{C}^d$에서 $d+1$개의 상호 무관 기저를 구성한다.
• 이 구성은 소수 거듭제곱 $p^n$($p \geq 5$)에 대해 Alltop의 수열을 일반화하여 $q+1$개의 상호 무관 기저를 얻는다.
• $d = 2^n$인 경우, 저자들은 갈로와 링 $\mathrm{GR}(4,n)$ 위의 지수 합을 사용하여 $d+1$개의 상호 무관 기저를 구성한다.
• 논문은 $d = p_1^{a_1} \cdots p_r^{a_r}$일 때 $N(d) \geq \min\{N(p_1^{a_1}), \dots, N(p_r^{a_r})\}$임을 증명하여 임의의 차원에 대한 하한을 제공한다.
• 수치적 증거와 Zauner의 추측에 따르면 $N(6) = 3$이며, 이는 상한인 $d+1 = 7$보다 크게 낮다.
• 저자들은 표준 기저와 구성된 기저 $B_\alpha$가 상호 무관하다고 보여주며, $\alpha \neq \beta$일 때 내적의 크기가 $|\langle b_{\kappa,\alpha} | b_{\lambda,\beta} \rangle| = 1/\sqrt{q}$임을 확인한다.