[논문 리뷰] Real Mutually Unbiased Bases

P. Oscar Boykin, Meera Sitharam외 2명|ArXiv.org|2005. 02. 03.

Mathematical Approximation and Integration참고 문헌 16인용 수 31

한 줄 요약

이 논문은 실 힐버트 공간의 차원 $d$에서 실 상호비추상 기저(MUBs)의 최대 개수에 대한 날카운 경계를 확립한다. 대부분의 차원에서 최적의 개수는 2 또는 3 이하임을 보여주며, 힐베르트 행렬과 조합 설계 이론의 연결고리 및 기본 선형 대수학을 통해 이전의 극단적 집합 이론 결과에 비해 더 단순한 방법으로 $M_{\mathbb{R}^d} \leq d/2 + 1$를 증명한다. 또한 일부 실 MUB 집합은 최적의 복소 또는 실 MUB 집합으로 확장될 수 없음을 보여, 최대 집합이 최적임을 전제로 하는 가정에 도전한다.

ABSTRACT

We tabulate bounds on the optimal number of mutually unbiased bases in R^d. For most dimensions d, it can be shown with relatively simple methods that either there are no real orthonormal bases that are mutually unbiased or the optimal number is at most either 2 or 3. We discuss the limitations of these methods when applied to all dimensions, shedding some light on the difficulty of obtaining tight bounds for the remaining dimensions that have the form d=16n^2, where n can be any number. We additionally give a simpler, alternative proof that there can be at most d/2+1 real mutually unbiased bases in dimension d instead of invoking the known results on extremal Euclidean line sets by Cameron and Seidel, Delsarte, and Calderbank et al.

연구 동기 및 목표

• 모든 차원 $d$에 대해 실 상호비추상 기저(MUBs)의 최대 개수에 대한 날카운 상한 및 하한 경계를 결정하는 것.
• 4의 배수이거나 완전 제곱수가 아닌 차원에서 실 MUBs의 구조를 해결하는 것. 여기서 기본적인 방법들이 날카운 경계를 도출한다.
• 극단적 집합 이론에 의존하지 않고도 알려진 상한 경계 $M_{\mathbb{R}^d} \leq d/2 + 1$에 대한 더 단순하고 자가 포함된 증명을 제공하는 것.
• 최대 실 MUB 집합이 최적의 MUB 집합으로 확장될 수 있는지 조사하여, 최대성과 최적성의 동치를 전제로 하는 가정에 도전하는 것.

제안 방법

• 기저 중 하나를 표준 기저로 고정하는 정규형을 사용하여 문제를 $\{-1,1\}$ 원소를 가진 스케일링된 행렬, 즉 힐베르트 행렬로 변환한다.
• 기본 수론적 추론을 적용하여 $4 \nmid d$ 이면 $M_{\mathbb{R}^d} = 1$임을 보이며, 이는 크기 $d$의 힐베르트 행렬가 존재하지 않기 때문이다.
• 서로 수직인 라틴 제곱(MOLS)과 $(s+1,s)$-네트의 존재를 활용하여 $d = 4^i s^2$ 이며 $s$ 가 홀수, $i > 1$ 인 경우에 대해 하한 경계를 유도하며, $M_{\mathbb{R}^d} \geq \text{MOLS}(2^i s) + 2$ 를 보인다.
• Cameron과 Seidel 또는 Delsarte의 깊은 결과를 피하는 조합 설계의 입사 벡터와 선형 대수학을 활용하여 상한 경계 $M_{\mathbb{R}^d} \leq d/2 + 1$에 대한 대체 증명을 제공한다.
• $(s+1,s)$-네트의 입사 벡터의 구조를 이용하여, $s+1$ 개의 라틴 MUBs와 비추상인 새로운 기저는 모두 같은 크기의 성분을 가져야 하며, 이는 일반화된 힐베르트 행렬임을 시사한다.
• $d=4$에서 모순에 기반한 확장 불가능성 증명을 수행하여, 세 개의 실 라틴 MUBs와 비추상이 될 수 있는 벡터는 존재하지 않음을 보이며, 이는 복소수 영역에서도 마찬가지이다.

실험 결과

연구 질문

• RQ1 4의 배수가 아니거나 완전 제곱수가 아닌 차원에서 $\mathbb{R}^d$에서 실 상호비추상 기저의 최대 개수는 무엇인가?
• RQ2 극단적 집합 이론을 활용하지 않고 $M_{\mathbb{R}^d} \leq d/2 + 1$ 상한 경계를 기본적인 방법으로 증명할 수 있는가?
• RQ3 $d = 4s^2$ 인 경우, 모든 홀수 $s$ 에 대해 $M_{\mathbb{R}^d} = 3$ 이 성립하는가, 아니면 특정 값에 대해서만 성립하는가?
• RQ4 모든 최대 실 MUB 집합은 최적의 MUB 집합으로 확장될 수 있는가? (실 또는 복소수 기준)
• RQ5 힐베르트 추측을 가정할 때, $i > 1$ 이고 $s$ 가 홀수인 $d = 4^i s^2$ 에 대해 $M_{\mathbb{R}^d}$ 의 정확한 값은 무엇인가?

주요 결과

• 4의 배수가 아닌 차원 $d$ 에서 실 MUBs의 최대 개수는 정확히 1이다. 이는 그러한 크기의 힐베르트 행렬가 존재하지 않기 때문이다.
• 4의 배수이지만 완전 제곱수가 아닌 차원에서는 실 MUBs의 최대 개수가 최대 2개이며, 이 값이 성립하는 것은 크기 $d$의 힐베르트 행렬가 존재할 때에 한하여 성립한다.
• 경우 $d = 4s^2$ 에서 실 MUBs의 최대 개수는 최대 3개이며, 이 경계는 $s=1$ (즉, $d=4$) 에서 날카롭게 유지된다. 이 경우 세 개의 실 MUBs가 존재하며, 이들은 확장 불가능하다.
• 논문은 Cameron과 Seidel 또는 Delsarte의 결과에 의존하지 않는, 더 단순하고 자가 포함된 증명을 통해 $M_{\mathbb{R}^d} \leq d/2 + 1$ 를 제공한다.
• 차원 $d=4$의 세 개의 실 라틴 MUBs 집합은 확장 불가능하다: 추가적인 실 또는 복소 MUB를 추가할 수 없다. 이는 최대 집합이 반드시 최적임을 의미하지는 않음을 보여준다.
• $d = 4^i s^2$ 이며 $i > 1$, $s$ 가 홀수인 경우, 크기 $2^i s$ 의 힐베르트 행렬가 존재한다고 가정할 때 하한 경계 $M_{\mathbb{R}^d} \geq \text{MOLS}(2^i s) + 2$ 가 성립한다.