4,714 research outputs found
Improved Simulation of Stabilizer Circuits
The Gottesman-Knill theorem says that a stabilizer circuit -- that is, a
quantum circuit consisting solely of CNOT, Hadamard, and phase gates -- can be
simulated efficiently on a classical computer. This paper improves that theorem
in several directions. First, by removing the need for Gaussian elimination, we
make the simulation algorithm much faster at the cost of a factor-2 increase in
the number of bits needed to represent a state. We have implemented the
improved algorithm in a freely-available program called CHP
(CNOT-Hadamard-Phase), which can handle thousands of qubits easily. Second, we
show that the problem of simulating stabilizer circuits is complete for the
classical complexity class ParityL, which means that stabilizer circuits are
probably not even universal for classical computation. Third, we give efficient
algorithms for computing the inner product between two stabilizer states,
putting any n-qubit stabilizer circuit into a "canonical form" that requires at
most O(n^2/log n) gates, and other useful tasks. Fourth, we extend our
simulation algorithm to circuits acting on mixed states, circuits containing a
limited number of non-stabilizer gates, and circuits acting on general
tensor-product initial states but containing only a limited number of
measurements.Comment: 15 pages. Final version with some minor updates and corrections.
Software at http://www.scottaaronson.com/ch
Negative Quasi-Probability as a Resource for Quantum Computation
A central problem in quantum information is to determine the minimal physical
resources that are required for quantum computational speedup and, in
particular, for fault-tolerant quantum computation. We establish a remarkable
connection between the potential for quantum speed-up and the onset of negative
values in a distinguished quasi-probability representation, a discrete analog
of the Wigner function for quantum systems of odd dimension. This connection
allows us to resolve an open question on the existence of bound states for
magic-state distillation: we prove that there exist mixed states outside the
convex hull of stabilizer states that cannot be distilled to non-stabilizer
target states using stabilizer operations. We also provide an efficient
simulation protocol for Clifford circuits that extends to a large class of
mixed states, including bound universal states.Comment: 15 pages v4: This is a major revision. In particular, we have added a
new section detailing an explicit extension of the Gottesman-Knill simulation
protocol to deal with positively represented states and measurement (even
when these are non-stabilizer). This paper also includes significant
elaboration on the two main results of the previous versio
Quantum information and statistical mechanics: an introduction to frontier
This is a short review on an interdisciplinary field of quantum information
science and statistical mechanics. We first give a pedagogical introduction to
the stabilizer formalism, which is an efficient way to describe an important
class of quantum states, the so-called stabilizer states, and quantum
operations on them. Furthermore, graph states, which are a class of stabilizer
states associated with graphs, and their applications for measurement-based
quantum computation are also mentioned. Based on the stabilizer formalism, we
review two interdisciplinary topics. One is the relation between quantum error
correction codes and spin glass models, which allows us to analyze the
performances of quantum error correction codes by using the knowledge about
phases in statistical models. The other is the relation between the stabilizer
formalism and partition functions of classical spin models, which provides new
quantum and classical algorithms to evaluate partition functions of classical
spin models.Comment: 15pages, 4 figures, to appear in Proceedings of 4th YSM-SPIP (Sendai,
14-16 December 2012
Codes and Protocols for Distilling , controlled-, and Toffoli Gates
We present several different codes and protocols to distill ,
controlled-, and Toffoli (or ) gates. One construction is based on
codes that generalize the triorthogonal codes, allowing any of these gates to
be induced at the logical level by transversal . We present a randomized
construction of generalized triorthogonal codes obtaining an asymptotic
distillation efficiency . We also present a Reed-Muller
based construction of these codes which obtains a worse but performs
well at small sizes. Additionally, we present protocols based on checking the
stabilizers of magic states at the logical level by transversal gates
applied to codes; these protocols generalize the protocols of 1703.07847.
Several examples, including a Reed-Muller code for -to-Toffoli distillation,
punctured Reed-Muller codes for -gate distillation, and some of the check
based protocols, require a lower ratio of input gates to output gates than
other known protocols at the given order of error correction for the given code
size. In particular, we find a T-gate to Toffoli gate code with
distance as well as triorthogonal codes with parameters
with very low prefactors in front of
the leading order error terms in those codes.Comment: 28 pages. (v2) fixed a part of the proof on random triorthogonal
codes, added comments on Clifford circuits for Reed-Muller states (v3) minor
chang
Efficient Quantum Circuits for Non-Qubit Quantum Error-Correcting Codes
We present two methods for the construction of quantum circuits for quantum
error-correcting codes (QECC). The underlying quantum systems are tensor
products of subsystems (qudits) of equal dimension which is a prime power. For
a QECC encoding k qudits into n qudits, the resulting quantum circuit has
O(n(n-k)) gates. The running time of the classical algorithm to compute the
quantum circuit is O(n(n-k)^2).Comment: 18 pages, submitted to special issue of IJFC
Hidden Translation and Translating Coset in Quantum Computing
We give efficient quantum algorithms for the problems of Hidden Translation
and Hidden Subgroup in a large class of non-abelian solvable groups including
solvable groups of constant exponent and of constant length derived series. Our
algorithms are recursive. For the base case, we solve efficiently Hidden
Translation in , whenever is a fixed prime. For the induction
step, we introduce the problem Translating Coset generalizing both Hidden
Translation and Hidden Subgroup, and prove a powerful self-reducibility result:
Translating Coset in a finite solvable group is reducible to instances of
Translating Coset in and , for appropriate normal subgroups of
. Our self-reducibility framework combined with Kuperberg's subexponential
quantum algorithm for solving Hidden Translation in any abelian group, leads to
subexponential quantum algorithms for Hidden Translation and Hidden Subgroup in
any solvable group.Comment: Journal version: change of title and several minor update
- âŠ