[논문 리뷰] Unextendible mutually unbiased bases in prime-squared dimensions

Vishakh Hegde, Prabha Mandayam|arXiv (Cornell University)|2015. 08. 24.

Algebraic structures and combinatorial models참고 문헌 3인용 수 3

한 줄 요약

이 논문은 소수 $p$에 대해 $d = p^2$ 차원에서 일반화된 파울리 연산자의 최대 공통 가환 클래스를 사용하여 소수의 제곱 차원에서 $p+1$개의 상호 비편향 기저(MUB)로 구성된 확장 불가능한 집합을 구축한다. 이 집합이 샤논 및 충돌 엔트로피 불확실성 관계를 모두 포화시켜, 양자 암호화와 고차원 시스템에서의 얽힘 탐지에 필수적인 날카로운 경계를 달성함을 증명한다.

ABSTRACT

A set of mutually unbiased bases (MUBs) is said to be unextendible if there does not exist another basis that is unbiased with respect to the given set. Here, we prove the existence of smaller sets of MUBs in prime-squared dimensions ($d=p^{2}$) that cannot be extended to a complete set using the generalized Pauli operators. We further observe an interesting connection between the existence of unextendible sets and the tightness of entropic uncertainty relations (EURs) in these dimensions. In particular, we show that our construction of unextendible sets of MUBs naturally leads to sets of $p+1$ MUBs that saturate both a Shannon ($H_{1}$) and a collision ($H_{2}$) entropic lower bound. Such an identification of smaller sets of MUBs satisfying tight EURs is crucial for cryptographic applications as well as constructing optimal entanglement witnesses for higher dimensional systems.

연구 동기 및 목표

• 소수 $p$에 대해 $d = p^2$ 차원에서 일반화된 파울리 연산자를 사용하여 더 이상 확장될 수 없는 상호 비편향 기저(MUB) 집합을 구성하는 것.
• 확장 불가능한 MUB 집합과 소수의 제곱 차원에서 엔트로피 불확실성 관계(EURs)의 날카로움 사이의 관계를 설정하는 것.
• 샤논($H_1$)과 충돌($H_2$) 엔트로피 하한을 동시에 포화시키는 $p+1$개의 MUB로 구성된 더 작은 집합을 식별하여 최적의 양자 정보 프로토콜을 가능하게 하는 것.
• 파울리 연산자의 최대 가환 클래스를 사용하여 $d = p^2$에서 약한 확장 불가능한 MUB를 체계적으로 구축하는 것.

제안 방법

• 복소수 공간 $\mathbb{C}^{p^2}$에서 일반화된 파울리 연산자의 최대 가환 클래스의 공통 고유기저로 MUB를 구성한다.
• 기존의 $p+1$ 개의 클래스에서 각각 $p-1$ 개의 연산자를 선택하여 새로운 최대 가환 클래스를 만들 수 없음을 통해 확장 불가능성을 정의한다.
• 체 $\mathbb{F}_p$의 유한 체 구조를 사용하여 기저 상태와 연산자를 매개변수화함으로써, 확장 불가능한 집합의 체계적 구성이 가능해진다.
• 루트 단위 $\omega = e^{2\pi i/p}$를 사용하여 새로 구성된 클래스 $\mathcal{C}_I$의 공통 고유상태 $|\psi\rangle\langle\psi|$의 밀도 행렬을 유도한다.
• 대칭성과 추적 수직성의 성질을 활용하여, 각 MUB의 투사 확률에 대해 추적을 수행함으로써 $H_2$ 및 $H_1$ 엔트로피를 계산한다.
• 모든 $p+1$ 개의 기저에 대해 평균 엔트로피가 $\log p$임을 증명함으로써, 두 엔트로피 경계가 모두 포화됨을 보여준다.

실험 결과

연구 질문

• RQ1 소수의 제곱 차원 $d = p^2$에서 확장 불가능한 MUB 집합을 체계적으로 구성할 수 있는가?
• RQ2 소수의 제곱 차원에서 확장 불가능한 MUB의 존재는 엔트로피 불확실성 관계의 날카로움을 의미하는가?
• RQ3 $d = p^2$에서 $p+1$개의 MUB 집합이 샤논 및 충돌 엔트로피 하한을 동시에 포화시키는가?
• RQ4 이러한 확장 불가능한 MUB는 최적의 얽힘 증거 또는 양자 암호화 프로토콜 향상에 사용될 수 있는가?

주요 결과

• 구성된 $d = p^2$ 차원에서의 $p+1$개의 MUB 집합은 확장 불가능하다. 즉, 일반화된 파울리 연산자를 사용하여 이 $p+1$ 개의 기저들과 모두 비편향인 추가 기저를 만들 수 없다.
• 이 집합은 충돌 엔트로피 불확실성 관계 $\frac{1}{p+1}\sum_{i=1}^{p+1}H_2(\mathcal{B}_i|\psi) \geq \log p$를 포화시키며, 특정 상태 $|\psi\rangle$에서 등호가 성립한다.
• 이 집합은 샤논 엔트로피 불확실성 관계 $\frac{1}{p+1}\sum_{i=1}^{p+1}H_1(\mathcal{B}_i|\psi) \geq \log p$ 또한 포화시키며, 동일한 상태 $|\psi\rangle$에서 등호가 성립한다.
• 새로 구성된 클래스 $\mathcal{C}_I$의 공통 고유상태 $|\psi\rangle$는 모든 $p+1$ 개의 기저에 대해 평균 엔트로피를 최소화하며, 이는 두 경계의 날카로움을 확인한다.
• 이 구성은 $p+1$ 개의 최대 가환 클래스에서 각각 $p-1$ 개의 연산자를 선택하여 새로운 최대 가환 클래스 $\mathcal{C}_I$를 형성하는 데 기반한다.
• 결과적으로 소수의 제곱 차원에서 MUB의 확장 불가능성과 불확실성 관계의 최적성 사이의 직접적인 연결 고리를 수립한다.