This thesis presents an investigation into the generation and characterisation of non-Gaussian states in continuous variable quantum optics. Beginning by placing the study of continuous variables within the context of quantum information processing more generally, we then motivate the need for non-Gaussianity within quantum computing protocols. The focus then narrows to the consideration of two particular sets of non-Gaussian states: orthogonal superposition states and the cubic resource state. The superposition of two orthogonal states has been shown to enhance certain continuous variable quantum information processing protocols that rely on entanglement, and within this section two distinct methods for generating such states are considered. While one of these methods provides a specific example, the other introduces a general orthogonaliser that relies solely on knowledge of the expectation value for the chosen orthogonalising operator in order to produce the superposition. The second case for non-Gaussian state generation employs current results demonstrating the production of a weak approximation of the cubic resource state in order to illustrate the use of such single-mode states to generate multimode states with similar features. These states are implemented as ancillas for a deterministic non-Gaussian gate operation on a system of choice. We show that generating multimode states through this distribution scheme allows an enhancement of the output state to better approximate the nonlinear features. Finally, we consider methods of characterising non-Gaussian states. In particular, we introduce a witness for pure states existing outside of the Gaussian convex hull. Such states exclude Gaussian pure states as well as non-Gaussian states generated from mixtures of squeezed and coherent states, and therefore consist of non-Gaussian states generated from non-Gaussian operations. We present a detection-independent bound for such states based on the generalised quasiprobability distribution.
This thesis presents an investigation into the generation and characterisation of non-Gaussian states in continuous variable quantum optics. Beginning by placing the study of continuous variables within the context of quantum information processing more generally, we then motivate the need for non-Gaussianity within quantum computing protocols. The focus then narrows to the consideration of two particular sets of non-Gaussian states: orthogonal superposition states and the cubic resource state. The superposition of two orthogonal states has been shown to enhance certain continuous variable quantum information processing protocols that rely on entanglement, and within this section two distinct methods for generating such states are considered. While one of these methods provides a specific example, the other introduces a general orthogonaliser that relies solely on knowledge of the expectation value for the chosen orthogonalising operator in order to produce the superposition. The second case for non-Gaussian state generation employs current results demonstrating the production of a weak approximation of the cubic resource state in order to illustrate the use of such single-mode states to generate multimode states with similar features. These states are implemented as ancillas for a deterministic non-Gaussian gate operation on a system of choice. We show that generating multimode states through this distribution scheme allows an enhancement of the output state to better approximate the nonlinear features. Finally, we consider methods of characterising non-Gaussian states. In particular, we introduce a witness for pure states existing outside of the Gaussian convex hull. Such states exclude Gaussian pure states as well as non-Gaussian states generated from mixtures of squeezed and coherent states, and therefore consist of non-Gaussian states generated from non-Gaussian operations. We present a detection-independent bound for such states based on the generalised quasiprobability distribution.
The generation of non-Gaussian states of bosonic systems described by continuous quantum degrees of freedom is of interest in a variety of contexts, ranging from quantum foundations to computation and communication. A crucial feature of genuine non-Gaussian states is that they cannot be described in general with a non-negative Wignerquasi-probability distribution. In particular, this feature is equivalent to contextuality and it underpins all attempts at attaining quantum computational advantage in a universal setting. In this thesis, the generation of Wigner-negative states is addressed, pursuing two approaches. First, in an optomechanical-like setting, we develop schemes to generate Wigner-negative states of two massive mechanical systems, in turn correlated such that they also feature entanglement, another genuine quantum hallmark. These schemes are based on driven-dissipative systems where dissipation is properly engineered by taking advantage of linear-and-quadratic optomechanical interactions. We address the robustness of these schemes when uncontrollable noisy channels are included in the dynamics, proving that their resilience is comparable to Gaussian schemes that have already been implemented experimentally. Second, considering in particular circuit QED systems and trapped ions, we propose a method to engineer a set of Hamiltonian evolutions that are universal in terms of single-mode state preparation. This method is based on a driven quantum Rabi model, where the desired evolution is effectively imprinted on a continuous-variable degree of freedom by its interaction with a properly driven two-level system. We demonstrate the universality of such approach by simulating the generation of multi-squeezed and other states, including the celebrated cubic-phase state. We also consider the effect of noise in realistic settings, showing in particular that in systems involving superconducting qubits, the generation of tri-squeezed states --- a universal resource for continuous-variable quantum computation which we prove to display larger Wigner negativities with respect to Fock and cubic-phase states for the same energy --- is within experimental reach.
In the present PhD work, we focus on a specific class of quantum states of light: the non-Gaussian states. These states have the particularity of exhibiting Wigner functions with some negative values. This quantum feature is a necessary condition to perform some quantum computation task; furthermore it is also useful for various other applications, including quantum communication and metrology. Different strategies can be used to generate these states. Here, we start from Gaussian states produced by optical parametric oscillators in the continuous wave regime, (i.e. single-mode and two-mode squeezed vacuum states). The non-Gaussian feature can only be obtained by non-linear phenomena (over-quadratic Hamiltonian). In our case, the non-linearity is induced by photon-counting-based measurements (also called non-Gaussian measurements). This study is mainly divided into two parts. First, the generation of non-classical states associated with two types of qubit encoding: the single-photon state, used for quantum information with discrete variables, and the coherent state superposition (the so-called optical Schrodinger cat state), used for quantum information with continuous variables. These two states have then been used to perform some quantum information protocols. The first one addresses the problem of single-photon entanglement witness, and the other the generation of entanglement between the two encodings (also called hybrid entanglement).
In the present PhD work, we focus on a specific class of quantum states of light: the non-Gaussian states. These states have the particularity of exhibiting Wigner functions with some negative values. This quantum feature is a necessary condition to perform some quantum computation task; furthermore it is also useful for various other applications, including quantum communication and metrology. Different strategies can be used to generate these states. Here, we start from Gaussian states produced by optical parametric oscillators in the continuous wave regime, (i.e. single-mode and two-mode squeezed vacuum states). The non-Gaussian feature can only be obtained by non-linear phenomena (over-quadratic Hamiltonian). In our case, the non-linearity is induced by photon-counting-based measurements (also called non-Gaussian measurements). This study is mainly divided into two parts. First, the generation of non-classical states associated with two types of qubit encoding: the single-photon state, used for quantum information with discrete variables, and the coherent state superposition (the so-called optical Schrödinger cat state), used for quantum information with continuous variables. These two states have then been used to perform some quantum information protocols. The first one addresses the problem of single-photon entanglement witness, and the other the generation of entanglement between the two encodings (also called hybrid entanglement).
In the context of quantum technologies over continuous variables, Gaussian states and operations are typically regarded as freely available, as they are relatively easily accessible experimentally. In contrast, the generation of non-Gaussian states, as well as the implementation of non-Gaussian operations, pose significant challenges. This divide has motivated the introduction of resource theories of non-Gaussianity. As for any resource theory, it is of practical relevance to identify free conversion protocols between resources, namely, Gaussian conversion protocols between non-Gaussian states. Via systematic numerical investigations, we address the approximate conversion between experimentally relevant single-mode non-Gaussian states via arbitrary deterministic one-to-one mode Gaussian maps. First we show that cat and binomial states are approximately equivalent for finite energy, while this equivalence was previously known only in the infinite-energy limit. Then we consider the generation of cat states from photon-added and photon-subtracted squeezed states, improving over known schemes by introducing additional squeezing operations. The numerical tools that we develop also allow one to devise conversions of trisqueezed into cubic-phase states beyond previously reported performances. Finally, we identify various other conversions which instead are not viable.
Continuous-variable systems realized in quantum optics play a major role in quantum information processing, and it is also one of the promising candidates for a scalable quantum computer. We introduce a resource theory for continuous-variable systems relevant to universal quantum computation. In our theory, easily implementable operations---Gaussian operations combined with feed-forward---are chosen to be the free operations, making the convex hull of the Gaussian states the natural free states. Since our free operations and free states cannot perform universal quantum computation, genuine non-Gaussian states---states not in the convex hull of Gaussian states---are the necessary resource states for universal quantum computation together with free operations. We introduce a monotone to quantify the genuine non-Gaussianity of resource states, in analogy to the stabilizer theory. A direct application of our resource theory is to bound the conversion rate between genuine non-Gaussian states. Finally, we give a protocol that probabilistically distills genuine non-Gaussianity---increases the genuine non-Gaussianity of resource states---only using free operations and postselection on Gaussian measurements, where our theory gives an upper bound for the distillation rate. In particular, the same protocol allows the distillation of cubic phase states, which enable universal quantum computation when combined with free operations.
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