2,328 research outputs found
Qudit versions of the qubit "pi-over-eight" gate
When visualised as an operation on the Bloch sphere, the qubit
"pi-over-eight" gate corresponds to one-eighth of a complete rotation about the
vertical axis. This simple gate often plays an important role in quantum
information theory, typically in situations for which Pauli and Clifford gates
are insufficient. Most notably, when it supplements the set of Clifford gates
then universal quantum computation can be achieved. The "pi-over-eight" gate is
the simplest example of an operation from the third level of the Clifford
hierarchy (i.e., it maps Pauli operations to Clifford operations under
conjugation). Here we derive explicit expressions for all qudit (d-level, where
d is prime) versions of this gate and analyze the resulting group structure
that is generated by these diagonal gates. This group structure differs
depending on whether the dimensionality of the qudit is two, three or greater
than three. We then discuss the geometrical relationship of these gates (and
associated states) with respect to Clifford gates and stabilizer states. We
present evidence that these gates are maximally robust to depolarizing and
phase damping noise, in complete analogy with the qubit case. Motivated by this
and other similarities we conjecture that these gates could be useful for the
task of qudit magic-state distillation and, by extension, fault-tolerant
quantum computing. Very recent, independent work by Campbell, Anwar and Browne
confirms the correctness of this intuition, and we build upon their work to
characterize noise regimes for which noisy implementations of these gates can
(or provably cannot) supplement Clifford gates to enable universal quantum
computation.Comment: Version 2 changed to reflect improved distillation routines in
arXiv:1205.3104v2. Minor typos fixed. 12 Pages,2 Figures,3 Table
Perfect zero knowledge for quantum multiprover interactive proofs
In this work we consider the interplay between multiprover interactive
proofs, quantum entanglement, and zero knowledge proofs - notions that are
central pillars of complexity theory, quantum information and cryptography. In
particular, we study the relationship between the complexity class MIP, the
set of languages decidable by multiprover interactive proofs with quantumly
entangled provers, and the class PZKMIP, which is the set of languages
decidable by MIP protocols that furthermore possess the perfect zero
knowledge property.
Our main result is that the two classes are equal, i.e., MIP
PZKMIP. This result provides a quantum analogue of the celebrated result of
Ben-Or, Goldwasser, Kilian, and Wigderson (STOC 1988) who show that MIP
PZKMIP (in other words, all classical multiprover interactive protocols can be
made zero knowledge). We prove our result by showing that every MIP
protocol can be efficiently transformed into an equivalent zero knowledge
MIP protocol in a manner that preserves the completeness-soundness gap.
Combining our transformation with previous results by Slofstra (Forum of
Mathematics, Pi 2019) and Fitzsimons, Ji, Vidick and Yuen (STOC 2019), we
obtain the corollary that all co-recursively enumerable languages (which
include undecidable problems as well as all decidable problems) have zero
knowledge MIP protocols with vanishing promise gap
Fault Models for Quantum Mechanical Switching Networks
The difference between faults and errors is that, unlike faults, errors can
be corrected using control codes. In classical test and verification one
develops a test set separating a correct circuit from a circuit containing any
considered fault. Classical faults are modelled at the logical level by fault
models that act on classical states. The stuck fault model, thought of as a
lead connected to a power rail or to a ground, is most typically considered. A
classical test set complete for the stuck fault model propagates both binary
basis states, 0 and 1, through all nodes in a network and is known to detect
many physical faults. A classical test set complete for the stuck fault model
allows all circuit nodes to be completely tested and verifies the function of
many gates. It is natural to ask if one may adapt any of the known classical
methods to test quantum circuits. Of course, classical fault models do not
capture all the logical failures found in quantum circuits. The first obstacle
faced when using methods from classical test is developing a set of realistic
quantum-logical fault models. Developing fault models to abstract the test
problem away from the device level motivated our study. Several results are
established. First, we describe typical modes of failure present in the
physical design of quantum circuits. From this we develop fault models for
quantum binary circuits that enable testing at the logical level. The
application of these fault models is shown by adapting the classical test set
generation technique known as constructing a fault table to generate quantum
test sets. A test set developed using this method is shown to detect each of
the considered faults.Comment: (almost) Forgotten rewrite from 200
- β¦