Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Quantum correlations and information in linear-optical networks

Saleh Rahimi-Keshari

Published Nov 20, 2015• 0 citations
Publisher

Abstract

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.

DOI
10.14264/uql.2015.1089

Related papers

Extracting quantum correlations from gaussian states

Helen M. Chrzanowski

The Gaussian toolbox of the continuous variables provides for deterministic, high-efficiency operations with non-classical states. Its very Gaussian nature, however, restricts its reach for quantum information and communication applications. This thesis comprises three experimental works, which seek to examine the strengths of this toolbox and address some of its weaknesses. The measurement-based non-linearity of a conditional photon-counting measurement can be used to de-Gaussify' a Gaussian state of light. Here, we propose a continuous variable analog of just such a 'heralding' measurement, replacing a non-deterministic photon-counting measurement with a deterministic measurement of the field quadratures. Such a technique cannot be used to prepare a non-Gaussian state, but it can, on average, yield the same non-Gaussian statistics. We demonstrate this technique by reconstructing the statistics of non-Gaussian photon-subtracted squeezed vacuum states. We then consider the problem of noiseless linear amplification. We experimentally demonstrate that in certain scenarios, the requirement for a physical noiseless linear amplifier can be exchanged for a straightforward post-selection of the measurement record. We apply our 'virtual' noiseless amplifier to entanglement degraded by transmission loss of up to the equivalent of 100km of optical fibre. We extract an effective entangled resource stronger than even that achievable with a maximally entangled resource passively transmitted through the same channel. We also provide a proof-of-principle demonstration of the value of the measurement-based noiseless linear amplifier for quantum key distribution, extracting a secret key from an otherwise insecure regime. Lastly, we turn to the recently popularised measure of all quantum correlations: quantum discord. Quantum discord has emerged as a measure of quantum correlations beyond entanglement, with significant ramifications for our understanding of Gaussian states. Here, we introduce a simple protocol that yields an operational interpretation of quantum discord: that discord describes information only accessible via coherent interactions. We first experimentally encode information within the discordant correlations of two separable Gaussian states. The amount of extra information recovered by coherent interactions is directly linked to the discord of the original state.

•Jan 1, 2014•0 citations

Simulating Gaussian boson sampling quantum computers

Alexander S. Dellios, M. D. Reid, P. D. Drummond

Abstract A growing cohort of experimental linear photonic networks implementing Gaussian boson sampling (GBS) have now claimed quantum advantage. However, many open questions remain on how to effectively verify these experimental results, as scalable methods are needed that fully capture the rich array of quantum correlations generated by these photonic quantum computers. In this paper, we briefly review recent theoretical methods to simulate experimental GBS networks. We focus mostly on methods that use phase-space representations of quantum mechanics, as these methods are highly scalable and can be used to validate experimental outputs and claims of quantum advantage for a variety of input states, ranging from the ideal pure squeezed vacuum state to more realistic thermalized squeezed states. A brief overview of the theory of GBS, recent experiments, and other types of methods are also presented. Although this is not an exhaustive review, we aim to provide a brief introduction to phase-space methods applied to linear photonic networks to encourage further theoretical investigations.

arXiv:2308.00908•AAPPS bulletin•Nov 29, 2023•13 citations

Gaussian deterministic and probabilistic transformations of bosonic quantum fields: squeezing and entanglement generation

Christos N. Gagatsos, Nicolas J. Cerf

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

•Dec 17, 2014•0 citations

Continuous Variable Quantum Advantages and Applications in Quantum Optics

Ulysse Chabaud

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.

arXiv:2102.05227•Feb 10, 2021•1 citation

Simulating complex networks in phase space: Gaussian boson sampling

P. D. Drummond, Bogdan Opanchuk, Alexander S. Dellios +1 more

We show how phase-space simulations of quantum states in a linear photonic network permit the verification of measurable probabilities and entanglement. We compare our predictions with recent Gaussian boson sampling experiments of Zhong et al. These use squeezed inputs and efficient ``on-off'' detectors, with up to 76th-order measured coincidence counts in the data. We introduce a general definition of grouped ``on-off'' detection probabilities for this purpose. The positive-$P$ phase-space method is used to compute any grouped or marginal click probabilities. Additional decoherence is included to obtain agreement between theory and experiment. The only limitation in estimating grouped probabilities is the computational sampling error, which is similar in magnitude to the experimental sampling error. The results obtained and graphed here are from first-order up to 16 000th-order grouped count probabilities. However, any order between these is also computable. We extend these results to include grouped probabilities with multidimensional outcomes that have a polynomial number of points. We also analyze quadrature detection experiments and show how to simulate genuine multipartite entanglement using Wigner phase-space methods.

arXiv:2102.10341•Physical Review A•Jan 26, 2022•33 citations

Quantum Correlations in Nonlocal Boson Sampling

Farid Shähandeh, Austin P. Lund, Timothy C. Ralph

