Abstract:Investigations of the boundary of the quantum correlation set through the derivation of quantum Bell inequalities have gained increased attention in recent years, which are related to Tsirelson's problem and have significant applications in 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 three foundational and DI applications. Firstly, quantum correlations on the non-signaling boundary are crucial in the 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 show a separation of the quantum boundary from certain portions of the no-signaling boundary of dimension up to 4k-8, extending previous results. As an immediate by-product of this, we give a general proof of Aumann's Agreement theorem for quantum systems and 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. Secondly, we present a family of quantum Bell inequalities in the two players with m binary measurements scenarios, that serve to self-test the two-qubit singlet and 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 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. With this, we provide the most precise characterization of the quantum boundary known so far.

Extremal Tsirelson inequalities

Custom Bell inequalities from formal sums of squares

A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL

Refined Tsirelson Bounds on Multipartite Bell Inequalities

Stronger-than-quantum correlations

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

Some extremal problems related to Bell-type inequalities

Tsirelson inequalities: Detecting cheating and quantumness in a single framework

Quantum Collapse Bell Inequalities

Non-local Hidden Variable Theories and Bell's Inequality

Tight Bell inequalities from polytope slices

Multideviations: The hidden structure of Bell's theorems

Bell's Inequality and Heisenberg Measurements on Relativistic Quantum Systems

Bell-CHSH inequality and unitary operators

Quantum statistics in the minimal scenario

Experimental realization of Schumacher's information geometric Bell inequality

What in fact proves the violation of the Bell-type inequalities?

Experimental Violation Of Bell'S Inequality Beyond Tsirelson'S Bound

Quantum Simpsons Paradox and High Order Bell-Tsirelson Inequalities