States in classical mechanics are probability measures, and their Fourier transforms are continuous functions of positive type. States in the phase-space formulation of quantum mechanics are Wigner distribution functions, and their (symplectic) Fourier transforms have been characterized by Kastler [Commun. Math. Phys. 1, 14 (1965)] and Loupias and Miracle-Sole [Commun. Math. Phys. 2, 31 (1966); Ann. Insto. H. Poincaré 6, 39 (1967)] as being continuous functions of ‘‘ℏ-positive type.’’ In this paper, (Schwartz) distributions of ℏ-positive type, are defined and studied. It is shown that if such distributions are bounded on a certain sequence of test functions, then they are symplectic Fourier transforms of Wigner distribution functions. These results, are applied to a variety of problems ranging from ones involving the quantum Liouville equation to a problem in signal analysis.
States in classical mechanics are probability measures, and their Fourier transforms are continuous functions of positive type. States in the phase-space formulation of quantum mechanics are Wigner distribution functions, and their (symplectic) Fourier transforms have been characterized by Kastler [Commun. Math. Phys. 1, 14 (1965)] and Loupias and Miracle-Sole [Commun. Math. Phys. 2, 31 (1966); Ann. Insto. H. Poincaré 6, 39 (1967)] as being continuous functions of ‘‘ℏ-positive type.’’ In this paper, (Schwartz) distributions of ℏ-positive type, are defined and studied. It is shown that if such distributions are bounded on a certain sequence of test functions, then they are symplectic Fourier transforms of Wigner distribution functions. These results, are applied to a variety of problems ranging from ones involving the quantum Liouville equation to a problem in signal analysis.
A function of positive type can be defined as a positive functional on a convolution algebra of a locally compact group. In the case where the group is abelian, by Bochner's theorem a function of positive type is, up to normalization, the Fourier transform of a probability measure. Therefore, considering the group of translations on phase space, a suitably normalized phase-space function of positive type can be regarded as a realization of a classical state. Thus, it may be called a function of classical positive type . Replacing the ordinary convolution on phase space with the twisted convolution, one obtains a noncommutative algebra of functions whose positive functionals we may call functions of quantum positive type . In fact, by a quantum version of Bochner's theorem, a continuous function of quantum positive type is, up to normalization, the (symplectic) Fourier transform of a Wigner quasi-probability distribution; hence, it can be regarded as a phase-space realization of a quantum state. Playing with functions of positive type—classical and quantum—one is led in a natural way to consider a class of semigroups of operators, the classical-quantum semigroups . The physical meaning of these mathematical objects is unveiled via quantization, so obtaining a class of quantum dynamical semigroups that, borrowing terminology from quantum information science, may be called classical-noise semigroups .
Functions of positive type on locally compact abelian groups can be defined as positive functionals on group algebras, and play a remarkable role in probability theory and in classical statistical mechanics. By Bochner's celebrated theorem, indeed, they are Fourier-Stieltjes transforms of finite positive measures. Hence, a properly normalized nonzero function of positive type on (the group of translations on) phase space provides a realization of a classical state, so it may be called a function of classical positive type. A similar result holds in the quantum setting as well, where a generalized kind of functions of positive type on phase space — the so-called functions of quantum positive type — are related, via the Fourier-Plancherel transform, to the Wigner quasi-probability distributions. In this paper, we will argue that, as in the classical setting, the notion of function of quantum positive type is of a group-theoretical nature. Exploiting an interesting interplay between functions of classical and quantum positive type, we will then provide an interesting characterization of a class of semi-groups of operators that describe the evolution of certain open quantum systems which are of interest in quantum information science. Finally, a suitable extension of this framework to generalized phase spaces that are relevant for current applications will be proposed.
An intriguing and deep analogy between classical and quantum states is revealed using the notion of positive definite function. By Bochner's theorem, (classical) positive definite functions on phase space can be obtained by taking the Fourier transform of probability measures; similarly, quantum positive definite functions are the image via the Fourier-Plancherel operator of Wigner quasi-probability distributions. Considering the basic properties of positive definite functions — classical and quantum — one is led to define a class of semigroups of operators, the so-called classical-quantum semigroups. It is then natural to wonder whether they have any physical meaning. It turns out that the classical-quantum semigroups can also be obtained by dequantizing a certain class of quantum dynamical semigroups, namely, the classical noise semigroups. This correspondence fits in a more general group-theoretical framework in which a larger class of quantum dynamical semigroups, the twirling semigroups, can be suitably dequantized. Connections with quantum information science will be briefly discussed.
Correct use of the Wigner representation of quantum mechanics, which is realized with joint distributions of quasiprobabilities in phase space, requires the use of certain specific rules and attention to a number of properties which distinguish the quasiprobability from a true probability. This paper is mainly concerned with these problems. In the Wigner representation the quantum Liouville equation appears instead of the Schroedinger equation. The solution may have no physical meaning unless it is subjected to a necessary and sufficient condition which selects an allowed class of distributions which describe quantum-mechanical pure states. This condition contains Planck's constant and imposes, besides the uncertainty relations, severe restrictions on the possible form of the Wigner function. When this condition is satisfied, one can reconstruct the wave function from the Wigner function. In the case of an oscillator, the quantization condition for the energies of the stationary states does not follow from the Liouville equation, but from this supplementary condition. Unlike the true probability density, any Wigner function (except Gaussian ones) of a pure state takes on negative values. Another important peculiarity is that the quasiprobability is not concentrated on certain hypersurfaces, but is smeared out over the entire phase space. These and other features considered in this paper should be kept in mind when using the Wigner representation in quantum-mechanical problems.
This thesis describes quantum mechanics in the phase space formulation. We introduce quantization and in particular the Weyl quantization. We study a general class of phase space distribution functions on phase space. The Wigner distribution function is one such distribution function. The Wigner distribution function in general attains negative values and thus can not be interpreted as a real probability density, as opposed to for example the Husimi distribution function. The Husimi distribution however does not yield the correct marginal distribution functions known from quantum mechanics. Properties of the Wigner and Husimi distribution function are studied to more extent. We calculate the Wigner and Husimi distribution function for the energy eigenstates of a particle trapped in a box. We then look at the semi classical limit for this example. The time evolution of Wigner functions are studied by making use of the Moyal bracket. The Moyal bracket and the Poisson bracket are compared in the classical limit. The phase space formulation of quantum mechanics has as advantage that classical concepts can be studied and compared to quantum mechanics. For certain quantum mechanical systems the time evolution of Wigner distribution functions becomes equivalent to the classical time evolution stated in the exact Egerov theorem. Another advantage of using Wigner functions is when one is interested in systems involving mixed states. A disadvantage of the phase space formulation is that for most problems it quickly loses its simplicity and becomes hard to calculate.
A classical simulation scheme of quantum computation given a restricted set of states and measurements may be---occasionally, but only occasionally---interpreted naturally as a statistical simulation of positive quasi-probability distributions on a phase space. In this dissertation, we explore phase space representations for finite-dimensional quantum systems and their negativities beyond the usual analogues of the Wigner function. The first line of study focuses on a characterization tool for valid quasi-probability distributions of (possibly mixed) quantum states. A quantum generalization of Bochner's theorem from classical probability theory simultaneously characterizes both the set of valid Wigner functions and the subset of positive ones. We extend this theorem to discrete phase spaces based on projective representations of abelian groups, including the discrete Wigner functions of Gross (J. Math. Phys. 47, 122107 (2006)) and Gibbons et al. (Phys. Rev. A 70, 062101 (2004)). The rest of the dissertation is then dedicated to phase space representations covariant with respect to a general Lie group. This means, in particular, that operators that lie in the same orbit of the group have the same amount of negativity in their quasi-probabilities---a natural requirement if one would like to interpret negativity as non-classicality, and the group action as a classical dynamics. We show that the construction due to Brif and Mann (Phys. Rev. A 59, 971 (1999)) of group covariant phase space representations satisfying the so-called Stratonovich-Weyl correspondence is essentially unique, given the group and an input state in the relevant representation. As an application, we construct quasi-probability representations on a compact phase space of fermionic Gaussian states tailored to a classically simulatable problem of fermionic linear optics and find that, in the first non-trivial case of four fermionic modes, the quasi-probabilities of the Gaussian states exhibit a considerable amount of negativity.