8,763 research outputs found
spectra in elementary cellular automata and fractal signals
We systematically compute the power spectra of the one-dimensional elementary
cellular automata introduced by Wolfram. On the one hand our analysis reveals
that one automaton displays spectra though considered as trivial, and on
the other hand that various automata classified as chaotic/complex display no
spectra. We model the results generalizing the recently investigated
Sierpinski signal to a class of fractal signals that are tailored to produce
spectra. From the widespread occurrence of (elementary) cellular
automata patterns in chemistry, physics and computer sciences, there are
various candidates to show spectra similar to our results.Comment: 4 pages (3 figs included
A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton
We describe a simple n-dimensional quantum cellular automaton (QCA) capable
of simulating all others, in that the initial configuration and the forward
evolution of any n-dimensional QCA can be encoded within the initial
configuration of the intrinsically universal QCA. Several steps of the
intrinsically universal QCA then correspond to one step of the simulated QCA.
The simulation preserves the topology in the sense that each cell of the
simulated QCA is encoded as a group of adjacent cells in the universal QCA.Comment: 13 pages, 7 figures. In Proceedings of the 4th International
Conference on Language and Automata Theory and Applications (LATA 2010),
Lecture Notes in Computer Science (LNCS). Journal version: arXiv:0907.382
A Quantum Game of Life
This research describes a three dimensional quantum cellular automaton (QCA)
which can simulate all other 3D QCA. This intrinsically universal QCA belongs
to the simplest subclass of QCA: Partitioned QCA (PQCA). PQCA are QCA of a
particular form, where incoming information is scattered by a fixed unitary U
before being redistributed and rescattered. Our construction is minimal amongst
PQCA, having block size 2 x 2 x 2 and cell dimension 2. Signals, wires and
gates emerge in an elegant fashion.Comment: 13 pages, 10 figures. Final version, accepted by Journ\'ees Automates
Cellulaires (JAC 2010)
Intrinsically universal one-dimensional quantum cellular automata in two flavours
We give a one-dimensional quantum cellular automaton (QCA) capable of
simulating all others. By this we mean that the initial configuration and the
local transition rule of any one-dimensional QCA can be encoded within the
initial configuration of the universal QCA. Several steps of the universal QCA
will then correspond to one step of the simulated QCA. The simulation preserves
the topology in the sense that each cell of the simulated QCA is encoded as a
group of adjacent cells in the universal QCA. The encoding is linear and hence
does not carry any of the cost of the computation. We do this in two flavours:
a weak one which requires an infinite but periodic initial configuration and a
strong one which needs only a finite initial configuration. KEYWORDS: Quantum
cellular automata, Intrinsic universality, Quantum computation.Comment: 27 pages, revtex, 23 figures. V3: The results of V1-V2 are better
explained and formalized, and a novel result about intrinsic universality
with only finite initial configurations is give
On Factor Universality in Symbolic Spaces
The study of factoring relations between subshifts or cellular automata is
central in symbolic dynamics. Besides, a notion of intrinsic universality for
cellular automata based on an operation of rescaling is receiving more and more
attention in the literature. In this paper, we propose to study the factoring
relation up to rescalings, and ask for the existence of universal objects for
that simulation relation. In classical simulations of a system S by a system T,
the simulation takes place on a specific subset of configurations of T
depending on S (this is the case for intrinsic universality). Our setting,
however, asks for every configurations of T to have a meaningful interpretation
in S. Despite this strong requirement, we show that there exists a cellular
automaton able to simulate any other in a large class containing arbitrarily
complex ones. We also consider the case of subshifts and, using arguments from
recursion theory, we give negative results about the existence of universal
objects in some classes
L-Convex Polyominoes are Recognizable in Real Time by 2D Cellular Automata
A polyomino is said to be L-convex if any two of its cells are connected by a
4-connected inner path that changes direction at most once. The 2-dimensional
language representing such polyominoes has been recently proved to be
recognizable by tiling systems by S. Brocchi, A. Frosini, R. Pinzani and S.
Rinaldi. In an attempt to compare recognition power of tiling systems and
cellular automata, we have proved that this language can be recognized by
2-dimensional cellular automata working on the von Neumann neighborhood in real
time.
Although the construction uses a characterization of L-convex polyominoes
that is similar to the one used for tiling systems, the real time constraint
which has no equivalent in terms of tilings requires the use of techniques that
are specific to cellular automata
Turing degrees of limit sets of cellular automata
Cellular automata are discrete dynamical systems and a model of computation.
The limit set of a cellular automaton consists of the configurations having an
infinite sequence of preimages. It is well known that these always contain a
computable point and that any non-trivial property on them is undecidable. We
go one step further in this article by giving a full characterization of the
sets of Turing degrees of cellular automata: they are the same as the sets of
Turing degrees of effectively closed sets containing a computable point
- …