[논문 리뷰] Common Denominator for Value and Expectation No-Go Theorems

Andreas Blass, Yuri Gurevich|arXiv (Cornell University)|2017. 07. 24.

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

한 줄 요약

이 논문은 모든 측정을 랭크-1 프로젝션으로 제한함으로써, 은닉변수(HV) 이론에서 값과 기대값에 대한 금기정리의 공통 프레임워크를 수립한다. 이를 통해 두 접근 방식을 직접 비교할 수 있게 되며, 기대값 금기정리와 값 금기정리 중 어느 것이나 다른 것을 포함하지 않음을 보여준다. 특히, 기대값 금기정리에서는 상태 매핑의 볼록선형성 조건이 필요하지만, 값 금기정리에서는 그렇지 않다. 벨의 2차원 HV 모델이 기대값 금기정리를 피하는 이유는 혼합 상태로의 볼록선형 확장이 불가능하기 때문이다.

ABSTRACT

Hidden-variable (HV) theories allege that a quantum state describes an ensemble of systems distinguished by the values of hidden variables. No-go theorems assert that HV theories cannot match the predictions of quantum theory. The present work started with repairing flaws in the literature on no-go theorems asserting that HV theories cannot predict the expectation values of measurements. That literature gives one an impression that expectation no-go theorems subsume the time-honored no-go theorems asserting that HV theories cannot predict the possible values of measurements. But the two approaches speak about different kinds of measurement. This hinders comparing them to each other. Only projection measurements are common to both. Here, we sharpen the results of both approaches so that only projection measurements are used. This allows us to clarify the similarities and differences between the two approaches. Neither one dominates the other.

연구 동기 및 목표

• 기대값 금기정리가 값 금기정리보다 더 포괄한다는 데서 생긴 문헌 내의 모순을 해결하기 위해.
• 측정 유형의 차이를 명확히 하기 위해: 값이론 측정(스펙트럼 결과값) 대비 기대값이론 측정(POVM로부터의 이진 결과값).
• 두 접근 방식에 공통으로 존재하는 유일한 측정은 프로젝션 측정임을 보여주어 공정한 비교를 가능하게 하기 위해.
• 기대값 접근이 값 접근을 포함하지 않음을, 벨의 2차원 HV 모델을 반례로 들어 보여주기 위해.
• 기대값 금기정리의 가정을 약화시키기 위해 효과를 랭크-1 프로젝션으로 제한하고, 효과 매핑에 대한 볼록선형성 요구 조건을 제거하기 위해.

제안 방법

• 기대값 표현을 $(\Lambda, \mu, F)$의 삼중체로 정의한다. 여기서 $\mu$는 밀도 연산자를 은닉변수 공간 $\Lambda$ 위의 확률 측도로 매핑하고, $F$는 랭크-1 프로젝션을 $[0,1]$-값을 가진 가측 함수로 매핑한다.
• quantum 기대값 $\mathrm{Tr}(\rho E)$가 은닉변수 평균 $\int_\Lambda F(E)\,d\mu(\rho)$와 일치하도록 요구하여 양자 예측과의 일致를 확보한다.
• 첫 번째 부트스트랩 정리 수립: 더 큰 힐베르트 공간 $\mathcal{H}'$에서의 기대값 표현은 임의의 닫힌 부분공간 $\mathcal{H}$로의 표현을 유도한다.
• 회전 대칭성과 구면 캡에 대한 아르키메데스 정리를 활용하여, 벨의 2차원 HV 모델이 $\sigma_z$에 대해 올바른 양자 기대값을 제공함을 검증한다.
• 벨의 모델이 혼합 상태로의 볼록선형 $\mu$ 확장을 할 수 없음을 증명하여, 기대값 금기정리를 피할 수 있음을 보여준다.
• 무한차원에서는 값 금기정리가 더 강한 가정이 필요함을 보여주며, 유한차원에서는 랭크-1 프로젝션이 충분함을 확인한다.

실험 결과

연구 질문

• RQ1 다른 종류의 측정을 기반으로 하는 값 금기정리와 기대값 금기정리 간에 의미 있는 비교가 가능한가?
• RQ2 기대값 금기정리가 값 금기정리를 포함하는가, 아니면 상호 독립적인가?
• RQ3 벨의 2차원 은닉변수 모델이 혼합 상태로 확장되면서 상태 매핑의 볼록선형성을 유지할 수 있는가?
• RQ4 기대값 금기정리에서 밀도 연산자에 대한 $\mu$ 매핑의 볼록선형성은 필수적인가, 아니면 약화시킬 수 있는가?
• RQ5 랭크-1 프로젝션은 값 및 기대값 프레임워크에서 모두 금기정리를 유도하는 데에 충분한가?

주요 결과

• 값과 기대값 접근에 공통으로 존재하는 유일한 측정은 랭크-1 프로젝션으로, 이는 스펙트럼 값으로서의 관측량이자 이진 결과값을 갖는 효과로 기능한다.
• 기대값 금기정리는 랭크-1 프로젝션만을 효과로 제한해도 증명 가능하며, $\mu$의 볼록선형성은 충분하다. $F$의 볼록선형성은 필요하지 않다.
• 유한차원 힐베르트 공간에서는 랭크-1 프로젝션이 값 금기정리를 도출하는 데에 충분하지만, 이는 무한차원에서는 실패한다.
• 벨의 2차원 은닉변수 모델은 양자 기대값을 정확히 예측하지만, 혼합 상태로의 볼록선형 $\mu$ 확장을 할 수 없어 기대값 금기정리를 피한다.
• 기대값 접근이 값 접근을 포함하지 않음을 보여주며, 벨의 모델은 양자 예측을 충족하지만 기대값 금기정리에서 요구하는 볼록선형성 조건을 위반하므로 반례가 된다.
• 첫 번째 부트스트랩 정리는, 더 큰 힐베르트 공간에서의 기대값 표현이 존재할 경우, 임의의 닫힌 부분공간으로의 표현을 유도하며 일致성을 유지함을 보장한다.