확률적 논리와 비확률적 논리의 경계: 기술 복잡도 이론에서의 무작위화와 비무작위화

초록

이 논문은 기존 논리 L에 대해 확률적 버전 BP​L을 정의하고, 특히 BP​FO(확률적 1차 논리)가 C​∞​ω(유한 변수 무한 논리 with counting)보다 강함을 보인다. 이를 통해 전통적인 유한 모델 이론의 주요 논리들(전이 폐쇄, 고정점, 카운팅 포함)이 일반적으로 비무작위화될 수 없음을 증명한다. 또한 순서가 있는 구조와 산술 구조에 대해 BP​FO가 각각 MSO와 FO보다 강함을 보이며, 이는 특정 AC⁰ 변형이 비무작위화될 수 없음을 의미한다. 마지막으로 BP​IFP+C가 무순서 구조에서도 BPP를 포착함을 보여, 확률적 복잡도 클래스와 논리 사이의 대응 관계를 확장한다.

상세 분석

본 연구는 “확률적 논리”라는 새로운 패러다임을 제시한다. 논리 L에 무작위 비트를 도입해 BP​L을 정의함으로써, 전통적인 결정론적 논리와 확률적 복잡도 클래스 사이의 구조적 관계를 탐구한다. 가장 핵심적인 결과는 BP​FO가 C​∞​ω보다 엄격히 강력하다는 증명이다. 이는 BP​FO가 정의할 수 있는 쿼리가 C​∞​ω에서는 표현 불가능함을 의미하며, 전이 폐쇄 논리(TC), 고정점 논리(LFP) 및 그 카운팅 확장들이 모두 비무작위화 불가능함을 즉각적으로 도출한다. 논문은 이를 위해 두 종류의 구체적 쿼리를 설계한다. 첫 번째는 순서 구조 위에 정의된 쿼리로, BP​FO는 정의하지만 MSO는 정의하지 못한다. 두 번째는 덧셈 구조(정수 모듈러 연산 포함) 위에 정의된 쿼리로, BP​FO는 정의하지만 FO는 정의하지 못한다. 특히 두 번째 쿼리는 FO