보편적 c.e. 집합과 초기 구간 프리픽스 자유 복잡도

초록

이 논문은 튜링 완전한 computably enumerable(c.e.) 집합이 비자명한 초기 구간 프리픽스 자유 복잡도를 임의로 낮게 가질 수 있음을 보인다. 즉, 어떤 비트리비얼 c.e. 집합 A가 주어지면, A보다 복잡도가 엄격히 낮고 동시에 튜링 완전한 c.e. 집합 B를 구성할 수 있다. 또한 유한 개의 비트리비얼 c.e. 집합에 대해 동일한 결과를 일반화하고, 이를 통해 c.e. 실수들의 K‑degree 구조에 최소쌍이 존재하지 않음을 비롯한 여러 응용을 얻는다.

상세 분석

논문은 먼저 K‑trivial(프리픽스 자유 복잡도가 K(n)+O(1) 수준인) 집합은 튜링 완전하지 않다는 기존 결과를 재확인한다. 그 위에 “비트리비얼”이라 함은 K‑trivial이 아니면서도 복잡도가 완전히 무제한적으로 큰 것은 아닌 집합을 의미한다. 저자는 이러한 비트리비얼 c.e. 집합 A에 대해, A의 초기 구간 복잡도 K(A↾n)와 기본 복잡도 K(n) 사이의 차이 g(n)=K(A↾n)−K(n)를 이용한다. g(n)은 무한히 자주 0에 가깝게 되지만, 전체적으로는 제한되지 않는다. 핵심 아이디어는 A의 복잡도 정보를 “극히 희소하게” 코딩함으로써, 새로운 집합 B가 ∅′와 튜링 동등하면서도 K(B↾n)≤K(A↾n)−c (어떤 상수 c) 를 만족하도록 만드는 것이다. 이를 위해 저자는 기존의 decanter 방법과는 정반대의 접근을 사용한다. decanter 방법은 집합이 복잡도가 낮을 때 그 정보를 제한적으로만 끌어낼 수 있음을 보였지만, 여기서는 복잡도가 높은 A를 이용해 그 복잡도를 “흡수”하고, 코딩 과정에서 발생하는 추가 복잡도를 상쇄한다. 구체적으로는 A의 열거 과정과 ∅′의 요구를 동시에 만족시키는 우선순위 구조를 설계하고, 각 요구가 만족될 때마다 B에 새로운 비트(또는 구간)를 삽입한다. 이때 삽입되는 비트는 A의 현재 복잡도 수준에 따라 길이가 정해지며, 복잡도가 높은 구간일수록 더 많은 정보를 담을 수 있게 된다. 결과적으로 B는 ∅′를 완전히 계산할 수 있지만, 그 초기 구간 복잡도는 A보다 항상 일정한 차이만큼 낮다.

두 번째 정리는 두 개 이상의 비트리비얼 c.e. 집합 A₁,…,A_k에 대해 동일한 B를 동시에 모든 A_i보다 복잡도가 낮게 만들 수 있음을 보인다. 여기서는 각 A_i의 복잡도 상승 시점을 “동기화”시키는 추가 기술이 필요하다. 저자는 각 A_i에 대해 개별적인 우선순위 요구를 두고, 충돌이 발생하면 더 큰 복잡도 상승을 보이는 집합을 기준으로 B를 조정한다. 이렇게 하면 B는 모든 A_i에 대해 K(B↾n)≤K(A_i↾n)−c_i 를 만족하면서도 ∅′와 동등하게 된다.

이러한 결과는 K‑degree 구조에 중요한 함의를 가진다. 특히 c.e. 실수들의 K‑degree에서는 최소쌍이 존재하지 않음이 증명된다. 기존 연구에서는 Σ⁰₂ 혹은 Δ⁰₂ 수준에서 최소쌍이 존재함을 보였지만, c.e. 실수(Σ⁰₁) 사이에서는 불가능함을 보여준다. 또한 Solovay degree와 K‑degree, 그리고 일반적인 C‑degree(plain Kolmogorov 복잡도 기반) 사이의 초등 동등성도 깨진다. 즉, 이들 구조는 서로 다른 일차 논리 이론을 만족한다는 의미다. 마지막으로 저자는 K‑복잡도와 C‑복잡도 기반 무작위성 정도가 Δ⁰₂와 Σ⁰₁ 하위구조에서도 서로 구별된다는 사실을 도출한다. 전체적으로 이 논문은 복잡도 기반 우선순위 방법론을 확장하여, “높은 복잡도를 가진 c.e. 집합을 이용해 낮은 복잡도의 튜링 완전 집합을 만들 수 있다”는 새로운 가능성을 열어준다.