We explore the link between two concepts: the level of violation of a Bell inequality by a quantum state and discrimination between two states by means of restricted classes of operations, such as local operations and classical communication and separable ones. For any bipartite Bell inequality, we show that its value on a given quantum state cannot exceed the classical bound by more than the maximal quantum violation shrunk by a factor related to the distinguishability of this state from the separable set by means of some restricted class of operations. We then consider the general scenarios where the parties are allowed to perform a local preprocessing of many copies of the state before the Bell test (asymptotic and hidden-nonlocality scenarios). We define the asymptotic relative entropy of nonlocality and, for positive partial transpose states, we bound this quantity by the relative entropy of entanglement of the partially transposed state. The bounds are strong enough to limit the use of certain states containing a private key in the device-independent scenario.
We explore the link between two concepts: the level of violation of a Bell inequality by a quantum state and discrimination between two states by means of restricted classes of operations, such as local operations and classical communication and separable ones. For any bipartite Bell inequality, we show that its value on a given quantum state cannot exceed the classical bound by more than the maximal quantum violation shrunk by a factor related to the distinguishability of this state from the separable set by means of some restricted class of operations. We then consider the general scenarios where the parties are allowed to perform a local preprocessing of many copies of the state before the Bell test (asymptotic and hidden-nonlocality scenarios). We define the asymptotic relative entropy of nonlocality and, for positive partial transpose states, we bound this quantity by the relative entropy of entanglement of the partially transposed state. The bounds are strong enough to limit the use of certain states containing a private key in the device-independent scenario.
Bell nonlocality describes a manifestation of quantum mechanics that cannot be explained by any local hidden variable model. Its origin lies in the nature of quantum entanglement, although understanding the precise relationship between nonlocality and entanglement has been a notorious open problem. In this paper, we develop a dynamical framework in which quantum Bell nonlocality emerges as a special form of entanglement and both are unified as resources under local operations and classical communication (LOCC). Our framework is built on the notion of classical and quantum processes, which are defined as channels that map elements between specific intervals in space and time. Entanglement is identified as a process that cannot be generated by LOCC while Bell nonlocality is the subset of these processes that have an instantaneous input-to-output delay time. LOCC preprocessing is a natural set of free operations in this theory, thereby providing previous nonlocality activation results a clear resource-theoretic foundation. We provide a systematic method to quantify the Bell nonlocality of a bipartite quantum channel. It is shown that both the relative entropy and the max relative entropy of nonlocality are nonadditive for a family of bipartite classical channels. This family includes the channel obtained when using the singlet state to maximally violate the CHSH inequality. We also find that the regularized relative entropy of Bell nonlocality provides an upper bound on the asymptotic rate of converting (i.e., simulating) many copies of one classical instantaneous resource to another.
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.
A well-known manifestation of quantum entanglement is that it may lead to correlations that are inexplicable within the framework of a locally causal theory---a fact that is demonstrated by the quantum violation of Bell inequalities. The precise relationship between quantum entanglement and the violation of Bell inequalities is, however, not well understood. While it is known that entanglement is necessary for such a violation, it is not clear whether all entangled states violate a Bell inequality, even in the scenario where one allows joint operations on multiple copies of the state and local filtering operations before the Bell experiment. In this paper we show that all entangled states, or more precisely, all not-fully-separable states of arbitrary Hilbert space dimension and arbitrary number of parties, violate a Bell inequality when combined with another state which on its own cannot violate the same Bell inequality. This result shows that quantum entanglement and quantum nonlocality are in some sense equivalent, thus giving an affirmative answer to the aforementioned open question. It follows from our result that two entangled states that are apparently useless in demonstrating quantum nonlocality via a specific Bell inequality can be combined to give a Bell violation of the same inequality. Explicit examples of such activation phenomenon are provided.
We study the discrimination of a pair of orthogonal quantum states in the many-copy setting. This is not a problem when arbitrary quantum measurements are allowed, as then the states can be distinguished perfectly even with one copy. However, it becomes highly nontrivial when we consider states of a multipartite system and locality constraints are imposed. We hence focus on the restricted families of measurements such as local operation and classical communication (LOCC), separable operations (SEP), and the positive-partial-transpose operations (PPT) in this paper. We first study asymptotic discrimination of an arbitrary multipartite entangled pure state against its orthogonal complement using LOCC/SEP/PPT measurements. We prove that the incurred optimal average error probability always decays exponentially in the number of copies, by proving upper and lower bounds on the exponent. In the special case of discriminating a maximally entangled state against its orthogonal complement, we determine the explicit expression for the optimal average error probability, thus establishing the associated Chernoff exponent. Our technique is based on the idea of using PPT operations to approximate LOCC. Then, we show an infinite asymptotic separation between SEP and PPT operations by providing a pair of states constructed from an unextendible product basis (UPB): they can be distinguished perfectly by PPT measurements, while the optimal error probability using SEP measurements admits an exponential lower bound. On the technical side, we prove this result by providing a quantitative version of the well-known statement that the tensor product of UPBs is UPB.
Quantum mechanics is nonlocal, meaning it cannot be described by any classical local hidden variable model. In this thesis we study two aspects of quantum nonlocality. Part I addresses the question of what classical resources are required to simulate nonlocal quantum correlations. We start by constructing new local models for noisy entangled quantum states. These constructions exploit the connection between nonlocality and Grothendieck's inequality, first noticed by Tsirelson. Next, we consider local models augmented by a limited amount of classical communication. After generalizing Bell inequalities to this setting, we show that (i) one bit of communication is sufficient to simulate the correlations of projective measurements on a maximally entangled state of two qubits, and (ii) five bits of communication are sufficient to simulate the joint correlation of two-outcome measurements on any bipartite quantum state. The latter result can be interpreted as a stronger (constrained) version of Grothendieck's inequality. In part II, we investigate the monogamy of nonlocal correlations. In a setting where three parties, A, B, and C, share an entangled quantum state of arbitrary dimension, we: (i) bound the trade-off between AB's and AC's violation of the CHSH inequality, obtaining an intriguing generalization of Tsirelson's bound, and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violating certain Bell inequalities. We study not only correlations that arise within quantum theory, but also arbitrary correlations that do not allow signaling between separate groups of parties. These results are based on new techniques for obtaining Tsirelson bounds, or bounds on the quantum value of a Bell inequality, and have applications to interactive proof systems and cryptography.
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.