1,749 research outputs found
Many copies may be required for entanglement distillation
A mixed quantum state shared between two parties is said to be distillable
if, by means of a protocol involving only local quantum operations and
classical communication, the two parties can transform some number of copies of
that state into a single shared pair of qubits having high fidelity with a
maximally entangled state state. In this paper it is proved that there exist
states that are distillable, but for which an arbitrarily large number of
copies is required before any distillation procedure can produce a shared pair
of qubits with even a small amount of entanglement. Specifically, for every
positive integer n there exists a state that is distillable, but given n or
fewer copies of that state every distillation procedure outputting a single
shared pair of qubits will output those qubits in a separable state.
Essentially all previous examples of states proved to be distillable were such
that some distillation procedure could output an entangled pair of qubits given
a single copy of the state in question.Comment: 4 pages; major revisions, title changed, main result unchanged.
Accepted for publication in PR
Quantum Arthur-Merlin Games
This paper studies quantum Arthur-Merlin games, which are Arthur-Merlin games
in which Arthur and Merlin can perform quantum computations and Merlin can send
Arthur quantum information. As in the classical case, messages from Arthur to
Merlin are restricted to be strings of uniformly generated random bits. It is
proved that for one-message quantum Arthur-Merlin games, which correspond to
the complexity class QMA, completeness and soundness errors can be reduced
exponentially without increasing the length of Merlin's message. Previous
constructions for reducing error required a polynomial increase in the length
of Merlin's message. Applications of this fact include a proof that logarithmic
length quantum certificates yield no increase in power over BQP and a simple
proof that QMA is contained in PP. Other facts that are proved include the
equivalence of three (or more) message quantum Arthur-Merlin games with
ordinary quantum interactive proof systems and some basic properties concerning
two-message quantum Arthur-Merlin games.Comment: 22 page
Toward a general theory of quantum games
We study properties of quantum strategies, which are complete specifications
of a given party's actions in any multiple-round interaction involving the
exchange of quantum information with one or more other parties. In particular,
we focus on a representation of quantum strategies that generalizes the
Choi-Jamio{\l}kowski representation of quantum operations. This new
representation associates with each strategy a positive semidefinite operator
acting only on the tensor product of its input and output spaces. Various facts
about such representations are established, and two applications are discussed:
the first is a new and conceptually simple proof of Kitaev's lower bound for
strong coin-flipping, and the second is a proof of the exact characterization
QRG = EXP of the class of problems having quantum refereed games.Comment: 23 pages, 12pt font, single-column compilation of STOC 2007 final
versio
Quantum Proofs
Quantum information and computation provide a fascinating twist on the notion
of proofs in computational complexity theory. For instance, one may consider a
quantum computational analogue of the complexity class \class{NP}, known as
QMA, in which a quantum state plays the role of a proof (also called a
certificate or witness), and is checked by a polynomial-time quantum
computation. For some problems, the fact that a quantum proof state could be a
superposition over exponentially many classical states appears to offer
computational advantages over classical proof strings. In the interactive proof
system setting, one may consider a verifier and one or more provers that
exchange and process quantum information rather than classical information
during an interaction for a given input string, giving rise to quantum
complexity classes such as QIP, QSZK, and QMIP* that represent natural quantum
analogues of IP, SZK, and MIP. While quantum interactive proof systems inherit
some properties from their classical counterparts, they also possess distinct
and uniquely quantum features that lead to an interesting landscape of
complexity classes based on variants of this model.
In this survey we provide an overview of many of the known results concerning
quantum proofs, computational models based on this concept, and properties of
the complexity classes they define. In particular, we discuss non-interactive
proofs and the complexity class QMA, single-prover quantum interactive proof
systems and the complexity class QIP, statistical zero-knowledge quantum
interactive proof systems and the complexity class \class{QSZK}, and
multiprover interactive proof systems and the complexity classes QMIP, QMIP*,
and MIP*.Comment: Survey published by NOW publisher
- …