[논문 리뷰] A new proof for the existence of mutually unbiased bases

Somshubhro Bandyopadhyay, P. Oscar Boykin외 2명|ArXiv.org|2001. 03. 29.

Quantum Computing Algorithms and Architecture참고 문헌 16인용 수 11

한 줄 요약

이 논문은 소수 거듭제곱 차원에서 상호로 비편향 기저(MUBs)의 존재성을 증명하기 위한 새로운 대수적 증명을 제시한다. 이는 최대 공통 단위행렬 기저와 MUBs 사이의 연결고리에 기반한다. 논문은 $ d = 2^m $ 인 경우에 Pauli 행렬의 텐서곱으로 MUBs를 명시적으로 생성하는 구축 방법을 제공하며, 어떤 차원에서라도 최대 $ d+1 $개의 MUBs가 존재할 수 있음을 증명하고, $ d = p^m $ 인 경우에 체계적인 구성법을 제시함으로써 양자정보이론에서 오랫동안 남아있던 질문들을 해결한다.

ABSTRACT

We develop a strong connection between maximally commuting bases of orthogonal unitary matrices and mutually unbiased bases. A necessary condition of the existence of mutually unbiased bases for any finite dimension is obtained. Then a constructive proof of the existence of mutually unbiased bases for dimensions which are power of a prime is presented. It is also proved that in any dimension d the number of mutually unbiased bases is at most d+1. An explicit representation of mutually unbiased observables in terms of Pauli matrices are provided for d=2^m.

연구 동기 및 목표

• 최대 공통 단위행렬 기저와 상호로 비편향 기저(MUBs) 사이의 강력한 대수적 연결 고리를 확립하기 위해.
• 모든 유한 차원에서 MUBs 존재를 위한 필요 조건을 유도하기 위해.
• 특히 $ d = p^m $ 인 소수 거듭제곱 차원에서 MUBs 존재의 구축 증명을 제공하기 위해.
• $ d = 2^m $ 인 경우에 MUB 관측량을 Pauli 행렬의 텐서곱으로 명시적으로 표현하여 물리적 실현 가능성을 확보하기 위해.
• 모든 차원 $ d $ 에서 최대 $ d+1 $개의 상호로 비편향 기저가 존재할 수 있음을 증명하기 위해.

제안 방법

• 유한체 위의 대수적 구조를 통해 유한체 $ \mathbb{F}_{p^m} $ 를 $ \mathbb{F}_p $ 위의 벡터공간으로 간주하고, 최대 공통 단위행렬 기저와 MUBs 사이의 대응관계를 설정한다.
• 유한체 $ \mathbb{F}_{p^m} $ 를 $ \mathbb{F}_p $ 위의 벡터공간으로 간주하고, 기저 $ \{\gamma_1, \dots, \gamma_m\} $ 를 사용하여 곱셈 연산자의 행렬 표현을 정의한다.
• 행렬 $ B_\ell = (b_{ij}^\ell) $ 를 구성하여 $ \gamma_i\gamma_j = \sum_\ell b_{ij}^\ell \gamma_\ell $ 를 만족시키며, 이는 서로 가환하는 유니터리 행렬 집합을 이룬다.
• $ d = p^2 $ 인 경우, $ \mathbb{F}_p $ 위에 정의된 $ p^2 $개의 대칭 행렬 $ A_j $ 를 명시적으로 구성하고, 서로 다른 행렬 간의 비퇴화성 보장을 위한 행렬식 조건을 도입한다.
• 다른 기저에서 온 벡터들 간의 오버랩이 균일함을 보여줌으로써, 결과적으로 생성된 기저들이 상호로 비편향임을 증명한다.
• $ d = 2^m $ 에 적용하여, MUB 관측량을 Pauli 행렬의 텐서곱으로 표현함으로써 물리적 실현 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 공통 단위행렬 기저의 구조를 이용하여 상호로 비편향 기저 존재를 위한 필요 조건을 도출할 수 있는가?
• RQ2 유한체 산술을 활용하여 소수 거듭제곱 차원에서 상호로 비편향 기저를 어떻게 체계적으로 구성할 수 있는가?
• RQ3 $ d = 2^m $ 인 경우에 MUB 관측량의 명시적 형태는 Pauli 행렬의 텐서곱으로 어떻게 표현되는가?
• RQ4 왜 복합 차원, 예를 들어 $ d = 6 $ 와 같이 소수 거듭제곱이 아닌 경우에 이 구성법이 실패하는가?
• RQ5 모든 유한 차원 $ d $ 에서 존재할 수 있는 상호로 비편향 기저의 최대 수는 얼마인가?

주요 결과

• 모든 차원 $ d $ 에서 상호로 비편향 기저의 존재를 위한 필요 조건이 최대 공통 단위행렬 기저의 구조를 통해 도출되었다.
• 모든 차원 $ d = p^m $ 에서, 여기서 $ p $ 는 소수이고 $ m \geq 1 $ 인 경우, 상호로 비편향 기저 존재에 대한 구축 증명이 제공되었다.
• 모든 차원 $ d $ 에서 상호로 비편향 기저의 최대 수는 최대 $ d+1 $ 개임을 증명하였으며, 이는 날카로운 상한이다.
• $ d = 2^m $ 인 경우, 모든 MUB 관측량이 Pauli 행렬의 텐서곱으로 명시적으로 구성되어 물리적 실현이 가능해졌다.
• 복합 차원, 예를 들어 $ d = 6 $ 와 같이 소수 거듭제곱이 아닌 경우, 주요 대수적 성질(예: 정리 4.4)의 붕괴로 인해 구성법이 실패한다.
• 이 방법은 MUBs를 체계적이고 명시적으로 생성할 수 있는 방법을 제공하여, 고차원 시스템을 사용하는 양자 키 분배 프로토콜의 효율성을 향상시킬 수 있다.