[논문 리뷰] Sensitivity, proximal extension and higher order almost automorphy

Xiangdong Ye, Tao Yu|arXiv (Cornell University)|2016. 05. 04.

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

한 줄 요약

이 논문은 두꺼운, IP, 그리고 유한 IP-집합과 같은 집합의 가족에 대해 강한 $\olimits\mathcal{F}$-감도와 블록 $\olimits\mathcal{F}$-감도를 도입하여 최소 위상 동역계에 대한 새로운 Auslander-Yorke 유형의 이분법 정리들을 수립한다. 이는 최소 시스템이 강한 $\olimits\mathcal{F}_{fip}$-감도를 갖거나 그 $\infty$-단계 닐팩터에 대한 거의 일대일 확장임을 증명하며, 마찬가지로 $\olimits\mathcal{F}_{ip}$ 및 $\olimits\mathcal{F}_{t}$에 대해서도 적용되며, 감도와 근접성 및 거의 일대일 확장과 같은 구조적 성질 간의 연결을 제공한다.

ABSTRACT

Let $(X,T)$ be a topological dynamical system, and $\mathcal{F}$ be a family of subsets of $\mathbb{Z}_+$. $(X,T)$ is strongly $\mathcal{F}$-sensitive, if there is $δ>0$ such that for each non-empty open subset $U$, there are $x,y\in U$ with $\{n\in\mathbb{Z}_+: d(T^nx,T^ny)>δ\}\in\mathcal{F}$. Let $\mathcal{F}_t$ (resp. $\mathcal{F}_{ip}$, $\mathcal{F}_{fip}$) be consisting of thick sets (resp. IP-sets, subsets containing arbitrarily long finite IP-sets). The following Auslander-Yorke's type dichotomy theorems are obtained: (1) a minimal system is either strongly $\mathcal{F}_{fip}$-sensitive or an almost one-to-one extension of its $\infty$-step nilfactor. (2) a minimal system is either strongly $\mathcal{F}_{ip}$-sensitive or an almost one-to-one extension of its maximal distal factor. (3) a minimal system is either strongly $\mathcal{F}_{t}$-sensitive or a proximal extension of its maximal distal factor.

연구 동기 및 목표

• 자연수 집합 $\mathbb{Z}_{+}$의 부분집합의 가정 $\olimits\mathcal{F}$에 대해 강한 $\nolimits\mathcal{F}$-감도와 블록 $\nolimits\mathcal{F}$-감도를 도입하여 위상 동역계에서의 감도를 일반화한다.
• 두꺼운 $\olimits\mathcal{F}_{t}$, IP-집합 $\olimits\mathcal{F}_{ip}$, 그리고 임의로 긴 유한 IP-집합을 포함하는 집합 $\olimits\mathcal{F}_{fip}$와 같은 특정 가정에 기반한 최소 시스템에 대한 이분법 정리를 수립한다.
• 최대 등장연속성, 닐팩터, 또는 디스트랄 팩터에 대한 확장 성질에 대한 상대적 성격으로 최소 시스템이 강하게 $\nolimits\mathcal{F}$-감도를 갖는지의 조건을 규명한다.
• 특히 고차원 거의 자동성과 $\nolimits\mathbf{RP}^{[d]}$ 관계의 맥락에서 감도, 근접성, 거의 일대일 확장 간의 관계를 명확히 한다.

제안 방법

