Notions of a Gaussian state and a Gaussian linear map are generalized to the case of anticommuting (Grassmann) variables. Conditions under which a Gaussian map is trace preserving and (or) complete...
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.
Gaussian quantum states of bosonic systems are an important class of states. In particular, they play a key role in quantum optics as all processes generated by Hamiltonians up to second order in the field operators (i.e. linear optics and quadrature squeezing) preserve Gaussianity. A powerful approach to calculations and analysis of Gaussian states is using phase-space variables and symplectic transformations. The purpose of this note is to serve as a concise reference for performing phase-space calculations on Gaussian states. In particular, we list symplectic transformations for commonly used optical operations (displacements, beam splitters, squeezing), and formulae for tracing out modes, treating homodyne measurements, and computing fidelities.
Notions of a Gaussian state and a Gaussian linear map are generalized to the case of anticommuting (Grassmann) variables. Conditions under which a Gaussian map is trace preserving and (or) completely positive are formulated. For any Gaussian map an explicit formula relating correlation matrices of input and output states is presented. This formalism allows to develop the Lagrangian representation for fermionic linear optics (FLO). It covers both unitary operations and the single-mode projectors associated with FLO measurements. Using the Lagrangian representation we reduce a classical simulation of FLO to a computation of Gaussian integrals over Grassmann variables. Explicit formulas describing evolution of a quantum state under FLO operations are put forward.