2025/04/08 by Benjamin Hellouin de Ménibus, de Menibus, Benjamin Hellouin, Ilkka Törmä +3
Computer Science · Mathematics · #Cellular Automata and Applications #Stochastic processes and statistical mechanics #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2504.06058
We study the behavior of probability measures under iteration of a surjective cellular automaton. We solve the following question in the negative: if the initial measure is ergodic and has full support, do all weak-* limit points of the sequence of measures have full support as well? The initial measure of our solution is not a product measure, and in this case the question remains open. To this end, we present a tool for studying the frequencies of symbols in preimages of surjective cellular automata, and prove some basic results about it. However, we show that by itself it is not enough to solve the stricter question in the positive.