다수량자를 이용한 종속 논리

초록

본 논문은 기존의 종속 논리 D에 다수량자 M을 도입한 확장 논리 D(M)을 정의하고, 이를 2차 논리의 전역 다수량자 Most k와 함수형 다수량자 Most k f를 이용한 확장 SO와 동등한 표현력을 가짐을 증명한다. 결과적으로 D(M)은 계산 복잡도 이론에서 카운팅 계층(CH)을 정확히 포착한다는 것을 보인다.

상세 분석

논문은 먼저 종속 논리 D의 기본 정의와 팀 의미론(team semantics)을 재정리한다. D는 1차 논리에 종속 원자 = (t₁,…,tₙ) 을 추가함으로써 변수 간 함수적 종속을 표현한다. 기존 결과에 따르면 D는 존재적 2차 논리(ESO)와 동등한 표현력을 가지며, 따라서 NP를 기술한다.

새롭게 도입된 다수량자 M은 팀 X 위에서 “절반 이상”의 함수 F 에 대해 ∃ x φ 를 만족시키는 형태로 정의된다. 구체적으로 A |= X M x φ iff |{F : X→A | A |= X(F/x) φ}| ≥ |A|·|X|/2. 이는 기존의 ∃, ∀와 유사한 팀 기반 의미를 유지하면서도 카운팅 성질을 도입한다.

논문은 D(M)의 기본 성질을 검증한다. 빈 팀에 대한 진리값은 언제나 참이며, 하향 폐쇄(downward closure)와 같은 팀 논리의 핵심 특성을 유지한다. 그러나 D(M)은 1‑coherent(플랫) 성질을 잃으며, 자유 변수에 대한 해석이 팀 외부 변수에 의존할 수 있음을 보인다. 이는 다수량자가 팀 전체의 구조를 전역적으로 검증하기 때문에 발생한다.

다음으로 저자는 2차 논리의 전역 다수량자 Most k와 함수형 다수량자 Most k f를 정의한다. Most k는 k‑arity 관계 X 에 대해 “절반 이상”의 k‑튜플이 φ를 만족하는지를 판단하고, Most k f는 k‑arity 함수 g 에 대해 동일한 기준을 적용한다. 논문은 두 양자 체계가 서로 변환 가능함을 보이며, 특히 Most k f를 Most k로, 혹은 그 역으로 시뮬레이션하는 구성을 제시한다.

핵심 정리는 D(M)와 SO(Most f)의 문장 수준에서 동등함을 증명한 것이다. 증명은 다음 두 단계로 이루어진다. 첫째, D(M) 문장을 SO(Most f) 식으로 변환한다. 팀 의미를 함수 F 에 대한 다수량자 형태로 바꾸고, 이를 2차 변수 g 에 대한 Most k f 양자로 재작성한다. 둘째, 반대 방향에서는 SO(Most f) 문장을 D(M) 식으로 변환한다. 여기서는 함수 g 를 팀 X 위의 함수 F 으로 해석하고, Most k f의 “절반 이상” 조건을 D(M)의 다수량자 M의 정의와 일치시키는 논리를 구성한다.

이와 같은 동등성은 D(M)의 표현력이 전역 2차 다수량자 논리와 동일함을 의미한다. 기존에 알려진 바와 같이 SO(Most) = FO(Most) = CH이므로, D(M) 역시 카운팅 계층(CH)을 정확히 포착한다. 따라서 D(M)은 NP를 넘어 PP, 그리고 그 위의 전체 카운팅 계층까지 기술할 수 있는 강력한 논리 체계임을 확인한다.

마지막으로 논문은 D(M)의 비코히어런스와 변수 의존성 문제를 통해, 다수량자를 도입한 팀 논리의 새로운 복잡도와 한계를 제시한다. 이는 향후 논리 확장, 복잡도 구분, 그리고 회로 복잡도와의 연결 고리를 탐구하는 연구에 중요한 출발점을 제공한다.