Related papers: Bohrification of operator algebras and quantum log…
New foundations for quantum logic and quantum spaces are constructed by merging algebraic quantum theory and topos theory. Interpreting Bohr's "doctrine of classical concepts" mathematically, given a quantum theory described by a…
The `Bohrification" program in the foundations of quantum mechanics implements Bohr's doctrine of classical concepts through an interplay between commutative and non-commutative operator algebras. Following a brief conceptual and…
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible…
The Bohrification program is an attempt to interpret Bohr's mature doctrine of classical concepts as well as his earlier correspondence principle in the operator-algebraic formulation of quantum theory pioneered by von Neumann. In…
Every partial algebra is the colimit of its total subalgebras. We prove this result for partial Boolean algebras (including orthomodular lattices) and the new notion of partial C*-algebras (including noncommutative C*-algebras), and…
Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several…
Let R be a von Neumann algebra acting on a Hilbert space H and let R_sa be the set of selfadjoint elements of R. It is well known that R_sa is a lattice with respect to the usual partial order ≤ if and only if R is abelian. We define…
A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the…
In their seminal paper Birkhoff and von Neumann revealed the following dilemma: "... whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics…
A hereditarily atomic von Neumann algebra $A$ is a $W^*$ product of matrix algebras, regarded as the underlying function algebra of a quantum set. Projections in $A\overline{\otimes}A^{\circ}$ are interpreted as quantum binary relations on…
We build up local, time translation covariant Boundary Quantum Field Theory nets of von Neumann algebras A_V on the Minkowski half-plane M_+ starting with a local conformal net A of von Neumann algebras on the real line and an element V of…
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…
In the context of studying $C^*$-algebras generated by Toeplitz operators acting on the poly-Bergman space $\mathcal{A}^2_{n}(\Pi)$ of the upper half-plane $\Pi$, we introduce a system of all-but-one orthogonal projections in generic…
Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…
In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A model involving a clear…
As has already been pointed out by Birkhoff and von Neumann, quantum logic can be formulated in terms of projective geometry. In three-dimensional Hilbert space, elementary logical propositions are associated with one-dimensional subspaces,…
The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, respectively. In several cases, axiomatizations of algebraic…
In the Hamiltonian approach on a single spatial plaquette, we construct a quantum (lattice) gauge theory which incorporates the classical singularities. The reduced phase space is a stratified K\"ahler space, and we make explicit the…
Recently, we have constructed a non{linear (polynomial) extension of the 1-mode Heisenberg group and the corresponding Fock and Weyl representations. The transition from the 1-mode case to the current algebra level, in which the operators…
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…