Nonlocal correlations are a central feature of quantum theory, and understanding why quantum theory has a limited amount of nonlocality is a fundamental problem. Since nonlocality also has technological applications, e.g., for device-independent cryptography, it is useful to understand it as a resource and, in particular, whether and how different types of nonlocality can be interconverted. Here we focus on nonlocality distillation which involves using several copies of a nonlocal resource to generate one with more nonlocality. We introduce several distillation schemes which distill an extended part of the set of nonlocal correlations including quantum correlations. Our schemes are based on a natural set of operational procedures known as wirings that can be applied regardless of the underlying theory. Some are sequential algorithms that repeatedly use a two-copy protocol, while others are genuine three-copy distillation protocols. In some regions we prove that genuine three-copy protocols are strictly better than two-copy protocols. By applying our new protocols we also increase the region in which nonlocal correlations are known to give rise to trivial communication complexity. This brings us closer to an understanding of the sets of nonlocal correlations that can be recovered from information-theoretic principles, which, in turn, enhances our understanding of what is special about quantum theory.
Nonlocal correlations are a central feature of quantum theory, and understanding why quantum theory has a limited amount of nonlocality is a fundamental problem. Since nonlocality also has technological applications, e.g., for device-independent cryptography, it is useful to understand it as a resource and, in particular, whether and how different types of nonlocality can be interconverted. Here we focus on nonlocality distillation which involves using several copies of a nonlocal resource to generate one with more nonlocality. We introduce several distillation schemes which distill an extended part of the set of nonlocal correlations including quantum correlations. Our schemes are based on a natural set of operational procedures known as wirings that can be applied regardless of the underlying theory. Some are sequential algorithms that repeatedly use a two-copy protocol, while others are genuine three-copy distillation protocols. In some regions we prove that genuine three-copy protocols are strictly better than two-copy protocols. By applying our new protocols we also increase the region in which nonlocal correlations are known to give rise to trivial communication complexity. This brings us closer to an understanding of the sets of nonlocal correlations that can be recovered from information-theoretic principles, which, in turn, enhances our understanding of what is special about quantum theory.
Via nonlocality distillation, a number of copies of a given nonlocal correlation can be turned into a new correlation displaying a higher degree of nonlocality. Apart from its clear relevance in situations where nonlocality is a resource, distillation protocols also play an important role in the understanding of information-theoretical principles for quantum theory. Here, we derive a necessary condition for nonlocality distillation from two copies and apply it, among other results, to show that one-dimensional (1D) and 2D quantum voids---faces of the nonlocal simplex set with no quantum realization---can be distilled up to PR boxes. With that, we generalize previous results in the literature, for instance, showing a broad class of postquantum correlations that make communication complexity trivial and violate the information causality principle.
We first present a protocol for deterministically distilling nonlocality, building upon a recent result of Forster et al. [Phys. Rev. Lett. 102, 120401 (2009)10.1103/PhysRevLett.102.120401]. Our protocol, which is optimal for two-copy distillation, works efficiently for a specific class of postquantum nonlocal boxes, which we term correlated nonlocal boxes. In the asymptotic limit, all correlated nonlocal boxes are distilled to the maximally nonlocal box of Popescu and Rohrlich. Then, taking advantage of a result of Brassard et al. [Phys. Rev. Lett. 96, 250401 (2006)10.1103/PhysRevLett.96.250401] we show that all correlated nonlocal boxes make communication complexity trivial, and therefore appear very unlikely to exist in nature. Astonishingly, some of these nonlocal boxes are arbitrarily close to the set of classical correlations. This result therefore gives new insight to the problem of why quantum nonlocality is limited.
Nonlocality, as established by the seminal Bell's theorem, is considered to be the most striking feature of correlations present in spacelike separated events. Its practical application in device independent protocols, such as secure key distribution, randomness certification, etc., demands identification and amplification of such correlations observed in the quantum world. In this Letter we study the prospect of nonlocality distillation, wherein, by applying a natural set of free operations (called wirings) on many copies of weakly nonlocal systems, one aims to generate correlations of higher nonlocal strength. In the simplest Bell scenario, we identify a protocol, namely, logical OR-AND wiring, that can distill nonlocality to a significantly high degree starting from arbitrarily weak quantum nonlocal correlations. As it turns out, our protocol has several interesting facets: (i) it demonstrates that a set of distillable quantum correlations has nonzero measure in the full eight-dimensional correlation space, (ii) it can distill quantum Hardy correlations by preserving its structure, (iii) it shows that (nonlocal) quantum correlations sufficiently close to the local deterministic points can be distilled by a significant amount. Finally, we also demonstrate efficacy of the considered distillation protocol in detecting postquantum correlations.
Quantum nonlocality, pioneered in Bell's seminal work and subsequently verified through a series of experiments, has drawn substantial attention due to its practical applications in various protocols. Evaluating and comparing the extent of nonlocality within distinct quantum correlations holds significant practical relevance. Within the resource theoretic framework this can be achieved by assessing the interconversion rate among different nonlocal correlations under free local operations and shared randomness. In this study we, however, present instances of quantum nonlocal correlations that are incomparable in the strongest sense. Specifically, when starting with an arbitrary many copies of one nonlocal correlation, it becomes impossible to obtain even a single copy of the other correlation, and this incomparability holds in both directions. Such incomparable quantum correlations can be obtained even in the simplest Bell scenario, which involves two parties, each having two dichotomic measurements setups. Notably, there exist an uncountable number of such incomparable correlations. Our result challenges the notion of a "unique gold coin," often referred to as the "maximally resourceful state," within the framework of the resource theory of quantum nonlocality. To this end, we provide examples of isotropic quantum correlations that cannot be distilled up to the Tsirelson point, and thus partially answer a long-standing open question in nonlocality distillation.
Non-local correlations are not only a fascinating feature of quantum theory, but an interesting resource for information processing, for instance in communication-complexity theory or cryptography. An important question in this context is whether the resource can be distilled: Given a large amount of weak non-local correlations, is there a method to obtain strong non-locality using local operations and shared randomness? We partly answer this question by no: CHSH-type non-locality, the only possible non-locality of binary systems, which is not super-strong, but achievable by measurements on certain quantum states, has at best very limited distillability by any non-interactive classical method. This strongly extends and generalizes what was previously known, namely that there are two limits that cannot be overstepped: The Bell and Tsirelson bounds. Moreover, our results imply that there must be an infinite number of such bounds. A noticeable feature of our proof of this purely classical statement is that it is quantum mechanical in the sense that (both novel and known) facts from quantum theory are used in a crucial way to obtain the claimed results. One of these results, of independent interest, is that certain mixed entangled states cannot be distilled without communication. Weaker statements, namely limited distillability, have been known for Werner states.
The intriguing and powerful capability of nonlocality in communication field ignites the research of the nonlocality distillation. The first protocol presented in Ref[Phys. Rev. Lett. 102, 120401] shows that the nonlocality of bipartite binary-input and binary-output nonsignaling correlated boxes could be amplified by 'wiring' two copies of weaker-nonlocality boxes. Several optimized distillation protocols were presented later for bipartite binary-input and binary-output nonsignaling correlated boxes. In this paper, we focus on the bipartite binary-input and multi-nary-output nonsignaling correlated boxes---high-dimensional boxes, and design comparators-based protocols to achieve the distillation of high-dimensional nonlocality. The results show that the high-dimensional nonlocality can be distilled in different ways, and we find that the efficiencies of the protocols are influenced not only by the wirings but also by the classes the initial nonlocality boxes belongs to. Here, the initial nonlcalities may have the same violation of the high-dimensional Bell-type inequality, but they can fall into different classes, which shows that the value of the violation of the high-dimensional Bell-type inequality is not the only representation of nonlocality, and the combination manner(classes) in the expression of the correlated boxes is another important nonlocal representation too. The current protocols are compatible with the previous two-dimensional nonlocality distillation protocols, but our protocols are more powerful and universal than previous ones in the sense that the current protocols can be applied to the system with any dimension rather than the only two-dimension system in the previous protocols.