[논문 리뷰] Strong transitivity properties for operators

Juan Bès, Quentin Menet외 2명|arXiv (Cornell University)|2017. 03. 10.

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

한 줄 요약

이 논문은 ℕ에서의 밀도와 크기 개념을 기반으로 한 Furstenberg 가족을 사용하여 위상적 전이성 연산자를 분류하는 통합 프레임워크를 제안한다. 재반복적 초기성은 가중 이동에서 Δ*-전이성으로 이어지며, 재반복적 초기성이 특정한 더 강력한 전이성 유형을 유도하지 않는 예시를 구성함으로써 초기성 이론에서 전이성 유형 간의 계층 관계에 대한 열린 질문을 해결한다.

ABSTRACT

Given a Furstenberg family $\mathscr{F}$ of subsets of $\mathbb{N}$, an operator $T$ on a topological vector space $X$ is called $\mathscr{F}$-transitive provided for each non-empty open subsets $U$, $V$ of $X$ the set $\{n\in \mathbb{Z}_+ : T^n(U)\cap V eq\emptyset\}$ belongs to $\mathscr{F}$. We classify the topologically transitive operators with a hierarchy of $\mathscr{F}$-transitive subclasses by considering families $\mathscr{F}$ that are determined by various notions of largeness and density in $\mathbb{Z}_+$.

연구 동기 및 목표

• ℕ에서의 밀도와 크기 개념을 기반으로 한 Furstenberg 가족을 사용하여 위상적 전이성 연산자를 체계적으로 분류하는 것.
• 밀도, 시нд티크성, IP-집합과 관련된 다양한 가족에 의해 유도되는 전이성 유형 간의 계층 관계를 명확히 하는 것.
• 재반복적 초기성이 Δ*-전이성 또는 IP*-전이성과 같은 더 강력한 전이성 성질을 유도하는지 여부를 규명하는 것.
• 가중 이동 연산자에 대한 ℓp(ℤ) 및 c₀(ℤ)에서의 전이성 특성화를 가중치 수열과 복귀 집합 성질을 통해 제공하는 것.

제안 방법

• Furstenberg 가족을 사용하여 ℕ의 부분집합 가족 F에 대해 F-전이성 연산자를 정의하며, F는 상향 유전성과 무한집합 성질을 가진다.
• 일반화된 초기성 기준을 적용하여 F-전이성을 보장함으로써 시퀀스 공간에서 예시를 구성할 수 있도록 한다.
• 역행 집합 분석 N(U,V) = {n ≥ 0 : Tⁿ(U) ∩ V ≠ ∅}을 사용하여 동역학적 성질을 ℕ의 조합론적 집합론적 성질과 연결한다.
• ℓp(ℤ) 및 c₀(ℤ)에서 조밀한 수열과 열린 구를 사용하여 시험 집합을 구성하고, 전이성 조건을 가중치 수열에 대해 유도한다.
• Δ* (상부 반반 밀도) 및 IP* (IP 집합)와 같은 라모지 이론적 가족을 적용하여 전이성 유형을 비교한다.
• 모순 증명과 집합론적 추정(예: ∏|w_i| > M)을 사용하여 특정 가족에 속하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 c₀(ℤ₊)에서의 모든 재반복적 초기성 연산자는 Δ*-전이성을 만족하는가?
• RQ2 가중 이동의 맥락에서 Δ*-전이성과 약한 혼합성 사이에 차이가 존재하는가?
• RQ3 재반복적 초기성 연산자가 ̄D₁-연산자가 아닐 수 있는가, 즉 전이성 유형 간의 엄밀한 계층 관계를 나타내는가?
• RQ4 ̄D1-전이성은 하지만 ̄BD1-전이성이 아닌 연산자가 존재하는가, 즉 밀도 기반 전이성 유형 간에 갭이 존재하는가?
• RQ5 모든 재반복적 초기성 연산자는 반드시 IP*-전이성 또는 Δ*-전이성 연산자인가?

주요 결과

• c₀(ℤ₊) 또는 ℓp(ℤ₊)에서의 단방향 가중 이동 연산자는 모든 M > 0에 대해 {n : |∏ⱼ₌₁ⁿ wⱼ| > M}이 시нд티크 집합이면 위상적 에르고딕성을 갖는다.
• ℓp(ℤ) 또는 c₀(ℤ)에서의 이방향 가중 이동 연산자가 재반복적 초기성을 갖는다면 Δ*-전이성이 성립하며, 이는 복귀 집합 N(U,V)의 상부 반반 밀도가 1임을 의미한다.
• c₀(ℤ₊)에서 재반복적 초기성을 갖는 연산자 중 ̄D₁-연산자가 아닌 것이 존재함을 보여, 재반복적 초기성이 상부 밀도 기반 전이성으로 이어지지 않음을 입증한다.
• 상부 밀도가 0으로 수렴하는 집합 {k : ∏ᵢ₌₁ᵏ |wᵢ| ≥ 2ʲ}를 갖는 예시를 구성함으로써, 그러한 연산자가 ̄D₁-전이성이 아님을 증명한다.
• 이중 가중 이동 연산자가 Δ*-전이성이 아니면, N(U, B((M+1)eⱼ; 1/MR)) ∉ Δ* 를 만족하는 공집합이 아닌 열린 집합 U가 존재함을 보여, 재반복적 초기성과 모순됨을 증명한다.
• 논문은 재반복적 초기성이 IP*-전이성으로 이어지지 않음을 반례를 통해 입증함으로써 문제를 해결한다. 이는 특정 가중치 수열을 갖는 c₀(ℤ₊)에서의 반례를 제시함으로써 이루어진다.