We consider orthomodular posets endowed with a symmetric difference. We call them ODPs. Expressed in the quantum logic language, we consider quantum logics with an XOR-type connective. We study three classes of "almost Boolean" ODPs, two of them defined by requiring rather specific behaviour of infima and the third by a Boolean-like behaviour of Frink ideals. We establish a (rather surprising) inclusion between the three classes, shadding thus light on their intrinsic properties. (More details can be found in the Introduction that follows.) Let us only note that the orthomodular posets pursued here, though close to Boolean algebras (i.e., close to standard quantum logics), still have a potential for an arbitrarily high degree of non-compatibility and hence they may enrich the studies of mathematical foundations of quantum mechanics.
Abstract States of quantum systems correspond to vectors in a Hilbert space and observations to closed subspaces. Hence, this logic corresponds to the algebra of closed subspaces of a Hilbert space. This can be considered as a complete lattice with orthocomplementation, but it is not distributive. It satisfies a weaker condition, the so-called orthomodularity. Later on, it was recognized that joins in this structure need not exist provided the subspaces are not orthogonal. Hence, the resulting structure need not be a lattice but a so-called orthomodular poset, more generally an orthoposet only. For orthoposets, we introduce a binary relation
Δ and a binary operator
d(x,y) that are generalizations of the binary relation
C and the commutator
c(x,y), respectively, known for orthomodular lattices. We characterize orthomodular posets among orthogonal posets. Moreover, we describe connections between the relations
Δ and
↔ (the latter was introduced by P. Pták and S. Pulmannová) and the operator
d(x,y). In addition, we investigate certain orthomodular posets of subsets of a finite set. In particular, we describe maximal orthomodular sublattices and Boolean subalgebras of such orthomodular posets. Finally, we study properties of
Δ-blocks with respect to Boolean subalgebras and distributive subposets they include.
The theory of orthomodular lattice and its relationships that depend on s-map and condi-tional states definitions has shown in several types of probabilistic relations. An orthomodularlattice with a conditional states can be applied and defined as a model for non-compatible events.Studying of s-maps or conditional states on an orthomodular lattice helps us to describe suchproperties of random events, which are difficult to be described by Boolean algebra. In a par-ticularly observed quantum or classical system the information, that we cannot access results inour description of the system be coming mixed even if we have perfect initial knowledge.That is, if the system is quantum the conditional states will be given by a state matrix and ifclassical, the conditional states will be given by a probability distribution. We show conditionswhen a quantum system has the same properties as the classical probability space.Acknowledgement. This work was supported by Science and Technology Assistance AgencyunderthecontractNo. APVT-20-003204, VEGA-1/3014/06, VEGA-1/3321/06, VEGA-1/3006/06
We present several known and one new description of orthomodular structures (orthomodular lattices, orthomodular posets and orthoalgebras). Originally, orthomodular structures were viewed as pasted families of Boolean algebras. Here we introduce semipasted families of Boolean algebras as an alternative description which is not as detailed, but substantially simplex. Semipasted families of Boolean algebras correspond to orthomodular structures in such a way that states and evaluation functionals are preserved. As semipasted families of Boolean algebras are quite general, they allow an easy construction of orthomodular structures with given state space properties. Based on this technique, we give a simplified proof of Shultz's Theorem on characterization of spaces of finitely additive states on orthomodular lattices. We also put some other results into the new context. We give a detailed exposition of the construction techniques as a tool for further applications, especially for finding counterexamples to questions about states on orthomodular structures.
In the logico-algebraic foundation of quantum mechanics one often deals with the orthomodular lattices (OML) which enjoy state-separating properties of noncompatible pairs (see e.g. [18], [9] and [15]). These properties usually guarantee reasonable “richness” of the state space—an assumption needed in developing the theory of quantum logics. In this note we consider these classes of OMLs from the universal algebra standpoint, showing, as the main result, that these classes form quasivarieties. We also illustrate by examples that these classes may (and need not) be varieties. The results supplement the research carried on in [1], [3], [4], [5], [6], [11], [12], [13] and [16].