[논문 리뷰] Unscrambling the omelette of causation and inference: The framework of causal-inferential theories

David Schmid, John H. Selby외 1명|arXiv (Cornell University)|2020. 09. 07.

Quantum Mechanics and Applications인용 수 29

한 줄 요약

이 논문은 인과적 추론(_CI_) 이론의 과정 이론적 프레임워크를 제안하여 인과적 영향과 지식론적 추론을 통합하고, 고전적 실재론과 운영적 양자 이론을 구분한다. 인과성과 추론을 별개의 과정 이론적 구조로 형식화함으로써, 일반화된 비맥락성보다 더 강력한 원리인 라이프니츠성(Leibnizianity)을 규명하고, 고전적 해석의 인과성과 추론을 완화함으로써 표준적인 금기 정리들을 피하는 비고전적 실재론적 표현이 가능하다는 것을 보여준다.

ABSTRACT

Using a process-theoretic formalism, we introduce the notion of a causal-inferential theory: a triple consisting of a theory of causal influences, a theory of inferences (of both the Boolean and Bayesian varieties), and a specification of how these interact. Recasting the notions of operational and realist theories in this mold clarifies what a realist account of an experiment offers beyond an operational account. It also yields a novel characterization of the assumptions and implications of standard no-go theorems for realist representations of operational quantum theory, namely, those based on Bell's notion of locality and those based on generalized noncontextuality. Moreover, our process-theoretic characterization of generalised noncontextuality is shown to be implied by an even more natural principle which we term Leibnizianity. Most strikingly, our framework offers a way forward in a research program that seeks to circumvent these no-go results. Specifically, we argue that if one can identify axioms for a realist causal-inferential theory such that the notions of causation and inference can differ from their conventional (classical) interpretations, then one has the means of defining an intrinsically quantum notion of realism, and thereby a realist representation of operational quantum theory that salvages the spirit of locality and of noncontextuality.

연구 동기 및 목표

• 양자 이론에서 지식론적 추론과 실재론적 인과성의 분리를 시도한다.
• 통합된 프레임워크를 사용하여 운영적 해석과 실재론적 해석의 차이를 형식화한다.
• 양자 이론에서 실재론에 대한 표준적인 금기 정리의 배경이 되는 가정을 규명한다.
• 인과성과 추론의 고전적 해석을 완화함으로써 실재론적 양자 이론으로의 새로운 길을 제안한다.
• 라이프니츠성이 일반화된 비맥락성보다 더 강력한 원리임을 보여주고, 이 원리가 비고전적 실재론을 가능하게 한다.

제안 방법

• 과정 이론적 형식을 사용하여 인과적-추론적(CI) 이론을 인과, 추론, 상호작용의 세 구조로 이루어진 삼중체로 정의한다.
• 기능적 동역학의 과정 이론을 통해 인과성을 모델링하고, 베이지안 확률과 부울 대수를 통해 추론을 모델링한다.
• 도표 보존 사상과 몫을 통해 지식론적 세부 사항을 추상화함으로써 추론의 동치성을 정의한다.
• 프레임워크의 구조에서 유도된, 일반화된 비맥락성보다 더 강력한 원리인 '라이프니츠성'을 도입한다.
• 정규형 정리들을 적용하여 복잡한 도표를 표준적인 스토하스틱 및 명제적 사상으로 간소화한다.
• 도표적 추론과 범주론적 도구(예: 부분확률 사상, 정규형)를 사용하여 추론의 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 양자 이론의 통합 프레임워크에서 인과성과 추론을 형식적으로 분리할 수 있는가?
• RQ2 운영적 양자 이론에서 벨의 국부성과 일반화된 비맥락성 정리의 배경이 되는 가정은 무엇인가?
• RQ3 비고전적인 방식으로 국부성과 비맥락성을 유지하면서도 양자 이론의 실재론적 표현을 구성할 수 있는가?
• RQ4 라이프니츠성은 비고전적 실재론을 가능하게 하는 데 어떤 역할을 하는가?
• RQ5 기본적인 실재론적 표현과 운영적 표현은 추론 구조 측면에서 어떻게 다를까?

주요 결과

• 프레임워크는 일반화된 비맥락성보다 더 자연스러운 원리인 라이프니츠성을 규명하며, 이는 일반화된 비맥락성을 함의한다.
• 인과성과 추론이 고전적 해석에서 벗어나야 비고전적 실재론적 표현이 가능하다.
• 프레임워크는 몫과 추론의 동치성에 의해 일반화된 확률 이론과 전통적인 실재론적 모델을 모두 포함한다.
• 추론 과정을 위한 정규형이 도출되었으며, 이는 모든 추론 과정이 스토하스틱적 요소와 명제적 요소로 분해된다는 것을 보여준다.
• 논문은 고전적 실재론적 표현이 기능적 동역학에 대한 지식 갱신과 추론적으로 동치임을 증명하여, 이러한 표현의 지식론적 역할을 명확히 한다.
• 프레임워크는 고전적 개념을 초월해 인과성과 추론을 재정의함으로써, 벨 유사 정리와 비맥락성 금기 정리에서 벗어나는 새로운 길을 제공한다.