[논문 리뷰] Dispersion-free probability measures are incoherent

Alessio Benavoli, Alessandro Facchini외 1명|arXiv (Cornell University)|2016. 06. 11.

Quantum Mechanics and Applications참고 문헌 9인용 수 3

한 줄 요약

이 논문은 특정 결과에 대해 맥락과 무관하게 확률 1을 할당하는 분산 없는 확률 측도—즉, 확률 측도가 항상 1이 되는 경우—가 양자역학에서 비합리적임을 주장한다. 이를 통해 이들 확률 측도가 합리적인 확률 할당으로서 타당하지 않음을 입증한다. 도박 프레임워크를 사용하여 일반화된 글레존 유형 정리를 증명함으로써, 유일하게 타당한 확률 측도는 프로젝터와 밀도 행렬의 추적(trace)로부터 유도된 것임을 보이며, 이는 모든 차원에 대해 성립한다. 특히 n=2인 경우에도 예외 없이 성립한다.

ABSTRACT

Based on a gambling formulation of quantum mechanics, we obtain that dispersion-free probabilities are actually not valid, or rational, probabilities for quantum mechanics, and hence should be excluded from consideration. More generally, we derive a Gleason-type theorem that holds for any dimension n of a quantum system, and in particular for n = 2, stating that the only valid probability assignments are exactly the ones that are definable as the trace of the product of a projector and a density matrix operator.

연구 동기 및 목표

• 양자역학에서 분산 없는 확률 측도의 합리성에 도전한다.
• 도박 기반 공식화를 통해 양자 시스템에서 타당한 확률 할당의 기초를 확립한다.
• 글레존의 정리를 모든 차원으로 일반화하여, 특히 큐비트(n=2)를 포함한 예외 없이 적용 가능하도록 한다.
• 비추적 기반 확률 측도를 양자 확률 이론에서 타당하지 않게 제거한다.

제안 방법

• 양자 확률을 도박 프레임워크를 통해 기술하여, 양자 결과에 대한 베팅을 모델링한다.
• 합리적인 확률 할당을 도박 상황에서 확실한 손실(Dutch books)을 피하는 것이라 정의한다.
• 프로젝터와 밀도 연산자의 구조를 사용하여 타당한 확률 측도를 특성화한다.
• 오직 ρ가 밀도 연산자이고 P가 프로젝터일 때 Tr(ρP)로 표현 가능한 측도들만 일관성 있는 것으로 증명한다.
• 분산 없는 측도가 도박에서 확실한 손실을 초래함으로써 일관성 위반을 보임을 보인다.
• 결과를 모든 차원 n, 특히 n=2까지 확장하여 추가 가정 없이도 예외 없이 성립함을 보인다.

실험 결과

연구 질문

• RQ1 도박 해석 하에 양자역학에서 분산 없는 확률 측도는 일관성 있는가?
• RQ2 n=2를 포함한 모든 차원에 대해 예외 없이 글레존 유형 정리를 설립할 수 있는가?
• RQ3 확실한 손실을 피하기 위해 확률 할당이 충족해야 할 조건은 무엇인가?
• RQ4 왜 추적 기반 확률 측도만 양자 이론에서 합리적인 것으로 간주될 수 있는가?
• RQ5 도박 프레임워크는 밀도 연산자가 양자 확률을 정의하는 데 필수적인 이유를 어떻게 정당화하는가?

주요 결과

• 분산 없는 확률 측도는 도박 상황에서 확실한 손실을 초래하므로 비합리적이며, 일관성이 없다.
• 밀도 연산자 ρ와 프로젝터 P에 대해 Tr(ρP) 형태의 확률 할당만이 양자역학에서 일관성 있고 합리적인 것으로 간주된다.
• 본 논문은 모든 차원 n, 특히 n=2에 대해서도 예외 없이 성립하는 글레존 유형 정리를 설립한다.
• 도박 공식화는 표준 양자 확률 규칙의 기초적 정당성을 제공한다.
• 비추적 기반 확률 측도는 도이치 북 기준(Dutch book criterion) 하에서의 비합리성 때문에 타당하지 않게 제거된다.
• 결과는 양자 확률이 모든 시스템 차원에서 기본적으로 밀도 연산자 형식과 연결되어 있음을 확인한다.