트리 자동 구조의 위계와 동형 문제의 독립성

초록

이 논문은 ωⁿ‑자동 구조를 정의하고, 모든 ωⁿ‑자동 구조가 ω‑트리‑자동 구조로 전환됨을 보인다. 특히 ω²‑자동 및 ωⁿ‑자동( n>2) 불대수, 순서, 링, 군 등에 대해 동형 관계가 ZFC로는 결정되지 않으며, 이 문제는 Σ₂¹·와 Π₂¹· 모두에 속하지 않음을 증명한다. 또한 연속 가설(CH) 하에서는 서로 동형이지만, 대체 공리 AT 하에서는 서로 비동형인 무한한 계열의 원자 없는 불대수를 구성한다.

상세 분석

논문은 먼저 ωⁿ‑자동( n≥1)이라는 새로운 자동 구조 개념을 도입한다. 여기서 자동기는 길이가 ωⁿ인 순서수 단어를 읽으며, 한계 단계에서 이전 상태들의 무한 집합을 이용해 전이한다. 이러한 ωⁿ‑자동기는 기존의 ω‑자동기와 유사하지만, 한계 단계 전이 규칙이 추가되어 보다 복잡한 무한 구조를 표현할 수 있다. 저자는 모든 ωⁿ‑자동 구조가 Muller 혹은 Rabin 트리 자동기로 인코딩될 수 있음을 증명함으로써, ω‑트리‑자동 구조의 상위 클래스임을 확인한다. 이는 자동 구조 이론에서 “첫 번째 차수 해석”이 보존된다는 중요한 결과이며, ω‑트리‑자동 구조의 결정 가능성 및 일차 논리 이론의 가법성을 그대로 물려받는다.

다음으로 논문은 동형 문제의 복잡도에 초점을 맞춘다. 기존 연구에서 ω‑자동 구조의 동형 관계가 Σ₁¹‑완전임이 알려져 있었지만, ω‑트리‑자동 구조에서는 Σ₁²·에 속하지 않는 것으로 밝혀졌다. 저자는 이를 확장하여 ω²‑자동 불대수와 ωⁿ‑자동( n>2) 구조 전반에 대해 동일한 비결정성을 증명한다. 핵심 아이디어는 집합론적 독립성 결과를 자동 구조에 매핑하는 것이다. 구체적으로, 연속 가설(CH)과 거의 자명 공리(AT)를 가정했을 때 서로 다른 동형 유형을 갖는 원자 없는 불대수 Bₙ을 구성한다. CH 하에서는 모든 Bₙ이 서로 동형이지만, AT 하에서는 전혀 동형이 아니다. 이 두 모델 사이의 차이는 ZFC만으로는 해소될 수 없으며, 따라서 동형 관계는 ZFC에 의해 결정되지 않는다.

또한 저자는 이 독립성 결과를 복합 복합 복합(Σ₂¹·와 Π₂¹·) 분석에 연결한다. 동형 문제를 Σ₂¹· 집합이라고 가정하면, 위의 독립성 모형을 이용해 모순이 도출된다. 따라서 ωⁿ‑자동 불대수( n≥2), 링, 비가환 링, 군 등에 대한 동형 문제는 Σ₂¹·도, Π₂¹·도 아니다. 이는 자동 구조 이론에서 가장 높은 수준의 복잡도 경계를 제시한다.

마지막으로 논문은 기존 결과와의 비교를 제공한다. 이전 연구(