{"id":"arxiv/2606.11899","url":"https://arxiv.org/abs/2606.11899","tags":["math.GT","math.OA"],"score":0,"title":"Full Mealy automata, complete square complexes, and anti-tori","domain":"math.GT","source":"arxiv","authors":["David Pask"],"reviews":0,"subject":"math.GT","summary":"To a full $m\\times n$ Mealy automaton $A$ we associate a bijection $θ_A$, a one-vertex rank-two graph $F_{θ_A}$, and a one-vertex $VH$-square complex $Y_A$ tiled by $mn$ Wang tiles. We prove that $Y_A$ contains an anti-torus if and only if $A$ is bi-reversible and $F_{θ_A}$ is aperiodic. The two hypotheses are independent and play disjoint roles: bi-reversibility is exactly what makes $Y_A$ a complete square complex, so that its universal cover splits as a product of two trees and anti-tori can be discussed at all; and, within that setting, an anti-torus is precisely a period-free…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-10","reactions":{}}