[논문 리뷰] Contextuality of general probabilistic theories and the power of a single resource

Farid Shähandeh|arXiv (Cornell University)|2019. 11. 25.

Philosophy and History of Science인용 수 5

한 줄 요약

이 논문은 일반 확률 이론에서 세 핵심 특성 간의 기본적인 불일치를 규명한다: 제한 없음 가정, 실재론적 비의존성, 그리고 여러 개의 더 이상 분해할 수 없는 측정이 존재한다는 것. 이는 세 조건 중 어느 두 가지를 만족시키면 나머지 하나가 반드시 위반됨을 보여주며, 특히 비단순형 이론에서 의존성의 강화 요인으로서 제한 없음 가정의 핵심적 역할을 규명한다. 주요 보조정리에서는 단일 자원 측정 또는 상태가 기존에 고전적인 이론에 의존성을 유도할 수 있는 정확한 조건을 밝혀낸다.

ABSTRACT

Generalized contextuality refers to our inability of explaining measurement statistics using a context-independent probabilistic model. On the other hand, measurement statistics can also be modeled most generally within the framework of general probabilistic theories. Here, starting from a construction of general probabilistic theories based on a Gleason-type theorem, we show that for any such theory the three insistence of (i) the no-restriction hypothesis, (ii) the ontological noncontextuality, and (iii) multiple nonrefinable measurements for any fixed number of outcomes are incompatible. In other words, requiring any two of these properties for a general probabilistic theory implies the violation of the third one. We extensively discuss general probabilistic theories for which (ii) and (iii) are met while (i) is violated, exploring the role of the no-restriction hypothesis as a sufficient condition that enforces ontological contextuality on nonsimplicial general probabilistic theories. Finally, we establish as a corollary the necessary and sufficient condition for a single resourceful measurement or state to promote an ontologically noncontextual (i.e. classical) general probabilistic theory to an ontologically contextual (i.e. nonclassical) one under the no-restriction hypothesis.

연구 동기 및 목표

• 측정 구조와 제한 없음 가정 간의 상호작용을 분석함으로써 일반 확률 이론의 기초적 제약 조건을 조사한다.
• 일반적으로 실재론적 비의존성(고전적) 이론이 단일 자원 측정 또는 상태를 갖게 되었을 때 실재론적 의존성(비고전적) 이론로 전환되는 조건을 규명한다.
• 비단순형 이론에서 비의존성과 여러 개의 더 이상 분해할 수 없는 측정이 존재할 때 제한 없음 가정이 의존성을 강화하는 역할를 명확히 한다.
• 제한 없음 가정 하에 비의존성 이론에서 단일 자원이 의존성을 유도할 수 있는 필요 및 충분 조건을 도출한다.

제안 방법

• 수학적 일관성과 운영적 완전성을 확보하기 위해 일반 확률 이론을 게일론 유사 정리에 기반해 구성한다.
• 세 성질 간의 논리적 불일치를 분석한다: (i) 제한 없음 가정, (ii) 실재론적 비의존성, (iii) 고정된 결과 수에 대해 여러 개의 더 이상 분해할 수 없는 측정이 존재함.
• 논리적 추론을 통해 세 성질 중 어느 두 가지를 만족하면 나머지 하나가 실패함을 보여주며, 삼중 불일치를 확립한다.
• 비의존성과 여러 개의 더 이상 분해할 수 없는 측정을 만족하면서 제한 없음 가정을 위반하는 이론에 집중하여 의존성의 발생을 탐색한다.
• 제한 없음 가정 하에 비의존성 이론에서 단일 측정 또는 상태가 의존성을 유도할 수 있는 필요 및 충분 조건을 규명하는 보조정리를 도출한다.
• 볼록집합과 측정 공간의 구조적 분석을 활용하여 자원 상태가 의존성 가능성을 어떻게 제공하는지 규명한다.

실험 결과

연구 질문

• RQ1 일반 확률 이론에서 제한 없음 가정, 실재론적 비의존성, 여러 개의 더 이상 분해할 수 없는 측정 존재 조건 간의 논리적 제약은 무엇인가?
• RQ2 제한 없음 가정의 위반이 비의존성과 여러 개의 더 이상 분해할 수 없는 측정을 만족하는 이론에서 의존성의 발생에 어떤 영향을 미치는가?
• RQ3 제한 없음 가정을 가정할 때, 단일 자원 측정 또는 상태가 실재론적 비의존성 이론을 실재론적 의존성 이론으로 전환시키는 정확한 조건은 무엇인가?
• RQ4 왜 제한 없음 가정은 비단순형 이론에서 의존성을 강제로 유도하는 충분 조건가 되는가?

주요 결과

• 제한 없음 가정, 실재론적 비의존성, 여러 개의 더 이상 분해할 수 없는 측정이라는 세 성질은 상호 모순된다: 어느 두 성질을 만족시키면 나머지 하나는 반드시 위반된다.
• 비의존성과 여러 개의 더 이상 분해할 수 없는 측정을 만족하면서 제한 없음 가정을 위반하는 이론도 여전히 의존성을 나타낼 수 있으며, 이는 의존성이 단지 측정의 풍부성 이상의 구조적 제약에서 기인함을 시사한다.
• 제한 없음 가정은 비단순형 일반 확률 이론에서 실재론적 의존성을 강제로 유도하는 충분 조건이며, 비의존성과 여러 측정이 만족되더라도 여전히 성립한다.
• 단일 자원 측정 또는 상태가 비의존성 이론에서 의존성을 유도할 수 있는 것은, 제한 없음 가정 하에 유도된 특정 구조적 조건을 만족할 때에만 가능하다.
• 단일 자원이 의존성을 유도할 수 있는 필요 및 충분 조건은 정식으로 보조정리로 도출되었으며, 이는 의존성 생성을 위한 정확한 운영 기준을 제공한다.