Cutting corners

作者:

Highlights:

摘要

We define a class of subshifts defined by a family of allowed patterns of the same shape where, for any contents of the shape minus a corner, the number of ways to fill in the corner is the same. For such a subshift, a locally legal pattern of convex shape is globally legal, and there is a measure that samples uniformly on convex sets. We show by example that these subshifts need not admit a group structure by shift-commuting continuous operations. Our approach to convexity is axiomatic, and only requires an abstract convex geometry that is “midpointed with respect to the shape”. We construct such convex geometries on several groups, in particular strongly polycyclic groups and free groups. We also show some other methods for sampling finite patterns, and show a link to conjectures of Gottshalk and Kaplansky.

论文关键词:Subshift of finite type,Tilings,Cellular automata,Decidability,Convexity,Groups

论文评审过程:Received 14 September 2020, Revised 16 November 2021, Accepted 21 March 2022, Available online 25 March 2022, Version of Record 7 April 2022.

论文官网地址:https://doi.org/10.1016/j.jcss.2022.03.001