Advertisement

Generalized Reversibility of Cellular Automata

  • Kuize ZhangEmail author
  • Lijun Zhang
  • Lihua Xie
Chapter
Part of the Communications and Control Engineering book series (CCE)

Abstract

Reversibility is a fundamental property of microscopic physical systems, implied by the laws of quantum mechanics, which seems to be at odds with the Second Law of Thermodynamics (Schiff 2008; Toffoli and Margolus 1990). Nonreversibility always implies energy dissipation, in practice, in the form of heat. Using reversible cellular automata (CAs) to simulate such systems has caused wide attention since the early days of the investigation of CAs (Toffoli and Margolus 1990; Kari 2005). On the other hand, if a CA is not reversible but reversible over an invariant closed subset, e.g., the limit set (Taaki 2007), it can also be used to describe physical systems locally. In this chapter, (Theorems 11.1, 11.2, and 11.4 were reproduced from Zhang and Zhang (2015) with permission @ 2015 Old City Publishing Inc. Theorems 11.3 and 11.5 were reproduced from Taaki (2007) with permission @ 2007 Old City Publishing Inc.) we present a formal definition to represent this class of generalized reversible CAs, and investigate some of their topological properties. We refer the reader to Zhang and Zhang (2015), Taaki (2007) for further reading. Other variants of generalized reversibility can be found in Castillo-Ramirez and Gadouleau (2017).

References

  1. Amoroso S, Patt YN (1972) Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures. J Comput Syst Sci 6(5):448–464MathSciNetCrossRefGoogle Scholar
  2. Bu C, Zhang K, Zhao J (2011) Representations of the Drazin inverse on solution of a class singular differential equations. Linear Multilinear Algebr 59(8):863–877MathSciNetCrossRefGoogle Scholar
  3. Castillo-Ramirez A, Gadouleau M (2017) Von Neumann regular cellular automata. In: Dennunzio Alberto et al (eds) Cellular automata and discrete complex systems. Springer International Publishing, Cham, pp 44–55CrossRefGoogle Scholar
  4. Culik K II, Pachl J, Yu S (1989) On the limit sets of cellular automata. SIAM J Comput 18(4):831–842MathSciNetCrossRefGoogle Scholar
  5. Drazin MP (1958) Pseudo-inverses in associative rings and semigroups. Am Math Mon 65(7):506–514MathSciNetCrossRefGoogle Scholar
  6. Kari J (1992) The nilpotency problem of one-dimensional cellular automata. SIAM J Comput 21(3):571–586MathSciNetCrossRefGoogle Scholar
  7. Kari J (1994) Reversibility and surjectivity problems of cellular automata. J Comput Syst Sci 48(1):149–182MathSciNetCrossRefGoogle Scholar
  8. Kari J (2005) Theory of cellular automata: a survey. Theor Comput Sci 334(1):3–33MathSciNetCrossRefGoogle Scholar
  9. Meyer CD Jr (1975) The role of the group generalized inverse in the theory of finite Markov chains. SIAM Rev 17(3):443–464MathSciNetCrossRefGoogle Scholar
  10. Schiff JL (2008) Cellular automata: a discrete view of the world, 1st edn. Wiley-InterscienceGoogle Scholar
  11. Taaki S (2007) Cellular automata reversible over limit set. J Cell Autom 2:167–177MathSciNetGoogle Scholar
  12. Toffoli T, Margolus NH (1990) Invertible cellular automata: a review. Phys D: Nonlinear Phenom 45(1):229–253MathSciNetCrossRefGoogle Scholar
  13. Wang G, Wei Y, Qiao S (2004) Generalized inverses: theory and computations. Science Press, Beijing/New YorkzbMATHGoogle Scholar
  14. Wolfram S (2002) A new kind of science. Wolfram MediaGoogle Scholar
  15. Zhang K, Bu C (2012) Group inverses of matrices over right Ore domains. Appl Math Comput 218(12):6942–6953MathSciNetzbMATHGoogle Scholar
  16. Zhang K, Zhang L (2015) Generalized reversibility of topological dynamical systems and cellular automata. J Cell Autom 10:425–434MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.School of Electrical Engineering and Computer ScienceKTH Royal Institute of TechnologyStockholmSweden
  2. 2.School of Marine Science and TechnologyNorthwestern Polytechnical UniversityXi’anChina
  3. 3.School of Electrical and Electronic EngineeringNanyang Technological UniversitySingaporeSingapore

Personalised recommendations