Delinearization of quantum logic (Q1801519)

The author describes a construction inspired by the Kadison representation theorem. He starts with an orthomodular poset \(L\). Following \textit{H. R. Fischer} and \textit{G. T. Rüttimann} [``The geometry of the state space'', in: Mathematical foundations of quantum theory (A. R. Marlow, ed.), 153-176 (1978)], the space of measures on \(L\) is a base normed space, and \(L\) can be embedded into the unit interval in its predual (which is an order unit space). This unit interval is then represented by functions on the \(w^*\)-closure of the set of pure states. The delinearization mapping is injective and preserves the ordering and relative complements, but it does not preserve joins and meets. In this approach, the images become always compatible, which seems to contradict the nonexistence of hidden variables. The author explains this discrepancy by the fact that quantal sharp observables are not represented by classical sharp observables.