[논문 리뷰] Unextendible Mutually Unbiased Bases from Pauli Classes

Prabha Mandayam, Somshubhro Bandyopadhyay외 2명|arXiv (Cornell University)|2013. 02. 15.

Quantum Computing Algorithms and Architecture참고 문헌 21인용 수 7

한 줄 요약

이 논문은 $d=4$ 및 $d=8$ 차원에서 파울리 연산자들의 최대 공통 교환 클래스를 사용하여 $d/2+1$개의 상호 비편향 기저(MUBs)로 구성된 확장 불가능한 집합을 구축한다. 이러한 집합이 강한 확장 불가능성—모든 기저들과 비편향인 추가 벡터가 존재하지 않음—을 갖는다는 것을 증명하고, $d=4$에서 세 개의 MUBs에 대해 $H_2$ 엔트로피 불확실성 관계가 날카로워짐을 보이며, 코헨-스피커 컨텍스츄얼리티에 대한 함의를 제시한다.

ABSTRACT

We provide a construction of sets of (d/2+1) mutually unbiased bases (MUBs) in dimensions d=4,8 using maximal commuting classes of Pauli operators. We show that these incomplete sets cannot be extended further using the operators of the Pauli group. However, specific examples of sets of MUBs obtained using our construction are shown to be strongly unextendible; that is, there does not exist another vector that is unbiased with respect to the elements in the set. We conjecture the existence of such unextendible sets in higher dimensions (d=2^{n}, n>3) as well. Furthermore, we note an interesting connection between these unextendible sets and state-independent proofs of the Kochen-Specker Theorem for two-qubit systems. Our construction also leads to a proof of the tightness of a H_{2} entropic uncertainty relation for any set of three MUBs constructed from Pauli classes in d=4.

연구 동기 및 목표

• 최대 집합이 알려진 복합 차원에서 상호 비편향 기저(MUBs)의 불완전하지만 확장 불가능한 집합을 구성하는 것.
• 이러한 불완전한 MUB 집합이 파울리 군 연산자나 임의의 벡터를 사용해 확장 가능한지 조사하는 것.
• 확장 불가능한 MUBs와 상태 독립적 컨텍스츄얼리티 및 엔트로피 불확실성 관계와 같은 기초 양자 개념 간의 연결 고리를 설정하는 것.
• 높은 차원 $d=2^n$ ($n>3$)에 대해 확장 불가능한 MUB 구성 방법을 일반화할 수 있는지 탐색하는 것.

제안 방법

• d=2^n 차원에서 표준 파울리 군의 구조를 활용하여 $n$-큐비트 파울리 연산자들의 최대 공통 교환 클래스를 통해 MUBs를 구성한다.
• $d=4$ 및 $d=8$에서 추가로 공통 교환 클래스를 추가할 수 없는 $d/2+1$개의 이러한 클래스로 이루어진 확장 불가능한 집합을 식별한다.
• 남은 파울리 연산자들로부터 추가로 최대 공통 교환 클래스를 만들 수 없음을 확인하기 위해 군 이론적 및 선형 대수 기법을 활용한다.
• 이러한 확장 불가능한 파울리 클래스의 고유기저를 사용하여 MUBs를 정의하고, 체계적 벡터 검색 및 대칭성 분석을 통해 강한 확장 불가능성을 증명한다.
• 결과를 적용하여 $d=4$에서 세 개의 MUBs에 대해 $H_2$ 엔트로피 불확실성 관계가 날카로움을 증명하고, 정리 6을 사용한다.
• 두 큐비트 시스템에서 확장 불가능한 파울리 클래스와 상태 독립적 코헨-스피커 정리의 증명 간의 공식적 연결 고리를 수립한다.

실험 결과

연구 질문

• RQ1 최대 공통 교환 파울리 클래스를 사용하여 $d=4$ 및 $d=8$에서 $d/2+1$개의 확장 불가능한 MUBs를 구성할 수 있는가?
• RQ2 이러한 집합이 강한 확장 불가능성인가, 즉 집합 내 모든 기저들과 비편향인 추가 벡터가 존재하지 않는가?
• RQ3 $d=4$에서 세 개의 MUBs에 대해 이 구성이 날카로운 엔트로피 불확실성 관계를 이끌어내는가?
• RQ4 확장 불가능한 MUBs와 두 큐비트 시스템에서의 상태 독립적 컨텍스츄얼리티 간에 연결 고리가 존재하는가?
• RQ5 이 구성은 $n>3$에 대해 높은 차원 $d=2^n$으로 일반화될 수 있는가?

주요 결과

• 논문은 $d=4$ 및 $d=8$에서 강한 확장 불가능성—모든 기저들과 비편향인 추가 벡터가 존재하지 않음—을 갖는 $d/2+1$개의 MUBs에 대한 명시적 예를 구성한다.
• d=4에서 파울리 클래스로부터 형성된 세 개의 MUBs에 대해, 정리 6를 통해 $H_2$ 엔트로피 불확실성 관계가 날카로움을 증명한다.
• d=4 및 d=8에서의 특정 확장 불가능한 파울리 클래스의 예를 제시하고, 약한 확장 불가능성 이상의 존재를 확인한다.
• 두 큐비트 시스템에서 확장 불가능한 파울리 클래스와 상태 독립적 코헨-스피커 정리의 증명 간의 공식적 연결 고리를 수립한다.
• 파울리 군 분할의 구조적 성질에 기반하여, $n>3$에 대해 높은 차원 $d=2^n$에서의 확장 불가능한 MUBs의 존재를 추측한다.
• 이 구성은 양자 암호 및 기초 양자 이론에서 유용할 수 있는 확장 불가능한 MUBs 생성 프레임워크를 제공한다.