Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Multiple Recurrence and Algorithmic Randomness
(Submitted on 14 Apr 2016 (v1), last revised 9 May 2016 (this version, v2))
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}}$.
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.