[논문 리뷰] Measure transfer and $S$-adic developments for subshifts

Nicolas Bédaride, Arnaud Hilion외 1명|arXiv (Cornell University)|2022. 11. 21.

Cellular Automata and Applications참고 문헌 18인용 수 1

한 줄 요약

이 논문은 하위시프트의 S-아디크 전개에 대한 측도 이행 프레임워크를 제안하며, 발생 행렬을 통한 벡터 타워(문자 빈도)와 측도 타워 사이의 표준 이분사적 대응을 수립한다. 전체적으로 인식 가능하고 전방위적으로 성장하는 S-아디크 시스템에 대해, 에르고딕 측도의 공간이 호환 가능한 빈도 벡터의 코ーン과 동형임을 증명하고, 유한하지 않은 수의 에르고딕 측도를 가진 최소성, 비주기성, 유일 에르고딕성의 엔트로피가 0인 하위시프트를 구성한다 — 이는 기하학적 기호 동역학 분야에서 오랫동안 남아있던 질문에 대한 해답이다.

ABSTRACT

Based on previous work of the authors, to any $S$-adic development of a subshift $X$ a "directive sequence" of commutative diagrams is associated, which consists at every level $n \geq 0$ of the measure cone and the letter frequency cone of the level subshift $X_n$ associated canonically to the given $S$-adic development. The issuing rich picture enables one to deduce results about $X$ with unexpected directness. For instance, we exhibit a large class of minimal subshifts with entropy zero that all have infinitely many ergodic probability measures. As a side result we also exhibit, for any integer $d \geq 2$, an $S$-adic development of a minimal, aperiodic, uniquely ergodic subshift $X$, where all level alphabets ${\cal A}_n$ have cardinality $d\,$, while none of the $d-2$ bottom level morphisms is recognizable in its level subshift $X_n \subset {\cal A}_n^\mathbb Z$.

연구 동기 및 목표

• 측도 이행 사상에 의해 S-아디크 하위시프트에서 측도 타워와 벡터 타워 사이의 표준적 대응을 수립한다.
• 인식 가능성 조건 하에서 측도 이행 사상의 전사성 및 단사성 성질을 조사한다.
• 무한한 수의 에르고딕 측도를 가진 최소성, 비주기성, 유일 에르고딕성의 하위시프트를 구성한다. 특히 영엔트로피 환경을 중심으로 한다.
• 지역적으로 인식 가능한, 전방위적으로 성장하는 지시열에서 비인식적 형태의 수를 임의로 크게 만들 수 있음을 보여, 이는 문헌에서의 기존 한계를 도전한다.

제안 방법

• 비지우는 형태 σ: A* → B* 에 대해 측도 이행 사상 σM_X: MpX) → Mpσ(X)) 를 정의하며, 이는 선형적이고 함자론적이며 지지 사상과 가환함을 보장한다.
• 평가 사상 ζX 를 통해 발생 행렬 Mpσn) 을 통한 측도 코어 MpXn) 과 문자 빈도 코어 CpXn) 을 연결하는 가환 다이어그램을 구성한다.
• 측도 타워 (µn) 과 벡터 타워 (v(µn)) 를 도입하며, Mpσn+1)·v(µn+1) = v(µn) 를 만족시키고, 이는 프로젝티브 시스템을 이룬다.
• 전체적으로 인식 가능하고 전방위적으로 성장하는 지시열에 대해, 선형 사상 m: V(σ̲) → MpX) 가 이분사임을 증명하며, 빈도 벡터와 불변 측도를 연결한다.
• 표현형 아노소프 지도와 테이히뮐러 동역학의 성질을 활용하여 구성된 예제에서 최소성과 강력성(프라미티브성)을 보장한다.
• 원래 형태의 형태를 자기지도 τn 의 거듭제곱과 병합하여 수정된 지시열 σ′ 과 τ^k 를 구성하며, 발생 행렬의 양성과 하위시프트의 구조를 유지한다.

실험 결과

연구 질문

• RQ1 비지우는 형태 σ: A* → B* 에 대해 측도 이행 사상 σM_X: MpX) → Mpσ(X)) 가 언제 전사가 되는가?
• RQ2 측도 이행 사상 σM_X 가 언제 단사가 되는가? 특히 X 내에서 σ 의 인식 가능성과의 관계에서.
• RQ3 무한한 수의 에르고딕 측도를 가진 최소성, 비주기성, 유일 에르고딕성의 하위시프트를 구성할 수 있는가? 특히 영엔트로피 환경에서.
• RQ4 최종적으로 인식 가능한, 전방위적으로 성장하는 지시열에서 비인식적 형태의 수에 상한이 존재하는가?
• RQ5 S-아디크 시스템에서 인식 가능성, 시프트 궤도 단사성, 비주기점에 대한 인식 가능성의 성질이 어느 정도 일치하는가?

주요 결과

• 모든 비지우는 형태 σ: A* → B* 에 대해 측도 이행 사상 σM_X 는 전사적이다. 이는 σ(X) 상의 모든 불변 측도가 X 상의 측도로부터 유도됨을 보장한다.
• σ 가 X 내에서 인식 가능하다면 σM_X 는 단사적이며, 전체적으로 인식 가능하고 전방위적으로 성장하는 지시열에 대해 사상 m: V(σ̲) → MpX) 는 이분사적이다.
• 엔트로피가 0인 최소성, 비주기성, 유일 에르고딕성의 하위시프트 클래스가 존재하며, 이는 무한한 수의 에르고딕 확률 측도를 가진다.
• 모든 d ≥ 2 에 대해, 모든 수준 알파벳 크기가 d 이지만, 하위구조에서의 d−2 개의 하단 형태는 각각의 하위시프트에서 인식 가능하지 않은 S-아디크 전개가 존재한다.
• 각 k ≥ 0 에 대해 구성된 지시열 τ^k 는 정확히 k 개의 하단 비인식 형태를 가지며, 이러한 시스템에서 비인식 사상의 수가 임의로 클 수 있음을 보여준다.
• 구성된 시퀀스 τ^k 의 중간 수준 하위시프트들은 모두 최소성, 유일 에르고딕성, 비주기성을 만족하며, 각 수준 형태에 대해 인식 가능성, 시프트 궤도 단사성, 비주기점에 대한 인식 가능성은 서로 동치이다.