Uncomputably Noisy Ergodic Limits

Notre Dame Journal of Formal Logic (Impact Factor: 0.36). 05/2011; 53(3). DOI: 10.1215/00294527-1716757
Source: arXiv


V'yugin has shown that there are a computable shift-invariant measure on
Cantor space and a simple function f such that there is no computable bound on
the rate of convergence of the ergodic averages A_n f. Here it is shown that in
fact one can construct an example with the property that there is no computable
bound on the complexity of the limit; that is, there is no computable bound on
how complex a simple function needs to be to approximate the limit to within a
given epsilon.

11 Reads
  • Source
    • "Corollary 6.3. There is a separable, reflexive, and strictly convex Banach space B, such that for every u, there is an x ∈ B with x ≤ 1 such that the sequence (A n x) has (1/4)-fluctuations in each of the intervals [1] [2], [2] [4], . . . , [2 u−1 , 2 u ]. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Let B be a p-uniformly convex Banach space, with p >= 2. Let T be a linear operator on B, and let A_n x denote the ergodic average (1 / n) sum_{i< n} T^n x. We prove the following variational inequality in the case where T is power bounded from above and below: for any increasing sequence (t_k)_{k in N} of natural numbers we have sum_k || A_{t_{k+1}} x - A_{t_k} x ||^p <= C || x ||^p, where the constant C depends only on p and the modulus of uniform convexity. For T a nonexpansive operator, we obtain a weaker bound on the number of epsilon-fluctuations in the sequence. We clarify the relationship between bounds on the number of epsilon-fluctuations in a sequence and bounds on the rate of metastability, and provide lower bounds on the rate of metastability that show that our main result is sharp.
    Ergodic Theory and Dynamical Systems 03/2012; 35(04). DOI:10.1017/etds.2013.90 · 0.78 Impact Factor
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We discuss the legacy of Alan Turing and his impact on computability and analysis.


11 Reads
Available from