1,268 research outputs found
A simple block representation of reversible cellular automata with time-symmetry
Reversible Cellular Automata (RCA) are a physics-like model of computation
consisting of an array of identical cells, evolving in discrete time steps by
iterating a global evolution G. Further, G is required to be shift-invariant
(it acts the same everywhere), causal (information cannot be transmitted faster
than some fixed number of cells per time step), and reversible (it has an
inverse which verifies the same requirements). An important, though only
recently studied special case is that of Time-symmetric Cellular Automata
(TSCA), for which G and its inverse are related via a local operation. In this
note we revisit the question of the Block representation of RCA, i.e. we
provide a very simple proof of the existence of a reversible circuit
description implementing G. This operational, bottom-up description of G turns
out to be time-symmetric, suggesting interesting connections with TSCA. Indeed
we prove, using a similar technique, that a wide class of them admit an Exact
block representation (EBR), i.e. one which does not increase the state space.Comment: 6 pages, 3 figures, Automata 201
Statistical Mechanics of Surjective Cellular Automata
Reversible cellular automata are seen as microscopic physical models, and
their states of macroscopic equilibrium are described using invariant
probability measures. We establish a connection between the invariance of Gibbs
measures and the conservation of additive quantities in surjective cellular
automata. Namely, we show that the simplex of shift-invariant Gibbs measures
associated to a Hamiltonian is invariant under a surjective cellular automaton
if and only if the cellular automaton conserves the Hamiltonian. A special case
is the (well-known) invariance of the uniform Bernoulli measure under
surjective cellular automata, which corresponds to the conservation of the
trivial Hamiltonian. As an application, we obtain results indicating the lack
of (non-trivial) Gibbs or Markov invariant measures for "sufficiently chaotic"
cellular automata. We discuss the relevance of the randomization property of
algebraic cellular automata to the problem of approach to macroscopic
equilibrium, and pose several open questions.
As an aside, a shift-invariant pre-image of a Gibbs measure under a
pre-injective factor map between shifts of finite type turns out to be always a
Gibbs measure. We provide a sufficient condition under which the image of a
Gibbs measure under a pre-injective factor map is not a Gibbs measure. We point
out a potential application of pre-injective factor maps as a tool in the study
of phase transitions in statistical mechanical models.Comment: 50 pages, 7 figure
Quantum Causal Graph Dynamics
Consider a graph having quantum systems lying at each node. Suppose that the
whole thing evolves in discrete time steps, according to a global, unitary
causal operator. By causal we mean that information can only propagate at a
bounded speed, with respect to the distance given by the graph. Suppose,
moreover, that the graph itself is subject to the evolution, and may be driven
to be in a quantum superposition of graphs---in accordance to the superposition
principle. We show that these unitary causal operators must decompose as a
finite-depth circuit of local unitary gates. This unifies a result on Quantum
Cellular Automata with another on Reversible Causal Graph Dynamics. Along the
way we formalize a notion of causality which is valid in the context of quantum
superpositions of time-varying graphs, and has a number of good properties.
Keywords: Quantum Lattice Gas Automata, Block-representation,
Curtis-Hedlund-Lyndon, No-signalling, Localizability, Quantum Gravity, Quantum
Graphity, Causal Dynamical Triangulations, Spin Networks, Dynamical networks,
Graph Rewriting.Comment: 8 pages, 1 figur
The ideal energy of classical lattice dynamics
We define, as local quantities, the least energy and momentum allowed by
quantum mechanics and special relativity for physical realizations of some
classical lattice dynamics. These definitions depend on local rates of
finite-state change. In two example dynamics, we see that these rates evolve
like classical mechanical energy and momentum.Comment: 12 pages, 4 figures, includes revised portion of arXiv:0805.335
Exploring the concept of interaction computing through the discrete algebraic analysis of the Belousov–Zhabotinsky reaction
Interaction computing (IC) aims to map the properties of integrable low-dimensional non-linear dynamical systems to the discrete domain of finite-state automata in an attempt to reproduce in software the self-organizing and dynamically stable properties of sub-cellular biochemical systems. As the work reported in this paper is still at the early stages of theory development it focuses on the analysis of a particularly simple chemical oscillator, the Belousov-Zhabotinsky (BZ) reaction. After retracing the rationale for IC developed over the past several years from the physical, biological, mathematical, and computer science points of view, the paper presents an elementary discussion of the Krohn-Rhodes decomposition of finite-state automata, including the holonomy decomposition of a simple automaton, and of its interpretation as an abstract positional number system. The method is then applied to the analysis of the algebraic properties of discrete finite-state automata derived from a simplified Petri net model of the BZ reaction. In the simplest possible and symmetrical case the corresponding automaton is, not surprisingly, found to contain exclusively cyclic groups. In a second, asymmetrical case, the decomposition is much more complex and includes five different simple non-abelian groups whose potential relevance arises from their ability to encode functionally complete algebras. The possible computational relevance of these findings is discussed and possible conclusions are drawn
Dirac and Weyl Equations on a Lattice as Quantum Cellular Automata
A discretized time evolution of the wave function for a Dirac particle on a
cubic lattice is represented by a very simple quantum cellular automaton. In
each evolution step the updated value of the wave function at a given site
depends only on the values at the nearest sites, the evolution is unitary and
preserves chiral symmetry. Moreover, it is shown that the relationship between
Dirac particles and cellular automata operating on two component objects on a
lattice is indeed very close. Every local and unitary automaton on a cubic
lattice, under some natural assumptions, leads in the continuum limit to the
Weyl equation. The sum over histories is evaluated and its connection with path
integrals and theories of fermions on a lattice is outlined.Comment: 6, RevTe
Cellular automaton supercolliders
Gliders in one-dimensional cellular automata are compact groups of
non-quiescent and non-ether patterns (ether represents a periodic background)
translating along automaton lattice. They are cellular-automaton analogous of
localizations or quasi-local collective excitations travelling in a spatially
extended non-linear medium. They can be considered as binary strings or symbols
travelling along a one-dimensional ring, interacting with each other and
changing their states, or symbolic values, as a result of interactions. We
analyse what types of interaction occur between gliders travelling on a
cellular automaton `cyclotron' and build a catalog of the most common
reactions. We demonstrate that collisions between gliders emulate the basic
types of interaction that occur between localizations in non-linear media:
fusion, elastic collision, and soliton-like collision. Computational outcomes
of a swarm of gliders circling on a one-dimensional torus are analysed via
implementation of cyclic tag systems
- …