This thesis focuses on three main questions in the continuous variable and optical settings: where does a quantum advantage, that is, the ability of quantum machines to outperform classical machines, come from? How to ensure the proper functioning of a quantum machine? What advantages can be gained in practice from the use of quantum information? Quantum advantage in continuous variable comes in particular from the use of so-called non-Gaussian quantum states. We introduce the stellar formalism to characterize these states. We then study the transition from classically simulable models to models which are universal for quantum computing. We show that quantum computational supremacy, the dramatic speedup of quantum computers over their classical counterparts, may be realised with non-Gaussian states and Gaussian measurements. Quantum certification denotes the methods seeking to verify the correct functioning of a quantum machine. We consider certification of quantum states in continuous variable, introducing several protocols according to the assumptions made on the tested state. We develop efficient methods for the verification of a large class of multimode quantum states, including the output states of the Boson Sampling model, enabling the experimental verification of quantum supremacy with photonic quantum computing. We give several new examples of practical applications of quantum information in linear quantum optics. Generalising the swap test, we highlight a connection between the ability to distinguish two quantum states and the ability to perform universal programmable quantum measurements, for which we give various implementations in linear optics, based on the use of single photons or coherent states. Finally, we obtain, thanks to linear optics, the first implementation of a quantum protocol for weak coin flipping, a building block for many cryptographic applications.
This thesis focuses on three main questions in the continuous variable and optical settings: where does a quantum advantage, that is, the ability of quantum machines to outperform classical machines, come from? How to ensure the proper functioning of a quantum machine? What advantages can be gained in practice from the use of quantum information? Quantum advantage in continuous variable comes in particular from the use of so-called non-Gaussian quantum states. We introduce the stellar formalism to characterize these states. We then study the transition from classically simulable models to models which are universal for quantum computing. We show that quantum computational supremacy, the dramatic speedup of quantum computers over their classical counterparts, may be realised with non-Gaussian states and Gaussian measurements. Quantum certification denotes the methods seeking to verify the correct functioning of a quantum machine. We consider certification of quantum states in continuous variable, introducing several protocols according to the assumptions made on the tested state. We develop efficient methods for the verification of a large class of multimode quantum states, including the output states of the Boson Sampling model, enabling the experimental verification of quantum supremacy with photonic quantum computing. We give several new examples of practical applications of quantum information in linear quantum optics. Generalising the swap test, we highlight a connection between the ability to distinguish two quantum states and the ability to perform universal programmable quantum measurements, for which we give various implementations in linear optics, based on the use of single photons or coherent states. Finally, we obtain, thanks to linear optics, the first implementation of a quantum protocol for weak coin flipping, a building block for many cryptographic applications.
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).
This thesis presents results under the topics of quantum correlations and quantum information processing using linear-optical networks. The first part of this thesis concerns with quantum correlations, specially in Gaussian states, which play a central role as resource in quantum protocols. The second part is about quantum information processing using linear-optical networks that are of great practical interest due to their simple physical realization. In the first part, we present a measurement-based method for verifying nonzero quantum discord, a measure of quantum correlations, in bipartite systems that can be used for both continuous and discrete-variable systems. Based on this method, we show that the only bipartite Gaussian states with zero quantum discord are product states. We also present a simple and efficient experimental method for verifying quantum correlations in Gaussian states using homodyne measurements. Moreover, we introduce an operational measure for quantifying quantum correlations in Gaussian states that is purely based on Gaussian measurements. We then illustrate the operational significance of the measure in terms of a Gaussian quantum protocol. In the second part, we present results on linear quantum-optics experiments, specifically boson sampling, an intermediate model of quantum computation that can be implemented using single-photon states, linear-optical networks, and photodetectors. We first present an efficient experimental method for characterization of linear-optical networks, which is essential for practical implementation of boson sampling. We show that using coherent states one can directly measure all the nontrivial phases and moduli of the matrix describing the network. Next, we consider the problem of boson sampling with Gaussian states. We derive a general formula for calculating the output photon-counting probabilities. We show that for input thermal states, sampling from the output probability distribution can be efficiently classically simulated. Using this, we find that permanents of positive-semidefinite Hermitian matrices can be approximated to within a multiplicative error in BPPNP. We also discuss boson sampling with squeezed vacuum states. Finally, we provide a sufficient condition for the efficient classical simulation of the general sampling problem using linear-quantum optics, which involves a multimode input quantum state to a linear-optical network and set of measurements at the output. This condition is based on the phase-space quasiprobability distributions, and suggests that negativity is a quantum resource. We apply this condition to implementations of boson sampling using single-photon or spontaneous parametric down-conversion sources. We show that above some threshold for loss and noise in the experiment, boson sampling is classically simulatable.
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).
Quantum technologies are rapidly emerging as a foundation for next-generation information processing, communication, and sensing. In particular, optical platforms stand out as a promising avenue for scalable and efficient architectures. Here, information can be encoded either in discrete variables (DV)—such as polarization, path, frequency, or angular momentum—or in continuous variables (CV) of the optical field, such as quadratures. We develope a new formalism for the joint description of multiphoton and multimode light undergoing Gaussian transformations, and we use it to explore two DV-CV hybrid protocols. The first unifies and extends distinct forms of boson sampling, merging DV scattershot boson sampling with CV Gaussian boson sampling, thereby enabling quantum advantage demonstrations with squeezed photons. The second protocol deals with the Bell state measurement (BSM) for qudits, which are a higher-dimensional generalization of the qubit. Bell measurements play a key role in fusion-based quantum computation entanglement distribution and secret key sharing. We therefore introduce high-dimensional BSMs through linear interferometry combined with multiple single-mode squeezers, outperforming state-of-the-art theoretical methods in linear optics without using auxiliary states. This result shows how bridging the DV and CV paradigms provides a framework in which their combined strengths can outperform their standalone applications and overcome their individual limitations.
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.
A universal quantum computer of moderate scale is not available yet, however intermediate models of quantum computation would still permit demonstrations of a quantum computational advantage over classical computing and could challenge the Extended Church-Turing Thesis. One of these models based on single photons interacting via linear optics is called Boson Sampling. Proof-of-principle Boson Sampling has been demonstrated, but the number of photons used for these demonstrations is below the level required to claim quantum computational advantage. To make progress with this problem, here we conclude that the most practically achievable pathway to scale Boson Sampling experiments with current technologies is by combining continuous-variables quantum information and temporal encoding. We propose the use of switchable dual-homodyne and single-photon detections, the temporal loop technique and scattershot based Boson Sampling. This proposal gives details as to what the required assumptions are and a pathway for a quantum optical demonstration of quantum computational advantage. Furthermore, this particular combination of techniques permits a single efficient implementation of Boson Sampling and efficient verification in a single experimental setup.