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

William Ott, Mark Tomforde외 1명|arXiv (Cornell University)|2012. 09. 08.

semigroups and automata theory인용 수 10

한 줄 요약

이 논문은 알파벳의 한정이 없는 경우에 대해 일방향 이동 공간의 새로운 프레임워크를 제안한다. 알파벳의 한정점 수축을 이용하여 컴팩트성을 확보함으로써 고전적 기호역학 기법의 적용을 가능하게 한다. 이는 유한 길이 이동의 일반화를 위한 세 가지 이동 사상 클래스를 정의하고, 행렬 유한 이동 공간이 슬라이딩 블록 코드 특성화를 갖는다는 것을 증명한다. 주요 응용으로, 가산 방향 그래프의 엣지 이동이 동치일 경우 그에 대응하는 C*-대수와 군oids의 이隳수를 확립한다.

ABSTRACT

We define a notion of (one-sided) shift spaces over infinite alphabets. Unlike many previous approaches to shift spaces over countable alphabets, our shift spaces are compact Hausdorff spaces. We examine shift morphisms between these shift spaces, and identify three distinct classes that generalize the shifts of finite type. We show that when our shift spaces satisfy a property that we call "row-finite", then shift morphisms on them may be identified with sliding block codes. As applications, we show that if two (possibly infinite) 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.

연구 동기 및 목표

• 고전적 이동 공간이 무한 알파벳에서 컴팩트성이 결여되어 있어 표준 역학 기법의 적용이 어렵다는 문제를 해결하기 위해.
• 무한 알파벳 위의 새로운 일방향 이동 공간 클래스를 정의하여, 컴팩트 하우스도르프 공간을 확보함으로써 기호역학에 필수적인 위상적 구조를 유지하기 위해.
• 세 가지 서로 다른 이동 사상 클래스를 통해 무한 알파벳으로의 유한 길이 이동 개념을 일반화하기 위해.
• 행렬 유한 이동 공간에서 슬라이딩 블록 코드와 이동 사상 간의 대응 관계를 확립하여 고전 결과를 무한 설정으로 확장하기 위해.
• 이 프레임워크를 가산 방향 그래프의 C*-대수와 군oids에 적용하여, 엣지 이동의 동치성에 기반한 이oisomorphism을 증명하기 위해.

제안 방법

• 완전 이동 공간을 알파벳의 한정점 수축 $\mathcal{A}_\infty = \mathcal{A} \cup \{\infty\}$을 사용하여 재정의함으로써, 곱공간 $X_\mathcal{A} = \mathcal{A}_\infty^\mathbb{N}$ 가 컴팩트해지도록 한다.
• $\infty$ 를 포함하는 수열은 $\mathcal{A}$ 내의 유한 수열로 간주하여, 무한 및 유한 수열의 공간에 컴팩트 위상을 구성할 수 있도록 한다.
• 이동 공간은 $X_\mathcal{A}$ 의 닫힘, $\sigma$-불변 부분집합으로 정의되며, 완전 이동 공간으로부터 컴팩트성을 그대로 이어받는다.
• 유한 금지 패턴과 그 닫힘 성질에 기반한 세 가지 이동 사상 클래스를 도입하여, 유한 길이 이동의 일반화를 수행한다.
• 행렬 유한 이동 공간의 경우, 이동 사상은 정확히 슬라이딩 블록 코드로 표현 가능하다는 것을 증명하여, 유한 알파벳 결과를 일반화한다.
• 프레임워크를 방향 그래프에 적용: 엣지 이동의 동치성은 그에 대응하는 $C^*$-대수와 군oids의 이oisomorphism을 암시하며, 고차 블록 그래프와 $1$-블록 동치성에 의해 명시적 이oisomorphism이 구성된다.

실험 결과

연구 질문

• RQ1 표준 곱위상이 비컴팩트한 무한 알파벳 위의 일방향 이동 공간에 대해 컴팩트 위상을 정의할 수 있는가?
• RQ2 유한 길이 이동 이론을 무한 알파벳으로 일반화하면서 핵심적인 구조적 성질을 유지할 수 있는가?
• RQ3 무한 알파벳 이동 공간에서 이동 사상이 슬라이딩 블록 코드로 대응되는 조건은 무엇인가?
• RQ4 방향 그래프의 엣지 이동의 동치성 하에서 어떤 불변량이 유지되는가?
• RQ5 가산 방향 그래프의 엣지 이동이 동치일 경우, 그에 대응하는 $C^*$-대수와 군oids가 이oisomorphism을 갖는가?

주요 결과

• 무한 알파벳 위의 완전 이동 공간은 알파벳의 한정점 수축을 사용하여 재정의되어 컴팩트 하우스도르프 공간이 된다.
• 이 컴팩트 공간의 닫힘, $\sigma$-불변 부분집합으로 정의된 이동 공간은 자체적으로 컴팩트하므로 고전적 역학 시스템 도구의 사용이 가능해진다.
• 유한 길이 이동의 개념을 무한 알파벳으로 일반화하는 데 사용되는 세 가지 서로 다른 이동 사상 클래스가 확인된다.
• 행렬 유한 케이스에서 이동 사상은 정확히 슬라이딩 블록 코드로 표현 가능한 것들임을 증명하여, 유한 알파벳 특성화를 확장한다.
• 두 개수의 가산 방향 그래프가 엣지 이동에서 동치일 경우, 그에 대응하는 $C^*$-대수는 이oisomorphism을 가지며, 군oids 역시 이oisomorphism을 가진다.
• $C^*$-대수 간의 이oisomorphism은 고차 블록 그래프와 $1$-블록 동치성을 통해 명시적으로 구성되며, 이는 기존 결과를 무한 설정으로 일반화한다.