The computation of overlap coincidence in Taylor-Socolar substitution   tiling
  Recently Taylor and Socolar introduced an aperiodic mono-tile. The associated tiling can be viewed as a substitution tiling. We use the substitution rule for this tiling and apply the algorithm of \cite{AL} to check overlap coincidence. It turns out that the tiling has overlap coincidence. So the tiling dynamics has pure point spectrum and we can conclude that this tiling has a quasicrystalline structure. 
Shigeki Akiyama, Jeong-Yup Lee
math.MG math-ph math.MP