[논문 리뷰] Quantum pigeonhole effect, Cheshire cat and contextuality

Sixia Yu, C. H. Oh|arXiv (Cornell University)|2014. 08. 11.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 코헨-스피어 정리의 상태 독립적 증명, 특히 페르스-머민의 마법의 정사각형과 머민의 마법의 오각형을 통해 양자 닭장 효과, 양자 셰리든 고양이, 그리고 문맥성 사이의 깊은 연결을 확립한다. 상태 독립적 코헨-스피어(KS) 정리 증명이 상태 독립적 양자 역설을 생성할 수 있음을 보여주며, 원래 사전-및-후행 선택 역설이었던 양자 닭장 효과가 근본적으로 문맥성에 뿌리를 두고 있음을 밝히고, 이를 통해 상태 독립적 양자 셰리든 고양이와 새로운 닭장 효과를 도출한다. 이로 인해 실험 성공률이 300% 향상된다.

ABSTRACT

A kind of paradoxical effects has been demonstrated that the pigeonhole principle, i.e., if three pigeons are put in two pigeonholes then at least two pigeons must stay in the same hole, fails in certain quantum mechanical scenario. Here we shall show how to associate a proof of Kochen-Specker theorem with a quantum pigeonhole effect and vise versa, e.g., from state-independent proofs of Kochen-Specker theorem some kind of state-independent quantum pigeonhole effects can be demonstrated. In particular, a state-independent version of the quantum Cheshire cat, which can be rendered as a kind of quantum pigeonhole effect about the trouble of putting two pigeons in two or more pigeonholes, arises from Peres-Mermin's magic square proof of contextuality.

연구 동기 및 목표

• 양자 닭장 효과와 양자역학에서의 문맥성 사이의 공식적 연결을 수립하기.
• 상태 독립적 코헨-스피어(KS) 정리 증명이 상태 독립적 양자 역설을 생성할 수 있음을 보여주기.
• 페르스-머민의 마법의 정사각형을 사용해 상태 독립적 양자 셰리든 고양이를 유도하기.
• 코헨-스피어 정리로 사전-및-후행 선택 시나리오를 초월해 양자 닭장 효과를 일반화하기.
• 상태 의존성을 제거해 실험 가능성을 향상시키고 성공 확률을 300% 높이기.

제안 방법

• 세 큐비트 시스템을 사용한 사전-및-후행 선택 시나리오를 통해 양자 닭장 효과를 실현하며, 중간 측정에서 쌍별 상태 동일성($Z_{ab} = Z_a Z_b$)을 통해 직관에 반하는 결과를 도출한다.
• 아하로노프-베르그만-레비츠(Aharonov-Bergmann-Lebowitz, ABL) 규칙을 적용해 사전-및-후행 선택 시스템에서 직교성 및 완전성 조건을 강제한다.
• 초기 상태 $|+,+,+ angle$ 와 최종 상태 $|0,0,0 angle_Y$ 를 사용해 상태 의존적 KS 값 할당 증명을 구성하며, 비일관적인 비문맥적 할당이 존재하지 않음을 보여준다.
• 페르스-머민의 마법의 정사각형을 활용해 상태 독립적 양자 셰리든 고양이를 구성하며, 성질(예: 스핀과 경로)이 분리될 수 있음을 보여준다.
• 머민의 마법의 오각형과 GHZ 유형 상태를 사용해 쌍별 상태 차이의 기수 조건을 통해 상태 독립적 닭장 효과를 도출한다.
• KS 증명에서의 관측량(예: $X_a Z_b Z_c$)을 사전-및-후행 선택 시스템에서의 측정 결과로 매핑하여, 비영인 진폭을 통해 문맥성을 드러낸다.

실험 결과

연구 질문

• RQ1 코헨-스피어 정리의 증명으로부터 양자 닭장 효과를 도출할 수 있는가?
• RQ2 기존의 KS 정리로 상태 독립적 양자 셰리든 고양이를 구성할 수 있는가?
• RQ3 문맥성이 양자 시스템에서 닭장 원리의 실패를 어떻게 뒷받침하는가?
• RQ4 GHZ 유형 역설을 사용해 새로운 형태의 양자 닭장 효과를 생성할 수 있는가?
• RQ5 상태 의존성을 제거하면 이러한 양자 역설의 성공 확률에 어떤 영향을 미치는가?

주요 결과

• 페르스-머민의 마법의 정사각형에서 유도된 상태 독립적 양자 닭장 효과는 어떤 기저에서든 세 큐비트 중 두 개가 동일한 상태일 수 없음을 보여주며, 고전적 닭장 원리에 위배된다.
• 동일한 페르스-머민 증명을 사용해 상태 독립적 형태로 양자 셰리든 고양이 효과를 실현하였으며, 입자의 스핀이 공간적으로 경로와 분리될 수 있음을 보여준다.
• 특정 후행 선택 상태에 대한 의존성을 제거함으로써 양자 닭장 효과의 성공 확률이 300% 향상된다.
• 머민의 마법의 오각형을 기반으로 한 기수 논증은 기껏해야 홀수 개의 큐비트 쌍이 다른 상태여야 하며, 이는 닭장 논리에 따르면 짝수 개여야 한다는 고전적 기대와 모순된다.
• GHZ 유형 시스템에서의 양자 닭장 효과는 제약 조건 $v_{12}v_{23}v_{13} = st = -1$ 에 의해 발생하며, 이는 홀수 개의 다른 쌍이 존재함을 의미한다. 이는 고전적으로 불가능하다.
• 논문에서 다루는 모든 역설적 효과는 문맥성에 뿌리를 두며, KS 규칙 하에서 힐베르트 공간의 반사선에 대해 일관된 비문맥적 값을 할당하는 것이 불가능하기 때문이다.