Nonlocal boxes are conceptual tools that capture the essence of the phenomenon of quantum non-locality, central to modern quantum theory and quantum technologies. We introduce network nonlocal boxes tailored for quantum networks under the natural assumption that these networks connect independent sources and do not allow signaling. Hence, these boxes satisfy the No-Signaling and Independence (NSI) principle. For the case of boxes without inputs, connecting pairs of bipartite sources and producing binary outputs, we prove that the sources and boxes producing local random outputs and maximal 2-box correlations, i.e. $E_2=\sqrt{2}-1$, $E_2^o=1$, are essentially unique.
We deal with families of probability distributions satisfying non-signalling condition, called non-signalling boxes and consider class of operations that transform local boxes into local ones (the one that admit LHV model). We prove that any operation from this class can not broadcast a nonlocal box in 2x2 case. We consider a function called anti-Robustness which can not decrease under these operations. The proof reduces to showing that anti-Robustness would decrease after broadcasting.
We consider discriminating between bipartite boxes with 2 binary inputs and 2 binary outputs (2x2) using the class of completely locality preserving operations i.e. those, which transform boxes with local hidden variable model (LHVM) into boxes with LHVM, and have this property even when tensored with identity operation. Following approach developed in entanglement theory we derive linear program which gives an upper bound on the probability of success of discrimination between different isotropic boxes. In particular we provide an upper bound on the probability of success of discrimination be…
We consider non-local properties of quanternionic quantum mechanics, in which the complex numbers are replaced by the quaternions as the underlying algebra. Specifically, we show that it is possible to construct a non-local box. This allows one to rule out quaternionic quantum mechanics using assumptions about communication complexity or information causality.
It has been recently shown, that some of the tripartite boxes admitting bilocal decomposition, lead to non-locality under wiring operation applied to two of the subsystems [R. Gallego et al. Physical Review Letters 109, 070401 (2012)]. In the following, we study this phenomenon quantitatively. Basing on the known classes of boxes closed under wirings, we introduced multipartite monotones which are counterparts of bipartite ones - the non-locality cost and robustness of non-locality. We then provide analytical lower bounds on both the monotones in terms of the Maximal Non-locality which can be …
We consider an analogue of entanglement-swapping for a set of black boxes with the most general non-local correlations consistent with relativity (including correlations which are stronger than any attainable in quantum theory). In an attempt to incorporate this phenomenon, we consider expanding the space of objects to include not only correlated boxes, but `couplers', which are an analogue for boxes of measurements with entangled eigenstates in quantum theory. Surprisingly, we find that no couplers exist for two binary-input/binary-output boxes, and hence that there is no analogue of entangle…
We quantify the amount of non-locality contained in n noisy versions of so-called Popescu-Rohrlich boxes (PRBs), i.e., bipartite systems violating the CHSH Bell inequality maximally. Following the approach by Elitzur, Popescu, and Rohrlich, we measure the amount of non-locality of a system by representing it as a convex combination of a local behaviour, with maximal possible weight, and a non-signalling system. We show that the local part of n systems, each of which approximates a PRB with probability $1-ε$, is of order $Θ(ε^{\lceil n/2\rceil})$ in the isotropic, and equal to $(3ε)^n$ in the m…
We first present a protocol for deterministically distilling non-locality, building upon a recent result of Forster et al. [Phys. Rev. Lett. 102, 120401 (2009)]. Our protocol, which is optimal for two-copy distillation, works efficiently for a specific class of post-quantum non-local boxes, which we term correlated non-local boxes. In the asymptotic limit, all correlated non-local boxes are distilled to the maximally non-local box of Popescu and Rohrlich. Then, taking advantage of a result of Brassard \textit{et al.} [Phys. Rev. Lett. 96, 250401 (2006)] we show that all correlated non-local bo…
Pure states are very important in any theory since they represent states of maximal information about the system within the theory. Here, we show that no non-trivial (not local realistic) extremal states (boxes) of general no-signaling theories can be realized within quantum theory. We then explore three interesting consequences of this fact. Firstly, since the pure states are uncorrelated from the environment, the statement forms a no-go result against the most straightforward device-independent protocol for randomness or secure key generation against general no-signaling adversaries. It also…
We establish a framework to study the classical-communication properties of primitive local operations assisted by classical communication which realize various redistributions of entanglement, like, e.g., entanglement swapping. On the one hand, we analyze what local operations and how much classical communication are needed to perform them. On the other hand, we investigate whether and to what extent such primitives can help to establish classical communication when they are used in the form of black boxes available to spatially-separated users. In particular, we find that entanglement swappi…
Non-local boxes are hypothetical ``machines'' that give rise to superstrong non-local correlations, leading to a stronger violation of Bell/CHSH inequalities than is possible within the framework of quantum mechanics. We show how non-local boxes can be used to perform any two-party secure computation. We first construct a protocol for bit commitment and then show how to achieve oblivious transfer using non-local boxes. Both have been shown to be impossible using quantum mechanics alone.
A non-local box is a virtual device that has the following property: given that Alice inputs a bit at her end of the device and that Bob does likewise, it produces two bits, one at Alice's end and one at Bob's end, such that the XOR of the outputs is equal to the AND of the inputs. This box, inspired from the CHSH inequality, was first proposed by Popescu and Rohrlich to examine the question: given that a maximally entangled pair of qubits is non-local, why is it not maximally non-local? We believe that understanding the power of this box will yield insight into the non-locality of quantum mec…
We carry out a thought experiment in an imaginary world. Our world is both local and realistic, yet it violates a Bell inequality more than does quantum theory. This serves to debunk the myth that equates local realism with local hidden variables in the simplest possible manner. Along the way, we reinterpret the celebrated 1935 argument of Einstein, Podolsky and Rosen, and come to the conclusion that they were right in their questioning the completeness of the Copenhagen version of quantum theory, provided one believes in a local-realistic universe. Throughout our journey, we strive to explain…
Quantum correlations forms a subset of the set of nonsignaling boxes. This allows us to characterize quantum correlations as a convex combination of the extremal boxes of the nonsignaling polytope which are Popescu-Rohrlich boxes (maximally nonlocal boxes) and local deterministic boxes. There exists multiple decomposition of quantum correlations in the context of the nonsignaling polytope. I find that the existence of Popescu-Rohrlich box decomposition for local boxes associates two notions of discord which capture nonclassicality of quantum correlations originating from Bell nonlocality and E…
Quantum mechanics postulates random outcomes. However, a model making the same output predictions but in a deterministic manner would be, in principle, experimentally indistinguishable from quantum theory. In this work we consider such models in the context of non-locality on a device independent scenario. That is, we study pairs of non-local boxes that produce their outputs deterministically. It is known that, for these boxes to be non-local, at least one of the boxes' output has to depend on the other party's input via some kind of hidden signaling. We prove that, if the deterministic mechan…
Exploring Bell Nonlocality with Extremal Non-Signaling Boxes
Instituto Superior Técnico（里斯本高等技术学院）；Instituto de Telecomunicações（电信研究所）；Q*Bird BV（Q*Bird有限公司）；INL – International Iberian Nanotechnology Laboratory（伊比利亚纳米技术国际实验室）；Sorbonne Université, CNRS, LIP6（索邦大学，法国国家科学研究中心，LIP6实验室）；Zuse Institute Berlin（柏林祖斯研究所）；Universidad de Sevilla（塞维利亚大学）；Instituto Carlos I de Física Teórica y Computacional, Universidad de Sevilla（塞维利亚大学卡洛斯一世理论与计算物理研究所）；Inria, ENS de Lyon, UCBL, LIP（法国国家信息与自动化研究所，里昂高等师范学院，里昂第一大学，LIP实验室）
A classical non-signalling (or causal) box is an operation on classical bipartite input with classical bipartite output such that no signal can be sent from a party to the other through the use of the box. The quantum counterpart of such boxes, i.e. completely positive trace-preserving maps on bipartite states, though studied in literature, have been investigated less intensively than classical boxes. We present here some results and remarks about such maps. In particular, we analyze: the relations among properties as causality, non-locality and entanglement; the connection between causal and …
Complex information-processing systems, for example quantum circuits, cryptographic protocols, or multi-player games, are naturally described as networks composed of more basic information-processing systems. A modular analysis of such systems requires a mathematical model of systems that is closed under composition, i.e., a network of these objects is again an object of the same type. We propose such a model and call the corresponding systems causal boxes. Causal boxes capture superpositions of causal structures, e.g., messages sent by a causal box A can be in a superposition of different ord…
Non-locality is the phenomenon of observing strong correlations among the outcomes of local measurements of a multipartite physical system. No-signaling boxes are the abstract objects for studying non-locality, and wirings are local operations on the space of no-signaling boxes. This means that, no matter how non-local the nature is, the set of physical non-local correlations must be closed under wirings. Then, one approach to identify the non-locality of nature is to characterize closed sets of non-local correlations. Although non-trivial examples of wirings of no-signaling boxes are known, t…
A non-local box is an abstract device into which Alice and Bob input bits x and y respectively and receive outputs a and b respectively, where a, b are uniformly distributed and the parity of a+b equals xy. Such boxes have been central to the study of quantum or generalized non-locality as well as the simulation of non-signaling distributions. In this paper, we start by studying how many non-local boxes Alice and Bob need in order to compute a Boolean function f. We provide tight upper and lower bounds in terms of the communication complexity of the function both in the deterministic and rando…
Consider the set Q of quantum correlation vectors for two observers, each with two possible binary measurements. Quadric (hyperbolic) inequalities which are satisfied by every vector in Q are proved, and equality holds on a two dimensional manifold consisting of the local boxes, and all the quantum correlation vectors that maximally violate the Clauser, Horne, Shimony, and Holt (CHSH) inequality. The quadric inequalities are tightly related to CHSH, they are their iterated versions (equation 20). Consequently, it is proved that Q is contained in a hyperbolic cube whose axes lie along the non-l…
Bell nonlocality can be formulated in terms of a resource theory with local-hidden variable models as resourceless objects. Two such theories are known, one built upon local operations assisted by shared randomness (LOSRs) and the other one allowing, in addition, for prior-to-input classical communication. We show that prior communication, although unable to create nonlocality, leads to wirings not only beyond LOSRs but also not contained in a much broader class of (nonlocality-generating) global wirings. Technically, this is shown by proving that it can improve the statistical distinguishabil…
We propose a hidden variable analysis of collapse dynamics in which the state's reduction process may take a finite time $δt$. A full characterization of the model is given for the case of black boxes. By introducing nonlocal perfect correlations to a two black-boxes scenario, it is shown that in order to avoid faster than light communication, the reduction time associated to the system must be strictly null. Furthermore we prove that the result above holds even when there is a time window between the choice of both part's inputs. Our results represent a new evidence of the instantaneous natur…
A remarkable feature of quantum theory is non-locality (i.e. the presence of correlations which violate Bell inequalities). However, quantum correlations are not maximally non-local, and it is natural to ask whether there are compelling reasons for rejecting theories in which stronger violations are possible. To shed light on this question, we consider post-quantum theories in which maximally non-local states (non-local boxes) occur. It has previously been conjectured that the set of dynamical transformations possible in such theories is severely limited. We settle the question affirmatively i…
It is argued that the quantum correlations are not maximally nonlocal to make it possible to control local outcomes from outside spacetime, and quantum mechanics emerges from timeless nonlocality and biased local randomness. This rules out a world described by NL (nonlocal) boxes. A new type of experiments is suggested.
We report the first experimental demonstration of distillation of quantum nonlocality, confirming the recent theoretical protocol [\textit{Phys. Rev. Lett. 102, 120401 (2009)}]. Quantum nonlocality is described by a correlation box with binary inputs and outputs, and the nonlocal boxes are realized through appropriate measurements on polarization entangled photon pairs. We demonstrate that nonlocality is amplified by connecting two nonlocal boxes into a composite one through local operations and four-photon coincidence measurements.