• 강한 $\nolimits\mathcal{F}$-감도를 도입: 각 열린 집합 $U$에 대해, $x,y \in U$가 존재하여 $\{n \in \mathbb{Z}_+ : d(T^n x, T^n y) > \delta\}$ 가 가정 $\mathcal{F}$에 속하도록 한다.
• 블록 $\nolimits\mathcal{F}$-감도를 정의: 각 $x$와 그 이웃 $U_x$에 대해, $y \in U_x$가 존재하여 분리 집합이 임의로 긴 간격 또는 유한 IP-집합을 포함하도록 한다.
• 특정 구조적 가정 하에 감도가 성립하지 않는다고 가정할 경우, $\mathcal{F}_{Poin_d}$ 및 $\mathcal{F}_{GP_d}$와 같은 가정의 렘시의 성질을 이용해 모순을 도출한다.
• 특히 $\mathbf{RP}^{[d]}[x] = x$인 고차원 지역 근접 관계 $\mathbf{RP}^{[d]}$의 이론을 적용하여 최소 시스템의 구조를 분석한다.
• 최소 시스템이 강하게 $\nolimits\mathcal{F}_{fip}$-감도를 갖거나 그 $\infty$-단계 닐팩터에 대한 거의 일대일 확장임을 보여주는 구조 정리를 적용한다.
• 다양한 $d$-단계 닐시스템 $T_{\alpha,d}$를 $\mathbb{T}^d$ 위에서 구성하여, 주요 이분법의 역이 성립하지 않음을 보여주는 반례를 제시한다.

실험 결과

연구 질문

• RQ1 최소 시스템이 강하게 $\nolimits\mathcal{F}_{fip}$-감도를 갖는 조건은 무엇이며, 이는 $\infty$-단계 닐팩터에 대한 그 확장 성질과 어떻게 관련되어 있는가?
• RQ2 블록 $\nolimits\mathcal{F}_{t}$-감도와 최대 등장연속성 팩터 사상의 근접성 간의 관계는 무엇인가?
• RQ3 최소 시스템이 블록 $\nolimits\mathcal{F}_{ip}$-감도를 갖는 조건은 무엇이며, 이는 $\infty$-단계 닐팩터에 대한 거의 일대일 확장 성질과 어떻게 연결되는가?
• RQ4 강한 $\nolimits\mathcal{F}_{Poin_d}$-감도는 시스템의 구조와 그 팩터에 대해 어떻게 특징지을 수 있는가?
• RQ5 강한 $\nolimits\mathcal{F}_{fip}$-감도에 대한 이분법 정리의 역은 참인가? 만약 아니라면, 어떤 반례가 존재하는가?

주요 결과

• 최소 시스템이 강하게 $\nolimits\mathcal{F}_{fip}$-감도를 갖는 것은 그 $\infty$-단계 닐팩터에 대한 팩터 사상이 거의 일대일이 아닐 때이고, 그 반대도 성립한다.
• 최소 시스템이 블록 $\nolimits\mathcal{F}_{t}$-감도를 갖는 것은 그 최대 등장연속성 팩터에 대한 팩터 사상이 근접성이 아닐 때이고, 그 반대도 성립한다.
• 최소 시스템이 강하게 $\nolimits\mathcal{F}_{ip}$-감도를 갖는 것은 블록 $\nolimits\mathcal{F}_{ip}$-감도를 갖는 동시에 그 $\infty$-단계 닐팩터에 대한 사상이 거의 일대일이 아닐 때이다.
• 일부 최소 시스템은 $(d-1)$-단계 닐팩터에 대한 거의 일대일 확장이 아니지만 강하게 $\nolimits\mathcal{F}_{Poin_{d-1}}$-감도를 갖지 않는 경우가 존재하여, 주요 이분법의 역이 성립하지 않음을 보여준다.
• $\mathbb{T}^d$ 위의 $d$-단계 닐시스템 $T_{\alpha,d}$에 대해, $\alpha$가 무리수일 경우 일반화 다항식과 쌍대 가정의 성질을 이용한 모순을 통해 강하게 $\nolimits\mathcal{F}_{Poin_{d-1}}$-감도를 갖지 않음을 보였다.
• $\mathcal{F}_{Poin_d}$는 $\mathcal{F}_{d,0}^*$에 포함되며, $\mathcal{F}_{GP_d} = \mathcal{F}_{d,0}$이다. 이는 감도가 성립하지 않는다는 것을 증명할 때 모순을 도출하는 데 사용된다.