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

arXiv:quant-ph/0109047 · Physical Review Letters

Efficient Classical Simulation of Continuous Variable Quantum Information Processes

Stephen D. Bartlett, Barry C. Sanders, Samuel L. Braunstein, Kae Nemoto

Published Feb 14, 2002• 424 citations
arXivHTMLPDF

Abstract

We obtain sufficient conditions for the efficient simulation of a continuous variable quantum algorithm or process on a classical computer. The resulting theorem is an extension of the Gottesman-Knill theorem to continuous variable quantum information. For a collection of harmonic oscillators, any quantum process that begins with unentangled Gaussian states, performs only transformations generated by Hamiltonians that are quadratic in the canonical operators, and involves only measurements of canonical operators (including finite losses) and suitable operations conditioned on these measurements can be simulated efficiently on a classical computer.

DOI
10.1103/physrevlett.88.097904

Related papers

On the Significance of the Gottesman–Knill Theorem

Michael E. Cuffaro

According to the Gottesman–Knill theorem, quantum algorithms that utilize only the operations belonging to a certain restricted set are efficiently simulable classically. Since some of the operations in this set generate entangled states, it is commonly concluded that entanglement is insufficient to enable quantum computers to outperform classical computers. I argue in this article that this conclusion is misleading. First, the statement of the theorem (that the particular set of quantum operations in question can be simulated using a classical computer) is, on reflection, already evident when we consider Bell’s and related inequalities in the context of a discussion of computational machines. This, in turn, helps us to understand that the appropriate conclusion to draw from the Gottesman–Knill theorem is not that entanglement is insufficient to enable a quantum performance advantage, but rather that if we limit ourselves to the operations referred to in the Gottesman–Knill theorem, we will not have used the resources provided by an entangled quantum system to their full potential. 1 Introduction 2 The Gottesman–Knill Theorem 3 The Significance of the Gottesman–Knill Theorem 4 Classical Communication and Locally Causal Description 5 Constraining Locally Causal Descriptions in the Practical Context of Inquiry 6 The Sufficiency of Entanglement Thesis 7 Summary Appendix A Recovering Statistics for Bipartite Entangled States Generated from Gottesman–Knill Operations Appendix B Recovering Statistics of Pauli Measurements on the GHZ State

arXiv:1310.0938•The British Journal for the Philosophy of Science•Jul 1, 2015•19 citations

Positive Wigner Functions Render Classical Simulation of Quantum Computation Efficient

Andrea Mari, Jens Eisert

We show that quantum circuits where the initial state and all the following quantum operations can be represented by positive Wigner functions can be classically efficiently simulated. This is true both for continuous-variable as well as discrete variable systems in odd prime dimensions, two cases which will be treated on entirely the same footing. Noting the fact that Clifford and Gaussian operations preserve the positivity of the Wigner function, our result generalizes the Gottesman-Knill theorem. Our algorithm provides a way of sampling from the output distribution of a computation or a simulation, including the efficient sampling from an approximate output distribution in the case of sampling imperfections for initial states, gates, or measurements. In this sense, this work highlights the role of the positive Wigner function as separating classically efficiently simulable systems from those that are potentially universal for quantum computing and simulation, and it emphasizes the role of negativity of the Wigner function as a computational resource.

arXiv:1208.3660•Physical Review Letters•Dec 4, 2012•457 citations

Limitations on continuous variable quantum algorithms with Fourier transforms

Mark Adcock, Peter Høyer, Barry C. Sanders

We study quantum algorithms implemented within a single harmonic oscillator, or equivalently within a single mode of the electromagnetic field. Logical states correspond to functions of the canonical position, and the Fourier transform to canonical momentum serves as the analogue of the Hadamard transform for this implementation. This continuous variable version of quantum information processing has widespread appeal because of advanced quantum optics technology that can create, manipulate and read Gaussian states of light. We show that, contrary to a previous claim, this implementation of quantum information processing has limitations due to a position–momentum trade-off of the Fourier transform, analogous to the famous time-bandwidth theorem of signal processing.

arXiv:0812.3694•New Journal of Physics•Oct 21, 2009•38 citations

Efficient simulation scheme for a class of quantum optics experiments with non-negative Wigner representation

Victor Veitch, Nathan Wiebe, Christopher Ferrie +1 more

