Skip to main content
Article thumbnail
Location of Repository

An Effective Ergodic Theorem and Some Applications

By Satyadev Nandakumar

Abstract

This work is a synthesis of recent advances in computable analysis with the theory of algorithmic randomness. In this theory, we try to strengthen probabilistic laws, i.e., laws which hold with probability 1, to laws which hold in their pointwise effective form- i.e., laws which hold for every individual constructively random point. In a tour-de-force, V’yugin [13] proved an effective version of the Ergodic Theorem which holds when the probability space, the transformation and the random variable are computable. However, V’yugin’s Theorem cannot be directly applied to many examples, because all computable functions are continuous, and many applications use discontinuous functions. We prove a stronger effective ergodic theorem to include a restriction of Braverman’s “graph-computable functions”. We then use this to give effective ergodic proofs of the effectiv

Year: 2009
OAI identifier: oai:CiteSeerX.psu:10.1.1.135.4094
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.iastate.edu/~sat... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.