Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2111.06270 · Quantum

Quantum Correlations in the Minimal Scenario

Lê Phuc Thinh, Chiara Meroni, Bernd Sturmfels, Reinhard F. Werner, Timo Ziegler

Published Mar 16, 2023• 28 citations
arXivHTMLPDF

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 Q , is fundamental for quantum information theory. We review and systematize what is known about Q , 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 Q , also identifying the boundary structures. The second principle, self-duality, is an isomorphism between Q 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 Q to the polytope of no-signalling correlations, which contains Q .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 Q involving the determinant of the correlation matrix.

DOI
10.22331/q-2023-03-16-947

Related papers

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

Kai-Siang Chen, Gelo Noel M. Tabia, Chellasamy Jebarathinam +3 more

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 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 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.

arXiv:2207.13850•Quantum•Jul 11, 2023•12 citations

Exact Identification of Quantum Correlations in the Minimal Bell Scenario

Liang-Liang Sun, Jie Wang, Sixia Yu

Bell nonlocality places the long-standing philosophical disputes over the nature of quantum theory on a mathematically rigorous, experimentally testable footing, positioning quantum mechanics between local realism and the most general no-signaling theories. Yet the precise quantum boundary has remained elusive even in the minimal Bell scenario, where the extreme points generating the set are known. Here we characterize this boundary through a computable necessary and sufficient criterion: a correlation is quantum if and only if it can be decomposed into an extreme quantum correlation and a classical correlation. The criterion follows from our proof that every Bell functional exhibiting quantum advantage admits a unique quantum maximizer. We further classify the finitely many maximal-face structures containing each nonlocal exposed point according to their local deterministic vertices. By sharply distinguishing physically realizable correlations from nonphysical ones, these results resolve a long-standing open problem and provide a new foundation for identifying the principles underlying quantum theory and determining the ultimate information-theoretic limits of quantum correlations.

quant-pharXiv:2610.34364•Oct 27, 2026•0 citations

The perturbative method for quantum correlations

Sacha Cerf, Harold Ollivier

The set $\mathcal{Q}$ of quantum correlations is the collection of all possible probability distributions on measurement outcomes achievable by space-like separated parties sharing a quantum state. Since the original work of Tsirelson [Tsirelson, Lett. Math. Phys. 4, 93 (1980)], this set has mainly been studied through the means algebraic and convex geometry techniques. We introduce a perturbative method using Lie-theoretic tools for the unitary group to analyze the response of the evaluations of Bell functionals under infinitesimal unitary perturbations of quantum strategies. Our main result shows that, near classical deterministic points, an $(n, 2, d)$ Bell operator decomposes into a direct sum of $(k, 2, d-1)$ Bell operators which we call \emph{subset games}. We then derive three key insights: (1) in the $(n, 2, 2)$ case, if $p_0$ is classically optimal, it remains locally optimal even among 2-dimensional quantum strategies, implying in turn that the boundary of $\mathcal{Q}$ is flat around classical deterministic points; (2) it suggests a proof strategy for Gisin's open problem on correlations in $\mathcal{Q}(D)$ unattainable by projective strategies of the same dimension; and (3) it establishes that the Ansatz dimension is a critical resource for learning in distributed scenarios, even when the optimal solution admits a low-dimensional representation.

quant-pharXiv:2603.26875•Mar 31, 2026•0 citations

Classifying the simplest Bell inequalities beyond qubits and their applications towards self-testing

Palash Pandya, Shubhayan Sarkar, Remigiusz Augusiak

Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest $(2,2,2)$ scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the $(2,2,3)$ scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.

quant-pharXiv:2602.08469•Feb 10, 2026•0 citations

(Almost-)Quantum Bell Inequalities and Device-Independent Applications

Yuan Liu, Ho Yiu Chung, Ravishankar Ramanathan

