We present a linear program that is capable of determining whether a set of correlations can be captured by a local realistic model. If the correlations can be described by such a model, the linear program outputs a joint probability distribution that produces the given correlations. If the correlations cannot be described under the assumption of local realism, the program outputs a Bell inequality violated by the correlations.
We present a linear program that is capable of determining whether a set of correlations can be captured by a local realistic model. If the correlations can be described by such a model, the linear program outputs a joint probability distribution that produces the given correlations. If the correlations cannot be described under the assumption of local realism, the program outputs a Bell inequality violated by the correlations.
Tests of local realism and their applications aim for very high confidence in their results even in the presence of potentially adversarial effects. For this purpose, one can measure a quantity that reflects the amount of violation of local realism and determine a bound on the probability, according to local realism, of obtaining a violation at least that observed. In general, it is difficult to obtain sufficiently robust and small bounds. Here we describe an efficient protocol for computing such bounds from any set of Bell inequalities for any number of parties, measurement settings, or outcomes. The protocol can be applied to tests of other properties (such as entanglement or dimensionality) that are witnessed by linear inequalities.
Bell's theorem shows that local realistic theories place strong restrictions on observable correlations between different systems, giving rise to Bell's inequality which can be violated in experiments using entangled quantum states. Bell's theorem is based on the assumptions of realism, locality, and the freedom to choose between measurement settings. In experimental tests, "loopholes" arise which allow observed violations to still be explained by local realistic theories. Violating Bell's inequality while simultaneously closing all such loopholes is one of the most significant still open challenges in fundamental physics today. In this paper, we present an experiment that violates Bell's inequality while simultaneously closing the locality loophole and addressing the freedom-of-choice loophole, also closing the latter within a reasonable set of assumptions. We also explain that the locality and freedom-of-choice loopholes can be closed only within nondeterminism, i.e., in the context of stochastic local realism.
Reliable and loophole-free demonstrations of the violation of local realism (LR) are highly desirable not only for understanding the foundation of quantum mechanics but also for facilitating quantum information processing, such as quantum key distribution and randomness expansion. To date, LR has been experimentally violated, but with loopholes, by testing predetermined Bell inequalities. This thesis presents a framework for verifying and quantifying the violation of LR without relying on a particular Bell inequality.\nFirst, the experimental resources, such as the quantum state, measurement settings, detection effciency, and visibility required for a violation of LR, are studied via a measure called the statistical strength. The higher the statistical strength, the more confidence in a violation of LR one has after a suffciently large number of experimental data. Particularly, we study the minimum detection effciency required to achieve any given statistical strength level in tests of LR with entangled states created from two independent polarized photons passing through a polarizing beam splitter. It is shown that, compared with photon detectors, photon counters make violations of LR easier to detect for any nonzero probability of multiple photons in an output beam of the polarizing beam splitter.\nSecond, to quantify the statistical evidence against LR obtained from a finite number of experimental data, one can choose a test statistic, such as a Bell-inequality violation, to measure the amount of violation of LR. It is desirable to bound the probability, according to LR, of obtaining a test statistic at least as extreme as that observed. This probability is known as a p-value for the hypothesis test of LR. We propose a protocol to bound such a p-value. The bound provided is asymptotically tight, if the prepared quantum state and measurement settings are stable during an experiment. Therefore, the proposed protocol is asymptotically optimal, and the bound provided is a standardized measure of success for experimental tests of LR. One can quantitatively compare different experimental tests based on this bound. Moreover, the bound provided is valid even if the quantum state varies arbitrarily and local realistic models depend on previous measurement settings and outcomes. Hence, this bound facilitates device-independent and nonlocality-based quantum information processing. For comparison, bounds of p-values derived from Bell-inequality violations using the number of standard deviations of violation of a Bell inequality or using martingale theory are studied. It is found that putative bounds derived from the number of standard deviations of violation are not valid and bounds from martingale theory are not tight.\nFinally, a simplified and effcient data analysis protocol using a set of Bell inequalities is proposed and compared with the above optimal and martingale-based protocols. The simplified protocol provides as good as and typically tighter p-value bounds than the martingale-based protocol, and the bounds provided can even be asymptotically tight. Moreover, the simplified protocol can be applied to any test with linear witnesses, such as tests for verifying entanglement, system dimensionality, or steering.
We present a detailed investigation of minimum detection efficiencies, below which local realism cannot be violated by any quantum system of any dimension in bipartite Bell experiments. Lower bounds on these minimum detection efficiencies are determined with the help of linear programming techniques. Our approach is based on the observation that any possible bipartite quantum correlation originating from a quantum state in an arbitrary dimensional Hilbert space is sandwiched between two probability polytopes, namely the local (Bell) polytope and a corresponding nonlocal no-signaling polytope. Numerical results are presented demonstrating the dependence of these lower bounds on the numbers of inputs and outputs of the bipartite physical system.
One of the most notable aspects of quantum systems is that their components can exhibit correlations much stronger than those allowed by classical physics. Two examples of quantum correlations are quantum entanglement and Bell nonlocality, but generally there is a hierarchy of many types of quantum correlations. Among these correlations, Bell nonlocality holds a special place because it plays a dual role in distinguishing theories where local realism is a valid description. A Bell test, which is a test of local realism, typically needs to be augmented with assumptions to address possible loopholes in the experimental setup. In this work, we study Bell tests in experiments in which the detector reports the correct outcome with a specified probability. This mirrors the situation at high-energy colliders, where particle spins are not measured directly but inferred from the angular distributions of their decay products. We show that, in this setup, a test of local realism is not possible. Quantum correlations, however, are still present, measurable, and informative in high-energy colliders. These correlations are the building blocks of the interesting, developing quantum information science program at high-energy colliders. The measurements of entanglement by the ATLAS and CMS experiments are the first steps in this initiative.