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:2210.14919 · PRX Quantum

Stabilizer Subsystem Decompositions for Single- and Multimode Gottesman-Kitaev-Preskill Codes

Mackenzie H. Shaw, Andrew C. Doherty, Arne L. Grimsmo

Published Feb 23, 2024• 24 citations
arXivHTMLPDF

Abstract

The Gottesman-Kitaev-Preskill (GKP) error-correcting code encodes a finite-dimensional logical space in one or more bosonic modes, and has recently been demonstrated in trapped ions and superconducting microwave cavities. In this work we introduce a new subsystem decomposition for GKP codes that we call the stabilizer subsystem decomposition, analogous to the usual approach to quantum stabilizer codes. The decomposition has the defining property that a partial trace over the nonlogical stabilizer subsystem is equivalent to an ideal decoding of the logical state, distinguishing it from previous GKP subsystem decompositions. We describe how to decompose arbitrary states across the subsystem decomposition using a set of transformations that move between the decompositions of different GKP codes. Besides providing a convenient theoretical view on GKP codes, such a decomposition is also of practical use. We use the stabilizer subsystem decomposition to efficiently simulate noise acting on single-mode GKP codes, and in contrast to more conventional Fock basis simulations, we are able to consider essentially arbitrarily large photon numbers for realistic noise channels, such as loss and dephasing. Published by the American Physical Society 2024

DOI
10.1103/prxquantum.5.010331

Related papers

Probabilistic Error Cancellation for Single-Mode Gottesman-Kitaev-Preskill Codes

Victoria Wadewitz, Alessandro Ciani

In order to solve practical problems on a quantum computer, it is necessary to use fault-tolerant quantum error correction schemes to overcome noise: the errors arising from imperfections in physical components. The Gottesman-Kitaev-Preskill (GKP) code aims at achieving this in a hardware efficient manner by encoding finite-dimensional logical subspaces in the Hilbert space of one or more continuous variable modes. In near term implementations, however, it is not feasible to eliminate errors entirely, so it is natural to also employ alternative error mitigation techniques together with error correction. In this work, we study a quantum error mitigation method known as probabilistic error cancellation in the context of the GKP code. We compare Steane-type and teleportation-based GKP error correction, and calculate the sampling overheads associated with the technique for square and hexagonal GKP codes. We employ the stabilizer subsystem decomposition for GKP codes to obtain an effective logical channel for noisy operations that is used to express the ideal one of a target logical unitary. We consider noise from finite squeezing on the data and the two ancilla modes, needed for error correction, and examine the relationship between the sampling overhead and the noise for different decoding methods. Our results are calculated for single- and two-qubit GKP Clifford gates and one round of error correction, and show the nontrivial combination of error correction and mitigation in continuous variable codes.

quant-pharXiv:2609.17095•Sep 16, 2026•0 citations

Zak transform as a framework for quantum computation with the Gottesman-Kitaev-Preskill code

Giacomo Pantaleoni, Ben Q. Baragiola, Nicolas C. Menicucci

The Gottesman-Kitaev-Preskill (GKP) code encodes a qubit into a bosonic mode using periodic wave functions. This periodicity makes the GKP code a natural setting for the Zak transform, which is tailor-made to provide a simple description for periodic functions. We review the Zak transform and its connection to a Zak basis of states in Hilbert space, decompose the shift operators that underpin the stabilizers and the correctable errors, and find that Zak transforms of the position wave function appear naturally in GKP error correction. We construct a bosonic subsystem decomposition (SSD)---the modular variable SSD---by dividing a mode's Hilbert space, expressed in the Zak basis, into that of a virtual qubit and a virtual gauge mode. Tracing over the gauge mode gives a logical-qubit state, and preceding the trace with a particular logical-gauge interaction gives a different logical state---that associated to GKP error correction.

arXiv:2210.09494•Physical Review A•Jun 28, 2023•11 citations

Bosonic Pauli+: Efficient Simulation of Concatenated Gottesman-Kitaev-Preskill Codes

Florian Hopfmueller, Maxime Tremblay, Philippe St-Jean +2 more

