Descriptions of classical mechanics in Hilbert space go back to the work of Koopman and von Neumann in the 1930s. Decades later, van Hove derived a unitary representation of the group of contact transformations which recently has been used to develop a novel formulation of classical mechanics in Hilbert space. This formulation differs from the Koopman-von Neumann theory in many ways. Classical observables are represented by van Hove operators, which satisfy a commutation algebra isomorphic to the Poisson algebra of functions in phase space. Moreover, these operators are both observables and generators of transformations, which makes it unnecessary to introduce unobservable auxiliary operators as in the Koopman-von Neumann theory. In addition, for consistency with classical mechanics, a constraint must be imposed that fixes the phase of the wavefunction. The approach can be extended to hybrid mixed classical-quantum systems in Hilbert space. The formalism is applied to the measurement of a quantum two-level system (qubit) by a classical apparatus.
Reginatto et al. (Tue,) studied this question.