This thesis is concerned with modelling contextuality in the fields of Quantum Information Science and Quantum Cognition. It extends the combinatorial approach by contributing computational tractable variants of the Foulis-Randall product and Weighted Fractional Packing Number for arbitrarily large contextuality experiments. The thesis also presents a set of techniques that allow contextuality to be differentiated between causal influences and noise.
This thesis is concerned with modelling contextuality in the fields of Quantum Information Science and Quantum Cognition. It extends the combinatorial approach by contributing computational tractable variants of the Foulis-Randall product and Weighted Fractional Packing Number for arbitrarily large contextuality experiments. The thesis also presents a set of techniques that allow contextuality to be differentiated between causal influences and noise.
This article extends the combinatorial approach to support the determination of contextuality amidst causal influences. Contextuality is an active field of study in Quantum Cognition, in systems relating to mental phenomena, such as concepts in human memory. In the cognitive field of study, a contemporary challenge facing the determination of whether a phenomenon is contextual has been the identification and management of disturbances. Whether or not said disturbances are identified through the modeling approach, constitute causal influences, or are disregardableas as noise is important, as contextuality cannot be adequately determined in the presence of causal influences. To address this challenge, we first provide a formalization of necessary elements of the combinatorial approach within the language of canonical causal models. Through this formalization, we extend the combinatorial approach to support a measurement and treatment of disturbance, and offer techniques to separately distinguish noise and causal influences. Thereafter, we develop a protocol through which these elements may be represented within a cognitive experiment. As human cognition seems rife with causal influences, cognitive modelers may apply the extended combinatorial approach to practically determine the contextuality of cognitive phenomena.
So far, most of the literature on (quantum) contextuality and the Kochen–\nSpecker theorem seems either to concern particular examples of contextuality, or be\nconsidered as quantum logic. Here, we develop a general formalism for contextuality\nscenarios based on the combinatorics of hypergraphs, which significantly refines a similar\nrecent approach by Cabello, Severini and Winter (CSW). In contrast to CSW, we\nexplicitly include the normalization of probabilities, which gives us a much finer control\nover the various sets of probabilistic models like classical, quantum and generalized\nprobabilistic. In particular, our framework specializes to (quantum) nonlocality in the\ncase of Bell scenarios, which arise very naturally from a certain product of contextuality\nscenarios due to Foulis and Randall. In the spirit of CSW, we find close relationships to\nseveral graph invariants. The recently proposed Local Orthogonality principle turns out\nto be a special case of a general principle for contextuality scenarios related to the Shannon\ncapacity of graphs. Our results imply that it is strictly dominated by a low level of\nthe Navascués–Pironio–Acín hierarchy of semidefinite programs, which we also apply\nto contextuality scenarios.\nWe derive a wealth of results in our framework, many of these relating to quantum\nand supraquantum contextuality and nonlocality, and state numerous open problems.\nFor example, we show that the set of quantum models on a con
Quantum theory departs from classical probabilistic theories in foundational ways. These departures--termed quantumness here--power quantum information and computation. This thesis charts the role of discrete structures in assessing quantumness, synthesizing elements of my postdoctoral research through this lens. After an introduction to the necessary background concepts, I present my work under three broad categories. First, I present work on contextuality that extensively relies on (undirected) graphs and hypergraphs as the discrete structures of interest; more specifically, it relies on invariants associated with them. This work includes Kochen-Specker (KS) contextuality and its operationalization to generalized contextuality, expressed via (hyper)graph-theoretic frameworks. I also present work on KS-contextuality in multiqubit systems and an application of generalized contextuality to a one-shot communication task, both of which rely on hypergraphs. Second, I present work on causality, where the discrete structures of interest are directed graphs. This includes work on indefinite causal order, specifically its connections to the gap between local operations and classical communication (LOCC) and separable operations (SEP), and a device-independent notion of nonclassicality--termed antinomicity--that generalizes Bell nonlocality without global causal assumptions. Finally, I present work on the incompatibility of quantum measurements, its connection to Bell nonlocality, and its role in discriminating between quantum and almost quantum correlations in the single-system setting. The discrete structures of interest here are hypergraphs that model joint measurability relations between quantum measurements. I conclude with a summary and an overview of work that is not covered in this thesis.
We provide a unified operational framework for the study of causality, non-locality and contextuality, in a fully device-independent and theory-independent setting. We define causaltopes, our chosen portmanteau of "causal polytopes", for arbitrary spaces of input histories and arbitrary choices of input contexts. We show that causaltopes are obtained by slicing simpler polytopes of conditional probability distributions with a set of causality equations, which we fully characterise. We provide efficient linear programs to compute the maximal component of an empirical model supported by any given sub-causaltope, as well as the associated causal fraction. We introduce a notion of causal separability relative to arbitrary causal constraints. We provide efficient linear programs to compute the maximal causally separable component of an empirical model, and hence its causally separable fraction, as the component jointly supported by certain sub-causaltopes. We study causal fractions and causal separability for several novel examples, including a selection of quantum switches with entangled or contextual control. In the process, we demonstrate the existence of "causal contextuality", a phenomenon where causal inseparability is clearly correlated to, or even directly implied by, non-locality and contextuality.
This thesis establishes a number of connections between foundational issues in quantum theory, and some quantum information applications. It starts with a review of quantum contextuality and non-locality, multipartite entanglement characterisation, and of a few quantum information protocols. Quantum non-locality and contextuality are shown to be essential for different implementations of quantum information protocols known as quantum random access codes and quantum communication complexity protocols. I derive sufficient experimental conditions for tests of these quantum properties. I also discuss how the distribution of quantum information through quantum cloning processes can be useful in quantum computing. Regarding entanglement characterisation, some results are obtained relating two problems, that of additivity of the relative entropy of entanglement, and that of identifying different types of tripartite entanglement in the asymptotic regime of manipulations of many copies of a given state. The thesis ends with a description of an information processing task in which a single qubit substitutes for an arbitrarily large amount of classical communication. This result is interpreted in different ways: as a gap between quantum and classical computation space complexity; as a bound on the amount of classical communication necessary to simulate entanglement; and as a basic result on hidden-variable theories for quantum mechanics. I also show that the advantage of quantum over classical communication can be established in a feasible experiment.
We propose a novel mathematical framework, rooted in fiber bundle theory, to quantify the phenomenon of quantum contextuality—a fundamental aspect of quantum entanglement. To demonstrate its utility, we first apply the formalism to quantum models in the foundations of quantum physics that both capture and differentiate varying strengths of contextuality. By revealing the intrinsic geometric structure of contextuality, the framework establishes a direct link to its computational foundations, facilitating the formulation of a topology-based model of computation that encapsulates the semantics inherent to contextuality. The framework delivers a rigorous and potentially more profound mathematical characterization of quantum contextuality, while offering new modeling methodologies for quantum cognition.