A promising route towards fault-tolerant quantum error correction is the concatenation of a Gottesman-Kitaev-Preskill (GKP) code with a qubit code. Development of such concatenated codes requires simulation tools which realistically model noise, while being able to simulate the dynamics of many modes. However, so far, large-scale simulation tools for concatenated GKP codes have been limited to idealized noise models and GKP code implementations. Here, we introduce the Bosonic Pauli+ model (BP+), which can be simulated efficiently for a large number of modes, while capturing the rich dynamics in the bosonic multi-mode Hilbert space. We demonstrate the method by simulating a hybrid surface code, where the data qubits are finite-energy GKP qubits stabilized using the small-Big-small (sBs) protocol, and the syndrome qubits are standard two-level systems. Using BP+, we present logical error rates of such an implementation. Confidence in the accuracy of the method is gained by comparing its predictions with full time evolution simulations for several relevant quantum circuits. While developed specifically for GKP qubits stabilized using the sBs protocol, the mathematical structure of BP+ is generic and may be applicable also to the simulation of concatenations using other bosonic codes.

arXiv:2402.09333•Quantum•Nov 26, 2024•2 citations

Subsystem self-correction of the GKP qubit

Brian Chung Hang Cheung, Lasse Bjørn Kristensen, Frederik Nathan +1 more

Passive quantum error correction, also known as self-correction, is a holy grail in quantum information science. Recent theoretical advances suggest that the Gottesman-Kitaev-Preskill (GKP) code can exhibit self-correction properties, positioning it as a candidate for the realization of self-correcting quantum memories. In this article, we provide a self-contained derivation of the self-correcting behavior of the ideal GKP Hamiltonian, manifested in the Arrhenius type scaling of the logical lifetime, from a quantum-information perspective based on the subsystem code decomposition. When coupling through the physical quadrature $q$ and $p$, the detailed-balance jump operators decompose into a dominant part acting only on the gauge subsystem and a boundary term that acts non-trivially on the logical qubit. The boundary term is then exponentially suppressed by the Gibbs weights near the edge of the modular cells. In contrast to spin-based quantum memories such as the two-dimensional surface code, the GKP Hamiltonian realizes an effective string tension in modular phase space, whereby the energy cost increases as an error approaches the boundary of a logical sector.

quant-pharXiv:2609.07702•Sep 8, 2026•0 citations

Hybrid Oscillator-Qudit Quantum Processors: Stabilizer States, Stabilizer Codes, Symplectic Operations, and Noncommutative Geometry

S. Chakraborty, Victor V. Albert

We construct stabilizer states and error-correcting codes on hybrid discrete- and continuous-variable systems, generalizing the Gottesman-Kitaev-Preskill (GKP) lattice formalism. Our framework embeds qudit phase space into a hybrid phase space parameterized by continuous variables, with unit cells that grow with qudit dimension—enabling simultaneous measurement of an arbitrarily large range of noncommuting displacements. Simple hybrid states arise from applying a conditional displacement to a GKP state and a Pauli eigenstate, or by encoding qudits of a stabilizer state into a GKP code; their oscillator-qudit entanglement is non-Gaussian, distinguishing them as a resource beyond tensor products of stabilizer states. Simple hybrid codes are subsystem GKP codes whose gauge factor is entangled with a qudit. Numerical experiments suggest that they can outperform GKP codes against physical noise, with decoders tunable to either qudit or oscillator errors. We also relate stabilizer codes to noncommutative tori, showing that a general construction yields multimode multiqudit GKP extensions. We compute the codes’ logical dimension and operators via Morita equivalence.

arXiv:2508.04819•PRX Quantum•Feb 26, 2026•1 citation

Concatenation of the Gottesman-Kitaev-Preskill code with the XZZX surface code

Jiaxuan Zhang, Yu-Chun Wu, Guo‐Ping Guo

Bosonic codes provide an alternative option for quantum error correction. An important category of bosonic codes called the Gottesman-Kitaev-Preskill (GKP) code has aroused much interest recently. Theoretically, the error correction ability of the GKP code is limited since it can only correct small shift errors in position and momentum quadratures. A natural approach to promote the GKP error correction for large-scale, fault-tolerant quantum computation is concatenating encoded GKP states with a stabilizer code. The performance of the XZZX surface-GKP code, i.e., the single-mode GKP code concatenated with the XZZX surface code is investigated in this paper under two different noise models. Firstly, in the code-capacity noise model, the asymmetric rectangular GKP code with parameter $\ensuremath{\lambda}$ is introduced. Using the minimum weight perfect matching decoder combined with the continuous-variable GKP information, the optimal threshold of the XZZX-surface GKP code reaches $\ensuremath{\sigma}\ensuremath{\approx}0.67$ when $\ensuremath{\lambda}=2.1$, compared with the threshold $\ensuremath{\sigma}\ensuremath{\approx}0.60$ of the standard surface-GKP code. Secondly, we analyze the shift errors of two-qubit gates in the actual implementation and build the full circuit-level noise model. By setting the appropriate bias parameters, the logical error rate is reduced by several times in some cases. These results indicate the XZZX surface-GKP codes are more suitable for asymmetric concatenation under the general noise models. We also estimate the overhead of the XZZX-surface GKP code which uses about 291 GKP states with the noise parameter 18.5 dB ($\ensuremath{\kappa}/g\ensuremath{\approx}0.71%$) to encode a logical qubit with the error rate $2.53\ifmmode\times\else\texttimes\fi{}{10}^{\ensuremath{-}7}$, compared with the qubit-based surface code using 3041 qubits to achieve almost the same logical error rate.

