Related papers: Spectral Presheaves, Kochen-Specker Contextuality,…
What is the role of topos theory in the topos models for quantum theory as used by Isham, Butterfield, Doring, Heunen, Landsman, Spitters and others? In other words, what is the interplay between physical motivation for the models and the…
So far, most of the literature on (quantum) contextuality and the Kochen-Specker theorem seems either to concern particular examples of contextuality, or be considered as quantum logic. Here, we develop a general formalism for contextuality…
Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality proofs, aka. observable-based proofs of the Kochen-Specker…
We carry out a systematic, topos-theoretically inspired, investigation of Wallman compactifications with a particular emphasis on their relations with Gelfand spectra and Stone-Cech compactifications. In addition to proving several specific…
Contextuality is a key signature of quantum non-classicality, which has been shown to play a central role in enabling quantum advantage for a wide range of information-processing and computational tasks. We study the logic of contextuality…
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…
We construct commutative algebra spectra that represent the operator $K$-theory of $C^*$-algebras, which are algebras over the commutative ring spectra that represent topological $K$-theory. The spectral multiplicative structure introduces…
Quantum contextuality, a fundamental feature distinguishing quantum theory from classical models, is investigated via algebraic and topological structures inherent in modular tensor categories. This work rigorously demonstrates that braid…
We show how the Gelfand spectrum of certain commutative operator algebras can be studied based on the theorem of Stone and von Neumann. The method presented is a natural addition to the tools of quantum spectral synthesis, which were…
It was shown recently that the space isomorphic with an Gelfand Shilov space is well adapted for the use in quantum field theory with a fundamental length. It is our believe that all Gelfand Shilov spaces, especially those with…
We consider some generalization of the theory of quantum states and demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some well-known phenomena. The key ingredients of the…
It is shown that the principle of locality and noncommutative geometry can be connnected by a sheaf theoretical method. In this framework quantum spaces are introduced and examples in mathematical physics are given. With the language of…
In a previous paper with Adam Brandenburger, we used sheaf theory to analyze the structure of non-locality and contextuality. Moreover, on the basis of this formulation, we showed that the phenomena of non-locality and contextuality can be…
The Kochen-Specker theorem rules out models of quantum theory wherein projective measurements are assigned outcomes deterministically and independently of context. This notion of noncontextuality is not applicable to experimental…
We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define…
Kochen-Specker theorems assure the breakdown of certain types of non-contextual hidden variable theories through the non-existence of global, holistic frame functions; alas they do not allow us to identify where this breakdown occurs, nor…
Most of the paradoxical, for the classical intuition, features of quantum theory were formulated for situations which involve a fixed number of particles. While one can now find a formulation of Bell's theorem for quantum fields, a…
Meyer recently queried whether non-contextual hidden variable models can, despite the Kochen-Specker theorem, simulate the predictions of quantum mechanics to within any fixed finite experimental precision. Clifton and Kent have presented…
Any $C^*$-algebra can be regarded as a generalization of locally compact, Hausdorff topological space $\mathcal X$. From the commutative commutative Gelfand-Na\u{\i}mark theorem it follows that the spectrum of any commutative $C^*$-algebra…
The Kochen-Specker (KS) theorem is a corner-stone result in the foundations of quantum mechanics describing the fundamental difference between quantum theory and classical non-contextual theories. Recently specific substructures termed…