Quantum theory departs from classical physics in its treatment of correlations, most prominently through the phenomena of contextuality and nonlocality. Once regarded primarily as foundational curiosities, these effects are now understood as key operational resources for quantum computation, communication, and simulation. Although traditionally investigated in distinct settings, recent theoretical and experimental advances have revealed deep conceptual, mathematical, and operational connections between them. This review presents a unified perspective on these developments based on sheaf-theoretic and graph-theoretic frameworks, which provide theory-independent characterizations of statistical correlations. These approaches clarify the structural relationship between contextuality and nonlocality, facilitate the formulation of experimentally testable inequalities, and guide implementations in realistic physical platforms, with particular emphasis on photonic systems. By bridging abstract theoretical structures and concrete experimental realizations, this review sheds light on the nonclassical foundations of quantum correlations and their emerging role in quantum technologies.
Quantum theory departs from classical physics in its treatment of correlations, most prominently through the phenomena of contextuality and nonlocality. Once regarded primarily as foundational curiosities, these effects are now understood as key operational resources for quantum computation, communication, and simulation. Although traditionally investigated in distinct settings, recent theoretical and experimental advances have revealed deep conceptual, mathematical, and operational connections between them. This review presents a unified perspective on these developments based on sheaf-theoretic and graph-theoretic frameworks, which provide theory-independent characterizations of statistical correlations. These approaches clarify the structural relationship between contextuality and nonlocality, facilitate the formulation of experimentally testable inequalities, and guide implementations in realistic physical platforms, with particular emphasis on photonic systems. By bridging abstract theoretical structures and concrete experimental realizations, this review sheds light on the nonclassical foundations of quantum correlations and their emerging role in quantum technologies.
Quantum entanglement is the defining feature of composite quantum systems, underpinning correlations beyond classical randomness and enabling quantum communication, cryptography, and error correction. Surveys treat entanglement, Bell nonlocality, contextuality, and decoherence in isolation or narrow subcommunities. This review advances a unified perspective analysing these phenomena as distinct but interrelated manifestations of nonclassical correlations with an operational structure. We organise bipartite entanglement through separability criteria, Schmidt decomposition, and partial-transpose techniques, and develop tools for nonlocal correlations based on Bell inequalities, Tsirelson’s bound, nonlocal games, and self-testing, emphasising device-independent protocols. We then examine contextuality and magic states as resources for quantum computational advantage beyond entanglement, clarifying their relationship to nonlocality. Finally, we characterise decoherence as environment-induced entanglement selecting classical records, and use this perspective to specify which aspects of the measurement problem it addresses and which require interpretational or dynamical extensions. Integrating these dimensions, the review clarifies how notions of nonclassicality relate, diverge, and underpin quantum technologies.
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.
Contextuality is a key distinguishing feature between classical and quantum physics. It expresses a fundamental obstruction to describing quantum theory using classical concepts. In turn, understood as a resource for quantum computation, it is expected to hold the key to quantum advantage. Yet, despite its long recognised importance in quantum foundations and, more recently, in quantum computation, the structural essence of contextuality has remained somewhat elusive - different frameworks address different aspects of the phenomenon, yet their precise relationship often remains unclear. This issue already looms large at the level of the Bell-Kochen-Specker theorem: while traditional proofs proceed by showing the nonexistence of valuations, the notion of state-independent contextuality in the marginal approach allows to prove contextuality from seemingly weaker assumptions. In the light of this, and at the absence of a unified mathematical framework for Kochen-Specker contextuality, the original algebraic approach has been widely abandoned, in favour of the study of contextual correlations. Here, we reinstate the algebraic perspective on contextuality. Concretely, by building on the novel concept of context connections, we reformulate the algebraic relations between observables originally postulated by Kochen and Specker, and we explicitly demonstrate their consistency with the notion of state-independent contextuality. In the present paper, we focus on the new conceptual ideas and discuss them in the concrete setting of spin-1 observables, specifically those in the example of [S. Yu and C.H. Oh, Phys. Rev. Lett., 108, 030402 (2012)]; in a companion paper, we generalise these ideas, obtain a complete characterisation of Kochen-Specker contextuality and provide a detailed comparison with the related notions of contextuality in the marginal and graph-theoretic approach.
Nonclassical states of light and their correlations lie at the heart of quantum optics, serving as fundamental resources that underpin both the exploration of quantum phenomena and the realisation of quantum information protocols. These lecture notes provide an accessible yet rigorous introduction to the foundations of quantum optics, emphasising their relevance to quantum information science and technology. Starting from the quantisation of the electromagnetic field and the bosonic formalism of Fock space, the notes develop a unified framework for describing and analysing quantum states of light. Key families of states -- thermal, coherent, and squeezed -- are introduced as paradigmatic examples illustrating the transition from classical to nonclassical behaviour. The concepts of convexity, classicality, and quasiprobability representations are presented as complementary tools for characterising quantumness and defining operational notions such as P-nonclassicality. The discussion extends naturally to Gaussian states, composite systems, and continuous-variable entanglement, highlighting how nonclassicality serves as a resource for generating and quantifying quantum correlations. Theoretical developments are complemented by computational and experimental perspectives, including simulations of optical states using the Python library Strawberry Fields and data analysis from simulated data. Together, these notes aim to bridge the foundational concepts of quantum optics and modern quantum information, offering both conceptual insight and practical tools for students and researchers entering the field.
In this thesis, we explore the intersection of two fundamental subfields of quantum information theory: quantum coherence and contextuality. Despite their apparent differences, both areas address key issues relevant to the foundations and applications of quantum theory. By developing a novel graph-theoretic approach, extending a framework recently introduced by Galvão and Brod (Phys. Rev. A 101, 062110, 2020), we establish a formal connection between inequality-based witnesses of quantum coherence and noncontextuality inequalities. Our key contributions include: the development of a graph-theoretic framework for generating coherence and contextuality witnesses; a formal mapping between the inequalities that follows from the work by Galvão and Brod to existing noncontextuality inequalities; the conceptualization of a relational form of quantum coherence; a proof of contextual advantage for the task of quantum interrogation; and the discovery of an infinite family of coherence witnesses that also require quantum states in Hilbert spaces of specific dimensions.
Recent research on quantum contextuality has been strongly centered on device-independent frameworks, such as the many graph approaches to contextuality and the celebrated sheaf-theoretical approach. Contextuality is described in these frameworks as a property of data only, making it possible to characterize and quantify the phenomena regardless of the reasons why it occurs. In this paper we look beyond the data and focus on possible explanations for this experimental fact. We show that a classical system generating contextual data can easily be found if the following conditions are satisfied (1) We only have access to a specific collection of epistemic measurements (which, all things considered, is basically Bohr's view on quantum measurements) and (2) There is a limitation on which of these measurements can be jointly performed. The way we see it, this example indicates that contextuality may be a consequence of the type of measurement taken into account, instead of an intrinsic feature of the system upon which these measurements are performed; if this is correct, the widespread idea that quantum contextuality is a non-classical feature can be avoided.