Quantum nonlocality, one of the most important features of quantum mechanics, is normally connected in experiments with the violation of Bell-Clauser-Horne (Bell-CH) inequalities. We propose effective methods for the rearrangement and linear inequality to prove a large variety of Bell-CH inequalities. We also derive a set of Bell-CH inequalities by using these methods which can be violated in some quantum entangled states.
We investigate quantum nonlocality of a single-photon entangled state under feasible measurement techniques consisting of on-off and homodyne detections along with unitary operations of displacement and squeezing. We test for a potential violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality, in which each of the bipartite party has a freedom to choose between 2 measurement settings, each measurement yielding a binary outcome. We find that single-photon quantum nonlocality can be detected when two or less of the 4 total measurements are carried out by homodyne detection. The largest violation of the CHSH inequality is obtained when all four measurements are squeezed-and-displaced on-off detections. We test robustness of violations against imperfections in on-off detectors and single-photon sources, finding that the squeezed-and-displaced measurement schemes perform better than the displacement-only measurement schemes.
Correlation self-testing of a theory addresses the question of whether we can identify the set of correlations realisable in a theory from its performance in a particular information processing task. Applied to quantum theory it aims to identify an information processing task whose optimal performance is achieved only by theories realising the same correlations as quantum theory in any causal structure. In [Phys. Rev. Lett. 125 060406 (2020)] we introduced a candidate task for this, the adaptive CHSH game. Here, we analyse the maximum probability of winning this game in different generalised probabilistic theories. We show that theories with a joint state space given by the minimal or the maximal tensor product are inferior to quantum theory, before considering other tensor products in theories whose elementary systems have various two-dimensional state spaces. For these, we find no theories that outperform quantum theory in the adaptive CHSH game and prove that it is impossible to recover the quantum performance in various cases. This is the first step towards a general solution that, if successful, will have wide-ranging consequences, in particular, enabling an experiment that could rule out all theories in which the set of realisable correlations does not coincide with the quantum set.
In quantum information, lifting is a systematic procedure that can be used to derive---when provided with a seed Bell inequality---other Bell inequalities applicable in more complicated Bell scenarios. It is known that the procedure of lifting introduced by Pironio [J. Math. Phys. A 46, 062112 (2005)] preserves the facet-defining property of a Bell inequality. Lifted Bell inequalities therefore represent a broad class of Bell inequalities that can be found in {em all} Bell scenarios. Here, we show that the maximal value of {em any} lifted Bell inequality is preserved for both the set of nonsignaling correlations and quantum correlations. Despite the degeneracy in the maximizers of such inequalities, we show that the ability to self-test a quantum state is preserved under these lifting operations. In addition, except for outcome-lifting, local measurements that are self-testable using the original Bell inequality---despite the degeneracy---can also be self-tested using {em any} lifted Bell inequality derived therefrom. While it is not possible to self-test {em all} the positive-operator-valued measure elements using an outcome-lifted Bell inequality, we show that partial, but robust self-testing statements on the underlying measurements can nonetheless be made from the quantum violation of these lifted inequalities. We also highlight the implication of our observations on the usefulness of using lifted Bell-like inequalities as a device-independent witnesses for entanglement depth. The impact of the aforementioned degeneracy on the geometry of the quantum set of correlations is briefly discussed.
We propose a geometric multiparty extension of Clauser-Horne (CH) inequality. The standard CH inequality can be shown to be an implication of the fact that statistical separation between two events, $A$ and $B$, defined as $P(Aoplus B)$, where $Aoplus B=(A-B)cup(B-A)$, satisfies the axioms of a distance. Our extension for tripartite case is based on triangle inequalities for the statistical separations of three probabilistic events $P(Aoplus B oplus C)$. We show that Mermin inequality can be retrieved from our extended CH inequality for three subsystems. With our tripartite CH inequality, we investigate quantum violations by GHZ-type and W-type states. Our inequalities are compared to another type, so-called $N$-site CH inequality. In addition we argue how to generalize our method for more subsystems and measurement settings. Our method can be used to write down several Bell-type inequalities in a systematic manner.
Understanding the limits of quantum theory in terms of uncertainty and correlation has always been a topic of foundational interest. Surprisingly this pursuit can also bear interesting applications such as device-independent quantum cryptography and tomography or self-testing. Building upon a series of recent works on the geometry of quantum correlations, we are interested in the problem of computing quantum Bell inequalities or the boundary between quantum and post-quantum world. Better knowledge of this boundary will lead to more efficient device-independent quantum processing protocols. We show that computing quantum Bell inequalities is an instance of a quantifier elimination problem, and apply these techniques to the bipartite scenario in which each party can have three measurement settings. Due to heavy computational complexity, we are able to obtain the characterization of certain linear relaxation of the quantum set for this scenario. The resulting quantum Bell inequalities are shown to be equivalent to the Tsirelson-Landau-Masanes arcsin inequality, which is the only type of quantum Bell inequality found since 1987.