A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties

2007/11/09 by Stefano Galatolo, Galatolo, Stefano, Mathieu Hoyrup +3
Computer Science · Mathematics · #03F60 #11K45 #11Y99 #37M25 #68U20 #Classical Analysis and ODEs (math.CA) #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Information Theory (cs.IT) #Probability (math.PR) #Statistics Theory (math.ST) #cs.IT #math.CA #math.DS #math.IT #math.PR #math.ST #msc:03F60 #msc:11K45 #msc:11Y99 #msc:37M25 #msc:68U20 #stat.TH

paper · pdf · doi:10.48550/arxiv.0711.1478

Revised version. Several results are generalized

arxiv created 2008/06/30 · arxiv updated 2009/12/01

Abstract

In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets A_i with effectively summable measures, there are computable points which are not contained in infinitely many A_i. As a consequence of this we obtain the existence of computable points which follow the typical statistical behavior of a dynamical system (they satisfy the Birkhoff theorem) for a large class of systems, having computable invariant measure and a certain ``logarithmic'' speed of convergence of Birkhoff averages over Lipshitz observables. This is applied to uniformly hyperbolic systems, piecewise expanding maps, systems on the interval with an indifferent fixed point and it directly implies the existence of computable numbers which are normal with respect to any base.

Related

• A Borel-Cantelli lemma and its applications
• A note on Borel--Cantelli lemmas for non-uniformly hyperbolic dynamical systems
• On strong forms of the Borel--Cantelli lemma and intermittent interval maps
• Dynamical Borel-Cantelli lemmas for Gibbs measures
• Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property