The properties of the displaced Fock states mod a,n) identical to d(a,a*) mod n), (a complex numbers, D(a,a*) displacement operators, n=0,1,2,. . .) are systematically investigated with emphasis on the connections to the Heisenberg-Weyl group and to its irreducible representations. The displaced Fock states comprise the coherent states mod a) identical to mod a,0) as well as the Fock states mod n) identical to mod 0,n) as particular cases. An orthocompleteness relation for the displaced Fock states in the form of the area integral of the operators mod a,m)(a,n mod over the complex a-plane is derived. It generalizes for m=n the well known completeness relation for the coherent states and leads for m not=n to identities expressing the overcompleteness of the displaced Fock states. A basic formula is obtained for the convolution of the operators mod a,m)(a,n mod with the class of Gaussian functions that have exponents proportional to aa*. The connection of the displaced Fock states to the transition operators from the density operator for a single boson mode to quasiprobabilities is studied in general form and specified to the class of transition operators with the displaced Fock states as their eigenstates and connected by convolutions with Gaussian functions to the coherent-state quasiprobability, the Wigner quasiprobability, and the Glauber-Sudarshan quasiprobability.
Various quasiprobability distributions have been developed in the past using the Hilbert space of the single-mode light field. The development of a quasiprobability distribution associated with a phase operator has previously been impossible because of the absence of a unique Hermitian phase operator defined on the Hilbert space. Recently, however, Pegg and Barnett [Europhys. Lett. 6, 483 (1988); Phys. Rev. A 39, 1665 (1989)] and Barnett and Pegg [J. Mod. Optics 36, 7 (1989)] introduced a new formalism that does allow the construction of a Hermitian phase operator and associated phase eigenstates. In this paper we develop a quasiprobability distribution associated with the number and phase operators of the single-mode light field in the new formalism. The new distribution, which we call the number-phase Wigner function, has properties analogous to the Wigner function. We also derive the number-phase Wigner representation of number states, phase states, general physical states, coherent states, and the squeezed vacuum. We find this new representation has features that are related to the number and phase properties of states. For example, the number-phase Wigner representation of a number state is nonzero only on a circle, while the representation of a phase state is only nonzero along a radial line.
The existence of positive well-defined quasiprobabilities is known to be related to the measure of nonclassicality for a given field state. We test the coincidence of the loss of well-known nonclassical properties with the appearance of the positive well-defined quasiprobabilities for various fields influenced by phase-insensitive reservoirs. For Gaussian fields the appearance of a positive Glauber-Sudarshan P function coincides with the loss of nonclassical properties in quadrature fluctuations and in photon statistics. We find that when an initial Fock state dissipates or is amplified the initial field loses its nonclassicality in photon statistics before the P function becomes positive, which is different from the Gaussian field. The Wigner function may be positive even when the decaying Fock state is sub-Poissonian. For the amplification of the Fock state, however, the Wigner function is positive only when the field is super-Poissonian. For the dissipation and amplification of the Fock state the point when a certain quasiprobability function becomes positive definite depends only on the average number of photons N of the heat bath. \textcopyright{} 1996 The American Physical Society.
It is shown that, to any quasiprobability distribution corresponding to a given density operator, one can associate a class of positive distributions in an extended space. In situations where the quasiprobability distributions are singular, these distributions are shown to provide regularized versions thereof. The positive distribution introduced by Drummond and Gardiner (1981) in the context of the Glauber-Sudarshan P-representation is shown to arise as a special case. One can thus associate a positive distribution to the Wigner function such that its moments give the averages of Weyl-ordered operators with respect to the given density operator. It is also found that one can associate to the Glauber-Sudarshan P-function, a distribution in the extended space which, though not positive, interestingly, involves the Wigner function (1932). A measurement scheme which directly yields these positive distributions is presented.
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.
We examine the notion of nonclassicality in terms of quasiprobability distributions. In particular, we not only ask if a specific quasiprobability can be interpreted as a classical probability density, but we also require that characteristic features of classical electrodynamics are resembled. We show that the only quasiprobabilities that correctly describe the superposition principle of classical electromagnetic fields are the
s-parametrized quasiprobabilities. Furthermore, the Glauber-Sudarshan
P function is the only quantum-mechanical quasiprobability that is transformed at a classical attenuator in the same way as a classical probability distribution. This result strengthens the definition of nonclassicality in terms of the
P function, in contrast to possible definitions in terms of other quasiprobabilities.