Abstract:In device-independent quantum information, correlations between local measurement outcomes observed by spatially separated parties in a Bell test play a fundamental role. Even though it is long-known that the set of correlations allowed in quantum theory lies strictly between the Bell-local set and the no-signaling set, many questions concerning the geometry of the quantum set remain unanswered. Here, we revisit the problem of when the boundary of the quantum set coincides with the no-signaling set in the simplest Bell scenario. In particular, for each Class of these common boundaries containing $k$ zero probabilities, we provide a $(5-k)$-parameter family of quantum strategies realizing these (extremal) correlations. We further prove that self-testing is possible in all nontrivial Classes beyond the known examples of Hardy-type correlations, and provide numerical evidence supporting the robustness of these self-testing results. Candidates of one-parameter families of self-testing correlations from some of these Classes are identified. As a byproduct of our investigation, if the qubit strategies leading to an extremal nonlocal correlation are local-unitarily equivalent, a self-testing statement provably follows. Interestingly, all these self-testing correlations found on the no-signaling boundary are provably non-exposed. An analogous characterization for the set $\mathcal{M}$ of quantum correlations arising from finite-dimensional maximally entangled states is also provided. En route to establishing this last result, we show that all correlations of $\mathcal{M}$ in the simplest Bell scenario are attainable as convex combinations of those achievable using a Bell pair and projective measurements. In turn, we obtain the maximal Clauser-Horne-Shimony-Holt Bell inequality violation by any maximally entangled two-qudit state and a no-go theorem regarding the self-testing of such states.

Constant-Sized Robust Self-Tests for States and Measurements of Unbounded Dimension

Constant-sized self-tests for maximally entangled states and single projective measurements

An operator-algebraic formulation of self-testing

Self-testing high dimensional states using the generalized magic square game

Self-testing in prepare-and-measure scenarios and a robust version of Wigner's theorem

Robust self-testing for nonlocal games with robust game algebras

Quantum correlations on the no-signaling boundary: self-testing and more

A universal scheme to self-test any quantum state and extremal measurement

Experimentally Robust Self-testing for Bipartite and Tripartite Entangled States

All Real Projective Measurements Can be Self-tested

Robust self-testing of the $m-$partite maximally entangled state and observables

Quantum state testing with restricted measurements

A mathematical foundation for self-testing: Lifting common assumptions

Self-testing of Different Entanglement Resources Via Fixed Measurement Settings

Optimal Verification and Fidelity Estimation of Maximally Entangled States

Robust Self-Testing of Multipartite Greenberger-Horne-Zeilinger-state Measurements in Quantum Networks

Self-testing of genuine multipartite non-local and non-maximally entangled states

Self-Testing Graph States Permitting Bounded Classical Communication

Robust Self-Testing of Four-Qubit Symmetric States

Towards minimal self-testing of qubit states and measurements in prepare-and-measure scenarios