[논문 리뷰] Generalizing Bell-type and Leggett-Garg-type Inequalities to Systems with Signaling

Ehtibar N. Dzhafarov, Janne V. Kujala|arXiv (Cornell University)|2014. 07. 10.

Quantum Mechanics and Applications참고 문헌 17인용 수 17

한 줄 요약

이 논문은 신호 전달 조건이 위반될 수 있는 시스템에 대해 벨 유형 및 레그게트-가르크 유형의 부등식을 일반화함으로써, 신호 전달 조건이 성립하지 않을 경우에도 맥락성의 정의와 측정이 가능하도록 하는 프레임워크를 제안한다. 푸리에-모츠킨 소거법을 사용하여 맥락성 측정치에 대한 날카운 감소한 경계를 도출함으로써, 어떤 시그널링 수준에서도 맥락성을 탐지할 수 있도록 하여, 기존 부등식의 근본적인 한계를 극복한다.

ABSTRACT

Contextuality means non-existence of a joint distribution for random variables recorded under mutually incompatible conditions, subject to certain constraints imposed on how the identity of these variables may change across these conditions. In simple quantum systems contextuality is indicated by violations of Bell-type or Leggett-Garg-type inequalities. These inequalities, however, are predicated on the assumption of no-signaling, defined as invariance of the distributions of measurement results with respect to other (e.g., earlier in time) measurements' settings. Signaling makes the inequalities inapplicable: a non-signaling system with any degree of contextuality, however high, loses any relation to this concept as soon as it exhibits any degree of signaling, however small. This is unsatisfactory. We describe a principled way of defining and measuring contextuality in arbitrary systems with random outputs, whether signaling is absent or present.

연구 동기 및 목표

• 기존의 벨 유형 및 레그게트-가르크 유형의 부등식이 시그널링이 존재할 경우 기능을 잃어 맥락성이 높아도 탐지되지 않는 문제를 해결하고자 한다.
• 모든 시스템, 즉 시그널링이 존재하거나 존재하지 않을 경우를 포함하여 맥락성을 정의하고 측정할 수 있는 원칙적인 프레임워크를 개발하고자 한다.
• 관측된 근사 분포와 연관 분포만을 사용하여도 유효한, 맥락성 측정치에 대한 날카운 감소한 계산 가능한 경계를 유도하고자 한다.
• 기존의 무신호 조건을 일반화하여, 시그널링을 허용하면서도 맥락성 탐지가 가능한 더 넓은 확률적 프레임워크에 무신호 조건을 통합하고자 한다.
• EPR/봄(벨) 및 레그게트-가르크(시간적) 패러다임을 모두 포함하는 통합적 접근법을 제공하여, 기존의 무신호 영역을 초월한 적용 가능성을 확장하고자 한다.

제안 방법

• 서로 충돌하는 조건에서 기록된 랜덤 변수들 간의 공동분포 존재를 바탕으로 한 일반화된 맥락성 프레임워크를 제안하며, 이는 시그널링이 존재할 경우에도 적용 가능하다.
• 맥락성의 정도를 측정하는 맥락성 측정치 Δ(또는 LG-시스템의 경우 Δ′)를 도입하며, 이는 연결 기대값들의 볼록 조합의 최소값으로 정의된다.
• 푸리에-모츠킨 소거(FME) 알고리즘을 사용하여, 공동분포 제약 조건에서 유도된 선형부등식 시스템에서 연결 기대값 변수를 체계적으로 제거한다.
• FME 처리된 시스템을 바탕으로 Δ 및 Δ′에 대한 날카운 해석적 경계를 도출하며, 이는 관측된 기대값(예: ⟨Aij⟩, ⟨AijBij⟩)만을 포함하는 부등식이 된다.
• 이 방법을 벨 시스템과 LG 시스템 모두에 적용하여, 예를 들어 Δ ≤ 5 − ½s₁(⟨A₁₁B₁₁⟩, ⟨A₁₂B₁₂⟩, ⟨A₂₁B₂₁⟩, ⟨A₂₂B₂₂⟩) 및 Δ′ ≤ 7/2 − ½s₁(⟨Q₁₂Q₂₁⟩, ⟨Q₁₃Q₃₁⟩, ⟨Q₂₃Q₃₂⟩)와 같은 명시적 경계를 도출한다.
• 만약 유도된 부등식이 주어진 Δ에 대해 만족된다면, 그 Δ를 실현할 수 있는 연결 분포가 존재한다는 이중성 원리를 통해 경계를 검증한다.

실험 결과

연구 질문

• RQ1 신호 전달이 존재하여 기존의 벨 및 레그게트-가르크 부등식이 실패하는 시스템에서도 맥락성이 의미적으로 정의되고 측정될 수 있는가?
• RQ2 관측된 근사 및 연관 분포만을 바탕으로 시그널링 존재 조건에서 맥락성 측정치에 대한 가장 날카운 경계는 무엇인가?
• RQ3 푸리에-모츠킨 소거법을 어떻게 체계적이고 강력하게 활용하여 이러한 경계를 도출할 수 있는가?
• RQ4 이 프레임워크는 공간적으로 분리된(벨) 및 시간적으로 분리된(레그게트-가르크) 맥락성 시나리오에 동일하게 적용될 수 있는가?
• RQ5 양자 시스템에서 맥락성과 시그널링의 관계는 무엇이며, 무신호 조건을 가정하지 않고는 어떻게 정량화할 수 있는가?

주요 결과

• 논문은 시그널링이 존재할 경우에도 유효한, 벨 시스템에 대한 맥락성 측정치 Δ에 대한 날카운 해석적 경계 집합을 도출하였으며, 예를 들어 Δ ≤ 5 − ½s₁(⟨A₁₁B₁₁⟩, ⟨A₁₂B₁₂⟩, ⟨A₂₁B₂₁⟩, ⟨A₂₂B₂₂⟩)와 같은 식이 포함된다.
• 레그게트-가르크 시스템의 경우 Δ′ ≤ 7/2 − ½s₁(⟨Q₁₂Q₂₁⟩, ⟨Q₁₃Q₃₁⟩, ⟨Q₂₃Q₃₂⟩)라는 경계를 도출하여, 시그널링 조건 하에서도 맥락성을 정량화할 수 있는 도구를 제공한다.
• 최소 맥락성 측정치 Δ_min은 절댓값의 근사 기대값 차이와 s₁ 함수를 포함하는 두 표현의 최댓값으로 나타나며, 정밀한 탐지 임계값을 제공한다.
• 프레임워크는 유도된 부등식이 주어진 Δ에 대해 만족될 경우, 관측된 쌍들과 일치하며 그 Δ를 실현하는 연결 분포가 존재함을 보장한다.
• 이 방법은 무신호 영역을 초월하여 맥락성 탐지 능력을 일반화하여, 임의의 정도의 시그널링을 가진 시스템에서도 맥락성을 탐지할 수 있도록 한다.
• 푸리에-모츠킨 소거법의 사용은 도출된 경계가 必요하고 충분함을 보장하여 수학적 완전성과 계산 가능성을 확보한다.