A pumping lemma for non-cooperative self-assembly

Pierre-Étienne Meunier, Damien Regnault

We prove a result which strongly hints at the computational weakness of a model of tile assembly that has so far resisted many attempts of formal analysis or positive constructions…