We provide a scheme for efficient simulation of a broad class of quantum optics experiments. Our efficient simulation extends the continuous variable Gottesman–Knill theorem to a large class of non-Gaussian mixed states, thereby demonstrating that these non-Gaussian states are not an enabling resource for exponential quantum speed-up. Our results also provide an operationally motivated interpretation of negativity as non-classicality. We apply our scheme to the case of noisy single-photon-added-thermal-states to show that this class admits states with positive Wigner function but negative P -function that are not useful resource states for quantum computation.

arXiv:1210.1783•New Journal of Physics•Jan 17, 2013•105 citations

Gaussian States of Continuous Variable Systems

Alessio Serafini

Quantum continuous variable systems are quantum systems obeying the canonical commutation relations. As we have seen in the previous chapter, such systems always require the adoption of infinite-dimensional Hilbert spaces, even when a finite number of degrees of freedom is considered. Besides making their dynamics potentially intractable, this fact also implies that the study of properties related to the information and correlation content of continuous variable systems turns out to be particularly difficult. A widely known way to make continuous variable systems more tractable is to consider the restriction to Gaussian states. Already well trodden in older research on quantum optics, the study of Gaussian systems has more recently become a central theme of continuous variable quantum information. If open quantum systems, coupled to an external environment, are considered, the Gaussian regime applies when the system couples linearly to its environment and when system and environment are governed by Hamiltonians which are at most quadratic in the canonical operators (or, equivalently, when the overall Hamiltonian of system and environment is at most quadratic). These conditions may seem rather restrictive but, as we shall point out in the course of the book, are actually ordinarily met by a vast number of existing experimental set-ups in the areas of quantum optics, trapped ions, optomechanics, atomic ensembles and certain superconducting degrees of freedom (all of these platforms are reviewed in Chapter 9 ). What we will refer to as Gaussian measurements – POVMs that preserve the Gaussian character of initial states – are also customarily carried out with comparatively high efficiency, while the description of quantum noise can be incorporated seamlessly into the Gaussian picture. What is perhaps even more important to note is that the restriction to the Gaussian realm, while not exhaustive of the full wealth of dynamics and situations allowed in the whole Hilbert space, still lets one include most of the processes relevant to quantum technologies. Squeezing, whereby certain canonical quadratures have uncertainties below the vacuum state noise, and can hence be used in precision measurements, quantum entanglement, and cooling, where the entropy is drained out of a system in order to reach a pure quantum state and thus initialise information protocols or low noise experiments, may all be described within the Gaussian regime. Within the quantum information discourse, the Gaussian restriction has been often criticised on the grounds that no real genuinely quantum effects can ever be observed without leaving it at some point, since the statistics obtained from Gaussian states through Gaussian measurements can be reproduced by classical probability distributions. While technically correct, the reader should be reminded that such critiques often disregard the fact that the object described by a Gaussian state does entail a genuinely quantum description in a Hilbert space. Hence, for instance, the preparation of a pure Gaussian quantum state is the preparation of a pure vector of the Hilbert space. Likewise, a highly squeezed Gaussian state prepared for a metrological protocol is a state with very low noise in a certain physical observable, regardless of whether it can be mimicked by a classical distribution or not. The testing and exploitation of quantum non-locality (stronger than classical correlations that imply the presence of quantum entanglement) with Gaussian states does instead require a departure from Gaussian measurements. However, as we will see, certain non-Gaussian measurements are customarily implemented with current technology, and it is hence still relevant to study in detail the creation of such a resource for Gaussian states. This chapter will introduce Gaussian states from a somewhat unusual angle: as ground and thermal states of at most second-order Hamiltonians. Our treatment will highlight the privileged role played by quadratic canonical ( i.e. , ‘symplectic’) transformations in this context, which we will take care to describe in full generality, and will hinge on the reduction of Gaussian states into their normal modes, which allows for their systematic diagonalisation. We will then proceed to explore an equivalent characterisation in terms of statistical moments of the canonical operators, and to introduce the implications of non-commutativity on such statistics in the form of the Robertson–Schrödinger uncertainty relation.

CRC Press eBooks•Jun 1, 2023•0 citations

Classical simulation of quantum computation, the gottesman-Knill theorem, and slightly beyond

M. Van den Nest

