Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality

1. 문제 제기 (Problem)

• 준확률의 개념적 모호성: 준확률 (복소수 값을 가질 수 있는 확률) 은 양자역학 등 물리학의 다양한 분야에서 계산 도구로 널리 사용되지만, 그 개념적 기초는 불명확합니다. 특히 조건부 확률 (conditioning) 과 베이즈 정리와 같은 연산이 준확률 영역에서 정의될 때 모호성 (ambiguity) 이나 정의되지 않는 경우 (undefined cases, 예: 분모가 0 인 경우) 가 발생합니다.
• 지식 결여 vs 본질적 무작위성: 고전적 확률은 에이전트의 지식 부족 (epistemic uncertainty) 을 나타내지만, 양자역학의 확률은 본질적 무작위성 (intrinsic randomness) 을 반영합니다. 이를 설명하기 위해 '누락된 정보 (missing information)'라는 고전적 해석을 강요하는 대신, 명제에 대한 고유한 속성으로 확률을 재정의할 필요가 있습니다.
• 재구성의 부재: 기존 연구들은 양자역학에서 나오는 준확률을 재구성하려 했지만, 준확률 자체를 독립적인 이론 체계로 재구성하려는 시도는 부족했습니다.

2. 방법론 (Methodology)

저자는 **보편적 평가 (Universal Valuation)**와 **구문적 국소성 (Syntactic Locality)**을 기반으로 한 원리 기반의 재구성을 수행합니다.

• 보편적 평가 (Universal Valuation, $V$): 모든 명제 (statement) 에 0 또는 1 로 제한되지 않는 복소수 값을 부여하는 함수 $V: L \to \mathbb{C}$를 정의합니다. 이는 명제의 '진리값'을 넘어선 물리적 속성으로 간주됩니다.
• 구문적 국소성 (Syntactic Locality):
  • 모든 명제 체계 (Universe of discourse) 는 더 큰 맥락 (ambient universe) 의 부분 체계로 간주됩니다.
  • 이러한 포함 관계 (embedding) 와 제한 (restriction) 하에서 평가 함수가 일관되게 행동해야 한다는 요구사항을 부과합니다.
  • 이는 물리학의 부분계 (subsystem) 개념을 논리적 명제 체계에 적용한 것입니다.
• 다섯 가지 원리 (Principles): 보편적 평가를 특징짓기 위해 다음 원리들을 도입합니다.
  1. 고전 명제 논리와의 호환성: 특정 극한에서 참/거짓의 이진 값으로 수렴해야 함.
  2. 국소 추론 가능성 (Local Deducibility): 한 명제의 값은 다른 모든 명제의 값에 의해 유일하게 결정됨.
  3. 보편성 (Universality): 추론 규칙은 명제의 레이블이 아닌 논리적 구조 (Boolean lattice 의 레벨) 에만 의존함.
  4. 최대 실현 가능성 (Maximum Realisability): 원리와 모순되지 않는 모든 평가는 허용됨.
  5. 대칭성이 평가의 자유를 제거함: 원자적 명제들이 구별되지 않을 때, 평가는 유일하게 결정되어야 함.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 전확률 (Pre-probability) 의 도출 (Theorem 1)

• 위 원리들을 만족하는 모든 보편적 평가 $V$는 **유한 가산성 (finite additivity)**을 만족하는 함수로 재매개화 (reparametrization) 될 수 있음을 증명합니다.
• 이를 **전확률 (Pre-probability, $R$)**이라고 부릅니다.
• $R$은 서로소인 명제들의 합집합에 대해 가산성을 가지며, $R(\neg s) = R(\top) - R(s)$를 만족합니다.
• 게이지 자유도 (Gauge Freedom): 전확률 표현은 유일하지 않으며, 가산 함수 $a(x+y)=a(x)+a(y)$를 만족하는 함수 (a-function) 와의 합성으로 변환될 수 있습니다. 이는 평가의 '단위'나 '척도'를 선택할 수 있는 자유도를 의미합니다.

B. 준확률 (Quasi-probability) 의 정의

