Difference posets, effects, and quantum measurements (Q1330119)

The authors recall definitions and basic properties of structures important in quantum theories (such as orthomodular poset, orthoalgebra, set of effects, difference poset) and connections between them. They state when a subset of a difference poset is orthomodular by means of triangle closedness and give several characterizations of observables with a Boolean range. This generalizes results of \textit{P. Lahti} and \textit{M. Maczyński} [J. Math. Phys. 33, 4133-4138 (1992; Zbl 0769.60101)]. They study Boolean powers (bounded, resp.) of difference posets: show that it is a difference poset and investigate properties of the embedding of a difference poset into its Boolean power and the existence and properties of product states on Boolean powers. Since a Boolean power is a special kind of a tensor product, its connection with quantum measurement is discussed.