Computable functions as Reeb flows

Abstract

We prove that, given any contact $3$-manifold and any computable function $f:\mathbb{N}⇢\mathbb{N}$, there exists a defining contact form and a Poincaré section of its Reeb flow whose partially defined return map computes $f$.

18 pages, 7 figures. Comments are welcome!