[논문 리뷰] Eventual nonsensitivity and tame dynamical systems

Eli Glasner, Michael Megrelishvili|arXiv (Cornell University)|2014. 05. 11.

Mathematical Dynamics and Fractals참고 문헌 45인용 수 18

한 줄 요약

이 논문은 기하학적 비감쇠성과 최종 분할 가능성이라는 개념을 사용하여 희생 가능한 동역학계의 새로운 특성화를 제안한다. 기호적 시스템 $X \subset \{0,1\}^\mathbb{Z}$가 희생 가능할 조건은, 모든 무한한 $L \subseteq \mathbb{Z}$에 대해 무한한 $K \subseteq L$가 존재하여 $\pi_K(X)$가 가산임을 보여준다. 주요 기여는 연속 함수의 가중치 집합에 대한 '작음'의 계층적 성질을 제시하고, 이를 아스플룬드 및 로젠탈 바나흐 공간에서의 표현 가능성과 연결하는 것이다. 이 이론은 부분이동장치, 슈투르미안 유사 수열, 순서를 유지하는 시스템에 응용된다.

ABSTRACT

In this paper we characterize tame dynamical systems and functions in terms of eventual non-sensitivity and eventual fragmentability. As a notable application we obtain a neat characterization of tame subshifts $X \subset \{0,1\}^{\mathbb Z}$: for every infinite subset $L \subseteq {\mathbb Z}$ there exists an infinite subset $K \subseteq L$ such that $π_{K}(X)$ is a countable subset of $\{0,1\}^K$. The notion of eventual fragmentability is one of the properties we encounter which indicate some "smallness" of a family. We investigate a "smallness hierarchy" for families of continuous functions on compact dynamical systems, and link the existence of a "small" family which separates points of a dynamical system $(G,X)$ to the representability of $X$ on "good" Banach spaces. For example, for metric dynamical systems the property of admitting a separating family which is eventually fragmented is equivalent to being tame. We give some sufficient conditions for coding functions to be tame and, among other applications, show that certain multidimensional analogues of Sturmian sequences are tame. We also show that linearly ordered dynamical systems are tame and discuss examples where some universal dynamical systems associated with certain Polish groups are tame.

연구 동기 및 목표

• 기하학적 비감쇠성과 최종 분할 가능성의 개념을 사용하여 희생 가능한 동역학계의 새로운 특성화를 개발한다.
• 콤��� 동역학계에서 연속 함수의 가중치 집합에 대한 '작음'의 계층을 수립한다.
• 분리 가능하고 최종적으로 분할 가능한 함수 가중치 집합의 존재를 로젠탈 바나흐 공간에서의 표현 가능성과 연결한다.
• 기호적 시스템 $\{0,1\}^\mathbb{Z}$ 내의 희생 가능한 부분이동장치에 대한 조합적 특성화를 제공하며, 이는 무한한 부분집합에 대한 사영이 가산임을 보여준다.
• 폴란드 군과 관련된 순서를 유지하는 시스템과 보편 시스템으로 이론을 확장하여, 이들의 희생 가능성도 증명한다.

제안 방법

• 분할 가능성의 보완으로서 최종 분할 가능성의 개념을 도입하여 함수 가중치 집합의 '작음'을 캡처한다.
• 유계 $S$-불변 함수 가중치 집합 $F \subset C(X)$와 바나흐 공간 $V \times V^*$ 위의 표준 이항 연속사상 간의 관계를 평가 함수 $F \times X \to \mathbb{R}$를 통해 수립한다.
• 로젠탈의 $\ell_1$-시퀀스 특성화를 이용하여, 독립적인 집합의 가중치 집합을 통해 $\beta\mathbb{N}$이 어떤 로젠탈 공간의 쌍대공간에 $w^*$-임베딩될 수 없음을 증명한다.
• 무한한 래미지 유형의 추론과 구슬 놓기 원리를 활용하여, 무산한 집합의 가중치 집합에서 독립적인 부분가중치 집합을 추출한다.
• 기호적 시스템의 구조를 활용하여, 희생 가능성 문제를 $\mathbb{Z}$의 무한한 부분집합에 대한 사영의 조합적 성질로 환원한다.
• -envelope semigroup 이론과 WAP/아스플룬드/로젠탈 표현 가능성 이론을 활용하여, 함수 가중치 집합의 복잡성에 따라 동역학계를 분류한다.

실험 결과

연구 질문

• RQ1 콤팩트 동역학계 $X$가 로젠탈 바나흐 공간에서 표현 가능할 조건은 무엇이며, 이는 그 분리 함수 가중치 집합의 구조와 어떻게 관련되는가?
• RQ2 기호적 부분이동장치 $X \subset \{0,1\}^\mathbb{Z}$에서 희생 가능성을 보장하는 조합적 조건은 무엇인가?
• RQ3 함수 가중치 집합의 최종 분할 가능성은 $\ell_1$-시퀀스의 부재와 아스플룬드 공간에서의 표현 가능성과 어떻게 관련되는가?
• RQ4 선형 순서 동역학계가 희생 가능할 조건은 무엇이며, 이는 그 envelope semigroup의 구조와 어떻게 관련되는가?
• RQ5 폴란드 군 $G$의 보편 최소 시스템 $M(G)$ 또는 보편 아핀 시스템 $IA(G)$는 언제 희생 가능할 수 있으며, 어떤 조건에서 그러한 경우가 발생하는가?

주요 결과

• 기호적 시스템 $X \subset \{0,1\}^\mathbb{Z}$는 모든 무한한 $L \subseteq \mathbb{Z}$에 대해 무한한 $K \subseteq L$가 존재하여 $\pi_K(X)$가 가산임이 희생 가능할 조건이다.
• 유계 $S$-불변 함수 가중치 집합 $F \subset C(X)$가 최종적으로 분할 가능할 조건은 해당 동역학계가 로젠탈 표현 가능할 조건과 동치이다.
• 분리 가능하고 최종적으로 분할 가능한 함수 가중치 집합 $F$의 존재는 희생 가능한 메트릭 동역학계를 특성화한다.
• $(H_+(\mathbb{T}), \mathbb{T})$의 방향을 유지하는 원주 위의 호메오모르피즘 시스템은 희생 가능하며, 그 보편 최소 시스템 $M(H_+(\mathbb{T}))$ 역시 희생 가능하다.
• $\beta\mathbb{N}$은 어떤 로젠탈 바나흐 공간의 쌍대공간에 $w^*$-임베딩될 수 없으며, 이는 모든 콤팩타가 로젠탈 표현 가능하지 않음을 의미한다.
• 스튀르미안 수열의 다차원 일반화가 코드 함수에 대한 충분한 조건을 통해 희생 가능함을 보였다.