Bell inequality with a self-testing property has played an important role in quantum information processing with both fundamental and practical significance. However, it is generally challenging to find Bell inequalities used for self-testing multipartite states, and actually, there are not many known candidates. In this work we propose a systematic framework to construct Bell inequalities from stabilizers which are maximally violated by general stabilizer states, with two observables for each local party. We show that the constructed Bell inequalities can self-test any stabilizer state if and only if these stabilizers can uniquely determine the state in a device-dependent manner. This bridges the gap between device-independent and device-dependent verification methods. Our framework can provide plenty of Bell inequalities for self-testing
N-party stabilizer states. Among them, we give two families of Bell inequalities with different advantages: (1) a family of Bell inequalities with a constant ratio of quantum and classical bounds using
2N correlations, and (2) single pair inequalities improving on all previous robustness self-testing bounds using
N+1 correlations, which are both efficient and robust for realizations in multipartite systems.
All previous experimental tests of Bell inequalities have required additional assumptions. The strong Bell inequalities (i.e. those requiring no additional assumptions) have never been tested. An experiment has been designed that can, for the first time, provide a definitive test of the strong Bell inequalities. Not only will the detector efficiency loophole be closed; but the locality condition will also be rigorously enforced. The experiment involves producing two Hg-199 atoms by a resonant Raman dissociation of a mercury dimer ((199)Hg2) that is in an electronic and nuclear spin singlet state. Bell inequalities can be tested by measuring angular momentum correlations between the spin one-half nuclei of the two Hg-199 atoms. The method used to make these latter measurements will be described.
The analogy between two-level atoms and spins is used to show that Rydberg atoms provide a new medium through which Bell’s inequalities may be studied. The low-efficiency particle detectors that have been used in experiments to test Bell’s inequalities are replaced by nearly 100% efficient state-selective ionizers in Rydberg-atom experiments. Two methods for producing correlated states of pairs of atoms are discussed. Each method can be used to create correlated states of more than two atoms. A Bell inequality for a three-atom system is considered and compared with quantum-mechanical predictions. A violation of the inequality for the three-particle system is predicted.