[논문 리뷰] Dynamical Borel-Cantelli lemma for recurrence theory

Mumtaz Hussain, Bing Li외 2명|arXiv (Cornell University)|2020. 09. 08.

Mathematical Dynamics and Fractals참고 문헌 8인용 수 3

한 줄 요약

이 논문은 측도를 보존하는 동역계에서 재귀 집합에 대한 동역학적 Borel-Cantelli 보조정리 수립을 통해, 아흐르포르스 정규성, 지수 혼합성, 유한한 왜곡성, 등각성 조건 하에서 R(ψ) = {x ∈ X : d(Tⁿx, x) < ψ(n) i.m. n}의 µ-측도에 대해 0-전 법칙을 증명한다. 주요 결과는 ∑ψⁿ(δ) < ∞ 이면 µ(R(ψ)) = 0, ∑ψⁿ(δ) = ∞ 이면 µ(R(ψ)) = 1임을 보이며, 이는 이전 방법으로는 분석이 어려웠던 β-동역계와 연분수 분해에 결과를 확장한다.

ABSTRACT

No description supplied

연구 동기 및 목표

• 일반적인 동역계에서 이전 결과가 국한되어 있던 재귀 집합 R(ψ)의 측도에 대해 0-전 법칙을 수립하는 것.
• 오픈 세트 조건이나 유한한 등각 IFS 가정을 만족하지 않는 시스템, 예를 들어 β-동역계와 연분수 분해에서 재귀 집합에 적용 가능한 기준의 부재를 해결하는 것.
• Rᵈ의 컴acts부분집합 위에서 확장되는 사상과 호환되는 거리와 불변 측도를 갖는 시스템에 적용 가능한 프레임워크를 통합하고 일반화하는 것.
• ∑ψⁿ(δ)의 수렴 또는 발산이 R(ψ)의 측도를 결정함을 증명하며, δ는 아흐르포르스 차원임을 보이는 것.
• 보셔르니차논의 재귀 결과를 일반화하여, 구조적 조건 하에서 보편 함수 ψ(n)을 통한 재귀 속도의 정량적 기준을 제공하는 것.

제안 방법

• 재귀 집합 R(ψ)를 d(Tⁿx, x) < ψ(n)이 무한히 많은 n에 대해 성립하는 점 x ∈ X의 집합으로 정의한다.
• 시스템 (X, µ, T)이 다섯 가지 핵심 조건을 만족한다고 가정한다: 아흐르포르스 정규성 (I), 지수 혼합성 (II), 유한한 왜곡성 (III), ∑(KJₙ)⁻ᵟ ≤ K의 균일한 제어 (IV), 등각성 (V).
• 아흐르포르스 정규성을 통해 구의 측도를 그 반지름의 δ 거듭제곱과 연결한다.
• 실린더 집합과 왜곡 제어를 이용하여 An = {x : d(Tⁿx, x) < ψ(n)}의 측도를 추정함으로써, 동역학적 맥락에서 Borel-Cantelli 보조정리를 적용한다.
• 지수 혼합성을 활용하여 An과 T⁻ⁿF 사이의 상관관계를 제어함으로써, 독립성과 유사한 행동을 보장한다.
• 등각성과 유한한 왜곡성을 활용하여 Tⁿ에 의한 작은 구의 확장을 제어하고, 원상의 측도 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 재귀 집합 R(ψ) = {x ∈ X : d(Tⁿx, x) < ψ(n) i.m. n}의 µ-측도가 0 또는 1이 되는 조건은 무엇인가?
• RQ2 유한한 등각 반복 함수 체계 또는 오픈 세트 조건을 만족하는 자기유사 집합이 아닌 동역계에서 재귀에 대한 0-전 법칙을 수립할 수 있는가?
• RQ3 ∑ψⁿ(δ)의 수렴이 R(ψ)의 측도를 결정하는 보편 함수 ψ(n)이 존재하는가? 이는 시스템의 특정 구조와 무관하게 성립하는가?
• RQ4 불변 측도의 아흐르포르스 차원 δ는 확장 시스템에서 재귀 속도와 어떻게 관련되는가?
• RQ5 이 프레임워크는 이전에 이러한 결과의 범위를 벗어났던 고전적 시스템, 예를 들어 β-동역계와 연분수 분해에 적용 가능한가?

주요 결과

• 다섯 가지 기재된 조건 하에서 ∑ₙ ψⁿ(δ) < ∞ 이면 R(ψ)의 측도는 0, ∑ₙ ψⁿ(δ) = ∞ 이면 1이다.
• 파리 측도를 갖는 β-동역계에서, µ(R(Tβ, ψ)) = 0 if ∑ψ(n) < ∞ and 1 if ∑ψ(n) = ∞, δ = 1.
• 가우스 지도와 가우스 측도를 갖는 연분수 시스템에서, L(R(TG, ψ)) = 0 if ∑ψ(n) < ∞ and 1 if ∑ψ(n) = ∞, δ = 1.
• 3분할 칸토어 집합과 T₃, δ = log₃2에서, µ(R(T₃, ψ)) = 0 if ∑ψ(n)δ < ∞ and 1 if ∑ψ(n)δ = ∞.
• Boshernitzan의 재귀 정리들을 보다 정밀하고 정량적인 재귀 속도를 함수 ψ(n)을 통해 제공함으로써 일반화한다.
• 이 프레임워크는 이전에 Chang-Wu-Wu와 Baker-Farmer의 결과 범위를 벗어났던 β-전개와 연분수 분해와 같은 시스템에 적용 가능하다.