Investigations of the boundary of the quantum correlation set have gained increased attention in recent years. This is done through the derivation of quantum Bell inequalities, which are related to Tsirelson's problem and have significant applications in device-independent (DI) information processing. However, determining quantum Bell inequalities is a notoriously difficult task and only isolated examples are known. In this paper, we present families of (almost-)quantum Bell inequalities and highlight four foundational and DI applications. Firstly, it is known that quantum correlations on the non-signaling boundary are of crucial importance in the task of DI randomness extraction from weak sources. In the practical Bell scenario of two players with two k -outcome measurements, we derive quantum Bell inequalities that demonstrate a separation between the quantum boundary and certain portions of the boundaries of the no-signaling polytope of dimension up to 4k−8 , extending previous results from nonlocality distillation and the collapse of communication complexity. Secondly as an immediate by-product, we give a general proof of Aumann’s Agreement theorem for quantum systems as well as the almost-quantum correlations, which implies Aumann’s agreement theorem is a reasonable physical principle in the context of epistemics to pick out both quantum theory and almost-quantum correlations from general no-signaling theories. Thirdly, we present a family of quantum Bell inequalities in the two players with m binary measurements scenarios, that we prove serve to self-test the two-qubit singlet and the corresponding 2m measurements. Interestingly, this claim generalizes the result for m=2 discovered by Tsirelson-Landau-Masanes and shows an improvement over the state-of-the-art Device-Independent Randomness-Amplification (DIRA). Lastly, we use our quantum Bell inequalities to derive the general form of the principle of no advantage in nonlocal computation, which is an information-theoretic principle that serves to characterize the quantum correlation set.

arXiv:2309.06304•Quantum•Oct 2, 2024•1 citation

An operational characterization of finite-dimensional quantum theory

Lionel J. Dmello, Xiangling Xu, Marc-Olivier Renou +1 more

A key goal in the foundations of quantum mechanics is to identify operational constraints characterizing physical theories. Bell inequalities do so for classical probability theory, while Tsirelson's bound provides a first step for quantum mechanics. Here, we address the dual question: Can one certify that all correlations predicted by quantum theory are actually realizable? In this work, we construct a finite number of two-body correlations such that the only probabilistic theory that (1) realizes them, and (2) does so in a way that is stable under iterated teleportation, is quantum theory. For $n$ quantum systems of dimension $d$ each, Condition (1) can be verified using $\operatorname{poly}(d,n)$ measurement settings. Condition (2) may be understood as a hierarchy of tests, one for each number $N$ of teleportation steps. There is thus a sense in which finite-dimensional quantum theory can be self-tested. In particular, one can certify the existence of Bell inequality violations larger than any that have been directly observed.

