Dice Question Streamline Icon: https://streamlinehq.com

Ouroboros snake problems on non–virtually free groups

Ascertain whether there exists a finitely generated group that is not virtually free for which at least one, or all, ouroboros (closed-loop) snake tiling problems are decidable.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper proves decidability for several variants of snake tiling on a specific non–virtually free group but cannot settle the ouroboros variants (closed snakes). The authors pose an explicit open question about the existence of non–virtually free groups with decidable ouroboros problems.

References

We are not able to settle the problem for ouroboroi; the following remains open. Is there a finitely generated group which is not virtually free, and for which some / all of the ouroboros problems are decidable?

Snakes can be fooled into thinking they live in a tree (2409.14525 - Bartholdi et al., 22 Sep 2024) in Section 2 (Snake problems)