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:1911.12346 · Mathematics for industry

From the Bloch Sphere to Phase-Space Representations with the Gottesman–Kitaev–Preskill Encoding

Laura García-Álvarez, Alessandro Ferraro, Giulia Ferrini

Published Oct 22, 2020• 8 citations
arXivHTMLPDF

Abstract

Abstract In this work, we study the Wigner phase-space representation of qubit states encoded in continuous variables (CV) by using the Gottesman–Kitaev–Preskill (GKP) mapping. We explore a possible connection between resources for universal quantum computation in discrete-variable (DV) systems, i.e. non-stabilizer states, and negativity of the Wigner function in CV architectures, which is a necessary requirement for quantum advantage. In particular, we show that the lowest Wigner logarithmic negativity corresponds to encoded stabilizer states, while the maximum negativity is associated with the most non-stabilizer states, H-type and T-type quantum states.

DOI
10.1007/978-981-15-5191-8_9

Related papers

Bridging Magic and Non-Gaussian Resources via Gottesman-Kitaev-Preskill Encoding

Oliver Hahn, Giulia Ferrini, Ryuji Takagi

Although the similarity between nonstabilizer states—also known as magic states—in discrete-variable systems and non-Gaussian states in continuous-variable systems has widely been recognized, the precise connections between these two notions have still been unclear. We establish a fundamental link between these two quantum resources via the Gottesman-Kitaev-Preskill (GKP) encoding. We show that the negativity of the continuous-variable Wigner function for an encoded GKP state coincides with a magic measure we introduce, which matches the negativity of the discrete Wigner function for odd dimensions. We also provide a continuous-variable representation of the stabilizer Rényi entropy—a recent proposal for a magic measure for multiqubit states. We further provide the magic measure with an operational interpretation as a runtime of a classical simulation algorithm. In addition, we employ our results to prove that implementing a multiqubit logical non-Clifford operation in the GKP code subspace requires a non-Gaussian operation even at the limit of perfect encoding, despite the fact that the ideal GKP states already come with a large amount of non-Gaussianity.

arXiv:2406.06418•PRX Quantum•Feb 18, 2025•15 citations

Efficient simulatability of continuous-variable circuits with large Wigner negativity

Laura García-Álvarez, Cameron Calcluth, Alessandro Ferraro +1 more

Discriminating between quantum computing architectures that can provide quantum advantage from those that cannot is of crucial importance.From the fundamental point of view, establishing such a boundary is akin to pinpointing the resources for quantum advantage; from the technological point of view, it is essential for the design of nontrivial quantum computing architectures.Wigner negativity is known to be a necessary resource for computational advantage in several quantum-computing architectures, including those based on continuous variables (CVs).However, it is not a sufficient resource, and it is an open question under which conditions CV circuits displaying Wigner negativity offer the potential for quantum advantage.In this work we identify vast families of circuits that display large, possibly unbounded, Wigner negativity, and yet are classically efficiently simulatable, although they are not recognized as such by previously available theorems.These families of circuits employ bosonic codes based on either translational or rotational symmetries (e.g., Gottesman-Kitaev-Preskill or cat codes) and can include both Gaussian and non-Gaussian gates and measurements.Crucially, within these encodings, the computational basis states are described by intrinsically negative Wigner functions, even though they are stabilizer states if considered as codewords belonging to a finite-dimensional Hilbert space.We derive our results by establishing a link between the simulatability of high-dimensional discrete-variable quantum circuits and bosonic codes.

arXiv:2005.12026•Physical Review Research•Dec 4, 2020•33 citations

The logical set of Gaussian states under the stabilizer subsystem decomposition

Santiago Zamora, Kaustav Chatterjee, Ulrik Lund Andersen +4 more

Universal quantum computation requires non-Gaussianity in continuous-variable systems and non-stabilizerness in discrete-variable systems. Yet, mapping a Gaussian state into the Gottesman-Kitaev-Preskill logical subspace can yield a logical qubit with non-stabilizer resources. To understand how the continuous-variable structure determines logical resources, we characterize the image of single-mode Gaussian states under the corresponding extraction channel, known as the stabilizer subsystem decomposition. Specifically, we derive series expressions for the logical Bloch vector and characterize the resulting reachable set, enabling an analytical treatment of the robustness of magic of the logical states. We then turn this geometric framework into a certification tool: by mapping a discrete-variable qubit witness to a continuous-variable squeezing witness, we obtain lower bounds on the squeezing of prepared states. We also show that ensembles of Gaussian states can violate both stabilizer and classical bounds. Violation of the stabilizer bound certifies the relational resource known as "set-magic," while violation of the classical bound enables the certification of cryptographic randomness at moderate squeezing.

quant-pharXiv:2609.26898•Sep 24, 2026•0 citations

