308 research outputs found
Quantum Cellular Automata
Quantum cellular automata (QCA) are reviewed, including early and more recent
proposals. QCA are a generalization of (classical) cellular automata (CA) and
in particular of reversible CA. The latter are reviewed shortly. An overview is
given over early attempts by various authors to define one-dimensional QCA.
These turned out to have serious shortcomings which are discussed as well.
Various proposals subsequently put forward by a number of authors for a general
definition of one- and higher-dimensional QCA are reviewed and their properties
such as universality and reversibility are discussed.Comment: 12 pages, 3 figures. To appear in the Springer Encyclopedia of
Complexity and Systems Scienc
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
Local Unitary Quantum Cellular Automata
In this paper we present a quantization of Cellular Automata. Our formalism
is based on a lattice of qudits, and an update rule consisting of local unitary
operators that commute with their own lattice translations. One purpose of this
model is to act as a theoretical model of quantum computation, similar to the
quantum circuit model. It is also shown to be an appropriate abstraction for
space-homogeneous quantum phenomena, such as quantum lattice gases, spin chains
and others. Some results that show the benefits of basing the model on local
unitary operators are shown: universality, strong connections to the circuit
model, simple implementation on quantum hardware, and a wealth of applications.Comment: To appear in Physical Review
A simple block representation of reversible cellular automata with time-symmetry
Reversible Cellular Automata (RCA) are a physics-like model of computation
consisting of an array of identical cells, evolving in discrete time steps by
iterating a global evolution G. Further, G is required to be shift-invariant
(it acts the same everywhere), causal (information cannot be transmitted faster
than some fixed number of cells per time step), and reversible (it has an
inverse which verifies the same requirements). An important, though only
recently studied special case is that of Time-symmetric Cellular Automata
(TSCA), for which G and its inverse are related via a local operation. In this
note we revisit the question of the Block representation of RCA, i.e. we
provide a very simple proof of the existence of a reversible circuit
description implementing G. This operational, bottom-up description of G turns
out to be time-symmetric, suggesting interesting connections with TSCA. Indeed
we prove, using a similar technique, that a wide class of them admit an Exact
block representation (EBR), i.e. one which does not increase the state space.Comment: 6 pages, 3 figures, Automata 201
- …