[논문 리뷰] The dynamical Borel-Cantelli lemma and the waiting time problems

Stefano Galatolo, Dong Han Kim|ArXiv.org|2006. 10. 06.

Mathematical Dynamics and Fractals참고 문헌 18인용 수 5

한 줄 요약

이 논문은 측도를 보존하는 동역계에서 동역학적 Borel-Cantelli(BC) 성질과 대기 시간 행동 사이의 상하향 관계를 수립한다. 만약 시스템이 감소하는 구역의 구역에 대해 BC 성질을 만족한다면, 일반적인 점들에 대한 대기 시간은 구역의 측도에 반비례하여 스케일링됨을 증명한다. 반대로, 반경의 감쇠 조건이 제어될 경우, 대기 시간 행동은 BC 성질을 암시한다. 주요 기여는 Axiom A 사상과 일반적인 구간 교환과 같이 혼합성이 없는 시스템들에서, 대기 시간 추정을 통해 BC 결과를 도출할 수 있는 일반적 프레임워크를 제공하는 것이다.

ABSTRACT

We investigate the connection between the dynamical Borel-Cantelli and waiting time results. We prove that if a system has the dynamical Borel-Cantelli property, then the time needed to enter for the first time in a sequence of small balls scales as the inverse of the measure of the balls. Conversely if we know the waiting time behavior of a system we can prove that certain sequences of decreasing balls satisfies the Borel-Cantelli property. This allows to obtain Borel-Cantelli like results in systems like axiom A and generic interval exchanges.

연구 동기 및 목표

• 혼돈 시스템에서 동역학적 Borel-Cantelli 성질과 대기 시간 행동 간의 관계를 명확히 하기.
• BC 성질이 일반적인 점들에 대해 특정 대기 시간 스케일링, 즉 τ ∼ 1/μ(B(y, r_n))을 암시함을 보여주기.
• 강한 혼합성이 없는 시스템에서 대기 시간 행동이 BC 성질을 암시하는 충분한 조건을 설정하기.
• 전통적인 혼합성 추론이 실패하는 비하이퍼볼릭 시스템, 예를 들어 Axiom A 미분형사상과 일반적인 구간 교환에 대해 BC 결과를 확장하기.
• 대기 시간 추정과 제어된 반경 감쇠 조건을 사용하여 BC 수열을 도출하는 일반적 방법 제공하기.

제안 방법

• 논문 [15]의 결과를 일반화하여 대기 시간과 집합 측도 사이의 일반 부등식을 증명하고, BC 성질 하에서 등식이 성립함을 보임.
• 에르고딕 시스템에서 집합의 전역 역상의 lim sup 가 영이거나 전체 측도임을 이용하여 측도 이론적 결론 도출.
• 지역 차원 d_μ(y)가 y에서 정의된 조건 하에서, 대기 시간 스케일링 τ_B(y,r_n)(x) ∼ r_n^{-d_μ(y)} 적용.
• 반경 감쇠 조건을 도입: f가 감소하는 함수일 때 r_n ≥ f^{-1}(n)으로 제어함으로써, 대기 시간에서 BC 성질로의 함의를 뒤집기.
• Axiom A 시스템에 프레임워크를 적용하여, [16]에서 알려진 대기 시간 유계 조건을 사용해 필요한 감쇠 조건을 검증함.
• 구간 교환의 산술적 및 기하적 성질, 특히 ˜P 성질(δ(n_k) ≥ C/n_k)을 활용하여 r_n ≥ K/n 인 수열에 대해 BC 결과 도출.

실험 결과

연구 질문

• RQ1 동역학적 Borel-Cantelli 성질은 일반적인 점들에서 특정 대기 시간 스케일링을 암시하는가?
• RQ2 일부 수축하는 목표를 위한 대기 시간 행동을 사용해 Borel-Cantelli 성질을 유추할 수 있는가?
• RQ3 반경 감쇠 속도에 대한 어떤 조건이 대기 시간 스케일링이 BC 성질을 암시하도록 보장하는가?
• RQ4 Axiom A 사상과 일반적인 구간 교환과 같이 혼합성이 없는 시스템에서 BC 결과를 확립할 수 있는가?
• RQ5 측도의 국소 차원이 대기 시간 스케일링과 BC 행동에 어떤 영향을 미치는가?

주요 결과

• 시스템이 감소하는 구역 {B(y, r_n)}에 대해 동역학적 Borel-Cantelli 성질을 만족한다면, 거의 모든 x에 대해 대기 시간 τ_{B(y,r_n)}(x) 는 lim_{n→∞} log τ_{B(y,r_n)}(x) / (-log μ(B(y,r_n))) = 1 를 만족한다.
• 반대로, ρ_n ↓ 0 인 수열이 존재하여, 감소하는 함수 f에 대해 τ_{B(y,ρ_n)}(x) < f(ρ_n) 를 만족한다면, r_n > f^{-1}(n) 인 임의의 감소 수열 r_n 에 대해 수열 {B(y, r_n)} 은 Borel-Cantelli 성질을 만족한다.
• Axiom A 시스템에서, y의 국소 차원 d_μ(y) 가 유한할 경우, r_n ≥ n^{-1/(d_μ(y) - ε)} (작은 ε > 0) 인 수열 {B(y, r_n)} 에 대해 BC 성질이 성립한다.
• 일반적인 구간 교환 사상(특히 성질 ˜P 를 가진 경우)에서는 r_n ≥ K/n (적당한 K > 0, 큰 n) 인 수열 {B(y, r_n)} 에 대해 BC 성질이 성립한다.
• 이전의 [6]에서의 BC 결과를 더 규칙성이 떨어지는 불변 측도를 가진 시스템으로 확장하기 위해, 매끄러운 밀도 가정 대신 대기 시간 제어를 도입함으로써 결과를 일반화함.
• 프레임워크를 통해 강한 혼합성이 없는 시스템, 예를 들어 구간 교환에 대해 산술적 성질과 복귀 시간 추정에 기반하여 BC 결과 도출이 가능함.