Abstract

Abstract A well known fact is that there is a finite orthomodular lattice with an order determining set of states which is not order embeddable into the standard quantum logic, the lattice L(𝓗) of all closed subspaces of a separable complex Hilbert space. We show that a finite generalized effect algebra is order embeddable into the standard effect algebra E(𝓗) of effects of a separable complex Hilbert space iff it has an order determining set of generalized states iff it is order embeddable into the power of a finite MV-chain. As an application we obtain an algorithm, which is based on the simplex algorithm, deciding whether such an order embedding exists and, if the answer is positive, constructing it.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call