Related papers: Bohrification
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…
Quantum physics has revealed many interesting formal properties associated with the algebra of two operators, A and B, satisfying the partial commutation relation AB-BA=1. This study surveys the relationships between classical combinatorial…
The relationship between classical and quantum theory is of central importance to the philosophy of physics, and any interpretation of quantum mechanics has to clarify it. Our discussion of this relationship is partly historical and…
These notes present an introduction to an analytic version of deformation quantization. The central point is to study algebras of physical observables and their irreducible representations. In classical mechanics one deals with real Poisson…
According to the holographic principle, the information content assigned to a gravitational region is processed by its lower dimensional boundary. As an example setup compatible with this principle, the AdS/CFT correspondence relies on the…
We assume that M is a phase space and H an Hilbert space yielded by a quantization scheme. In this paper we consider the set of all "experimental propositions" of M and we look for a model of quantum logic in relation to the quantization of…
What Niels Bohr called the `epistemological lesson' of `complementarity' was the result of reasoning analogically from the classical conception of a mechanical state to a new quantum mechanical conception of an `object' in a mechanical…
Modal logics have proved useful for many reasoning tasks in symbolic artificial intelligence (AI), such as belief revision, spatial reasoning, among others. On the other hand, mathematical morphology (MM) is a theory for non-linear analysis…
Skolemization, with Herbrand's theorem, underpins automated theorem proving and various transformations in computer science and mathematics. Skolemization removes strong quantifiers by introducing new function symbols, enabling efficient…
We introduce a notion of morphism of CohFT algebras, based on the analogy with A-infinity morphisms. We discuss a "quantization" of the classical Kirwan morphism to a morphism of CohFT algebras from the equivariant quantum cohomology of a…
The notion of quantum embedding is considered for two classes of examples: quantum coadjoint orbits in Lie coalgebras and quantum symplectic leaves in spaces with non-Lie permutation relations. A method for constructing irreducible…
The standard representation of c*-algebra is used to describe fields in compactified space-time dimensions characterized by topologies of the type $ \Gamma_{D}^{d}=(\mathbb{S}^{1})^{d}\times \mathbb{M}^{D-d}$. The modular operator is…
In the one-dimensional stationary case, we construct a mechanical Lagrangian describing the quantum motion of a non-relativistic spinless system. This Lagrangian is written as a difference between a function $T$, which represents the…
Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a…
Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…
In this paper we motivate and study the possibility of an intuitionistic quantum logic. An explicit investigation of the application of the theory of Bruns and Lakser on distributive hulls on traditional quantum logic (as suggested in…
A non-standard quantum deformation of the two-photon algebra $h_6$ is constructed, and its quantum universal R-matrix is given. Representations of this new quantum algebra are studied on the Fock space and translated into Fock-Bargmann…
Following a suggestion of Birkhoff and Von Neumann [Ann. Math. 37 (1936), 23-32], we pursue a joint study of quantum logic and intuitionistic logic. We exhibit a linear-time translation which for each quantum logic $Q$ and each…
The quantum logic program originated in a 1936 article by G. Birkhoff and J. von Neumann. This program is generally disregarded due to no-go theorems restricting the existence of the tensor product of elementary quantum logics and, above…
A novel theory of hybrid quantum-classical systems is developed, utilizing the mathematical framework of constrained dynamical systems on the quantum-classical phase space. Both, the quantum and the classical descriptions of the respective…