[논문 리뷰] The ABC of Deutsch-Hayden Descriptors

Charles Alexandre Bédard|arXiv (Cornell University)|2020. 12. 21.

Quantum Mechanics and Applications참고 문헌 10인용 수 14

한 줄 요약

이 논문은 하이젠베르크 그림에서 드류이트-헤이든 기술자 형식을 자가 포함적이고 접근하기 쉬운 방식으로 설명하며, 얽힌 시스템조차도 양자역학이 본질적으로 국소적이고 완전하다는 것을 보여준다. 관측량의 진화를 기술자—파울리 행렬의 유니터리 변환—를 통해 추적함으로써, 양자 이론에서의 비국소성은 쇼링거 그림의 산물이며, 슈퍼디ense 코딩을 국소적이고 정보이론적인 프로토콜로 재해석한다. 이 프로토콜에서는 비트 정보가 국소적으로 접근 불가능한 비국소 상관관계에 코딩되며, 두 번째 시스템과 함께 측정될 때에야 드러난다.

ABSTRACT

It has been more than 20 years since Deutsch and Hayden proved the locality of quantum theory, using the Heisenberg picture of quantum computational networks. Of course, locality holds even in the face of entanglement and Bell's theorem. Today, most researchers in quantum foundations are still convinced not only that a local description of quantum systems has not yet been provided, but that it cannot exist. The main goal of this paper is to address this misconception by re-explaining the descriptor formalism in a hopefully accessible and self-contained way. It is a step-by-step guide to how and why descriptors work. Finally, superdense coding is revisited in the light of descriptors.

연구 동기 및 목표

• 얽힘과 비국소적 상관관계로 인해 양자역학이 국소적으로 기술될 수 없다는 널리 퍼진 오해를 제거하기 위해.
• 양자 기초 이론에서 하이젠베르크 그림에 익숙하지 않은 연구자들을 대상으로 드류이트-헤이든 기술자 형식에 대한 명확하고 자가 포함적인 안내를 제공하기 위해.
• 얽힌 시스템이 기술자들을 통해 완전하고 국소적인 기술을 받을 수 있음을 보여주어, 양자이론의 국소성을 확립하기 위해.
• 기술자들을 사용하여 슈퍼디ense 코딩을 재분석하여, 이 프로토콜이 비국소성보다는 국소적 작용과 국소적으로 접근 불가능한 정보에 의존함을 보여주기 위해.

제안 방법

• 상태 벡터 대신 진화하는 관측량을 통해 양자 시스템을 기술하기 위해 하이젠베르크 그림을 사용한다.
• 기술자를 단일 큐비트의 경우, 유니터리 변환된 파울리 연산자로 정의한다: q(t) = U^† σ U.
• n-큐비트 시스템에 대해 텐서곱과 su(2)^{⊟ n} 대수적 구조를 사용하여 기술자를 확장한다.
• 헤이즈드, CNOT, 파울리 게이트와 같은 유니터리 게이트에 따른 기술자 변환을 통해 관측량의 진화를 추적한다.
• 상태를 진화시키는 대신 기준 벡터 |0⌈^n을 사용하여 측정 확률을 계산한다.
• 기술자를 슈퍼디ense 코딩에 적용하여, 비트 정보가 비국소적 상관관계에 코딩되어 있지만, 공동 측정 이전에는 국소적으로 접근 불가능하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 비국소적 숨겨진 변수를 도입하지 않고도 얽힌 양자 시스템에 대해 완전하고 국소적인 기술을 달성할 수 있는가?
• RQ2 하이젠베르크 그림에서의 기술자 형식은 벨 부등식 위반에서 나타나는 비국소성의 어려움을 어떻게 해결하는가?
• RQ3 왜 슈퍼디ense 코딩은 쇼링거 그림에서는 비국소적으로 보이지만, 기술자로 기술하면 본질적으로 국소적인가?
• RQ4 슈퍼디ense 코딩과 같은 양자 통신 프로토콜에서 국소적으로 접근 불가능한 정보의 역할은 무엇인가?
• RQ5 유니터리 진화에 따른 기술자 변환은 어떻게 분리 가능하고 국소적인 방식으로 전체 양자 정보를 유지하는가?

주요 결과

• 기술자는 파울리 행렬의 유니터리 변환을 통해 진화하는 관측량을 추적함으로써, 양자 시스템에 대해 완전하고 국소적인 기술을 제공한다.
• 기술자 형식은 아인슈타인의 뜻에서 양자이론이 국소적으로 실재적임을 증명한다: 한 시스템의 상태는 다른 시스템의 공간적으로 분리된 작용과 독립적이다.
• 슈퍼디ense 코딩에서 두 개의 고전적 비트는 큐비트 간의 비국소적 상관관계에 코딩되지만, 국소적으로 접근 불가능하다. 공동 측정을 통해만 드러난다.
• 첫 번째 큐비트에서 비트 i를 측정할 확률은 δ_{ii'}이며, 두 번째 큐비트에서 j를 측정할 확률은 δ_{jj'}이다. 이는 국소적 작용을 통한 결정론적 정보 전송을 증명한다.
• 프로토콜의 성공은 보브의 큐비트가 앨리스의 큐비트에 코딩된 정보를 해금하는 열쇠로 작용하기 때문이다. 이 정보는 얽힘과 공동 측정이 있을 때에만 접근 가능하다.
• 하이젠베르크 그림은 비국소성이 필요하지 않음을 드러낸다. 모든 작용은 국소적이며, 쇼링거 그림에서의 비국소성은 상태 벡터 형식의 결과이다.