4,581 research outputs found
On the decomposition of stochastic cellular automata
In this paper we present two interesting properties of stochastic cellular
automata that can be helpful in analyzing the dynamical behavior of such
automata. The first property allows for calculating cell-wise probability
distributions over the state set of a stochastic cellular automaton, i.e.
images that show the average state of each cell during the evolution of the
stochastic cellular automaton. The second property shows that stochastic
cellular automata are equivalent to so-called stochastic mixtures of
deterministic cellular automata. Based on this property, any stochastic
cellular automaton can be decomposed into a set of deterministic cellular
automata, each of which contributes to the behavior of the stochastic cellular
automaton.Comment: Submitted to Journal of Computation Science, Special Issue on
Cellular Automata Application
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
Attractiveness of the Haar measure for linear cellular automata on Markov subgroups
For the action of an algebraic cellular automaton on a Markov subgroup, we
show that the Ces\`{a}ro mean of the iterates of a Markov measure converges to
the Haar measure. This is proven by using the combinatorics of the binomial
coefficients on the regenerative construction of the Markov measure.Comment: Published at http://dx.doi.org/10.1214/074921706000000130 in the IMS
Lecture Notes--Monograph Series
(http://www.imstat.org/publications/lecnotes.htm) by the Institute of
Mathematical Statistics (http://www.imstat.org
A Comparison Between Different Cycle Decompositions for Metropolis Dynamics
In the last decades the problem of metastability has been attacked on
rigorous grounds via many different approaches and techniques which are briefly reviewed in this paper.
It is then useful to understand connections between different
point of views. In view of this
we consider irreducible, aperiodic and
reversible Markov chains with exponentially
small transition probabilities in the framework of Metropolis dynamics.
We compare two different cycle decompositions and prove their equivalence
Cellular Automata Applications in Shortest Path Problem
Cellular Automata (CAs) are computational models that can capture the
essential features of systems in which global behavior emerges from the
collective effect of simple components, which interact locally. During the last
decades, CAs have been extensively used for mimicking several natural processes
and systems to find fine solutions in many complex hard to solve computer
science and engineering problems. Among them, the shortest path problem is one
of the most pronounced and highly studied problems that scientists have been
trying to tackle by using a plethora of methodologies and even unconventional
approaches. The proposed solutions are mainly justified by their ability to
provide a correct solution in a better time complexity than the renowned
Dijkstra's algorithm. Although there is a wide variety regarding the
algorithmic complexity of the algorithms suggested, spanning from simplistic
graph traversal algorithms to complex nature inspired and bio-mimicking
algorithms, in this chapter we focus on the successful application of CAs to
shortest path problem as found in various diverse disciplines like computer
science, swarm robotics, computer networks, decision science and biomimicking
of biological organisms' behaviour. In particular, an introduction on the first
CA-based algorithm tackling the shortest path problem is provided in detail.
After the short presentation of shortest path algorithms arriving from the
relaxization of the CAs principles, the application of the CA-based shortest
path definition on the coordinated motion of swarm robotics is also introduced.
Moreover, the CA based application of shortest path finding in computer
networks is presented in brief. Finally, a CA that models exactly the behavior
of a biological organism, namely the Physarum's behavior, finding the
minimum-length path between two points in a labyrinth is given.Comment: To appear in the book: Adamatzky, A (Ed.) Shortest path solvers. From
software to wetware. Springer, 201
Local Causal States and Discrete Coherent Structures
Coherent structures form spontaneously in nonlinear spatiotemporal systems
and are found at all spatial scales in natural phenomena from laboratory
hydrodynamic flows and chemical reactions to ocean, atmosphere, and planetary
climate dynamics. Phenomenologically, they appear as key components that
organize the macroscopic behaviors in such systems. Despite a century of
effort, they have eluded rigorous analysis and empirical prediction, with
progress being made only recently. As a step in this, we present a formal
theory of coherent structures in fully-discrete dynamical field theories. It
builds on the notion of structure introduced by computational mechanics,
generalizing it to a local spatiotemporal setting. The analysis' main tool
employs the \localstates, which are used to uncover a system's hidden
spatiotemporal symmetries and which identify coherent structures as
spatially-localized deviations from those symmetries. The approach is
behavior-driven in the sense that it does not rely on directly analyzing
spatiotemporal equations of motion, rather it considers only the spatiotemporal
fields a system generates. As such, it offers an unsupervised approach to
discover and describe coherent structures. We illustrate the approach by
analyzing coherent structures generated by elementary cellular automata,
comparing the results with an earlier, dynamic-invariant-set approach that
decomposes fields into domains, particles, and particle interactions.Comment: 27 pages, 10 figures;
http://csc.ucdavis.edu/~cmg/compmech/pubs/dcs.ht
A method for inferring hierarchical dynamics in stochastic processes
Complex systems may often be characterized by their hierarchical dynamics. In
this paper do we present a method and an operational algorithm that
automatically infer this property in a broad range of systems; discrete
stochastic processes. The main idea is to systematically explore the set of
projections from the state space of a process to smaller state spaces, and to
determine which of the projections that impose Markovian dynamics on the
coarser level. These projections, which we call Markov projections, then
constitute the hierarchical dynamics of the system. The algorithm operates on
time series or other statistics, so a priori knowledge of the intrinsic
workings of a system is not required in order to determine its hierarchical
dynamics. We illustrate the method by applying it to two simple processes; a
finite state automaton and an iterated map.Comment: 16 pages, 12 figure
Applying causality principles to the axiomatization of probabilistic cellular automata
Cellular automata (CA) consist of an array of identical cells, each of which
may take one of a finite number of possible states. The entire array evolves in
discrete time steps by iterating a global evolution G. Further, this global
evolution G is required to be shift-invariant (it acts the same everywhere) and
causal (information cannot be transmitted faster than some fixed number of
cells per time step). At least in the classical, reversible and quantum cases,
these two top-down axiomatic conditions are sufficient to entail more
bottom-up, operational descriptions of G. We investigate whether the same is
true in the probabilistic case. Keywords: Characterization, noise, Markov
process, stochastic Einstein locality, screening-off, common cause principle,
non-signalling, Multi-party non-local box.Comment: 13 pages, 6 figures, LaTeX, v2: refs adde
A comparison between different cycle decompositions for Metropolis dynamics
In the last decades the problem of metastability has been attacked on
rigorous grounds via many different approaches and techniques which are briefly
reviewed in this paper. It is then useful to understand connections between
different point of views. In view of this we consider irreducible, aperiodic
and reversible Markov chains with exponentially small transition probabilities
in the framework of Metropolis dynamics. We compare two different cycle
decompositions and prove their equivalence
- …