arXiv:2207.04383•Physical Review A•Jun 9, 2023•16 citations
The Gottesman-Kitaev-Preskill (GKP) error-correcting code encodes a finite-dimensional logical space in one or more bosonic modes, and has recently been demonstrated in trapped ions and superconducting microwave cavities. In this work we introduce a new subsystem decomposition for GKP codes that we call the stabilizer subsystem decomposition, analogous to the usual approach to quantum stabilizer codes. The decomposition has the defining property that a partial trace over the nonlogical stabilizer subsystem is equivalent to an ideal decoding of the logical state, distinguishing it from previous GKP subsystem decompositions. We describe how to decompose arbitrary states across the subsystem decomposition using a set of transformations that move between the decompositions of different GKP codes. Besides providing a convenient theoretical view on GKP codes, such a decomposition is also of practical use. We use the stabilizer subsystem decomposition to efficiently simulate noise acting on single-mode GKP codes, and in contrast to more conventional Fock basis simulations, we are able to consider essentially arbitrarily large photon numbers for realistic noise channels, such as loss and dephasing. Published by the American Physical Society 2024
In order to solve practical problems on a quantum computer, it is necessary to use fault-tolerant quantum error correction schemes to overcome noise: the errors arising from imperfections in physical components. The Gottesman-Kitaev-Preskill (GKP) code aims at achieving this in a hardware efficient manner by encoding finite-dimensional logical subspaces in the Hilbert space of one or more continuous variable modes. In near term implementations, however, it is not feasible to eliminate errors entirely, so it is natural to also employ alternative error mitigation techniques together with error correction. In this work, we study a quantum error mitigation method known as probabilistic error cancellation in the context of the GKP code. We compare Steane-type and teleportation-based GKP error correction, and calculate the sampling overheads associated with the technique for square and hexagonal GKP codes. We employ the stabilizer subsystem decomposition for GKP codes to obtain an effective logical channel for noisy operations that is used to express the ideal one of a target logical unitary. We consider noise from finite squeezing on the data and the two ancilla modes, needed for error correction, and examine the relationship between the sampling overhead and the noise for different decoding methods. Our results are calculated for single- and two-qubit GKP Clifford gates and one round of error correction, and show the nontrivial combination of error correction and mitigation in continuous variable codes.
The Gottesman-Kitaev-Preskill (GKP) code encodes a qubit into a bosonic mode using periodic wave functions. This periodicity makes the GKP code a natural setting for the Zak transform, which is tailor-made to provide a simple description for periodic functions. We review the Zak transform and its connection to a Zak basis of states in Hilbert space, decompose the shift operators that underpin the stabilizers and the correctable errors, and find that Zak transforms of the position wave function appear naturally in GKP error correction. We construct a bosonic subsystem decomposition (SSD)---the modular variable SSD---by dividing a mode's Hilbert space, expressed in the Zak basis, into that of a virtual qubit and a virtual gauge mode. Tracing over the gauge mode gives a logical-qubit state, and preceding the trace with a particular logical-gauge interaction gives a different logical state---that associated to GKP error correction.
A promising route towards fault-tolerant quantum error correction is the concatenation of a Gottesman-Kitaev-Preskill (GKP) code with a qubit code. Development of such concatenated codes requires simulation tools which realistically model noise, while being able to simulate the dynamics of many modes. However, so far, large-scale simulation tools for concatenated GKP codes have been limited to idealized noise models and GKP code implementations. Here, we introduce the Bosonic Pauli+ model (BP+), which can be simulated efficiently for a large number of modes, while capturing the rich dynamics in the bosonic multi-mode Hilbert space. We demonstrate the method by simulating a hybrid surface code, where the data qubits are finite-energy GKP qubits stabilized using the small-Big-small (sBs) protocol, and the syndrome qubits are standard two-level systems. Using BP+, we present logical error rates of such an implementation. Confidence in the accuracy of the method is gained by comparing its predictions with full time evolution simulations for several relevant quantum circuits. While developed specifically for GKP qubits stabilized using the sBs protocol, the mathematical structure of BP+ is generic and may be applicable also to the simulation of concatenations using other bosonic codes.
Passive quantum error correction, also known as self-correction, is a holy grail in quantum information science. Recent theoretical advances suggest that the Gottesman-Kitaev-Preskill (GKP) code can exhibit self-correction properties, positioning it as a candidate for the realization of self-correcting quantum memories. In this article, we provide a self-contained derivation of the self-correcting behavior of the ideal GKP Hamiltonian, manifested in the Arrhenius type scaling of the logical lifetime, from a quantum-information perspective based on the subsystem code decomposition. When coupling through the physical quadrature qqq and ppp, the detailed-balance jump operators decompose into a dominant part acting only on the gauge subsystem and a boundary term that acts non-trivially on the logical qubit. The boundary term is then exponentially suppressed by the Gibbs weights near the edge of the modular cells. In contrast to spin-based quantum memories such as the two-dimensional surface code, the GKP Hamiltonian realizes an effective string tension in modular phase space, whereby the energy cost increases as an error approaches the boundary of a logical sector.
We construct stabilizer states and error-correcting codes on hybrid discrete- and continuous-variable systems, generalizing the Gottesman-Kitaev-Preskill (GKP) lattice formalism. Our framework embeds qudit phase space into a hybrid phase space parameterized by continuous variables, with unit cells that grow with qudit dimension—enabling simultaneous measurement of an arbitrarily large range of noncommuting displacements. Simple hybrid states arise from applying a conditional displacement to a GKP state and a Pauli eigenstate, or by encoding qudits of a stabilizer state into a GKP code; their oscillator-qudit entanglement is non-Gaussian, distinguishing them as a resource beyond tensor products of stabilizer states. Simple hybrid codes are subsystem GKP codes whose gauge factor is entangled with a qudit. Numerical experiments suggest that they can outperform GKP codes against physical noise, with decoders tunable to either qudit or oscillator errors. We also relate stabilizer codes to noncommutative tori, showing that a general construction yields multimode multiqudit GKP extensions. We compute the codes’ logical dimension and operators via Morita equivalence.
Bosonic codes provide an alternative option for quantum error correction. An important category of bosonic codes called the Gottesman-Kitaev-Preskill (GKP) code has aroused much interest recently. Theoretically, the error correction ability of the GKP code is limited since it can only correct small shift errors in position and momentum quadratures. A natural approach to promote the GKP error correction for large-scale, fault-tolerant quantum computation is concatenating encoded GKP states with a stabilizer code. The performance of the XZZX surface-GKP code, i.e., the single-mode GKP code concatenated with the XZZX surface code is investigated in this paper under two different noise models. Firstly, in the code-capacity noise model, the asymmetric rectangular GKP code with parameter $\ensuremath{\lambda}$ is introduced. Using the minimum weight perfect matching decoder combined with the continuous-variable GKP information, the optimal threshold of the XZZX-surface GKP code reaches $\ensuremath{\sigma}\ensuremath{\approx}0.67$ when $\ensuremath{\lambda}=2.1$, compared with the threshold $\ensuremath{\sigma}\ensuremath{\approx}0.60$ of the standard surface-GKP code. Secondly, we analyze the shift errors of two-qubit gates in the actual implementation and build the full circuit-level noise model. By setting the appropriate bias parameters, the logical error rate is reduced by several times in some cases. These results indicate the XZZX surface-GKP codes are more suitable for asymmetric concatenation under the general noise models. We also estimate the overhead of the XZZX-surface GKP code which uses about 291 GKP states with the noise parameter 18.5 dB ($\ensuremath{\kappa}/g\ensuremath{\approx}0.71%$) to encode a logical qubit with the error rate $2.53\ifmmode\times\else\texttimes\fi{}{10}^{\ensuremath{-}7}$, compared with the qubit-based surface code using 3041 qubits to achieve almost the same logical error rate.