무한 포스트 대응 문제와 유리 관계의 고차 불확정성

본 논문은 세 부분으로 구성된다. 첫 번째 부분에서는 기본 개념과 분석계층에 대한 배경을 제시한다. 정규 ω‑언어, Büchi 자동자, 그리고 무한 포스트 대응 문제(ω‑PCP)의 정의를 상세히 설명하고, Σ¹₁‑완전 문제의 대표 사례인 “초기 상태를 무한히 재방문하는 튜링 기계 존재 여부”를 소개한다. 두 번째 부분에서는 핵심 결과인 ω‑PCP(Reg)의 Σ¹₁‑완전성을 증명한다. 인스턴스 I = ((x₁,…,xₙ),(y₁,…,yₙ),A_z) 에 대해, 해결 가능한 해가 존재하면 해당 인덱스 열이 자동자 A_z 가 인식하는 ω‑언어에 속하고, 동시에 두 문자열 집합이 일치한다는 조건을 만족한다. 이를 Büchi 튜링 기계 M_Φ(I) 로 변환하여, M_Φ(I)의 ω‑언어 비공집합성을 Σ¹₁‑형식으로 기술한다. 이후, Σ¹₁‑완전 문제(P)를 ω‑PCP(Reg) 로 1‑환원함으로써 완전성을 확보한다. 구체적인 환원 과정에서는 튜링 기계의 전이와 상태를 문자열 쌍과 자동자 전이 규칙에 매핑하고, 초기 상태 재방문을 인덱스 열의 정규성 조건으로 변환한다. 세 번째 부분에서는 ω‑PCP(Reg) 결과를 활용한 세 가지 고차 불확정성 응용을 제시한다. 첫째, 두 무한 유리 관계 R₁,R₂ 의 교집합이 공집합인지 판단하는 문제를 Π¹₁‑완전으로 만든다. 이는 “∃ω‑단어 w ∈ R₁ ∩ R₂”의 부정 형태로 표현되며, ω‑PCP(Reg)의 Σ¹₁‑완전성을 보완함으로써 Π¹₁‑완전성을 얻는다. 둘째, ω‑유리 함수 f 가 연속점 하나라도 갖는지 여부를 Σ¹₁‑완전으로 증명한다. 연속점 존재는 “∃x ∈ Σ^ω ∀ε>0 ∃δ>0 …” 형태의 2차 양화식으로 변환 가능하고, 이를 ω‑PCP(Reg)와 동등한 복잡도로 환원한다. 이 결과는 Prieur가 전체 연속성을 결정 가능하다고 증명한 것과 대비되어, 연속점 존재 자체가 이미 분석계층의 첫 번째 수준에서 완전함을 갖는다는 흥미로운 차이를 보여준다. 셋째, 연속점 집합 C(f) 가 ω‑정규 언어인지 판단하는 문제를 Π¹₁‑완전으로 만든다. C(f) 가 정규인지 여부는 “∀ω‑단어 w (w ∈ C(f) → w ∈ L)” 형태로 서술되며, 이는 ω‑PCP(Reg)의 보완 문제와 동등하게 환원된다. 따라서 연속점 집합의 정규성 판단은 Π¹₁‑완전이 된다. 논문은 마지막으로 이러한 결과들의 의미를 논의한다. 무한 포스트 대응 문제를 분석계층의 기준점으로 삼음으로써, 유리 관계와 ω‑유리 함수에 대한 복잡도 구분이 체계화되었다. 특히, 기존에 ‘불가능’ 혹은 ‘결정 가능’으로만 분류되던 문제들 사이에 Σ¹₁와 Π¹₁ 사이의 미세한 차이가 존재함을 밝혀, 형식 언어 이론과 자동이론에서 분석계층 연구의 중요성을 강조한다.