For physical systems with Hamiltonians analytic in the position and momentum operators the diagonal matrix elements of the density operator in the coherent state representation may be considered as a phase-space probability measure in the stochastic formulation of quantum mechanics. The correspondence rule relating quantum-mechanical observables to ordinary functions in phase space is obtained. It is shown that the dynamics of the time-dependent phase-space probability densities is again representable in the form of a stochastic process.
Looking for a quantum-mechanical implementation of duality, we formulate a relation between coherent states and complex-differentiable structures on classical phase space
C. A necessary and sufficient condition for the existence of locally-defined coherent states is the existence of an almost complex structure on
C. A necessary and sufficient condition for globally-defined coherent states is a complex structure on
C. The picture of quantum mechanics that emerges is conceptually close to that of a geometric manifold covered by local coordinate charts. Instead of the latter, quantum mechanics has local coherent states. A change of coordinates on
C may or may not be holomorphic. Correspondingly, a transformation between quantum-mechanical states may or may not preserve coherence. Those that do not preserve coherence are duality transformations. A duality appears as the possibility of giving two or more, apparently different, descriptions of the same quantum-mechanical phenomenon. Coherence becomes a local property on classical phase space. Observers on
C not connected by means of a holomorphic change of coordinates need not, and in general will not, agree on what is a semiclassical effect vs. what is a strong quantum effect
In this paper we try to formulate the Berezin quantization on projective Hilbert space P(H) and use its geometric structure. It will be shown that the star product in Berezin quantiza- tion is equivalent to the Poisson bracket on P(H) and the Berezin method to construction a correspondence between a given classical theory and a given quantum theory is used to define a classical limit for geometric quantum mechanics. the covariant symbols. These symbols are expectation values of the observables in terms of coherent states: the holomorphic functions on classical phase space M that is assumed to be aKmanifold. Berezin (2) showed that the covariant symbols form a ∗-algebra which in limit � → 0l eads to the Poisson algebra between the corresponding classical observables: The functions on the phase space M. In this paper we will see that the Berezin ∗-algebra is in fact a Poisson algebra which is induced by the Fubini-Study 2-form on space of coherent states. This space is defined as follows: coherent states span a dense subspace H of Hilbert space H. P( H), which is denoted by M, is aKmanifold with induced symplectic structure from P(H). Therefore the covariant symbols can be considered as functions on M. It is shown (13) that there exists an embedding mapping between the classical phase space M and M, by which to any point z ∈ M is associated ap ointZ ∈M. With this construction to all of the quantum observables are associated their covariant symbols, which form a Poisson algebra on M and since the corresponding classical observables form a Poisson algebra on M , the Berezin quantization is a systematic procedure to relate these two Poisson algebras. Also the relation of Berezin quantization and geometric for- mulation of quantum mechanics will be evident as follows. The geometric quantum mechanics is a formulation of quantum mechanics in projective Hilbert spaces. With our construction one sees that the Berezin quantization is an equivalent formulation and in addition gives a prescription as classical limit for geometric quantum mechanics (9).