Related papers: A Topos Perspective on the Kochen-Specker Theorem:…
We consider the cluster of problems raised by the relation between the notion of time, gravitational theory, quantum theory and thermodynamics; in particular, we address the problem of relating the "timelessness" of the hypothetical…
The problem of introducing a dependence of elements of quantum group on classical parameters is considered. It is suggested to interpret a homomorphism from the algebra of functions on quantum group to the algebra of sections of a sheaf of…
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…
Q-systems describe "extensions" of an infinite von Neumann factor $N$, i.e., finite-index unital inclusions of $N$ into another von Neumann algebra $M$. They are (special cases of) Frobenius algebras in the C* tensor category of…
In this paper, we introduce Frobenius von Neumann algebras and study quantum convolution inequalities. In this framework, we unify quantum Young's inequality on quantum symmetries such as subfactors, and fusion bi-algebras studied in…
Alternative partial Boolean structures, implicit in the discussion of classical representability of sets of quantum mechanical predictions, are characterized, with definite general conclusions on the equivalence of the approaches going back…
We propose a quantization of coarse spaces and uniform Roe algebras. The objects are based on the quantum relations introduced by N. Weaver and require the choice of a represented von Neumann algebra. In the case of the diagonal inclusion…
We develop a global cohomology theory for number fields by offering topological cohomology groups, an arithmetical duality, a Riemann-Roch type theorem, and two types of vanishing theorem. As applications, we study moduli spaces of…
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…
We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…
In this paper, we will follow Kirchberg's categorical perspective to establish new notions of WEP and QWEP relative to a C$^*$-algebra, and develop similar properties as in the classical WEP and QWEP. Also we will show some examples of…
The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual…
In this paper, we introduce a new definition of sheaves on semicartesian quantales, providing first examples and categorical properties. We note that our sheaves are similar to the standard definition of a sheaf on a locale, however, we…
We prove a category-theoretic independence theorem for four fundamental notions: meaning, object, name, and existence. Working in a Lawvere-style categorical semantics and in particular in toposes, we show that these notions occupy distinct…
These lectures centered around the Kempf-Ness theorem, which describes the equivalence between notions of quotient in symplectic and algebraic geometry. The text also describes connections to invariant theory, such existence of invariants…
For our own education, we reconstruct the Hopf algebra of Connes and Moscovici obtained by the action of vector fields on a crossed product of functions by diffeomorphisms. We extend the realization of that Hopf algebra in terms of rooted…
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…
We give a tutorial exposition of the analogue of the filtering equation for quantum systems focusing on the quantum probabilistic framework and developing the ideas from the classical theory. Quantum covariances and conditional expectations…
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…
We derive a spacetime formulation of quantum general relativity from (hamiltonian) loop quantum gravity. In particular, we study the quantum propagator that evolves the 3-geometry in proper time. We show that the perturbation expansion of…