Hilbert lattice equations (Q625073)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hilbert lattice equations |
scientific article |
Statements
Hilbert lattice equations (English)
0 references
14 February 2011
0 references
Lattices of subspaces of a Hilbert spaces are known to be (only some) orthomodular lattices admitting sets of states (= probability measures) which are \textit{strong}, i.e., \(a\not\leq b \Rightarrow \exists\) state \(m: m(a)=1>m(b)\). It is a long task to find (necessarily infinite) systems of equations which characterize Hilbert lattices. The authors study five systems of equations in orthomodular lattices which hold in Hilbert lattices and induce the existence of strong sets of (possibly vector-valued) states. These systems are taken from previous papers, mainly from [\textit{R. Mayet}, ``Ortholattice equations and Hilbert lattices'', Handbook of quantum logic and quantum structure. Quantum structures. Amsterdam: Elsevier. 525--554 (2007; Zbl 1126.81012)]. Using new powerful computer programs, implications or equivalences are proved between some of these classes. Examples are constructed which prove independence of some sets of equations. Open problems are mentioned, too. The paper is difficult to read because of strange notation -- the authors ignore the arity of operations, etc. Nevertheless, the deep contribution is worth the effort to understand.
0 references
orthomodular lattice
0 references
state
0 references
probability measure
0 references
Hilbert lattice
0 references
equational class
0 references
variety
0 references
strong set of states
0 references
Greechie diagram
0 references