Quantum mechanics is a highly nonlocal theory of nature. Quantum systems exhibit correlations which cannot be described by any classical theory of locality. We develop the resource theory of dynamical Bell nonlocality, which includes bipartite states, classical channels, quantum channels and measurements. In the state scenario, all separable states are Bell local. However, there exist mixed bipartite entangled states which also admit Bell local behaviour. To address this anomaly, we introduce the notion of fully Bell locality and show that all entangled states are Bell nonlocal, in the sense that they can be used to simulate at least one nonlocal bipartite Positive Operator Valued Measure (POVM) channel. We take a step further and generalise this result to bipartite entangled quantum channels. We then generalize the CHSH inequality from bipartite classical channels to bipartite POVM channels and devise a technique to check if a given bipartite POVM channel is nonlocal or not. Finally we provide a systematic method to quantify Bell nonlocality of bipartite quantum channels by extending any monotone for Bell nonlocality of classical channels to quantum channels and also introduce the precise definition of relative entropy of Bell nonlocality. We leave some open problems in the way.
Quantum mechanics is a highly nonlocal theory of nature. Quantum systems exhibit correlations which cannot be described by any classical theory of locality. We develop the resource theory of dynamical Bell nonlocality, which includes bipartite states, classical channels, quantum channels and measurements. In the state scenario, all separable states are Bell local. However, there exist mixed bipartite entangled states which also admit Bell local behaviour. To address this anomaly, we introduce the notion of fully Bell locality and show that all entangled states are Bell nonlocal, in the sense that they can be used to simulate at least one nonlocal bipartite Positive Operator Valued Measure (POVM) channel. We take a step further and generalise this result to bipartite entangled quantum channels. We then generalize the CHSH inequality from bipartite classical channels to bipartite POVM channels and devise a technique to check if a given bipartite POVM channel is nonlocal or not. Finally we provide a systematic method to quantify Bell nonlocality of bipartite quantum channels by extending any monotone for Bell nonlocality of classical channels to quantum channels and also introduce the precise definition of relative entropy of Bell nonlocality. We leave some open problems in the way.
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.
Despite the success of quantum mechanics in predicting the outcomes of experiments in many branches of physics, the foundations of the theory have remained subject of research and dispute. At the basis of this struggle with the theory lie the phenomena of nonlocality and entanglement. Since it was first predicted by Bell in 1964, nonlocality was not only verified in numerous experiments, but also identified as a useful resource for quantum information processing. Thus, the study of nonlocality is important both from a fundamental point of view and with respect to new applications in quantum information theory, such as secure cryptography and randomness generation. The identification of entanglement as a resource for quantum information led to a strong theoretical effort devoted to its characterisation and detection. Many of the resulting mathematical tools find application in several domains of physics. Although the only known way to create nonlocal correlations is to measure entangled quantum systems, it has been shown that entanglement and nonlocality constitute two inequivalent properties. Therefore, in the light of the success of entanglement theory, it is of interest to also devise a resource theory of nonlocality. The task of this thesis is to develop such a theoretical framework for the characterisation of nonlocality as a resource. To gain a better understanding of nonlocal correlations it will be necessary to investigate correlation scenarios that go beyond the situation originally considered by Bell. In doing so, this thesis provides new description of nonlocality that also have implications for the characterisation of quantum correlations and the detection of new forms of nonlocality. The first question we address is how nonlocality can consistently be defined in a scenario of arbitrarily many parties that may collaborate among each other. To this end we recognise which are the allowed physical operations in this situation and then define nonlocality as the resource that cannot be created by these operations. Our approach shows that the conventional definition of multipartite nonlocality, adopted by the community so far, is inconsistent with this operational definition; we further propose and analyse new models that do not suffer from these inconsistencies. Furthermore, we show that our findings have implications for the characterisation of quantum correlations. A recent approach to describe the set of quantum correlation consists in using principles inspired from information theory. By using a special instance of the models we defined earlier we show a fundamental limitation of this approach: no bipartite information principle is sufficient to single out the set of quantum correlations from the set of nonsignalling correlations. We then developed a description of nonlocality in an even more generalised scenario of several parties. Motivated by a result of Popescu we study scenarios where the parties are allowed to perform not only a single but sequences of measurements on their systems. Characterising nonlocality also in this scenario in operational terms and defining local models compatible with this definition, we show that a new form of nonlocality can be detected Lastly, we examine the problem of detecting the presence of nonlocality in a multipartite scenario when one is given only partial access to the global system. We find that one can verify that the total system must display nonlocality, even though the accessible subsystems only exhibit local correlations.
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.
Measurements performed on distant parts of an entangled quantum state can generate correlations incompatible with classical theories respecting the assumption of local causality. This is the phenomenon known as quantum nonlocality that, apart from its fundamental role, can also be put to practical use in applications such as cryptography and distributed computing. Clearly, developing ways of quantifying nonlocality is an important primitive in this scenario. Here, we propose to quantify the nonlocality of a given probability distribution via its trace distance to the set of classical correlations. We show that this measure is a monotone under the free operations of a resource theory and, furthermore, that it can be computed efficiently with a linear program. We put our framework to use in a variety of relevant Bell scenarios also comparing the trace distance to other standard measures in the literature.
We discuss the connection between the incompatibility of quantum measurements, as captured by the notion of joint measurability, and the violation of Bell inequalities. Specifically, we explicitly present a given set of non-jointly-measurable positive-operator-value measures (POVMs) MA with the following property. Considering a bipartite Bell test where Alice uses MA, then for any possible shared entangled state $\ensuremath{\rho}$ and any set of (possibly infinitely many) POVMs NB performed by Bob, the resulting statistics admits a local model and can thus never violate any Bell inequality. This shows that quantum measurement incompatibility does not imply Bell nonlocality in general.
The violations of Bell inequalities by measurements on quantum states give rise to the phenomenon of quantum non-locality and express the advantage of using quantum resources over classical ones for certain information-theoretic tasks. The relative degree of quantum violations has been well studied in the bipartite scenario and in the multipartite scenario with respect to fully local behaviours. However, the multipartite setting entails a more complex classification in which different notions on non-locality can be established. In particular, genuine multipartite non-local distributions apprehend truly multipartite effects, given that these behaviours cannot be reproduced by bilocal models that allow correlations among strict subsets of the parties beyond a local common cause. We show here that, while in the so-called correlation scenario the relative violation of bilocal Bell inequalities by quantum resources is bounded, i.e. it does not grow arbitrarily with the number of inputs, it turns out to be unbounded in the general case. We identify Bell functionals that take the form of non-local games for which the ratio of the quantum and bilocal values grows unboundedly as a function of the number of inputs and outputs.