Gaussian operations, as one usually refers to CP-maps that send Gaussian states into 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. This chapter starts from start from Gaussian unitary operations, corresponding to the symplectic group, and moves on to clarify how other basic manipulations such as tensoring and partial tracing carry over to the Gaussian picture. Then, it includes all deterministic (trace-preserving) maps resulting from Gaussian unitary dilations, which are often known as the set of "bosonic Gaussian channels" and encompasses the open dynamics subject to noise and 'decoherence'. Next, the chapter considers POVMs corresponding to the well-known homodyne and heterodyne detection schemes. Finally, it introduces the Gaussian version of the Choi-Jamiolkowski isomorphism, and attains a unified description of all the Gaussian maps.
Gaussian operations, as one usually refers to CP-maps that send Gaussian states into 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. This chapter starts from start from Gaussian unitary operations, corresponding to the symplectic group, and moves on to clarify how other basic manipulations such as tensoring and partial tracing carry over to the Gaussian picture. Then, it includes all deterministic (trace-preserving) maps resulting from Gaussian unitary dilations, which are often known as the set of "bosonic Gaussian channels" and encompasses the open dynamics subject to noise and 'decoherence'. Next, the chapter considers POVMs corresponding to the well-known homodyne and heterodyne detection schemes. Finally, it introduces the Gaussian version of the Choi-Jamiolkowski isomorphism, and attains a unified description of all the Gaussian maps.
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.
The rise of quantum technology has put control at the centre of advancements in quantum mechanics. The union of quantum mechanics with mathematical control theory is a meeting that is leading to a much deeper insight into our interaction with the bizarre properties of quantum theory. Often, the study of discrete variable systems is the focus for making this union. Here, we look at how control theory may be applied to the continuous variable theory of Gaussian states. Special emphasis is given to control of the covariance matrix of these states, as it is here that we find the entanglement and entropic properties of the state. We begin by exploring some initial results for the geometry of Gaussian states, revealing different manifold structures dependent on symplectic eigenvalue degeneracy. In this geometrical setting a proposal for an extension of Williamson's theorem is put forward and partially completed. It is often interesting to look at restricted sets of Hamiltonians and ask what transformations can be performed with concatenations of their corresponding unitaries. Controllable systems are those for which the entire group of interest is possible to enact. We explore an uncontrollable system in a single mode and give a physical analysis as to why it behaves this way. This leads to ideas to move forwards for a necessary and sufficient condition for control on the symplectic group that has been conjectured since 1972. Later, we transfer to the question of open dynamics. We focus on a particular and ubiquitous channel known as 'lossy' or 'the attenuation channel'. An equation is derived describing the evolution for the symplectic invariants of a Gaussian state undergoing such dynamics. The equation of the former chapter is used to explore the evolution of entropy and entanglement. Optimal protocols are developed for the manipulation of these properties undergoing lossy dynamics.
The processing of information based on the generation of common quantum optical states (e.g. coherent states) and the measurement of the quadrature components of the light field (e.g. homodyne detection) is often referred to as continuous-variable quantum information processing. It is a very fertile field of investigation, at a crossroads between quantum optics and information theory, with notable successes such as unconditional continuous-variable quantum teleportation or Gaussian quantum key distribution. In quantum optics, the states of the light field are conveniently characterized using a phase-space representation (e.g. Wigner function), and the common optical components effect simple affine transformations in phase space (e.g. rotations). In quantum information theory, one often needs to determine entropic characteristics of quantum states and operations, since the von Neuman entropy is the quantity at the heart of entanglement measures or channel capacities. Computing entropies of quantum optical states requires instead turning to a state-space representation of the light field, which formally is the Fock space of a bosonic mode. This interplay between phase-space and state-space representations does not represent a particular problem as long as Gaussian states (e.g. coherent, squeezed, or thermal states) and Gaussian operations (e.g. beam splitters or squeezers) are concerned. Indeed, Gaussian states are fully characterized by the first- and second-order moments of mode operators, while Gaussian operations are defined via their actions on these moments. The so-called symplectic formalism can be used to treat all Gaussian transformations on Gaussian states, including mixed states of an arbitrary number of modes, and the entropies of Gaussian states are directly linked to their symplectic eigenvalues. This thesis is concerned with the Gaussian transformations applied onto arbitrary states of light, in which case the symplectic formalism is unapplicable and this phase-to-state space interplay becomes highly non trivial. A first motivation to consider arbitrary (non-Gaussian) states of light results from various Gaussian no-go theorems in continuous-variable quantum information theory. For instance, universal quantum computing, quantum entanglement concentration, or quantum error correction are known to be impossible when restricted to the Gaussian realm. A second motivation comes from the fact that several fundamental quantities, such as the entanglement of formation of a Gaussian state or the communication capacity of a Gaussian channel, rely on an optimization over all states, including non-Gaussian states even though the considered state or channel is Gaussian. This thesis is therefore devoted to developing new tools in order to compute state-space properties (e.g. entropies) of transformations defined in phase-space or conversely to computing phase-space properties (e.g. mean-field amplitudes) of transformations defined in state space. Remarkably, even some basic questions such as the entanglement generation of optical squeezers or beam splitters were unsolved, which gave us a nice work-bench to investigate this interplay. In the first part of this thesis (Chapter 3), we considered a recently discovered Gaussian probabilistic transformation called the noiseless optical amplifier. More specifically, this is a process enabling the amplification of a quantum state without introducing noise. As it has long been known, when amplifing a quantum signal, the arising of noise is inevitable due to the unitary evolution that governs quantum mechanics. It was recently realized, however, that one can drop the unitarity of the amplification procedure and trade it for a noiseless, albeit probabilistic (heralded) transformation. The fact that the transformation is probabilistic is mathematically reflected in the fact that it is non trace-preserving. This quantum device has gained much interest during the last years because it can be used to compensate losses in a quantum channel, for entanglement distillation, probabilistic quantum cloning, or quantum error correction. Several experimental demonstrations of this device have already been carried out. Our contribution to this topic has been to derive the action of this device on squeezed states and to prove that it acts quite surprisingly as a universal (phase-insensitive) optical squeezer, conserving the signal-to-noise ratio just as a phase-sensitive optical amplifier but for all quadratures at the same time. This also brought into surface a paradoxical effect, namely that such a device could seemingly lead to instantaneous signaling by circumventing the quantum no-cloning theorem. This paradox was discussed and resolved in our work. In a second step, the action of the noiseless optical amplifier and it dual operation (i.e. heralded noiseless attenuator) on non-Gaussian states has been examined. We have observed that the mean-field amplitude may decrease in the process of noiseless amplification (or may increase in the process of noiseless attenuation), a very counterintuitive effect that Gaussian states cannot exhibit. This work illustrates the above-mentioned phase-to-state space interplay since these devices are defined as simple filtering operations in state space but inferring their action on phase-space quantities such as the mean-field amplitude is not straightforward. It also illustrates the difficulty of dealing with non-Gaussian states in Gaussian transformations (these noiseless devices are probabilistic but Gaussian). Furthermore, we have exhibited an experimental proposal that could be used to test this counterintuitive feature. The proposed set-up is feasible with current technology and robust against usual inefficiencies that occur in optical experiment. Noiseless amplification and attenuation represent new important tools, which may offer interesting perspectives in quantum optical communications. Therefore, further understanding of these transformations is both of fundamental interest and important for the development and analysis of protocols exploiting these tools. Our work provides a better understanding of these transformations and reveals that the intuition based on ordinary (deterministic phase-insensitive) amplifiers and losses is not always applicable to the noiseless amplifiers and attenuators. In the last part of this thesis, we have considered the entropic characterization of some of the most fundamental Gaussian transformations in quantum optics, namely a beam splitter and two-mode squeezer. A beam splitter effects a simple rotation in phase space, while a two-mode squeezer produces a Bogoliubov transformation. Thus, there is a well-known phase-space characterization in terms of symplectic transformations, but the difficulty originates from that one must return to state space in order to access quantum entropies or entanglement. This is again a hard problem, linked to the above-mentioned interplay in the reverse direction this time. As soon as non-Gaussian states are concerned, there is no way of calculating the entropy produced by such Gaussian transformations. We have investigated two novel tools in order to treat non-Gaussian states under Gaussian transformations, namely majorization theory and the replica method. In Chapter 4, we have started by analyzing the entanglement generated by a beam splitter that is fed with a photon-number state, and have shown that the entanglement monotones can be neatly combined with majorization theory in this context. Majorization theory provides a preorder relation between bipartite pure quantum states, and gives a necessary and sufficient condition for the existence of a deterministic LOCC (local operations and classical communication) transformation from one state to another. We have shown that the state resulting from n photons impinging on a beam splitter majorizes the corresponding state with any larger photon number n’ > n, implying that the entanglement monotonically grows with n, as expected. In contrast, we have proven that such a seemingly simple optical component may have a rather surprising behavior when it comes to majorization theory: it does not necessarily lead to states that obey a majorization relation if one varies the transmittance (moving towards a balanced beam splitter). These results are significant for entanglement manipulation, giving rise in particular to a catalysis effect. Moving forward, in Chapter 5, we took the step of introducing the replica method in quantum optics, with the goal of achieving an entropic characterization of general Gaussian operations on a bosonic quantum field. The replica method, a tool borrowed from statistical physics, can also be used to calculate the von Neumann entropy and is the last line of defense when the usual definition is not practical, which is often the case in quantum optics since the definition involves calculating the eigenvalues of some (infinite-dimensional) density matrix. With this method, the entropy produced by a two-mode squeezer (or parametric optical amplifier) with non-trivial input states has been studied. As an application, we have determined the entropy generated by amplifying a binary superposition of the vacuum and an arbitrary Fock state, which yields a surprisingly simple, yet unknown analytical expression. Finally, we have turned to the replica method in the context of field theory, and have examined the behavior of a bosonic field with finite temperature when the temperature decreases. To this end, information theoretical tools were used, such as the geometric entropy and the mutual information, and interesting connection between phase transitions and informational quantities were found. More specifically, dividing the field in two spatial regions and calculating the mutual information between these two regions, it turns out that the mutual information is non-differentiable exactly at the critic
Abstract In this chapter we visit the ‘church of the larger Hilbert space’: we take a closer look at the relationship of pure and mixed quantum states via purification, and discuss a similar connection between completely positive and trace-preserving (CPTP) maps and unitary dynamics on a larger Hilbert space. We show that such CPTP maps, which represent quantum channels, are equivalent to operations admitting a Kraus decomposition, as well as to unitary dynamics on a larger Hilbert space with factoring initial condition, the famous Stinespring dilation of quantum operations. In this context we introduce the Choi-Jamiołkowski isomorphism, which expresses a duality between maps between two Hilbert spaces and states on tensor products of these Hilbert spaces, and we review several important examples of quantum channels such as the dephasing channel, amplitude-damping channel, and depolarizing channel. Finally, we examine operations that are not possible in quantum theory, focusing on the no-cloning theorem.
In the last chapter, we dealt with the wide class of physical operations that preserve the Gaussian character of the initial state, treating them as discrete transformations. Here, we describe what could loosely be considered the continuous-time version of such transformations. This chapter is intended to provide the reader with the tools to describe a wide range of notable quantum dynamics, with a very broad applicative scope. After a note on the action of linear and quadratic Hamiltonians, whose description follows directly from the theory of Gaussian states presented in Chapter 3 but was not explicitly clarified so far, we shall address systems linearly coupled to a reservoir of modes that are delta-correlated in time (a situation commonly referred to as ‘white noise’), and thus give rise to Markovian dynamics which we shall refer to as ‘diffusive’ for reasons that will be made clear in due time. Our story will commence with a derivation of the Gaussian dynamics resulting from such an environmental coupling, in the form of dynamical equations for the first and second statistical moments. Besides their interest per se , the latter will be instrumental in obtaining an unconventional derivation of the master equations that govern general, not necessarily Gaussian, quantum states under the same conditions. The corresponding quantum Langevin equations for the canonical operators in the Heisenberg picture will also be derived. Next, we will turn our attention to the study of the system's dynamics that result from the measurement of the environment. This is a topic with a longstanding tradition in quantum mechanics, grounded in the formalism of quantum stochastic calculus that emerged within the mathematical physics community as early as the seventies, and then re-introduced as the quantum trajectories approach in quantum optics almost twenty years later. The ‘weak’ POVMs resulting from observing a weakly coupled environment (as opposed to ‘strong’, projective measurements), carried out continuously in time (a prescription customarily subsumed by the term ‘monitoring’), leads to a stochastic dynamics for the system, where the randomness of the measurement outcomes is compactly and most elegantly represented by infinitesimal stochastic increments, giving rise to continuous but not differentiable quantum dynamics. Existing approaches to this subject tend to be quite impervious to the uninitiated. In the quantum optics literature, this is largely due to the technicalities involved in incorporating the discontinuous update of the quantum state prescribed by the von Neumann postulate. More mathematically oriented treatments have instead typically preferred an algebraic approach where the usual difficulty of describing measurements in the Heisenberg picture is compounded by the adoption of a rather abstract hierarchy of filters, in part inspired by classical control theory, to describe different possible updates of the quantum state. This state of affairs is further complicated by the added difficulties that come with the necessary introduction of some form of quantum stochastic calculus. Our approach to monitoring will therefore take a different route. Like in our derivation of diffusion and master equations, we shall keep restricting to linear couplings with a white noise environment, forfeiting full generality This situation is well modelled by the so called input-output formalism, whose physical origin will be discussed in detail in Chapter 9 , which approximates reliably, among other instances, the interaction between internal resonating modes and electromagnetic radiation leaking in and out of an optical cavity. First, we shall introduce stochastic Wiener increments and the Itô rule, which will arise naturally from the identification of the continuum field's modes subject to monitoring. We shall deliberately keep our arsenal of stochastic methods to these bare essentials, sacrificing to some extent both depth and generality, but still providing the reader with a powerful and seminal demonstration of the formalism. We shall then restrict to Gaussian general-dyne detections and apply the exact formalism developed in the previous chapter to the continuous filtering of the system's state conditioned by such measurements' outcomes. Next, as in our derivation of the unconditional master equations, we shall use the Gaussian dynamics as a key to unlock the full stochastic master equations governing general states. Hence, we will build on the quantum theory of filtering in the Gaussian regime to derive dynamical equations for linear feedback control and also apply our theoretical tools to the enhanced production of squeezing. Finally, we will turn to the closely related paradigm of coherent feedback, where environmental modes do not undergo measurements but are fed back to interact coherently with the system, see in detail how it modifies Gaussian diffusive dynamics and assess its potential for control by reconsidering the production of squeezing assisted by interferometric coherent feedback loops.
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.