Phase-space methods for representing, manipulating, and correcting Gottesman-Kitaev-Preskill qubits

Lucas J. Mensen, Ben Q. Baragiola, Nicolas C. Menicucci

The Gottesman-Kitaev-Preskill (GKP) encoding of a qubit into a bosonic mode is a promising bosonic code for quantum computation due to its tolerance for noise and all-Gaussian gate set. We present a toolkit for phase-space description and manipulation of GKP encodings that includes Wigner functions for ideal and approximate GKP states, for various types of mixed GKP states, and for GKP-encoded operators. One advantage of a phase-space approach is that Gaussian unitaries, required for computation with GKP codes, correspond to simple transformations on the arguments of Wigner functions. We use this fact and our toolkit to describe GKP error correction, including magic-state preparation, entirely in phase space using operations on Wigner functions. While our focus here is on the square-lattice GKP code, we provide a general framework for GKP codes defined on any lattice.

arXiv:2012.12488•Physical Review A•Aug 6, 2021•21 citations

Deriving T-gates from cubic phase gates via GKP encoding

Lingxuan Feng, Shunlong Luo

Abstract In discrete-variable quantum computation, non-Clifford T-gates play a pivotal role in achieving genuine quantum advantage. However, in the literature, T-gates are only defined for prime dimensional systems, and the absence of their high-dimensional counterparts in non-prime dimensional systems raises the issue of how to introduce certain T-gates in such systems. In continuous-variable quantum computation, universality is achieved through a combination of Gaussian gates and some non-Gaussian gates, such as the widely used cubic phase gates. In this work, we establish some connections between discrete-variable (Clifford/non-Clifford) gates and continuous-variable (Gaussian/non-Gaussian) gates via the powerful GKP (Gottesman–Kitaev–Preskill) encoding, which maps qudits to oscillators and serves as a bridge between discrete and continuous realms. By exploiting the analogies between the Clifford hierarchy and the Gaussian hierarchy, we derive (discrete-variable) T-gates in arbitrary (not necessarily prime) dimensional systems from well established (continuous-variable) cubic phase gates. We reveal some basic properties of the unified T-gates, and make a comparative study of various T-gates. As an application, we employ the T-gates to construct equidistributed n-angular frames and certain MUBs (mutually unbiased bases).

Communications in Theoretical Physics•Mar 26, 2025•3 citations

Realistic Gottesman-Kitaev-Preskill stabilizer states enable universal quantum computation

Fariba Hosseinynejad, Pavithran Iyer, Guillaume Dauphinais +1 more

Physical Gottesman-Kitaev-Preskill (GKP) states are inherently noisy as ideal ones would require infinite energy. While this is typically considered as a deficiency to be actively corrected, this work demonstrates that imperfect GKP stabilizer states can be leveraged in order to apply non-Clifford gates using only linear optical elements. In particular, Gaussian operations on normalizable GKP states, combined with homodyne measurements, permit two key primitives: clean projection onto Pauli eigenstates in the normalizable GKP codespace, thereby implementing Clifford gates with high fidelity; and probabilistic projection of unmeasured modes onto non-Pauli eigenstates. These results demonstrate that normalizable GKP stabilizer states combined with Gaussian operations provide a practical framework for computational universality within the measurement-based model of quantum computation in a realistic continuous-variable setting.

