Arxiv:2010.14365V1 [Math.DS] 27 Oct 2020 Theorem
Total Page:16
File Type:pdf, Size:1020Kb
A POISSON LIMIT THEOREM FOR GIBBS-MARKOV MAPS XUAN ZHANG Abstract. We prove for Gibbs-Markov maps that the number of visits to a sequence of shrinking sets with bounded cylindrical lengths converges in distribution to a Poisson law. Applying to continued fractions, this result extends Doeblin’s Poisson limit theorem. 1. Introduction A Poisson limit theorem for continued fractions was proved by Doeblin ([15]) around 1937, which says that the number of certain large partial quotients in a continued fraction expansion converges in distribution to a Poisson law. More precisely, denoting by [a1,a2,...],ai ∈ N, the continued fraction expansion of an irrational number x ∈ (0, 1), Theorem. For every θ> 0, k ∈ N0 lim Leb{x ∈ (0, 1) : there are exactly k ai’s with ai > θn, 1 6 i 6 n} n→∞ 1 1 − 1 = e θ log 2 . (θ log 2)k k! Later Iosifescu ([27]) proved a Poisson limit theorem for ψ-mixing processes, which in particular can be applied to the process {an}n∈N. Treating continued fractions as a symbolic dynamical system, one can rephrase Doeblin’s theorem as a Poisson limit theorem for return times under the Gauss map T : x 7→ {1/x}. Theorem. For every θ> 0, k ∈ N0 n−1 1 1 1 i − θ log 2 lim Leb x ∈ (0, 1) : 1(0, 1 ) ◦ T (x)= k = e . n→∞ [θn]+1 (θ log 2)k k! ( i=0 ) X Compared with the Poisson limit theorem for binomial random variables, an ideal arXiv:2010.14365v1 [math.DS] 27 Oct 2020 Poisson limit theorem in dynamical systems would be the following. Let (Ω, B,µ) be a probability space, T be a µ-preserving map on Ω, and {An}n∈N0 be a sequence of measurable sets. If nµ(An) → t> 0 as n → ∞, then for every k ∈ N0 n−1 k i t −t lim µ x ∈ Ω: 1A ◦ T (x)= k = e . n→∞ n k! ( i=0 )! X The summation inside the brackets counts the number of visits of x to An until i the n-th iteration by T . Note that, since {1An ◦ T }i∈N0 in general is not an independent process, it is not clear that the limit distribution exists, let alone being Poisson. The study of Poisson limit law for return times in dynamical systems was initiated in the early 1990s by Hirata ([25]), Pitskel ([32]), Sinai ([33]) etc. 2010 Mathematics Subject Classification. 11K50, 60F05, 37C30. 1 2 XUAN ZHANG Since then, there are various results confirming the Poisson limit theorem and also obtaining error estimates under appropriate assumptions. See for example [9, 13, 26, 22, 16, 14, 5, 8, 31, 19]. But in general, the class of possible limit distributions is rather large, more than just Poisson, as shown by Lacroix ([30]) and Chaumoˆıtre and Kupsa ([7]), We refer to Haydn’s recent review ([20]) on this and related topics. Let nµ(An) → t as n → ∞, then the measure µ(An) shrinks to 0. Most of the previous results consider a sequence of shrinking sets An which converge to a generic non-periodic point (like in Theorem 2.6 below). When An shrinks to a periodic point, An always intersects with its pre-images via small iterations of T . In this case it had been pointed out by both Pitskel and Hirata that the limit distribution can not be Poisson. Later Haydn and Vaienti ([24]) showed for some mixing maps, that when An are cylinder sets of growing cylindrical lengths (the level of the filtration in which An lives) and converging to a periodic point, the limit distribution of the number of return times becomes compound Poisson. But none 1 of these results covers Doeblin’s theorem, in which case An = (0, [θn]+1 ) converges to a non-generic point, the endpoint 0, and has a constant cylindrical length. In this note we study the limit distribution of the number of visits to a sequence of shrinking sets with bounded cylindrical lengths. When the sequence converges to a single point, the accumulation point may be periodic or a compactification point of the space (like the endpoint 0 in Doeblin’s theorem). This type of sequences seems novel in the literature to our knowledge. Our main result (Theorem 4.1) shows a Poisson limit theorem for Gibbs-Markov maps with this type of sequences. Some applications to continued fractions are given at the end of the note, including an extension of Doeblin’s theorem. Examples of Gibbs-Markov maps are given in the next section, including some Markov chains with countable states, Markov maps of the unit interval, parabolic rational maps. We use perturbation of transfer operator to study limit distribution of the number of return times, following the idea of Hirata ([25]). It turns out that for the type of sequences in our consideration, the size of this perturbation is not asymptotically small in the Banach space where the transfer operator has good spectral property. Still, a perturbation theorem of Keller and Liverani ([28]) allows us to deal with this situation using a weaker norm. We note that this perturbation theorem has been used widely by many authors to study closely-related problems, such as limit distribution of the first return time and escape rate, for example in [29, 18, 11, 6]. 2. Gibbs-Markov maps We recall the definition of Gibbs-Markov maps from [3]. Let (Ω, B,µ) be a probability space and let T be a non-singular transformation. Consider a countable n−1 partition α of Ω mod µ, let α = {ai : i ∈ I}. Denote by α0 the refined partition n−1 −i i=0 T α and by σ(·) the σ-algebra generated by a partition. For a set A ∈ σ(αn−1), we call the minimal m ∈ N such that A ∈ σ(αm−1) its cylindrical length. W 0 0 Definition 2.1. A quintuple (Ω, B,µ,T,α) is called a Gibbs-Markov map if it satisfies the following conditions. −n (1) α is a strong generator of B under T , i.e. σ({T α : n ∈ N0})= B mod µ. (2) (big image property) inf µ(Ta) > 0. a∈α A POISSON LIMIT THEOREM FOR GIBBS-MARKOV MAPS 3 (3) For every a ∈ α, Ta ∈ σ(α) mod µ, moreover the restriction T |a is invert- ible and non-singular. N n−1 (4) For every n ∈ and a ∈ α0 , denote the non-singular inverse branch of −n n n ′ T on T a by va : T a → a and its Radon-Nikodym derivative by va. N n−1 There exist r ∈ (0, 1) and M > 0 such that for any n ∈ ,a ∈ α0 and x, y ∈ T na a.e. v′ (x) a − 1 6 M · r(x, y), v′ (y) a n− 1 n−1 min {n∈N:T (x) and T (y) belong to different elements of α} where r(x, y) is the metric r . We present some typical examples. The first two have already been mentioned in [3]. Example 2.2 (Markov chain with countable states). Let S be a countable set, P = (px,y)x,y∈S be an irreducible ergodic stochastic matrix on S and π be the N0 stationary probability measure. Let Ω = {x = (x0, x1,...) ∈ S : pxkxk+1 > 0, k ∈ N0}, B the σ-field generated by all the cylinder sets of the form [s0, ··· ,sn]= {x ∈ Ω: x0 = s0,...,xn = sn}, T be the shift map, α = {[s]: s ∈ S}, µ([s0, ··· ,sn]) = n−1 πs0 psksk+1 . k=0 π p ···p p ′ s0 s0s1 sn−1sn snx0 n SupposeQ a = [s0, ··· ,sn], then va(x) = for x ∈ T a. The πx0 system is Gibbs-Markov if and only if psx / psy − 1 is uniformly bounded for all πx πy s,x,y ∈ S with psx,psy > 0. An explicit example is given by ([17, XV(2.k)]): f1 f2 f3 f4 ··· 1 0 0 0 ··· 0 1 0 0 ··· P = 0 0 1 0 ··· ······· ······· where i∈N fi = 1. Let rk = i>k fi. Suppose k∈N rk < ∞, then the station- ary measure π = (π , π r , π r ,...). T is Gibbs-Markov if and only if C−1 6 P 0 0 1 0P2 P fi / fj 6 C for some constant C > 0 and for all i, j. For example, f = 1 1 . ri−1 rj−1 i i! e−1 Example 2.3 (Markov interval map, [10, §7.4]). Let Ω = (0, 1), B be Borel σ- algebra, Leb be Lebesgue measure, and α = {ai} be a partition of Ω mod µ into open intervals. Suppose that T :Ω → Ω satisfies the following conditions. 2 • T |ai is strictly monotonic and extends to a C function on ai for each i. • if T (ak) ∩ aj 6= ∅, then T (ak) ⊃ aj . • T is expanding: there exists an m ∈ N such that inf inf |T ′(x)| > 0, inf inf |T m′(x)| := λ> 1. ai∈α x∈ai ai∈α x∈ai • T satisfies the Adler property: |T ′′(x)| sup sup ′ 2 < ∞. ai∈α x,y∈ai T (y) 4 XUAN ZHANG Then there exists a constant M such that: |T n′′(x)| 6 M, for all x, y ∈ a ∈ αn−1,n ∈ N. T n′(y)2 0 N n−1 n Hence for some constant M1, and for all n ∈ ,a ∈ α0 ,x,y ∈ T a, v′ (x) a − 1 6 M |x − y|. v′ (y) 1 a 1 Let r = (1/λ) m . There is a constant M such that for any x, y, if k ∈ N is the 2 minimum natural number such that T k−1x and T k−1y belong to different elements k−1 of α, supposing x, y ∈ b ∈ α0 , k ′ k |x − y| 6 Leb(b) = Leb(vb(T b)) 6 kvbk∞ 6 M2r .