[論文レビュー] Dynamical Borel-Cantelli lemma for recurrence theory

Mumtaz Hussain, Bing Li+2 more|arXiv (Cornell University)|Sep 8, 2020

Mathematical Dynamics and Fractals参考文献 8被引用数 3

ひとこと要約

本稿は、測度保存系における再帰集合のための動的Borel-Cantelli補題を確立し、アーフォルズ正則性、指数的混合性、有界歪度、共形性の条件下で、集合 R(ψ) = {x ∈ X : d(Tⁿx, x) < ψ(n) i.m. n} の µ-測度に対してゼロ・フル法則を証明する。主な結果は、∑ψⁿ(δ) < ∞ のとき µ(R(ψ)) = 0、∑ψⁿ(δ) = ∞ のとき µ(R(ψ)) = 1 であり、従来の手法が適用できなかった β-動的系や連分数へ応用することで、結果を拡張する。

ABSTRACT

No description supplied

研究の動機と目的

• 一般の動的系における再帰集合 R(ψ) の測度に対するゼロ・フル法則を確立すること。
• 開集合条件や有限共形IFS仮定を満たさない系、たとえば β-動的系や連分数において、再帰集合に対する適用可能な基準の欠如を解決すること。
• コンパクト部分集合上の拡大写像に適用可能な、互換性のある距離と不変測度を備えたフレームワークを提供することで、既存の結果を統一・一般化すること。
• ∑ψⁿ(δ) の収束または発散が R(ψ) の測度を決定することを証明すること。ここで δ はアーフォルズ次元である。
• 構造的条件の下で、普遍関数 ψ(n) を用いて再帰の速度を定量化することで、ボシュェルニツァンの再帰結果を拡張すること。

提案手法

• 再帰集合 R(ψ) を、無限に多くの n に対して d(Tⁿx, x) < ψ(n) を満たす x ∈ X の集合として定義する。
• システム (X, µ, T) が以下の5つの主要条件を満たすものとする：アーフォルズ正則性（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 有限共形自己帰化関数系や開集合条件を満たす自己相似集合でない動的系においても、再帰のためのゼロ・フル法則を確立できるか？
• RQ3 ∑ψⁿ(δ) の収束が R(ψ) の測度を決定するような普遍関数 ψ(n) が存在するか？ そのとき、システムの具体的な構造に依存しない。
• RQ4 不変測度のアーフォルズ次元 δ は、拡大系における再帰の速度とどのように関係するか？
• RQ5 本フレームワークは、従来の結果の範囲外であった古典的系、たとえば β-動的系や連分数に適用可能か？

主な発見

• 5つの提示された条件下で、∑ₙ ψⁿ(δ) < ∞ のとき µ(R(ψ)) = 0、∑ₙ ψⁿ(δ) = ∞ のとき µ(R(ψ)) = 1 である。
• パリ測度を備えた β-動的系では、µ(R(Tβ, ψ)) = 0 if ∑ψ(n) < ∞ かつ 1 if ∑ψ(n) = ∞ であり、δ = 1 である。
• ガウス写像とガウス測度を備えた連分数系では、L(R(TG, ψ)) = 0 if ∑ψ(n) < ∞ かつ 1 if ∑ψ(n) = ∞ であり、δ = 1 である。
• 中間三分の二集合に T₃ を適用し、δ = log₃2 とすると、µ(R(T₃, ψ)) = 0 if ∑ψ(n)δ < ∞ かつ 1 if ∑ψ(n)δ = ∞ である。
• 本結果は、関数 ψ(n) を用いた鋭い定量的再帰速度の評価により、ボシュェルニツァンの再帰定理を一般化する。
• 本フレームワークは、チェン＝ウー＝ウーおよびベイカー＝フォーダーの先行研究の範囲外であった β-展開や連分数に対しても適用可能である。