The language of statistical moments and covariance matrices we introduced in the previous chapter offers a compact and efficient formalism to deal with Gaussian states. A much more general approach may be taken to describe any quantum state in a setting which is reminiscent of classical phase space. This is the framework of quantum characteristic functions and quasi-probability distributions, which goes back to seminal work by Wigner on quantum corrections to classical statistical mechanics, and bloomed in the sixties with the rise of theoretical quantum optics and the emergence of a general unifying picture. Conceptually, the phase space description of quantum states hinges on the completeness of the set of displacement operators, which we shall prove in the form of the Fourier–Weyl relation between density matrices and characteristic functions. This relationship will constitute the bridge between phase space and Hilbert space descriptions, which will be useful in several applications in the context of quantum information. It will be convenient to handle most of the proofs and mathematical arguments concerning characteristic functions and quasi-probability distributions on a single mode of the system. Because displacement operators of multimode systems are just tensor products of local displacement operators, the extension of the formalism to systems with many degrees of freedom will be straightforward. Nevertheless, we shall always take care of explicitly linking the single-mode formulae which will appear in this chapter to the general multimode description adopted in the previous one.
The language of statistical moments and covariance matrices we introduced in the previous chapter offers a compact and efficient formalism to deal with Gaussian states. A much more general approach may be taken to describe any quantum state in a setting which is reminiscent of classical phase space. This is the framework of quantum characteristic functions and quasi-probability distributions, which goes back to seminal work by Wigner on quantum corrections to classical statistical mechanics, and bloomed in the sixties with the rise of theoretical quantum optics and the emergence of a general unifying picture. Conceptually, the phase space description of quantum states hinges on the completeness of the set of displacement operators, which we shall prove in the form of the Fourier–Weyl relation between density matrices and characteristic functions. This relationship will constitute the bridge between phase space and Hilbert space descriptions, which will be useful in several applications in the context of quantum information. It will be convenient to handle most of the proofs and mathematical arguments concerning characteristic functions and quasi-probability distributions on a single mode of the system. Because displacement operators of multimode systems are just tensor products of local displacement operators, the extension of the formalism to systems with many degrees of freedom will be straightforward. Nevertheless, we shall always take care of explicitly linking the single-mode formulae which will appear in this chapter to the general multimode description adopted in the previous one.
Abstract In this chapter we collect a number of key elements of quantum optics relevant for quantum information theory. We begin by discussing the quantization of the electromagnetic field in terms of harmonic oscillators with ladder operators and the corresponding Fock space. Based on this description we introduce Glauber’s coherent states and examine their properties as proper quantum analogues of the classical harmonic oscillator. We then study the description of states of light in a quantum-mechanical phase space by employing quasi-probability distributions such as the Wigner function. With these tools at hand we then focus on the family of Gaussian states and their compact description in terms of covariance matrices and vectors of first moments. We review the formalism of Gaussian operations, symplectic operations, the Williamson normal form, and the Bloch-Messiah decomposition. Finally, we take a look at entanglement of Gaussian states.
Since the very early days of quantum theory there have been numerous attempts to interpret quantum mechanics as a statistical theory. This is equivalent to describing quantum states and ensembles together with their dynamics entirely in terms of phase-space distributions. Finite dimensional systems have historically been an issue. In recent works [Phys. Rev. Lett. 117, 180401 (2016) and Phys. Rev. A 96, 022117 (2017)] we presented a framework for representing any quantum state as a complete continuous Wigner function. Here we extend this work to its partner function---the Weyl function. In doing so we complete the phase-space formulation of quantum mechanics---extending work by Wigner, Weyl, Moyal, and others to any quantum system. This work is structured in three parts. First we provide a brief modernized discussion of the general framework of phase-space quantum mechanics. We extend previous work and show how this leads to a framework that can describe any system in phase space---putting it for the first time on a truly equal footing to Schr\"odinger's and Heisenberg's formulation of quantum mechanics. Importantly, we do this in a way that respects the unifying principles of ``parity'' and ``displacement'' in a natural broadening of previously developed phase-space concepts and methods. Secondly we consider how this framework is realized for different quantum systems; in particular we consider the proper construction of Weyl functions for some example finite dimensional systems. Finally we relate the Wigner and Weyl distributions to statistical properties of any quantum system or set of systems.
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.
Quantum continuous variable systems are quantum systems obeying the canonical commutation relations. As we have seen in the previous chapter, such systems always require the adoption of infinite-dimensional Hilbert spaces, even when a finite number of degrees of freedom is considered. Besides making their dynamics potentially intractable, this fact also implies that the study of properties related to the information and correlation content of continuous variable systems turns out to be particularly difficult. A widely known way to make continuous variable systems more tractable is to consider the restriction to Gaussian states. Already well trodden in older research on quantum optics, the study of Gaussian systems has more recently become a central theme of continuous variable quantum information. If open quantum systems, coupled to an external environment, are considered, the Gaussian regime applies when the system couples linearly to its environment and when system and environment are governed by Hamiltonians which are at most quadratic in the canonical operators (or, equivalently, when the overall Hamiltonian of system and environment is at most quadratic). These conditions may seem rather restrictive but, as we shall point out in the course of the book, are actually ordinarily met by a vast number of existing experimental set-ups in the areas of quantum optics, trapped ions, optomechanics, atomic ensembles and certain superconducting degrees of freedom (all of these platforms are reviewed in Chapter 9 ). What we will refer to as Gaussian measurements – POVMs that preserve the Gaussian character of initial states – are also customarily carried out with comparatively high efficiency, while the description of quantum noise can be incorporated seamlessly into the Gaussian picture. What is perhaps even more important to note is that the restriction to the Gaussian realm, while not exhaustive of the full wealth of dynamics and situations allowed in the whole Hilbert space, still lets one include most of the processes relevant to quantum technologies. Squeezing, whereby certain canonical quadratures have uncertainties below the vacuum state noise, and can hence be used in precision measurements, quantum entanglement, and cooling, where the entropy is drained out of a system in order to reach a pure quantum state and thus initialise information protocols or low noise experiments, may all be described within the Gaussian regime. Within the quantum information discourse, the Gaussian restriction has been often criticised on the grounds that no real genuinely quantum effects can ever be observed without leaving it at some point, since the statistics obtained from Gaussian states through Gaussian measurements can be reproduced by classical probability distributions. While technically correct, the reader should be reminded that such critiques often disregard the fact that the object described by a Gaussian state does entail a genuinely quantum description in a Hilbert space. Hence, for instance, the preparation of a pure Gaussian quantum state is the preparation of a pure vector of the Hilbert space. Likewise, a highly squeezed Gaussian state prepared for a metrological protocol is a state with very low noise in a certain physical observable, regardless of whether it can be mimicked by a classical distribution or not. The testing and exploitation of quantum non-locality (stronger than classical correlations that imply the presence of quantum entanglement) with Gaussian states does instead require a departure from Gaussian measurements. However, as we will see, certain non-Gaussian measurements are customarily implemented with current technology, and it is hence still relevant to study in detail the creation of such a resource for Gaussian states. This chapter will introduce Gaussian states from a somewhat unusual angle: as ground and thermal states of at most second-order Hamiltonians. Our treatment will highlight the privileged role played by quadratic canonical ( i.e. , ‘symplectic’) transformations in this context, which we will take care to describe in full generality, and will hinge on the reduction of Gaussian states into their normal modes, which allows for their systematic diagonalisation. We will then proceed to explore an equivalent characterisation in terms of statistical moments of the canonical operators, and to introduce the implications of non-commutativity on such statistics in the form of the Robertson–Schrödinger uncertainty relation.
Abstract Phase spaces as given by the Wigner distribution function provide a natural description of infinite-dimensional quantum systems. They are an important tool in quantum optics and have been widely applied in the context of time–frequency analysis and pseudo-differential operators. Phase-space distribution functions are usually specified via integral transformations or convolutions which can be averted and subsumed by (displaced) parity operators proposed in this work. Building on earlier work for Wigner distribution functions (Grossmann in Commun Math Phys 48(3):191–194, 1976. https://doi.org/10.1007/BF01617867 ), parity operators give rise to a general class of distribution functions in the form of quantum-mechanical expectation values. This enables us to precisely characterize the mathematical existence of general phase-space distribution functions. We then relate these distribution functions to the so-called Cohen class (Cohen in J Math Phys 7(5):781–786, 1966. https://doi.org/10.1063/1.1931206 ) and recover various quantization schemes and distribution functions from the literature. The parity operator approach is also applied to the Born–Jordan distribution which originates from the Born–Jordan quantization (Born and Jordan in Z Phys 34(1):858–888, 1925. https://doi.org/10.1007/BF01328531 ). The corresponding parity operator is written as a weighted average of both displacements and squeezing operators, and we determine its generalized spectral decomposition. This leads to an efficient computation of the Born–Jordan parity operator in the number-state basis, and example quantum states reveal unique features of the Born–Jordan distribution.
Gaussian operations, as one usually refers to CP-maps that send Gaussian states to Gaussian states, are apt to model a wide range of situations of practical interest and may often be controlled and applied on demand in the laboratory, in a variety of set-ups (that will be the subject matter of Chapter 9 ). Furthermore, they can be classified in a hierarchy of compact, powerful and far-reaching theoretical descriptions, which will be introduced by degrees and discussed in the current chapter. Note that here we are dealing with discrete quantum operations, rather than dynamical equations, which will be dealt with in the next chapter. We shall start from Gaussian unitary operations, corresponding to the symplectic group already introduced in Chapter 3 , and will also clarify how other basic manipulations such as tensoring and partial tracing carry over to the Gaussian picture. Then, we shall broaden our view to include all deterministic (trace-preserving) maps resulting from Gaussian unitary dilations, which are often known as the set of ‘bosonic Gaussian channels’ and encompass open dynamics subject to noise and ‘decoherence’ (the loss of quantum coherence due to the interaction with an environment). Next, we will move on to consider POVMs corresponding to the well-known homodyne and heterodyne detection schemes which, when acting on a subsystem, preserve the Gaussian character of the initial state both when the system is filtered by recording the measurement outcomes, and when acting unconditionally (that is, when the outcome of the measurement is not recorded). Our description will be further enlarged to the wider class of ‘general-dyne’ detections, and we will also introduce methods to account for imperfect detections. The ability to accommodate noise in the analytical description, often daunting with discrete variable and, more generally, outside the Gaussian regime, is probably one of the greatest strengths of the formalism under discussion. Finally, we shall introduce the Gaussian version of the Choi–Jamiolkowski isomorphism, and attain a unified description of all the Gaussian maps previously defined. Throughout our exposition, we will refer to quantum optical systems to exemplify the practical relevance of the operations encountered.