We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Multiple Recurrence and Algorithmic Randomness

Abstract: This work contributes to the programme of studying effective versions of "almost everywhere" theorems in analysis and ergodic theory via algorithmic randomness. We determine the level of randomness needed for a point in a Cantor space $ \{0,1\}^{\NN}$ with the uniform measure and the usual shift so that effective versions of the multiple recurrence theorem of Furstenberg holds for iterations starting at the point. We consider recurrence into closed sets that possess various degrees of effectiveness: clopen, $\PPI$ with computable measure, and $\PPI$. The notions of Kurtz, Schnorr, and \ML\ randomness, respectively, turn out to be sufficient. We obtain similar results for multiple recurrence with respect to the $k$ commuting shift operators on $\{0,1\}^{\NN^{\normalsize k}}$.
Comments: arXiv admin note: text overlap with arXiv:1602.04432
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
MSC classes: 03D32, 37A30
Cite as: arXiv:1604.04230 [math.LO]
  (or arXiv:1604.04230v2 [math.LO] for this version)

Submission history

From: Satyadev Nandakumar [view email]
[v1] Thu, 14 Apr 2016 17:37:09 GMT (14kb)
[v2] Mon, 9 May 2016 07:47:27 GMT (16kb)

Link back to: arXiv, form interface, contact.