[논문 리뷰] Topological and almost Borel Universality for systems with the weak specification property

David Burguet|arXiv (Cornell University)|2019. 01. 03.

Mathematical Dynamics and Fractals참고 문헌 17인용 수 14

한 줄 요약

이 논문은 위상수학적 성질을 가진 시스템이 위상적으로 모든 전개성, 비주기적 0차원 시스템으로의 포함을 보장함을 입증한다. 이 시스템들은 엄밀히 낮은 위상 엔트로피를 가진다. 또한, 거의 약한 사양 성질을 가진 시스템은 엄밀히 낮은 보렐 엔트로피를 가진 모든 비주기적 보렐 시스템에 대해 거의 보렐 보편성을 보이며, 이는 이전의 기호 동역학 및 측도론에서의 보편성 결과를 일반화한다.

ABSTRACT

We show that systems with some specification properties are topologically or almost Borel universal, in the sense that any aperiodic subshift with lower entropy may be topologically or almost Borel embedded.

연구 동기 및 목표

• 약한 사양 성질을 가진 시스템이 엄밀히 낮은 위상 엔트로피를 가진 전개성, 비주기적 0차원 시스템에 대해 위상 보편성을 확립하기.
• 약한 사양 성질의 거의 버전을 이용해 보렐 설정으로의 보편성 결과를 확장하여 거의 보렐 보편성을 입증하기.
• 다중 척도 역극한 구성과 허용 가능한 사양을 통합함으로써 이전의 전면적 및 엄밀한 보편성 결과를 일반화하기.
• 시스템을 완전히 포함시키는 것이 가능한지 조사하기, 즉 포함된 불변 측도가 목표 시스템 내에서 전연을 가짐을 보장하기.
• 엔트로피 제약 조건 하에서 위상 보편성과 거의 보렐 보편성의 차이를 명확히 하기.

제안 방법

• 계층적이고 다중 척도적인 접근을 통해 원래 시스템의 사양으로부터 허용 가능한 역극한 시스템을 구성하기.
• 이동 사상 하에서 구의 분리성과 상호배타성을 보장하기 위해 $(\nu_k, \nu_k')$-허용 가능한 사양 정의하기.
• 거의 약한 사양 성질을 이용해 유한한 궤도 조각이 제어된 지연 후 단일 궤도에 의해 $\varepsilon$-근사 가능함을 보장하기.
• 일반적인 점 $z$의 조밀한 정방향 궤도가 겹침 없이 포함되도록 길이 $m_k \gg r_k$인 마커 단어 도입하기.
• 변동 원리 적용을 통해 보렐 엔트로피와 위상 엔트로피를 연결하고, 이미지 측도의 전연을 보장하기.
• 역극한 시스템이 목표 시스템의 엔트로피보다 엄밀히 낮은 보렐 엔트로피를 가진 시스템에 대해 거의 보렐 보편성을 증명한 후, 원래 시스템에 포함시키기.

실험 결과

연구 질문

• RQ1 약한 사양 성질을 가진 시스템은 엄밀히 낮은 위상 엔트로피를 가진 모든 전개성, 비주기적 0차원 시스템을 위상적으로 포함할 수 있는가?
• RQ2 거의 약한 사양 성질은 엄밀히 낮은 보렐 엔트로피를 가진 모든 비주기적 보렐 시스템에 대해 거의 보렐 보편성을 보장하는가?
• RQ3 포함이 완전히 보편적이 될 수 있는가, 즉 포함된 시스템의 모든 불변 측도가 목표 시스템 내에서 전연을 가짐을 보장할 수 있는가?
• RQ4 역극한 구성은 사양 유사 성질을 가진 시스템의 보편성 달성에 어떤 역할을 하는가?
• RQ5 마커 단어와 허용 가능한 사양의 선택은 구성에서 궤도 조각의 분리성과 상호배타성에 어떤 영향을 미치는가?

주요 결과

• 약한 사양 성질을 가진 모든 서브시프트는 $\chi_{\text{top}} < \mathsf{h_{top}}(S)$-보편성임을 보이며, 이는 엄밀히 낮은 위상 엔트로피를 가진 모든 전개성, 비주기적 0차원 시스템이 위상적으로 포함될 수 있음을 의미한다.
• 거의 약한 사양 성질을 가진 모든 위상 시스템은 거의 보렐 $\chi_{\text{bor}} < \mathsf{h_{top}}(S)$-보편성임을 보이며, 이는 호크만의 결과를 더 넓은 시스템 범주로 일반화한다.
• 사양으로부터 구성된 역극한 시스템은 목표 시스템의 엔트로피보다 엄밀히 낮은 보렐 엔트로피를 가진 시스템에 대해 거의 보렐 보편성을 가진다.
• 일반적인 점 $z$의 조밀한 궤도를 구성에 통합함으로써, 포함에 의한 임의의 불변 측도의 이미지가 전연을 가지며, 이는 완전한 거의 보렐 보편성을 확립한다.
• 모든 $\epsilon_k > 0$에 대해, 사양의 허용성과 분리성 특성 덕분에 반경 $\epsilon_k$인 구들이 포함의 이미지에 의해 만족됨을 보장한다.
• 논문은 거의 약한 사양 성질이 보편성을 거의 보렐 범주에서 달성하는 데에 충분함을 보이며, 엔트로피 불일치로 인해 전면적 위상 보편성이 실패할 경우에도 이를 보장한다.