Determination of the quantum nature of correlations between two spatially separated systems plays a crucial role in quantum information science. Of particular interest is the questions of if and how these correlations enable quantum information protocols to be more powerful. Here, we report on a distributed quantum computation protocol in which the input and output quantum states are considered to be classically correlated in quantum informatics. Nevertheless, we show that the correlations between the outcomes of the measurements on the output state cannot be efficiently simulated using classical algorithms. Crucially, at the same time, local measurement outcomes can be efficiently simulated on classical computers. We show that the only known classicality criterion violated by the input and output states in our protocol is the one used in quantum optics, namely, phase-space nonclassicality. As a result, we argue that the global phase-space nonclassicality inherent within the output state of our protocol represents true quantum correlations.

arXiv:1702.02156•Physical Review Letters•Sep 19, 2017•29 citations
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.
The Gaussian toolbox of the continuous variables provides for deterministic, high-efficiency operations with non-classical states. Its very Gaussian nature, however, restricts its reach for quantum information and communication applications. This thesis comprises three experimental works, which seek to examine the strengths of this toolbox and address some of its weaknesses. The measurement-based non-linearity of a conditional photon-counting measurement can be used to de-Gaussify' a Gaussian state of light. Here, we propose a continuous variable analog of just such a 'heralding' measurement, replacing a non-deterministic photon-counting measurement with a deterministic measurement of the field quadratures. Such a technique cannot be used to prepare a non-Gaussian state, but it can, on average, yield the same non-Gaussian statistics. We demonstrate this technique by reconstructing the statistics of non-Gaussian photon-subtracted squeezed vacuum states. We then consider the problem of noiseless linear amplification. We experimentally demonstrate that in certain scenarios, the requirement for a physical noiseless linear amplifier can be exchanged for a straightforward post-selection of the measurement record. We apply our 'virtual' noiseless amplifier to entanglement degraded by transmission loss of up to the equivalent of 100km of optical fibre. We extract an effective entangled resource stronger than even that achievable with a maximally entangled resource passively transmitted through the same channel. We also provide a proof-of-principle demonstration of the value of the measurement-based noiseless linear amplifier for quantum key distribution, extracting a secret key from an otherwise insecure regime. Lastly, we turn to the recently popularised measure of all quantum correlations: quantum discord. Quantum discord has emerged as a measure of quantum correlations beyond entanglement, with significant ramifications for our understanding of Gaussian states. Here, we introduce a simple protocol that yields an operational interpretation of quantum discord: that discord describes information only accessible via coherent interactions. We first experimentally encode information within the discordant correlations of two separable Gaussian states. The amount of extra information recovered by coherent interactions is directly linked to the discord of the original state.
Abstract A growing cohort of experimental linear photonic networks implementing Gaussian boson sampling (GBS) have now claimed quantum advantage. However, many open questions remain on how to effectively verify these experimental results, as scalable methods are needed that fully capture the rich array of quantum correlations generated by these photonic quantum computers. In this paper, we briefly review recent theoretical methods to simulate experimental GBS networks. We focus mostly on methods that use phase-space representations of quantum mechanics, as these methods are highly scalable and can be used to validate experimental outputs and claims of quantum advantage for a variety of input states, ranging from the ideal pure squeezed vacuum state to more realistic thermalized squeezed states. A brief overview of the theory of GBS, recent experiments, and other types of methods are also presented. Although this is not an exhaustive review, we aim to provide a brief introduction to phase-space methods applied to linear photonic networks to encourage further theoretical investigations.
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
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.
We show how phase-space simulations of quantum states in a linear photonic network permit the verification of measurable probabilities and entanglement. We compare our predictions with recent Gaussian boson sampling experiments of Zhong et al. These use squeezed inputs and efficient ``on-off'' detectors, with up to 76th-order measured coincidence counts in the data. We introduce a general definition of grouped ``on-off'' detection probabilities for this purpose. The positive-PPP phase-space method is used to compute any grouped or marginal click probabilities. Additional decoherence is included to obtain agreement between theory and experiment. The only limitation in estimating grouped probabilities is the computational sampling error, which is similar in magnitude to the experimental sampling error. The results obtained and graphed here are from first-order up to 16 000th-order grouped count probabilities. However, any order between these is also computable. We extend these results to include grouped probabilities with multidimensional outcomes that have a polynomial number of points. We also analyze quadrature detection experiments and show how to simulate genuine multipartite entanglement using Wigner phase-space methods.
Determination of the quantum nature of correlations between two spatially separated systems plays a crucial role in quantum information science. Of particular interest is the questions of if and how these correlations enable quantum information protocols to be more powerful. Here, we report on a distributed quantum computation protocol in which the input and output quantum states are considered to be classically correlated in quantum informatics. Nevertheless, we show that the correlations between the outcomes of the measurements on the output state cannot be efficiently simulated using classical algorithms. Crucially, at the same time, local measurement outcomes can be efficiently simulated on classical computers. We show that the only known classicality criterion violated by the input and output states in our protocol is the one used in quantum optics, namely, phase-space nonclassicality. As a result, we argue that the global phase-space nonclassicality inherent within the output state of our protocol represents true quantum correlations.