[논문 리뷰] On images of sofic systems

Wolfgang Krieger|arXiv (Cornell University)|2011. 01. 10.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 3

한 줄 요약

이 논문은 위상적 전이성 소픽 시스템에서 다른 소픽 시스템으로의 호모모르피즘 존재에 대한 필수 및 필요조건을 설정하고, 위상적 혼합성 소픽 시스템에서 하위 엔트로피를 가진 다른 소픽 시스템으로의 전사 호모모르피즘에 대해서도 다룬다. 기호 동역학과 문법적 반군을 이용하여, 문맥 클래스와 보조 사상들을 통해 명시적인 코딩 사상들을 구성하며, 정규 언어 이론에 기반한 유한 상태 구조를 통해 존재 문제의 결정 가능성을 증명한다.

ABSTRACT

Let $Σ$ and $\barΣ$ be finite alphabets. For topologically transitive sofic systems $ X\subset Σ^{\Bbb Z}$ and $\widetilde X\subset \widetildeΣ^{\Bbb Z}$ we give a necessary and sufficient condition for the existence of a homomorphism from $X$ to $\widetilde X$. For topologically mixing sofic systems $X \subset Σ^{\Bbb Z}$ and $\widetilde X\subset \widetildeΣ^{\Bbb Z}$, such that the topological entropy of $\widetilde X$ is less than the topological entropy of $X$, we give a necessary and sufficient condition for the existence of a homomorphism of $X$ onto $\widetilde X$.

연구 동기 및 목표

• 위상적 전이성 소픽 시스템 X에서 다른 소픽 시스템 X̃으로의 호모모르피즘 존재에 대한 필요 및 충분 조건을 규명하는 것.
• 위상적 혼합성 소픽 시스템 X에서 하위 엔트로피를 가진 다른 소픽 시스템 X̃으로의 전사 호모모르피즘 존재 조건을 설정하는 것.
• 이러한 존재 조건이 유한 상태 구조와 정규 언어 성질을 이용해 결정 가능함을 증명하는 것.
• 일반적인 호모모르피즘의 결정 가능성 결과를 위상적 혼합성 경우의 전사 호모모르피즘으로 확장하는 것.

제안 방법

• 논문은 하위시프트의 문법적 반군, 특히 단어의 문맥 클래스를 이용하여 대수적 구조를 통해 호모모르피즘을 특성화한다.
• 주기적 및 비주기적 사건을 시프트 공간에서 분리하기 위해 보조 사상과 컴 pact-오픈 집합을 도입한다.
• 코딩 창을 구성하기 위해 동기화 단어와 그 문맥 클래스에 기반한 구조를 활용한다.
• 전사 호모모르피즘의 경우, 제어된 반복과 이동 불변 코딩을 통해 충분히 긴 주기적 사건을 생성하는 것이 핵심이다.
• 코딩 과정은 Θ⁻, Θ⁺ 및 Θ 사상에 의한 문맥 클래스의 이미지를 블록 단위로 정의하며, floor 함수를 통한 시간 이동과 길이 조정이 수반된다.
• 결정 가능성은 문제를 유한 상태 오토마타와 정규 언어 성질로 환원함으로써 확립되며, 형식 언어 이론에서 알려진 결정 가능성 결과를 활용한다.

실험 결과

연구 질문

• RQ1 위상적 전이성 소픽 시스템 X에서 다른 소픽 시스템 X̃으로의 호모모르피즘이 존재하는 조건은 무엇인가?
• RQ2 위상적 혼합성 소픽 시스템 X에서 하위 엔트로피를 가진 다른 소픽 시스템 X̃으로의 전사 호모모르피즘이 존재하는 조건은 무엇인가?
• RQ3 이러한 호모모르피즘의 존재는 알고리즘적으로 결정 가능할 수 있는가?
• RQ4 주기적 점 데이터와 문맥 클래스는 어떻게 명시적인 호모모르피즘을 구성하는 데 사용될 수 있는가?
• RQ5 소픽 시스템의 어떤 구조적 성질이 전사 팩터 맵의 존재를 보장하는가?

주요 결과

• 위상적 전이성 소픽 시스템 X에서 다른 소픽 시스템 X̃으로의 호모모르피즘 존재에 대한 필요 및 충분 조건은 문맥 클래스와 그 문법적 반군 간의 호환성에 기반한다.
• h(X) > h(X̃)인 위상적 혼합성 소픽 시스템에 대해, 전사 호모모르피즘 존재에 대한 필요 및 충분 조건은 문맥 클래스와 주기적 점의 호환성에 기반한다.
• 호모모르피즘과 전사 호모모르피즘의 존재 조건은 모두 결정 가능하며, 이는 정규 언어 위의 유한 상태 계산으로 환원되기 때문이다.
• 호모모르피즘의 구성은 문맥 클래스의 이미지와 보조 사상을 이용한 코딩 창을 통해 X의 블록을 X̃의 블록으로 매핑함으로써 이루어진다.
• 이 방법은 모든 점, 주기적 및 비주기적 점을 포함하여 연속성, 이동 불변성, 잘 정의된 성질을 보장한다.
• 전사 경우의 결정 가능성은 일반 호모모르피즘 경우에서 확장되며, 이러한 사상의 알고리즘적 구축 가능성을 확인한다.