quant-pharXiv:2511.03874•Physical Review Letters•Nov 7, 2025•1 citation
Abstract In this work, we study the Wigner phase-space representation of qubit states encoded in continuous variables (CV) by using the Gottesman–Kitaev–Preskill (GKP) mapping. We explore a possible connection between resources for universal quantum computation in discrete-variable (DV) systems, i.e. non-stabilizer states, and negativity of the Wigner function in CV architectures, which is a necessary requirement for quantum advantage. In particular, we show that the lowest Wigner logarithmic negativity corresponds to encoded stabilizer states, while the maximum negativity is associated with the most non-stabilizer states, H-type and T-type quantum states.
Although the similarity between nonstabilizer states—also known as magic states—in discrete-variable systems and non-Gaussian states in continuous-variable systems has widely been recognized, the precise connections between these two notions have still been unclear. We establish a fundamental link between these two quantum resources via the Gottesman-Kitaev-Preskill (GKP) encoding. We show that the negativity of the continuous-variable Wigner function for an encoded GKP state coincides with a magic measure we introduce, which matches the negativity of the discrete Wigner function for odd dimensions. We also provide a continuous-variable representation of the stabilizer Rényi entropy—a recent proposal for a magic measure for multiqubit states. We further provide the magic measure with an operational interpretation as a runtime of a classical simulation algorithm. In addition, we employ our results to prove that implementing a multiqubit logical non-Clifford operation in the GKP code subspace requires a non-Gaussian operation even at the limit of perfect encoding, despite the fact that the ideal GKP states already come with a large amount of non-Gaussianity.
Discriminating between quantum computing architectures that can provide quantum advantage from those that cannot is of crucial importance.From the fundamental point of view, establishing such a boundary is akin to pinpointing the resources for quantum advantage; from the technological point of view, it is essential for the design of nontrivial quantum computing architectures.Wigner negativity is known to be a necessary resource for computational advantage in several quantum-computing architectures, including those based on continuous variables (CVs).However, it is not a sufficient resource, and it is an open question under which conditions CV circuits displaying Wigner negativity offer the potential for quantum advantage.In this work we identify vast families of circuits that display large, possibly unbounded, Wigner negativity, and yet are classically efficiently simulatable, although they are not recognized as such by previously available theorems.These families of circuits employ bosonic codes based on either translational or rotational symmetries (e.g., Gottesman-Kitaev-Preskill or cat codes) and can include both Gaussian and non-Gaussian gates and measurements.Crucially, within these encodings, the computational basis states are described by intrinsically negative Wigner functions, even though they are stabilizer states if considered as codewords belonging to a finite-dimensional Hilbert space.We derive our results by establishing a link between the simulatability of high-dimensional discrete-variable quantum circuits and bosonic codes.
Universal quantum computation requires non-Gaussianity in continuous-variable systems and non-stabilizerness in discrete-variable systems. Yet, mapping a Gaussian state into the Gottesman-Kitaev-Preskill logical subspace can yield a logical qubit with non-stabilizer resources. To understand how the continuous-variable structure determines logical resources, we characterize the image of single-mode Gaussian states under the corresponding extraction channel, known as the stabilizer subsystem decomposition. Specifically, we derive series expressions for the logical Bloch vector and characterize the resulting reachable set, enabling an analytical treatment of the robustness of magic of the logical states. We then turn this geometric framework into a certification tool: by mapping a discrete-variable qubit witness to a continuous-variable squeezing witness, we obtain lower bounds on the squeezing of prepared states. We also show that ensembles of Gaussian states can violate both stabilizer and classical bounds. Violation of the stabilizer bound certifies the relational resource known as "set-magic," while violation of the classical bound enables the certification of cryptographic randomness at moderate squeezing.
The Gottesman-Kitaev-Preskill (GKP) encoding of a qubit into a bosonic mode is a promising bosonic code for quantum computation due to its tolerance for noise and all-Gaussian gate set. We present a toolkit for phase-space description and manipulation of GKP encodings that includes Wigner functions for ideal and approximate GKP states, for various types of mixed GKP states, and for GKP-encoded operators. One advantage of a phase-space approach is that Gaussian unitaries, required for computation with GKP codes, correspond to simple transformations on the arguments of Wigner functions. We use this fact and our toolkit to describe GKP error correction, including magic-state preparation, entirely in phase space using operations on Wigner functions. While our focus here is on the square-lattice GKP code, we provide a general framework for GKP codes defined on any lattice.
Abstract In discrete-variable quantum computation, non-Clifford T-gates play a pivotal role in achieving genuine quantum advantage. However, in the literature, T-gates are only defined for prime dimensional systems, and the absence of their high-dimensional counterparts in non-prime dimensional systems raises the issue of how to introduce certain T-gates in such systems. In continuous-variable quantum computation, universality is achieved through a combination of Gaussian gates and some non-Gaussian gates, such as the widely used cubic phase gates. In this work, we establish some connections between discrete-variable (Clifford/non-Clifford) gates and continuous-variable (Gaussian/non-Gaussian) gates via the powerful GKP (Gottesman–Kitaev–Preskill) encoding, which maps qudits to oscillators and serves as a bridge between discrete and continuous realms. By exploiting the analogies between the Clifford hierarchy and the Gaussian hierarchy, we derive (discrete-variable) T-gates in arbitrary (not necessarily prime) dimensional systems from well established (continuous-variable) cubic phase gates. We reveal some basic properties of the unified T-gates, and make a comparative study of various T-gates. As an application, we employ the T-gates to construct equidistributed n-angular frames and certain MUBs (mutually unbiased bases).
Physical Gottesman-Kitaev-Preskill (GKP) states are inherently noisy as ideal ones would require infinite energy. While this is typically considered as a deficiency to be actively corrected, this work demonstrates that imperfect GKP stabilizer states can be leveraged in order to apply non-Clifford gates using only linear optical elements. In particular, Gaussian operations on normalizable GKP states, combined with homodyne measurements, permit two key primitives: clean projection onto Pauli eigenstates in the normalizable GKP codespace, thereby implementing Clifford gates with high fidelity; and probabilistic projection of unmeasured modes onto non-Pauli eigenstates. These results demonstrate that normalizable GKP stabilizer states combined with Gaussian operations provide a practical framework for computational universality within the measurement-based model of quantum computation in a realistic continuous-variable setting.