In this work, we deal with the relaxation of two central assumptions in standard locally realistic hidden variable (LRHV) inequalities: free will in choosing measurement settings, and the presence of perfect detectors at the measurement devices. Quantum correlations violating LRHV inequalities are called quantum nonlocal correlations. In principle, in an adversarial situation, there could be a hidden variable introducing bias in the selection of measurement settings, but observers with no access to that hidden variable could be unaware of the bias. In practice, however, detectors do not have perfect efficiency. A main focus of this paper is the introduction of the framework in which given a quantum state with nonlocal behavior under constrained free will, we can determine the threshold values of detector parameters (detector inefficiency and dark counts) such that the detectors are robust enough to certify nonlocality. We also introduce a class of LRHV inequalities with constrained free will, and we discuss their implications in the testing of quantum nonlocal correlations.
In this work, we deal with the relaxation of two central assumptions in standard locally realistic hidden variable (LRHV) inequalities: free will in choosing measurement settings, and the presence of perfect detectors at the measurement devices. Quantum correlations violating LRHV inequalities are called quantum nonlocal correlations. In principle, in an adversarial situation, there could be a hidden variable introducing bias in the selection of measurement settings, but observers with no access to that hidden variable could be unaware of the bias. In practice, however, detectors do not have perfect efficiency. A main focus of this paper is the introduction of the framework in which given a quantum state with nonlocal behavior under constrained free will, we can determine the threshold values of detector parameters (detector inefficiency and dark counts) such that the detectors are robust enough to certify nonlocality. We also introduce a class of LRHV inequalities with constrained free will, and we discuss their implications in the testing of quantum nonlocal correlations.
The demonstration and use of nonlocality, as defined by Bell's theorem, rely strongly on dealing with nondetection events due to losses and detectors'inefficiencies. Otherwise, the so-called detection loophole could be exploited. The only way to avoid this is to have detection efficiencies that are above a certain threshold. We introduce the intermediate assumption of limited detection efficiency, that is, in each run of the experiment, the overall detection efficiency is lower bounded by η(min)>0. Hence, in an adversarial scenario, the adversaries have arbitrary large but not full control over the inefficiencies. We analyze the set of possible correlations that satisfy limited detection locality and show that they necessarily satisfy some linear Bell-like inequalities. We prove that quantum theory predicts the violation of one of these inequalities for all η(min)>0. Hence, nonlocality can be demonstrated with arbitrarily small limited detection efficiencies. We validate this assumption experimentally via a twin-photon implementation in which two users are provided with one photon each out of a partially entangled pair. We exploit on each side a passive switch followed by two measurement devices with fixed settings. Assuming the switches are not fully controlled by an adversary, nor by hypothetical local variables, we reveal the nonlocality of the established correlations despite a low overall detection efficiency.
Quantum nonlocality stands as a resource for device independent quantum information processing (DIQIP). It finds repercussions in applications such as, among others, quantum key distribution and generation of randomness. In this work, we investigate two different approaches to attest nonlocality. First we follow the assumption of limited measurement dependence, i.e., that the measurement settings used in Bell inequality tests or DIQIP are partially influenced by the source of entangled particles and/or by an adversary. Then, we introduce the intermediate assumption of limi- ted detection efficiency, that is, in each run of the experiment, the overall detection efficiency is lower bounded by eta_min > 0. Hence, in an adversarial scenario, the adversaries have arbitrary large but not full control over the inefficiencies. We analyse the set of possible correlations that fulfil Measurement Dependence/Limited Detection Locality (MDL/LDL) and show that they necessarily satisfy some linear Bell-like inequalities. In both scenarios, quantum theory predicts the violation of such inequalities for l > 0 in the first case, and eta_min > 0 in the other. We validate these assumptions experimentally via a twin-photon implementation in which two users are provided each with one photon out of a partially entangled pair. On one hand, we show with the first inequality that the measurement independence assumption can be widely relaxed while still demonstrating quantum nonlocality. On the other hand with the second inequality, assuming the switches between the measurement bases are not fully controlled by an adversary, nor by hypothetical local variables, we reveal the nonlocality of the established correlations despite a low overall detection efficiency.
Bell nonlocality is the experimentally testable incompatibility between quantum correlations and explanations based on local hidden variables. Its significance now extends beyond the foundations of quantum mechanics: a Bell-inequality violation can certify entanglement, randomness, measurement incompatibility, and cryptographic security without requiring a detailed model of the devices producing the observed data. This article develops the mathematical structure of Bell experiments and explains its role in device-independent quantum information. Conditional probability distributions are classified into local, quantum, and no-signalling sets; the Clauser-Horne-Shimony-Holt inequality is derived, and its classical, quantum, and algebraic limits are distinguished. Tsirelson’s bound is obtained from the CHSH operator, while Popescu-Rohrlich correlations demonstrate that no-signalling alone does not identify the quantum set. The relation between entanglement and nonlocality is examined through local entangled states, hidden nonlocality, and activation. Nonlocal games, semidefinite relaxations, self-testing, certified randomness, and device-independent quantum key distribution are treated as operational consequences of Bell violation. Particular attention is given to entropy accumulation, finite-data security, loophole-free experiments, and the limitations of device independence. Bell nonlocality emerges as both a foundational separation between classical and quantum causal models and a quantitative resource for cryptographic and informational tasks.
It is well known that the effect of quantum nonlocality, as witnessed by violation of a Bell inequality, can be observed even when relaxing the assumption of measurement independence, i.e., allowing for the source to be partially correlated with the choices of measurement settings; however, what is the minimal amount of measurement independence needed to observe quantum nonlocality? Here we explore this question and consider models with strong measurement-dependent locality, where measurement choices can be perfectly determined in almost all rounds of the Bell test. Nevertheless, we show that quantum nonlocality can still be observed in this scenario, which we conjecture is minimal within the framework we use. We also discuss potential applications in randomness amplification.
It is already known that one can always find a set of measurements on any two-qubit entangled state that will lead to a violation of the CHSH inequality. We provide an explicit state in terms of the angle between Alice's choice of measurements and the angle between Bob's choice of measurements, such that the CHSH inequality is always violated provided Alice's or Bob's choice of inputs are not collinear. We prove that inequalities with a corresponding Bell operator written as a linear combination of tensor products of Pauli matrices, excluding the identity, will generate the most nonlocal correlations using maximally entangled states in our experiment. From this result and a proposition from Horodecki et. al., we are able to construct the state that generates these optimal correlations. To achieve this state in a lab, one party must rotate their qubit using the orthogonal operation we provide and also rotate their Bloch sphere such that all their measurements lie in the same plane. We provide a comprehensive study of how Bell inequalities change when experiments introduce error via imperfect detection efficiency. The original cases of perfect efficiency are covered first and then a more realistic approach, when inefficient detectors are used, will follow. It is shown that less entanglement is needed to demonstrate more nonlocality in some Clasure-Horne-Shimony-Holt (CHSH) experiments when detector inefficiency is introduced. An example of this is shown for any given specific set of measurements in the CHSH Bell experiment. This occurs when one party has a detector of efficiency for each choice of input and the other party makes projective measurements. The efficiency can be pushed down to fifty percent while still violating the CHSH inequality, and for the experimental set-up illustrated, there is more nonlocality with less entanglement. Furthermore, it is shown that if the first party has an imperfect detector for only one choice of inputs rather than two, the efficiency can be brought down arbitrarily close to zero percent while still violating the CHSH inequality. Historically, nonlocality and entanglement were viewed as two equivalent resources, but recently this equality has come under question; these results further support this fundamental difference. Further more, we introduce Mermin's game in the case of relaxed conditions. The original constraints were that when the detectors in separate labs of a two-qubit experiment are in the same setting, then the results should be the same. We require that the outcomes are the same at least part of the time, given by some epsilon variable. Initially, one could find a maximum violation of one-fourth by allowing to parties to share the singlet state and have measurement settings one-hundred and twenty degrees apart from one another. By allowing some epsilon error in the perfect correlations regime, one can find a maximum violation of minus one plus the square root of two using the singlet state and measurement inputs that achieve Tsirelson's bound for the CHSH experiment. The reason is that we show Mermin's inequality is technically the CHSH inequality "in disguise", but with using constraints the CHSH experiment does not use. We derive Mermin's inequality under new conditions and give the projective measurements needed to violate maximally.
Loophole-free violations of Bell inequalities imply that at least one of the assumptions behind local hidden-variable theories must fail. Here, we show that, if only one fails, then it has to fail completely, therefore excluding models that partially constrain freedom of choice or allow for partial retrocausal influences, or allow partial instantaneous actions at a distance. Specifically, we show that (i) any hidden-variable theory with outcome independence (OI) and arbitrary joint relaxation of measurement independence (MI) and parameter independence (PI) can be experimentally excluded in a Bell-like experiment with many settings on high-dimensional entangled states, and (ii) any hidden-variable theory with MI, PI and arbitrary relaxation of OI can be excluded in a Bell-like experiment with many settings on qubit-qubit entangled states. Loophole-free violations of Bell inequalities imply that at least one of the assumptions formalising local hidden-variable theories must fail. Here, the authors show that, if only one is false, then it has to fail completely, therefore excluding models that allow partial instantaneous actions at a distance, partially constrain freedom of choice or allow for partial retrocausal influences.