2020/02/20 by Ville Salo, Salo, Ville
Computer Science · Materials Science · Mathematics · #Cellular Automata and Applications #Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Group Theory (math.GR) #Mathematical Dynamics and Fractals #Quasicrystal Structures and Properties
paper · pdf · doi:10.48550/arxiv.2002.08730
openalex publication_date 2020/02/20 · openalex created_date 2022/09/04 · openalex updated_date 2026/07/28
We define and study a class of subshifts of finite type (SFTs) 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. The main results are that for such an SFT, a locally legal pattern of convex shape is globally legal, and there is a measure that samples uniformly on all convex sets. Under suitable computability assumptions, this measure can be sampled, and legal configurations counted and enumerated, effectively and efficiently. We show by example that these subshifts need not admit a group (more generally unital magma or quasigroup) 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 all strongly polycyclic groups and free groups. We also show some other methods for sampling finite patterns, one based on orderings and one based on contructing new "independent sets" from old. We also show a link to conjectures of Gottshalk and Kaplansky.