Aperiodic Subshifts on Polycyclic Groups
arXiv:1510.02360
Abstract
We prove that every polycyclic group of nonlinear growth admits a strongly aperiodic SFT and has an undecidable domino problem. This answers a question of [4] and generalizes the result of [2].
Previous version had a mistake in the proof of the polycyclic case. The new proof needs a very strong new result by Barbieri and Sablik, that the authors hopes is avoidable