[논문 리뷰] Mean equicontinuity, almost automorphy and regularity

Felipe García‐Ramos, Tobias Jäger외 1명|arXiv (Cornell University)|2019. 08. 14.

Mathematical Dynamics and Fractals참고 문헌 25인용 수 4

한 줄 요약

이 논문은 최대 등속도 연속성 인자들의 구조를 특성화하여 이산 스펙트럼을 가진 엄격하게 에르고딕인 위상 동역계 시스템을 완전히 분류한다. 최소 평균 등속도 연속성 시스템에 대해, 인자 사상이 거의 1-1(즉, 시스템이 거의 자동형임)이 되는 것은 유사하게 안정적일 때이고, 정규적(완전 하르 측도 집합에서 자명한 섬유를 가짐)일 때는 유사하게 지름 평균 등속도 연속성일 때라는 것을 증명한다. 이 작업은 긴 논란의 여지가 있었던 문제를 해결하여, 양의 위상 엔트로피를 가진 전이성 시스템이 거의 지름 평균 등속도 연속성임을 구성함으로써, 평균 등속도 연속성 시스템에 대한 푸르스텐베르크의 다중 재귀 추측에 부분적인 양의 답을 제공한다.

ABSTRACT

The aim of this article is to obtain a better understanding and classification of strictly ergodic topological dynamical systems with discrete spectrum. To that end, we first determine when an isomorphic maximal equicontinuous factor map of a minimal topological dynamical system has trivial (one point) fibres. In other words, we characterize when minimal mean equicontinuous systems are almost automorphic. Furthermore, we investigate another natural subclass of mean equicontinuous systems, so-called diam-mean equicontinuous systems, and show that a minimal system is diam-mean equicontinuous if and only if the maximal equicontinuous factor is regular (the points with trivial fibres have full Haar measure). Combined with previous results in the field, this provides a natural characterization for every step of a natural hierarchy for strictly ergodic topological models of ergodic systems with discrete spectrum. We also construct an example of a transitive almost diam-mean equicontinuous system with positive topological entropy, and we give a partial answer to a question of Furstenberg related to multiple recurrence.

연구 동기 및 목표

• 최대 등속도 연속성 인자 사상의 구조를 분석하여 이산 스펙트럼을 가진 엄격하게 에르고딕인 위상 동역계 시스템을 분류하는 것.
• 최소 평균 등속도 연속성 시스템이 거의 자동형일 때, 즉 최대 등속도 연속성 인자 사상이 거의 확률적으로 자명한 섬유를 가질 때를 판단하는 것.
• 새로운 개념인 지름 평균 등속도 연속성에 기반하여 최대 등속도 연속성 인자의 정규성을 특성화하고, 이것이 인자 사상이 정규적(완전 하르 측도 집합에서 자명한 섬유를 가짐)임과 동치임을 보이는 것.
• 양의 위상 엔트로피를 가진 전이성 시스템을 구성하여, 이 시스템이 거의 지름 평균 등속도 연속성임을 보이고, 이 클래스가 반반 지름 평균 등속도 연속성 시스템보다 엄격히 더 크다는 것을 보여주는 것.
• 최소 평균 등속도 연속성 시스템에 대해, 푸르스텐베르크의 다중 재귀 질문에 부분적인 답을 제공함으로써, 일반적인 점들이 모든 스피드의 스피드의 조합에 대해 재귀 조건을 만족한다는 것을 증명하는 것.

제안 방법

• 리아풀로프 안정성과 관련된 국소적 성질인 빈도 안정성의 개념을 도입하고, 최소 평균 등속도 연속성 시스템에 대해 최대 등속도 연속성 인자 사상이 거의 1-1이 되는 것은 시스템이 빈도 안정적일 때라는 것을 증명한다.
• 시간에 따른 분리 가능한 집합의 평균 지름에 기반하여 평균 등속도 연속성의 강화된 형태인 지름 평균 등속도 연속성을 정의하고, 이 성질이 최대 등속도 연속성 인자의 정규성과 동치임을 증명한다.
• 점별 다중 에르고딕 정리와 불변 측도의 성질을 사용하여 평균 등속도 연속성 시스템에서 일반 점들의 재귀 행동을 분석한다.
• 할모스-폰 뉴먼 정리와 스펙트럼 이론을 적용하여, 최대 등속도 연속성 인자가 동형인 평균 등속도 연속성 시스템은 이산 스펙트럼을 가짐을 보여준다.
• 유한 타입의 부분시프트 위에서 기호 동역계를 통해 전이성 시스템을 구성하고, 이 시스템이 거의 지름 평균 등속도 연속성임을 보이되, 반반 지름 평균 등속도 연속성은 아니며, 양의 위상 엔트로피를 가짐을 보여준다.
• 리, 두, 예가 확립한 원래 시스템과 그 최대 등속도 연속성 인자 사이의 동형성을 활용하여, 측도 이론적 성질을 위상 설정으로 이전한다.

실험 결과

연구 질문

• RQ1 최소 평균 등속도 연속성 시스템의 최대 등속도 연속성 인자 사상이 거의 1-1일 때, 즉 시스템이 거의 자동형일 때는 언제인가요?
• RQ2 최대 등속도 연속성 인자 사상이 정규적(완전 하르 측도 집합에서 자명한 섬유를 가짐)일 때, 이에 대한 위상적 및 측도론적 특성은 무엇인가요?
• RQ3 전이성 시스템이 거의 지름 평균 등속도 연속성일 수 있지만 양의 위상 엔트로피를 가질 수 있으며, 이는 반반 지름 평균 등속도 연속성과 어떻게 관련이 있나요?
• RQ4 푸르스텐베르크의 다중 재귀 추측은 최소 평균 등속도 연속성 시스템에 대해 성립하는가, 그리고 만약 그렇다면 어떤 점들의 집합에서 성립하는가?
• RQ5 평균 등속도 연속성 성질의 계층(반반, 지름, 평균, 빈도)과 그 위상적 및 측도론적 구조에 대한 영향은 무엇인가요?

주요 결과

• 최소 평균 등속도 연속성 시스템은 거의 자동형일 때이고, 빈도 안정적일 때에만 성립하며, 이는 최대 등속도 연속성 인자에서 거의 1-1 섬유의 위상적 특성화를 확립한다.
• 최대 등속도 연속성 인자 사상이 정규적일 때이고, 시스템이 지름 평균 등속도 연속성일 때에만 성립하며, 이는 자명한 섬유를 가진 완전 하르 측도 집합에서의 정규성의 완전한 특성화를 제공한다.
• 양의 위상 엔트로피를 가진 전이성 시스템이 존재하며, 이는 거의 지름 평균 등속도 연속성임을 보여주며, 반반 지름 평균 등속도 연속성 시스템의 클래스보다 엄격히 더 크다는 것을 보여준다.
• 논문에서 구성된 시스템은 반반 평균 등속도 연속성이 없지만 양의 위상 엔트로피를 가지며, 이는 평균 등속도 연속성 성질의 계층이 엄격하고 비자명하다는 것을 보여준다.
• 최소 평균 등속도 연속성 시스템에서, 전체 측도를 가진 점들이 푸르스텐베르크의 다중 재귀 조건을 만족한다: 모든 d ∈ ℕ에 대해, 대각선 점 (x,x,…,x)은 곱 시스템 T × T² × … × Tᵈ 하에서 최소이다.
• 구성에서 집합 A₁의 평균 지름이 N → ∞ 일 때 0으로 수렴함을 보여주며, 이는 거의 지름 평균 등속도 연속성보다 더 강한 형태의 등속도 연속성임을 나타낸다.