[논문 리뷰] On generalized shift transformation semigroups

Fatemah Ayatollah Zadeh Shirazi, Fatemeh Ebrahimifar|arXiv (Cornell University)|2017. 11. 29.

Holomorphic and Operator Theory참고 문헌 3인용 수 3

한 줄 요약

이 논문은 유한한 이산 공간 $X$ (원소가 두 개 이상)와 무한한 $Γ$에 대해 일반화된 이동 변환 반군 $({\mathcal{S}}, X^\Gamma)$에서 등연속성, 비연속성, 민감성, 확산성에 대한 필수 및 필요조건을 수립한다. 주요 결과는 등연속성(또는 등연속점이 존재함)이 각 $w \in \Gamma$에 대해 이미지 집합 $\{\varphi(w) : \sigma_\varphi \in {\mathcal{S}}\}$가 유한할 때이고, 비연속성의 경우 추가로 전단사 조건이 필요하다는 것이다.

ABSTRACT

In the following text we prove that for finite discrete $X$ with at least two elements and infinite $Γ$, the generalized shift transformation semigroup $({\mathcal S},X^Γ)$ is equicontinuous (resp. has at least an equicontinuous point, is not sensitive) if and only if for all $w\inΓ$, $\{φ(w):σ_φ\in{\mathcal S}\}$ is finite. We continue our study regarding distality and expansivity of $({\mathcal S},X^Γ)$.

연구 동기 및 목표

• 유한한 이산 공간 $X$와 무한한 $Γ$에 대해 일반화된 이동 변환 반군 $({\mathcal{S}}, X^\Gamma)$에서 등연속성과 비연속성을 특성화하는 것.
• 이러한 반군이 민감성 또는 확산성을 가지는 조건을 규명하는 것.
• 일반화된 이동의 맥락에서 동역학적 성질(등연속성, 비연속성, 민감성, 확산성) 간의 관계를 명확히 하는 것.
• 기저 맵 $\varphi: \Gamma \to \Gamma$의 구조적 조건을 통해 이러한 성질들을 완전히 분류하는 것.

제안 방법

• 균일 공간 이론과 호환 가능한 균일성을 사용하여 변환 반군에서 등연속성과 민감성을 정의한다.
• 환경 반군 $E({\mathcal{S}}, X^\Gamma)$를 적용하여 동역학적 성질을 분석하고 등가 조건을 수립한다.
• 곱 위상 $X^\Gamma$를 사용하고, $\sigma_\varphi((x_\alpha)_{\alpha \in \Gamma}) = (x_{\varphi(\alpha)})_{\alpha \in \Gamma}$로 정의된 일반화된 이동 $\sigma_\varphi$의 작용을 분석한다.
• 모든 $\varphi$가 전단사일 때, 등연속성과 각 $w \in \Gamma$에 대해 $\{\varphi(w) : \sigma_\varphi \in {\mathcal{S}}\}$의 유한성 간의 등가성을 수립한다.
• 유한 부분집합 $H \subset \Gamma$를 사용하여, $\Gamma = {\mathcal{T}}H$ 조건을 통해 확산성을 특성화한다. 여기서 ${\mathcal{T}}$는 ${\mathcal{S}}$에 속하는 이동을 유도하는 맵들의 집합이다.
• 구체적인 예를 제시하여 일반화된 이동 반군에서 등연속성, 비연속성, 민감성, 확산성 행동 간의 차이를 설명한다.

실험 결과

연구 질문

• RQ1 일반화된 이동 변환 반군 $({\mathcal{S}}, X^\Gamma)$가 등연속성이 되는 조건은 무엇이며, 이는 ${\mathcal{T}}$에 속한 맵 $\varphi$의 어떤 구조적 조건에 의해 보장되는가?
• RQ2 맵 $\varphi: \Gamma \to \Gamma$에 대한 어떤 조건이 $({\mathcal{S}}, X^\Gamma)$가 비연속적이거나 비연속적이지 않게 만드는가?
• RQ3 $({\mathcal{S}}, X^\Gamma)$가 확산성이 되는 조건은 무엇이며, 이는 유한 부분집합의 반복적 맵에 의한 이미지와 어떻게 관련되는가?
• RQ4 이 클래스의 반군에서 민감성과 확산성은 어떻게 관련되어 있으며, 확산성이 민감성보다 엄격히 강한가?
• RQ5 전단사성의 $\varphi$가 비연속성 또는 등연속성 달성에 있어 정확히 어떤 역할을 하는가?

주요 결과

• 반군 $({\mathcal{S}}, X^\Gamma)$가 등연속성이 되는 것은, $X$가 원소가 두 개 이상인 유한한 이산 공간이고 $Γ$가 무한할 때, 각 $w \in \Gamma$에 대해 $\{\varphi(w) : \sigma_\varphi \in {\mathcal{S}}\}$가 유한할 때에 한하여 성립한다.
• 등연속성은 모든 $\varphi \in {\mathcal{T}}$가 전단사이면서 각 $w \in \Gamma$에 대해 이미지 집합 $\{\varphi(w)\}$가 유한할 때에만 성립하며, 이 조건은 비연속성의 특성화와도 일치한다.
• 반군 $({\mathcal{S}}, X^\Gamma)$가 비연속성이 되는 것은 모든 $\varphi \in {\mathcal{T}}$가 전단사이면서 각 $w \in \Gamma$에 대해 $\{\varphi(w)\}$가 유한할 때에만 성립하며, 이는 전단사성과 비연속성 간의 밀접한 연결을 보여준다.
• 확산성은 유한 부분집합 $H \subset \Gamma$가 존재하여 $\Gamma = {\mathcal{T}}H$가 되는 경우에만 성립한다. 즉, ${\mathcal{T}}$에 속한 맵들에 의한 $H$의 이미지가 $Γ$를 덮을 때 성립한다.
• 민감성은 확산성을 함의하지만, 모든 민감한 시스템이 확산성을 가지는 것은 아니다. 예를 들어, $Γ = \mathbb{Z}$에서 $\varphi(n) = n^2$로 정의된 반군은 민감성은 갖지만 확산성은 아니다.
• 예시들은 등연속성이 비연속성을 함의하지 않음을 확인한다. 전단사성이 추가로 필요하며, 비전단사 이동(예: $\varphi(n) = |n|$)은 등연속일 수 있으나 비연속성은 아니다.