{"id":"arxiv/2610.11811","url":"https://arxiv.org/abs/2610.11811","tags":["math.GR","nlin.CG"],"score":0,"title":"Idempotence criteria for lazy cellular automata","domain":"math.GR","source":"arxiv","authors":["Edgar Alcalá-Arroyo","Alonso Castillo-Ramirez","Maria G. Magaña-Chávez","Luguis de los Santos Baños"],"reviews":0,"subject":"math.GR","summary":"A lazy cellular automaton $τ:A^G\\to A^G$ is determined by a finite neighborhood $S\\subseteq G$ containing the group identity $e$, a pattern $p\\in A^S$, and a writing symbol $a\\in A\\setminus\\{p(e)\\}$: its local rule is equal to the projection to $e$ except when it reads the pattern $p$, in which case it writes $a$. For a nonempty subset $T$ of the fiber $S_a:= p^{-1}(a)$, we introduce compatibility conditions on $p$ along the right translates $St$, $t\\in T$. We show that, over every group, the existence of a compatible set is necessary for $τ$ to be non-idempotent, and that it is also…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}