[논문 리뷰] On the ongoing experiments looking for higher-order interference: What are they really testing?

Arkady Bolotin|arXiv (Cornell University)|2016. 11. 20.

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

한 줄 요약

이 논문은 다중 슬릿 구조에서 고차항 간섭을 탐색하는 지속적인 실험들이 본질적으로 양자 측정이 정확히 하나의 확정된 결과를 산출한다는 가정을 시험하고 있다는 점을 주장한다. 인식론적 논리와 배타적 논리합(XOR) 형식을 사용하여, 측정 결과가 단일 결과라는 논리적 제약 조건이 적용될 경우 고차항 간섭 항이 사라짐을 보여주며, 이 원리에 의해 제2차 간섭만이 논리적으로 필요하다는 것을 증명함으로써 양자역학이 고차항 간섭을 보이지 않는 이유를 설명한다.

ABSTRACT

The existence of higher than pairwise quantum interference in the set-up, in which there are more than two slits, is currently under experimental investigation. However, it is still unclear what the confirmation of existence of such interference would mean for quantum theory -- whether that usual quantum mechanics is merely a limiting case of some more general theory or whether that some assumption of quantum theory taken as a fundamental one does not actually hold true. The present paper tries to understand why quantum theory is limited only to a certain kind of interference.

연구 동기 및 목표

• 고차항 간섭을 찾는 지속적인 실험이 기초적인 수준에서 실제로 무엇을 시험하고 있는지 명확히 하는 것.
• 일반화된 확률론적 이론(GPTs)에서 고차항 간섭의 이론적 가능성이 있음에도 불구하고 양자역학이 오직 제2차 간섭만을 나타내는 이유를 조사하는 것.
• 고차항 간섭의 부재가 양자이론의 기본 가정, 특히 측정 결과의 확정성에서 기인하는지 여부를 규명하는 것.
• 측정 결과가 정확히 하나의 결과를 가져오는 원리에 기반한 인식론적 논리 프레임워크를 제안하여, 간섭 결과의 논리적 구조를 모델링하는 것.
• 측정 시 정확히 하나의 결과가 발생한다는 조건이 적용될 경우 고차항 간섭 항이 사라짐을 보여주며, 양자역학에서 이러한 간섭이 부재한 이유를 설명하는 것.

제안 방법

• 측정 사건(예: 입자가 슬릿을 통과함)에 대한 문장들을 진리값을 가진 논리적 문장으로 간주하는 인식론적 논리로 양자 간섭을 형식화한다.
• 배타적 논리합(⊕)을 사용하여 N개의 슬릿 중 정확히 하나만 사용됨을 표현함으로써 '정확히 하나의 결과' 조건을 모델링한다.
• Zhegalkin 다항식을 {0,1}에서 정의하여 XOR 연산을 대수적으로 표현함으로써 간섭 무늬를 논리적 및 대수적 구성요소로 분해한다.
• N-사건 공간에서 정확히 하나의 결과가 발생함을 보장하기 위해 Δ_N = ∏_{i<j<k} (1 ⊕ x_i x_j x_k) 를 도입한다.
• XOR_N Δ_N = Υ_N Δ_N 라는 항등식을 유도하여, 단일 결과 조건이 적용될 경우 모든 고차항 간섭 항(I_3, I_4 등)이 사라짐을 보인다.
• N-슬릿 간섭 무늬 P_{1…N}을 이중 슬릿 무늬 P_ij와 단일 슬릿 무늬 P_i의 선형 조합으로 재구성함으로써, 제2차 간섭만이 논리적으로 필요하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 고차항 간섭을 찾는 실험이 실제로 시험하고 있는 양자이론의 기초적 가정은 무엇인가?
• RQ2 일반화된 확률론적 이론(GPTs)에서 고차항 간섭의 이론적 가능성이 있음에도 불구하고 양자역학이 오직 제2차 간섭만을 예측하는 이유는 무엇인가?
• RQ3 측정 결과의 논리적 구조가 다중 슬릿 실험에서 간섭 무늬의 형태를 어떻게 제약하는가?
• RQ4 측정 결과가 정확히 하나의 확정된 결과를 산출한다는 원리로부터 고차항 간섭의 부재를 유도할 수 있는가?
• RQ5 인식론적 논리와 배타적 논리합은 양자 간섭을 모델링하고 고차항 항을 배제하는 데 어떤 역할을 하는가?

주요 결과

• N-슬릿 실험에서의 간섭 무늬는 이중 슬릿 무늬와 단일 슬릿 무늬의 선형 조합으로 완전히 표현될 수 있다: P_{1…N} - ∑_{i<j} P_ij + (N-2)∑_i P_i = 0.
• 정확히 하나의 결과가 발생한다는 논리적 제약 조건 Δ_N = 1 이 적용될 경우 고차항 간섭 항(I_3, I_4 등)이 사라진다.
• XOR_N Δ_N로 형식화된 '정확히 하나의 결과' 논리적 구조는 보른 규칙을 직접적으로 언급하지 않더라도 고차항 간섭의 부재를 도출하는 데에 충분하다.
• 유도 과정은 N-슬릿 실험에서의 간섭 무늬가 제2차 간섭 항과 단일 슬릿 기여만으로 완전히 결정됨을 보여주며, 고차항 간섭이 논리적으로 배제됨을 확인한다.
• 논문은 지속적인 고차항 간섭 실험들이 양자역학 자체를 시험하고 있는 것이 아니라, 측정이 정확히 하나의 확정된 결과를 산출한다는 기초적 가정을 시험하고 있음을 결론짓는다.
• 결과적으로 고차항 간섭의 부재는 동역학적 억제 메커니즘 때문이 아니라 측정 공리의 논리적 일관성의 결과임을 시사한다.