[논문 리뷰] Parity Oblivious d-Level Random Access Codes and Class of Noncontextuality Inequalities

Andris Ambainis, Manik Banik외 3명|arXiv (Cornell University)|2016. 07. 19.

Quantum Computing Algorithms and Architecture인용 수 7

한 줄 요약

이 논문은 고차원 양자 시스템에서 준비 연속성(Preparation Contextuality)을 드러내는 새로운 정보처리 작업 유형인 d-레벨 파리티 무지식 랜덤 액세스 코드(d-PORAC)를 제안한다. 임의의 d에 대해 비연속성 부등식을 유도하여 양자 이론이 이러한 경계를 위반함을 보여주며, 이는 d=3, 4, 5에서 혼합 상태의 연속성의 운영적 유용성을 입증한다. 차원이 증가함에 따라 양자적 우월성이 증가한다.

ABSTRACT

One of the fundamental results in quantum foundations is the Kochen-Specker no-go theorem. For the quantum theory, the no-go theorem excludes the possibility of a class of hidden variable models where value attribution is context independent. Recently, the notion of contextuality has been generalized for different operational procedures and it has been shown that preparation contextuality of mixed quantum states can be a useful resource in an information-processing task called parity-oblivious multiplexing. Here, we introduce a new class of information processing tasks, namely d-level parity oblivious random access codes and obtain bounds on the success probabilities of performing such tasks in any preparation noncontextual theory. These bounds constitute noncontextuality inequalities for any value of d. For d=3, using a set of mutually asymmetric biased bases we show that the corresponding noncontextual bound is violated by quantum theory. We also show quantum violation of the inequalities for some other higher values of d. This reveals operational usefulness of preparation contextuality of higher level quantum systems.

연구 동기 및 목표

• 큐비트를 초월하여 고차원 양자 시스템으로의 준비 연속성의 운영적 프레임워크를 확장하기 위해.
• 혼합 상태에서 연속성을 탐지할 수 있는 새로운 정보처리 작업 유형인 d-레벨 파리티 무지식 랜덤 액세스 코드(d-PORAC)를 정의하기 위해.
• 모든 유한 차원 d에 대해 비연속성 부등식을 유도하여 준비 연속성에 대한 정량적 운영 테스트를 제공하기 위해.
• d=3, 4, 5에 대해 명시적인 프로토콜을 사용하여 이러한 부등식의 양자 위반을 입증함으로써 고차원 혼합 상태 연속성의 운영적 유용성을 증명하기 위해.
• 모든 유한 차원에서 최대 혼합 상태의 연속성을 이러한 작업이 드러낼 수 있으며, 일반화의 길을 열어줄 것임을 추측하기 위해.

제안 방법

• 앨리스가 d-레벨 알파벳에서 이루어진 두 딜(string)을 인코딩하고, 보브가 무작위로 선택된 딜을 파악해야 하되, 문자열의 파리티를 알 수 없도록 하는 양자 통신 작업을 제안한다.
• 모든 d에 대해 고전적(준비 비연속성) 성공 확률의 경계를 유도하여 비연속성 부등식을 형성한다.
• d=3에 대해 ℂ³에서 상호 비대칭 편향 기저(MABB)를 사용하는 양자 프로토콜을 구성하며, 특정 순수 상태 인코딩과 사영 측정을 사용한다.
• d=4 및 d=5에 대해 ℂ⁴ 및 ℂ⁵에서 순수 상태 인코딩과 사영 측정에 대한 수치 최적화를 수행하여 높은 성공 확률을 갖는 양자 프로토콜을 찾는다.
• 양자 및 고전적 프로토콜의 평균 성공 확률을 계산하여 양자 우월성을 비교하고 비연속성 경계 위반 여부를 검출한다.
• 양자 우월성이 d가 증가함에 따라 증가하며, d=5일 때 양자 대비 고전적 성공 확률 비율이 1.196에 도달함을 입증한다.

실험 결과

연구 질문

• RQ1 고차원 혼합 양자 상태의 준비 연속성은 운영적 정보처리 작업을 통해 드러날 수 있는가?
• RQ2 d-레벨 파리티 무지식 랜덤 액세스 코드의 고전적(비연속성) 성공 확률 경계는 무엇인가?
• RQ3 양자 이론은 d > 2에서 이러한 비연속성 경계를 위반할 수 있는가? 만약 그렇다면, 어느 정도로 위반되는가?
• RQ4 d ≥ 3에 대해 고전적 방법보다 더 높은 성공 확률을 달성할 수 있는 체계적인 양자 프로토콜 구축 방법이 존재하는가?
• RQ5 d-PORAC 작업에서의 양자 우월성은 차원 d가 증가함에 따라 증가하는가? 이는 임의의 d로 일반화될 수 있는가?

주요 결과

• d=3일 때, 양자 프로토콜은 평균 성공 확률 7/9 ≈ 0.7778을 달성하며, 고전적 비연속성 경계 2/3 ≈ 0.6667를 초월한다.
• d=3의 경우, 양자 우월성은 1.167×로, d=2에서 관측된 1.138× 비율보다 높다.
• d=4일 때, 최적화된 양자 프로토콜은 성공 확률 0.7405를 달성하며, 고전적 경계 0.625를 초월한다.
• d=5일 때, 양자 프로토콜은 성공 확률 0.7177을 달성하며, 고전적 경계 0.6을 넘어서는 성과를 보인다.
• 양자 대비 고전적 성공 확률 비율은 d가 증가함에 따라 증가하여, d=5일 때 1.196에 도달하며, 더 높은 차원에서 더 강한 연속성이 있음을 시사한다.
• 정확한 d=3 프로토콜은 ℂ³ 내의 모든 순수 상태 인코딩과 사영 측정에 대해 최적이며, 양자 영역에서의 최적성 확인한다.