1,413 research outputs found
Probabilistic cellular automata, invariant measures, and perfect sampling
A probabilistic cellular automaton (PCA) can be viewed as a Markov chain. The
cells are updated synchronously and independently, according to a distribution
depending on a finite neighborhood. We investigate the ergodicity of this
Markov chain. A classical cellular automaton is a particular case of PCA. For a
1-dimensional cellular automaton, we prove that ergodicity is equivalent to
nilpotency, and is therefore undecidable. We then propose an efficient perfect
sampling algorithm for the invariant measure of an ergodic PCA. Our algorithm
does not assume any monotonicity property of the local rule. It is based on a
bounding process which is shown to be also a PCA. Last, we focus on the PCA
Majority, whose asymptotic behavior is unknown, and perform numerical
experiments using the perfect sampling procedure
Probabilistic cellular automata and random fields with i.i.d. directions
Let us consider the simplest model of one-dimensional probabilistic cellular
automata (PCA). The cells are indexed by the integers, the alphabet is {0, 1},
and all the cells evolve synchronously. The new content of a cell is randomly
chosen, independently of the others, according to a distribution depending only
on the content of the cell itself and of its right neighbor. There are
necessary and sufficient conditions on the four parameters of such a PCA to
have a Bernoulli product invariant measure. We study the properties of the
random field given by the space-time diagram obtained when iterating the PCA
starting from its Bernoulli product invariant measure. It is a non-trivial
random field with very weak dependences and nice combinatorial properties. In
particular, not only the horizontal lines but also the lines in any other
direction consist in i.i.d. random variables. We study extensions of the
results to Markovian invariant measures, and to PCA with larger alphabets and
neighborhoods
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
Percolation games, probabilistic cellular automata, and the hard-core model
Let each site of the square lattice be independently assigned
one of three states: a \textit{trap} with probability , a \textit{target}
with probability , and \textit{open} with probability , where
. Consider the following game: a token starts at the origin, and two
players take turns to move, where a move consists of moving the token from its
current site to either or . A player who moves the token
to a trap loses the game immediately, while a player who moves the token to a
target wins the game immediately. Is there positive probability that the game
is \emph{drawn} with best play -- i.e.\ that neither player can force a win?
This is equivalent to the question of ergodicity of a certain family of
elementary one-dimensional probabilistic cellular automata (PCA). These
automata have been studied in the contexts of enumeration of directed lattice
animals, the golden-mean subshift, and the hard-core model, and their
ergodicity has been noted as an open problem by several authors. We prove that
these PCA are ergodic, and correspondingly that the game on has
no draws.
On the other hand, we prove that certain analogous games \emph{do} exhibit
draws for suitable parameter values on various directed graphs in higher
dimensions, including an oriented version of the even sublattice of
in all . This is proved via a dimension reduction to a
hard-core lattice gas in dimension . We show that draws occur whenever the
corresponding hard-core model has multiple Gibbs distributions. We conjecture
that draws occur also on the standard oriented lattice for
, but here our method encounters a fundamental obstacle.Comment: 35 page
Stationary measures and phase transition for a class of Probabilistic Cellular Automata
We discuss various properties of Probabilistic Cellular Automata, such as the structure of the set of stationary measures and multiplicity of stationary measures (or phase transition) for reversible models
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
- …