Related papers: Spectral Presheaves, Kochen-Specker Contextuality,…
After an introduction to some basic issues in non-commutative geometry (Gel'fand duality, spectral triples), we present a "panoramic view" of the status of our current research program on the use of categorical methods in the setting of…
In this paper we attempt to discuss what has Kochen-Specker (KS) theorem to say about physical invariance and quantum individuality. In particular, we will discuss the impossibility of making reference to objective physical properties…
The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to…
Gelfand - Na\u{i}mark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space.…
When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen-Specker theorem rules out models of quantum theory that…
The Gelfand - Na\u{i}mark theorem supplies the one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological…
Contemporary scientific perspectivism is re-evaluated and extended to a comprehensive perspectivist methodology and 'mediated' realistic epistemology, especially, with reference to quantum mechanics. In the present study, this is realized…
Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processing. In this paper, we summarize and derive some equivalent noncontextual inequalities…
Contextuality is a phenomenon at the heart of the quantum mechanical departure from classical behaviour, and has been recently identified as a resource in quantum computation. Experimental demonstration of contextuality is thus an important…
We address the problem of deriving the set of quantum correlations for every Bell and Kochen-Specker (KS) contextuality scenario from simple assumptions. We show that the correlations that are possible according to quantum theory are equal…
Algebraic quantum field theory and prefactorization algebra are two mathematical approaches to quantum field theory. In this monograph, using a new coend definition of the Boardman-Vogt construction of a colored operad, we define homotopy…
The Kochen-Specker theorem is one of the fundamental no-go theorems in quantum theory. It has far-reaching consequences for all attempts trying to give an interpretation of the quantum formalism. In this work, we examine the hypotheses…
The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental…
We associate to each unital $C^*$-algebra $A$ a geometric object---a diagram of topological spaces representing quotient spaces of the noncommutative space underlying $A$---meant to serve the role of a generalized Gel'fand spectrum. After…
We provide a detailed analysis of the classical and quantized theory of a multiplet of inhomogeneous Klein-Gordon fields, which couple to the spacetime metric and also to an external source term; thus the solutions form an affine space.…
Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of…
We start by reviewing the relation between toposes and Grothendieck quantales. We improve results of previous work on this relation by giving both a characterisation of the map from the tensor product of two internal sup-lattices to another…
We revisit a classical theme of (general or translation invariant) valuations on convex polyhedra. Our setting generalizes the classical one, in a ``dual'' direction to previously considered generalizations: while previous research was…
When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis…
Topos theory has been suggested by D\"oring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular, the topos approach suggests a radical new way of thinking about what a theory of…