• 정규화 (Normalization): 전확률의 게이지 자유도를 고정하여 $Q(\top)=1$이 되도록 할 수 있는 경우, 이를 **준확률 (Quasi-probability)**이라고 정의합니다.
• 이는 표준 준확률 이론 (콜모고로프의 비음수성 공리만 완화된 형태) 과 일치하며, 복소수 값을 가질 수 있습니다.
• 정리: 준확률은 전확률의 '정규화된 표준 표현 (canonical representative)'으로 이해됩니다.

C. 일관된 조건부 이론과 일반화된 베이즈 정리

• 기존 준확률 이론의 가장 큰 문제였던 조건부 확률의 정의 불가 (분모가 0 인 경우) 를 해결합니다.
• 상대적 준확률 (Relative Quasi-probability): 부분 우주 (sub-universe) 로 제한할 때, 해당 부분의 최상위 원소가 0 이 아닌 경우에만 준확률로 정규화 가능합니다. 0 인 경우에는 전확률 (pre-probability) 로만 표현됩니다.
• 동기화 (Synchronisation): 서로 다른 에이전트 (부분 우주) 가 서로 다른 게이지 (표현) 를 사용할 때, 이를 일관되게 맞추는 'a-function'을 통해 조건부 연산을 정의합니다.
• 일반화된 베이즈 정리: 조건부 전확률/준확률 간의 동기화 규칙으로 유도되며, 분모가 0 인 경우에도 잘 정의된 식을 제공합니다. 이는 표준 베이즈 정리를 포함하는 일반화 형태입니다.

D. 고전적 확률의 회복

• 상대화 하의 안정성 (Stability under Relativisation): 준확률 중에서도 부분 우주로 제한했을 때 여전히 유효한 준확률 (즉, 정규화 가능한 상태) 로 남는 것들을 **고전적 확률 (Classical Probability)**로 정의합니다.
• 이는 모든 명제에 대해 음이 아닌 값을 갖는 (비음수성) 준확률과 동일하며, 콜모고로프의 확률 공리를 만족합니다.

E. 이산적 확률과 무리수 (Rational vs Irrational)

• 의미론적 차원 (Semantic Dimension): 전확률의 값들이 $\mathbb{Q}$-선형 독립인 방향의 수를 의미합니다.
• 유리수 확률: 추가적인 정규성 가정 (예: 해석성) 을 하지 않으면, 전확률의 게이지 자유도로 인해 유리수 (rational) 값이 자연스럽게 도출됩니다. 무리수 값은 추가적인 의미론적 차원 (semantic dimension) 으로 해석될 수 있으며, 이는 전확률 수준에서만 다룰 수 있는 부가적인 구조입니다.
• 이는 데 피네티 (de Finetti) 의 유한 확률론 주장과 일치하며, 무한 빈도주의 (hypothetical frequentism) 에 대한 비판을 제공합니다.

4. 의의 및 결론 (Significance)

• 이론적 통합: 준확률을 단순한 계산 도구가 아닌, 논리적 일관성 원리에서 자연스럽게 도출되는 독립적인 이론 체계로 격상시켰습니다.
• 조건부 연산의 해결: 준확률 영역에서 조건부 확률과 베이즈 정리가 직면하던 모순과 정의 불가 문제를 '전확률'과 '동기화' 개념을 통해 해결했습니다.
• 양자역학의 해석: 양자역학의 확률이 본질적 속성임을 전제로 할 때, 이를 설명하는 가장 자연스러운 수학적 언어가 준확률 (및 그 기반인 전확률) 임을 보여줍니다.
• 확률의 본질: 확률은 '지식의 부족'이 아니라, 명제 체계 간의 구조적 일관성 (Syntactic Locality) 에서 비롯된 '안정적인 평가'로 재정의됩니다.

이 연구는 확률 이론의 기초를 논리적 구조와 국소성 원리에서 재구성함으로써, 양자역학과 확률 이론의 깊은 연결을 명확히 하고, 준확률 기반의 새로운 계산 및 추론 체계를 마련했다는 점에서 중요한 의의를 가집니다.