In the present master's thesis we study logical contextuality and inequality-free proofs of quantum contextuality and nonlocality.The former concept can be understood as the possibilistic version of contextuality, while the latter refers to proofs of quantum probabilistic non-classicalities that are not based on violation of any noncontextuality (or Bell) inequality.The present work aims to build a bridge between these two concepts through what we call possibilistic paradoxes, which are sets of possibilistic conditions whose occurrence implies contextuality.As our main result, we demonstrate the existence of possibilistic paradoxes whose occurrence is a necessary and sufficient condition for logical contextuality in a very important class of scenarios.We discuss some consequences arising from the completeness of such possibilistic paradoxes.Finally, we review some inequality-free proofs under the light of the developed formalism.
In the present master's thesis we study logical contextuality and inequality-free proofs of quantum contextuality and nonlocality.The former concept can be understood as the possibilistic version of contextuality, while the latter refers to proofs of quantum probabilistic non-classicalities that are not based on violation of any noncontextuality (or Bell) inequality.The present work aims to build a bridge between these two concepts through what we call possibilistic paradoxes, which are sets of possibilistic conditions whose occurrence implies contextuality.As our main result, we demonstrate the existence of possibilistic paradoxes whose occurrence is a necessary and sufficient condition for logical contextuality in a very important class of scenarios.We discuss some consequences arising from the completeness of such possibilistic paradoxes.Finally, we review some inequality-free proofs under the light of the developed formalism.
In the present master\'s thesis we study logical contextuality and inequality-free proofs of quantum contextuality and nonlocality. The former concept can be understood as the possibilistic version of contextuality, while the latter refers to proofs of quantum probabilistic non-classicalities that are not based on violation of any noncontextuality (or Bell) inequality. The present work aims to build a bridge between these two concepts through what we call possibilistic paradoxes, which are sets of possibilistic conditions whose occurrence implies contextuality. As our main result, we demonstrate the existence of possibilistic paradoxes whose occurrence is a necessary and sufficient condition for logical contextuality in a very important class of scenarios. We discuss some consequences arising from the completeness of such possibilistic paradoxes. Finally, we review some inequality-free proofs under the light of the developed formalism.
Hardy-type paradoxes provide elegant, inequality-free proofs of quantum contextuality. We introduce a unified logical formalism for these paradoxes, termed logical Hardy-type paradoxes. For any finite quantum scenario of ideal measurements, we prove that the existence of a logical Hardy-type paradox is equivalent to logical contextuality. Specifically, strong contextuality is equivalent to logical Hardy-type paradoxes with success probability SP = 1. These results generalize prior work on (2,k,2), (2,2,d), and n-cycle scenarios. We analyze logical Hardy-type paradoxes in the Mansfield and Klyachko-Can-Binicioglu-Shumovsky (KCBS) scenarios. In the KCBS scenario, we show that there is exactly one type of logical Hardy-type paradox, achieving SP\approx 10.56% for a specific parameter setting.
Contextuality and nonlocality are nonclassical properties exhibited by quantum statistics whose implications profoundly impact both the foundations and applications of quantum theory. In this paper we provide some insights into logical contextuality and inequality-free proofs. The former can be understood as the possibility version of contextuality, while the latter refers to proofs of quantum contextuality and nonlocality that are not based on violations of some noncontextuality (or Bell) inequality. By ``possibilistic'' we mean a description in terms of possibilities for the outcomes, which are Boolean variables assuming value one when the corresponding probability is strictly larger than zero and zero otherwise. The present work aims to build a bridge between these two concepts from what we call possibilistic paradoxes, which are sets of possibilistic conditions whose occurrence implies contextuality and nonlocality. As the main result, we demonstrate the existence of possibilistic paradoxes whose occurrence is a necessary and sufficient condition for logical contextuality in a very important class of scenarios. Finally, we discuss some interesting consequences arising from the completeness of these possibilistic paradoxes.
Since Bell, Kochen and Specker formulated the first notions of contextuality, a number of frameworks have been created to help make philosophical and mathematical sense of the concept. Two of the most common are the Equivalence-based approach due to Spekkens, and the Sheaf-theoretic framework of Abramsky and Brandenburger. Each of these can support a hierarchy of strengths of contextuality, which can include possibilistic concepts. This thesis will explore the differences between the two approaches, and explore what can be demonstrated by using weaker notions of noncontextuality. Notions of noncontextuality are important for proving no-go theorems which highlight that many properties that are true of classical mechanics fail to be compatible with quantum predictions. Often, the notions of noncontextuality used are very strong assumptions, and even weaker flavours of noncontextuality can be used to draw the same, or similar conclusions. An important class of such notions are, possibilistic assumptions that only care about whether or not events are possible or impossible, rather than the exact Born rule probabilities that are applied to events. Even these weaker notions are often impossible to resolve with the logical structure and predictions of quantum theory. Contextuality has been demonstrated to be a resource for many quantum computational operations, and the contextual fraction has been shown to be an important resource. We introduce a metric that can differentiate between different quantum mechanical scenarios with contextual fraction 1, and demonstrate analogues of CHSH and Tsirelson bounds for this quantity. We also investigate the computational complexity of calculating the values of some metrics for nonlocality and contextuality, completing the classification of possibilistic nonlocality scenarios, as well as other metrics of nonlocality analogous to our metric of maximal contextuality.
Quantum contextuality is a fundamental nonclassical property of quantum systems, regarded as a key resource that demonstrates the computational and informational advantages of quantum over classical systems. Our present work aims to construct Hardy's paradoxes, a set of possibilistic conditions witnessing contextuality, for Yu-Oh set, which is the state-independent contextual quantum system with the least number of vectors. To achieve the aim, we systematically enumerate all logically contextual pure states on Yu-Oh set, and theoretically prove that no mixed states in this scenario are logically contextual. Based on the identified logically contextual quantum states, we construct 12 Hardy's paradoxes with identical success probability SP=11.1%. Furthermore, we present corresponding observables to experimentally witness these Hardy's paradoxes.
Among the various "no-go theorems" in the foundations of quantum mechanics, Bell inequalities are among the few, which do not implicitly rely on the mathematical structure of quantum mechanics. Instead, Bell inequalities are commonly understood to rest on Kolmogorov's theory of probability and a "locality" assumption. Physical evidence supporting their violation is hence taken as evidence against at least one of these two assumptions.
This work provides a comprehensive analysis of the physical debate on Bell inequalities from the point of view of Kolmogorov's theory of probability, focusing on the Bell-Clauser-Horn-Shimony-Holt inequality (BCHSH inequality). The central contribution is the motivation and mathematical study of the notion of contextuality in Bell experiments: in so-called contextual Bell models the detectors themselves behave randomly and the distribution of the random detector parameters depends on the chosen detector settings. It is shown how even "classical" Bell experiments motivate such a description. The need to account for contextuality was pointed out before by de la Peña, Cetto, Brody, Lochak, Bohm, Hiley and others. A broad class of contextual models is proven to satisfy the BCHSH inequality, thereby generalizing a previous result by Gill and Lambare. Nonetheless, even under strong locality requirements, contextual Bell models may violate the BCHSH inequality: based on work by Popescu and Rohrlich, we consider a "proof of concept" example exhibiting the maximum possible violation.
Contrary to the much debated "loopholes" in empirical tests of Bell inequalities, contextuality thus reveals a conceptual misunderstanding in the physical conclusions commonly drawn from Bell inequality violations.