Higher order return times for $Ï$-mixing measures
Haydn, Park
In this paper we consider $Ï$-mixing measures and show that the limiting return times distribution is compound Poisson distribution as the target sets shrink to a zero measure set. The approach we use generalises a method given by Galves and Schmitt in 1997 for the first entry time to higher orders.
This paper investigates φ-mixing measures and proves that the limiting distribution of higher order return times is compound Poisson when the target set shrinks to a zero-measure set. The methodology employed generalizes the first entrance time approach proposed by Galves and Schmitt in 1997 to higher order cases.
Historical Development: The study of entrance time distributions primarily originated in the past three decades, initially by Pitskel using symbolic dynamics for axiom A maps to study equilibrium states, followed by Hirata using Laplace transforms and spectral methods of transfer operators to obtain similar results.
Core Problem: Investigating the statistical laws governing the return of points to specific regions in dynamical systems, particularly the limiting distribution behavior when target sets gradually shrink.
Existing Limitations:
Early work focused primarily on first-order return times
Research on higher-order return times for φ-mixing systems was insufficient
More general methods were needed to handle arbitrary zero-measure sets
Research Significance:
Understanding long-term statistical behavior of dynamical systems
Providing theoretical foundations for extreme value theory and rare event analysis
Generalizing the classical Kac theorem to more general settings
Let (Ω, μ, T) be a measure-preserving dynamical system, and let U_n ⊂ Ω be a nested sequence of positive measure sets whose intersection Γ = ∩_n U_n is a zero-measure set. Define the counting function:
ZUN=∑j=0N−1χU∘Tj
The study examines the limiting distribution of Z^{N_n}_ when μ(U_n) → 0.
A measure μ is left φ-mixing if there exists a decreasing function φ(k) → 0 such that:
∣μ(B∩T−n−kC)−μ(B)μ(C)∣≤φ(k)μ(B)
holds for all B ∈ σ(A^n), C ∈ σ(∪_{ℓ=1}^∞ A^ℓ).
Theorem 2.1 (Single Limit Theorem): If μ is φ-mixing, s_n → ∞ and s_n μ(τ_ ≤ s_n) → 0, then:
λk=limn→∞λk(sn,Un)
Theorem 3.1 (Compound Poisson Limit): Let A be a finite generating partition, μ be left φ-mixing with φ(x) = O(x^{-p}), p > 0. If U_n ∈ σ(A^n), μ(∩n U_n) = 0, and there exists a sequence s_n such that P(Z^{s_n} ≥ 1) → 0, s^η_n P(Z^{s_n}_ ≥ 1) → ∞ for some η ∈ (0,1), then:
ZUnNndW
where W is a compound Poisson random variable with parameters t and {λ̂_k}, and N_n = ts_n/P(Z^{s_n}_ ≥ 1).
Employing the Chen-Stein method to establish compound Poisson approximation, which is more suitable for handling dependent structures compared to traditional moment methods.
Theorem 6.1 demonstrates that the α-mixing case requires the additional assumption that λ_k = lim_{n→∞} λ_k(s_n, U_n) exists, whereas the φ-mixing case automatically guarantees this limit exists by Theorem 2.1.