1,194 research outputs found
Quantum Causal Graph Dynamics
Consider a graph having quantum systems lying at each node. Suppose that the
whole thing evolves in discrete time steps, according to a global, unitary
causal operator. By causal we mean that information can only propagate at a
bounded speed, with respect to the distance given by the graph. Suppose,
moreover, that the graph itself is subject to the evolution, and may be driven
to be in a quantum superposition of graphs---in accordance to the superposition
principle. We show that these unitary causal operators must decompose as a
finite-depth circuit of local unitary gates. This unifies a result on Quantum
Cellular Automata with another on Reversible Causal Graph Dynamics. Along the
way we formalize a notion of causality which is valid in the context of quantum
superpositions of time-varying graphs, and has a number of good properties.
Keywords: Quantum Lattice Gas Automata, Block-representation,
Curtis-Hedlund-Lyndon, No-signalling, Localizability, Quantum Gravity, Quantum
Graphity, Causal Dynamical Triangulations, Spin Networks, Dynamical networks,
Graph Rewriting.Comment: 8 pages, 1 figur
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)
Optimal lower bounds for quantum automata and random access codes
Consider the finite regular language L_n = {w0 : w \in {0,1}^*, |w| \le n}.
It was shown by Ambainis, Nayak, Ta-Shma and Vazirani that while this language
is accepted by a deterministic finite automaton of size O(n), any one-way
quantum finite automaton (QFA) for it has size 2^{Omega(n/log n)}. This was
based on the fact that the evolution of a QFA is required to be reversible.
When arbitrary intermediate measurements are allowed, this intuition breaks
down. Nonetheless, we show a 2^{Omega(n)} lower bound for such QFA for L_n,
thus also improving the previous bound. The improved bound is obtained by
simple entropy arguments based on Holevo's theorem. This method also allows us
to obtain an asymptotically optimal (1-H(p))n bound for the dense quantum codes
(random access codes) introduced by Ambainis et al. We then turn to Holevo's
theorem, and show that in typical situations, it may be replaced by a tighter
and more transparent in-probability bound.Comment: 8 pages, 1 figure, Latex2e. Extensive modifications have been made to
increase clarity. To appear in FOCS'9
- …