These notes originated out of a set of lectures in Quantum Optics and Quantum Information given by one of us (MGAP) at the University of Napoli and the University of Milano. A quite broad set of issues are covered, ranging from elementary concepts to current research topics, and from fundamental concepts to applications. A special emphasis has been given to the phase space analysis of quantum dynamics and to the role of Gaussian states in continuous variable quantum information.
We present a class of non-Gaussian two-mode continuous variable states for which the separability criterion for Gaussian states can be employed to detect whether they are separable or not. These states reduce to the two-mode Gaussian states as a special case.
We study a class of mixed non-Gaussian entangled states that, whilst closely related to Gaussian entangled states, none-the-less exhibit distinct properties previously only associated with more exotic, pure non-Gaussian states.
We present a general analysis of the state obtained by subjecting the output from a continuous-wave (cw) Gaussian field to non-Gaussian measurements. The generic multimode state of cw Gaussian fields is characterized by an infinite dimensional covariance matrix involving the noise correlations of the source. Our theory extracts the information relevant for detection within specific temporal output modes from these correlation functions . The formalism is applied to schemes for production of non-classical light states from a squeezed beam of light.
We characterise Gaussian quantum channels that are Gaussian incompatibility breaking, that is, transform every set of Gaussian measurements into a set obtainable from a joint Gaussian observable via Gaussian postprocessing. Such channels represent local noise which renders measurements useless for Gaussian EPR-steering, providing the appropriate generalisation of entanglement breaking channels for this scenario. Understanding the structure of Gaussian incompatibility breaking channels contributes to the resource theory of noisy continuous variable quantum information protocols.
In this paper, we give a simple proof of the fact that the optimal collective attacks against continous-variable quantum key distribution with a Gaussian modulation are Gaussian attacks. Our proof makes use of symmetry properties of the quantum key distribution protocol in phase-space.
We describe a continuous variable error correction protocol that can correct the Gaussian noise induced by linear loss on Gaussian states. The protocol can be implemented using linear optics and photon counting. We explore the theoretical bounds of the protocol as well as the expected performance given current knowledge and technology.
We analyze the asymptotic security of the family of Gaussian modulated Quantum Key Distribution protocols for Continuous Variables systems. We prove that the Gaussian unitary attack is optimal for all the considered bounds on the key rate when the first and second momenta of the canonical variables involved are known by the honest parties.
We investigate the security of continuous-variable (CV) quantum key distribution (QKD) using coherent states and reverse reconciliation against Gaussian individual attacks based on an optimal Gaussian $1 \to 2$ cloning machine. We provide an implementation of the optimal Gaussian individual attack. we also find a Bell-measurement attack which works without delayed choice of measurements and has better performance than the cloning attack.
We investigate non-Gaussian states of light as ancillary inputs for generating nonlinear transformations required for quantum computing with continuous variables. We consider a recent proposal for preparing a cubic phase state, find the exact form of the prepared state and perform a detailed comparison to the ideal cubic phase state. We thereby identify the main challenges to preparing an ideal cubic phase state and describe the gates implemented with the non-ideal prepared state. We also find the general form of operations that can be implemented with ancilla Fock states, together with Gaussi…
Schroedinger operators with certain Gaussian random potentials in multi-dimensional Euclidean space possess almost surely an absolutely continuous integrated density of states and no absolutely continuous spectrum at sufficiently low energies.
The Gaussian state description of continuous variables is adapted to describe the quantum interaction between macroscopic atomic samples and continuous-wave light beams. The formalism is very efficient: a non-linear differential equation for the covariance matrix of the atomic system explicitly accounts for both the unitary evolution, the dissipation and noise due to the atom-light interaction, and the back-action due to homodyne optical detection on the beam after its interaction with the atoms. Applications to atomic spin squeezing and estimation of unknown classical parameters are presented…
We propose a non-Gaussian continuous variable (CV) gate which is able to conditionally produce superposition of two "copies" of an arbitrary input state well separated in the coordinate and momentum plane - a Schrödinger cate state. The gate uses cubic phase state of an ancillary oscillator as a non-Gaussian resource, an entangling Gaussian gate, and homodyne measurement which provides nonunique information about the target system canonical variables, which is a key feature of the scheme. We show that this nonuniqueness manifests problems which may arise by extension of the Heisenberg picture …
Measures of entanglement, fidelity and purity are basic yardsticks in quantum information processing. We propose how to implement these measures using linear devices and homodyne detectors for continuous variable Gaussian states. In particular, the test of entanglement becomes simple with some prior knowledge which is relevant to current experiments.
We suggest an experimentally realizable scheme to test entanglement of a mixed Gaussian continuous variable state. We find that the entanglement condition is simplified for the family of Gaussian states which are relevant to experimental realization. The entanglement condition is then shown to be directly related to joint homodyne measurements. We show how robust the proposed test of entanglement is against imperfect detection efficiency.
We describe an entanglement purification protocol to generate maximally entangled states with high efficiencies from two-mode squeezed states or from mixed Gaussian continuous entangled states. The protocol relies on a local quantum non-demolition measurement of the total excitation number of several continuous variable entangled pairs. We propose an optical scheme to do this kind of measurement using cavity enhanced cross--Kerr interactions.
Two Kerr-squeezed optical beams can be combined in a beamsplitter to produce non-Gaussian continuous-variable entangled states. We characterize the non-Gaussian nature of the output by calculating the third-order cumulant of quadrature variables, and predict the level of entanglement that could be generated by evaluating the Duan-Simon and Reid Einstein-Podolsky-Rosen criteria. These states have the advantage over Gaussian states and non-Gaussian measurement schemes in that the well known, efficient and proven technology of homodyne detection may be used for their characterisation. A physical …
We use quantum entanglement witnesses derived from Gaussian operators to study the separable criteria of continuous variable states. We transform the validity of a Gaussian witness to a Bosonic Gaussian channel problem. It follows that the maximal means of two-mode and some four-mode Gaussian operators over product pure states are achieved by vacuum (or coherent states and squeezed states) according to the properties of Bosonic Gaussian channels. Then we have necessary and sufficient criteria of separability not only for Gaussian quantum states, but also for non-Gaussian states prepared by pho…
We consider two classes of non-Gaussian entangled states generated from the product of number states with the action of the beamsplitter or the two-mode squeezer. It is shown that, for many of these states, the covariance matrix is compatible with the covariance matrix of separable Gaussian states and their separability cannot be verified by the measurements of the first and second moments of canonical variables. We identify a couple of continuous-variable entanglement criteria with higher order moments to verify these non-Gaussian entanglement.
Entanglement distillation is a fundamental building block in long-distance quantum communication. Though known to be useless on their own for distilling Gaussian entangled states, local Gaussian operations may still help to improve non-Gaussian entanglement distillation schemes. Here we show that by applying local squeezing operations, both the performance and the efficiency of existing distillation protocols can be enhanced. We derive the optimal enhancement through local Gaussian unitaries, which can be obtained even in the most natural scenario when Gaussian mixed entangled states are share…
We study nonclassical correlations beyond entanglement in a family of two-mode non-Gaussian states which represent the continuous-variable counterpart of two-qubit Werner states. We evaluate quantum discord and other quantumness measures obtaining exact analytical results in special instances, and upper and lower bounds in the general case. Non-Gaussian measurements such as photon counting are in general necessary to solve the optimization in the definition of quantum discord, whereas Gaussian measurements are strictly suboptimal for the considered states. The gap between Gaussian and optimal …
We consider the problem of measurement of optical transverse profile parameters and their conjugate variable. Using multi-mode analysis, we introduce the concept of detection noise-modes. For Gaussian beams, displacement and tilt are a pair of transverse profile conjugate variables. We experimentally demonstrate their optimal encoding and detection with a spatial homodyning scheme. Using higher order spatial mode squeezing, we show the sub-shot noise measurements for the displacement and tilt of a Gaussian beam.
In this paper, we consider continuous-variable quantum key distribution (QKD) protocols which use non-Gaussian modulations. These specific modulation schemes are compatible with very efficient error correction procedures, hence allowing the protocols to outperform previous protocols in terms of achievable range. In their simplest implementation, these protocols are secure for any linear quantum channels (hence against Gaussian attacks). We also show how the use of decoy states makes the protocols secure against arbitrary collective attacks, which implies their unconditional security in the asy…
A fully general approach to the security analysis of continuous-variable quantum key distribution (CV-QKD) is presented. Provided that the quantum channel is estimated via the covariance matrix of the quadratures, Gaussian attacks are shown to be optimal against all eavesdropping strategies, including collective and coherent attacks. The proof is made strikingly simple by combining a physical model of measurement, an entanglement-based description of CV-QKD, and a recent powerful result on the extremality of Gaussian states [Phys. Rev. Lett. 96, 080502 (2006)].
A general study of arbitrary finite-size coherent attacks against continuous-variable quantum cryptographic schemes is presented. It is shown that, if the size of the blocks that can be coherently attacked by an eavesdropper is fixed and much smaller than the key size, then the optimal attack for a given signal-to-noise ratio in the transmission line is an individual gaussian attack. Consequently, non-gaussian coherent attacks do not need to be considered in the security analysis of such quantum cryptosystems.
In realistic continuous variable quantum key distribution protocols, an eavesdropper may exploit the additional Gaussian noise generated during transmission to mask her presence. We present a theoretical framework for a post-selection based protocol which explicitly takes into account excess Gaussian noise. We derive a quantitative expression of the secret key rates based on the Levitin and Holevo bounds. We experimentally demonstrate that the post-selection based scheme is still secure against both individual and collective Gaussian attacks in the presence of this excess noise.
We study the non-Gaussian character of quantum optomechanical systems evolving under the fully nonlinear optomechanical Hamiltonian. By using a measure of non-Gaussianity based on the relative entropy of an initially Gaussian state, we quantify the amount of non-Gaussianity induced by both a constant and time-dependent cubic light-matter coupling and study its general and asymptotic behaviour. We find analytical approximate expressions for the measure of non-Gaussianity and show that initial thermal phonon occupation of the mechanical element does not significantly impact the non-Gaussianity. …
We present a protocol based on continuous-variable quantum teleportation and Gaussian post- selection that can be used to correct errors introduced by a lossy channel. We first show that the global transformation enacted by the protocol is equivalent to an effective system composed of a noiseless amplification (or attenuation), and an effective quantum channel, which can in theory have no loss and an amount of thermal noise arbitrarily small, hence tending to an identity channel. An application of our protocol is the probabilistic purification of quantum non-Gaussian states using only Gaussian…
Source noise affects the security of continuous-variable quantum key distribution (CV QKD), and is diffcult to analyze. We propose a model to characterize Gaussian source noise through introducing a neutral party (Fred) who induces the noise with a general unitary transformation. Without knowing Fred's exact state, we derive the security bounds for both reverse and direct reconciliations and show that the bound for reverse reconciliation is tight.
This paper provides a stabilizing preparation method for quantum Gaussian states by utilizing continuous measurement. The stochastic evolution of the open quantum system is described in terms of the quantum stochastic master equation. We present necessary and sufficient conditions for the system to have a unique stabilizing steady Gaussian state. The conditions are much weaker than those existing results presented in the approach of preparing Gaussian states through environment engineering. Parametric conditions of how to prepare an arbitrary pure Gaussian state are provided. This approach pro…
We investigate phase-insensitive linear amplification at the quantum limit for single- and two-mode states and show that there exists a broad class of non-Gaussian states whose nonclassicality survives even at an arbitrarily large gain. We identify the corresponding observable nonclassical effects and find that they include, remarkably, two-mode entanglement. The implications of our results for quantum cloning outside the Gaussian regime are also addressed.
Entanglement distillation is an essential ingredient for long distance quantum communications. In the continuous variable setting, Gaussian states play major roles in quantum teleportation, quantum cloning and quantum cryptography. However, entanglement distillation from Gaussian states has not yet been demonstrated. It is made difficult by the no-go theorem stating that no Gaussian operation can distill Gaussian states. Here we demonstrate the entanglement distillation from Gaussian states by using measurement-induced non-Gaussian operations, circumventing the fundamental restriction of the n…
We use matched quantum entanglement witnesses to study the separable criteria of continuous variable states. The witness can be written as an identity operator minus a Gaussian operator. The optimization of the witness then is transformed to an eigenvalue problem of a Gaussian kernel integral equation. It follows a separable criterion not only for symmetric Gaussian quantum states, but also for non-Gaussian states prepared by photon adding to or/and subtracting from symmetric Gaussian states. Based on Fock space numeric calculation, we obtain an entanglement witness for more general two-mode s…
With the significant advancement in quantum computation in the past couple of decades, the exploration of machine-learning subroutines using quantum strategies has become increasingly popular. Gaussian process regression is a widely used technique in supervised classical machine learning. Here we introduce an algorithm for Gaussian process regression using continuous-variable quantum systems that can be realized with technology based on photonic quantum computers under certain assumptions regarding distribution of data and availability of efficient quantum access. Our algorithm shows that by u…
We give a detailed description of the entanglement purification protocol which generates maximally entangled states with high efficiencies from realistic Gaussian continuous variable entangled states. The physical implementation of this protocol is extensively analyzed using high finesse cavities and cavity enhanced cross Kerr nonlinearities. In particular, we take into account many imperfections in the experimental scheme and calculate their influences. Quantitative requirements are given for the relevant experimental parameters.
We extend the security proof for continuous variable quantum key distribution protocols using post selection to account for arbitrary eavesdropping attacks by employing the concept of an equivalent protocol where the post-selection is implemented as a series of quantum operations including a virtual distillation. We introduce a particular `Gaussian' post selection and demonstrate that the security can be calculated using only experimentally accessible quantities. Finally we explicitly evaluate the performance for the case of a noisy Gaussian channel in the limit of unbounded key length and fin…
Entangling two systems at distant locations using a {\it separable} mediating ancilla is a counterintuitive phenomenon proposed for qubits by T. Cubitt {\it et al}. [Phys. Rev. Lett. {\bf 91}, 037902 (2003)]. We show that such entanglement distribution is possible with Gaussian states, using a certain three-mode fully separable mixed Gaussian state and linear optics elements readily available in experiments. Two modes of the state become entangled by sequentially mixing them on two beam splitters, while the third one remains separable in all stages of the protocol.
We have recently shown that the output field in the Braunstein-Kimble protocol of teleportation is a superposition of two fields: the input one and a field created by Alice's measurement and by displacement of the state at Bob's station by using the classical information provided by Alice. We study here the noise added by teleportation and compare its influence in the Gaussian and non-Gaussian settings.
The required set of operations for universal continuous-variable quantum computation can be divided into two primary categories: Gaussian and non-Gaussian operations. Furthermore, any Gaussian operation can be decomposed as a sequence of phase-space displacements and symplectic transformations. Although Gaussian operations are ubiquitous in quantum optics, their experimental realizations generally are approximations of the ideal Gaussian unitaries. In this work, we study different performance criteria to analyze how well these experimental approximations simulate the ideal Gaussian unitaries. …
Currently available separability criteria for continuous-variable states are generally based on the covariance matrix of quadrature operators. The well-known separability criterion of Duan et al. [Phys. Rev. Lett. 84, 2722 (2000)] and Simon [Phys. Rev. Lett. 84, 2726 (2000)] , for example, gives a necessary and sufficient condition for a two-mode Gaussian state to be separable, but leaves many entangled non-Gaussian states undetected. Here, we introduce an improvement of this criterion that enables a stronger entanglement detection. The improved condition is based on the knowledge of an additi…
We show that all entangled Gaussian states of two infinite dimensional systems can be distilled to maximally entangled states in finite dimensions. The distillation protocol involves local squeezing operations, local homodyne measurements with ancilla systems prepared in coherent states as well as local joint measurements of the total number operator of two copies of the state.
Quantum measurements and the associated state changes are properly described in the language of instruments. We investigate the properties of a time continuous family of instruments associated with the recently introduced family of general Gaussian non-Markovian stochastic Schrödinger equations. In this Letter we find that when the covariance matrix for the Gaussian noise satisfies a particular $δ$-function constraint, the measurement interpretation is possible for a class of models with self-adjoint coupling operator. This class contains, for example the spin-boson and quantum Brownian motion…
When a harmonic oscillator is under the influence of a Gaussian process such as linear damping, parametric gain, and linear coupling to a thermal environment, its coherent states are transformed into states with Gaussian Wigner function. Qubit states can be encoded in the |0> and |1> Fock states of a quantum harmonic oscillator, and it is relevant to know the fidelity of the output qubit state after a Gaussian process on the oscillator. In this paper we present a general expression for the average qubit fidelity in terms of the first and second moments of the output from input coherent states …
We apply a Gaussian state formalism to track fluctuating perturbations that act on the position and momentum quadrature variables of a harmonic oscillator. Following a seminal proposal by Tsang and Caves [Phys. Rev. Lett. 105, 123601 (2010)], Einstein-Podolsky-Rosen correlations with the quadrature variables of an ancillary harmonic oscillator are leveraged to significantly improve the estimates as relevant sensor variables can be arbitrarily squeezed while evading adverse effects from the conjugate, anti-squeezed variables. Our real-time analysis of the continuous monitoring of the system emp…
Continuous-variable (CV) multipartite unlockable bound-entangled states is investigated in this paper. Comparing with the qubit multipartite unlockable bound-entangled states, CV multipartite unlockable bound-entangled states present the new and different properties. CV multipartite unlockable bound-entangled states may serve as a useful quantum resource for new multiparty communication schemes. The experimental protocol for generating CV unlockable bound-entangled states is proposed with a setup that is at present accessible.
We investigate the non-Markovianity of continuous variable Gaussian quantum channels through the evolution of an operational metrological quantifier, namely the Gaussian interferometric power, which captures the minimal precision that can be achieved using bipartite Gaussian probes in a black-box phase estimation setup, where the phase shift generator is \emph{a priori} unknown. We observe that the monotonicity of the Gaussian interferometric power under the action of local Gaussian quantum channels on the ancillary arm of the bipartite probes is a natural indicator of Markovian dynamics; cons…
We investigate continuous variable quantum teleportation using non-Gaussian states of the radiation field as entangled resources. We compare the performance of different classes of degaussified resources, including two-mode photon-added and two-mode photon-subtracted squeezed states. We then introduce a class of two-mode squeezed Bell-like states with one-parameter dependence for optimization. These states interpolate between and include as subcases different classes of degaussified resources. We show that optimized squeezed Bell-like resources yield a remarkable improvement in the fidelity of…
In this paper, a computable multipartite multimode Gaussian quantum correlation measure ${\mathcal M}^{(k)}$ is proposed for any $k$-partite continuous-variable (CV) systems with $k\geq 2$. ${\mathcal M}^{(k)}$ depends only on the covariance matrix of CV states, is invariant under any permutation of subsystems, is a quantification without ancilla problem, nonincreasing under $k$-partite local Gaussian channels (particularly, invariant under $k$-partite local Gaussian unitary operations), vanishes on $k$-partite product states. For a $k$-partite Gaussian state $ρ$, ${\mathcal M}^{(k)}(ρ)=0$ if …
An intercept-resend attack on a continuous-variable quantum-key-distribution protocol is investigated experimentally. By varying the interception fraction, one can implement a family of attacks where the eavesdropper totally controls the channel parameters. In general, such attacks add excess noise in the channel, and may also result in non-Gaussian output distributions. We implement and characterize the measurements needed to detect these attacks, and evaluate experimentally the information rates available to the legitimate users and the eavesdropper. The results are consistent with the optim…
Connections between the resource theories of coherence and purity (or non-uniformity) are well known for discrete-variable, finite-dimensional, quantum systems. We establish analogous results for continuous-variable systems, in particular Gaussian systems. To this end, we define the concept of maximal coherence at fixed energy, which is achievable with energy-preserving unitaries. We show that the maximal Gaussian coherence (where states and operations are required to be Gaussian) can be quantified analytically by the relative entropy. We then propose a resource theory of non-uniformity, by co…
We study the task of distilling entanglement by a coherent superposition operation $t\hat{a}+r\hat{a}^\dagger$ applied to a continuous-variable state under a thermal noise. In particular, we compare the performances of two different strategies, i.e., the non-Gaussian operation $t\hat{a}+r\hat{a}^\dagger$ is applied before or after the noisy Gaussian channel. This is closely related to a fundamental problem of whether Gaussian or non-Gaussian entanglement can be more robust under a noisy channel and also provides a useful insight into the practical implementation of entanglement distribution fo…
We investigate how entangled coherent states and superpositions of low intensity coherent states of non-Gaussian nature can be generated via non-resonant interaction between either two linearly or circularly polarized field modes and an ensemble of X-like four-level atoms placed in an optical cavity. We compare our results to recent experimental observations and argue that the non-Gaussian structure of the field states may be present in those systems.
Simplified scheme for continuous-variable entanglement distillation: multicopy distillation of Gaussian entanglement without heralding Gaussian measurements
The noiseless amplification or attenuation are two heralded filtering operations that enable respectively to increase or decrease the mean field of any quantum state of light with no added noise, at the cost of a small success probability. We show that inserting such noiseless operations in a transmission line improves the performance of continuous-variable quantum key distribution over this line. Remarkably, these noiseless operations do not need to be physically implemented but can simply be simulated in the data post-processing stage. Hence, virtual noiseless amplification or attenuation am…
We study a continuous variable (CV) dense-coding protocol, originally proposed to employ a two-mode squeezed state, using a general two-mode Gaussian state as a quantum channel. We particularly obtain conditions to manifest quantum advantage by beating two well-known single-mode schemes, namely, the squeezed-state scheme (best Gaussian scheme) and the number-state scheme (optimal scheme achieving the Holevo bound). We then extend our study to a multipartite Gaussian state and investigate the monogamy of operational entanglement measured by the communication capacity under the dense-coding prot…
