194,127 research outputs found
Dimensional Jump in Quantum Error Correction
Topological stabilizer codes with different spatial dimensions have
complementary properties. Here I show that the spatial dimension can be
switched using gauge fixing. Combining 2D and 3D gauge color codes in a 3D
qubit lattice, fault-tolerant quantum computation can be achieved with constant
time overhead on the number of logical gates, up to efficient global classical
computation, using only local quantum operations. Single-shot error correction
plays a crucial role.Comment: As accepted in journal: 10 pages, 3 figure
Local invariants of stabilizer codes
In [Phys. Rev. A 58, 1833 (1998)] a family of polynomial invariants which
separate the orbits of multi-qubit density operators under the action of
the local unitary group was presented. We consider this family of invariants
for the class of those which are the projection operators describing
stabilizer codes and give a complete translation of these invariants into the
binary framework in which stabilizer codes are usually described. Such an
investigation of local invariants of quantum codes is of natural importance in
quantum coding theory, since locally equivalent codes have the same
error-correcting capabilities and local invariants are powerful tools to
explore their structure. Moreover, the present result is relevant in the
context of multipartite entanglement and the development of the
measurement-based model of quantum computation known as the one-way quantum
computer.Comment: 10 pages, 1 figure. Minor changes. Accepted in Phys. Rev.
Codes with Locality for Two Erasures
In this paper, we study codes with locality that can recover from two
erasures via a sequence of two local, parity-check computations. By a local
parity-check computation, we mean recovery via a single parity-check equation
associated to small Hamming weight. Earlier approaches considered recovery in
parallel; the sequential approach allows us to potentially construct codes with
improved minimum distance. These codes, which we refer to as locally
2-reconstructible codes, are a natural generalization along one direction, of
codes with all-symbol locality introduced by Gopalan \textit{et al}, in which
recovery from a single erasure is considered. By studying the Generalized
Hamming Weights of the dual code, we derive upper bounds on the minimum
distance of locally 2-reconstructible codes and provide constructions for a
family of codes based on Tur\'an graphs, that are optimal with respect to this
bound. The minimum distance bound derived here is universal in the sense that
no code which permits all-symbol local recovery from erasures can have
larger minimum distance regardless of approach adopted. Our approach also leads
to a new bound on the minimum distance of codes with all-symbol locality for
the single-erasure case.Comment: 14 pages, 3 figures, Updated for improved readabilit
Fast Local Computation Algorithms
For input , let denote the set of outputs that are the "legal"
answers for a computational problem . Suppose and members of are
so large that there is not time to read them in their entirety. We propose a
model of {\em local computation algorithms} which for a given input ,
support queries by a user to values of specified locations in a legal
output . When more than one legal output exists for a given
, the local computation algorithm should output in a way that is consistent
with at least one such . Local computation algorithms are intended to
distill the common features of several concepts that have appeared in various
algorithmic subfields, including local distributed computation, local
algorithms, locally decodable codes, and local reconstruction.
We develop a technique, based on known constructions of small sample spaces
of -wise independent random variables and Beck's analysis in his algorithmic
approach to the Lov{\'{a}}sz Local Lemma, which under certain conditions can be
applied to construct local computation algorithms that run in {\em
polylogarithmic} time and space. We apply this technique to maximal independent
set computations, scheduling radio network broadcasts, hypergraph coloring and
satisfying -SAT formulas.Comment: A preliminary version of this paper appeared in ICS 2011, pp. 223-23
Topological quantum memory
We analyze surface codes, the topological quantum error-correcting codes
introduced by Kitaev. In these codes, qubits are arranged in a two-dimensional
array on a surface of nontrivial topology, and encoded quantum operations are
associated with nontrivial homology cycles of the surface. We formulate
protocols for error recovery, and study the efficacy of these protocols. An
order-disorder phase transition occurs in this system at a nonzero critical
value of the error rate; if the error rate is below the critical value (the
accuracy threshold), encoded information can be protected arbitrarily well in
the limit of a large code block. This phase transition can be accurately
modeled by a three-dimensional Z_2 lattice gauge theory with quenched disorder.
We estimate the accuracy threshold, assuming that all quantum gates are local,
that qubits can be measured rapidly, and that polynomial-size classical
computations can be executed instantaneously. We also devise a robust recovery
procedure that does not require measurement or fast classical processing;
however for this procedure the quantum gates are local only if the qubits are
arranged in four or more spatial dimensions. We discuss procedures for
encoding, measurement, and performing fault-tolerant universal quantum
computation with surface codes, and argue that these codes provide a promising
framework for quantum computing architectures.Comment: 39 pages, 21 figures, REVTe
- …