Quantum theory admits correlations between distant parties that are stronger than those permitted by classical physics. Such correlations, which are termed nonlocal, have been studied extensively since their discovery by John Bell in 1964. This thesis makes progress on various aspects of quantum nonlocality both from a foundational and practical perspective. We begin by studying a foundational question on the relationship between nonlocality and quantum entanglement. We show that the strongest form of nonlocality, also called pseudo-telepathy or full nonlocality, can be demonstrated by non-maximally entangled states and prove that all pure entangled states can demonstrate full nonlocality in the many-copy scenario. We also provide non-trivial examples of fully nonlocal mixed states. We then turn to the study of another phenomenon in quantum theory which is essential in almost all demonstrations of non-classicality—measurement incompatibility. We generalise the notion of measurement incompatibility and show that our notion has strong operational relevance: it captures the randomness in the outcomes of an untrusted measurement device against a classical adversary. We use our formalism to derive new bounds on the experimental losses and noise that can be tolerated in quantum communication protocols before they become insecure. We then begin a systematic study of routed Bell experiments, a variant of standard Bell experiments that was introduced to demonstrate nonlocality over long distances in the presence of losses and noise. We formalize the notion of genuine long-range quantum correlations in routed Bell experiments and develop numerical and analytical tools to characterize them. We show that routed Bell experiments allow for the demonstration of long-range quantum correlations at arbitrarily large distances using only entangled qubit states. We then prove the security of fully device-independent (DI) quantum key distribution (QKD) protocols based on routed Bell tests and quantify the resulting improvement in key rate and distance compared to standard DI QKD protocols.
Quantum theory admits correlations between distant parties that are stronger than those permitted by classical physics. Such correlations, which are termed nonlocal, have been studied extensively since their discovery by John Bell in 1964. This thesis makes progress on various aspects of quantum nonlocality both from a foundational and practical perspective. We begin by studying a foundational question on the relationship between nonlocality and quantum entanglement. We show that the strongest form of nonlocality, also called pseudo-telepathy or full nonlocality, can be demonstrated by non-maximally entangled states and prove that all pure entangled states can demonstrate full nonlocality in the many-copy scenario. We also provide non-trivial examples of fully nonlocal mixed states. We then turn to the study of another phenomenon in quantum theory which is essential in almost all demonstrations of non-classicality—measurement incompatibility. We generalise the notion of measurement incompatibility and show that our notion has strong operational relevance: it captures the randomness in the outcomes of an untrusted measurement device against a classical adversary. We use our formalism to derive new bounds on the experimental losses and noise that can be tolerated in quantum communication protocols before they become insecure. We then begin a systematic study of routed Bell experiments, a variant of standard Bell experiments that was introduced to demonstrate nonlocality over long distances in the presence of losses and noise. We formalize the notion of genuine long-range quantum correlations in routed Bell experiments and develop numerical and analytical tools to characterize them. We show that routed Bell experiments allow for the demonstration of long-range quantum correlations at arbitrarily large distances using only entangled qubit states. We then prove the security of fully device-independent (DI) quantum key distribution (QKD) protocols based on routed Bell tests and quantify the resulting improvement in key rate and distance compared to standard DI QKD protocols.
Losses in the transmission channel, which increase with distance, pose a major obstacle to photonics demonstrations of quantum nonlocality and its applications. Recently, Chaturvedi, Viola, and Pawlowski (CVP) [arXiv:2211.14231] introduced a variation of standard Bell experiments with the goal of extending the range over which quantum nonlocality can be demonstrated. These experiments, which we call `routed Bell experiments', involve two distant parties, Alice and Bob, and allow Bob to route his quantum particle along two possible paths and measure it at two distinct locations – one near and another far from the source. The premise is that a high-quality Bell violation in the short-path should constrain the possible strategies underlying the experiment, thereby weakening the conditions required to detect nonlocal correlations in the long-path. Building on this idea, CVP showed that there are certain quantum correlations in routed Bell experiments such that the outcomes of the remote measurement device cannot be classically predetermined, even when its detection efficiency is arbitrarily low. In this paper, we show that the correlations considered by CVP, though they cannot be classically predetermined, do not require the transmission of quantum systems to the remote measurement device. This leads us to define and formalize the concept of `short-range' and `long-range' quantum correlations in routed Bell experiments. We show that these correlations can be characterized through standard semidefinite-programming hierarchies for non-commutative polynomial optimization. We then explore the conditions under which short-range quantum correlations can be ruled out and long-range quantum nonlocality can be certified in routed Bell experiments. We point out that there exist fundamental lower-bounds on the critical detection efficiency of the distant measurement device, implying that routed Bell experiments cannot demonstrate long-range quantum nonlocality at arbitrarily large distances. However, we do find that routed Bell experiments allow for reducing the detection efficiency threshold necessary to certify long-range quantum correlations. The improvements, though, are significantly smaller than those suggested by CVP's analysis.
Abstract One of the most striking features of quantum theory is that it allows spatially separated observers to share correlations that resist local-causal (classical) explanations, a phenomenon referred to as Bell nonlocality[1, 2]. Besides their foundational relevance, the nonlocal correlations enable distant observers to accomplish classically inconceivable information processing and cryptographic feats such as unconditionally secure device-independent key distribution schemes[3-5]. However, the distances over which nonlocal correlations can be realized in state-of-the-art Bell experiments remain severely limited owing to the high threshold efficiencies of the detectors and the fragility of the nonlocal correlations to experimental noise[6, 7]. Instead of looking for quantum strategies with marginally lower threshold requirements, we exploit the properties of loophole-free nonlocal correlations, which are experimentally attainable today, albeit at short distances, to extend them over arbitrarily large distances. Specifically, we consider Bell experiments wherein the spatially separated parties randomly choose the location of their measurement devices in addition to their measurement settings. We demonstrate that when devices close to the entanglement source are perfect and witness extremal loophole-free nonlocal correlations, such correlations can be extended to devices placed arbitrarily far from the source, with almost zero detection efficiency and visibility. To accommodate imperfections close to the source, we demonstrate a specific analytical tradeoff: the higher the loophole-free nonlocality close to the source, the lower the threshold requirements away from the source. We utilize this analytical tradeoff paired with optimal quantum strategies to estimate the critical requirements of a measurement device placed away from the source in the simplest non-trivial scenario and formulate a versatile numerical method applicable to generic network scenarios. Our results demonstrate that the properties of already feasible short-distance loophole-free nonlocal correlations can be exploited to extend them to longer distances, enabling device-independent information processing and cryptography fuelled by long-distance loophole-free nonlocal correlations to become near-term commonplace technologies.
It is a well-established fact that some quantum correlations can be nonlocal, meaning that they cannot be described by a local hidden variable model. Certain quantum correlations have a form of nonlocality so strong that they cannot be reproduced even by models having an arbitrarily small local hidden variable component. These correlations are called fully nonlocal and lead to Bell inequalities in which the maximum quantum value saturates the non-signaling bound. A well-known example of this effect, which is also referred to as quantum pseudo-telepathy or all-versus-nothing proofs of nonlocality, is the quantum distribution fulfilling the Peres-Mermin square, in which the underlying state is a 4×4 dimensional maximally entangled state. Other examples of full nonlocality are known but, so far, all of them are for maximally entangled states and it is an open question whether maximal entanglement is necessary for full nonlocality. In this work, we first establish a link between full nonlocality and the concept of antidistinguishability of quantum states. We use this connection to show that in every bipartite d×d Hilbert space, with d≥3, there are non-maximally entangled states that are fully nonlocal. In fact, we derive simple sufficient conditions for full nonlocality that are only based on the smallest and largest Schmidt coefficients. We also show that in every dimension there exist pure entangled states that do not exhibit full nonlocality. Finally, we show that all pure entangled states can be activated to show full nonlocality in the many-copy scenario.
Losses in the transmission channel, which increase with distance, pose a major obstacle to photonics demonstrations of quantum nonlocality and its applications. Recently, Chaturvedi, Viola, and Pawlowski (CVP) [arXiv:2211.14231] introduced a variation of standard Bell experiments with the goal of extending the range over which quantum nonlocality can be demonstrated. In these experiments, which we call 'routed Bell experiments', Bob can route his quantum particle along two possible paths and measure it at two distinct locations - one near and another far from the source. The idea is that a Bell violation in the short-path should weaken the conditions required to detect nonlocal correlations in the long-path. Indeed, CVP showed that there are quantum correlations in routed Bell experiments such that the outcomes of the remote device cannot be classically predetermined, even when its detection efficiency is arbitrarily low. In this paper, we show that the correlations considered by CVP, though they cannot be classically predetermined, do not require the transmission of quantum systems to the remote device. This leads us to define the concept of 'short-range' and 'long-range' quantum correlations in routed Bell experiments. We show that these correlations can be characterized through standard semidefinite programming hierarchies for non-commutative polynomial optimization. We then explore the conditions under which short-range quantum correlations can be ruled out. We point out that there exist fundamental lower-bounds on the critical detection efficiency of the distant device, implying that routed Bell experiments cannot demonstrate long-range quantum nonlocality at arbitrarily large distances. However, we do find that routed Bell experiments allow for reducing the detection efficiency threshold. The improvements, though, are significantly smaller than those suggested by CVP's analysis.
Transmission loss represents a major obstacle to the device-independent certification of quantum correlations over long distances, limiting applications such as device-independent quantum key distribution (DIQKD). In this work, we investigate the recently proposed concept of routed Bell experiments, in which a particle sent to one side can be measured either near or far from the source. We prove that routed Bell tests involving only entangled qubits can certify quantum correlations even in the presence of arbitrary loss on the channel to the distant device. This is achieved by adapting concepts from self-testing and quantum steering to the routed Bell test framework. Finally, as a natural extension of our approach, we outline a DIQKD protocol that, in principle, is secure over arbitrary distances.
Device-independent quantum key distribution allows for proving the security of a shared cryptographic key between two distant parties with potentially untrusted devices. The security proof is based on the measurement outcome statistics (correlation) of a Bell experiment, and security is guaranteed by the laws of quantum theory. While it is known that the observed correlation must be Bell nonlocal in order to prove security, recent results show that Bell nonlocality is in general not sufficient for standard device-independent quantum key distribution. In this work, we show that conversely, there is no lower bound on the amount of nonlocality that is sufficient for device-independent quantum key distribution. Even more so, we show that from certain correlations that exhibit arbitrarily small nonlocality, one can still extract unbounded device-independent key rates. Therefore, a quantitative relation between device-independent key rates and Bell nonlocality cannot be drawn in general. Our main technique comprises a rigorous connection between self-testing and device-independent quantum key distribution, applied to a recently discovered family of Bell inequalities with arbitrarily many measurement outcomes.