[논문 리뷰] One-sided shift spaces over innite alphabets

William Ott, Mark Tomforde외 1명|arXiv (Cornell University)|2014. 01. 01.

semigroups and automata theory참고 문헌 32인용 수 11

한 줄 요약

이 논문은 무한 알파벳 위의 한쪽 방향 이동 공간을 컴act Hausdorff 공간으로 정의하여, 세 가지 다른 유형의 이동 공간으로 유한형 이동 공간을 일반화한다. '흐름 유한(flow-finite)' 조건 하에서 이동 사상은 정확히 슬라이딩 블록 코드에 대응되며, 이를 응용하여 동치인 무한 방향 그래프 이동 공간의 군oids와 C*-대수의 동형을 증명한다.

ABSTRACT

We dene a notion of (one-sided) shift spaces over innite alphabets. Unlike many previous approaches to shift spaces over count- able alphabets, our shift spaces are compact Hausdor spaces. We ex- amine shift morphisms between these shift spaces, and identify three distinct classes that generalize the shifts of nite type. We show that when our shift spaces satisfy a property that we call ow-nite, shift morphisms on them may be identied with sliding block codes. As ap- plications, we show that if two (possibly innite) directed graphs have edge shifts that are conjugate, then the groupoids of the graphs are isomorphic, and the C -algebras of the graphs are isomorphic.

연구 동기 및 목표

• 무한 알파벳 위의 새로운 이동 공간 유형을 정의하여, 이전의 가산 알파벳 접근 방식의 한계를 해결하는 것.
• 유한형 이동 공간을 무한 알파벳 환경에서 일반화하는 세 가지 다른 유형의 이동 사상 클래스를 분류하는 것.
• 이동 사상이 슬라이딩 블록 코드로 표현될 수 있는 조건을 특정하는 것, 특히 '흐름 유한' 성질에 초점을 맞추는 것.
• 이론을 무한 방향 그래프에 적용하여, 간선 이동 공간이 동치일 경우 그에 대응하는 군oids와 C*-대수 사이의 구조적 동형을 확립하는 것.

제안 방법

• 완전 이동 공간에 제품 위상을 부여한 채, 무한 알파벳 위의 한쪽 이동 공간을 닫힌 부분집합으로 정의하여 컴팩트성과 Hausdorff 분리성을 확보하는 것.
• 모든 유한 접두사 통과 경로 수를 제한하는 '흐름 유한' 이동 공간 개념을 도입하여, 사상의 유한 표현 가능성을 보장하는 것.
• 이동 공간 간의 연속적이고 이동을 교환하는 사상으로서의 이동 사상의 특성화를 하고, 흐름 유한 조건 하에서 이러한 사상이 슬라이딩 블록 코드와 동치임을 보이는 것.
• 무한 방향 그래프의 구조를 이용해 간선 이동 공간을 정의하고, 이러한 이동 공간이 동치일 경우 그에 대응하는 군oids가 동형임을 증명하는 것.
• C*-대수 기법을 활용하여, 동형 군oids가 동형 C*-대수를 유도함을 보이며, 이동 공간 프레임워크를 기반으로 하는 것.

실험 결과

연구 질문

• RQ1 이전 접근 방식과 달리, 무한 알파벳 위의 이동 공간을 어떻게 정의할 수 있을까? 컴팩트성과 Hausdorff 분리성을 보장하기 위해.
• RQ2 무한 알파벳 환경에서 유한형 이동 공간의 자연스러운 일반화 형태는 무엇이며, 이러한 일반화가 이동 사상의 분류에 어떻게 기여하는가?
• RQ3 무한 알파벳 이동 공간에서 이동 사상과 슬라이딩 블록 코드 사이의 대응 관계가 성립하는 조건은 무엇인가?
• RQ4 무한 방향 그래프의 간선 이동 공간이 동치일 경우, 어떤 구조적 불변량이 유지되는가?
• RQ5 무한 그래프의 간선 이동 공간이 동치일 경우, 그에 대응하는 군oids와 C*-대수의 동형이 성립하는가?

주요 결과

• 무한 알파벳 위의 한쪽 이동 공간은 컴팩트 Hausdorff 공간으로 정의될 수 있으며, 이는 무한 알파벳 다이내믹스에 대해 위상적으로 잘 다뤄지는 프레임워크를 제공한다.
• 유한형 이동 공간을 무한 알파벳 설정에서 일반화하는 세 가지 다른 유형의 이동 사상 클래스가 규명되었다.
• 흐름 유한 이동 공간에서는 모든 이동 사상이 슬라이딩 블록 코드로 표현 가능하며, 이는 대수적 구조와 역학적 구조 사이의 직접적인 대응 관계를 확립한다.
• 두 개의 무한 방향 그래프가 간선 이동 공간에서 동치일 경우, 그에 대응하는 군oids는 서로 동형이다.
• 무한 방향 그래프의 간선 이동 공간이 동치일 경우, 그에 대응하는 C*-대수도 서로 동형이며, 이는 고전 결과를 무한 설정으로 확장한 것이다.