1: \begin{abstract}

2:   We introduce a notion of ``simulation'' for labelled graphs, in

3:   which edges of the simulated graph are realized by regular

4:   expressions in the simulating graph, and prove that the tiling

5:   problem (aka ``domino problem'') for the simulating graph is at

6:   least as difficult as that for the simulated graph.

7: 

8:   We apply this to the Cayley graph of the ``lamplighter group''

9:   $L=\Z/2\wr\Z$, and more generally to ``Diestel-Leader graphs''. We

10:   prove that these graphs simulate the plane, and thus deduce that the

11:   seeded tiling problem is unsolvable on the group $L$.

12: 

13:   We note that $L$ does not contain any plane in its Cayley graph, so

14:   our undecidability criterion by simulation covers cases not covered

15:   by Jeandel's criterion based on translation-like action of a product

16:   of finitely generated infinite groups.

17: 

18:   Our approach to tiling problems is strongly based on categorical

19:   constructions in graph theory.

20: \end{abstract}

21: