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
    0 references
    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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references