2,753 research outputs found
On the absence of homogeneous scalar unitary cellular automata
Failure to find homogeneous scalar unitary cellular automata (CA) in one
dimension led to consideration of only ``approximately unitary'' CA---which
motivated our recent proof of a No-go Lemma in one dimension. In this note we
extend the one dimensional result to prove the absence of nontrivial
homogeneous scalar unitary CA on Euclidean lattices in any dimension.Comment: 7 pages, plain TeX, 3 PostScript figures included with epsf.tex
(ignore the under/overfull \vbox error messages); minor changes (including
title wording) in response to referee suggestions, also updated references;
to appear in Phys. Lett.
Index theory of one dimensional quantum walks and cellular automata
If a one-dimensional quantum lattice system is subject to one step of a
reversible discrete-time dynamics, it is intuitive that as much "quantum
information" as moves into any given block of cells from the left, has to exit
that block to the right. For two types of such systems - namely quantum walks
and cellular automata - we make this intuition precise by defining an index, a
quantity that measures the "net flow of quantum information" through the
system. The index supplies a complete characterization of two properties of the
discrete dynamics. First, two systems S_1, S_2 can be pieced together, in the
sense that there is a system S which locally acts like S_1 in one region and
like S_2 in some other region, if and only if S_1 and S_2 have the same index.
Second, the index labels connected components of such systems: equality of the
index is necessary and sufficient for the existence of a continuous deformation
of S_1 into S_2. In the case of quantum walks, the index is integer-valued,
whereas for cellular automata, it takes values in the group of positive
rationals. In both cases, the map S -> ind S is a group homomorphism if
composition of the discrete dynamics is taken as the group law of the quantum
systems. Systems with trivial index are precisely those which can be realized
by partitioned unitaries, and the prototypes of systems with non-trivial index
are shifts.Comment: 38 pages. v2: added examples, terminology clarifie
Recommended from our members
Pseudorandom number generation with self programmable cellular automata
In this paper, we propose a new class of cellular automata – self programming cellular automata (SPCA) with specific application to pseudorandom number generation. By changing a cell's state transition rules in relation to factors such as its neighboring cell's states, behavioral complexity can be increased and utilized. Interplay between the state transition neighborhood and rule selection neighborhood leads to a new composite neighborhood and state transition rule that is the linear combination of two different mappings with different temporal dependencies. It is proved that when the transitional matrices for both the state transition and rule selection neighborhood are non-singular, SPCA will not exhibit non-group behavior. Good performance can be obtained using simple neighborhoods with certain CA length, transition rules etc. Certain configurations of SPCA pass all DIEHARD and ENT tests with an implementation cost lower than current reported work. Output sampling methods are also suggested to improve output efficiency by sampling the outputs of the new rule selection neighborhoods
Identification of probabilistic cellular automata
The identification of probabilistic cellular automata (PCA) is studied using a new two stage neighborhood detection algorithm. It is shown that a binary probabilistic cellular automaton (BPCA) can be described by an integer-parameterized polynomial corrupted by noise. Searching for the correct neighborhood of a BPCA is then equivalent to selecting the correct terms which constitute the polynomial model of the BPCA, from a large initial term set. It is proved that the contribution values for the correct terms can be calculated independently of the contribution values for the noise terms. This allows the neighborhood detection technique developed for deterministic rules in to be applied with a larger cutoff value to discard the majority of spurious terms and to produce an initial presearch for the BPCA neighborhood. A multiobjective genetic algorithm (GA) search with integer constraints is then evolved to refine the reduced neighborhood and to identify the polynomial rule which is equivalent to the probabilistic rule with the largest probability. A probability table representing the BPCA can then be determined based on the identified neighborhood and the deterministic rule. The new algorithm is tested over a large set of one-dimensional (1D), two-dimensional (2D), and three-dimensional (3D) BPCA rules. Simulation results demonstrate the efficiency of the new method
Phase Space Invertible Asynchronous Cellular Automata
While for synchronous deterministic cellular automata there is an accepted
definition of reversibility, the situation is less clear for asynchronous
cellular automata. We first discuss a few possibilities and then investigate
what we call phase space invertible asynchronous cellular automata in more
detail. We will show that for each Turing machine there is such a cellular
automaton simulating it, and that it is decidable whether an asynchronous
cellular automaton has this property or not, even in higher dimensions.Comment: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.249
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
Post-surjectivity and balancedness of cellular automata over groups
We discuss cellular automata over arbitrary finitely generated groups. We
call a cellular automaton post-surjective if for any pair of asymptotic
configurations, every pre-image of one is asymptotic to a pre-image of the
other. The well known dual concept is pre-injectivity: a cellular automaton is
pre-injective if distinct asymptotic configurations have distinct images. We
prove that pre-injective, post-surjective cellular automata are reversible.
Moreover, on sofic groups, post-surjectivity alone implies reversibility. We
also prove that reversible cellular automata over arbitrary groups are
balanced, that is, they preserve the uniform measure on the configuration
space.Comment: 16 pages, 3 figures, LaTeX "dmtcs-episciences" document class. Final
version for Discrete Mathematics and Theoretical Computer Science. Prepared
according to the editor's request
Parametric ordering of complex systems
Cellular automata (CA) dynamics are ordered in terms of two global
parameters, computable {\sl a priori} from the description of rules. While one
of them (activity) has been used before, the second one is new; it estimates
the average sensitivity of rules to small configurational changes. For two
well-known families of rules, the Wolfram complexity Classes cluster
satisfactorily. The observed simultaneous occurrence of sharp and smooth
transitions from ordered to disordered dynamics in CA can be explained with the
two-parameter diagram
- …