Article

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

ABSTRACT

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.

Full-text preview

Available from: ArXiv
  • 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.
    Full-text · Article · Mar 2012 · Ergodic Theory and Dynamical Systems
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We discuss the legacy of Alan Turing and his impact on computability and analysis.
    Full-text · Article · Jun 2012