quant-pharXiv:2610.03694•Oct 5, 2026•0 citations
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 Q , is fundamental for quantum information theory. We review and systematize what is known about Q , 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 Q , also identifying the boundary structures. The second principle, self-duality, is an isomorphism between Q 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 Q to the polytope of no-signalling correlations, which contains Q .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 Q involving the determinant of the correlation matrix.
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 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 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.
Bell nonlocality places the long-standing philosophical disputes over the nature of quantum theory on a mathematically rigorous, experimentally testable footing, positioning quantum mechanics between local realism and the most general no-signaling theories. Yet the precise quantum boundary has remained elusive even in the minimal Bell scenario, where the extreme points generating the set are known. Here we characterize this boundary through a computable necessary and sufficient criterion: a correlation is quantum if and only if it can be decomposed into an extreme quantum correlation and a classical correlation. The criterion follows from our proof that every Bell functional exhibiting quantum advantage admits a unique quantum maximizer. We further classify the finitely many maximal-face structures containing each nonlocal exposed point according to their local deterministic vertices. By sharply distinguishing physically realizable correlations from nonphysical ones, these results resolve a long-standing open problem and provide a new foundation for identifying the principles underlying quantum theory and determining the ultimate information-theoretic limits of quantum correlations.
The set Q\mathcal{Q}Q of quantum correlations is the collection of all possible probability distributions on measurement outcomes achievable by space-like separated parties sharing a quantum state. Since the original work of Tsirelson [Tsirelson, Lett. Math. Phys. 4, 93 (1980)], this set has mainly been studied through the means algebraic and convex geometry techniques. We introduce a perturbative method using Lie-theoretic tools for the unitary group to analyze the response of the evaluations of Bell functionals under infinitesimal unitary perturbations of quantum strategies. Our main result shows that, near classical deterministic points, an (n,2,d)(n, 2, d)(n,2,d) Bell operator decomposes into a direct sum of (k,2,d−1)(k, 2, d-1)(k,2,d−1) Bell operators which we call \emph{subset games}. We then derive three key insights: (1) in the (n,2,2)(n, 2, 2)(n,2,2) case, if p0p_0p0​ is classically optimal, it remains locally optimal even among 2-dimensional quantum strategies, implying in turn that the boundary of Q\mathcal{Q}Q is flat around classical deterministic points; (2) it suggests a proof strategy for Gisin's open problem on correlations in Q(D)\mathcal{Q}(D)Q(D) unattainable by projective strategies of the same dimension; and (3) it establishes that the Ansatz dimension is a critical resource for learning in distributed scenarios, even when the optimal solution admits a low-dimensional representation.
Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest (2,2,2)(2,2,2)(2,2,2) scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the (2,2,3)(2,2,3)(2,2,3) scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.
Investigations of the boundary of the quantum correlation set have gained increased attention in recent years. This is done through the derivation of quantum Bell inequalities, which are related to Tsirelson's problem and have significant applications in device-independent (DI) information processing. However, determining quantum Bell inequalities is a notoriously difficult task and only isolated examples are known. In this paper, we present families of (almost-)quantum Bell inequalities and highlight four foundational and DI applications. Firstly, it is known that quantum correlations on the non-signaling boundary are of crucial importance in the task of DI randomness extraction from weak sources. In the practical Bell scenario of two players with two k -outcome measurements, we derive quantum Bell inequalities that demonstrate a separation between the quantum boundary and certain portions of the boundaries of the no-signaling polytope of dimension up to 4k−8 , extending previous results from nonlocality distillation and the collapse of communication complexity. Secondly as an immediate by-product, we give a general proof of Aumann’s Agreement theorem for quantum systems as well as the almost-quantum correlations, which implies Aumann’s agreement theorem is a reasonable physical principle in the context of epistemics to pick out both quantum theory and almost-quantum correlations from general no-signaling theories. Thirdly, we present a family of quantum Bell inequalities in the two players with m binary measurements scenarios, that we prove serve to self-test the two-qubit singlet and the corresponding 2m measurements. Interestingly, this claim generalizes the result for m=2 discovered by Tsirelson-Landau-Masanes and shows an improvement over the state-of-the-art Device-Independent Randomness-Amplification (DIRA). Lastly, we use our quantum Bell inequalities to derive the general form of the principle of no advantage in nonlocal computation, which is an information-theoretic principle that serves to characterize the quantum correlation set.
A key goal in the foundations of quantum mechanics is to identify operational constraints characterizing physical theories. Bell inequalities do so for classical probability theory, while Tsirelson's bound provides a first step for quantum mechanics. Here, we address the dual question: Can one certify that all correlations predicted by quantum theory are actually realizable? In this work, we construct a finite number of two-body correlations such that the only probabilistic theory that (1) realizes them, and (2) does so in a way that is stable under iterated teleportation, is quantum theory. For nnn quantum systems of dimension ddd each, Condition (1) can be verified using poly⁡(d,n)\operatorname{poly}(d,n)poly(d,n) measurement settings. Condition (2) may be understood as a hierarchy of tests, one for each number NNN of teleportation steps. There is thus a sense in which finite-dimensional quantum theory can be self-tested. In particular, one can certify the existence of Bell inequality violations larger than any that have been directly observed.