Prefer a chat interface with context about you and your work?
A strongly aperiodic shift of finite type on the discrete Heisenberg group using Robinson tilings
We explicitly construct a strongly aperiodic subshift of finite type for the discrete Heisenberg group. Our example builds on the classical aperiodic tilings of the plane due to Raphael Robinson. Extending those tilings to the Heisenberg group by exploiting the group's structure and posing additional local rules to prune out …