Abstract
If we encounter a function then we may ask whether it is continuous and next whether it is bijective, surjective or injective. With respect to cellular automata we have already dealt with continuity. This section is concerned with the second question. Also physicists may want to know whether the dynamical system defined by a cellular automaton is reversible. Physicists use cellular automata as simple models for microscopic processes. Hence there should be some interest to identify those cellular automata that can be reversed in time, i.e., which have a bijective global function [163].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The sets \(\tilde{\Gamma }^{+}\) and \(\tilde{\Gamma }^{-}\) can be interpreted as the closure and the interior of \(\tilde{\Gamma }\).
References
S. Capobianco, Surjunctivity for cellular automata in Besicovitch spaces. J. Cell. Autom. 4, 89–98 (2009)
T. Ceccherini-Silberstein, M. Coornaert, Cellular Automata and Groups. Springer Monographs in Mathematics (Springer, Berlin, 2010)
E. Czeizler, On the size of the inverse neighborhoods for one-dimensional reversible cellular automata. Theor. Comput. Sci. 325, 273–284 (2004)
E. Czeizler, J. Kari, A tight linear bound on the synchronization delay of bijective automata. Theor. Comput. Sci. 380, 23–36 (2007)
M. Dubois-Violette, A. Rouet, A mathematical classification of the one-dimensional deterministic cellular automata. Commun. Math. Phys. 112, 627–631 (1987)
H. Fukś, A. Skelton, Classification of two-dimensional binary cellular automata with respect to surjectivity, in Proceedings of the International Conference on Computational Science, CSC 2012, pp. 51–57, 2012
W. Gottschalk, Some general dynamical notions, in Recent Advances in Topological Dynamics, Proceedings of Conference in Topological Dynamics, Yale University, Lecture Notes on Mathematics, vol. 318 (Springer, Berlin, 1973), pp. 120–125
G. Hedlund, Endomorphisms and automorphisms of the shift dynamical systems. Math. Syst. Theory 3, 320–374 (1969)
J. Kari, Reversibility and surjectivity problems of cellular automata. J. Comput. Syst. Sci. 48, 149–182 (1994)
A. Machi, F. Mignosi, Garden of Eden configurations for cellular automata on Cayley graphs of groups. SIAM J. Discret. Math. 160, 44–56 (1993)
E. Moore, Machine models of self-reproduction, in Proceedings of Symposia in Applied Mathematics, vol. 14 (American Mathematical Society, Providence, RI, 1962), pp. 17–33
J. Myhill, The converse of Moore’s Garden-of-Eden theorem. Proc. Am. Math. Soc. 14, 685–686 (1963)
K. Sutner, Linear cellular automata and de Bruijn automata, in Cellular Automata, ed. by M. Delorme, J. Mazoyer, Mathematics and Its Applications, vol. 460 (Springer, Berlin, 1998), pp. 303–320
T. Toffoli, N. Margolus, Invertible cellular automata: a review. Phys. D 45, 229–253 (1990)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Hadeler, KP., Müller, J. (2017). Surjectivity and Injectivity of Global Maps. In: Cellular Automata: Analysis and Applications. Springer Monographs in Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-319-53043-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-53043-7_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-53042-0
Online ISBN: 978-3-319-53043-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)