Related papers: Bohrification
In the foundational logical framework of homotopy-type theory we discuss a natural formalization of secondary integral transforms in stable geometric homotopy theory. We observe that this yields a process of non-perturbative cohomological…
We introduce an addition law for the usual quantum matrices $A(R)$ by means of a coaddition $\underline{\Delta} t=t\otimes 1+1\otimes t$. It supplements the usual comultiplication $\Delta t=t\otimes t$ and together they obey a…
We prove that the equivariant big quantum cohomology QH^*_T(E) of the total space of a toric bundle E \to B converges provided that the big quantum cohomology QH^*(B) converges. The proof is based on Brown's mirror theorem for toric…
In human consciousness perceptions are distinct or atomistic events despite being perceived by an apparently undivided inner observer. This paper applies both classical (Boolean) and quantum logic to analysis of the Liar paradox which is…
P. Aluffi introduced in [1] a new graded algebra in order to conveniently express characteristic cycles in the theory of singular varieties. This algebra is attached to a surjective ring homomorphism $A\surjects B$ by taking a suitable…
Bohr's complementarity principle has long been a fundamental concept in quantum mechanics, positing that, within a given experimental setup, a quantum system (or quanton) can exhibit either its wave-like character, denoted as $W$, or its…
Quantum dynamics, typically expressed in the form of a time-dependent Schr\"odinger equation with a Hermitian Hamiltonian, is a natural application for quantum computing. However, when simulating quantum dynamics that involves the emission…
We define the double quantum affinization $\ddot{\mathrm{U}}_q(\mathfrak a_1)$ of type $\mathfrak{a}_1$ as a topological Hopf algebra. We prove that it admits a subalgebra $\ddot{\mathrm{U}}_q'(\mathfrak a_1)$ whose completion is…
At the 1927 Como conference Bohr spoke the now famous words "It is wrong to think that the task of physics is to find out how nature is. Physics concerns what we can say about nature." However, if the Copenhagen interpretation really holds…
Let $X$ be a complex manifold, $\pi: E \rightarrow X$ a locally trivial holomorphic fibration with fiber $F$, and $\mathfrak{g}$ a Lie algebra with an invariant symmetric form. We associate to this data a holomorphic prefactorization…
Quantum and classical mechanics share a common algebraic formalism which is expressed naturally in the language of category theory. A third realization of this formalism is the so-called hyperbolic quantum mechanics where split-complex…
The Lie and module (Rinehart) algebraic structure of vector fields of compact support over C infinity functions on a (connected) manifold M define a unique universal non-commutative Poisson * algebra. For a compact manifold, a…
A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time points and then collect some of them to form time intervals…
We show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quotients' of the theory T; next, we analyze how classical…
Quantum complementarity is a fundamental feature of quantum systems and has captivated the physics research community for nearly a century, with significant advancements emerging in recent decades. This review traces the historical…
Let $\mathfrak{g}$ be a Borcherds-Bozec algebra, $U(\mathfrak{g})$ be its universal enveloping algebra and $U_{q}(\mathfrak{g})$ be the corresponding quantum Borcherds-Bozec algebra. We show that the classical limit of $U_{q}(\mathfrak{g})$…
In this article, we investigate Bohm's view of quantum theory, especially Bohm's quantum potential, from a new perspective. We develop a quasi-Newtonian approach to Bohmian mechanics. We show that to arrive at Bohmian formulation of quantum…
A quantum picture of the causal structure of Minkowski space M is presented. The mathematical model employed to this end is a non-classical version of the classical topos {H} of real quaternion algebras used elsewhere to organize the…
We explore various semantic understandings of dual intuitionistic logic by exploring the relationship between co-Heyting algebras and topological spaces. First, we discuss the relevant ideas in the setting of Heyting algebras and…
This paper presents a novel explanation of the cause of quantum probabilities and the Born rule based on the intuitionistic interpretation of quantum mechanics where propositions obey constructive (intuitionistic) logic. The use of…