Quantum nonlocality is a counterintuitive phenomenon that lies beyond the purview of causal influences. Recently, Bell inequalities have been generalized to the case of quantum inputs, leading to a powerful family of semiquantum Bell inequalities that are capable of detecting any entangled state. Here, we focus on a different problem and investigate how the local indistinguishability of quantum inputs and postselection may affect the requirements to detect semiquantum nonlocality. To this end, we consider a semiquantum nonlocal game based on locally indistinguishable qubit inputs, and derive its postselected local and quantum bounds by using a connection to the local distinguishability of quantum states. Interestingly, we find that the postselected local bound is independent of the measurement efficiency, and the achievable postselected Bell violation increases with decreasing measurement efficiency.
Quantum nonlocality is a counterintuitive phenomenon that lies beyond the purview of causal influences. Recently, Bell inequalities have been generalized to the case of quantum inputs, leading to a powerful family of semiquantum Bell inequalities that are capable of detecting any entangled state. Here, we focus on a different problem and investigate how the local indistinguishability of quantum inputs and postselection may affect the requirements to detect semiquantum nonlocality. To this end, we consider a semiquantum nonlocal game based on locally indistinguishable qubit inputs, and derive its postselected local and quantum bounds by using a connection to the local distinguishability of quantum states. Interestingly, we find that the postselected local bound is independent of the measurement efficiency, and the achievable postselected Bell violation increases with decreasing measurement efficiency.
A common problem in Bell-type experiments is the well-known detection loophole: if the detection efficiencies are not perfect and if one simply postselects the conclusive events, one might observe a violation of a Bell inequality, even though a local model could have explained the experimental results. In this paper, we analyze the set of all postselected correlations that can be explained by a local model, and show that it forms a polytope, larger than the Bell local polytope. We characterize the facets of this postselected local polytope in the Clauser-Horne-Shimony-Holt scenario, where two parties have binary inputs and outcomes. Our approach gives interesting insights on the detection loophole problem.
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.
Abstract Nonlocality, manifested by the violation of Bell inequalities, indicates entanglement within a joint quantum system. A natural question is how much entanglement is required for a given nonlocal behavior. Here, we explore this question by quantifying entanglement using a family of generalized Clauser–Horne–Shimony–Holt-type Bell inequalities. Given a Bell-inequality violation, we derive analytical lower bounds on the entanglement of formation, a measure related to entanglement dilution. The bounds also lead to an analytical estimation of the negativity of entanglement. In addition, we consider one-way distillable entanglement tied to entanglement distillation and derive tight numerical estimates. With the additional assumptions of qubit-qubit systems, we find that the relationship between entanglement and measurement incompatibility is not simply a trade-off under a fixed nonlocal behavior. Furthermore, we apply our results to two realistic scenarios—non-maximally entangled and Werner states. We show that one can utilize the nonlocal statistics by optimizing the Bell inequality for better entanglement estimation.
Quantum causality violates classical intuitions of cause and effect and is a unique quantum feature different from other quantum phenomena such as entanglement and quantum nonlocality. In order to avoid the detection loophole in quantum causality, we initiate the study of the detection efficiency requirement for observing quantum causality. We first show that previous classical causal inequalities require detection efficiency at least 95.97 (89.44) to show violation with quantum (nonsignaling) correlations. Next we derive a classical causal inequality I222 and show that it requires lower detection efficiency to be violated, 92.39 for quantum correlations and 81.65 for nonsignaling correlations, hence substantially reducing the requirement on detection. Then we extend this causal inequality to the case of multiple measurement settings and analyze the corresponding detection efficiency. After that, we show that previous quantum causal inequalities require detection efficiency at least 94.29 to violate with nonsignaling correlations. We subsequently derive a quantum causal bound J222 that has a lower detection efficiency requirement of 91.02 for violation with nonsignaling correlations. Our work paves the way towards an experimental demonstration of quantum causality and shows that causal inequalities significantly differ from Bell inequalities in terms of the detection efficiency requirement.
Bell's test, initially devised to distinguish quantum theory from local hidden variable models through {violations of local bounds}, is also a common tool for detecting entanglement. For this purpose, one can assume the quantum description of devices and use available information to strengthen the bound for separable states, which may go beyond the local bound, enabling more efficient entanglement detection. Here we present a systematic approach for strengthening Bell inequalities for qubit systems, using Mermin-Klyshko-Bell inequalities as examples, by considering measurement devices that are coarsely calibrated only by their ability to generate nonlocal correlations without requiring precise quantum characterization. In the case of bipartite and tripartite systems, we derive trade-offs between upper bounds for separable states and general states in terms of structure functions to optimize the entanglement detection. We then strengthen n-partite Bell inequalities for the detection of states exhibiting a diversity of entanglement structures such as genuine multipartite entanglement. For general Bell scenarios with some measurements characterized, we demonstrate that entanglement can also be detected with some local correlations by exploiting the Navascués-Pironio-Acín hierarchy of tests.
It is one of the most remarkable features of quantum physics that measurements on spatially separated systems cannot always be described by a locally causal theory. In such a theory, the outcomes of local measurements are determined in advance solely by some unknown (or hidden) variables and the choice of local measurements. Correlations that are allowed within the framework of a locally causal theory are termed classical. Typically, the fact that quantum mechanics does not always result in classical correlations is revealed by the violation of Bell inequalities, which are constraints that have to be satisfied by any classical correlations. It has been known for a long time that entanglement is necessary to demonstrate nonclassical correlations, and hence a Bell inequality violation. However, since some entangled quantum states are known to admit explicit locally causal models, the exact role of entanglement in Bell inequality violation has remained obscure. This thesis provides both a comprehensive review on these issues as well as a report on new discoveries made to clarify the relationship between entanglement and Bell inequality violation. In particular, within the framework of a standard Bell experiment, i.e., a Bell inequality test that is directly performed on a single copy of a quantum state r, we have derived two algorithms to determine, respectively, a lower bound and an upper bound on the strength of correlations that r can offer for any given Bell inequality. Both of these algorithms make use convex optimization techniques in the form of a semidefinite program. By examples, we show that these algorithms can often be used in tandem, in conjunction with convexity arguments, to determine if a quantum state can offer nonclassical correlations and hence violates a given Bell inequality. On the other hand, since a standard Bell experiment typically involves measurements over many copies of the quantum systems, we have also investigated the possibility of enhancing the strength of nonclassical correlation by, instead, performing collective measurements on multiple copies of the quantum systems. Our findings show that even without postselection, such joint measurements may also lead to stronger nonclassical correlations, and hence a better Bell inequality violation. Meanwhile, previous studies have indicated that entangled state admitting locally causal models may still lead to observable nonclassical correlations if, prior to a standard Bell experiment, the state is subjected to some appropriate local preprocessing. This phenomenon of hidden nonlocality was discovered more than a decade ago, but to date, it is still not known if all entangled states can demonstrate nonclassical correlations through these more sophisticated Bell experiments. A key result in this thesis then consists of showing that for all bipartite entangled states, observable nonclassical correlations, in the form of a Bell-CHSH inequality violation, can indeed be derived if we allow both local preprocessing and the usage of shared ancillary state which by itself does not violate the Bell-CHSH inequality. This establishes a kind of equivalence between bipartite entanglement and states that cannot be simulated by classical correlations. In summary, for a standard Bell experiment where no local preprocessing on a quantum state r is allowed, we have provided two algorithms that can be used in tandem to determine if r can be simulated by a locally causal theory, whereas in the scenario where local preprocessing is allowed, we have demonstrated that bipartite entangled states are precisely those which cannot always be simulated classically.