348 research outputs found
Two points of view to study the iterates of a random configuration by a cellular automaton
ISBN 978-5-94057-377-7International audienceWe study the dynamics of the action of cellular automata on the set of shift-invariant probability measures according two points of view. First, the robustness of the simulation of a cellular automaton on a random configuration can be viewed considering the sensitivity to initial condition in the space of shift-invariant probability measures. Secondly we consider the evolution of the quantity of information in the orbit of a random initial state
Intrinsic Simulations between Stochastic Cellular Automata
The paper proposes a simple formalism for dealing with deterministic,
non-deterministic and stochastic cellular automata in a unifying and composable
manner. Armed with this formalism, we extend the notion of intrinsic simulation
between deterministic cellular automata, to the non-deterministic and
stochastic settings. We then provide explicit tools to prove or disprove the
existence of such a simulation between two stochastic cellular automata, even
though the intrinsic simulation relation is shown to be undecidable in
dimension two and higher. The key result behind this is the caracterization of
equality of stochastic global maps by the existence of a coupling between the
random sources. We then prove that there is a universal non-deterministic
cellular automaton, but no universal stochastic cellular automaton. Yet we
provide stochastic cellular automata achieving optimal partial universality.Comment: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.249
Dense packing on uniform lattices
We study the Hard Core Model on the graphs
obtained from Archimedean tilings i.e. configurations in with the nearest neighbor 1's forbidden. Our
particular aim in choosing these graphs is to obtain insight to the geometry of
the densest packings in a uniform discrete set-up. We establish density bounds,
optimal configurations reaching them in all cases, and introduce a
probabilistic cellular automaton that generates the legal configurations. Its
rule involves a parameter which can be naturally characterized as packing
pressure. It can have a critical value but from packing point of view just as
interesting are the noncritical cases. These phenomena are related to the
exponential size of the set of densest packings and more specifically whether
these packings are maximally symmetric, simple laminated or essentially random
packings.Comment: 18 page
Density classification on infinite lattices and trees
Consider an infinite graph with nodes initially labeled by independent
Bernoulli random variables of parameter p. We address the density
classification problem, that is, we want to design a (probabilistic or
deterministic) cellular automaton or a finite-range interacting particle system
that evolves on this graph and decides whether p is smaller or larger than 1/2.
Precisely, the trajectories should converge to the uniform configuration with
only 0's if p1/2. We present solutions to that problem
on the d-dimensional lattice, for any d>1, and on the regular infinite trees.
For Z, we propose some candidates that we back up with numerical simulations
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
-Limit Sets of Cellular Automata from a Computational Complexity Perspective
This paper concerns -limit sets of cellular automata: sets of
configurations made of words whose probability to appear does not vanish with
time, starting from an initial -random configuration. More precisely, we
investigate the computational complexity of these sets and of related decision
problems. Main results: first, -limit sets can have a -hard
language, second, they can contain only -complex configurations, third,
any non-trivial property concerning them is at least -hard. We prove
complexity upper bounds, study restrictions of these questions to particular
classes of CA, and different types of (non-)convergence of the measure of a
word during the evolution.Comment: 41 page
- …