Qubits are not the only information carriers that can be used for quantum information processing. In this chapter, we will focus on quantum communication with ‘continuous quantum variables’, or continuous variables for short. In the context of quantum information processing we will also call continuous variables ‘qunats’. We have seen in Chapter 2 that a natural representation of a continuous variable is given by the position of a particle. The conjugate continuous variable is then the momentum of the particle. Unfortunately, the eigenstates of the position and momentum operators are not physical, and we have to construct suitable approximations to these states that can be created in the laboratory. Any practical information processing device must then take into account the deviation of the actual states from the ideal position and momentum eigenstates. Rather than the position and momentum of a particle, we will consider here the two position and momentum quadratures of an electromagnetic field mode. These operators obey the same commutation relations as the canonical position and momentum operators, but they are not the physical position and momentum of field excitations. Approximate eigenstates of the quadrature operators can be constructed in the form of squeezed coherent states. We define a quantum mechanical phase space for quadrature operators, similar to a classical phase space for position and momentum. Probability distributions in the classical phase space then become quasi-probability distributions over the quadrature phase space.We will develop one of these distributions, namely the Wigner function, and identify certain phase-space transformations of the Wigner function with linearoptical and squeezing operations.
Qubits are not the only information carriers that can be used for quantum information processing. In this chapter, we will focus on quantum communication with ‘continuous quantum variables’, or continuous variables for short. In the context of quantum information processing we will also call continuous variables ‘qunats’. We have seen in Chapter 2 that a natural representation of a continuous variable is given by the position of a particle. The conjugate continuous variable is then the momentum of the particle. Unfortunately, the eigenstates of the position and momentum operators are not physical, and we have to construct suitable approximations to these states that can be created in the laboratory. Any practical information processing device must then take into account the deviation of the actual states from the ideal position and momentum eigenstates. Rather than the position and momentum of a particle, we will consider here the two position and momentum quadratures of an electromagnetic field mode. These operators obey the same commutation relations as the canonical position and momentum operators, but they are not the physical position and momentum of field excitations. Approximate eigenstates of the quadrature operators can be constructed in the form of squeezed coherent states. We define a quantum mechanical phase space for quadrature operators, similar to a classical phase space for position and momentum. Probability distributions in the classical phase space then become quasi-probability distributions over the quadrature phase space.We will develop one of these distributions, namely the Wigner function, and identify certain phase-space transformations of the Wigner function with linearoptical and squeezing operations.
In the previous chapter we have discussed some important quantum information processing techniques based on continuous variables, or ‘qunats’. In this chapter, we describe methods for extending these techniques to quantum computation with optical qunats. We will first show in Section 9.1 how the optical qunat states are initialized using single-mode squeezing, and we give optical implementations of some of the most important single-qunat gates, such as the Heisenberg-Weyl operators and the Fourier transform. In Section 9.2, we study the theory of two-mode Gaussian operations, and we construct a general optical circuit that can implement any two-mode Gaussian operation. In Section 9.3, we introduce the stabilizer formalism for qunats, and use it to derive a Gottesman-Knill theorem. This leads to the general requirement of nonlinear gates for qunats, and their optical implementation will be discussed in Section 9.4. Having thus established the optical implementation of universal quantum computing with continuous variables, we extend this to the one-way model in Section 9.5, where we introduce cluster states for continuous variables. Finally, in Section 9.6, we discuss various quantum error-correction techniques for qunat quantum computing. Single-mode optical qunat gates We have already seen in Chapter 2 that the single qunat gates are fundamentally different from qubit gates. In the context of optical implementations, this difference arises due to the complementary nature of qubits and qunats: qubits that are represented by single photons can be considered particles, whereas qunats are encoded in the wave properties of the optical field.
Quadrature operators with arbitrary phase are studied from a point of view of the phase-space representation of quantum states, and the results are applied to simultaneous measurement and quantum communication. The Wigner function of arbitrary phase quadrature variables is introduced, which is a generalization of the usual Wigner function of position and momentum. The Kirkwood distribution is also extended for arbitrary phase quadrature variables. The simultaneous measurement of two quadrature operators is investigated using a beam splitter model and a generalized version of the Arthurs-Kelley model. The quantum teleportation of continuous variables is considered in terms of arbitrary phase quadrature variables. A general formula is derived that provides the quantum teleportation channel. The fidelity of the quantum teleportation with an uncontrollable phase is calculated for a coherent state. Furthermore, the mutual information of the quantum dense coding of continuous variables is obtained when classical information is encoded on arbitrary phase quadrature variables. The result is compared with that of the communication system, where information is transmitted using coherent and squeezed states.
Quantum information with continuous variables conventionally exploits quantum variables with canonic: commutation relations, like position and momentum, or quadrature field components. In contrast, this contribution is devoted to quantum continuous polarization variables. The relevant observabIes are quantum Stokes operators which obey the SU(2) algebra with a commutator which is not a c-number but an operator. In this paper, we review the concept of polarization squeezing and the new concept of continuous-variable polarization entanglement using quantum Stokes parameters. We discuss the prospects and specific features of such nonclassical polarization states for quantum communication.
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.
Theoretical chapter devoted to the detailed description of continuous variable (CV) systems by consideringthe "phase space," that is spanned by position and momentum for massive particles, quadratures for a quantum electromagnetic field, and phase and charge for electrical circuits. It introduces tools like the Glauber, Husimi, or Dirac phase–space functions, and in more details the Wigner function, that are convenient to describe CV quantum states and their time evolution using the Moyal equation. The chapter gives examples of Wigner functions and their time evolution in the presence of dissipation. It then defines symplectic quantum maps that are simple and important cases of Hamiltonian evolution and are simply related to the covariance matrix containingvariances and correlations. It details the characterization of the quantum processes using the Williamson reduction and Bloch–Messiah decomposition. It discusses Gaussian and non-Gaussian states and the specific measurement procedures for CV states, such as homodyne and double homodyne detection. It introduces the EPR entangled state and, finally, describes how to characterize entanglement and unconditionally teleport Gaussian quantum states.
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