[논문 리뷰] A structure theorem for generalized-noncontextual ontological models

David Schmid, John H. Selby외 2명|arXiv (Cornell University)|2020. 05. 14.

Philosophy and History of Science참고 문헌 68인용 수 29

한 줄 요약

이 논문은 과정 이론적 프레임워크를 활용하여 임의의 조합적 운영 시나리오에서 일반화된 비맥락성 온톨로지 모델에 대한 구조 정리를 수립한다. 비모형화 국소성 조건 하에서 이러한 모델은 온톨로지 상태 공간이 일반화된 확률 이론(GPT)의 차원으로 제한되는 비중첩 프레임 표현에 대응해야 하며, 이는 비맥락성 정리 유도 및 실험적 맥락성 증명에 강력한 제약 조건을 제공한다.

ABSTRACT

It is useful to have a criterion for when the predictions of an operational theory should be considered classically explainable. Here we take the criterion to be that the theory admits of a generalized-noncontextual ontological model. Existing works on generalized noncontextuality have focused on experimental scenarios having a simple structure: typically, prepare-measure scenarios. Here, we formally extend the framework of ontological models as well as the principle of generalized noncontextuality to arbitrary compositional scenarios. We leverage a process-theoretic framework to prove that, under some reasonable assumptions, every generalized-noncontextual ontological model of a tomographically local operational theory has a surprisingly rigid and simple mathematical structure -- in short, it corresponds to a frame representation which is not overcomplete. One consequence of this theorem is that the largest number of ontic states possible in any such model is given by the dimension of the associated generalized probabilistic theory. This constraint is useful for generating noncontextuality no-go theorems as well as techniques for experimentally certifying contextuality. Along the way, we extend known results concerning the equivalence of different notions of classicality from prepare-measure scenarios to arbitrary compositional scenarios. Specifically, we prove a correspondence between the following three notions of classical explainability of an operational theory: (i) existence of a noncontextual ontological model for it, (ii) existence of a positive quasiprobability representation for the generalized probabilistic theory it defines, and (iii) existence of an ontological model for the generalized probabilistic theory it defines.

연구 동기 및 목표

• 준비-측정 시나리오를 초월하여 임의의 조합적 운영 이론으로 일반화된 비맥락성의 프레임워크를 확장하기.
• 조합적 이론에 대해 과정 이론적 프레임워크 내에서 온톨로지 모델과 일반화된 비맥락성을 공식화하기.
• 합리적인 물리적 가정 하에서 일반화된 비맥락성 온톨로지 모델에 대한 엄밀한 수학적 구조를 수립하기.
• 이러한 모델에서 온톨로지 상태 수가 관련된 GPT의 차원으로 제한됨을 보여주기.
• 모든 조합적 시나리오에서 비맥락성 온톨로지 모델, 양의 가상확률 표현, 단순체 GPT에의 통합 가능성이라는 다양한 고전성 개념을 통합하기.

제안 방법

• 과정 이론적 접근를 사용하여 운영 이론과 그 몫 이론을 일반화된 확률 이론(GPT)으로 공식화하기.
• 이론의 조합적 구조와의 호환성을 보장하기 위해 다이어그램 보존 가상확률 모델을 중심 기술 도구로 도입하기.
• 다이어그램 보존 가상확률 모델이 과잉중첩되지 않는 정확한 프레임 표현과 수학적으로 동치임을 증명하기.
• 모든 일반화된 비맥락성 온톨로지 모델이 비모형화 국소성 조건을 만족하는 GPT에 대해 비중첩 프레임 표현과 동형임을 보여주는 구조 정리 유도하기.
• 표현 사상의 단사성을 이용하여 온톨로지 상태 공간의 차원을 GPT 차원으로 제한하기.
• 준비-측정 시나리오에서 임의의 조합적 시나리오로 결과를 일반화하기 위해 범주론적 재구성 수행하기.

실험 결과

연구 질문

• RQ1 임의의 조합적 운영 시나리오에서 일반화된 비맥락성 온톨로지 모델의 수학적 구조는 무엇인가?
• RQ2 이러한 모델에서 온톨로지 상태 공간의 차원은 관련된 GPT의 차원과 어떻게 관련이 있는가?
• RQ3 비맥락성 온톨로지 모델, 양의 가상확률 표현, 단순체 GPT에의 통합 가능성이라는 개념들이 일반적인 조합적 시나리오에서 동치인가?
• RQ4 비모형화 국소성은 비맥락성 모델의 구조를 제약하는 데 어떤 역할을 하는가?
• RQ5 다이어그램 보존 조건이 온톨로지 분리성 및 기타 바람직한 성질을 확보하기 위한 충분조건으로 사용될 수 있는가?

주요 결과

• 비모형화 국소성 조건을 만족하는 운영 이론의 일반화된 비맥락성 온톨로지 모델에서 온톨로지 상태의 최대 수는 관련된 GPT의 차원으로 제한된다.
• 비모형화 국소성 조건을 만족하는 GPT의 모든 일반화된 비맥락성 온톨로지 모델은 비중첩 프레임 표현에 대응한다.
• 다이어그램 보존 가상확률 모델은 정확한 프레임 표현과 수학적으로 동치이며, 이러한 모델의 표준형을 제공한다.
• 비맥락성 온톨로지 모델의 존재, 양의 가상확률 표현의 존재, 단순체 GPT에의 통합 가능성은 임의의 조합적 시나리오에서 모두 동치인 고전성의 개념이다.
• 구조 정리는 하디의 온톨로지 과잉배달 정리 등을 통한 새로운 맥락성 증명을 가능하게 하며, 노이즈에 강한 비맥락성 부등식 유도를 촉진한다.
• 이 프레임워크는 양자 기초 이론 분야에서의 응용을 지원하며, 예를 들어 상태 주입 모델에서 양자 계산의 자원으로서의 맥락성 증명을 단순화하는 데 기여한다.