Nonlocality is a quintessential signature of nonclassical behaviour and a resource for quantum advantages in communication and computation.The paradoxical correlations witnessed by strong nonlocality undergird the standard probabilistic form of nonlocality and provide optimal advantages in numerous informational tasks.Three-qubit systems are the simplest ones that admit strong nonlocality.Abramsky et al. (TQC, 2017) established the existence of an infinite family of three-qubit paradoxes, beyond the well-known GHZ paradox, which exhibited a novel conditional structure.In this work, we introduce several new infinite families of three-qubit paradoxes and articulate a detailed roadmap towards the complete classification of all three-qubit nonlocality paradoxes.In particular, we prove that our paradoxes exhaust all those satisfying reasonable regularity conditions.We give an example of a highly exotic paradox and place constraints on the search for new exotic paradoxes.We conjecture that all paradoxes must involve states from a one-parameter family and provide significant evidence in support of this conjecture.
Nonlocality is a quintessential signature of nonclassical behaviour and a resource for quantum advantages in communication and computation.The paradoxical correlations witnessed by strong nonlocality undergird the standard probabilistic form of nonlocality and provide optimal advantages in numerous informational tasks.Three-qubit systems are the simplest ones that admit strong nonlocality.Abramsky et al. (TQC, 2017) established the existence of an infinite family of three-qubit paradoxes, beyond the well-known GHZ paradox, which exhibited a novel conditional structure.In this work, we introduce several new infinite families of three-qubit paradoxes and articulate a detailed roadmap towards the complete classification of all three-qubit nonlocality paradoxes.In particular, we prove that our paradoxes exhaust all those satisfying reasonable regularity conditions.We give an example of a highly exotic paradox and place constraints on the search for new exotic paradoxes.We conjecture that all paradoxes must involve states from a one-parameter family and provide significant evidence in support of this conjecture.
Quantum nonlocality paradoxes, such as that of GHZ, provide maximally sharp logical obstructions to classical probabilistic models of quantum correlations. They are key resources in a broad variety of information-theoretic tasks that exhibit unconditional quantum advantage. For example, in nonlocal games, which are communication tasks that serve as core technical tools in recent landmark results in quantum computational complexity theory.
Their role in establishing quantum advantage motivated their study by Abramsky et al. who introduced an infinite family of three-qubit paradoxes exhibiting novel conditional structure. This was later extended by the present authors into a full classification program.
In this work, we completely classify all three-qubit nonlocality paradoxes established via a biconditional parity proof; this is a very large class of paradoxes that encompasses all earlier-known examples. We do this by introducing a suite of new structural and combinatorial techniques. We find that the landscape of nonlocality paradoxes is far richer than previously understood, violating regularity conditions underlying all prior constructions.
Bell inequalities were formulated by John Bell to test the possible violation of local realistic theories by quantum mechanical systems. It was shown that entangled quantu-m states of multiple particles violate various Bell’s inequalities. This proved that quan-tum mechanics allows correlations between spatially separated systems that have no classical analogue. The main focus of this work is to investigate genuine multiqubit non-locality in families of entangled 3 and 4-qubit pure states by studying a Bell-type inequality that is violated only if all qubits are non-locally correlated. We numerically study the relationship between entanglement and violation of the Svetlichny Bell-type inequality. We analyze non-local correlations in 3-qubit generalized Greenberger-Hor-ne-Zeilinger (GHZ) states, maximal slice (MS) states, and W states. Our studies show that the correlations exhibited by three particles cannot in general be described by hid-den variable theories with at most two-particle non-locality. However, some 3-qubit entangled states do not violate the Svetlichny’s inequality. We then extend our analysis to 4-qubit generalized Greenberger-Horne-Zeilinger (GHZ) states, maximal slice (MS) states, and W states. The results are similar to the 3-qubit case for GHZ and MS states. The range of parameters for which we see a violation is the same for the 3 and 4-qubit GHZ states. However, the 4-qubit W states do not violate Bell-type inequality, unlike the 3-qubit W states. Our results show the complex nature of multiqubit entang-lement and non-locality and provide tools for designing useful quantum communica-tion tasks.
Structures that demonstrate nonclassicality are of foundational interest in quantum mechanics, and can also be seen as resources for numerous applications in quantum information processing - particularly in the Hilbert space of N qubits. The theory of entanglement, quantum contextuality, and quantum nonlocality within the N-qubit Pauli group is further developed in this thesis. The Strong Kochen-Specker theorem and the structures that prove it are introduced and explored in detail. The pattern of connections between structures that show entanglement, contextuality, and nonlocality is explained. Computational search algorithms and related tools were developed and used to perform complete searches for minimal nonclassical structures within the N-qubit Pauli group up to values of N limited by our computational resources. Our results are surveyed and prescriptions are given for using the elementary nonclassical structures we have found to construct more complex types of such structures. Families of nonclassical structures are presented for all values of N, including the most compact family of projector-based parity proofs of the Kochen-Specker theorem yet discovered in all dimensions of the form 2N, where N≥2. The applications of our results and their connection with other work is also discussed.
We propose a novel form of classification of multipartite states, in terms of the maximum degree of non-locality they can exhibit under any choice of local observables. This uses the hierarchy of notions previously introduced by Abramsky and Brandenburger: strong contextuality, logical contextuality, and probabilistic contextuality. We study n-qubit pure states. We conjecture that for more than 2 parties, all entangled states are logically contextual. We prove a number of results in support of this conjecture: (1) We show that all permutation-symmetric states are logically non-local. (2) We study the class of balanced states with functional dependencies. These states are described by Boolean functions and have a rich structure, allowing a detailed analysis, which again confirms the conjecture in this case.
Bell nonlocality of quantum states is an important resource in quantum information and then has various applications. It is usually detected by the violation of some Bell’s inequalities and the all-versus-nothing test. In the present paper, we aim to establish some mathematical methods for proving Bell nonlocality without inequalities, inspired by the work [Phys. Rev. Lett., 89, 080402 (2002)] regarding the GHZ paradox. For self-containedness, we recall the mathematical definition of Bell nonlocality proposed in [Sci. China-Phys. Mech. Astron. 62, 030311 (2019)] and then give some basic properties on it. Then we derive some necessary conditions for a multipartite state to be Bell local and obtain some sufficient conditions for a state to be Bell nonlocal in terms of “expectations” of local observables without invoking Bell inequalities. Unlike the standard approach to nonlocality detection based on violation of Bell inequalities, the obtained criteria are formulated in terms of certain relations for expectation values of local observables that are constructed from the well-known GHZ paradoxes.
The main subjects of this thesis are non-locality and contextuality, two fundamental features of quantum mechanics that constitute valuable resources for quantum computation. Our analysis is based on Abramsky & Brandenburger's sheaf theoretic framework, which captures both these phenomena in a unified treatment and in a very general setting. This high-level description transcends quantum physics and allows to precisely characterise the notion of contextuality as the apparent paradox realised by data being locally consistent but globally inconsistent. More specifically, we aim to develop a deeper understanding of so-called logical forms of contextuality, i.e. situations where the phenomenon can be witnessed using purely logical arguments, disregarding probabilities. The sheaf theoretic description of logical contextuality has recently inspired the development of a topological treatment of the phenomenon based on sheaf cohomology. In this thesis, we embark on a detailed analysis of the cohomology of contextuality, exposing key shortcomings in the current methods, and introducing an (almost) complete cohomological characterisation of logical forms of contextuality. More specifically, we show that, in its current formulation, sheaf cohomology does not constitute a complete invariant for contextuality, not even in its strongest forms, and that higher cohomology groups cannot be used to study the phenomenon. Then, we solve these issues by introducing a novel construction, which derives refined versions of the presheaves describing empirical models to expose their deeper extendability properties, resulting in a sheaf cohomological invariant which is applicable to the vast majority of empirical models, and conjectured to work universally. We propose a general theory of contextual semantics using the language of valuation algebras. In particular, we give a general definition of contextual behaviour as a fundamental gap between local agreement and global disagreement of information sources. Not only does this formalism aptly capture and generalise the known instances of contextuality beyond quantum theory, but it also provides inspiration for further applications of the phenomenon, and paves the way for the transfer of results and techniques between different fields. We give a prime example of this potential by developing faster algorithms to detect contextuality based on mainstream methods of generic inference. Finally, we turn our attention back to instances of contextuality in quantum physics, and study strong contextuality in multi-qubit states. We give a complete combinatorial characterisation of All-vs-Nothing proofs of strong contextuality in stabiliser quantum mechanics. This allows to produce the complete list of all stabiliser states exhibiting this kind of contextuality, which consitututes an important resource in certain models of quantum computation. Then, we extend our search for strongly contextual behaviour beyond stabiliser states, and identify the minimum quantum resources needed to realise strong non-locality. Additional results include a partial classification of strongly non-local models comprised of three-qubit states and local projective measurements, and the introduction of a new infinite family of strongly non-local three-qubit states.