Quantum Correlations in the Minimal Scenario

Abstract

In the minimal scenario of quantum correlations, two parties can choose from two observables with two possible outcomes each. Probabilities are specified by four marginals and four correlations. The resulting four-dimensional convex body of correlations, denoted $\mathcal{Q}$, is fundamental for quantum information theory. We review and systematize what is known about $\Qm$, and add many details, visualizations, and complete proofs. In particular, we provide a detailed description of the boundary, which consists of three-dimensional faces isomorphic to elliptopes and sextic algebraic manifolds of exposed extreme points. These patches are separated by cubic surfaces of non-exposed extreme points. We provide a trigonometric parametrization of all extreme points, along with their exposing Tsirelson inequalities and quantum models. All non-classical extreme points (exposed or not) are self-testing, i.e., realized by an essentially unique quantum model. Two principles, which are specific to the minimal scenario, allow a quick and complete overview: The first is the pushout transformation, i.e., the application of the sine function to each coordinate. This transforms the classical correlation polytope exactly into the correlation body $\mathcal{Q}$, also identifying the boundary structures. The second principle, self-duality, is an isomorphism between $\Qm$ and its polar dual, i.e., the set of affine inequalities satisfied by all quantum correlations (``Tsirelson inequalities''). The same isomorphism links the polytope of classical correlations contained in $\Qm$ to the polytope of no-signalling correlations, which contains $\Qm$. We also discuss the sets of correlations achieved with fixed Hilbert space dimension, fixed state or fixed observables, and establish a new non-linear inequality for $\Qm$ involving the determinant of the correlation matrix.

published version, expanded proofs and corrected typos

References in corpus (11)

• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Testing the Hilbert space dimension
• Experimental device-independent quantum key distribution between distant users
• Quantum theory based on real numbers can be experimentally falsified
• On the toric algebra of graphical models
• Connes' embedding problem and Tsirelson's problem
• Device-independent quantum key distribution with random postselection
• Necessary and sufficient condition for quantum-generated correlations
• Improved DIQKD protocols with finite-size analysis
• Extremal Quantum Correlations and Cryptographic Security
• A Universal Representation for Quantum Commuting Correlations

Cited by in corpus (23)

• Quantum circuits for measuring weak values, Kirkwood--Dirac quasiprobability distributions, and state spectra
• Device-independent quantum key distribution with arbitrarily small nonlocality
• Inequalities witnessing coherence, nonlocality, and contextuality
• Quantum correlations on the no-signaling boundary: self-testing and more
• Custom Bell inequalities from formal sums of squares
• The future of secure communications: device independence in quantum key distribution
• Information causality as a tool for bounding the set of quantum correlations
• Extremal Tsirelson inequalities
• Local Friendliness Polytopes In Multipartite Scenarios
• Tight Bell inequalities from polytope slices
• Quantum bounds for compiled XOR games and $d$-outcome CHSH games
• Quantum null-hypothesis device-independent Schmidt rank witness
• Certifying nonlocal properties of noisy quantum operations
• Device-Independent Certification of Multipartite Distillable Entanglement
• Asymptotically Optimal Adversarial Strategies for the Probability Estimation Framework
• Expanding bipartite Bell inequalities for maximum multi-partite randomness
• Translating Bell Non-Locality to Prepare-and-Measure Scenarios under Dimensional Constraints
• Genuine multipartite entanglement is not necessary for standard device-independent conference key agreement
• Composable framework for device-independent state certification
• (Almost-)Quantum Bell Inequalities and Device-Independent Applications
• SOS decomposition for general Bell inequalities in two qubits systems and its application to quantum randomness
• On random classical marginal problems with applications to quantum information theory
• NPA Hierarchy and Extremal Criterion in the Simplest Bell Scenario