[논문 리뷰] Towards a complete cohomology invariant for non-locality and contextuality

Giovanni Carù|arXiv (Cornell University)|2018. 07. 11.

Quantum Mechanics and Applications참고 문헌 15인용 수 9

한 줄 요약

이 논문은 공동 모델 기반의 새로운 코homology 불변량을 제안하여 기존의 Čech 코hom로는 해결되지 않았던 진성 양성 오류 문제를 해결하며, 가능성적 및 강력한 컨텍스추얼리티에 대한 완전하고 계산 가능한 코homological 차단 조건을 제공한다. 이는 넓은 범위의 경험적 모델, 특히 이전에 Čech 코homology에서 문제가 되었던 모델들까지 포함하여 적용 가능하다.

ABSTRACT

The sheaf theoretic description of non-locality and contextuality by Abramsky and Brandenburger sets the ground for a topological study of these peculiar features of quantum mechanics. This viewpoint has been recently developed thanks to sheaf cohomology, which provides a sufficient condition for contextuality of empirical models in quantum mechanics and beyond. Subsequently, a number of studies proposed methods to detect contextuality based on different cohomology theories. However, none of these cohomological descriptions succeeds in giving a full invariant for contextuality applicable to concrete examples. In the present work, we introduce a cohomology invariant for possibilistic and strong contextuality which is applicable to the vast majority of empirical models.

연구 동기 및 목표

• Čech 코hom으로 인해 실패하는 하디 모델과 같은 모델에서 발생하는 지속적인 진성 양성 오류 문제를 해결하기 위한 것.
• 컨텍스추얼리티에 대해 완전한 불변량이자 실세계 경험적 모델에 대해 실용적으로 계산 가능한 코homological 불변량을 개발하기 위한 것.
• 기존 접근 방식의 한계를 넘어서, 비순환적 및 All-vs-Nothing가 아닌 상황에서도 시프 이론적 코homology의 적용 범위를 확장하기 위한 것.
• 코homological 차단 조건이 컨텍스추얼리티를 완전히 특징지워, 코homological 검출과 실제 컨텍스추얼리티 사이의 격차를 제거하는 프레임워크를 구축하기 위한 것.
• 공동 모델 코homology가 모든 모델에 대해 컨텍스추얼리티의 보편 불변량임을 추측하며, 기존의 반례에 대한 경험적 검증을 통해 이를 뒷받침하는 것.

제안 방법

• 원래의 경험적 모델에서 측정 커버를 모든 쌍의 교차를 포함하도록 확장하여 공동 모델을 구성함으로써 새로운 컨텍스트 구조를 형성한다.
• 이 확장된 커버 위에 새로운 이벤트의 시프를 정의하여, 겹치는 컨텍스트들 위에서 국소 및 전역 단위를 정의할 수 있도록 한다.
• 겹치는 컨텍스트들 사이의 단위 간 일관성 조건을 표현하기 위해 𝔽₂ 위의 선형 방정식계를 도입함으로써 국소 할당의 일관성을 모델링한다.
• 공동 모델에 대해 Čech 코hom로 적용하여, 국소 단위가 전역 단위로 일관되게 확장 가능한지 검출하는 코homological 차단 조건을 유도한다.
• Čech 코호모로지의 코 boundary 사상의 핵을 이용하여 장애를 식별함: 비자명한 코호모로지 클래스는 컨텍스추얼리티를 나타낸다.
• 계산 기반 대수학을 활용하여 일관성 조건계를 해결하고, 공동 모델을 사용할 경우 진성 양성 오류가 사라짐을 검증한다.

실험 결과

연구 질문

• RQ1 모든 알려진 경험적 모델에서 진성 양성 오류 없이 컨텍스추얼리티를 완전히 검출할 수 있는 코homological 불변량을 구성할 수 있는가?
• RQ2 공동 모델 구성이 하디 모델과 같이 Čech 코호모로지에서 진성 양성 오류를 야기하는 모델에서 이를 제거하는가?
• RQ3 공동 모델의 코호모로지가 모든 가능성적 및 강력한 컨텍스추얼리티 시나리오에서 완전한 불변량인가?
• RQ4 이 방법은 이전의 코호모로지 방법이 실패하는 All-vs-Nothing 또는 순환적이지 않은 모델에 대해 실용적으로 적용 가능한가?
• RQ5 공동 모델에서 유도된 코호모로지 장애가 비전역화 가능한 모델에서 국소 할당의 논리적 모순을 정확히 포착하는가?

주요 결과

• 공동 모델 구성은 하디 모델을 포함한 모든 알려진 진성 양성 오류를 성공적으로 제거하였다. 이는 이전에 표준 Čech 코호모로지에서 실패했던 바와 대조된다.
• 공동 모델에서 유도된 코호모로지 장애는 PR 상자, GHZ, 페레스-머민 스퀘어 등 주요 모델들에서 컨텍스추얼리티를 오류 없이 정확히 식별하였다.
• 모든 국소 단위가 컨텍스추얼리티적으로 확장 불가능한 경우, 공동 모델의 코호모로지 장애는 비자명하여, 이는 완전한 불변량으로서의 역할을 확인한다.
• 공동 모델의 일관성 조건에서 도출된 𝔽₂ 위의 방정식계는 국소 단위가 전역적으로 확장 가능한 경우에만 해를 가지며, 그렇지 않은 경우 모순이 발생한다.
• 이 방법은 이전의 코호모로지 접근 방식이 완전한 불변량을 제공하지 못하던 비순환적 상황에서도 컨텍스추얼리티 검출에 효과적임을 입증하였다.
• 저자들은 공동 모델의 코호모로지가 컨텍스추얼리티에 대한 보편 불변량임에 강력한 증거를 제시하며, 이는 모든 모델에서 컨텍스추얼리티를 완전히 특징짓는다는 추측으로 이어진다.