2,244 research outputs found
Topology regulates pattern formation capacity of binary cellular automata on graphs
We study the effect of topology variation on the dynamic behavior of a system
with local update rules. We implement one-dimensional binary cellular automata
on graphs with various topologies by formulating two sets of degree-dependent
rules, each containing a single parameter. We observe that changes in graph
topology induce transitions between different dynamic domains (Wolfram classes)
without a formal change in the update rule. Along with topological variations,
we study the pattern formation capacities of regular, random, small-world and
scale-free graphs. Pattern formation capacity is quantified in terms of two
entropy measures, which for standard cellular automata allow a qualitative
distinction between the four Wolfram classes. A mean-field model explains the
dynamic behavior of random graphs. Implications for our understanding of
information transport through complex, network-based systems are discussed.Comment: 16 text pages, 13 figures. To be published in Physica
Outer-totalistic cellular automata on graphs
We present an intuitive formalism for implementing cellular automata on
arbitrary topologies. By that means, we identify a symmetry operation in the
class of elementary cellular automata. Moreover, we determine the subset of
topologically sensitive elementary cellular automata and find that the overall
number of complex patterns decreases under increasing neighborhood size in
regular graphs. As exemplary applications, we apply the formalism to complex
networks and compare the potential of scale-free graphs and metabolic networks
to generate complex dynamics.Comment: 5 pages, 4 figures, 1 table. To appear in Physics Letters
Complexity of Two-Dimensional Patterns
In dynamical systems such as cellular automata and iterated maps, it is often
useful to look at a language or set of symbol sequences produced by the system.
There are well-established classification schemes, such as the Chomsky
hierarchy, with which we can measure the complexity of these sets of sequences,
and thus the complexity of the systems which produce them.
In this paper, we look at the first few levels of a hierarchy of complexity
for two-or-more-dimensional patterns. We show that several definitions of
``regular language'' or ``local rule'' that are equivalent in d=1 lead to
distinct classes in d >= 2. We explore the closure properties and computational
complexity of these classes, including undecidability and L-, NL- and
NP-completeness results.
We apply these classes to cellular automata, in particular to their sets of
fixed and periodic points, finite-time images, and limit sets. We show that it
is undecidable whether a CA in d >= 2 has a periodic point of a given period,
and that certain ``local lattice languages'' are not finite-time images or
limit sets of any CA. We also show that the entropy of a d-dimensional CA's
finite-time image cannot decrease faster than t^{-d} unless it maps every
initial condition to a single homogeneous state.Comment: To appear in J. Stat. Phy
Formal Languages in Dynamical Systems
We treat here the interrelation between formal languages and those dynamical
systems that can be described by cellular automata (CA). There is a well-known
injective map which identifies any CA-invariant subshift with a central formal
language. However, in the special case of a symbolic dynamics, i.e. where the
CA is just the shift map, one gets a stronger result: the identification map
can be extended to a functor between the categories of symbolic dynamics and
formal languages. This functor additionally maps topological conjugacies
between subshifts to empty-string-limited generalized sequential machines
between languages. If the periodic points form a dense set, a case which arises
in a commonly used notion of chaotic dynamics, then an even more natural map to
assign a formal language to a subshift is offered. This map extends to a
functor, too. The Chomsky hierarchy measuring the complexity of formal
languages can be transferred via either of these functors from formal languages
to symbolic dynamics and proves to be a conjugacy invariant there. In this way
it acquires a dynamical meaning. After reviewing some results of the complexity
of CA-invariant subshifts, special attention is given to a new kind of
invariant subshift: the trapped set, which originates from the theory of
chaotic scattering and for which one can study complexity transitions.Comment: 23 pages, LaTe
Automatic Filters for the Detection of Coherent Structure in Spatiotemporal Systems
Most current methods for identifying coherent structures in
spatially-extended systems rely on prior information about the form which those
structures take. Here we present two new approaches to automatically filter the
changing configurations of spatial dynamical systems and extract coherent
structures. One, local sensitivity filtering, is a modification of the local
Lyapunov exponent approach suitable to cellular automata and other discrete
spatial systems. The other, local statistical complexity filtering, calculates
the amount of information needed for optimal prediction of the system's
behavior in the vicinity of a given point. By examining the changing
spatiotemporal distributions of these quantities, we can find the coherent
structures in a variety of pattern-forming cellular automata, without needing
to guess or postulate the form of that structure. We apply both filters to
elementary and cyclical cellular automata (ECA and CCA) and find that they
readily identify particles, domains and other more complicated structures. We
compare the results from ECA with earlier ones based upon the theory of formal
languages, and the results from CCA with a more traditional approach based on
an order parameter and free energy. While sensitivity and statistical
complexity are equally adept at uncovering structure, they are based on
different system properties (dynamical and probabilistic, respectively), and
provide complementary information.Comment: 16 pages, 21 figures. Figures considerably compressed to fit arxiv
requirements; write first author for higher-resolution version
The Computational Complexity of Symbolic Dynamics at the Onset of Chaos
In a variety of studies of dynamical systems, the edge of order and chaos has
been singled out as a region of complexity. It was suggested by Wolfram, on the
basis of qualitative behaviour of cellular automata, that the computational
basis for modelling this region is the Universal Turing Machine. In this paper,
following a suggestion of Crutchfield, we try to show that the Turing machine
model may often be too powerful as a computational model to describe the
boundary of order and chaos. In particular we study the region of the first
accumulation of period doubling in unimodal and bimodal maps of the interval,
from the point of view of language theory. We show that in relation to the
``extended'' Chomsky hierarchy, the relevant computational model in the
unimodal case is the nested stack automaton or the related indexed languages,
while the bimodal case is modeled by the linear bounded automaton or the
related context-sensitive languages.Comment: 1 reference corrected, 1 reference added, minor changes in body of
manuscrip
Similar impact of topological and dynamic noise on complex patterns
Shortcuts in a regular architecture affect the information transport through
the system due to the severe decrease in average path length. A fundamental new
perspective in terms of pattern formation is the destabilizing effect of
topological perturbations by processing distant uncorrelated information,
similarly to stochastic noise. We study the functional coincidence of rewiring
and noisy communication on patterns of binary cellular automata.Comment: 8 pages, 7 figures. To be published in Physics Letters
- …