Finitely dependent processes are finitary

Abstract

We show that any finitely-dependent invariant process on a transitive amenable graph is a finitary factor of an i.i.d. process. With an additional assumption on the geometry of the graph, namely that no two balls with different centers are identical, we further show that the i.i.d. process may be taken to have entropy arbitrarily close to that of the finitely-dependent process. As an application, we give an affirmative answer to a question of Holroyd [9].