A return time invariant for finitary isomorphisms

Abstract

AbstractPoincare's recurrence theorem says that, given a measurable subset of a space on which a finite measure-preserving transformation acts, almost every point of the subset returns to the subset after a finite number of applications of the transformation. Moreover, Kac's recurrence theorem refines this result by showing that the average of the first return times to the subset over the subset is at most one, with equality in the ergodic case. In particular, the first return time function to any measurable set is integrable. By considering the supremum over all p ≥ 1 for which the first return time function is p-integrable for all open sets, we obtain a number for each almost-topological dynamical system, which we call the return time invariant. It is easy to show that this invariant is non-decreasing under finitary homomorphism. We use the invariant to construct a continuum number of countable state Markov shifts with a given entropy (and hence measure-theoretically isomorphic) which are pairwise non-finitarily isomorphic.