무한 실 트레이스 유리 언어의 최대 위상 복잡성

본 논문은 무한 실 트레이스(infinite real trace)와 그 위에 정의된 유리 언어(rational languages)의 위상 복잡성을 체계적으로 분석한다. 먼저, 의존 알파벳 (Γ, D) 와 실 트레이스 R(Γ, D) 의 기본 정의를 소개한다. 의존 관계 D 는 반사적·대칭적이며, 고립된 문자가 없을 경우 무한 실 트레이스 집합 R^ω(Γ, D) 은 접두 메트릭(prefix metric)으로 정의된 위상에서 Cantor 집합 2^ω와 동형임을 증명한다. 이 동형성은 Borel·분석 집합 이론을 적용하는 데 핵심적인 역할을 한다. 다음으로, 기존 연구(GPZ94)의 정리 2.1을 인용해 무한 실 트레이스 언어 T 가 유리(rational)하다는 조건을 세 가지 동등한 형태로 제시한다. 첫째, T 가 유리 언어라는 정의, 둘째, T 가 유한 개의 R·S^ω (여기서 R, S 는 유리 단일 알파벳 언어) 합집합으로 표현될 수 있다는 구조적 특성, 셋째, T 가 어떤 ω‑정규 언어 L 의 이미지 φ(L) 이라는 점이다. 이 정리를 기반으로, 저자는 모든 유리 언어를 “유한 합·곱·ω‑반복” 형태로 분해하고, 각 구성 요소가 해석 집합(analytic set)임을 보인다. 해석 집합임을 증명하기 위해 저자는 Baire 공간 ω^ω (또는 Σ^ω) 위의 연속 사상과 투사(projection) 기법을 활용한다. 구체적으로, 각 R·S^ω 구성 요소를 연속 사상 f 을 통해 Borel 집합 B 의 투사 이미지로 나타낸다. Borel 집합의 투사 결과는 항상 해석 집합이므로, 유리 언어 전체가 해석 집합이라는 결론에 도달한다. 이는 기존에 ω‑정규 언어가 Borel 계층에 머무른다는 직관과 대비되는 중요한 결과이다. 그 후, 저자는 Σ¹₁‑완전(complete) 언어의 존재를 보인다. 이전 연구(Fin03c)에서는 Σ¹₁‑완전인 무한 유한 관계 R ⊆Σ₁^ω×Σ₂^ω 를 제시했지만, 이는 “무한 관계” 형태에 국한된 예시였다. 본 논문은 새로운 예시 L ⊆R^ω(Γ, D) 를 구성한다. 이 예시는 두 독립 클리크 Σ₁, Σ₂ (각각 최소 두 문자)와 추가적인 알파벳을 이용해, GPZ 정리의 구조를 그대로 유지하면서도 전형적인 관계 형태가 아닌 순수한 트레이스 형태를 가진다. 구체적으로, 저자는 두 유리 언어 U, V 를 선택해 L = φ(U·V^ω) 와 같이 정의하고, 이를 통해 L 이 Σ¹₁‑완전임을 증명한다. 핵심은 U·V^ω 의 ω‑반복 부분이 Π⁰₂‑집합의 투사 형태와 동형이면서, 동시에 Σ¹₁‑완전 문제(예: 무한 2‑색 그래프 존재 여부)와 환원 가능함을 보이는 것이다. 이러한 결과는 무한 실 트레이스 유리 언어가 Borel 계층을 넘어 프로젝트 계층까지 도달할 수 있음을 의미한다. 특히, Borel 집합이 아닌 유리 언어가 존재함을 보임으로써, 기존에 ω‑정규 언어가 Borel 계층에 제한된다는 직관을 깨뜨린다. 또한, Σ¹₁‑완전 언어가 트레이스 구조 안에 존재한다는 사실은 동시성 모델링, 검증, 그리고 무한 상태 시스템 분석에 새로운 복잡도 경계를 제시한다. 논문의 마지막 부분에서는 이 방법론이 다른 복잡도 계층(예: Π¹₁, Δ¹₁)에도 적용 가능함을 시사한다. 특히, 컨텍스트 자유 ω‑언어와 무한 유리 관계 사이의 복잡도 전이 가능성을 제안한다. 이는 향후 연구에서 트레이스 이론과 고차 위상 복잡도 이론을 연결하는 중요한 교량이 될 것으로 기대된다.