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.
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
Gaussian states are the backbone of quantum information protocols with continuous-variable systems whose power relies fundamentally on the entanglement between the different modes. In the case of global pure states, knowledge of the reduced states in a given bipartition of a multipartite quantum system bears information on the entanglement in such bipartition. For Gaussian states, the reduced states are also Gaussian, so their determination requires essentially the experimental determination of their covariance matrix. Here we develop strategies to determine the covariance matrix of an arbitrary
n-mode bosonic Gaussian state through measurement of the total phase acquired when appropriate metaplectic evolutions, associated with quadratic Hamiltonians, are applied. Simply one-mode metaplectic evolutions, such rotations, squeezing, and shear transformations, in addition to a single two-mode rotation, allows us to determine all the covariance matrix elements of an
n-mode bosonic system. All the single-mode metaplectic evolutions are applied conditionally to a state in which an ancilla qubit is entangled with the
n-mode system. The ancillary system provides, after measurement, the value of the total phase of each evolution. The proposed method is experimentally suited to implement in the most currently used continuous-variable systems.
This thesis addresses aspects of quantum phase and sets out to draw attention to a collection of new and extend some not so new techniques utilizing Weyl's correspondence rule and its inverse. The phase formulation of quantum mechanics is as old as quantum mechanics itself and evolved over a period of two decades due to the contributions of H. Weyl \cite{Weyl1950}, E. P. Wigner \cite{Wigner1932}, H. Groenewold \cite{Groenewold1946} and J. E. Moyal \cite{Moyal1949}. Over the ensuing years the phase picture has matured into a practical analytical tool, and has generated a multitude of technical papers, reports, reviews, and expositions from many authors and commentators. One reason for its success is that it offers an intuitive picture of quantum mechanics owing to its \it{classical look and feel}, and it has made an impression, in one way or another, in many fields such as mathematical physics, quantum optics, and physical chemistry.The thesis opens with a brief history of classical phase space, tracing the possible origin of the term ``phase space itself, and chronicles the events leading to the conceptualization (and generalization) of quantum phase space. In Chapter 2 the Weyl correspondence is recast in terms of von Neumann's integral kernel transform and a heuristic analysis is given from this perspective. A characteristic of Weyl's correspondence rule and its inverse is that there are two inherent representations of the same operator. These have been referred to as the Weyl representation and Wigner representation and are related by a symplectic Fourier transform. For an arbitrary outer dyadic operator it is shown that the Weyl representation leads to the \it{modified} Gabor transform (known to Signal Processing), while the Wigner representation specializes to the Bargmann transform and a representation in terms of analytic functions. Calculating Weyl-Wigner (WW) transforms of products of
n operators, from first principles, has proved to be a technically difficult problem. However, with the machinery developed in Chapter 2 the problem is reduced to a straightforward algebraic exercise. Finally, forming an
s-parametrized generalization of Weyl's correspondence rule and focusing on the Weyl representation it is shown to lead to an intimate relationship with the relative state formalism \cite{Ban1998}. Weyl's correspondence rule is only applicable to operators and consequently state vectors
∣ψ⟩ are not represented in the usual formulation of quantum phase space. This problem is circumvented in Chapter 3 by introducing the notion of a normalized fixed state (or window) vector
∣φ0⟩ to form an outer dyadic product $\wh{\Psi} = |\psi\rangle\langle\varphi_0|$. The WW transform of this product under the action of the Weyl's rule is a complex valued function of real variables called a phase amplitude and denoted by the symbol
Ψ. The phase amplitudes have many (and sometimes surprising) properties. For example they: \begin{itemize} \item form the building blocks of Wigner functions
W by admitting a generalized Born rule
W=Ψ⋆Ψˉ, and as such can be considered to be a more fundamental objects than Wigner functions; \item superpose and interfere like the state vectors they represent; \item specialize to the Bargmann and Gabor transforms when a Gaussian window is chosen; \end{itemize} \ni In Chapter 4 further aspects of phase amplitudes are explored and discussed. For example it is shown that they: \begin{itemize} \item define phase state vectors which form an over complete set and are elements of a reproducing kernel Hilbert space; \item allow unitary ray representations of the group symmetries of translation, rotation and time reversal; \item evolve in phase under the influence of a propagator
R which is intimately related to the Wigner propagator
P. \end{itemize} Chapter 5 considers an extension of phase amplitudes to include systems with finitely many degrees of freedom. These are called spin amplitudes and are obtained by first forming the outer dyadic product of a spin state vector with an arbitrary fixed spin state vector, and then applying a finite-dimensional analogue of the WW transform. The spin amplitude operator is represented as an
n×n matrix, whose elements are products of the spin components of the spin and fixed state vectors. Two kinds of spin amplitudes are considered, arising on the sphere
S2 or on a
(2j+1) dimensional lattice. In the special case of spin-$\half$ systems it is shown that the spin amplitudes transform as spinors under rotations on both the sphere and lattice. As a physical application the spin amplitudes for a spin-$\half$ magnetic dipole are found for a Nuclear Magnetic Resonance (NMR) environment. Chapter 6 considers Schwinger's abstract approach to quantum mechanics which takes into account the inability to indefinitely compensate for fluctuations in the measurement process. The resulting measurement algebra provides a symbolic representation of the physical laws as opposed to the mathematical abstraction (of von Neumann and Dirac) that was justified \it{\'a posteriori} by being in agreement with experiment. Despite Schwinger's prolific work on the subject of measurement algebra, its interpretation in quantum phase remained an open issue. It is shown that the key to formulating a quantum phase in terms of the measurement operators and transformation functions is the determination of a suitable set of basis operators for an arbitrary measurement operator. Many new results follow as a consequence of expanding an arbitrary measurement operator in this basis. In Chapter 7 the quantum-classical interface is explored by considering Hamilton's principal function or action
S(q,v,t). Starting from a purely heuristic classical argument, a phase function
U(p,q,t) is derived in terms of the classical action and is shown to be proportional to the WW transform of the quantum evolution operator. This association leads to the transform \be U(p,q,t) = A(t) \int e^{ipv/\hbar} e^{iS(q,v,t)/\hbar} \; \rm{d}v, \ee which enables one, in principle, to deduce the Wigner functions of a given system when only the classical action is known. Simple physical systems are used to provide examples illustrating this approach.
Gaussian unitaries are specified by a second order polynomial in the bosonic operators, that is, by a quadratic polynomial and a linear term. From the Hamiltonian other equivalent representations of the Gaussian unitaries are obtained, such as Bogoliubov and real symplectic transformations. The paper develops an alternative representation, called complex symplectic transformation, which is more compact and is comprehensive of both Bogoliubov and real symplectic transformations. Moreover, it has other advantages. One of the main results of the theory, not available in the literature, is that the final displacement is not simply given by the linear part of the Hamiltonian, but depends also on the quadratic part. In particular, it is shown that by combining squeezing and rotation, it is possible to achieve a final displacement with an arbitrary amount.