[논문 리뷰] Separation theorems and Bell inequalities in algebraic quantum mechanics

Guido Bacciagaluppi|arXiv (Cornell University)|2023. 06. 02.

Quantum Mechanics and Applications인용 수 7

한 줄 요약

이 논문은 $C^{*}$-대수적 양자역학에서 분리의 $C^{*}$-대수적 공식화를 수립하며, Baez의 정리의 역을 통해 벨 부등식과 연결한다. 이는 $C^{*}$-계가 모든 순수 상태가 곱 상태일 때이고, 오직 그 때에만 분리되어 있음을 증명하며, 비고전적 시스템이 분리되어 있을 경우에도 벨 부등식을 만족할 수 있음을 보여주어, 벨 부등식 위반이 양자적 행동을 위한 필수 조건이라는 통념에 도전한다.

ABSTRACT

The paper discusses the concept of separation of quantum mechanical systems in the algebraic approach. We review known theorems, then establish a link between the C*-algebraic and the corresponding W*-algebraic concepts. A characterization of separation in terms of Bell inequalities, due to Raggio (1988), is given a C*-algebraic formulation. Finally, we comment on the implications for the understanding of the Bell inequalities.

연구 동기 및 목표

• Raggio의 $W^{*}$-대수적 분리 이론을 $C^{*}$-대수적 프레임워크로 확장하기.
• $C^{*}$-설정에서 분리와 벨 부등식 간의 엄밀한 연결 고리를 확립하기.
• 벨 부등식이 비고전적 시스템에서 어떻게 만족될 수 있는지 보여줌으로써 그 물리적 의미를 명확히 하기.
• 벨 부등식을 만족한다는 것이 고전성을 의미하지는 않으며, 오히려 하위계의 개별성에 기인함을 보여주기.

제안 방법

• $\mathcal{A}_1 \otimes \mathcal{A}_2$에서의 순수 상태가 모두 곱 상태일 조건으로서 $C^{*}$-대수에서의 분리를 공식화하기.
• Takesaki의 결과를 이용해 Raggio의 $W^{*}$-대수적 구조 정리들을 $C^{*}$-대수로 일반화하기.
• 벨 부등식에 관해 Baez의 정리의 역을 $C^{*}$-설정에서 증명하여, 벨 부등식 만족이 분리를 의미함을 보여주기.
• GNS 구성과 정규 상태 근사법을 사용해 순환 표현에서의 벨 부등식 만족을 보편 표현으로 확장하기.
• 순수 상태의 볼록 hull의 노름 닫힘을 적용하여, 순수 상태에서 모든 정규 상태로의 벨 부등식 유효성 확장하기.
• 모든 기약 표현에서의 분리가 $C^{*}$-대수적 의미에서의 전역적 분리로 이어짐을 보여주기.

실험 결과

연구 질문

• RQ1 알제브라적 양자역학에서의 분리 개념을 $C^{*}$-대수적 프레임워크에서 엄밀하게 공식화할 수 있는가?
• RQ2 $C^{*}$-대수에서 분리와 벨 부등식 만족 사이의 정확한 관계는 무엇인가?
• RQ3 벨 부등식을 만족한다는 것이 고전성을 의미하는가, 아니면 비고전적 시스템도 여전히 만족할 수 있는가?
• RQ4 $C^{*}$-대수적 분리 공식화는 전통적인 힐베르트 공간 접근과 어떻게 다를까?
• RQ5 서로 고전적으로 관련되지 않은 시스템에서 벨 부등식 만족의 물리적 의미는 무엇인가?

주요 결과

• $\mathcal{A}_1 \otimes \mathcal{A}_2$인 $C^{*}$-대수적 시스템은 모든 순수 상태가 곱 상태일 때이고, 오직 그 때에만 분리되어 있다.
• Baez의 정리의 역이 $C^{*}$-설정에서 성립한다: 모든 정규 상태가 벨 부등식을 만족하면, 시스템은 분리되어 있다.
• 모든 표현에서의 벨 부등식 만족은 $C^{*}$-대수적 의미에서의 분리와 동치이다.
• 시스템이 고전적이지 않아도 벨 부등식을 만족할 수 있다; 예를 들어, 한 하위계가 비가환적(양자적)일 수 있지만, 시스템은 여전히 분리되어 있을 수 있다.
• $C^{*}$-대수적 공식화는 벨 부등식 만족이 고전성을 나타내는 것이 아니라 하위계의 개별성에 기인함을 보여준다.
• 분리는 한 하위계가 가환적(고전적)일 경우, 동역학이 존재하더라도 EPR 유형의 상관관계가 존재하지 않음을 보장한다.