170 research outputs found
QMA with subset state witnesses
The class QMA plays a fundamental role in quantum complexity theory and it
has found surprising connections to condensed matter physics and in particular
in the study of the minimum energy of quantum systems. In this paper, we
further investigate the class QMA and its related class QCMA by asking what
makes quantum witnesses potentially more powerful than classical ones. We
provide a definition of a new class, SQMA, where we restrict the possible
quantum witnesses to the "simpler" subset states, i.e. a uniform superposition
over the elements of a subset of n-bit strings. Surprisingly, we prove that
this class is equal to QMA, hence providing a new characterisation of the class
QMA. We also prove the analogous result for QMA(2) and describe a new complete
problem for QMA and a stronger lower bound for the class QMA
The Power of Unentanglement
The class QMA(k). introduced by Kobayashi et al., consists of all languages that can be verified using k unentangled quantum proofs. Many of the simplest questions about this class have remained embarrassingly open: for example, can we give any evidence that k quantum proofs are more powerful than one? Does QMA(k) = QMA(2) for k ≥ 2? Can QMA(k) protocols be amplified to exponentially small error?
In this paper, we make progress on all of the above questions.
* We give a protocol by which a verifier can be convinced that a 3SAT formula of size m is satisfiable, with constant soundness, given Õ (√m) unentangled quantum witnesses with O(log m) qubits each. Our protocol relies on the existence of very short PCPs.
* We show that assuming a weak version of the Additivity Conjecture from quantum information theory, any QMA(2) protocol can be amplified to exponentially small error, and QMA(k) = QMA(2) for all k ≥ 2.
* We prove the nonexistence of "perfect disentanglers" for simulating multiple Merlins with one
Quantum vs Classical Proofs and Subset Verification
We study the ability of efficient quantum verifiers to decide properties of
exponentially large subsets given either a classical or quantum witness. We
develop a general framework that can be used to prove that QCMA machines, with
only classical witnesses, cannot verify certain properties of subsets given
implicitly via an oracle. We use this framework to prove an oracle separation
between QCMA and QMA using an "in-place" permutation oracle, making the first
progress on this question since Aaronson and Kuperberg in 2007. We also use the
framework to prove a particularly simple standard oracle separation between
QCMA and AM.Comment: 23 pages, presentation and notation clarified, small errors fixe
AM with Multiple Merlins
We introduce and study a new model of interactive proofs: AM(k), or
Arthur-Merlin with k non-communicating Merlins. Unlike with the better-known
MIP, here the assumption is that each Merlin receives an independent random
challenge from Arthur. One motivation for this model (which we explore in
detail) comes from the close analogies between it and the quantum complexity
class QMA(k), but the AM(k) model is also natural in its own right.
We illustrate the power of multiple Merlins by giving an AM(2) protocol for
3SAT, in which the Merlins' challenges and responses consist of only
n^{1/2+o(1)} bits each. Our protocol has the consequence that, assuming the
Exponential Time Hypothesis (ETH), any algorithm for approximating a dense CSP
with a polynomial-size alphabet must take n^{(log n)^{1-o(1)}} time. Algorithms
nearly matching this lower bound are known, but their running times had never
been previously explained. Brandao and Harrow have also recently used our 3SAT
protocol to show quasipolynomial hardness for approximating the values of
certain entangled games.
In the other direction, we give a simple quasipolynomial-time approximation
algorithm for free games, and use it to prove that, assuming the ETH, our 3SAT
protocol is essentially optimal. More generally, we show that multiple Merlins
never provide more than a polynomial advantage over one: that is, AM(k)=AM for
all k=poly(n). The key to this result is a subsampling theorem for free games,
which follows from powerful results by Alon et al. and Barak et al. on
subsampling dense CSPs, and which says that the value of any free game can be
closely approximated by the value of a logarithmic-sized random subgame.Comment: 48 page
Quantum Optimization Problems
Krentel [J. Comput. System. Sci., 36, pp.490--509] presented a framework for
an NP optimization problem that searches an optimal value among
exponentially-many outcomes of polynomial-time computations. This paper expands
his framework to a quantum optimization problem using polynomial-time quantum
computations and introduces the notion of an ``universal'' quantum optimization
problem similar to a classical ``complete'' optimization problem. We exhibit a
canonical quantum optimization problem that is universal for the class of
polynomial-time quantum optimization problems. We show in a certain relativized
world that all quantum optimization problems cannot be approximated closely by
quantum polynomial-time computations. We also study the complexity of quantum
optimization problems in connection to well-known complexity classes.Comment: date change
The power of quantum systems on a line
We study the computational strength of quantum particles (each of finite
dimensionality) arranged on a line. First, we prove that it is possible to
perform universal adiabatic quantum computation using a one-dimensional quantum
system (with 9 states per particle). This might have practical implications for
experimentalists interested in constructing an adiabatic quantum computer.
Building on the same construction, but with some additional technical effort
and 12 states per particle, we show that the problem of approximating the
ground state energy of a system composed of a line of quantum particles is
QMA-complete; QMA is a quantum analogue of NP. This is in striking contrast to
the fact that the analogous classical problem, namely, one-dimensional
MAX-2-SAT with nearest neighbor constraints, is in P. The proof of the
QMA-completeness result requires an additional idea beyond the usual techniques
in the area: Not all illegal configurations can be ruled out by local checks,
so instead we rule out such illegal configurations because they would, in the
future, evolve into a state which can be seen locally to be illegal. Our
construction implies (assuming the quantum Church-Turing thesis and that
quantum computers cannot efficiently solve QMA-complete problems) that there
are one-dimensional systems which take an exponential time to relax to their
ground states at any temperature, making them candidates for being
one-dimensional spin glasses.Comment: 21 pages. v2 has numerous corrections and clarifications, and most
importantly a new author, merged from arXiv:0705.4067. v3 is the published
version, with additional clarifications, publisher's version available at
http://www.springerlink.co
On Perfect Completeness for QMA
Whether the class QMA (Quantum Merlin Arthur) is equal to QMA1, or QMA with
one-sided error, has been an open problem for years. This note helps to explain
why the problem is difficult, by using ideas from real analysis to give a
"quantum oracle" relative to which they are different. As a byproduct, we find
that there are facts about quantum complexity classes that are classically
relativizing but not quantumly relativizing, among them such "trivial"
containments as BQP in ZQEXP.Comment: 9 pages. To appear in Quantum Information & Computatio
Faithful Squashed Entanglement
Squashed entanglement is a measure for the entanglement of bipartite quantum
states. In this paper we present a lower bound for squashed entanglement in
terms of a distance to the set of separable states. This implies that squashed
entanglement is faithful, that is, strictly positive if and only if the state
is entangled. We derive the bound on squashed entanglement from a bound on
quantum conditional mutual information, which is used to define squashed
entanglement and corresponds to the amount by which strong subadditivity of von
Neumann entropy fails to be saturated. Our result therefore sheds light on the
structure of states that almost satisfy strong subadditivity with equality. The
proof is based on two recent results from quantum information theory: the
operational interpretation of the quantum mutual information as the optimal
rate for state redistribution and the interpretation of the regularised
relative entropy of entanglement as an error exponent in hypothesis testing.
The distance to the set of separable states is measured by the one-way LOCC
norm, an operationally-motivated norm giving the optimal probability of
distinguishing two bipartite quantum states, each shared by two parties, using
any protocol formed by local quantum operations and one-directional classical
communication between the parties. A similar result for the Frobenius or
Euclidean norm follows immediately. The result has two applications in
complexity theory. The first is a quasipolynomial-time algorithm solving the
weak membership problem for the set of separable states in one-way LOCC or
Euclidean norm. The second concerns quantum Merlin-Arthur games. Here we show
that multiple provers are not more powerful than a single prover when the
verifier is restricted to one-way LOCC operations thereby providing a new
characterisation of the complexity class QMA.Comment: 24 pages, 1 figure, 1 table. Due to an error in the published
version, claims have been weakened from the LOCC norm to the one-way LOCC
nor
- …