We study classical simulation of quantum computation, taking the Gottesman-Knill theorem as a starting point. We show how each Clifford circuit can be reduced to an equivalent, manifestly simulatable circuit (normal form). This provides a simple proof of the Gottesman-Knill theorem without resorting to stabilizer techniques. The normal form highlights why Clifford circuits have such limited computational power in spite of their high entangling power. At the same time, the normal form shows how the classical simulation of Clifford circuits fits into the standard way of embedding classical computation into the quantum circuit model. This leads to simple extensions of Clifford circuits which are classically simulatable. These circuits can be efficiently simulated by classical sampling (``weak simulation'') even though the problem of exactly computing the outcomes of measurements for these circuits (``strong simulation'') is proved to be $\#\mathbf{P}$-complete---thus showing that there is a separation between weak and strong classical simulation of quantum computation.

Quantum Information and Computation•Mar 1, 2010•82 citations
We obtain sufficient conditions for the efficient simulation of a continuous variable quantum algorithm or process on a classical computer. The resulting theorem is an extension of the Gottesman-Knill theorem to continuous variable quantum information. For a collection of harmonic oscillators, any quantum process that begins with unentangled Gaussian states, performs only transformations generated by Hamiltonians that are quadratic in the canonical operators, and involves only measurements of canonical operators (including finite losses) and suitable operations conditioned on these measurements can be simulated efficiently on a classical computer.
According to the Gottesman–Knill theorem, quantum algorithms that utilize only the operations belonging to a certain restricted set are efficiently simulable classically. Since some of the operations in this set generate entangled states, it is commonly concluded that entanglement is insufficient to enable quantum computers to outperform classical computers. I argue in this article that this conclusion is misleading. First, the statement of the theorem (that the particular set of quantum operations in question can be simulated using a classical computer) is, on reflection, already evident when we consider Bell’s and related inequalities in the context of a discussion of computational machines. This, in turn, helps us to understand that the appropriate conclusion to draw from the Gottesman–Knill theorem is not that entanglement is insufficient to enable a quantum performance advantage, but rather that if we limit ourselves to the operations referred to in the Gottesman–Knill theorem, we will not have used the resources provided by an entangled quantum system to their full potential. 1 Introduction 2 The Gottesman–Knill Theorem 3 The Significance of the Gottesman–Knill Theorem 4 Classical Communication and Locally Causal Description 5 Constraining Locally Causal Descriptions in the Practical Context of Inquiry 6 The Sufficiency of Entanglement Thesis 7 Summary Appendix A Recovering Statistics for Bipartite Entangled States Generated from Gottesman–Knill Operations Appendix B Recovering Statistics of Pauli Measurements on the GHZ State
We show that quantum circuits where the initial state and all the following quantum operations can be represented by positive Wigner functions can be classically efficiently simulated. This is true both for continuous-variable as well as discrete variable systems in odd prime dimensions, two cases which will be treated on entirely the same footing. Noting the fact that Clifford and Gaussian operations preserve the positivity of the Wigner function, our result generalizes the Gottesman-Knill theorem. Our algorithm provides a way of sampling from the output distribution of a computation or a simulation, including the efficient sampling from an approximate output distribution in the case of sampling imperfections for initial states, gates, or measurements. In this sense, this work highlights the role of the positive Wigner function as separating classically efficiently simulable systems from those that are potentially universal for quantum computing and simulation, and it emphasizes the role of negativity of the Wigner function as a computational resource.
We study quantum algorithms implemented within a single harmonic oscillator, or equivalently within a single mode of the electromagnetic field. Logical states correspond to functions of the canonical position, and the Fourier transform to canonical momentum serves as the analogue of the Hadamard transform for this implementation. This continuous variable version of quantum information processing has widespread appeal because of advanced quantum optics technology that can create, manipulate and read Gaussian states of light. We show that, contrary to a previous claim, this implementation of quantum information processing has limitations due to a position–momentum trade-off of the Fourier transform, analogous to the famous time-bandwidth theorem of signal processing.
We provide a scheme for efficient simulation of a broad class of quantum optics experiments. Our efficient simulation extends the continuous variable Gottesman–Knill theorem to a large class of non-Gaussian mixed states, thereby demonstrating that these non-Gaussian states are not an enabling resource for exponential quantum speed-up. Our results also provide an operationally motivated interpretation of negativity as non-classicality. We apply our scheme to the case of noisy single-photon-added-thermal-states to show that this class admits states with positive Wigner function but negative P -function that are not useful resource states for quantum computation.
Quantum continuous variable systems are quantum systems obeying the canonical commutation relations. As we have seen in the previous chapter, such systems always require the adoption of infinite-dimensional Hilbert spaces, even when a finite number of degrees of freedom is considered. Besides making their dynamics potentially intractable, this fact also implies that the study of properties related to the information and correlation content of continuous variable systems turns out to be particularly difficult. A widely known way to make continuous variable systems more tractable is to consider the restriction to Gaussian states. Already well trodden in older research on quantum optics, the study of Gaussian systems has more recently become a central theme of continuous variable quantum information. If open quantum systems, coupled to an external environment, are considered, the Gaussian regime applies when the system couples linearly to its environment and when system and environment are governed by Hamiltonians which are at most quadratic in the canonical operators (or, equivalently, when the overall Hamiltonian of system and environment is at most quadratic). These conditions may seem rather restrictive but, as we shall point out in the course of the book, are actually ordinarily met by a vast number of existing experimental set-ups in the areas of quantum optics, trapped ions, optomechanics, atomic ensembles and certain superconducting degrees of freedom (all of these platforms are reviewed in Chapter 9 ). What we will refer to as Gaussian measurements – POVMs that preserve the Gaussian character of initial states – are also customarily carried out with comparatively high efficiency, while the description of quantum noise can be incorporated seamlessly into the Gaussian picture. What is perhaps even more important to note is that the restriction to the Gaussian realm, while not exhaustive of the full wealth of dynamics and situations allowed in the whole Hilbert space, still lets one include most of the processes relevant to quantum technologies. Squeezing, whereby certain canonical quadratures have uncertainties below the vacuum state noise, and can hence be used in precision measurements, quantum entanglement, and cooling, where the entropy is drained out of a system in order to reach a pure quantum state and thus initialise information protocols or low noise experiments, may all be described within the Gaussian regime. Within the quantum information discourse, the Gaussian restriction has been often criticised on the grounds that no real genuinely quantum effects can ever be observed without leaving it at some point, since the statistics obtained from Gaussian states through Gaussian measurements can be reproduced by classical probability distributions. While technically correct, the reader should be reminded that such critiques often disregard the fact that the object described by a Gaussian state does entail a genuinely quantum description in a Hilbert space. Hence, for instance, the preparation of a pure Gaussian quantum state is the preparation of a pure vector of the Hilbert space. Likewise, a highly squeezed Gaussian state prepared for a metrological protocol is a state with very low noise in a certain physical observable, regardless of whether it can be mimicked by a classical distribution or not. The testing and exploitation of quantum non-locality (stronger than classical correlations that imply the presence of quantum entanglement) with Gaussian states does instead require a departure from Gaussian measurements. However, as we will see, certain non-Gaussian measurements are customarily implemented with current technology, and it is hence still relevant to study in detail the creation of such a resource for Gaussian states. This chapter will introduce Gaussian states from a somewhat unusual angle: as ground and thermal states of at most second-order Hamiltonians. Our treatment will highlight the privileged role played by quadratic canonical ( i.e. , ‘symplectic’) transformations in this context, which we will take care to describe in full generality, and will hinge on the reduction of Gaussian states into their normal modes, which allows for their systematic diagonalisation. We will then proceed to explore an equivalent characterisation in terms of statistical moments of the canonical operators, and to introduce the implications of non-commutativity on such statistics in the form of the Robertson–Schrödinger uncertainty relation.
We study classical simulation of quantum computation, taking the Gottesman-Knill theorem as a starting point. We show how each Clifford circuit can be reduced to an equivalent, manifestly simulatable circuit (normal form). This provides a simple proof of the Gottesman-Knill theorem without resorting to stabilizer techniques. The normal form highlights why Clifford circuits have such limited computational power in spite of their high entangling power. At the same time, the normal form shows how the classical simulation of Clifford circuits fits into the standard way of embedding classical computation into the quantum circuit model. This leads to simple extensions of Clifford circuits which are classically simulatable. These circuits can be efficiently simulated by classical sampling (``weak simulation'') even though the problem of exactly computing the outcomes of measurements for these circuits (``strong simulation'') is proved to be #P\#\mathbf{P}#P-complete---thus showing that there is a separation between weak and strong classical simulation of quantum computation.