We study continuous variable systems, in which quantum and classical degrees of freedom are combined and treated on the same footing. Thus all systems, including the inputs or outputs to a channel, may be quantum-classical hybrids. This allows a unified treatment of a large variety of quantum operations involving measurements or dependence on classical parameters. The basic variables are given by canonical operators with scalar commutators. Some variables may commute with all others and hence generate a classical subsystem. We systematically study the class of "quasifree" operations, which are characterized equivalently either by an intertwining condition for phase-space translations or by the requirement that, in the Heisenberg picture, Weyl operators are mapped to multiples of Weyl operators. This includes the well-known Gaussian operations, evolutions with quadratic Hamiltonians, and "linear Bosonic channels", but allows for much more general kinds of noise. For example, all states are quasifree. We sketch the analysis of quasifree preparation, measurement, repeated observation, cloning, teleportation, dense coding, the setup for the classical limit, and some aspects of irreversible dynamics, together with the precise salient tradeoffs of uncertainty, error, and disturbance. Although the spaces of observables and states are infinite dimensional for every non-trivial system that we consider, we treat the technicalities related to this in a uniform and conclusive way, providing a calculus that is both easy to use and fully rigorous.
We study continuous variable systems, in which quantum and classical degrees of freedom are combined and treated on the same footing. Thus all systems, including the inputs or outputs to a channel, may be quantum-classical hybrids. This allows a unified treatment of a large variety of quantum operations involving measurements or dependence on classical parameters. The basic variables are given by canonical operators with scalar commutators. Some variables may commute with all others and hence generate a classical subsystem. We systematically study the class of "quasifree" operations, which are characterized equivalently either by an intertwining condition for phase-space translations or by the requirement that, in the Heisenberg picture, Weyl operators are mapped to multiples of Weyl operators. This includes the well-known Gaussian operations, evolutions with quadratic Hamiltonians, and "linear Bosonic channels", but allows for much more general kinds of noise. For example, all states are quasifree. We sketch the analysis of quasifree preparation, measurement, repeated observation, cloning, teleportation, dense coding, the setup for the classical limit, and some aspects of irreversible dynamics, together with the precise salient tradeoffs of uncertainty, error, and disturbance. Although the spaces of observables and states are infinite dimensional for every non-trivial system that we consider, we treat the technicalities related to this in a uniform and conclusive way, providing a calculus that is both easy to use and fully rigorous.
In the case of a quantum-classical hybrid system with a finite number of degrees of freedom, the problem of characterizing the most general dynamical semigroup is solved, under the restriction of being quasi-free. This is a generalization of a Gaussian dynamics, and it is defined by the property of sending (hybrid) Weyl operators into Weyl operators in the Heisenberg description. The result is a quantum generalization of the Lévy–Khintchine formula; Gaussian and jump contributions are included. As a byproduct, the most general quasi-free quantum-dynamical semigroup is obtained; on the classical side the Liouville equation and the Kolmogorov–Fokker–Planck equation are included. As a classical subsystem can be observed, in principle, without perturbing it, information can be extracted from the quantum system, even in continuous time; indeed, the whole construction is related to the theory of quantum measurements in continuous time. While the dynamics is formulated to give the hybrid state at a generic time [Formula: see text], we show how to extract multi-time probabilities and how to connect them to the quantum notions of positive operator-valued measure and instrument. The structure of the generator of the dynamical semigroup is analyzed, in order to understand how to go on to non-quasi-free cases and to understand the possible classical-quantum interactions; in particular, all the interaction terms which allow to extract information from the quantum system necessarily vanish if no dissipation is present in the dynamics of the quantum component. A concrete example is given, showing how a classical component can input noise into a quantum one and how the classical system can extract information on the behavior of the quantum one.
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.
With the exception of references made to optical elements and detection techniques when discussing Gaussian operations and POVMs, and in their applications, the theory developed in this book has been largely presented as an abstract mathematical construction. This chapter intends to liaise our theoretical pictures to the wide world of controllable, coherent quantum systems that share the continuous variable description. Emphasis will be on the emergence of the canonical commutation relations in different contexts and on the introduction of the relevant Hamiltonian descriptions with the understanding that, once the basic formal analogy is established, the approaches and results of the previous chapters will be in principle applicable to the system at hand. Note, as a caveat, that some of the Hamiltonians listed in this chapter are not quadratic, notably those involving optical nonlinearities, superconducting systems and cold atoms, so that the Gaussian theory would not apply to them. In fact, we shall take the opportunity to briefly discuss the more exhaustive control, beyond the Gaussian regime, allowed by nonlinear Hamiltonians. Upon the description of the corresponding degrees of freedom, we will also venture to sketch two well-known proposals for the realisation of hardware for quantum computation, based respectively on optical modes and trapped ions, where quantum continuous variables play a significant role. The aim of this chapter is hence not providing a thorough and exhaustive discussion of each continuous variable system, but rather to grant the reader a degree of awareness on the possibilities offered by the diverse experimental platforms to which the theory applies. Thus, the conceptual elements will typically overshadow the (often very important when applications are concerned!) technical aspects, and glaring simplifications will be adopted. Given the central role played by the optical embodiment of quantum continuous variables, an exception to this cursory treatment has been made for the quantisation of the electromagnetic field, carried out below in detail from the classical theory. This will also present the opportunity to provide a full derivation of the input-output formalism and the associated quantum Langevin equations, which to our knowledge were never previously dealt with at a pedagogical level in the time domain, and to discuss a bag of quantum optical tools, such as the rotating wave approximation, which, although featuring in a number of introductory quantum optics textbooks, find such wide application to deserve a place in any attempt at a self-contained treatment.
This dissertation addresses the problem of constructing true degrees of freedom in quantum mechanical systems with constraints. The method developed relies on assuming the behavior of the system of interest is ``nearly classical', or semiclassical, in a precise quantitative sense. The approximation is formulated as a perturbative hierarchy of the expectation values of quantum observables and their non-linear combinations, such as spreads and correlations. We formulate the constraint conditions and additional quantum gauge transformations that arise directly on the aforementioned quantities. We specialize this framework to several situations of particular interest. The first situation considered is the case of a constraint that commutes with all quantum observables, which is appropriate for quantization of a Lie algebra with a single Casimir polynomial. Through explicit order-by order counting argue that the true degrees of freedom are captured correctly at each order of the approximation. The rest of the models considered are motivated by the canonical approach to quantizing general relativity. The homogeneous sector of general relativity splits into classes of models, according to topology, which are described by a finite number of degrees of freedom and can therefore be quantized as quantum mechanical systems, making our construction directly applicable. In the Hamiltonian formulation the dynamics of these systems is governed by the Hamiltonian constraint, which, in the quantum theory, gives rise to several conceptual and technical issues collectively known as the Problem of Time. One of the aspects of this problem that does not possess a general solution is the dynamical interpretation of the theory. We use our construction, truncated at the leading order in quantum corrections, together with the intuition gained from dealing with constrained systems in classical mechanics, to define local notion of dynamics relative to a chosen configuration clock variable. We consider a class of models, where the chosen clock in not globally valid, eventually leading to singular dynamics. Within these models we construct an explicit transformation between dynamical evolution relative to two distinct clocks, thus providing a consistent local dynamical interpretation of the true degrees of freedom of the quantum theory.
Quantum continuous variable systems are quantum systems obeying the canonical commutation relations. 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. 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 introduces Gaussian states from a somewhat unusual angle: as ground and thermal states of at most second-order Hamiltonians. The treatment highlights the privileged role played by quadratic canonical i.e '., symplectic' transformations in this context, and hinges on the reduction of Gaussian states into their normal modes, which allows for their systematic diagonalisation. It also discusses another equivalent parametrisation of a generic Gaussian state, deriving a more direct rendition of the spectrum of a Gaussian state in terms of observable parameters.
We characterize the hybrid Fourier transform on the Schwartz--Grassmann space $\caS(\bbR^m)\otimesΛ_{2n}$ by operator intertwining relations. Using the bosonic oscillator Howe decomposition and the fermionic Lefschetz decomposition, we describe the action of the hybrid Fourier transform on both tensor factors. We show that first-order covariance with respect to coordinate multiplication and differentiation determines the transform up to a scalar. For m,n≥1, we prove that covariance under all even quadratic operators, together with any one nonzero mixed quadratic operator, determines the linear span of the hybrid Fourier transform and its inverse. This rigidity result is obtained by computing the ordinary commutants of the even and full quadratic oscillator actions of $\fosp(4n|2m)$. After a degree-scaling change of normalization, we make the hybrid Fourier transform unitary with respect to the occupation number inner product, and factor it into a bosonic oscillator rotation and (up to a scalar phase) an SU(2) rotation in the fermionic Lefschetz representation. For m=1 and n≥2, we show that full even quadratic covariance together with the parity-preserving cubic relation for qQf determines the unitary transform up to a global phase and a fermion-parity phase. Finally we calculate the unitary conjugation formulas for Hubbard--Holstein Hamiltonian for a hybrid continuous-variable and discrete-variable quantum system.