[논문 리뷰] Consistent Sets Contradict

Adrian Kent|arXiv (Cornell University)|1996. 04. 04.

Quantum Mechanics and Applications인용 수 7

한 줄 요약

이 논문은 양자역학의 일관된 역사 해석이 일관된 집합 선택에 대한 임의성에 기반함으로써 상반된 후행 예측—서로 수직이고 교환되는 사영 연산자 각각이 확률 1을 부여받는 것—을 허용한다는 것을 보여준다. 이 형식은 일반화된 시간 대칭 양자역학에서도 일관되지 않은 예측을 초래하여 그 예측 신뢰성에 의문을 제기한다.

ABSTRACT

In the consistent histories formulation of quantum theory, the probabilistic predictions and retrodictions made from observed data depend on the choice of a consistent set. We show that this freedom allows the formalism to retrodict several contradictory propositions which correspond to orthogonal commuting projections and which all have probability one. We also show that the formalism makes contradictory probability one predictions when applied to generalised time-symmetric quantum mechanics.

연구 동기 및 목표

• 다른 일관된 집합 선택 하에서 일관된 역사 해석 형식이 논리적으로 모순되는 예측을 생성할 수 있는지 조사하기.
• 이러한 모순이 후행 추론을 위한 형식의 신뢰성에 미치는 영향을 평가하기.
• 유사한 일관성 없는 결과가 일반화된 시간 대칭 양자역학에서도 발생하는지 검토하기.
• 일관된 역사 해석이 양자 추론을 위한 일관되고 유일한 프레임워크를 제공한다는 가정을 도전하기.

제안 방법

• 다양한 일관된 집합에서 상호 수직인 사영 연산자들이 동시에 확률 1을 부여받을 수 있는 조건을 식별하기 위해 일관된 집합의 구조를 분석하기.
• 다중 일관된 집합을 가진 모델 시스템에 형식을 적용하여 상호 배타적인 명제 각각이 확률 1을 가질 수 있음을 보여주기.
• 일관된 역사 해석의 일반화된 시간 대칭 양자역학에 대한 분석을 확장하여 이러한 모순이 다양한 양자 프레임워크에서 얼마나 견고한지 테스트하기.
• 분리된 명제들이 일관성 기준을 충족함을 공식적으로 검증하기 위해 사영 연산자와 일관성 조건(예: 분해 조건)을 사용하기.
• 일관된 집합 선택의 자유도가 모든 형식적 요구 조건을 만족함에도 불구하고 비일관되고 상호 배타적인 예측을 초래한다는 것을 보여주기.
• 서로 수직이고 교환되는 사영 연산자가 동일한 형식 내에서 논리적으로 모순되는 결과를 생성하는 데서 그 역할을 부각하기.

실험 결과

연구 질문

• RQ1 일관된 역사 해석 형식은 서로 배타적인 명제 각각에 대해 확률 1을 부여할 수 있는가?
• RQ2 다른 일관된 집합이 동일한 양자 시스템에서 논리적으로 모순되는 후행 예측을 초래하는가?
• RQ3 일반화된 시간 대칭 양자역학으로의 일반화에서도 예측의 일관성 문제가 견고한가?
• RQ4 일관된 집합 선택의 자유도가 형식의 유일하고 신뢰할 수 있는 예측 능력을 약화시키는가?
• RQ5 형식의 일관성 조건이 충족되더라도 여전히 모순된 결과가 허용되는가?

주요 결과

• 일관된 역사 해석 형식은 서로 수직이고 교환되는 사영 연산자에 대해 확률 1을 할당할 수 있으며, 이는 상반된 후행 예측을 초래한다.
• 이러한 모순된 예측은 모든 일관성 조건을 만족함에도 불구하고 일관된 집합의 유일성 부재로 인해 발생한다.
• 이러한 문제는 특정 모델의 산물이 아니라 형식의 구조적 일반적 특성이다.
• 유사한 문제가 일반화된 시간 대칭 양자역학에서도 유지되며, 이 경우에도 형식은 다시 일관되지 않은 확률 1 예측을 초래한다.
• 이러한 모순의 존재는 형식이 양자 추론을 위한 일관되고 유일한 프레임워크를 제공한다는 주장을 도전한다.
• 결과적으로 일관된 역사 접근법은 논리적 비일관성을 유발하지 않고 모든 명제에 대해 확률을 일관되게 부여할 수 없다는 것을 시사한다.