Related papers: Quantum logics close to Boolean algebras
Let S be a set of states of a physical system and p(s) the probability of the occurrence of an event when the system is in state s. A function p from S to [0,1] is called a numerical event or alternatively, an S-probability. If a set P of…
This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and…
Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a quantum computational type logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness…
Not all logical systems can be captured using algebras. We see this in classical logic (formalized by Boolean algebras) and many-valued logics (like Lukasiewicz logic with MV-algebras). Even quantum mechanics, initially formalized with…
One of fascinating phenomena of nature is quantum nonlocality, which is observed upon measurements on spacelike entangled systems. However, there are sets of post-quantum models which have stronger correlations than quantum mechanics,…
Lie groups and quantum algebras are connected through their common universal enveloping algebra. The adjoint action of Lie group on its algebra is naturally extended to related q-algebra and q-coalgebra. In such a way, quantum structure can…
In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in…
We introduce the notion of almost representations of Lie algebras and quantum tori, and establish an Ulam-stability type phenomenon: every irreducible almost representation is close to a genuine irreducible representation. As an…
We study two classes of quantum spheres and hyperboloids which are $*$-quantum spaces for the quantum orthogonal group $\mathcal{O}(SO_q(3))$. We construct line bundles over the quantum homogeneous space of invariant elements for the…
We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation. Our main result is that already its quasi-identities are undecidable:…
The relationship between quantum physics and discrete mathematics is reviewed in this article. The Boolean functions unitary representation is considered. The relationship between Zhegalkin polynomial, which defines the algebraic normal…
This paper studies the important problem of quantum classification of Boolean functions from a entirely novel perspective. Typically, quantum classification algorithms allow us to classify functions with a probability of $1.0$, if we are…
Symmetries of trigonometric integrable two dimensional statistical face models are considered. The corresponding symmetry operators on the Hilbert space of states of the quantum version of these models define a weak *-Hopf algebra…
Let $X$ be a differentiable manifold endowed with a transitive action $\alpha:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms…
We study automorphisms and representations of quasi polynomial algebras (QPAs) and quasi Laurent polynomial algebras (QLPAs). For any QLPA defined by an arbitrary skew symmetric integral matrix, we explicitly describe its automorphism…
This paper establishes a categorical equivalence between the category $\mathbb{COL}$ of complete orthomodular lattices and the category $\mathscr{T}\mathbb{ODA}$ of $\mathscr{T}$-based orthomodular dynamic algebras. Complete orthomodular…
Similarly as classical propositional calculus is based algebraically on Boolean algebras, the logic of quantum mechanics was based on orthomodular lattices by G. Birkhoff and J. von Neumann and K. Husimi. However, this logic does not…
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of non-orthomodular and thus non-distributive lattices that properly contain standard orthomodular and Boolean classes,…
We use the mathematical structure of group algebras and $H^{+}$-algebras for describing certain problems concerning the quantum dynamics of systems of angular momenta, including also the spin systems. The underlying groups are ${\rm SU}(2)$…
The concept of \emph{almost orthogonal vectors}, i.e.\ vectors whose cosine similarity is close to $0$, relates to topics both in pure mathematics and in coding theory under the guises of spherical packing and spherical codes. In recent…