The problem of expanding a density operator $\ensuremath{\rho}$ in forms that simplify the evaluation of important classes of quantum-mechanical expectation values is studied. The weight function $P(\ensuremath{\alpha})$ of the
P representation, the Wigner distribution $W(\ensuremath{\alpha})$, and the function $〈\ensuremath{\alpha}|\ensuremath{\rho}|\ensuremath{\alpha}〉$, where $|\ensuremath{\alpha}〉$ is a coherent state, are discussed from a unified point of view. Each of these quasiprobability distributions is examined as the expectation value of a Hermitian operator, as the weight function of an integral representation for the density operator and as the function associated with the density operator by one of the operator-function correspondences defined in the preceding paper. The weight function $P(\ensuremath{\alpha})$ of the
P representation is shown to be the expectation value of a Hermitian operator all of whose eigenvalues are infinite. The existence of the function $P(\ensuremath{\alpha})$ as an infinitely differentiable function is found to be equivalent to the existence of a well-defined antinormally ordered series expansion for the density operator in powers of the annihilation and creation operators
a and ${a}^{\ifmmode\dagger\else\textdagger\fi{}}$. The Wigner distribution $W(\ensuremath{\alpha})$ is shown to be a continuous, uniformly bounded, square-integrable weight function for an integral expansion of the density operator and to be the function associated with the symmetrically ordered power-series expansion of the density operator. The function $〈\ensuremath{\alpha}|\ensuremath{\rho}|\ensuremath{\alpha}〉$, which is infinitely differentiable, corresponds to the normally ordered form of the density operator. Its use as a weight function in an integral expansion of the density operator is shown to involve singularities that are closely related to those which occur in the
P representation. A parametrized integral expansion of the density operator is introduced in which the weight function $W(\ensuremath{\alpha},s)$ may be identified with the weight function $P(\ensuremath{\alpha})$ of the
P representation, with the Wigner distribution $W(\ensuremath{\alpha})$, and with the function $〈\ensuremath{\alpha}|\ensuremath{\rho}|\ensuremath{\alpha}〉$ when the order parameter
s assumes the values $s=+1, 0, \ensuremath{-}1$, respectively. The function $W(\ensuremath{\alpha},s)$ is shown to be the expectation value of the ordered operator analog of the $\ensuremath{\delta}$ function defined in the preceding paper. This operator is in the trace class for
Res<0, has bounded eigenvalues for
Res=0, and has infinite eigenvalues for
s=1. Marked changes in the properties of the quasiprobability distribution $W(\ensuremath{\alpha},s)$ are exhibited as the order parameter
s is varied continuously from $s=\ensuremath{-}1$, corresponding to the function $〈\ensuremath{\alpha}|\ensuremath{\rho}|\ensuremath{\alpha}〉$, to
s=+1, corresponding to the function $P(\ensuremath{\alpha})$. Methods for constructing these functions and for using them to compute expectation values are presented and illustrated with several examples. One of these examples leads to a physical characterization of the density operators for which the
P representation is appropriate.
The coherent-state
P representation for the density operator of the electromagnetic field is studied for the case in which the density operator represents a pure state, $\ensuremath{\rho}=|\ensuremath{\psi}〉〈\ensuremath{\psi}|$. An exact and complete characterization is given of the states for which the
P representation exists with a weight function $P(\ensuremath{\alpha})$ that is a tempered distribution. These states $|\ensuremath{\phi}〉$ form an exceedingly narrow class: each may be generated from a particular coherent state $|\ensuremath{\alpha}〉$ by the application of a finite number of creation operators, i.e., $|\ensuremath{\phi}〉=[{c}_{0}+{c}_{1}a\ifmmode\dagger\else\textdagger\fi{}+\ensuremath{\cdots}+{c}_{n}{(a\ifmmode\dagger\else\textdagger\fi{})}^{n}]|\ensuremath{\alpha}〉$, where $\ensuremath{\alpha}$ and the
cn are arbitrary complex numbers. For them the weight function $P(\ensuremath{\alpha})$ is a linear combination of the two-dimensional delta function and a finite number of its derivatives. For other pure states, the function $P(\ensuremath{\alpha})$ has singularities that are not compatible with the form of the
P representation.
The "diagonal"
P representation of the photon density operator in terms of the coherent states of the radiation field is studied. It is shown that the class of weight functions $P(\ensuremath{\alpha})$ required to represent all density operators by means of the
P representation is much larger than the class of all probability distributions and that therefore the analogy linking the use of the
P representation with certain classical stochastic techniques is useful only for a limited class of density operators. The class of density operators for which the
P representation is appropriate is shown to be limited in the sense that there are density operators that require weight functions so singular as to lie outside the class of all tempered distributions. Conditions on the weight function $P(\ensuremath{\alpha})$ under which the expectation values of the normal ordered operators ${({a}^{\ifmmode\dagger\else\textdagger\fi{}})}^{n}{a}^{m}$ assume a particularly simple integral form are presented. It is shown that if $P(\ensuremath{\alpha})$ is a tempered distribution, then these expectation values are given by a simple limiting process. A limited correspondence with classical optics is suggested by a formula for these expectation values. Conditions that a density operator must satisfy if its weight function is to be non-negative are presented and are shown to exclude all pure states except the coherent states themselves. The problem of representing an arbitrary operator in terms of the coherent states is studied. New measures of the completeness of the coherent states are established.
it is shown that for a certain class of density operators of radiation, $\stackrel{^}{\ensuremath{\rho}}=\ensuremath{\int}{d}^{2}\ensuremath{\alpha}{P}_{A}(\ensuremath{\alpha})|\ensuremath{\alpha}〉〈\ensuremath{\alpha}|+\ensuremath{\int}{d}^{2}\ensuremath{\alpha}{P}_{B}(\ensuremath{\alpha})|\ensuremath{-}\ensuremath{\alpha}〉〈\ensuremath{\alpha}|+\ensuremath{\Sigma}{n}^{}\ensuremath{\int}\mathrm{dx}\mathrm{dy}{P}_{{C}_{n}}(x,y)|(x\ensuremath{-}y){e}^{i{\ensuremath{\theta}}_{n}}〉〈(x+y){e}^{i{\ensuremath{\theta}}_{n}}|$ is a convenient representation involving only nonsingular weight functions.
In Chapter 4, we introduced the concept of the photon number representation of the electromagnetic (EM) field that is based on the number states, the eigenstates of the Hamiltonian of the EM field. However, this is not the only possible representation, in fact not always the most convenient. In this chapter, we introduce the concept of phase space representations of a quantum system which is in a state described by the density operator ρˆ. The density operator of a given system encodes classical as well as non-classical (quantum) properties of the system. How to distinguish these two kinds of properties is of basic importance in quantum optics. Therefore, we shall address this issue by using representations of the density operator that are based on the parametric space of complex eigenvalues of the annihilation operator aˆ in a coherent state |α〉. We first determine what we mean by the density operator of a quantum system and discuss its basic properties. Next, we introduce different representations of the density operator in terms of coherent state projectors |α〉〈α|. The representations show that a state of the EM field or of an arbitrary quantum system may be regarded as a mixture of coherent states. Along the way, we will learn how to find the P , Q and Wigner representations of the density operator, what are their properties, how to interpret the properties and how to calculate relations between the different representations. Most importantly, certain field states exhibit non- classical features and these non-classical features can be manifested in the phase space representations. Accordingly, we will learn how the representations are very convenient tools to describe quantum states of simple systems.