[논문 리뷰] Reformulating and Reconstructing Quantum Theory

Lucién Hardy|arXiv (Cornell University)|2011. 04. 11.

Quantum Mechanics and Applications참고 문헌 61인용 수 96

한 줄 요약

이 논문은 수학적 공리와 함께 회로 프레임워크 내에서 유한차원 양자 이론을 재구성하고, 운영적 공리로부터 양자 이론을 재구축한다. 이는 예리함, 정보 국소성, 진단 국소성, 복합 순열 가능성 등의 공리들로 인해 고전적 확률 이론과 다른 운영적 이론들과 구별되는 유일한 양자 이론임을 입증한다.

ABSTRACT

We provide a reformulation of finite dimensional quantum theory in the circuit framework in terms of mathematical axioms, and a reconstruction of quantum theory from operational postulates. The mathematical axioms for quantum theory are the following: [Axiom 1] Operations correspond to operators. [Axiom 2] Every complete set of physical operators corresponds to a complete set of operations. The following operational postulates are shown to be equivalent to these mathematical axioms: [P1] Sharpness. Associated with any given pure state is a unique maximal effect giving probability equal to one. This maximal effect does not give probability equal to one for any other pure state. [P2] Information locality. A maximal measurement on a composite system is effected if we perform maximal measurements on each of the components. [P3] Tomographic locality. The state of a composite system can be determined from the statistics collected by making measurements on the components. [P4] Compound permutability. There exists a compound reversible transformation on any system effecting any given permutation of any given maximal set of distinguishable states for that system. [P5] Sturdiness. Filters are non-flattening. Hence, from these postulates we can reconstruct all the usual features of quantum theory: States are represented by positive operators, transformations by completely positive trace non-increasing maps, and effects by positive operators. The Born rule (i.e. the trace rule) for calculating probabilitieso follows. A more detailed abstract is provided in the paper.

연구 동기 및 목표

• 유한차원 양자 이론을 회로 프레임워크 내에서 수학적 공리로 재구성하는 것.
• 물리적으로 직관적이고 운영적으로 기반을 둔 운영적 공리들로부터 양자 이론을 재구성하는 것.
• 최소한의 공리들로 고전적 확률 이론과 다른 운영적 이론들과 유일하게 양자 이론을 구별하는 것.
• 예리함, 정보 국소성, 진단 국소성, 복합 순열 가능성의 공리들을 만족하는 이론이 유일하게 양자 이론임을 입증하는 것.

제안 방법

• 회로 프레임워크를 사용하여 양자 과정을 웜에 대한 연산으로 모델링하고, 연산을 두툼텐서로 표현한다.
• 입력 공간에 대한 부분 전치에 대해 양수인 '물리적 연산자'의 개념을 도입한다.
• Choi-Jamiołkowski 이sovorphism을 적용하여 연산과 연산자 사이의 관계를 설정하고, 추적 기반 확률 계산을 가능하게 한다.
• 기저 준비 및 결과를 사용하여 변환을 완전히 분해하고 국소적으로 형식을 유도한다.
• 두툼텐서 형식을 사용하여 텐서 변환을 일반화하고, 색인 조작을 위한 점프 메트릭스를 포함한다.
• 변환 규칙과 일관성 조건을 통해 공리와 운영적 공리 간의 수학적 동치성을 도출한다.

실험 결과

연구 질문

• RQ1 확률 이론들 사이에서 양자 이론을 고유하게 특징짓는 최소한의 운영적 공리 집합은 무엇인가?
• RQ2 회로 프레임워크 내에서 수학적 공리들을 사용하여 양자 이론을 어떻게 재구성할 수 있는가?
• RQ3 부분 전치 조건은 일반 연산자와 물리적 연산자를 어떻게 구별하는가?
• RQ4 시스템에 대한 변환은 회로 형식론에서 상태와 효과의 구조와 어떻게 관련이 있는가?
• RQ5 왜 복합 순열 가능성은 고전 이론을 허용하는 단순한 순열 가능성과 달리 양자 이론을 유일하게 선별하는 데 필수적인가?

주요 결과

• 양자 이론은 예리함, 정보 국소성, 진단 국소성, 복합 순열 가능성의 공리들로 인해 고전적 확률 이론과 구별되는 유일한 이론이다.
• 수학적 공리들—연산이 연산자에 대응하고, 모든 완전한 물리적 연산자 집합이 모든 완전한 연산 집합에 대응하는 것—은 운영적 공리들과 동치이다.
• 물리적 연산자는 입력 공간에 대한 부분 전치에 대해 양수인 것으로 정의되며, 물리적 실현 가능성에 핵심 조건이다.
• 두툼텐서 형식은 텐서 변환을 일반화하고, 변환 행렬과 점프 메트릭스를 통해 색인 조작을 가능하게 한다.
• 증명 과정에서 상태 공간의 차원은 N^r로 스케일링되어야 하며, r은 양의 정수이다. 이는 오직 양자 이론만이 공리들을 만족함을 도출한다.
• 재구성 과정은 고전적 확률 이론과 양자 이론이 유일하게 주어진 공리들과 일치하는 이론임을 보여주며, 복합 순열 가능성으로 대체함으로써 양자 이론이 선택됨을 보여준다.