1,637 research outputs found
Phase Space Invertible Asynchronous Cellular Automata
While for synchronous deterministic cellular automata there is an accepted
definition of reversibility, the situation is less clear for asynchronous
cellular automata. We first discuss a few possibilities and then investigate
what we call phase space invertible asynchronous cellular automata in more
detail. We will show that for each Turing machine there is such a cellular
automaton simulating it, and that it is decidable whether an asynchronous
cellular automaton has this property or not, even in higher dimensions.Comment: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.249
When--and how--can a cellular automaton be rewritten as a lattice gas?
Both cellular automata (CA) and lattice-gas automata (LG) provide finite
algorithmic presentations for certain classes of infinite dynamical systems
studied by symbolic dynamics; it is customary to use the term `cellular
automaton' or `lattice gas' for the dynamic system itself as well as for its
presentation. The two kinds of presentation share many traits but also display
profound differences on issues ranging from decidability to modeling
convenience and physical implementability.
Following a conjecture by Toffoli and Margolus, it had been proved by Kari
(and by Durand--Lose for more than two dimensions) that any invertible CA can
be rewritten as an LG (with a possibly much more complex ``unit cell''). But
until now it was not known whether this is possible in general for
noninvertible CA--which comprise ``almost all'' CA and represent the bulk of
examples in theory and applications. Even circumstantial evidence--whether in
favor or against--was lacking.
Here, for noninvertible CA, (a) we prove that an LG presentation is out of
the question for the vanishingly small class of surjective ones. We then turn
our attention to all the rest--noninvertible and nonsurjective--which comprise
all the typical ones, including Conway's `Game of Life'. For these (b) we prove
by explicit construction that all the one-dimensional ones are representable as
LG, and (c) we present and motivate the conjecture that this result extends to
any number of dimensions.
The tradeoff between dissipation rate and structural complexity implied by
the above results have compelling implications for the thermodynamics of
computation at a microscopic scale.Comment: 16 page
Causal graph dynamics
We extend the theory of Cellular Automata to arbitrary, time-varying graphs.
In other words we formalize, and prove theorems about, the intuitive idea of a
labelled graph which evolves in time - but under the natural constraint that
information can only ever be transmitted at a bounded speed, with respect to
the distance given by the graph. The notion of translation-invariance is also
generalized. The definition we provide for these "causal graph dynamics" is
simple and axiomatic. The theorems we provide also show that it is robust. For
instance, causal graph dynamics are stable under composition and under
restriction to radius one. In the finite case some fundamental facts of
Cellular Automata theory carry through: causal graph dynamics admit a
characterization as continuous functions, and they are stable under inversion.
The provided examples suggest a wide range of applications of this mathematical
object, from complex systems science to theoretical physics. KEYWORDS:
Dynamical networks, Boolean networks, Generative networks automata, Cayley
cellular automata, Graph Automata, Graph rewriting automata, Parallel graph
transformations, Amalgamated graph transformations, Time-varying graphs, Regge
calculus, Local, No-signalling.Comment: 25 pages, 9 figures, LaTeX, v2: Minor presentation improvements, v3:
Typos corrected, figure adde
Von Neumann Regular Cellular Automata
For any group and any set , a cellular automaton (CA) is a
transformation of the configuration space defined via a finite memory set
and a local function. Let be the monoid of all CA over .
In this paper, we investigate a generalisation of the inverse of a CA from the
semigroup-theoretic perspective. An element is von
Neumann regular (or simply regular) if there exists
such that and , where is the composition of functions. Such an
element is called a generalised inverse of . The monoid
itself is regular if all its elements are regular. We
establish that is regular if and only if
or , and we characterise all regular elements in
when and are both finite. Furthermore, we study
regular linear CA when is a vector space over a field ; in
particular, we show that every regular linear CA is invertible when is
torsion-free elementary amenable (e.g. when ) and , and that every linear CA is regular when
is finite-dimensional and is locally finite with for all .Comment: 10 pages. Theorem 5 corrected from previous versions, in A.
Dennunzio, E. Formenti, L. Manzoni, A.E. Porreca (Eds.): Cellular Automata
and Discrete Complex Systems, AUTOMATA 2017, LNCS 10248, pp. 44-55, Springer,
201
On the structure of Clifford quantum cellular automata
We study reversible quantum cellular automata with the restriction that these
are also Clifford operations. This means that tensor products of Pauli
operators (or discrete Weyl operators) are mapped to tensor products of Pauli
operators. Therefore Clifford quantum cellular automata are induced by
symplectic cellular automata in phase space. We characterize these symplectic
cellular automata and find that all possible local rules must be, up to some
global shift, reflection invariant with respect to the origin. In the one
dimensional case we also find that every uniquely determined and
translationally invariant stabilizer state can be prepared from a product state
by a single Clifford cellular automaton timestep, thereby characterizing these
class of stabilizer states, and we show that all 1D Clifford quantum cellular
automata are generated by a few elementary operations. We also show that the
correspondence between translationally invariant stabilizer states and
translationally invariant Clifford operations holds for periodic boundary
conditions.Comment: 28 pages, 2 figures, LaTe
- …