Related papers: Spectral Presheaves, Kochen-Specker Contextuality,…
In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W.…
Through the subsequent discussion we consider a certain particular sort of (topological) algebras, which may substitute the `` structure sheaf algebras'' in many--in point of fact, in all--the situations of a geometrical character that…
Certain concrete "ontological models" for quantum mechanics (models in which measurement outcomes are deterministic and quantum states are equivalent to classical probability distributions over some space of `hidden variables') are…
The purpose of this paper is to present a mathematical theory of the half-twisted $(0,2)$ gauged linear sigma model and its correlation functions that agrees with and extends results from physics. The theory is associated to a smooth…
General covariance is a crucial notion in the study of field theories in curved spacetime. A field theory defined with respect to a semi-Riemannian metric is generally covariant if two metrics which are related by a diffeomorphism produce…
We initiate the study of sheaves on Cech closure spaces, providing a new, unified approach to sheaf theory on many of the major classes of spaces of interest to applications: topological spaces, finite simplicial complexes (seen as $T_0$…
This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron's quantum lambda calculus, which was previously an open problem. We do…
This thesis explores Quantum Field Theory (QFT) on curved spacetimes using a geometric Hamiltonian approach to the Schr\"odinger-like representation. In particular it studies the theory of the scalar field described through its…
We reinterpret the spectral dimension of spacetimes as the scaling of an effective self-energy transition amplitude in quantum field theory (QFT), when the system is probed at a given resolution. This picture has four main advantages: (a)…
We introduce a foundational sheaf theoretical scheme for the comprehension of quantum event structures, in terms of localization systems consisting of Boolean coordinatization coverings induced by measurement. The scheme is based on the…
In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from…
We develop foundations for a relational approach to quantum field theory (RQFT) based on the operational quantum reference frames (QRFs) framework considered in a relativistic setting. Unlike other efforts in combining QFT with QRFs, we use…
The Kochen-Specker theorem, Bell inequalities, and several other tests that were designed to rule out hidden-variable theories, assume the existence of observables having infinitely sharp eigenvalues. A paradigmatic example is spin-1/2. It…
The concept of individuality in quantum mechanics shows radical differences from the one used in classical physics. In particular, it is not possible to consider the fundamental particles described by quantum theory as individual…
We study the role of context, complex of physical conditions, in quantum as well as classical experiments. It is shown that by taking into account contextual dependence of experimental probabilities we can derive the quantum rule for the…
This paper is a sequel to our previous study of spherical representations in the operator algebra setup. We first introduce possible analogs of dimension groups in the present context by utilizing the notion of operator systems and their…
In this paper we put forward the definition of particular subsets on a unital C*-algebra, that we call isocones, and which reduce in the commutative case to the set of continuous non-decreasing functions with real values for a partial order…
We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local…
Two types of inequalities, Kochen-Specker inequalities and noncontextuality inequalities, are both used to demonstrate the incompatibility between the noncontextual hidden variable model and quantum mechanics. It has been thought that…
In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani, and topos quantum theory, as developed by Isham, Butterfield and Doring, amongst others. Towards this end, we…