Yet another characterization of the Pisot conjecture
By Paul Mercat
Also appears in collection : Jean-Morlet chair: Tiling and recurrence / Chaire Jean-Morlet : Pavages et récurrence
In the way of Arnoux-Ito, we give a general geometric criterion for a subshift to be measurably conjugated to a domain exchange and to a translation on a torus. For a subshift coming from an unit Pisot irreducible substitution, we will see that it becomes a simple topological criterion. More precisely, we define a topology on $\mathbb{Z}^d$ for which the subshift has pure discrete spectrum if and only if there exists a domain of the domain exchange on the discrete line that has non-empty interior. We will see how we can compute exactly such interior using regular languages. This gives a way to decide the Pisot conjecture for any example of unit Pisot irreducible substitution. Joint work with Shigeki Akiyama.