Related papers: Spectral Presheaves, Kochen-Specker Contextuality,…
We describe the categorical semantics for a simply typed variant and a simplified dependently typed variant of Cocon, a contextual modal type theory where the box modality mediates between the weak function space that is used to represent…
A quantum causal topology is presented. This is modeled after a non-commutative scheme type of theory for the curved finitary spacetime sheaves of the non-abelian incidence Rota algebras that represent `gravitational quantum causal sets'.…
We construct a class of quantum field theories depending on the data of a holomorphic Poisson structure on a piece of the underlying spacetime. The main technical tool relies on a characterization of deformations and anomalies of such…
Quantum contextuality is one of the fundamental notions in quantum mechanics. Proofs of the Kochen-Specker theorem and noncontextuality inequalities are two means for revealing the contextuality phenomenon in quantum mechanics. It has been…
Hidden variables theories for quantum mechanics are usually assumed to satisfy the KS condition. The Bell-Kochen-Specker theorem then shows that these theories are necessarily contextual. But the KS condition can be criticized from an…
Two notions of nonclassicality that have been investigated intensively are: (i) negativity, that is, the need to posit negative values when representing quantum states by quasiprobability distributions such as the Wigner representation, and…
The paper presents several quantum models constructed with the formalism of algebraic geometry. The Universe is presented as a presheaf on the "space of ultimation" (i.e. the branching future) with values in certain category which enhances…
This article sets out the framework of algebraic quantum field theory in curved spacetimes, based on the idea of local covariance. In this framework, a quantum field theory is modelled by a functor from a category of spacetimes to a…
Extensions of the Kochen-Specker theorem use quantum logics whose classical interpretation suggests a true-implies-value indefiniteness property. This can be interpreted as an indication that any view of a quantum state beyond a single…
The Kochen-Specker theorem proves the inability to assign, simultaneously, noncontextual definite values to all (of a finite set of) quantum mechanical observables in a consistent manner. If one assumes that any definite values behave…
The sheaf theoretic description of non-locality and contextuality by Abramsky and Brandenburger sets the ground for a topological study of these peculiar features of quantum mechanics. This viewpoint has been recently developed thanks to…
The Kochen-Specker theorem states that noncontextual hidden variable models are inconsistent with the quantum predictions for every yes-no question on a qutrit, corresponding to every projector in three dimensions. It has been suggested [D.…
The Kochen-Specker theorem shows the impossibility for a hidden variable theory to consistently assign values to certain (finite) sets of observables in a way that is non-contextual and consistent with quantum mechanics. If we require…
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…
One of the fundamental results in quantum foundations is the Kochen-Specker no-go theorem. For the quantum theory, the no-go theorem excludes the possibility of a class of hidden variable models where value attribution is context…
In this paper we attempt to analyze the physical and philosophical meaning of quantum contextuality. We will argue that there exists a general confusion within the foundational literature arising from the improper "scrambling" of two…
We construct a topological space to study contextuality in quantum mechanics. The resulting space is a classifying space in the sense of algebraic topology. Cohomological invariants of our space correspond to physical quantities relevant to…
In this paper the generalized quantum states, i.e. positive and normalized linear functionals on $C^{*}$-algebras, are studied. Firstly, we study normal states, i.e. states which are represented by density operators, and singular states,…
We introduce and formalize a notion of "a priori knowledge" about a quantum system, and show some properties about this form of knowledge. Finally, we show that the Kochen-Specker theorem follows directly from this study. This version is a…
Bell nonlocality and Kochen-Specker contextuality are among the main topics of foundations of quantum theory. Both of them are related to stronger-than-classical correlations, with the former usually referring to spatially separated systems…