- Open Access
Phase-space representations of quantum error-correcting codes
Phys. Rev. Research 8, 043076 – Published 21 October, 2026
DOI: https://doi.org/10.1103/7my9-zgfz
Abstract
We connect the structure theorem for quasiprobability representations to quantum error correction. For a code space invariant under a subgroup of an extended Weyl-Heisenberg group, the Brif-Mann construction gives a semifunctorial representation whenever its kernel satisfies the Stratonovich-Weyl axioms and composes on channels covering full error-correction cycles. With phase-space parity available, a kernel other than the ordinary Wigner one exists iff the code space is invariant under a lattice of displacements: Among compact-phase-space bosonic codes, this is only the ideal Gottesman-Kitaev-Preskill family; in finite dimension, this is every qudit stabilizer code, whose negative volume for odd prime dimension is the syndrome-averaged logical magic. For rotation-symmetric, one-photon, non-Pauli qudit and spin codes, only the ordinary kernel remains, its negativity reflecting the physical carrier, not logical content; a sector-graded representation built from recovery isometries restores a resource reading. We add a channel atlas, a closed-form magic lifetime under displacement noise, a Kirkwood-Dirac layer, and finite-energy corrections.
Physics Subject Headings (PhySH)
Article Text
References (78)
- E. Wigner, On the quantum correction for thermodynamic equilibrium, Phys. Rev. 40, 749 (1932).
- D. Gross, Hudson’s theorem for finite-dimensional quantum systems, J. Math. Phys. 47, 122107 (2006).
- V. Veitch, C. Ferrie, D. Gross, and J. Emerson, Negative quasi-probability as a resource for quantum computation, New J. Phys. 14, 113011 (2012).
- C. Brif and A. Mann, Phase-space formulation of quantum mechanics and quantum-state reconstruction for physical systems with Lie-group symmetries, Phys. Rev. A 59, 971 (1999).
- J. Davis, N. Fabre, and U. Chabaud, Identifying quantum resources in encoded computations, npj Quantum Inf. 12, 140 (2026).
- D. Gottesman, A. Kitaev, and J. Preskill, Encoding a qubit in an oscillator, Phys. Rev. A 64, 012310 (2001).
- D. Schmid, J. H. Selby, M. F. Pusey, and R. W. Spekkens, A structure theorem for generalized-noncontextual ontological models, Quantum 8, 1283 (2024).
- R. Wagner, R. D. Baldijão, M. Salzger, Y. Yīng, D. Schmid, and J. H. Selby, A structure theorem for complex-valued quasiprobability representations of physical theories, arXiv:2509.10949.
- J. Conrad, J. Eisert, and F. Arzani, Gottesman–Kitaev–Preskill codes: A lattice perspective, Quantum 6, 648 (2022).
- J. P. Paz, A. J. Roncaglia, and M. Saraceno, Qubits in phase space: Wigner-function approach to quantum-error correction and the mean-king problem, Phys. Rev. A 72, 012309 (2005).
- K. S. Gibbons, M. J. Hoffman, and W. K. Wootters, Discrete phase space based on finite fields, Phys. Rev. A 70, 062101 (2004).
- L. Feng and S. Luo, Connecting continuous and discrete Wigner functions via GKP encoding, Int. J. Theor. Phys. 63, 40 (2024).
- A. N. Kolmogorov, Foundations of the Theory of Probability (Chelsea Publishing Company, New York, 1950), translated from the German edition of 1933.
- J. G. Kirkwood, Quantum statistics of almost classical assemblies, Phys. Rev. 44, 31 (1933).
- P. A. M. Dirac, On the analogy between classical and quantum mechanics, Rev. Mod. Phys. 17, 195 (1945).
- J. E. Harriman and M. E. Casida, Husimi representation for stationary states, Int. J. Quantum Chem. 45, 263 (1993).
- E. Bozzetto and J. R. Hance, Classical limit: Dissipation of Spekkens’ generalised contextuality under decoherence, arXiv:2605.09558.
- H. Zhu, Permutation symmetry determines the discrete Wigner function, Phys. Rev. Lett. 116, 040501 (2016).
- A. Mari and J. Eisert, Positive Wigner functions render classical simulation of quantum computation efficient, Phys. Rev. Lett. 109, 230503 (2012).
- M. Howard, J. Wallman, V. Veitch, and J. Emerson, Contextuality supplies the ‘magic’ for quantum computation, Nature (London) 510, 351 (2014).
- R. L. Hudson, When is the Wigner quasi-probability density non-negative? Rep. Math. Phys. 6, 249 (1974).
- A. Kenfack and K. Życzkowski, Negativity of the Wigner function as an indicator of non-classicality, J. Opt. B: Quantum Semiclassical Opt. 6, 396 (2004).
- K. Noh, C. Chamberland, and F. G. S. L. Brandão, Low-overhead fault-tolerant quantum error correction with the surface-GKP code, PRX Quantum 3, 010315 (2022).
- A. L. Grimsmo and S. Puri, Quantum error correction with the Gottesman-Kitaev-Preskill code, PRX Quantum 2, 020101 (2021).
- D. Lachance-Quirion, M.-A. Lemonde, J. O. Simoneau, L. St-Jean, P. Lemieux, S. Turcotte, W. Wright, A. Lacroix, J. Fréchette-Viens, R. Shillito, F. Hopfmueller, M. Tremblay, N. E. Frattini, J. Camirand Lemyre, and P. St-Jean, Autonomous quantum error correction of Gottesman-Kitaev-Preskill states, Phys. Rev. Lett. 132, 150607 (2024).
- A. J. Brady, A. Eickbusch, S. Singh, J. Wu, and Q. Zhuang, Advances in bosonic quantum error correction with Gottesman–Kitaev–Preskill codes: Theory, engineering and applications, Prog. Quantum Electron. 93, 100496 (2024).
- J. Hastrup and U. L. Andersen, Analysis of loss correction with the Gottesman-Kitaev-Preskill code, Phys. Rev. A 108, 052413 (2023).
- W. Cai, X. Mu, W. Wang, J. Zhou, Y. Ma, X. Pan, Z. Hua, X. Liu, G. Xue, H. Yu, H. Wang, Y. Song, C.-L. Zou, and L. Sun, Protecting entanglement between logical qubits via quantum error correction, Nat. Phys. 20, 1022 (2024).
- Q. Xu, P. Zeng, D. Xu, and L. Jiang, Fault-tolerant operation of bosonic qubits with discrete-variable ancillae, Phys. Rev. X 14, 031016 (2024).
- L. García-Álvarez, C. Calcluth, A. Ferraro, and G. Ferrini, Efficient simulatability of continuous-variable circuits with large Wigner negativity, Phys. Rev. Res. 2, 043322 (2020).
- C. Calcluth, A. Ferraro, and G. Ferrini, Efficient simulation of Gottesman-Kitaev-Preskill states with Gaussian circuits, Quantum 6, 867 (2022).
- B. Q. Baragiola, G. Pantaleoni, R. N. Alexander, A. Karanjai, and N. C. Menicucci, All-Gaussian universality and fault tolerance with the Gottesman-Kitaev-Preskill code, Phys. Rev. Lett. 123, 200502 (2019).
- C. Calcluth, A. Ferraro, and G. Ferrini, Vacuum provides quantum advantage to otherwise simulatable architectures, Phys. Rev. A 107, 062414 (2023).
- H. Yamasaki, T. Matsuura, and M. Koashi, Cost-reduced all-Gaussian universality with the Gottesman-Kitaev-Preskill code: Resource-theoretic approach to cost analysis, Phys. Rev. Res. 2, 023270 (2020).
- P. Busch and P. J. Lahti, To what extent do position and momentum commute? Phys. Lett. A 115, 259 (1986).
- L. K. Antonopoulos, D. G. Lewis, J. Davis, N. Funai, and N. C. Menicucci, Grand unification of all discrete Wigner functions on phase space, Phys. Rev. A 112, 052219 (2025).
- N. Delfosse, P. A. Guerin, J. Bian, and R. Raussendorf, Wigner function negativity and contextuality in quantum computation on rebits, Phys. Rev. X 5, 021003 (2015).
- C. Calcluth, O. Hahn, J. Bermejo-Vega, A. Ferraro, and G. Ferrini, Classical simulation of circuits with realistic odd-dimensional Gottesman–Kitaev–Preskill states, Phys. Rev. Lett. 135, 010601 (2025).
- Z. Leghtas, G. Kirchmair, B. Vlastakis, R. J. Schoelkopf, M. H. Devoret, and M. Mirrahimi, Hardware-efficient autonomous quantum memory protection, Phys. Rev. Lett. 111, 120501 (2013).
- M. Mirrahimi, Z. Leghtas, V. V. Albert, S. Touzard, R. J. Schoelkopf, L. Jiang, and M. H. Devoret, Dynamically protected cat-qubits: A new paradigm for universal quantum computation, New J. Phys. 16, 045014 (2014).
- M. H. Michael, M. Silveri, R. T. Brierley, V. V. Albert, J. Salmilehto, L. Jiang, and S. M. Girvin, New class of quantum error-correcting codes for a bosonic mode, Phys. Rev. X 6, 031006 (2016).
- C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters, Mixed-state entanglement and quantum error correction, Phys. Rev. A 54, 3824 (1996).
- M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th anniversary ed. (Cambridge University Press, Cambridge, UK, 2010).
- E. Knill and R. Laflamme, Theory of quantum error-correcting codes, Phys. Rev. A 55, 900 (1997).
- B. M. Terhal, Quantum error correction for quantum memories, Rev. Mod. Phys. 87, 307 (2015).
- S. Krastanov, V. V. Albert, C. Shen, C.-L. Zou, R. W. Heeres, B. Vlastakis, R. J. Schoelkopf, and L. Jiang, Universal control of an oscillator with dispersive coupling to a qubit, Phys. Rev. A 92, 040303(R) (2015).
- R. W. Heeres, B. Vlastakis, E. Holland, S. Krastanov, V. V. Albert, L. Frunzio, L. Jiang, and R. J. Schoelkopf, Cavity state manipulation using photon-number selective phase gates, Phys. Rev. Lett. 115, 137002 (2015).
- J. Chiaverini, D. Leibfried, T. Schaetz, M. D. Barrett, R. B. Blakestad, J. Britton, W. M. Itano, J. D. Jost, E. Knill, C. Langer, R. Ozeri, and D. J. Wineland, Realization of quantum error correction, Nature (London) 432, 602 (2004).
- J. P. Home, D. Hanneke, J. D. Jost, J. M. Amini, D. Leibfried, and D. J. Wineland, Complete methods set for scalable ion trap quantum information processing, Science 325, 1227 (2009).
- D. Nigg, M. Müller, E. A. Martinez, P. Schindler, M. Hennrich, T. Monz, M. A. Martin-Delgado, and R. Blatt, Quantum computations on a topologically encoded qubit, Science 345, 302 (2014).
- P. Schindler, J. T. Barreiro, T. Monz, V. Nebendahl, D. Nigg, M. Chwalla, M. Hennrich, and R. Blatt, Experimental repetitive quantum error correction, Science 332, 1059 (2011).
- P. Bertet, A. Auffeves, P. Maioli, S. Osnaghi, T. Meunier, M. Brune, J.-M. Raimond, and S. Haroche, Direct measurement of the Wigner function of a one-photon Fock state in a cavity, Phys. Rev. Lett. 89, 200402 (2002).
- C. Sayrin, I. Dotsenko, X. Zhou, B. Peaudecerf, T. Rybarczyk, S. Gleyzes, P. Rouchon, M. Mirrahimi, H. Amini, M. Brune, J.-M. Raimond, and S. Haroche, Real-time quantum feedback prepares and stabilizes photon number states, Nature (London) 477, 73 (2011).
- F. Soto and P. Claverie, When is the Wigner function of multidimensional systems nonnegative? J. Math. Phys. 24, 97 (1983).
- A. Giani, M. Z. Win, P. L. Falb, and A. Conti, Unveiling distinguishable non-Gaussian quantum states, Phys. Rev. A 113, 062435 (2026).
- As for every rotation-symmetric spin code [] and for the single-spin and molecular codes built on binary polyhedral rotation groups, e.g., Ref. [57]’s and and Ref. [58]’s finite rotation groups.
- J. A. Gross, Designing codes around interactions: The case of a spin, Phys. Rev. Lett. 127, 010504 (2021).
- V. V. Albert, J. P. Covey, and J. Preskill, Robust encoding of a qubit in a molecule, Phys. Rev. X 10, 031050 (2020).
- J. Davis, M. Kumari, R. B. Mann, and S. Ghose, Wigner negativity in spin- systems, Phys. Rev. Res. 3, 033134 (2021).
- M. H. Shaw, A. C. Doherty, and A. L. Grimsmo, Stabilizer subsystem decompositions for single- and multimode Gottesman–Kitaev–Preskill codes, PRX Quantum 5, 010331 (2024).
- A. L. Grimsmo, J. Combes, and B. Q. Baragiola, Quantum computing with rotation-symmetric bosonic codes, Phys. Rev. X 10, 011058 (2020).
- Y. Zhu, S. Chin, W. J. Munro, and K. Nemoto, Non-Gaussianity in cat codes: Global incompatibility and local geometric alignment with the magic resource, arXiv:2607.15739.
- W. Cai, Y. Ma, W. Wang, C.-L. Zou, and L. Sun, Bosonic quantum error correction codes in superconducting quantum circuits, Fundam. Res. 1, 50 (2021).
- M. Sabuncu, L. Mišta, J. Fiurášek, R. Filip, G. Leuchs, and U. L. Andersen, Nonunity gain minimal-disturbance measurement, Phys. Rev. A 76, 032309 (2007).
- M. Lassen, M. Sabuncu, A. Huck, J. Niset, G. Leuchs, N. J. Cerf, and U. L. Andersen, Quantum optical coherence can survive photon losses using a continuous-variable quantum erasure-correcting code, Nat. Photonics 4, 700 (2010).
- M. Lassen, M. Sabuncu, P. Buchhave, and U. L. Andersen, Generation of polarization squeezing with periodically poled KTP at 1064 nm, Opt. Express 15, 5077 (2007).
- M. Lassen, L. S. Madsen, M. Sabuncu, R. Filip, and U. L. Andersen, Experimental demonstration of squeezed-state quantum averaging, Phys. Rev. A 82, 021801 (2010).
- D. R. M. Arvidsson-Shukur, W. F. Braasch, Jr., S. De Bièvre, J. Dressel, A. N. Jordan, C. Langrenez, M. Lostaglio, J. S. Lundeen, and N. Y. Halpern, Properties and applications of the Kirkwood–Dirac distribution, New J. Phys. 26, 121201 (2024).
- J. R. Hance, T. Matsushita, and H. F. Hofmann, Counterfactuality, back-action, and information gain in multi-path interferometers, Quantum Sci. Technol. 9, 045015 (2024).
- T. Matsushita and H. F. Hofmann, Dependence of measurement outcomes on the dynamics of quantum coherent interactions between the system and the meter, Phys. Rev. Res. 5, 033064 (2023).
- D. Schmid, H. Du, J. H. Selby, and M. F. Pusey, Uniqueness of noncontextual models for stabilizer subtheories, Phys. Rev. Lett. 129, 120403 (2022).
- A functor whenever the reconstruction map is the identity, which by Proposition t4 is whenever the code words lie in ; in finite dimension, the reconstruction is the lattice twirl of Proposition t10 and the representation a genuine semifunctor.
- E. Bozzetto and J. R. Hance, Code for Phase-space representations of quantum error-correcting codes, Zenodo, 2026, https://doi.org/10.5281/zenodo.22899504.
- A. S. Holevo, Quantum systems, channels, information: A mathematical introduction, De Gruyter Studies in Mathematical Physics, Vol. 16, 2nd ed. (De Gruyter, Berlin, Germany, 2019).
- F. Caruso, V. Giovannetti, C. Lupo, and S. Mancini, Quantum channels and memory effects, Rev. Mod. Phys. 86, 1203 (2014).
- Y. Kawada and K. Itô, On the probability distribution on a compact group. I, Proc. Phys.-Math. Soc. Jpn., 3rd Ser. 22, 977 (1940).
- R. L. Stratonovich, On distributions in representation space, Sov. Phys. JETP 4, 891 (1957).
- J. C. Várilly and J. M. Gracia-Bondía, The Moyal representation for spin, Ann. Phys. 190, 107 (1989).