오메가 자동 구조의 기수와 카운팅 한정자

초록

이 논문은 ω‑자동 구조에서 ‘최대 ℵ₀개 존재’, ‘유한개 존재’, ‘k (mod m) 개 존재’와 같은 카운팅 한정자를 포함한 1차 논리식이 정의하는 관계가 모두 ω‑정규임을 증명한다. 핵심은 ω‑세미그룹의 대수적 성질을 이용한 새로운 특성화이며, 이를 통해 카운트 가능한 지수 관계는 ω‑정규 대표 집합을 갖고, 결국 모든 카운트 가능한 ω‑자동 구조는 유한 단어 자동 구조로 변환될 수 있음을 보인다.

상세 분석

논문은 먼저 ω‑자동 구조의 정의와 기존 결과들을 정리하고, ω‑자동 구조 위에 정의된 1차 논리(FO)에 카운팅 한정자(∃≤ℵ₀, ∃∞, ∃(mod m) 등)를 추가한 확장 논리 FOC를 고려한다. 기존 연구에서는 이러한 확장이 주입적(Injective) ω‑자동 표현에만 적용 가능하다고 알려졌지만, 저자들은 주입성 가정을 없애는 새로운 방법을 제시한다. 핵심 도구는 ω‑세미그룹(ω‑semigroup)이다. ω‑세미그룹은 유한 세미그룹의 무한 연산을 확장한 구조로, ω‑정규 언어와 일대일 대응한다. 저자들은 ω‑세미그룹 내에서 ‘전이 관계’를 인식하는 유한 세미그룹이 갖는 흡수성(absorption)과 멱등성(idempotence) 특성을 이용해, 주어진 FO + 카운팅 한정자 식 ϕ(x, z̄) 가 만족하는 무한 단어들의 집합이 ‘카운트 가능’인지 ‘불가산’인지를 ω‑정규 방식으로 판단할 수 있음을 보인다. 구체적으로, 어떤 파라미터 z̄에 대해 ϕ가 만족하는 단어들의 ≈‑동치류가 카운트 가능하면, 일정한 상수 C(ω‑세미그룹의 크기에 의해 결정) 이하의 대표 단어 x₁,…,x_C만을 선택하면 모든 만족 단어가 이들 중 하나와 ≈‑동치이며 동시에 ∼ₑ(끝이 거의 같은) 관계로 연결된다. 반대 경우에는 Ramsey 이론을 활용해 무한히 많은 서로 다른 ≈‑동치류를 구성하고, 이를 통해 만족 집합이 불가산임을 증명한다. 이 과정에서 ‘동질화 분해(homogeneous factorisation)’와 ‘코어싱 단계(coarsening step)’라는 두 단계의 기술적 변환이 핵심 역할을 한다. 결과적으로, FOC 의 모든 원자적 카운팅 한정자는 ω‑자동 구조 내에서 ω‑정규 관계로 변환 가능함을 보이며, 이는 자동 구조 이론에서 중요한 ‘펀다멘털 사실(fundamental fact)’을 ω‑자동 구조에도 확장한다는 의미다. 또한, 카운트 가능한 ω‑정규 동치 관계가 ω‑정규 대표 집합을 가짐을 증명함으로써, Blumensath가 제기한 “카운트 가능한 ω‑자동 구조는 자동 구조와 동등하다”는 추측을 완전히 해결한다. 마지막으로, 최근 Hjorth·Khoussainov·Montalbán·Nies가 제시한 ‘주입적 표현이 존재하지 않을 수 있다’는 예시와 대비해, 카운트 가능한 경우에는 언제나 주입적 ω‑자동 표현을 구성할 수 있음을 보여준다. 이 모든 결과는 ω‑세미그룹의 대수적 성질을 활용한 새로운 증명 기법이 가능성을 열어 주며, 향후 ω‑자동 구조의 복잡도와 표현력 연구에 중요한 토대를 제공한다.