Year: 2026
Type: preprint
Abstract: We prove several necessary and sufficient conditions under which a point satisfies the Poincaré Recurrence Theorem for all computable (ergodic) measure-preserving transformations and all sets of a particular complexity. The necessary conditions are obtained by constructing specific measure-preserving transformations which violate recurrence. While some of these conditions pertain to standard notions of algorithmic randomness, others involve new notions of genericity developed in the context of a computable probability space, which we call $Π^0_n$-genericity and quasi-$Π^0_n$-genericity. We also provide conditions under which points recur at a positive frequency in sets containing them, regarding both simple and multiple recurrence.
Source: arXiv (Cornell University)
Author: Veltri, Joey
Institution: Pennsylvania State University
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7212657246
Cites:
Cited by:
Related to: