Fermion picture for cellular automata

How do cellular automata behave in the limit of a very large number of cells? Is there a continuum limit with simple properties? We attack this problem by mapping certain classes of automata to quantum field theories for which powerful methods exist for this type of problem. Indeed, many cellular automata admit an interpretation in terms of fermionic particles. Reversible automata on space-lattices with a local updating rule can be described by a partition function or Grassmann functional integral for interacting fermions moving in this space. We discuss large classes of automata that are equivalent to discretized fermionic quantum field theories with various types of interactions. Two-dimensional models include relativistic Thirring or Gross-Neveu type models with abelian or non-abelian continuous global symmetries, models with local gauge symmetries, and spinor gravity with local Lorentz symmetry as well as diffeomorphism invariance in the (naive) continuum limit. The limit of a very large number of cells needs a probabilistic description. Probabilistic cellular automata are characterized by a probability distribution over initial bit-configurations. They can be described by the quantum formalism with wave functions, density matrix and non-commuting operators associated to observables, which are the same for the automata and associated fermionic quantum theories. This formalism is crucial for a discussion of concepts as vacuum states, spontaneous symmetry breaking, coarse graining and the continuum limit for probabilistic cellular automata. In particular, we perform explicitly the continuum limit for an automaton that describes a quantum particle in a potential for one space dimension.