6,901 research outputs found
Order Independence in Asynchronous Cellular Automata
A sequential dynamical system, or SDS, consists of an undirected graph Y, a
vertex-indexed list of local functions F_Y, and a permutation pi of the vertex
set (or more generally, a word w over the vertex set) that describes the order
in which these local functions are to be applied. In this article we
investigate the special case where Y is a circular graph with n vertices and
all of the local functions are identical. The 256 possible local functions are
known as Wolfram rules and the resulting sequential dynamical systems are
called finite asynchronous elementary cellular automata, or ACAs, since they
resemble classical elementary cellular automata, but with the important
distinction that the vertex functions are applied sequentially rather than in
parallel. An ACA is said to be pi-independent if the set of periodic states
does not depend on the choice of pi, and our main result is that for all n>3
exactly 104 of the 256 Wolfram rules give rise to a pi-independent ACA. In 2005
Hansson, Mortveit and Reidys classified the 11 symmetric Wolfram rules with
this property. In addition to reproving and extending this earlier result, our
proofs of pi-independence also provide significant insight into the dynamics of
these systems.Comment: 18 pages. New version distinguishes between functions that are
pi-independent but not w-independen
Cellular Automata are Generic
Any algorithm (in the sense of Gurevich's abstract-state-machine
axiomatization of classical algorithms) operating over any arbitrary unordered
domain can be simulated by a dynamic cellular automaton, that is, by a
pattern-directed cellular automaton with unconstrained topology and with the
power to create new cells. The advantage is that the latter is closer to
physical reality. The overhead of our simulation is quadratic.Comment: In Proceedings DCM 2014, arXiv:1504.0192
Cycle Equivalence of Graph Dynamical Systems
Graph dynamical systems (GDSs) can be used to describe a wide range of
distributed, nonlinear phenomena. In this paper we characterize cycle
equivalence of a class of finite GDSs called sequential dynamical systems SDSs.
In general, two finite GDSs are cycle equivalent if their periodic orbits are
isomorphic as directed graphs. Sequential dynamical systems may be thought of
as generalized cellular automata, and use an update order to construct the
dynamical system map.
The main result of this paper is a characterization of cycle equivalence in
terms of shifts and reflections of the SDS update order. We construct two
graphs C(Y) and D(Y) whose components describe update orders that give rise to
cycle equivalent SDSs. The number of components in C(Y) and D(Y) is an upper
bound for the number of cycle equivalence classes one can obtain, and we
enumerate these quantities through a recursion relation for several graph
classes. The components of these graphs encode dynamical neutrality, the
component sizes represent periodic orbit structural stability, and the number
of components can be viewed as a system complexity measure
General Iteration graphs and Boolean automata circuits
This article is set in the field of regulation networks modeled by discrete
dynamical systems. It focuses on Boolean automata networks. In such networks,
there are many ways to update the states of every element. When this is done
deterministically, at each time step of a discretised time flow and according
to a predefined order, we say that the network is updated according to
block-sequential update schedule (blocks of elements are updated sequentially
while, within each block, the elements are updated synchronously). Many
studies, for the sake of simplicity and with some biologically motivated
reasons, have concentrated on networks updated with one particular
block-sequential update schedule (more often the synchronous/parallel update
schedule or the sequential update schedules). The aim of this paper is to give
an argument formally proven and inspired by biological considerations in favour
of the fact that the choice of a particular update schedule does not matter so
much in terms of the possible and likely dynamical behaviours that networks may
display
A guided tour of asynchronous cellular automata
Research on asynchronous cellular automata has received a great amount of
attention these last years and has turned to a thriving field. We survey the
recent research that has been carried out on this topic and present a wide
state of the art where computing and modelling issues are both represented.Comment: To appear in the Journal of Cellular Automat
Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems
A complete classification of the computational complexity of the fixed-point
existence problem for boolean dynamical systems, i.e., finite discrete
dynamical systems over the domain {0, 1}, is presented. For function classes F
and graph classes G, an (F, G)-system is a boolean dynamical system such that
all local transition functions lie in F and the underlying graph lies in G. Let
F be a class of boolean functions which is closed under composition and let G
be a class of graphs which is closed under taking minors. The following
dichotomy theorems are shown: (1) If F contains the self-dual functions and G
contains the planar graphs then the fixed-point existence problem for (F,
G)-systems with local transition function given by truth-tables is NP-complete;
otherwise, it is decidable in polynomial time. (2) If F contains the self-dual
functions and G contains the graphs having vertex covers of size one then the
fixed-point existence problem for (F, G)-systems with local transition function
given by formulas or circuits is NP-complete; otherwise, it is decidable in
polynomial time.Comment: 17 pages; this version corrects an error/typo in the 2008/01/24
versio
Coxeter Groups and Asynchronous Cellular Automata
The dynamics group of an asynchronous cellular automaton (ACA) relates
properties of its long term dynamics to the structure of Coxeter groups. The
key mathematical feature connecting these diverse fields is involutions.
Group-theoretic results in the latter domain may lead to insight about the
dynamics in the former, and vice-versa. In this article, we highlight some
central themes and common structures, and discuss novel approaches to some open
and open-ended problems. We introduce the state automaton of an ACA, and show
how the root automaton of a Coxeter group is essentially part of the state
automaton of a related ACA.Comment: 10 pages, 4 figure
Completeness Results for Parameterized Space Classes
The parameterized complexity of a problem is considered "settled" once it has
been shown to lie in FPT or to be complete for a class in the W-hierarchy or a
similar parameterized hierarchy. Several natural parameterized problems have,
however, resisted such a classification. At least in some cases, the reason is
that upper and lower bounds for their parameterized space complexity have
recently been obtained that rule out completeness results for parameterized
time classes. In this paper, we make progress in this direction by proving that
the associative generability problem and the longest common subsequence problem
are complete for parameterized space classes. These classes are defined in
terms of different forms of bounded nondeterminism and in terms of simultaneous
time--space bounds. As a technical tool we introduce a "union operation" that
translates between problems complete for classical complexity classes and for
W-classes.Comment: IPEC 201
Sequential circuit design in quantum-dot cellular automata
In this work we present a novel probabilistic modeling scheme for sequential circuit design in quantum-dot cellular automata(QCA) technology. Clocked QCA circuits possess an inherent direction for flow of information which can be effectively modeled using Bayesian networks (BN). In sequential circuit design this presents a problem due to the presence of feedback cycles since BN are direct acyclic graphs (DAG). The model presented in this work can be constructed from a logic design layout in QCA and is shown to be a dynamic Bayesian Network (DBN). DBN are very powerful in modeling higher order spatial and temporal correlations that are present in most of the sequential circuits. The attractive feature of this graphical probabilistic model is that that it not only makes the dependency relationships amongst node explicit, but it also serves as a computational mechanism for probabilistic inference. We analyze our work by modeling clocked QCA circuits for SR F/F, JK F/F and RAM designs
- …