무한 순위의 보렐 집합을 갖는 유한 언어의 오메가 파워

본 논문은 ω-언어의 한 형태인 ω-파워 V^ω 에 대한 위상학적 복잡성을 연구한다. 서론에서는 ω-파워가 정규 언어·컨텍스트 자유 언어 등에서 어떻게 정의되는지와, Cantor 위상에서의 Borel 계층 구조를 소개한다. 기존 연구(Niwinski, Simonnet, Staiger)에서는 ω-파워가 항상 분석적 집합이지만, 그 복잡도는 언어 종류에 따라 달라진다는 점을 강조한다. 특히 저자는 이전 논문에서 모든 정수 n≥1에 대해 Π⁰ₙ-완전인 컨텍스트 자유 언어의 ω-파워가 존재함을 증명했으며, 또한 일부 컨텍스트 자유 언어의 ω-파워는 비보렐(analytic but not Borel)임을 보였다. 본 논문의 핵심 질문은 “유한 언어 V에 대해 V^ω 가 무한 순위의 보렐 집합이 될 수 있는가?”이다. 이를 위해 저자는 새로운 연산 A → A≈ 를 도입한다. 여기서 ‘≈’ 연산은 기존 알파벳 Σ에 새로운 기호 ‘և’ 를 추가하고, 문자열에 나타나는 ‘a և’ 형태를 지우는(erase) 과정을 정의한다. 이 연산은 Duparc의 exp 연산과 유사하지만, 보다 단순한 형태로 설계되었다. A≈ 은 A의 연속 이미지이며, A가 Π⁰ₙ-완전이면 A≈ 은 Π⁰_{n+1}-완전이 된다(정리 2.3). 다음 단계에서는 이 연산을 k번 반복하여 A≈.k 를 만든다. 각 단계마다 새로운 지우기 기호 ‘և_i’를 도입하고, 이를 유한 알파벳 {α,β} 로 코딩한다. 구체적으로, ‘և_i’ 를 α·β^i·α 로 치환하는 연속 함수 ψ_i 를 정의하고, L_i 라는 컨텍스트 자유 언어를 구성한다. L_i 는 모든 ‘և_i’ 가 적용될 때 이전 단계의 문자와 기호만 남도록 설계된 일종의 ‘eraser language’이다. 이렇게 정의된 치환 h 로부터 h(V) 를 얻고, 최종적으로 (h(V))^ω 를 고려한다. 주요 정리 3.1은 V=(0*·1) 로 두고, h(V) 를 위에서 정의한 치환으로 변환한 뒤 그 ω-파워가 무한 순위의 보렐 집합임을 증명한다. 증명은 여러 보조 정리와 보조 명제를 통해 전개된다. Lemma 3.2에서는 ψ_p(R≈.p) 가 Π⁰_{p+2}-완전임을 보이며, 이는 연속 이미지와 동형사상의 성질을 이용한다. Lemma 3.3은 (h(V))^ω 가 유한 순위의 보렐 집합이 될 수 없음을 보여준다. 여기서는 (h(V))^ω 와 각 p에 대한 닫힌 집합 R_p 의 교집합이 Π⁰_{p+2}-완전이 되므로, 만약 (h(V))^ω 가 Π⁰_J 로 표현된다면 J와 p 사이에 모순이 발생함을 이용한다. Lemma 3.4는 (h(V))^ω 의 각 원소가 h(V) 로 구성된 유일한 분해를 갖는다는 사실을 증명한다. 이는 ‘eraser’ 연산이 순서대로 적용될 때 원래 문자열이 유일하게 복원된다는 의미이며, h(V) 가 ω-코드임을 의미한다. 마지막으로 Lemma 5 (논문에선 3.5)에서는 (h(V))^ω 가 분석적이면서도 보렐임을 확인한다. 여기서는 가정에 대한 모순을 이용해 비보렐이라고 가정하면 연속 함수와 완전성 결과가 충돌함을 보인다. 결과적으로, 저자는 유한 언어 V가 존재하여 그 ω-파워가 무한 순위의 보렐 집합이 됨을 최초로 증명하였다. 이는 기존에 알려진 ‘유한 순위’ 혹은 ‘비보렐’ 사례와는 구별되는 새로운 현상이며, ω-언어의 위상학적 복잡도에 대한 이해를 한 단계 끌어올린다. 또한, 지우기 연산자와 치환을 이용한 구성 방법은 다른 복잡도 결과를 도출하는 데도 활용될 가능성을 제시한다.