Post-surjectivity and balancedness of cellular automata over groups
Discrete mathematics & theoretical computer science, Tome 19 (2017-2018) no. 3
Voir la notice de l'article provenant de la source Episciences
We discuss cellular automata over arbitrary finitely generated groups. We call a cellular automaton post-surjective if for any pair of asymptotic configurations, every pre-image of one is asymptotic to a pre-image of the other. The well known dual concept is pre-injectivity: a cellular automaton is pre-injective if distinct asymptotic configurations have distinct images. We prove that pre-injective, post-surjective cellular automata are reversible. Moreover, on sofic groups, post-surjectivity alone implies reversibility. We also prove that reversible cellular automata over arbitrary groups are balanced, that is, they preserve the uniform measure on the configuration space.
@article{DMTCS_2017_19_3_a0,
author = {Capobianco, Silvio and Kari, Jarkko and Taati, Siamak},
title = {Post-surjectivity and balancedness of cellular automata over groups},
journal = {Discrete mathematics & theoretical computer science},
publisher = {mathdoc},
volume = {19},
number = {3},
year = {2017-2018},
doi = {10.23638/DMTCS-19-3-4},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-19-3-4/}
}
TY - JOUR AU - Capobianco, Silvio AU - Kari, Jarkko AU - Taati, Siamak TI - Post-surjectivity and balancedness of cellular automata over groups JO - Discrete mathematics & theoretical computer science PY - 2017-2018 VL - 19 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-19-3-4/ DO - 10.23638/DMTCS-19-3-4 LA - en ID - DMTCS_2017_19_3_a0 ER -
%0 Journal Article %A Capobianco, Silvio %A Kari, Jarkko %A Taati, Siamak %T Post-surjectivity and balancedness of cellular automata over groups %J Discrete mathematics & theoretical computer science %D 2017-2018 %V 19 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-19-3-4/ %R 10.23638/DMTCS-19-3-4 %G en %F DMTCS_2017_19_3_a0
Capobianco, Silvio; Kari, Jarkko; Taati, Siamak. Post-surjectivity and balancedness of cellular automata over groups. Discrete mathematics & theoretical computer science, Tome 19 (2017-2018) no. 3. doi: 10.23638/DMTCS-19-3-4
Cité par Sources :