[논문 리뷰] Three Lectures on Automatic Structures

Bakhadyr Khoussainov, Mia Minnes|ArXiv.org|2008. 09. 19.

semigroups and automata theory참고 문헌 41인용 수 36

한 줄 요약

이 논문은 단어, 트리, 부치 및 라빈 온체인을 사용한 자동 구조에 대한 종합적인 강의를 제시하며, 온체인 이론, 모형 이론, 기술적 집합 이론 간의 연결 고리를 설정한다. 부치 자동 구조는 정의 가능한 몫에 대해 닫혀 있음을 보여주지만, 라빈 자동 구조는 그렇지 않음을 밝히며, 부치로 인식 가능한 동치 관계에 대한 부치로 인식되지 않는 몫을 갖는 부치 자동 구조의 존재를 증명한다 — 거의 동일한 집합의 개념에 기반한 보렐 비일반성 추론을 사용하여.

ABSTRACT

This paper grew out of three tutorial lectures on automatic structures given by the first author at the Logic Colloquium 2007. We discuss variants of automatic structures related to several models of computation: word automata, tree automata, Buchi automata, and Rabin automata. Word automata process finite strings, tree automata process finite labeled trees, Buchi automata process infinite strings, and Rabin automata process infinite binary labeled trees. Automatic structures are mathematical objects which can be represented by (word, tree, Buchi, or Rabin) automata. The study of properties of automatic structures is a relatively new and very active area of research.

연구 동기 및 목표

• 단어, 트리, 부치 및 라빈 온체인을 사용한 자동 구조에 대한 기초 강의를 제공하기 위해.
• 잘 서식된 부분 순서, 부울 대수, 선형 순서, 트리, 유한 생성된 군 등의 클래스에 대한 동형 불변량을 조사하기 위해.
• 위상수학(보렐 계층), 모형 이론(스코트 순서), 계산 가능성(Σ₁¹-완전성), 계산 복잡도(P)를 사용하여 자동 구조의 복잡도를 분석하기 위해.
• 자동 구조와 기술적 집합 이론에서의 보렐 구조 간의 연결 고리를 설정하기 위해.
• 부치로 인식 가능한 동치 관계에 대한 부치 자동 구조의 몫이 반드시 부치로 인식 가능하지 않음을, 비보렐 함수 구성 방법을 통해 증명하기 위해.

제안 방법

• 유한 또는 무한 문자열과 라벨된 트리 위에서 단어, 트리, 부치, 라빈 온체인을 사용한 자동 구조의 형식적 정의.
• 유한 상태 온체인이 도메인과 관계를 인식하도록 하여, 구조 내의 관계와 함수를 온체인으로 인식하기 위해.
• 특히 사실 3.6을 사용하여 보렐 함수가 존재함을 보여주고, 이는 비부치로 인식 가능한 몫의 존재를 암시함.
• 자기 집합 P(ℕ)의 두 개의 사영 복합체로 이루어진 부치 자동 구조를 구성하고, 거의 동일성에 대한 몫으로의 표준 사영을 정의함.
• 모순에 의한 증명: 몫의 부치 온체인 표현이 존재한다고 가정하면, P(ℕ)에서 {0,1}^ω로의 보렐 함수가 거의 동일성을 유지하게 되며, 이는 사실 3.6과 모순됨.
• 동형 정리와 보렐 그래프 표현을 활용하여, 특정 유도 맵이 반드시 보렐이 되어야 하며, 이로 인해 모순이 발생함.

실험 결과

연구 질문

• RQ1 부치 자동 구조는 부치로 인식 가능한 동치 관계에 의한 정의 가능한 몫에 대해 닫혀 있는가?
• RQ2 기술적 집합 이론에서 부치 자동 구조와 보렐 구조 간의 관계는 무엇인가?
• RQ3 라빈 자동 구조 중 부치 자동 구조가 아닌 것이 존재하는가? 만약 그렇다면, 이를 어떻게 증명할 수 있는가?
• RQ4 부울 대수나 유한 생성된 군과 같은 자동 구조에 대해 동형 불변량을 효과적으로 계산할 수 있는가?
• RQ5 계산 가능한 구조와 비교했을 때 자동 구조의 정확한 복잡도 한계는 무엇인가?

주요 결과

• 부치로 인식 가능한 동치 관계에 대한 몫이 부치로 인식되지 않는 부치 자동 구조가 존재하며, 이는 부치 자동성의 몫에 대한 보존이 이루어지지 않음을 보여준다.
• 해당 몫 구조는 보렐이 아니며, 이는 사실 3.4에 따라 부치 온체인 표현을 가질 수 없음을 암시한다.
• 거의 동일성(X =⋆ Y)을 유지하는 비보렐 함수 F: P(ℕ) → {0,1}^ω 가 존재하며, 이는 사실 3.6에 의해 이러한 보렐 함수의 존재를 부정하므로, 이는 모순을 일으킨다.
• 라빈 자동 구조는 부치 자동 구조가 아닐 수 있으며, 무한 이진 트리 위에서 라빈으로 인식 가능한 단항 술어 V가 존재하지만 이는 보렐이 아니므로 이를 통해 이를 보여준다.
• 원래의 구조와 동치 관계는 부치로 인식 가능하지만, 몫 구조(P(ℕ) ⊔ P(ℕ)/=⋆)의 동형 유형은 부치로 인식 가능하지 않다.
• 보렐 맵 G와 R′의 합성은 보렐 함수 F를 만들어내며, 이는 거의 동일성을 유지하게 되어 사실 3.6과 모순되며, 이에 따라 몫의 비인식 가능성은 증명된다.