Necessary conditions for tiling finitely generated amenable groups

1 GALaC - LRI - Graphes, Algorithmes et Combinatoire (LRI)
LRI - Laboratoire de Recherche en Informatique
Abstract : We consider a set of necessary conditions which are efficient heuristics for deciding when a set of Wang tiles cannot tile a group. Piantadosi gave a necessary and sufficient condition for the existence of a valid tiling of any free group. This condition is actually necessary for the existence of a valid tiling for an arbitrary finitely generated group. We then consider two other conditions: the first, also given by Piantadosi, is a necessary and sufficient condition to decide if a set of Wang tiles gives a strongly periodic tiling of the free group; the second, given by Chazottes et. al,, is a necessary condition to decide if a set of Wang tiles gives a tiling of $\mathbb Z^2$. We show that these last two conditions are equivalent. Joining and generalising approaches from both sides, we prove that they are necessary for having a valid tiling of any finitely generated amenable group, confirming a remark of Jeandel.
Keywords :
Document type :
Preprints, Working Papers, ...
Domain :

Cited literature [21 references]

https://hal.archives-ouvertes.fr/hal-02092905
Contributor : Benjamin Hellouin de Menibus Connect in order to contact the contributor
Submitted on : Monday, April 8, 2019 - 3:15:38 PM
Last modification on : Thursday, July 8, 2021 - 3:50:35 AM

File

Arxiv.pdf
Files produced by the author(s)

Identifiers

• HAL Id : hal-02092905, version 1

Citation

Benjamin Hellouin de Menibus, Hugo Maturana Cornejo. Necessary conditions for tiling finitely generated amenable groups. 2019. ⟨hal-02092905⟩

Record views