223 research outputs found
High-threshold fault-tolerant quantum computation with analog quantum error correction
To implement fault-tolerant quantum computation with continuous variables,
the Gottesman-Kitaev-Preskill (GKP) qubit has been recognized as an important
technological element. However,it is still challenging to experimentally
generate the GKP qubit with the required squeezing level, 14.8 dB, of the
existing fault-tolerant quantum computation. To reduce this requirement, we
propose a high-threshold fault-tolerant quantum computation with GKP qubits
using topologically protected measurement-based quantum computation with the
surface code. By harnessing analog information contained in the GKP qubits, we
apply analog quantum error correction to the surface code.Furthermore, we
develop a method to prevent the squeezing level from decreasing during the
construction of the large scale cluster states for the topologically protected
measurement based quantum computation. We numerically show that the required
squeezing level can be relaxed to less than 10 dB, which is within the reach of
the current experimental technology. Hence, this work can considerably
alleviate this experimental requirement and take a step closer to the
realization of large scale quantum computation.Comment: 14 pages, 7 figure
Fault-tolerant quantum computation with cluster states
The one-way quantum computing model introduced by Raussendorf and Briegel
[Phys. Rev. Lett. 86 (22), 5188-5191 (2001)] shows that it is possible to
quantum compute using only a fixed entangled resource known as a cluster state,
and adaptive single-qubit measurements. This model is the basis for several
practical proposals for quantum computation, including a promising proposal for
optical quantum computation based on cluster states [M. A. Nielsen,
arXiv:quant-ph/0402005, accepted to appear in Phys. Rev. Lett.]. A significant
open question is whether such proposals are scalable in the presence of
physically realistic noise. In this paper we prove two threshold theorems which
show that scalable fault-tolerant quantum computation may be achieved in
implementations based on cluster states, provided the noise in the
implementations is below some constant threshold value. Our first threshold
theorem applies to a class of implementations in which entangling gates are
applied deterministically, but with a small amount of noise. We expect this
threshold to be applicable in a wide variety of physical systems. Our second
threshold theorem is specifically adapted to proposals such as the optical
cluster-state proposal, in which non-deterministic entangling gates are used. A
critical technical component of our proofs is two powerful theorems which
relate the properties of noisy unitary operations restricted to act on a
subspace of state space to extensions of those operations acting on the entire
state space.Comment: 31 pages, 54 figure
Complexity classification of two-qubit commuting hamiltonians
We classify two-qubit commuting Hamiltonians in terms of their computational
complexity. Suppose one has a two-qubit commuting Hamiltonian H which one can
apply to any pair of qubits, starting in a computational basis state. We prove
a dichotomy theorem: either this model is efficiently classically simulable or
it allows one to sample from probability distributions which cannot be sampled
from classically unless the polynomial hierarchy collapses. Furthermore, the
only simulable Hamiltonians are those which fail to generate entanglement. This
shows that generic two-qubit commuting Hamiltonians can be used to perform
computational tasks which are intractable for classical computers under
plausible assumptions. Our proof makes use of new postselection gadgets and Lie
theory.Comment: 34 page
Exponential Quantum Speed-ups are Generic
A central problem in quantum computation is to understand which quantum
circuits are useful for exponential speed-ups over classical computation. We
address this question in the setting of query complexity and show that for
almost any sufficiently long quantum circuit one can construct a black-box
problem which is solved by the circuit with a constant number of quantum
queries, but which requires exponentially many classical queries, even if the
classical machine has the ability to postselect.
We prove the result in two steps. In the first, we show that almost any
element of an approximate unitary 3-design is useful to solve a certain
black-box problem efficiently. The problem is based on a recent oracle
construction of Aaronson and gives an exponential separation between quantum
and classical bounded-error with postselection query complexities.
In the second step, which may be of independent interest, we prove that
linear-sized random quantum circuits give an approximate unitary 3-design. The
key ingredient in the proof is a technique from quantum many-body theory to
lower bound the spectral gap of local quantum Hamiltonians.Comment: 24 pages. v2 minor correction
Postselection threshold against biased noise
The highest current estimates for the amount of noise a quantum computer can
tolerate are based on fault-tolerance schemes relying heavily on postselecting
on no detected errors. However, there has been no proof that these schemes give
even a positive tolerable noise threshold. A technique to prove a positive
threshold, for probabilistic noise models, is presented. The main idea is to
maintain strong control over the distribution of errors in the quantum state at
all times. This distribution has correlations which conceivably could grow out
of control with postselection. But in fact, the error distribution can be
written as a mixture of nearby distributions each satisfying strong
independence properties, so there are no correlations for postselection to
amplify.Comment: 13 pages, FOCS 2006; conference versio
- …