Related papers: Bohrification
Classically, one could imagine a completely static space, thus without time. As is known, this picture is unconceivable in quantum physics due to vacuum fluctuations. The fundamental difference between the two frameworks is that classical…
This paper aims to incorporate the notion of quantifier-free formulas modulo a first-order theory and the stratification of formulas by quantifier alternation depth modulo a first-order theory into the algebraic treatment of classical…
On classical phase spaces admitting just one complex-differentiable structure, there is no indeterminacy in the choice of the creation operators that create quanta out of a given vacuum. In these cases the notion of a quantum is universal,…
In the current debate referring to the construction of a tenable background independent theory of Quantum Gravity we introduce the notion of topos-theoretic relativization of physical representability and demonstrate its relevance…
The article gives an account of several aspects of the space known as the Bohr compactification of the line, featuring as the quantum configuration space in loop quantum cosmology, as well as of the corresponding configuration space…
In this paper, we construct a sheaf-based topos quantum theory. It is well known that a topos quantum theory can be constructed on the topos of presheaves on the category of commutative von Neumann algebras of bounded operators on a Hilbert…
This paper studies a first-order expansion of a combination C+J of intuitionistic and classical propositional logic, which was studied by Humberstone (1979) and del Cerro and Herzig (1996), from a proof-theoretic viewpoint. While C+J has…
It is the goal of this article to extend the notion of quantization from the standard interpretation focused on non-commuting observables defined starting from classical analogues, to the topological equivalents defined in terms of…
Since its inception Bohmian mechanics has been generally regarded as a hidden-variable theory aimed at providing an objective description of quantum phenomena. To date, this rather narrow conception of Bohm's proposal has caused it more…
Generalized Fourier transformation between the position and the momentum representation of a quantum state is constructed in a coordinate independent way. The only ingredient of this construction is the symplectic (canonical) geometry of…
This paper presents the theory of Bohr-Sommerfeld-Heisenberg quantization of a completely integrable Hamiltonian system in the context of geometric quantization. The theory is illustrated with several examples.
This paper introduces the Quantum Contextual Topos (QCT), a novel framework that extends traditional quantum logic by embedding contextual elements within a topos-theoretic structure. This framework seeks to provide a classically-obedient…
It is well known that Niels Bohr insisted on the necessity of classical concepts in the account of quantum phenomena. But there is little consensus concerning his reasons, and what he exactly meant by this. In this paper, I re-examine…
In recent years there has been a resurgence of interest in Bohmian mechanics as a numerical tool because of its local dynamics, which suggest the possibility of significant computational advantages for the simulation of large quantum…
This is an introduction to quantum algebra, from a geometric perspective. The classical spaces $X$, such as the Lie groups, homogeneous spaces, or more general manifolds, are described by various algebras $A$, defined over various fields…
We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this…
In R.D. Sorkin's framework for logic in physics a clear separation is made between the collection of unasserted propositions about the physical world and the affirmation or denial of these propositions by the physical world. The unasserted…
I construct lowest-energy representations of non-centrally extended algebras of Noether symmetries, including diffeomorphisms and reparametrizations of the observer's trajectory. This may be viewed as a new scheme for quantization. First…
We outline an intuitionistic view of knowledge which maintains the original Brou\-wer-Heyting-Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of…
We define a quantum generalization of the algebra of functions over an associated vector bundle of a principal bundle. Here the role of a quantum principal bundle is played by a Hopf-Galois extension. Smash products of an algebra times a…