62 research outputs found
Estimating operator norms using covering nets
We present several polynomial- and quasipolynomial-time approximation schemes
for a large class of generalized operator norms. Special cases include the
norm of matrices for , the support function of the set of
separable quantum states, finding the least noisy output of
entanglement-breaking quantum channels, and approximating the injective tensor
norm for a map between two Banach spaces whose factorization norm through
is bounded.
These reproduce and in some cases improve upon the performance of previous
algorithms by Brand\~ao-Christandl-Yard and followup work, which were based on
the Sum-of-Squares hierarchy and whose analysis used techniques from quantum
information such as the monogamy principle of entanglement. Our algorithms, by
contrast, are based on brute force enumeration over carefully chosen covering
nets. These have the advantage of using less memory, having much simpler proofs
and giving new geometric insights into the problem. Net-based algorithms for
similar problems were also presented by Shi-Wu and Barak-Kelner-Steurer, but in
each case with a run-time that is exponential in the rank of some matrix. We
achieve polynomial or quasipolynomial runtimes by using the much smaller nets
that exist in spaces. This principle has been used in learning theory,
where it is known as Maurey's empirical method.Comment: 24 page
Detection of Multiparticle Entanglement: Quantifying the Search for Symmetric Extensions
We provide quantitative bounds on the characterisation of multiparticle
separable states by states that have locally symmetric extensions. The bounds
are derived from two-particle bounds and relate to recent studies on quantum
versions of de Finetti's theorem. We discuss algorithmic applications of our
results, in particular a quasipolynomial-time algorithm to decide whether a
multiparticle quantum state is separable or entangled (for constant number of
particles and constant error in the LOCC or Frobenius norm). Our results
provide a theoretical justification for the use of the Search for Symmetric
Extensions as a practical test for multiparticle entanglement.Comment: 5 pages, 1 figur
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
Quantum de Finetti Theorems under Local Measurements with Applications
Quantum de Finetti theorems are a useful tool in the study of correlations in
quantum multipartite states. In this paper we prove two new quantum de Finetti
theorems, both showing that under tests formed by local measurements one can
get a much improved error dependence on the dimension of the subsystems. We
also obtain similar results for non-signaling probability distributions. We
give the following applications of the results:
We prove the optimality of the Chen-Drucker protocol for 3-SAT, under the
exponential time hypothesis.
We show that the maximum winning probability of free games can be estimated
in polynomial time by linear programming. We also show that 3-SAT with m
variables can be reduced to obtaining a constant error approximation of the
maximum winning probability under entangled strategies of O(m^{1/2})-player
one-round non-local games, in which the players communicate O(m^{1/2}) bits all
together.
We show that the optimization of certain polynomials over the hypersphere can
be performed in quasipolynomial time in the number of variables n by
considering O(log(n)) rounds of the Sum-of-Squares (Parrilo/Lasserre) hierarchy
of semidefinite programs. As an application to entanglement theory, we find a
quasipolynomial-time algorithm for deciding multipartite separability.
We consider a result due to Aaronson -- showing that given an unknown n qubit
state one can perform tomography that works well for most observables by
measuring only O(n) independent and identically distributed (i.i.d.) copies of
the state -- and relax the assumption of having i.i.d copies of the state to
merely the ability to select subsystems at random from a quantum multipartite
state.
The proofs of the new quantum de Finetti theorems are based on information
theory, in particular on the chain rule of mutual information.Comment: 39 pages, no figure. v2: changes to references and other minor
improvements. v3: added some explanations, mostly about Theorem 1 and
Conjecture 5. STOC version. v4, v5. small improvements and fixe
Rounding Sum-of-Squares Relaxations
We present a general approach to rounding semidefinite programming
relaxations obtained by the Sum-of-Squares method (Lasserre hierarchy). Our
approach is based on using the connection between these relaxations and the
Sum-of-Squares proof system to transform a *combining algorithm* -- an
algorithm that maps a distribution over solutions into a (possibly weaker)
solution -- into a *rounding algorithm* that maps a solution of the relaxation
to a solution of the original problem.
Using this approach, we obtain algorithms that yield improved results for
natural variants of three well-known problems:
1) We give a quasipolynomial-time algorithm that approximates the maximum of
a low degree multivariate polynomial with non-negative coefficients over the
Euclidean unit sphere. Beyond being of interest in its own right, this is
related to an open question in quantum information theory, and our techniques
have already led to improved results in this area (Brand\~{a}o and Harrow, STOC
'13).
2) We give a polynomial-time algorithm that, given a d dimensional subspace
of R^n that (almost) contains the characteristic function of a set of size n/k,
finds a vector in the subspace satisfying ,
where . Aside from being a natural relaxation, this
is also motivated by a connection to the Small Set Expansion problem shown by
Barak et al. (STOC 2012) and our results yield a certain improvement for that
problem.
3) We use this notion of L_4 vs. L_2 sparsity to obtain a polynomial-time
algorithm with substantially improved guarantees for recovering a planted
-sparse vector v in a random d-dimensional subspace of R^n. If v has mu n
nonzero coordinates, we can recover it with high probability whenever , improving for prior methods which
intrinsically required
Quantum entanglement, sum of squares, and the log rank conjecture
For every , we give an
-time algorithm for the vs
\emph{Best Separable State (BSS)} problem of distinguishing, given
an matrix corresponding to a quantum measurement,
between the case that there is a separable (i.e., non-entangled) state
that accepts with probability , and the case that every
separable state is accepted with probability at most .
Equivalently, our algorithm takes the description of a subspace (where can be either the real or
complex field) and distinguishes between the case that contains a
rank one matrix, and the case that every rank one matrix is at least
far (in distance) from .
To the best of our knowledge, this is the first improvement over the
brute-force -time algorithm for this problem. Our algorithm is based
on the \emph{sum-of-squares} hierarchy and its analysis is inspired by Lovett's
proof (STOC '14, JACM '16) that the communication complexity of every rank-
Boolean matrix is bounded by .Comment: 23 pages + 1 title-page + 1 table-of-content
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
Quantum de Finetti theorem under fully-one-way adaptive measurements
We prove a version of the quantum de Finetti theorem: permutation-invariant
quantum states are well approximated as a probabilistic mixture of multi-fold
product states. The approximation is measured by distinguishability under fully
one-way LOCC (local operations and classical communication) measurements. Our
result strengthens Brand\~{a}o and Harrow's de Finetti theorem where a kind of
partially one-way LOCC measurements was used for measuring the approximation,
with essentially the same error bound. As main applications, we show (i) a
quasipolynomial-time algorithm which detects multipartite entanglement with
amount larger than an arbitrarily small constant (measured with a variant of
the relative entropy of entanglement), and (ii) a proof that in quantum
Merlin-Arthur proof systems, polynomially many provers are not more powerful
than a single prover when the verifier is restricted to one-way LOCC
operations.Comment: V2: minor changes. V3: new title, more discussions added,
presentation improved. V4: minor changes, close to published versio
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
- …