3,782 research outputs found
Two-message quantum interactive proofs and the quantum separability problem
Suppose that a polynomial-time mixed-state quantum circuit, described as a
sequence of local unitary interactions followed by a partial trace, generates a
quantum state shared between two parties. One might then wonder, does this
quantum circuit produce a state that is separable or entangled? Here, we give
evidence that it is computationally hard to decide the answer to this question,
even if one has access to the power of quantum computation. We begin by
exhibiting a two-message quantum interactive proof system that can decide the
answer to a promise version of the question. We then prove that the promise
problem is hard for the class of promise problems with "quantum statistical
zero knowledge" (QSZK) proof systems by demonstrating a polynomial-time Karp
reduction from the QSZK-complete promise problem "quantum state
distinguishability" to our quantum separability problem. By exploiting Knill's
efficient encoding of a matrix description of a state into a description of a
circuit to generate the state, we can show that our promise problem is NP-hard
with respect to Cook reductions. Thus, the quantum separability problem (as
phrased above) constitutes the first nontrivial promise problem decidable by a
two-message quantum interactive proof system while being hard for both NP and
QSZK. We also consider a variant of the problem, in which a given
polynomial-time mixed-state quantum circuit accepts a quantum state as input,
and the question is to decide if there is an input to this circuit which makes
its output separable across some bipartite cut. We prove that this problem is a
complete promise problem for the class QIP of problems decidable by quantum
interactive proof systems. Finally, we show that a two-message quantum
interactive proof system can also decide a multipartite generalization of the
quantum separability problem.Comment: 34 pages, 6 figures; v2: technical improvements and new result for
the multipartite quantum separability problem; v3: minor changes to address
referee comments, accepted for presentation at the 2013 IEEE Conference on
Computational Complexity; v4: changed problem names; v5: updated references
and added a paragraph to the conclusion to connect with prior work on
separability testin
Quantum interactive proofs and the complexity of separability testing
We identify a formal connection between physical problems related to the
detection of separable (unentangled) quantum states and complexity classes in
theoretical computer science. In particular, we show that to nearly every
quantum interactive proof complexity class (including BQP, QMA, QMA(2), and
QSZK), there corresponds a natural separability testing problem that is
complete for that class. Of particular interest is the fact that the problem of
determining whether an isometry can be made to produce a separable state is
either QMA-complete or QMA(2)-complete, depending upon whether the distance
between quantum states is measured by the one-way LOCC norm or the trace norm.
We obtain strong hardness results by proving that for each n-qubit maximally
entangled state there exists a fixed one-way LOCC measurement that
distinguishes it from any separable state with error probability that decays
exponentially in n.Comment: v2: 43 pages, 5 figures, completely rewritten and in Theory of
Computing (ToC) journal forma
Computing quantum discord is NP-complete
We study the computational complexity of quantum discord (a measure of
quantum correlation beyond entanglement), and prove that computing quantum
discord is NP-complete. Therefore, quantum discord is computationally
intractable: the running time of any algorithm for computing quantum discord is
believed to grow exponentially with the dimension of the Hilbert space so that
computing quantum discord in a quantum system of moderate size is not possible
in practice. As by-products, some entanglement measures (namely entanglement
cost, entanglement of formation, relative entropy of entanglement, squashed
entanglement, classical squashed entanglement, conditional entanglement of
mutual information, and broadcast regularization of mutual information) and
constrained Holevo capacity are NP-hard/NP-complete to compute. These
complexity-theoretic results are directly applicable in common randomness
distillation, quantum state merging, entanglement distillation, superdense
coding, and quantum teleportation; they may offer significant insights into
quantum information processing. Moreover, we prove the NP-completeness of two
typical problems: linear optimization over classical states and detecting
classical states in a convex set, providing evidence that working with
classical states is generically computationally intractable.Comment: The (published) journal version
http://iopscience.iop.org/1367-2630/16/3/033027/article is more updated than
the arXiv versions, and is accompanied with a general scientific summary for
non-specialists in computational complexit
The Quantum Separability Problem for Gaussian States
Determining whether a quantum state is separable or entangled is a problem of
fundamental importance in quantum information science. This is a brief review
in which we consider the problem for states in infinite dimensional Hilbert
spaces. We show how the problem becomes tractable for a class of Gaussian
states.Comment: 8 page
- …