산술 동역학에서 양존재 논리의 의미론적 한계

초록

이 논문은 정수환 ℤ의 동역학적 성질을 다항식으로 정의하고, 양존재(positive‑existential) 1차 논리식만을 이용한 추론이 동형사상에 의해 보존되는 사실을 이용한다. ℤ의 동형 확장(예: p‑adic 정수, 울트라프로덕트)에서 실현되는 행동은 양존재 조각 안에서는 부정될 수 없으며, 이를 “유령 실현(ghost realizable)”이라 부른다. 따라서 ℤ에서 그러한 행동을 배제하려면 순서, 아키메데안 성질, 전역 거리와 같이 동형 보존이 아닌 추가 구조를 활용해야 함을 보인다. 콜라츠 문제를 사례로 들어 프레임워크를 설명하지만, 구체적 진위에 대한 주장은 하지 않는다.

상세 분석

본 논문은 산술 동역학을 ‘양존재(positive‑existential) 조각 Σ⁺₁’이라는 매우 제한된 논리적 언어로 포착한다. Σ⁺₁은 ∃y (p(x,y)=q(x,y)) 형태의 다항식 방정식만을 허용하며, 부정과 전량화는 전혀 사용되지 않는다. 이러한 조각은 모든 환 동형사상 h:R→S에 대해 보존된다: R이 φ∈Σ⁺₁를 만족하면 S도 h를 통해 φ를 만족한다. 저자는 이 보존성을 ‘동형 보존 장벽(Homomorphic Preservation Barrier)’이라 명명하고, 이를 정수환 ℤ의 동형 확장—예컨대 p‑adic 완성 ℤₚ, 울트라프로덕트 ℤ*—에 적용한다.

핵심 정의는 ‘알고리즘적으로 refutable(알gebraically refutable)’이다. 어떤 동역학적 성질 Ψ가 Σ⁺₁ 문장 φ_Ψ로 기술될 때, ℤ에서 Ψ를 부정하려면 추가적인 Σ⁺₁ 문장 θ₁,…,θₙ을 찾아 T_ring∪{θ_i}⊢¬φ_Ψ가 되어야 한다. 그러나 만약 어떤 확장 R와 동형사상 h:ℤ→R가 존재해 R*⊨φ_Ψ이지만 ℤ⊭φ_Ψ라면, 위와 같은 θ_i는 존재할 수 없으며, 이는 바로 ‘유령 실현(ghost realizable)’이라 부른다.

정리 5.1은 “Ψ가 유령 실현이면 Σ⁺₁ 안에서는 절대로 refutable하지 못한다”는 것을 증명한다. 증명은 단순히 보존성을 이용해, ℤ에서 θ_i가 참이면 R에서도 참이 되므로 R⊨¬φ_Ψ와 R*⊨φ_Ψ가 모순됨을 보인다. 따라서 ℤ에서 Ψ를 배제하려면 Σ⁺₁ 밖의 논리적 도구—예를 들어 순서(≤), 아키메데안 상한, 혹은 전역적인 성장 제한—를 반드시 사용해야 함을 결론짓는다.

콜라츠 맵을 사례로 든 부분에서는, ℤ₂(2‑adic 정수)로의 자연 포함을 통해 ‘주기 궤도 존재’라는 Σ⁺₁ 문장이 ℤ₂에서는 참이지만 ℤ에서는 거짓이라고 가정한다(전통적인 콜라츠 추측을 전제로). 이는 유령 실현의 전형적인 예시이며, 양존재 논리만으로는 이러한 2‑adic 주기를 배제할 수 없음을 보여준다.

이 프레임워크는 ‘양존재 논리만으로는 어떤 동역학적 현상을 부정할 수 없는가’를 묻는 새로운 관점을 제공한다. 기존의 불완전성, 독립성 논의와는 달리, 여기서는 논리 조각 자체가 보존되는 구조적 장벽을 강조한다. 결과적으로, 산술 동역학에서 중요한 많은 문제—예컨대 콜라츠와 같은 전역 수렴 문제—는 순수한 대수적(다항식 기반) 접근만으로는 해결 불가능하고, 순서론적 혹은 해석적 기법이 필수적임을 메타수학적으로 설명한다.