오메가 파워 사전 집합의 복잡도 계층과 새로운 비교 관계

초록

이 논문은 유한 단어들의 사전 V에 대해 무한히 이어 붙인 ω-파워 V^ω가 갖는 위상·측도 복잡도를 연구한다. 특히 사전들의 집합 W(Σ⁰_k), W(Π⁰_k), W(Δ¹₁) 를 정의하고, W(Δ¹₁) 가 W(Σ⁰₂) 보다 더 복잡함을 보이며 Lecomte의 하한을 강화한다. 또한 k≥2 (k≥3) 에 대해 W(Π⁰_{k+1}) (W(Σ⁰_{k+1})) 가 각각 W(Π⁰_k) (W(Σ⁰_k)) 보다 복잡한 계층에 속함을 증명한다.

상세 분석

본 연구는 ω-파워라는 연산자를 통해 사전 V⊆2^* 의 무한 문자열 집합 V^ω 의 복잡도를 분석한다. Lecomte(2005)는 사전들의 집합 W(Γ) = { V | V^ω ∈ Γ } 를 정의하고, 각 Γ 에 대해 Borel·projective 계층 내에서의 위치를 조사하였다. 특히 W(Σ⁰_k) 와 W(Π⁰_k) 는 각각 Σ⁰_k‑집합·Π⁰_k‑집합을 생성하는 사전들의 모임이며, W(Δ¹₁) 은 Borel 집합을 만드는 모든 사전을 포함한다.

첫 번째 주요 결과는 W(Δ¹₁) 과 W(Σ⁰₂)  사이의 비교 관계를 새롭게 설정한 것이다. 저자는 연속 사상 f 을 이용해 W(Σ⁰₂) 을 W(Δ¹₁) 에 연속적으로 삽입함으로써, W(Δ¹₁) 이 W(Σ⁰₂) 보다 복잡한 Π¹₁‑완전(또는 Σ¹₁‑완전) 집합에 동형임을 보인다. 이는 Lecomte가 제시한 W(Δ¹₁) 의 하한인 Π¹₁‑hard 보다 강력한 결과이며, 실제로 W(Δ¹₁) 이 Π¹₁‑complete 임을 증명한다.

두 번째 핵심은 복잡도 사다리식의 일반화이다. k≥2에 대해, 저자는 W(Π⁰_{k+1}) ⊈ W(Π⁰_k) 임을 보이면서, 연속 감소 사상 g_k 을 구성한다. 이 사상은 Π⁰_k‑완전 집합을 Π⁰_{k+1}‑완전 집합으로 변환하고, 그 역상은 W(Π⁰_k) 에 속하지 않음을 보인다. 결과적으로 W(Π⁰_{k+1}) 은 W(Π⁰_k) 보다 엄격히 높은 복잡도 계층에 위치한다. Σ⁰_k‑계층에 대해서도 k≥3에 대해 동일한 논증을 전개하여, W(Σ⁰_{k+1}) 이 W(Σ⁰_k) 보다 복잡함을 증명한다.

기술적인 핵심은 사전 V 에 대한 코딩 기법과, ω-파워가 생성하는 언어의 Borel 등급을 조절하는 “패턴 삽입” 방법이다. 저자는 사전을 두 부분으로 나누어, 하나는 복잡도 상승을 담당하는 “증폭 사전” E_k, 다른 하나는 원래 사전 V 를 그대로 보존하는 “보존 사전” R으로 구성한다. 이때 V^ω ∈ Π⁰_k 이면 (E_k∪R)^ω ∈ Π⁰_{k+1} 이 되며, 역으로 Π⁰_{k+1} 인 경우에는 원래 V 가 Π⁰_k 에 속하지 않음을 보인다. 이러한 구조적 변환은 연속 사상으로 구현 가능하므로, 복잡도 비교를 정형화된 위상학적 방법으로 수행할 수 있다.

결과적으로, 논문은 ω-파워 사전 집합들의 복잡도 사다리를 명확히 정리하고, 특히 W(Δ¹₁) 이 W(Σ⁰₂) 보다 높은 복잡도에 속함을 입증함으로써 Lecomte의 초기 결과를 크게 확장한다. 또한, 복잡도 계층 간의 엄격한 포함 관계를 일반 k에 대해 증명함으로써, ω-파워와 사전 구조 사이의 미묘한 상호작용을 새로운 관점에서 조명한다.