On the structure of Ammann A2 tilings (Q1985295)

The paper is devoted to study a family of quasiperiodic plane tilings known as Ammann A2 tilings. There are two ways to construct these tilings: local rules and substitutions. It is proved that these ways are equivalent. Moreover, it is proved that, if an A2 tiling tiles a convex set, then that set is either a plane, or a half-plane, or a quadrant. The described results are known in folklore but it seems that their proofs has never been published. Also, it is proved that there is a tiling \(T\) of the plane that satisfies the same local rules as A2 tilings everywhere except a bounded region and that has the following property: for any A2 tiling \(T'\) of the plane the difference \(T\setminus T'\) is infinite.