6,343 research outputs found
Failover in cellular automata
A cellular automata (CA) configuration is constructed that exhibits emergent
failover. The configuration is based on standard Game of Life rules. Gliders
and glider-guns form the core messaging structure in the configuration. The
blinker is represented as the basic computational unit, and it is shown how it
can be recreated in case of a failure. Stateless failover using primary-backup
mechanism is demonstrated. The details of the CA components used in the
configuration and its working are described, and a simulation of the complete
configuration is also presented.Comment: 16 pages, 15 figures and associated video at
http://dl.dropbox.com/u/7553694/failover_demo.avi and simulation at
http://dl.dropbox.com/u/7553694/failover_simulation.ja
Transfer matrix analysis of one-dimensional majority cellular automata with thermal noise
Thermal noise in a cellular automaton refers to a random perturbation to its
function which eventually leads this automaton to an equilibrium state
controlled by a temperature parameter. We study the 1-dimensional majority-3
cellular automaton under this model of noise. Without noise, each cell in this
automaton decides its next state by majority voting among itself and its left
and right neighbour cells. Transfer matrix analysis shows that the automaton
always reaches a state in which every cell is in one of its two states with
probability 1/2 and thus cannot remember even one bit of information. Numerical
experiments, however, support the possibility of reliable computation for a
long but finite time.Comment: 12 pages, 4 figure
What is a quantum computer, and how do we build one?
The DiVincenzo criteria for implementing a quantum computer have been seminal
in focussing both experimental and theoretical research in quantum information
processing. These criteria were formulated specifically for the circuit model
of quantum computing. However, several new models for quantum computing
(paradigms) have been proposed that do not seem to fit the criteria well. The
question is therefore what are the general criteria for implementing quantum
computers. To this end, a formal operational definition of a quantum computer
is introduced. It is then shown that according to this definition a device is a
quantum computer if it obeys the following four criteria: Any quantum computer
must (1) have a quantum memory; (2) facilitate a controlled quantum evolution
of the quantum memory; (3) include a method for cooling the quantum memory; and
(4) provide a readout mechanism for subsets of the quantum memory. The criteria
are met when the device is scalable and operates fault-tolerantly. We discuss
various existing quantum computing paradigms, and how they fit within this
framework. Finally, we lay out a roadmap for selecting an avenue towards
building a quantum computer. This is summarized in a decision tree intended to
help experimentalists determine the most natural paradigm given a particular
physical implementation
Local Decoders for the 2D and 4D Toric Code
We analyze the performance of decoders for the 2D and 4D toric code which are
local by construction. The 2D decoder is a cellular automaton decoder
formulated by Harrington which explicitly has a finite speed of communication
and computation. For a model of independent and errors and faulty
syndrome measurements with identical probability we report a threshold of
for this Harrington decoder. We implement a decoder for the 4D toric
code which is based on a decoder by Hastings arXiv:1312.2546 . Incorporating a
method for handling faulty syndromes we estimate a threshold of for
the same noise model as in the 2D case. We compare the performance of this
decoder with a decoder based on a 4D version of Toom's cellular automaton rule
as well as the decoding method suggested by Dennis et al.
arXiv:quant-ph/0110143 .Comment: 22 pages, 21 figures; fixed typos, updated Figures 6,7,8,
Fault-Tolerant Quantum Computation with Local Gates
I discuss how to perform fault-tolerant quantum computation with concatenated
codes using local gates in small numbers of dimensions. I show that a threshold
result still exists in three, two, or one dimensions when
next-to-nearest-neighbor gates are available, and present explicit
constructions. In two or three dimensions, I also show how nearest-neighbor
gates can give a threshold result. In all cases, I simply demonstrate that a
threshold exists, and do not attempt to optimize the error correction circuit
or determine the exact value of the threshold. The additional overhead due to
the fault-tolerance in both space and time is polylogarithmic in the error rate
per logical gate.Comment: 14 pages, LaTe
- …