{"id":"arxiv/2606.29958","url":"https://arxiv.org/abs/2606.29958","tags":["math.GR","math.GN"],"score":0,"title":"A Reversibility Characterization of Locally Finite Groups by Cellular Automata","domain":"math.GR","source":"arxiv","authors":["Jiang Yang"],"reviews":0,"subject":"math.GR","summary":"For cellular automata over finite alphabets, bijectivity already implies reversibility. Over infinite alphabets this implication may fail, and the remaining obstruction in the periodic case was recorded by Ceccherini-Silberstein and Coornaert as Open Problem 2 in \\emph{Cellular Automata and Groups}. We prove an exact group-theoretic characterization. A group $G$ is locally finite if and only if, over every alphabet, every bijective cellular automaton $A^G\\to A^G$ is reversible. Equivalently, if $G$ is not locally finite, then for every infinite alphabet $A$ there exists a bijective cellular…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-29","reactions":{}}