A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations

@article{Navascus2008ACH,
  title={A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations},
  author={Miguel Navascu{\'e}s and Stefano Pironio and Antonio Ac{\'i}n},
  journal={New Journal of Physics},
  year={2008},
  volume={10},
  pages={073013}
}
We are interested in the problem of characterizing the correlations that arise when performing local measurements on separate quantum systems. In a previous work (Navascues et al 2007 Phys. Rev. Lett. 98 010401), we introduced an infinite hierarchy of conditions necessarily satisfied by any set of quantum correlations. Each of these conditions could be tested using semidefinite programming. We present here new results concerning this hierarchy. We prove in particular that it is complete, in the… 

Figures and Tables from this paper

On the Significance of the Quantum Mechanical Covariance Matrix
TLDR
This work shows that the extent of binary correlations in a general class of nonlocal theories can be characterized by the existence of a certain covariance matrix, and suggests that the Tsallis entropy with parameter q=1/2 is a natural operational measure of non-classicality.
Simple conditions constraining the set of quantum correlations
The characterization of the set of quantum correlations in Bell scenarios is a problem of paramount importance for both the foundations of quantum mechanics and quantum information processing in the
Nonlocal games and optimal steering at the boundary of the quantum set
The boundary between classical and quantum correlations is well characterized by linear constraints called Bell inequalities. It is much harder to characterize the boundary of the quantum set itself
Characterizing finite-dimensional quantum behavior
TLDR
The semidefinite programming hierarchies introduced in Navascu and Vertesi are used to derive a number of dimension witnesses for temporal and Bell-type correlation scenarios, and also to bound the probability of success of quantum random access codes.
Bounding sets of sequential quantum correlations and device-independent randomness certification
TLDR
This work shows how one can robustly certify over 2.3 bits of device-independent local randomness from a two-quibt state using a sequence of measurements, going beyond the theoretical maximum of two bits that can be achieved with non-sequential measurements.
Concentration phenomena in the geometry of Bell correlations
Bell's theorem shows that local measurements on entangled states give rise to correlations incompatible with local hidden variable models. The degree of quantum nonlocality is not maximal though, as
Quantum-Inspired Hierarchy for Rank-Constrained Optimization
TLDR
It is proved that a large class of rank-constrained semidefinite programs can be written as a convex optimization over separable quantum states, and consequently, a complete hierarchy of semideFinite programs are constructed for solving the original problem.
Optimization Over Trace Polynomials
TLDR
A novel Positivstellensatz certifying positivity of trace polynomials subject to trace constraints is presented, and a hierarchy of semidefinite relaxations converging monotonically to the optimum of a Trace polynomial subject to tracial constraints is provided.
Almost-quantum correlations and their refinements in a tripartite Bell scenario
We study the set of almost quantum correlations and their refinements in the simplest tripartite Bell scenario where each party is allowed to perform two dichotomic measurements. In contrast to its
Bounding and Simulating Contextual Correlations in Quantum Theory
TLDR
The information cost of simulating contextuality is introduced, which quantifies the additional information required to simulate contextual correlations in either classical or quantum models, and it is shown that the simulation cost can be efficiently bounded using a variant of the hierarchy of semidefinite relaxations.
...
...

References

SHOWING 1-10 OF 89 REFERENCES
Complete family of separability criteria
We introduce a family of separability criteria that are based on the existence of extensions of a bipartite quantum state rho to a larger number of parties satisfying certain symmetry properties. It
Nonlocal correlations as an information-theoretic resource
It is well known that measurements performed on spatially separated entangled quantum systems can give rise to correlations that are nonlocal, in the sense that a Bell inequality is violated. They
Unbounded Violation of Tripartite Bell Inequalities
We prove that there are tripartite quantum states (constructed from random unitaries) that can lead to arbitrarily large violations of Bell inequalities for dichotomic observables. As a consequence
The Quantum Moment Problem and Bounds on Entangled Multi-prover Games
TLDR
It is proved that a hierarchy of semidefinite programs similar to the one given by Navascues, Pironioand Acin converges to the entangled value of the game and it would follow that the languages recognized by a multi-prover interactive proof system where the provers share entanglement are recursive.
Complete hierarchies of efficient approximations to problems in entanglement theory
TLDR
A hierarchy of novel, efficiently decidable sufficient criteria for multi-particle entanglement is constructed, such that every entangled state will necessarily be detected in some step of the hierarchy.
Bounding the set of quantum correlations.
We introduce a hierarchy of conditions necessarily satisfied by any distribution P_{alphabeta} representing the probabilities for two separate observers to obtain outcomes alpha and beta when making
Proposed experiment to test the bounds of quantum correlations.
TLDR
The analytical expression for the corresponding bound for a parametrization of the local observables of the Clauser-Horne-Shimony-Holt inequality is provided, and how to experimentally trace it using a source of singlet states is described.
Extremal quantum correlations for N parties with two dichotomic observables per site
Consider a scenario where $N$ separated quantum systems are measured, each with one among two possible dichotomic observables. Assume that the $N$ events corresponding to the choice and performance
On the Einstein-Podolsky-Rosen paradox
THE paradox of Einstein, Podolsky and Rosen [1] was advanced as an argument that quantum mechanics could not be a complete theory but should be supplemented by additional variables. These additional
Quantum nonlocality in two three-level systems
Recently a new Bell inequality has been introduced (CGLMP,KKCZO) that is strongly resistant to noise for maximally entangled states of two d-dimensional quantum systems. We prove that a larger
...
...