Abstract Quantum measurements are crucial for quantum technologies and give rise to some of the most classically counter-intuitive quantum phenomena. As such, the ability to certify the presence of genuinely non-classical joint measurements in a device-independent fashion is vital. However, previous work has either been non-device-independent, or has relied on post-selection—the ability to discard all runs of an experiment in which a specific event did not occur. In the case of entanglement, the post-selection approach applies an entangled measurement to independent states and post-selects the outcome, inducing non-classical correlations between the states that can be device-independently certified using a Bell inequality. That is, it certifies measurement non-classicality not by what it is, but by what it does. This paper remedies this discrepancy by providing a novel notion of what measurement non-classicality is, which, in analogy with Bell’s theorem, corresponds to measurement statistics being incompatible with an underlying classical causal model. It is shown that this provides a more fine-grained notion of non-classicality than post-selection, as it certifies the presence of non-classicality that cannot be revealed by examining post-selected outcomes alone.
Abstract Quantum measurements are crucial for quantum technologies and give rise to some of the most classically counter-intuitive quantum phenomena. As such, the ability to certify the presence of genuinely non-classical joint measurements in a device-independent fashion is vital. However, previous work has either been non-device-independent, or has relied on post-selection—the ability to discard all runs of an experiment in which a specific event did not occur. In the case of entanglement, the post-selection approach applies an entangled measurement to independent states and post-selects the outcome, inducing non-classical correlations between the states that can be device-independently certified using a Bell inequality. That is, it certifies measurement non-classicality not by what it is, but by what it does. This paper remedies this discrepancy by providing a novel notion of what measurement non-classicality is, which, in analogy with Bell’s theorem, corresponds to measurement statistics being incompatible with an underlying classical causal model. It is shown that this provides a more fine-grained notion of non-classicality than post-selection, as it certifies the presence of non-classicality that cannot be revealed by examining post-selected outcomes alone.
Bell nonlocality is the experimentally testable incompatibility between quantum correlations and explanations based on local hidden variables. Its significance now extends beyond the foundations of quantum mechanics: a Bell-inequality violation can certify entanglement, randomness, measurement incompatibility, and cryptographic security without requiring a detailed model of the devices producing the observed data. This article develops the mathematical structure of Bell experiments and explains its role in device-independent quantum information. Conditional probability distributions are classified into local, quantum, and no-signalling sets; the Clauser-Horne-Shimony-Holt inequality is derived, and its classical, quantum, and algebraic limits are distinguished. Tsirelson’s bound is obtained from the CHSH operator, while Popescu-Rohrlich correlations demonstrate that no-signalling alone does not identify the quantum set. The relation between entanglement and nonlocality is examined through local entangled states, hidden nonlocality, and activation. Nonlocal games, semidefinite relaxations, self-testing, certified randomness, and device-independent quantum key distribution are treated as operational consequences of Bell violation. Particular attention is given to entropy accumulation, finite-data security, loophole-free experiments, and the limitations of device independence. Bell nonlocality emerges as both a foundational separation between classical and quantum causal models and a quantitative resource for cryptographic and informational tasks.
Causal nonseparability is the property underlying quantum processes incompatible with a definite causal order. So far it has remained a central open question as to whether any process with a clear physical realisation can violate a causal inequality, so that its causal nonseparability can be certified in a device-independent way, as originally conceived. Here we present a method solely based on the observed correlations, which certifies the causal nonseparability of all the processes that can induce a causally nonseparable distributed measurement in a scenario with trusted quantum input states, as defined in [Dourdent et al., Phys. Rev. Lett. 129, 090402 (2022)]. This notably includes the celebrated quantum switch. This device-independent certification is achieved by introducing a network of untrusted operations, allowing one to self-test the quantum inputs on which the effective distributed measurement induced by the process is performed.
Causal nonseparability is the property underlying quantum processes incompatible with a definite causal order. So far it has remained a central open question as to whether any process with a clear physical realisation can violate a causal inequality, so that its causal nonseparability can be certified in a device-independent way, as originally conceived. Here we present a method solely based on the observed correlations, which certifies the causal nonseparability of all the processes that can induce a causally nonseparable distributed measurement in a scenario with trusted quantum input states, as defined in [Dourdent et al., Phys. Rev. Lett. 129, 090402 (2022)]. This notably includes the celebrated quantum switch. This device-independent certification is achieved by introducing a network of untrusted operations, allowing one to self-test the quantum inputs on which the effective distributed measurement induced by the process is performed.
In contrast with classical physics, in quantum physics some sets of measurements are incompatible in the sense that they cannot be performed simultaneously. Among other applications, incompatibility allows for contextuality and Bell nonlocality. This makes it of crucial importance to develop tools for certifying whether a set of measurements respects a certain structure of incompatibility. Here we show that, for quantum or nonsignaling models, if the measurements employed in a Bell test satisfy a given type of compatibility, then the amount of violation of some specific Bell inequalities becomes limited. Then, we show that correlations arising from local measurements on two-qubit states violate these limits, which rules out in a device-independent way such structures of incompatibility. In particular, we prove that quantum correlations allow for a device-independent demonstration of genuine triplewise incompatibility. Finally, we translate these results into a semidevice-independent Einstein-Podolsky-Rosen-steering scenario.
In this work, we present the framework for demonstrating and certifying the distinction between measurements in an entangled basis, called global measurements, and local operations and classical communication (LOCC), known as nonlocality without entanglement (NLWE). To be precise, we show NLWE via a maximum-confidence measurement in terms of a guess per detection event, called a confidence, a fine-grained guessing probability that encompasses both minimum-error and unambiguous state-discrimination strategies. We show that NLWE for unknown measurements can be certified, given the measurement-outcome rates, by bounding the confidence using LOCC; the certification is semi-device-independent in that state preparation is trusted. We illustrate the demonstration and certification of NLWE for antiparallel qubit states. Our results make it feasible to experimentally realize NLWE using measurement devices with imperfections, such as non-unit detection efficiency, since maximum-confidence measurements rely only on detected events.
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.