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 mechanics. It was shown recently by Cerf, Gisin, Massar and Popescu, that this imaginary device is able to simulate correlations from any measurement on a singlet state. Here, we show that the non-local box can in fact do much more: through the simulation of the magic square pseudo-telepathy game and the Mermin-GHZ pseudo-telepathy game, we show that the non-local box can simulate quantum correlations that no entangled pair of qubits can in a bipartite scenario and even in a multi-party scenario. Finally we show that a single non-local box cannot simulate all quantum correlations and propose a generalization for a multi-party non-local box. In particular, we show quantum correlations whose simulation requires an exponential amount of non-local boxes, in the number of maximally entangled qubit pairs.
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.
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 …
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 set of nonlocal correlations that have come to be known as a PR box suggest themselves as a natural unit of nonlocality, much as a singlet is a natural unit of entanglement. We present two results relevant to this idea. One is that a wide class of multipartite correlations can be simulated using local operations on PR boxes only. We show this with an explicit scheme, which has the interesting feature that the number of PR boxes required is related to the computational resources necessary to represent a function defining the multipartite box. The second result is that there are quantum multip…
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.
Reproducing with elementary resources the correlations that arise when a quantum system is measured (quantum state simulation), allows one to get insight on the operational and computational power of quantum correlations. We propose a family of models that can simulate von Neumann measurements in the x-y plane of the Bloch sphere on n-partite GHZ states using only bipartite nonlocal boxes. For the tripartite and fourpartite states, the models use only bipartite nonlocal boxes; they can be translated into classical communication schemes with finite average communication cost.
A correlation measure relating to measured and unmeasured local quantities in quantum mechanics is introduced, and is then applied to assess the locality implications for Bell/CHSH and similar set-ups. This leads to some interesting results, and the scheme is extended to the generalized no-signalling boxes framework. Some questions are raised about the use of counterfactual reasoning in quantum mechanics.
In a no-signaling world, the outputs of a nonlocal box cannot be completely predetermined, a feature that is exploited in many quantum information protocols exploiting non-locality, such as device-independent randomness generation and quantum key distribution. This relation between non-locality and randomness can be formally quantified through the min-entropy, a measure of the unpredictability of the outputs that holds conditioned on the knowledge of any adversary that is limited only by the no-signaling principle. This quantity can easily be computed for the noisy Popescu-Rohrlich (PR) box, t…
Since its publication, Aharonov and Vaidman's three-box paradox has undergone three major advances: i). A non-counterfactual scheme by the same authors in 2003 with strong rather than weak measurements for verifying the particle's subtle presence in two boxes. ii) A realization of the latter by Okamoto and Takeuchi in 2016. iii) A dynamic version by Aharonov et al. in 2017, with disappearance and reappearance of the particle. We now combine these advances together. Using photonic quantum routers the particle acts like a quantum "shutter." It is initially split between Boxes A, B and C, the lat…
Nonlocality is arguably one of the most fundamental and counterintuitive aspects of quantum theory. Nonlocal correlations could, however, be even more nonlocal than quantum theory allows, while still complying with basic physical principles such as no-signaling. So why is quantum mechanics not as nonlocal as it could be? Are there other physical or information-theoretic principles which prohibit this? So far, the proposed answers to this question have been only partially successful, partly because they are lacking genuinely multipartite formulations. In Nat. Comm. 4, 2263 (2013) we introduced …
For a spinless quantum particle in a one-dimensional box or an electromagnetic wave in a one-dimensional cavity, the respective Dirichlet and Neumann boundary conditions both lead to non-degenerate wave functions. However, in two spatial dimensions, the symmetry of the box or microstrip antenna is an important feature that has often been overlooked in the literature. In the high-symmetry cases of a disk, square, or equilateral triangle, the wave functions for each of those two boundary conditions are grouped into two distinct classes, which are one- and two-dimensional representations of the r…
