[논문 리뷰] Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality

Jacopo Surace|arXiv (Cornell University)|2026. 02. 12.

Logic, Reasoning, and Knowledge인용 수 0

한 줄 요약

이 논문은 유한 불 대수에 대한 보편적 평가의 구조 규칙으로부터 (준)확률의 원리적 재구성을 제시하여, 사전확률(pre-probabilities), 정규 준확률 체계 canonical quasi-probability regime, 그리고 일반화된 베이즈 정리를 산출한다.

ABSTRACT

Quasi-probabilities appear across diverse areas of physics, but their conceptual foundations remain unclear: they are often treated merely as computational tools, and operations like conditioning and Bayes' theorem become ambiguous. We address both issues by developing a principled framework that derives quasi-probabilities and their conditional calculus from structural consistency requirements on how statements are valued across different universes of discourse, understood as finite Boolean algebras of statements.We begin with a universal valuation that assigns definite (possibly complex) values to all statements. The central concept is Syntactic Locality: every universe can be embedded within a larger ambient one, and the universal valuation must behave coherently under such embeddings and restrictions. From a set of structural principles, we prove a representation theorem showing that every admissible valuation can be re-expressed as a finitely additive measure on mutually exclusive statements, mirroring the usual probability sum rule. We call such additive representatives pre-probabilities. This representation is unique up to an additive regraduation freedom. When this freedom can be fixed canonically, pre-probabilities reduce to finite quasi-probabilities, thereby elevating quasi-probability theory from a computational device to a uniquely determined additive representation of universal valuations. Classical finite probabilities arise as the subclass of quasi-probabilities stable under relativisation, i.e., closed under restriction to sub-universes. Finally, the same framework enables us to define a coherent theory of conditionals, yielding a well-defined generalized Bayes' theorem applicable to both pre-probabilities and quasi-probabilities. We conclude by discussing additional regularity conditions, including the role of rational versus irrational probabilities in this setting.

연구 동기 및 목표

• 물리학의 계산적 용도를 넘어 준확 probabilities의 개념적 기초를 동기 부여하고 명확히 한다.
• 유한 불 대수의 진술에 대한 보편적 평가의 프레임워크를 개발한다.
• 허용 가능한 평가가 유한 가법 측정으로 표현된다는 표현 정리(사전확률)를 보인다.
• 상대화(relativisation)을 통한 고전적 확률의 현상과 일반화된 조건부/베이즈 프레임워크를 확립한다.
• 재구성 내에서 합리적 확률과 무리수 확률의 역할 및 규칙성 조건을 탐구한다.]
• method:[
• Syntactic Locality 하에서 구문적 우주와 하위 우주(상대 우주)를 형식화한다.
• 다섯 원칙(고전 명제 논리와의 호환성, 국소적 도출성, 보편성, 최대 실현성, 대칭성)을 명시하고 그 결과를 도출한다.
• 모든 허용 가능한 보편적 평가가 유한 가법 표현(사전확률)을 허용한다는 표현 정리(정리 1)를 증명하고 게이지 자유도(보조정리 2)를 식별한다.
• 사전확률과 준확률 모두에 대해 잘 정의된 총확률과 일반화된 베이즈 정리를 산출하는 조건부/동기화 프레임워크를 정의한다.
• 합리적 확률과 무리수 확률을 구분하고 규칙성의 함의를 논의한다.

제안 방법

• Syntactic Locality 하에서 구문적 우주와 하위 우주(상대 우주)를 형식화한다.
• 다섯 원칙(고전 명제 논리와의 호환성, 국소적 도출성, 보편성, 최대 실현성, 대칭성)을 명시하고 그 결과를 도출한다.
• 모든 허용 가능한 보편적 평가가 유한 가법 표현(사전확 probabili ty)을 허용한다는 표현 정리(정리 1)를 증명하고 게이지 자유도(보조정리 2)를 식별한다.
• 사전확률과 준확 probabilities 모두에 대해 잘 정의된 총확률과 일반화된 베이즈 정리를 산출하는 조건부/동기화 프레임워크를 정의한다.
• 합리적 확률과 무리수 확률을 구분하고 규칙성의 함의를 논의한다.

Figure 6: Two agents’ sub-universes embedded in an ambient shared universe.

실험 결과

연구 질문

• RQ1 유한 불 대수에 대한 진술에 대한 보편적 평가를 어떻게 제약하여 가법적인 확률 표현으로 도출할 수 있는가?
• RQ2 상대화(하위 우주로의 제한)를 통한 준확概率와 고전적 확률 간의 관계는 무엇인가?
• RQ3 사전확률/준확률 프레임워크에서 조건부 및 베이즈 정리를 일관되게 정의할 수 있는가?
• RQ4 무리수 확률이 언제 발생하는지 결정하는 규칙성 조건은 무엇이며 합리적 사전 확률은 이 재구성에 어떻게 적합하는가?

주요 결과

• 모든 허용 가능한 보편적 평가가 유한 가법 표현(사전확률)으로 재매개변수화될 수 있다(정리 1).
• 정리적으로 고유하며 게이지에 의해 변화하는 표시를 허용하는 정규 재매개변화로 인해 유한 준확률이 도출된다; 표현은 게이지(가법 재배열)에 의해 고유하다.
• 상대화 하에 안정적인 준확probabilities의 부분집합으로서 고전적 유한 확률이 도출된다.
• 사전확률과 준확 probabilities에 적용 가능한 일반화된 베이즈 정리를 제공하는 조건부 이론이 구축된다.
• 대칭성 고려는 평가 자유를 제약하고 원자들이 구별 불가능한 경우 수준 기반으로 응집될 수 있음을 결정한다.
• 부록에서 규칙성 가정과 이 유한 가법 프레임워크에서의 합리적 확률의 출현을 논의한다.