The authors extend the crypto-nonlocal model to arbitrary dimensions while preserving well-defined local properties. The model allows for the derivation of testable inequalities that reveal incompatibilities with quantum mechanics and thus can be used to explore crypto-nonlocality in high-dimensional systems.
According to Bell's theorem, any model based on local variables cannot reproduce certain quantum correlations. A critical question is whether one could devise an alternative framework, based on nonlocal variables, to reproduce quantum correlations while adhering to fundamental principles. Leggett proposed a nonlocal model, termed crypto-nonlocality, rooted in considerations of the reality of photon polarization, but this property restricted it to being bi-dimensional. In this Letter, we extend the crypto-nonlocal model to higher dimensions and develop a framework for constructing experimentally testable Leggett-type inequalities for arbitrary dimensions. Our investigation into models that yield specific predictions exceeding those of quantum mechanics is intriguing from an information-theoretic perspective and is expected to deepen our understanding of quantum correlations.
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.
Quantum mechanics is nonlocal, meaning it cannot be described by any classical local hidden variable model. In this thesis we study two aspects of quantum nonlocality. Part I addresses the question of what classical resources are required to simulate nonlocal quantum correlations. We start by constructing new local models for noisy entangled quantum states. These constructions exploit the connection between nonlocality and Grothendieck's inequality, first noticed by Tsirelson. Next, we consider local models augmented by a limited amount of classical communication. After generalizing Bell inequalities to this setting, we show that (i) one bit of communication is sufficient to simulate the correlations of projective measurements on a maximally entangled state of two qubits, and (ii) five bits of communication are sufficient to simulate the joint correlation of two-outcome measurements on any bipartite quantum state. The latter result can be interpreted as a stronger (constrained) version of Grothendieck's inequality. In part II, we investigate the monogamy of nonlocal correlations. In a setting where three parties, A, B, and C, share an entangled quantum state of arbitrary dimension, we: (i) bound the trade-off between AB's and AC's violation of the CHSH inequality, obtaining an intriguing generalization of Tsirelson's bound, and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violating certain Bell inequalities. We study not only correlations that arise within quantum theory, but also arbitrary correlations that do not allow signaling between separate groups of parties. These results are based on new techniques for obtaining Tsirelson bounds, or bounds on the quantum value of a Bell inequality, and have applications to interactive proof systems and cryptography.
Abstract The utilization of higher-dimensional systems holds promise for unveiling novel phenomena and enhancing the efficacy of practical tasks, such as entanglement-based quantum cryptography. However, detecting quantum correlations within qudit systems poses a formidable challenge. In this study, we delve into the intricacies of Bell’s nonlocality within higher-dimensional systems. We introduce a novel correlation function and leverage it to construct a family of Bell inequalities adapted for quantum systems of arbitrary dimensionality. By gauging the probability of local realism violation under random measurements as our primary metric, we explore the relation between pure state entanglement and nonlocality. Our findings align closely with predictions derived from the comprehensive polytope analysis via linear programming methods. While our focus predominantly centers on the two-qudit scenario, our methodology readily extends to the N-partite case, accommodating an arbitrary number of measurements per party.
The structure of Bell-type inequalities detecting genuine multipartite nonlocality, and hence detecting genuine multipartite entanglement, is investigated. We first present a simple and intuitive approach to Svetlichny's original inequality, which provides a clear understanding of its structure and of its violation in quantum mechanics. Based on this approach, we then derive a family of Bell-type inequalities for detecting genuine multipartite nonlocality in scenarios involving an arbitrary number of parties and systems of arbitrary dimension. Finally, we discuss the tightness and quantum mechanical violations of these inequalities.