[논문 리뷰] Quantum- vs. Macro- Realism: What does the Leggett-Garg Inequality actually test?

O. J. E. Maroney, Christopher G. Timpson|arXiv (Cornell University)|2014. 12. 18.

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

한 줄 요약

이 논문은 레그게트-가르크 부등식이 매크로스코픽 실재성 자체를 시험하는 것이 아니라 측정에서의 운영적 비간섭성(operational non-disturbance)을 시험한다고 명확히 한다. 이는 부등식 위반이 오직 특정한 약한 형태의 매크로실재성—운영적 고유상태 혼합 실재성—만을 배제할 뿐이며, 운영적 비간섭성과 실재론적 비간섭성 사이의 구분을 제시함으로써 매크로스코픽 실재성이 부등식으로서만 반증될 수 없다는 점을 드러낸다.

ABSTRACT

Macroscopic Realism (MR) says that a macroscopic system is always determinately in one or other of the macroscopically distinguishable states available to it. The Leggett-Garg (LG) inequality was derived to allow experimental test of whether or not this doctrine is true; it is also often thought of as a temporal version of a Bell-inequality. Despite recent interest in the inequality, controversy remains regarding what would be shown by its violation. Here we resolve this controversy, which arises due to an insufficiently general and model-independent approach to the question so far. We argue that LG's initial characterisation of MR does not pick out a particularly natural realist position, so we articulate an operationally well-defined and well-motivated position in its place. We show that much weaker conditions than LG's are sufficient to derive the inequality: in the first instance, its violation only demonstrates that certain measurements fail to be non-disturbing at the operational level. We articulate three distinct species of MR-ist position, and argue that it is only the first of these which can be refuted by LG inequality violation. This first position is an attractive one, so ruling it out remains of interest, however. A crucial role is played in LG's argument by the assumption of noninvasive measurability. We show that this notion is ambiguous between the weaker notion of disturbance at the operational level, and the stronger notion of invasiveness at the ontic level of properties of the system. Ontic noninvasiveness would be required to rule out MR per se but this property is not entailed by MR, and its presence cannot be established in a model-independent way. It follows that despite the formal parallels, Bell's and LG's inequalities are not methodologically on a par. We close with some reflections on the implications of our analysis for the pedagogy of quantum superposition.

연구 동기 및 목표

• 레그게트-가르크 부등식이 매크로스코픽 실재성과 관련하여 실제로 무엇을 시험하는지에 대한 지속적인 논란을 해결하기 위해.
• 운영적 비간섭성과 실재론적 비간섭성 사이의 구분을 명확히 하여 이들이 동치가 아니라는 점을 보여주기 위해.
• 세 가지 서로 다른 매크로실재자 위치를 식별하고 형식화하여, 부등식 위반이 어느 것들을 배제할 수 있는지 구분하기 위해.
• 레그게트-가르크 부등식의 위반이 오직 하나의 위치—운영적 고유상태 혼합 매크로실재성—만을 반증한다는 주장을 펼치기 위해.
• 매크로스코픽 실재성이 전체적으로 실험적 부등식 위반에 의해 배제된다는 오해를 바로잡기 위해.

제안 방법

• 실재론적 모델 프레임워크를 사용하여 측정의 간섭을 운영적 수준과 실재론적 수준에서 형식적으로 분석한다.
• 최소한의 가정 하에 레그게트-가르크 부등식을 유도하여, 이가 오직 운영적 비간섭성 조건에서 유도된다는 것을 보여준다.
• 세 가지 서로 다른 매크로실재자 위치—운영적 고유상태 혼합 실재성, 운영적 고유상태 지지 실재성, 슈프라 고유상태 지지 실재성—을 도입하고 정의한다.
• 비간섭 측정 가능성의 역할을 분석하여, 이가 운영적 비간섭성과 다름을 밝히고 매크로스코픽 실재성에 의해 함의되지 않는다는 점을 보여준다.
• 공통 확률과 상관 함수를 사용한 세 시점 측정 시나리오에 부등식을 적용하여 단순화된 형태로 부등식을 도출한다.
• 부등식 위반은 측정 통계의 감지 가능한 간섭, 즉 비영인 D 항이 존재함을 의미하며, 이는 운영적 간섭을 의미한다.

실험 결과

연구 질문

• RQ1 레그게트-가르크 부등식의 위반이 매크로실재자 위치 중 어떤 것을 정확히 배제하는가?
• RQ2 운영적 비간섭성과 실재론적 비간섭성은 어떻게 다름가며, 이러한 구분이 왜 핵심적인가?
• RQ3 매크로스코픽 실재성 전체가 레그게트-가르크 부등식에 의해 반증될 수 있는가, 아니면 제한된 형태일 뿐인가?
• RQ4 비간섭 측정 가능성의 가정이 매크로스코픽 실재성을 배제하는 데 충분한가, 그리고 이 가정이 매크로스코픽 실재성에 의해 함의되는가?
• RQ5 양자 예측를 고려할 때, 레그게트-가르크 부등식의 정확한 운영적 해석은 무엇인가?

주요 결과

• 레그게트-가르크 부등식의 위반은 오직 운영적 고유상태 혼합 매크로실재성만을 배제할 뿐, 매크로스코픽 실재성 전체를 배제하지는 않는다.
• 부등식은 실재론적 비간섭성 대신 더 약한 조건인 운영적 비간섭성에서 유도된다.
• 매크로스코픽 실재성을 배제하기 위해 필요한 실재론적 비간섭성은 매크로스코픽 실재성에 의해 함의되지 않으며, 모델에 종속되지 않은 방식으로 확립될 수 없다.
• 부등식 유도 과정에서 비영인 D 항의 존재는 감지 가능한 운영적 간섭을 나타내며, 이는 위반을 위해 필수적이지만 충분하지 않다.
• 단순화된 부등식 형태 ⟨Q⁺⟩_LG = 2D₂₊₁₊₁ + 4P(Q₁=+1,Q₂=+1,Q₃=+1) − 1은 M₂ 측정이 M₃ 통계에 간섭을 줘야만 위반이 일어날 수 있음을 보여준다.
• 두 개의 슬릿 실험은 매크로실재성이 비간섭성을 함의하지는 않음을 강조하기 위한 코다로 사용되며, 운영적 수준과 실재론적 수준 사이의 구분을 강화한다.