[논문 리뷰] On Flow Equivalence of Sofic Shifts

Rune Johansen|arXiv (Cornell University)|2012. 10. 10.

Advanced Operator Algebra Research참고 문헌 30인용 수 3

한 줄 요약

이 박사학위논문은 그래프 커버의 구조적 성질을 이용하여 sofic shift의 유량 동치성(flow equivalence)을 조사한다. 일반화된 캐논리컬 커버를 도입하고, Krieger 및 past set 커버에 계층적 구조를 증명하며, 이를 바탕으로 beta-shift의 유량 동치성 분류와 유한 유형의 복귀 시스템에서 Bowen-Franks 불변량의 범위를 분석한다.

ABSTRACT

The flow equivalence of sofic shifts is examined using results about the structure of the corresponding covers. A canonical cover generalising the left Fischer cover to arbitrary sofic shifts is introduced and used to prove that the left Krieger cover and the past set cover of a sofic shift can be divided into natural layers. These results are used to find the range of a flow invariant and to investigate the ideal structure of the universal C^*-algebras associated to sofic shifts. The right Fischer covers of sofic beta-shifts are constructed, and it is proved that the covering maps are always 2 to 1. This is used to construct the corresponding fiber product covers and to classify these up to flow equivalence. Additionally, the flow equivalence of renewal systems is studied, and several partial results are obtained in an attempt to find the range of the Bowen-Franks invariant over the set of renewal systems of finite type. In particular, it is shown that the Bowen-Franks group is cyclic for every member of a class of renewal systems known to attain all entropies realised by shifts of finite type.

연구 동기 및 목표

• 유한 유형의 시프트의 자연스러운 일반화인 sofic shift의 유량 동치성을 이해하기 위해.
• 특히 sofic shift의 커버를 분석하기 위한 구조적 도구—특히 캐논리컬 커버—를 개발하기 위해.
• sofic beta-shift의 右 파스터 커버를 분류하고, 그 유량 동치성을 규명하기 위해.
• 유한 유형의 복귀 시스템에서 Bowen-Franks 불변량의 범위를 조사하기 위해.
• sofic shift와 관련된 보편 C*-대수의 이상 구조를 탐구하기 위해.

제안 방법

• 임의의 sofic shift에 대해 왼쪽 파스터 커버를 일반화하는 캐논리컬 커버를 도입한다.
• 캐논리컬 커버를 사용하여 왼쪽 Krieger 커버와 past set 커버를 자연스러운 계층으로 분해한다.
• 계층 분해를 적용하여 C*-대수에서의 유량 불변량과 이상 격자 구조를 분석한다.
• sofic beta-shift에 대한 右 파스터 커버를 구성하고, 커버링 사상이 항상 2대1임을 증명한다.
• 피어 복합 커버를 사용하여 beta-shift를 유량 동치성에 따라 분류한다.
• 기호 확장 기법과 계산 도구(C++ 및 Maple)를 활용하여 고차 블록 시프트와 복귀 시스템의 인접행렬을 분석한다.

실험 결과

연구 질문

• RQ1 sofic shift의 왼쪽 Krieger 커버와 past set 커버의 구조는 어떻게 되며, 자연스러운 계층으로 분해될 수 있는가?
• RQ2 캐논리컬 커버는 어떻게 사용하여 유량 동치성 불변량의 범위를 결정할 수 있는가?
• RQ3 sofic beta-shift의 유량 동치성 클래스는 무엇이며, 그들의 右 파스터 커버는 어떻게 행동하는가?
• RQ4 유한 유형의 복귀 시스템에서 Bowen-Franks 군의 구조는 어떻게 되며, 비순환적일 수 있는가?
• RQ5 SFT 복귀 시스템에서 Bowen-Franks 불변량의 범위는 완전히 특징지을 수 있는가?

주요 결과

• 캐논리컬 커버는 왼쪽 파스터 커버를 일반화하며, 왼쪽 Krieger 커버와 past set 커버의 자연스러운 계층 분해를 가능하게 한다.
• sofic beta-shift의 右 파스터 커버는 항상 2대1이므로 피어 복합 커버의 구성이 가능하다.
• sofic beta-shift는 피어 복합 커버를 사용하여 유량 동치성에 따라 분류된다.
• 모든 유한 유형 시프트의 엔트로피를 구현하는 복귀 시스템의 일군에 대해 Bowen-Franks 군은 순환적이다.
• 기본 목록의 분리합집합으로 구성된 복귀 시스템은 비순환적 Bowen-Franks 군을 유도할 수 있으며, 예를 들어 $\mathbb{Z}/3\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}$ 와 같이 나타날 수 있다.
• 주장 5.23에 기반한 계산 도구는 SFT 복귀 시스템을 탐지할 수 있으나, 조건의 충분성에 의존하므로 필수 조건이 아니므로 제한이 있다.