{"id":"arxiv/2604.10124","url":"https://arxiv.org/abs/2604.10124","tags":["math.DS","cs.FL","math.PR"],"score":0,"title":"On a Constraint on Invariant Measures of Certain Cellular Automata (Bi-Permutative and More)","domain":"math.DS","source":"arxiv","authors":["Matan Tal"],"reviews":0,"subject":"math.DS","summary":"In [10], a constraint on invariant measures of bi-permutative cellular automata has been observed. Its content was more or less as follows: fixed values at the positive indices determine almost-surely a uniform conditional probability on the subset of values of positive conditional probability at the zero index. When the alphabet is a finite group and the automaton is multiplication of two neighbors, that set is in fact a coset of some subgroup. In the present paper, we strengthen the formulations in [10] and investigate further the implications of this constraint. In the finite group case…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-11","reactions":{}}