A Structure Theorem for Phase-Space Representations of Continuous-Variable Quantum Error-Correcting Codes

Enrico Bozzetto; Jonte R. Hance

arxiv: 2607.02164 · v1 · pith:SNY5PEE5new · submitted 2026-07-02 · 🪐 quant-ph

A Structure Theorem for Phase-Space Representations of Continuous-Variable Quantum Error-Correcting Codes

Enrico Bozzetto , Jonte R. Hance This is my paper

Pith reviewed 2026-07-03 12:23 UTC · model grok-4.3

classification 🪐 quant-ph

keywords continuous-variable quantum error correctionphase-space representationsquasiprobabilityGKP codescat codesbinomial codesbosonic codes

0 comments

The pith

Bosonic continuous-variable quantum error-correcting codes admit phase-space representations that define the structure of errors.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper applies a structure theorem from generalised probabilistic theories to bosonic quantum error correction. It produces a general phase-space representation for continuous-variable codes and works through examples for GKP, cat, and binomial codes. The representation then characterises the phase-space form that errors can take, including for single-photon loss.

Core claim

By linking the structure theorem for quasiprobability representations of generalised probabilistic theories to the phase-space description of bosonic codes, the work yields both a general phase-space representation for continuous-variable error-correcting codes and explicit forms for GKP, cat, and binomial codes. This in turn defines the mathematical structure errors must take in phase space, shown abstractly and concretely for photon loss.

What carries the argument

The structure theorem for quasiprobability representations of generalised probabilistic theories, which supplies the phase-space form for the codes and their errors.

Load-bearing premise

The structure theorem for quasiprobability representations of generalised probabilistic theories applies directly to the phase-space description of bosonic continuous-variable quantum error-correcting codes.

What would settle it

A calculation showing that the phase-space representation for single photon loss in a cat code fails to match the structure predicted by the theorem would falsify the application.

read the original abstract

In this paper we connect the structure theorem for quasiprobability representation of generalised probabilistic theories to bosonic quantum error correction codes, giving both a general phase-space representation for continuous-variable error-correcting codes, and showing as specific examples the phase-space representations obtained through this method for Gottesman-Knill-Preskill codes, cat codes, and binomial codes. This representation allows us to define both generally and for each of these codes the mathematical structure in phase space that errors can take, which we show both abstractly and for the specific example of single photon loss errors.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper applies an existing GPT structure theorem to bosonic CV codes to produce phase-space error representations for GKP, cat, and binomial encodings, with an explicit single-photon-loss case.

read the letter

The core contribution is taking the structure theorem for quasiprobability representations and using it to define a general phase-space picture for continuous-variable error-correcting codes, then spelling out the results for the three main bosonic families and showing what single-photon-loss errors look like in that picture.

It does a clean job of giving the same language to GKP, cat, and binomial codes so their error structures can be compared directly. That part is useful for people who already work with these encodings and want a uniform way to talk about errors in Wigner or similar functions.

The soft spot is the direct transfer of the theorem. The original result was framed for generalised probabilistic theories, which are often finite-dimensional or abstract; bosonic systems live in infinite-dimensional Hilbert space with continuous phase space. The abstract treats the application as immediate, so the manuscript needs to show that every hypothesis of the theorem is satisfied or that any extra bosonic assumptions are harmless. If that step is just asserted rather than checked, the central claim rests on an unverified bridge.

This is niche work aimed at the continuous-variable quantum error-correction community. A reader already inside that subfield can extract the explicit mappings and see whether they help with their own calculations. The claim is concrete enough that a serious editor should send it to referees who can verify the theorem application and the derivations for the three codes.

Referee Report

1 major / 1 minor

Summary. The manuscript connects the structure theorem for quasiprobability representations of generalised probabilistic theories to bosonic continuous-variable quantum error-correcting codes. It derives a general phase-space representation for CV QEC codes and applies the method to obtain explicit representations for GKP, cat, and binomial codes. The resulting framework is used to characterize the mathematical structure of errors in phase space, both in general and for the concrete case of single-photon loss errors.

Significance. If the central derivation holds, the work supplies a unified phase-space description of errors across multiple CV QEC code families by importing the GPT structure theorem. This could streamline the analysis of error maps (including photon loss) without code-specific ad-hoc constructions and may aid the design of error-mitigation strategies. The provision of both abstract and concrete examples is a strength.

major comments (1)

[Section deriving the general phase-space representation and its application to specific codes] The load-bearing step is the direct transfer of the GPT structure theorem to the phase-space description of bosonic CV codes. The manuscript must explicitly verify that the chosen quasiprobability function (e.g., Wigner) satisfies every hypothesis of the theorem when the underlying Hilbert space is infinite-dimensional and the phase space is continuous. If the original theorem was formulated only for finite-dimensional GPTs, the application to GKP, cat, and binomial codes requires additional justification that error maps remain valid GPT transformations without extra bosonic assumptions. This verification is absent from the abstract and must appear in the derivation section; without it the claim that the error structure follows from the theorem does not hold.

minor comments (1)

Notation for the quasiprobability functions and the precise statement of the GPT theorem hypotheses should be introduced before the application to CV codes to improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their detailed review and for identifying the need to strengthen the foundational justification. We agree that explicit verification of the structure theorem's hypotheses is required for the infinite-dimensional bosonic setting and will add this to the derivation section in the revised manuscript.

read point-by-point responses

Referee: [Section deriving the general phase-space representation and its application to specific codes] The load-bearing step is the direct transfer of the GPT structure theorem to the phase-space description of bosonic CV codes. The manuscript must explicitly verify that the chosen quasiprobability function (e.g., Wigner) satisfies every hypothesis of the theorem when the underlying Hilbert space is infinite-dimensional and the phase space is continuous. If the original theorem was formulated only for finite-dimensional GPTs, the application to GKP, cat, and binomial codes requires additional justification that error maps remain valid GPT transformations without extra bosonic assumptions. This verification is absent from the abstract and must appear in the derivation section; without it the claim that the error structure follows from the theorem does not hold.

Authors: We agree that the direct application requires explicit verification that the Wigner function satisfies all hypotheses of the GPT structure theorem in the infinite-dimensional, continuous phase-space setting, and that bosonic error maps (including photon loss) constitute valid GPT transformations. The current manuscript does not contain this verification. In the revised version we will insert a dedicated subsection in the derivation section that (i) recalls the precise hypotheses of the structure theorem, (ii) verifies each hypothesis for the Wigner representation on L2(R), and (iii) shows that the relevant error channels preserve the GPT structure without additional ad-hoc bosonic assumptions. This addition will also be referenced in the abstract. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation applies external GPT structure theorem to CV codes without self-referential reduction or fitted inputs.

full rationale

The paper's central step is connecting an external structure theorem for quasiprobability representations of GPTs to bosonic CV QEC codes (GKP, cat, binomial) to obtain phase-space error structures, including for single-photon loss. No equations, self-citations, or parameter fits are visible in the abstract or description that would reduce the claimed general representation or specific examples to the inputs by construction. The applicability of the theorem is presented as a direct transfer rather than a self-defined or renamed result, leaving the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified from the provided text.

pith-pipeline@v0.9.1-grok · 5622 in / 1166 out tokens · 41967 ms · 2026-07-03T12:23:47.251094+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

57 extracted references · 35 canonical work pages · 1 internal anchor

[1]

Linearity: ˆA7→W ˆA is a linear map such thatW ˆA = W ˆB iff ˆA= ˆB
[2]

Reality:W ˆA = (W ˆA)∗
[3]

Standardisation: R X dµW ˆA = Tr( ˆA) whereXis the whole phase space
[4]

Covariance:W π(g) † ˆAπ(g)(Ω) =W ˆA(g·Ω), for all Ω∈Xandg∈G; whereπis an irreducible uni- tary representation of a simply connected, finite- dimensional Lie groupGacting on the Hilbert spaceHandg·Ω denotes the natural action of GonX
[5]

In both formulations, the displacement operators play an important role

Traciality: R X dµW ˆAW ˆB = Tr( ˆA ˆB) As originally formulated, the Wigner function was a continuous-variable (CV) function, but a discrete vari- able (DV) analogue was later developed by Gross [23]: the Gross Wigner function. In both formulations, the displacement operators play an important role. They are defined as follows for CV and DV Wigner functi...
[6]

Single photon loss example The dominant physical error channel in many bosonic implementations is single-photon loss [30]. In the Lind- blad formalism, this is described by the annihilation op- erator ˆa, so that the error channel acting on a density operator ˆρis Tloss(ˆρ) = ˆaˆρˆa†.(75) We can apply the Structure Theorem mapQ cat(Tloss) to track how thi...
[7]

Single photon loss example Recall that binomial codewords consist of Fock states spaced byS+ 1 [4]: |W↑⟩ ∝ X peven s N+ 1 p |p(S+ 1)⟩,|W ↓⟩ ∝ X podd s N+ 1 p |p(S+ 1)⟩.(95) 14 Acting with ˆaon a Fock state lowers the photon number by one: ˆa|n⟩=√n|n−1⟩. Since the codewords occupy Fock levels{p(S+ 1)}, a single photon loss maps each level top(S+ 1)−1, whic...
[8]

En- coding a qubit in an oscillator.Physical Review A, 64(1), 06 2001.doi:10.1103/physreva.64.012310

Daniel Gottesman, Alexei Kitaev, and John Preskill. En- coding a qubit in an oscillator.Physical Review A, 64(1), 06 2001.doi:10.1103/physreva.64.012310

work page doi:10.1103/physreva.64.012310 2001
[9]

Schoelkopf, Michel H

Zaki Leghtas, Gerhard Kirchmair, Brian Vlastakis, Robert J. Schoelkopf, Michel H. Devoret, and Maz- yar Mirrahimi. Hardware-efficient autonomous quantum memory protection.Phys. Rev. Lett., 111:120501, Sep 2013.doi:10.1103/PhysRevLett.111.120501

work page doi:10.1103/physrevlett.111.120501 2013
[10]

Dynamically protected cat-qubits: a new paradigm for universal quantum computation

Mazyar Mirrahimi, Zaki Leghtas, Victor V Albert, Steven Touzard, Robert J Schoelkopf, Liang Jiang, and Michel H Devoret. Dynamically protected cat-qubits: a new paradigm for universal quantum computation. New Journal of Physics, 16(4):045014, April 2014.doi: 10.1088/1367-2630/16/4/045014

work page doi:10.1088/1367-2630/16/4/045014 2014
[11]

Michael, Matti Silveri, R

Marios H. Michael, Matti Silveri, R. T. Brierley, Vic- tor V. Albert, Juha Salmilehto, Liang Jiang, and S. M. Girvin. New class of quantum error-correcting codes for a bosonic mode.Physical Review X, 6(3), 07 2016. doi:10.1103/physrevx.6.031006

work page doi:10.1103/physrevx.6.031006 2016
[12]

Identifying quantum resources in encoded computa- tions, 2024

Jack Davis, Nicolas Fabre, and Ulysse Chabaud. Identifying quantum resources in encoded computa- tions, 2024. URL:https://arxiv.org/abs/2407.18394, arXiv:2407.18394

work page arXiv 2024
[13]

Brif and A

C. Brif and A. Mann. Phase-space formulation of quan- tum mechanics and quantum-state reconstruction for physical systems with Lie-group symmetries.Physical Review A, 59(2):971–987, February 1999.doi:10.1103/ physreva.59.971

1999
[14]

Selby, Matthew F

David Schmid, John H. Selby, Matthew F. Pusey, and Robert W. Spekkens. A structure theo- rem for generalized-noncontextual ontological mod- els.Quantum, 8:1283, March 2024.doi:10.22331/ q-2024-03-14-1283

2024
[15]

Baldij˜ ao, Matthias Salzger, Y` ıl` e Y¯ ıng, David Schmid, and John H

Rafael Wagner, Roberto D. Baldij˜ ao, Matthias Salzger, Y` ıl` e Y¯ ıng, David Schmid, and John H. Selby. A structure theorem for complex-valued quasiprobability representa- tions of physical theories, 2025.arXiv:2509.10949

work page arXiv 2025
[16]

Information processing in general- ized probabilistic theories.Phys

Jonathan Barrett. Information processing in general- ized probabilistic theories.Phys. Rev. A, 75:032304, Mar 2007.doi:10.1103/PhysRevA.75.032304

work page doi:10.1103/physreva.75.032304 2007
[17]

General probabilistic theories: An in- troduction.Physics Reports, 1033:1–64, 09 2023.doi: 10.1016/j.physrep.2023.09.001

Martin Pl´ avala. General probabilistic theories: An in- troduction.Physics Reports, 1033:1–64, 09 2023.doi: 10.1016/j.physrep.2023.09.001

work page doi:10.1016/j.physrep.2023.09.001 2023
[18]

Selby, Elie Wolfe, Ravi Kun- jwal, and Robert W

David Schmid, John H. Selby, Elie Wolfe, Ravi Kun- jwal, and Robert W. Spekkens. Characterization of noncontextuality in the framework of generalized prob- abilistic theories.PRX Quantum, 2(1), February 2021. doi:10.1103/prxquantum.2.010331

work page doi:10.1103/prxquantum.2.010331 2021
[19]

Chelsea Publishing Company, New York, 1950

Andrey Nikolaevich Kolmogorov.Foundations of the Theory of Probability. Chelsea Publishing Company, New York, 1950. Translated from the German edition of 1933

1950
[20]

E. Wigner. On the quantum correction for thermody- namic equilibrium.Phys. Rev., 40:749–759, Jun 1932. doi:10.1103/PhysRev.40.749

work page doi:10.1103/physrev.40.749 1932
[21]

Kirkwood

John G. Kirkwood. Quantum statistics of almost clas- sical assemblies.Phys. Rev., 44:31–37, Jul 1933.doi: 10.1103/PhysRev.44.31

work page doi:10.1103/physrev.44.31 1933
[22]

P. A. M. Dirac. On the analogy between classical and quantum mechanics.Rev. Mod. Phys., 17:195–199, Apr 1945.doi:10.1103/RevModPhys.17.195

work page doi:10.1103/revmodphys.17.195 1945
[23]

Harriman and Mark E

John E. Harriman and Mark E. Casida. Husimi rep- resentation for stationary states.International Jour- nal of Quantum Chemistry, 45(3):263–294, 1993.doi: 10.1002/qua.560450304

work page doi:10.1002/qua.560450304 1993
[24]

Enrico Bozzetto and Jonte R. Hance. Classical limit: Dissipation of Spekkens’ generalised contextuality under decoherence, 2026.arXiv:2605.09558

work page internal anchor Pith review Pith/arXiv arXiv 2026
[25]

Efficient simulatability of continuous-variable circuits with large Wigner negativ- ity.Phys

Laura Garc´ ıa-´Alvarez, Cameron Calcluth, Alessandro Ferraro, and Giulia Ferrini. Efficient simulatability of continuous-variable circuits with large Wigner negativ- ity.Phys. Rev. Res., 2:043322, Dec 2020.doi:10.1103/ PhysRevResearch.2.043322

2020
[26]

Efficient simulation of Gottesman-Kitaev-Preskill states with Gaussian circuits.Quantum, 6:867, Decem- ber 2022.doi:10.22331/q-2022-12-01-867

Cameron Calcluth, Alessandro Ferraro, and Giulia Fer- rini. Efficient simulation of Gottesman-Kitaev-Preskill states with Gaussian circuits.Quantum, 6:867, Decem- ber 2022.doi:10.22331/q-2022-12-01-867

work page doi:10.22331/q-2022-12-01-867 2022
[27]

B. Q. Baragiola, G. Pantaleoni, R. N. Alexander, A. Karanjai, and N. C. Menicucci. All-Gaussian uni- versality and fault tolerance with the Gottesman-Kitaev- Preskill code.Physical Review Letters, 123(20):200502, 2019.doi:10.1103/PhysRevLett.123.200502

work page doi:10.1103/physrevlett.123.200502 2019
[28]

Calcluth, A

C. Calcluth, A. Ferraro, and G. Ferrini. Vacuum pro- vides quantum advantage to otherwise simulatable ar- chitectures.Physical Review A, 107(6):062414, 2023. doi:10.1103/PhysRevA.107.062414

work page doi:10.1103/physreva.107.062414 2023
[29]

Yamasaki, T

H. Yamasaki, T. Matsuura, and M. Koashi. Cost-reduced all-Gaussian universality with the Gottesman-Kitaev- Preskill code: Resource-theoretic approach to cost anal- ysis.Physical Review Research, 2(2):023270, 2020.doi: 10.1103/PhysRevResearch.2.023270

work page doi:10.1103/physrevresearch.2.023270 2020
[30]

D. Gross. Hudson’s theorem for finite-dimensional quantum systems.Journal of Mathematical Physics, 18 47(12):122107, 12 2006.doi:10.1063/1.2393152

work page doi:10.1063/1.2393152 2006
[31]

Brand˜ ao

Kyungjoo Noh, Christopher Chamberland, and Fer- nando G.S.L. Brand˜ ao. Low-overhead fault-tolerant quantum error correction with the surface-GKP code. PRX Quantum, 3(1), January 2022.doi:10.1103/ prxquantum.3.010315

2022
[32]

Grimsmo and Shruti Puri

Arne L. Grimsmo and Shruti Puri. Quantum error cor- rection with the Gottesman-Kitaev-Preskill code.PRX Quantum, 2(2), 06 2021.doi:10.1103/prxquantum.2. 020101

work page doi:10.1103/prxquantum.2 2021
[33]

Frattini, Julien Cami- rand Lemyre, and Philippe St-Jean

Dany Lachance-Quirion, Marc-Antoine Lemonde, Jean Olivier Simoneau, Lucas St-Jean, Pascal Lemieux, Sara Turcotte, Wyatt Wright, Am´ elie Lacroix, Jo¨ elle Fr´ echette-Viens, Ross Shillito, Florian Hopfmueller, Maxime Tremblay, Nicholas E. Frattini, Julien Cami- rand Lemyre, and Philippe St-Jean. Autonomous quantum error correction of Gottesman-Kitaev-Pres...

work page doi:10.1103/physrevlett.132.150607 2024
[34]

Brady, Alec Eickbusch, Shraddha Singh, Jing Wu, and Quntao Zhuang

Anthony J. Brady, Alec Eickbusch, Shraddha Singh, Jing Wu, and Quntao Zhuang. Advances in bosonic quan- tum error correction with Gottesman–Kitaev–Preskill Codes: Theory, engineering and applications.Progress in Quantum Electronics, 93:100496, January 2024.doi: 10.1016/j.pquantelec.2023.100496

work page doi:10.1016/j.pquantelec.2023.100496 2024
[35]

Analysis of loss correction with the Gottesman-Kitaev-Preskill code

Jacob Hastrup and Ulrik Lund Andersen. Analysis of loss correction with the Gottesman-Kitaev-Preskill code. Physical Review A, 108(5), November 2023.doi:10. 1103/physreva.108.052413

2023
[36]

Paul Busch and Pekka J. Lahti. To what extent do position and momentum commute?Physics Letters A, 115(6):259–264, 1986.doi:10.1016/0375-9601(86) 90549-9

work page doi:10.1016/0375-9601(86 1986
[37]

Alicante, A

Weizhou Cai, Yuwei Ma, Weiting Wang, Chang-Ling Zou, and Luyan Sun. Bosonic quantum error correction codes in superconducting quantum circuits.Fundamen- tal Research, 1(1):50–67, January 2021.doi:10.1016/j. fmre.2020.12.006

work page doi:10.1016/j 2021
[38]

Bennett, David P

Charles H. Bennett, David P. DiVincenzo, John A. Smolin, and William K. Wootters. Mixed-state entan- glement and quantum error correction.Phys. Rev. A, 54:3824–3851, Nov 1996.doi:10.1103/PhysRevA.54. 3824

work page doi:10.1103/physreva.54 1996
[39]

Nielsen and Isaac L

Michael A. Nielsen and Isaac L. Chuang.Quantum Com- putation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, 2010

2010
[40]

Theory of quantum error-correcting codes.Physical Review A, 55(2):900–911, 1997.doi:10.1103/PhysRevA.55.900

Emanuel Knill and Raymond Laflamme. Theory of quantum error-correcting codes.Physical Review A, 55(2):900–911, 1997.doi:10.1103/PhysRevA.55.900

work page doi:10.1103/physreva.55.900 1997
[41]

Barbara M. Terhal. Quantum error correction for quan- tum memories.Reviews of Modern Physics, 87(2):307– 346, 2015.doi:10.1103/RevModPhys.87.307

work page doi:10.1103/revmodphys.87.307 2015
[42]

Albert, Chao Shen, Chang- Ling Zou, Reinier W

Stefan Krastanov, Victor V. Albert, Chao Shen, Chang- Ling Zou, Reinier W. Heeres, Brian Vlastakis, Robert J. Schoelkopf, and Liang Jiang. Universal control of an os- cillator with dispersive coupling to a qubit.Physical Re- view A, 92(4):040303, 2015.doi:10.1103/PhysRevA.92. 040303

work page doi:10.1103/physreva.92 2015
[43]

Heeres, Brian Vlastakis, Eric Holland, Ste- fan Krastanov, Victor V

Reinier W. Heeres, Brian Vlastakis, Eric Holland, Ste- fan Krastanov, Victor V. Albert, Luigi Frunzio, Liang Jiang, and Robert J. Schoelkopf. Cavity state manipula- tion using photon-number selective phase gates.Physi- cal Review Letters, 115(13):137002, 2015.doi:10.1103/ PhysRevLett.115.137002

2015
[44]

Barrett, R

John Chiaverini, Dietrich Leibfried, Tobias Schaetz, Matthew D. Barrett, R. B. Blakestad, Joseph Britton, Wayne M. Itano, John D. Jost, Emanuel Knill, Christo- pher Langer, Roee Ozeri, and David J. Wineland. Real- ization of quantum error correction.Nature, 432:602–605, 2004.doi:10.1038/nature03074

work page doi:10.1038/nature03074 2004
[45]

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 process- ing.Science, 325(5945):1227–1230, 2009.doi:10.1126/ science.1177077

2009
[46]

Tversky and D

Daniel Nigg, Markus M¨ uller, Esteban A. Martinez, Philipp Schindler, Markus Hennrich, Thomas Monz, Miguel A. Martin-Delgado, and Rainer Blatt. Quan- tum computations on a topologically encoded qubit.Sci- ence, 345(6194):302–305, 2014.doi:10.1126/science. 1253742

work page doi:10.1126/science 2014
[47]

Barreiro, Thomas Monz, Vera Nebendahl, Daniel Nigg, Michael Chwalla, Markus Hen- nrich, and Rainer Blatt

Philipp Schindler, Julio T. Barreiro, Thomas Monz, Vera Nebendahl, Daniel Nigg, Michael Chwalla, Markus Hen- nrich, and Rainer Blatt. Experimental repetitive quan- tum error correction.Science, 332(6033):1059–1061, 2011.doi:10.1126/science.1203329

work page doi:10.1126/science.1203329 2011
[48]

Direct measurement of the Wigner function of a one-photon Fock state in a cavity

Patrice Bertet, Alexia Auffeves, Paolo Maioli, Stefano Osnaghi, Thierry Meunier, Michel Brune, Jean-Michel Raimond, and Serge Haroche. Direct measurement of the Wigner function of a one-photon Fock state in a cavity. Physical Review Letters, 89(20):200402, 2002.doi:10. 1103/PhysRevLett.89.200402

2002
[49]

Real-time quantum feedback prepares and stabilizes pho- ton number states.Nature, 477:73–77, 2011.doi: 10.1038/nature10376

Cl´ ement Sayrin, Igor Dotsenko, Xin Zhou, Bruno Peaudecerf, Tomasz Rybarczyk, S´ ebastien Gleyzes, Pierre Rouchon, Mazyar Mirrahimi, Hamed Amini, Michel Brune, Jean-Michel Raimond, and Serge Haroche. Real-time quantum feedback prepares and stabilizes pho- ton number states.Nature, 477:73–77, 2011.doi: 10.1038/nature10376

work page doi:10.1038/nature10376 2011
[50]

Charles Bamber and Jeff S. Lundeen. Observing Dirac’s classical phase space analog to the quantum state. Phys. Rev. Lett., 112:070405, Feb 2014.doi:10.1103/ PhysRevLett.112.070405

2014
[51]

Tomonori Matsushita and Holger F. Hofmann. De- pendence of measurement outcomes on the dynamics of quantum coherent interactions between the system and the meter.Phys. Rev. Res., 5:033064, Jul 2023. doi:10.1103/PhysRevResearch.5.033064

work page doi:10.1103/physrevresearch.5.033064 2023
[52]

David R. M. Arvidsson-Shukur, William F. Braasch Jr., Stephan De Bi` evre, Justin Dressel, Andrew N. Jordan, Christopher Langrenez, Matteo Lostaglio, Jeff S. Lun- deen, and Nicole Yunger Halpern. Properties and appli- cations of the Kirkwood–Dirac distribution.New Jour- nal of Physics, 26:121201, December 2024.doi:10.1088/ 1367-2630/ada05d

2024
[53]

Counterfactuality, back-action, and information gain in multi-path interferometers.Quantum Science and Technology, 9(4):045015, jul 2024.doi:10.1088/ 2058-9565/ad63c7

Jonte R Hance, Tomonori Matsushita, and Holger F Hof- mann. Counterfactuality, back-action, and information gain in multi-path interferometers.Quantum Science and Technology, 9(4):045015, jul 2024.doi:10.1088/ 2058-9565/ad63c7

2024
[54]

Roy J. Glauber. Coherent and incoherent states of the radiation field.Phys. Rev., 131:2766–2788, Sep 1963. doi:10.1103/PhysRev.131.2766

work page doi:10.1103/physrev.131.2766 1963
[55]

E. C. G. Sudarshan. Equivalence of semiclassical and quantum mechanical descriptions of statistical light beams.Phys. Rev. Lett., 10:277–279, Apr 1963.doi: 10.1103/PhysRevLett.10.277. 19 Appendix A: Derivation of Wigner function for Cat codes The derivation of the Wigner function for cat codes follows the one used in Ref. [5] for GKP codes. As in that cas...

work page doi:10.1103/physrevlett.10.277 1963
[56]

(B12) We verify Eq

Proof of Eq. (B12) We verify Eq. (B12) starting from the standard relation ˆD(β)|n⟩ ⟨m| ˆD†(β) = X p,q dpn(β)d qm(β)∗ |p⟩ ⟨q|,(B24) whered pn(β) =⟨p| ˆD(β)|n⟩are the standard displacement matrix elements. Taking the symplectic Fourier transform overβand using the identity 1 π Z C d2β e −iIm[βξ ∗] dpn(β)d qm(β)∗ = 2 (−1)n ⟨p| ˆD(ξ/2)|n⟩ ⟨q| ˆD(ξ/2)|m⟩ ∗ ,(...
[57]

The F ourier–Laguerre integralI kk′mm′(ξ) For completeness we give the closed form of the integral appearing in Eq. (B10). Expanding the Laguerre polyno- mials using L(α) n (x) = nX r=0 n+α n−r (−x)r r! (B27) and performing the angular and radial integrations in polar coordinatesβ=|β|e iθ, theθ-integral enforces that only terms whose total angular momentu...

[1] [1]

Linearity: ˆA7→W ˆA is a linear map such thatW ˆA = W ˆB iff ˆA= ˆB

[2] [2]

Reality:W ˆA = (W ˆA)∗

[3] [3]

Standardisation: R X dµW ˆA = Tr( ˆA) whereXis the whole phase space

[4] [4]

Covariance:W π(g) † ˆAπ(g)(Ω) =W ˆA(g·Ω), for all Ω∈Xandg∈G; whereπis an irreducible uni- tary representation of a simply connected, finite- dimensional Lie groupGacting on the Hilbert spaceHandg·Ω denotes the natural action of GonX

[5] [5]

In both formulations, the displacement operators play an important role

Traciality: R X dµW ˆAW ˆB = Tr( ˆA ˆB) As originally formulated, the Wigner function was a continuous-variable (CV) function, but a discrete vari- able (DV) analogue was later developed by Gross [23]: the Gross Wigner function. In both formulations, the displacement operators play an important role. They are defined as follows for CV and DV Wigner functi...

[6] [6]

Single photon loss example The dominant physical error channel in many bosonic implementations is single-photon loss [30]. In the Lind- blad formalism, this is described by the annihilation op- erator ˆa, so that the error channel acting on a density operator ˆρis Tloss(ˆρ) = ˆaˆρˆa†.(75) We can apply the Structure Theorem mapQ cat(Tloss) to track how thi...

[7] [7]

Single photon loss example Recall that binomial codewords consist of Fock states spaced byS+ 1 [4]: |W↑⟩ ∝ X peven s N+ 1 p |p(S+ 1)⟩,|W ↓⟩ ∝ X podd s N+ 1 p |p(S+ 1)⟩.(95) 14 Acting with ˆaon a Fock state lowers the photon number by one: ˆa|n⟩=√n|n−1⟩. Since the codewords occupy Fock levels{p(S+ 1)}, a single photon loss maps each level top(S+ 1)−1, whic...

[8] [8]

En- coding a qubit in an oscillator.Physical Review A, 64(1), 06 2001.doi:10.1103/physreva.64.012310

Daniel Gottesman, Alexei Kitaev, and John Preskill. En- coding a qubit in an oscillator.Physical Review A, 64(1), 06 2001.doi:10.1103/physreva.64.012310

work page doi:10.1103/physreva.64.012310 2001

[9] [9]

Schoelkopf, Michel H

Zaki Leghtas, Gerhard Kirchmair, Brian Vlastakis, Robert J. Schoelkopf, Michel H. Devoret, and Maz- yar Mirrahimi. Hardware-efficient autonomous quantum memory protection.Phys. Rev. Lett., 111:120501, Sep 2013.doi:10.1103/PhysRevLett.111.120501

work page doi:10.1103/physrevlett.111.120501 2013

[10] [10]

Dynamically protected cat-qubits: a new paradigm for universal quantum computation

Mazyar Mirrahimi, Zaki Leghtas, Victor V Albert, Steven Touzard, Robert J Schoelkopf, Liang Jiang, and Michel H Devoret. Dynamically protected cat-qubits: a new paradigm for universal quantum computation. New Journal of Physics, 16(4):045014, April 2014.doi: 10.1088/1367-2630/16/4/045014

work page doi:10.1088/1367-2630/16/4/045014 2014

[11] [11]

Michael, Matti Silveri, R

Marios H. Michael, Matti Silveri, R. T. Brierley, Vic- tor V. Albert, Juha Salmilehto, Liang Jiang, and S. M. Girvin. New class of quantum error-correcting codes for a bosonic mode.Physical Review X, 6(3), 07 2016. doi:10.1103/physrevx.6.031006

work page doi:10.1103/physrevx.6.031006 2016

[12] [12]

Identifying quantum resources in encoded computa- tions, 2024

Jack Davis, Nicolas Fabre, and Ulysse Chabaud. Identifying quantum resources in encoded computa- tions, 2024. URL:https://arxiv.org/abs/2407.18394, arXiv:2407.18394

work page arXiv 2024

[13] [13]

Brif and A

C. Brif and A. Mann. Phase-space formulation of quan- tum mechanics and quantum-state reconstruction for physical systems with Lie-group symmetries.Physical Review A, 59(2):971–987, February 1999.doi:10.1103/ physreva.59.971

1999

[14] [14]

Selby, Matthew F

David Schmid, John H. Selby, Matthew F. Pusey, and Robert W. Spekkens. A structure theo- rem for generalized-noncontextual ontological mod- els.Quantum, 8:1283, March 2024.doi:10.22331/ q-2024-03-14-1283

2024

[15] [15]

Baldij˜ ao, Matthias Salzger, Y` ıl` e Y¯ ıng, David Schmid, and John H

Rafael Wagner, Roberto D. Baldij˜ ao, Matthias Salzger, Y` ıl` e Y¯ ıng, David Schmid, and John H. Selby. A structure theorem for complex-valued quasiprobability representa- tions of physical theories, 2025.arXiv:2509.10949

work page arXiv 2025

[16] [16]

Information processing in general- ized probabilistic theories.Phys

Jonathan Barrett. Information processing in general- ized probabilistic theories.Phys. Rev. A, 75:032304, Mar 2007.doi:10.1103/PhysRevA.75.032304

work page doi:10.1103/physreva.75.032304 2007

[17] [17]

General probabilistic theories: An in- troduction.Physics Reports, 1033:1–64, 09 2023.doi: 10.1016/j.physrep.2023.09.001

Martin Pl´ avala. General probabilistic theories: An in- troduction.Physics Reports, 1033:1–64, 09 2023.doi: 10.1016/j.physrep.2023.09.001

work page doi:10.1016/j.physrep.2023.09.001 2023

[18] [18]

Selby, Elie Wolfe, Ravi Kun- jwal, and Robert W

David Schmid, John H. Selby, Elie Wolfe, Ravi Kun- jwal, and Robert W. Spekkens. Characterization of noncontextuality in the framework of generalized prob- abilistic theories.PRX Quantum, 2(1), February 2021. doi:10.1103/prxquantum.2.010331

work page doi:10.1103/prxquantum.2.010331 2021

[19] [19]

Chelsea Publishing Company, New York, 1950

Andrey Nikolaevich Kolmogorov.Foundations of the Theory of Probability. Chelsea Publishing Company, New York, 1950. Translated from the German edition of 1933

1950

[20] [20]

E. Wigner. On the quantum correction for thermody- namic equilibrium.Phys. Rev., 40:749–759, Jun 1932. doi:10.1103/PhysRev.40.749

work page doi:10.1103/physrev.40.749 1932

[21] [21]

Kirkwood

John G. Kirkwood. Quantum statistics of almost clas- sical assemblies.Phys. Rev., 44:31–37, Jul 1933.doi: 10.1103/PhysRev.44.31

work page doi:10.1103/physrev.44.31 1933

[22] [22]

P. A. M. Dirac. On the analogy between classical and quantum mechanics.Rev. Mod. Phys., 17:195–199, Apr 1945.doi:10.1103/RevModPhys.17.195

work page doi:10.1103/revmodphys.17.195 1945

[23] [23]

Harriman and Mark E

John E. Harriman and Mark E. Casida. Husimi rep- resentation for stationary states.International Jour- nal of Quantum Chemistry, 45(3):263–294, 1993.doi: 10.1002/qua.560450304

work page doi:10.1002/qua.560450304 1993

[24] [24]

Enrico Bozzetto and Jonte R. Hance. Classical limit: Dissipation of Spekkens’ generalised contextuality under decoherence, 2026.arXiv:2605.09558

work page internal anchor Pith review Pith/arXiv arXiv 2026

[25] [25]

Efficient simulatability of continuous-variable circuits with large Wigner negativ- ity.Phys

Laura Garc´ ıa-´Alvarez, Cameron Calcluth, Alessandro Ferraro, and Giulia Ferrini. Efficient simulatability of continuous-variable circuits with large Wigner negativ- ity.Phys. Rev. Res., 2:043322, Dec 2020.doi:10.1103/ PhysRevResearch.2.043322

2020

[26] [26]

Efficient simulation of Gottesman-Kitaev-Preskill states with Gaussian circuits.Quantum, 6:867, Decem- ber 2022.doi:10.22331/q-2022-12-01-867

Cameron Calcluth, Alessandro Ferraro, and Giulia Fer- rini. Efficient simulation of Gottesman-Kitaev-Preskill states with Gaussian circuits.Quantum, 6:867, Decem- ber 2022.doi:10.22331/q-2022-12-01-867

work page doi:10.22331/q-2022-12-01-867 2022

[27] [27]

B. Q. Baragiola, G. Pantaleoni, R. N. Alexander, A. Karanjai, and N. C. Menicucci. All-Gaussian uni- versality and fault tolerance with the Gottesman-Kitaev- Preskill code.Physical Review Letters, 123(20):200502, 2019.doi:10.1103/PhysRevLett.123.200502

work page doi:10.1103/physrevlett.123.200502 2019

[28] [28]

Calcluth, A

C. Calcluth, A. Ferraro, and G. Ferrini. Vacuum pro- vides quantum advantage to otherwise simulatable ar- chitectures.Physical Review A, 107(6):062414, 2023. doi:10.1103/PhysRevA.107.062414

work page doi:10.1103/physreva.107.062414 2023

[29] [29]

Yamasaki, T

H. Yamasaki, T. Matsuura, and M. Koashi. Cost-reduced all-Gaussian universality with the Gottesman-Kitaev- Preskill code: Resource-theoretic approach to cost anal- ysis.Physical Review Research, 2(2):023270, 2020.doi: 10.1103/PhysRevResearch.2.023270

work page doi:10.1103/physrevresearch.2.023270 2020

[30] [30]

D. Gross. Hudson’s theorem for finite-dimensional quantum systems.Journal of Mathematical Physics, 18 47(12):122107, 12 2006.doi:10.1063/1.2393152

work page doi:10.1063/1.2393152 2006

[31] [31]

Brand˜ ao

Kyungjoo Noh, Christopher Chamberland, and Fer- nando G.S.L. Brand˜ ao. Low-overhead fault-tolerant quantum error correction with the surface-GKP code. PRX Quantum, 3(1), January 2022.doi:10.1103/ prxquantum.3.010315

2022

[32] [32]

Grimsmo and Shruti Puri

Arne L. Grimsmo and Shruti Puri. Quantum error cor- rection with the Gottesman-Kitaev-Preskill code.PRX Quantum, 2(2), 06 2021.doi:10.1103/prxquantum.2. 020101

work page doi:10.1103/prxquantum.2 2021

[33] [33]

Frattini, Julien Cami- rand Lemyre, and Philippe St-Jean

Dany Lachance-Quirion, Marc-Antoine Lemonde, Jean Olivier Simoneau, Lucas St-Jean, Pascal Lemieux, Sara Turcotte, Wyatt Wright, Am´ elie Lacroix, Jo¨ elle Fr´ echette-Viens, Ross Shillito, Florian Hopfmueller, Maxime Tremblay, Nicholas E. Frattini, Julien Cami- rand Lemyre, and Philippe St-Jean. Autonomous quantum error correction of Gottesman-Kitaev-Pres...

work page doi:10.1103/physrevlett.132.150607 2024

[34] [34]

Brady, Alec Eickbusch, Shraddha Singh, Jing Wu, and Quntao Zhuang

Anthony J. Brady, Alec Eickbusch, Shraddha Singh, Jing Wu, and Quntao Zhuang. Advances in bosonic quan- tum error correction with Gottesman–Kitaev–Preskill Codes: Theory, engineering and applications.Progress in Quantum Electronics, 93:100496, January 2024.doi: 10.1016/j.pquantelec.2023.100496

work page doi:10.1016/j.pquantelec.2023.100496 2024

[35] [35]

Analysis of loss correction with the Gottesman-Kitaev-Preskill code

Jacob Hastrup and Ulrik Lund Andersen. Analysis of loss correction with the Gottesman-Kitaev-Preskill code. Physical Review A, 108(5), November 2023.doi:10. 1103/physreva.108.052413

2023

[36] [36]

Paul Busch and Pekka J. Lahti. To what extent do position and momentum commute?Physics Letters A, 115(6):259–264, 1986.doi:10.1016/0375-9601(86) 90549-9

work page doi:10.1016/0375-9601(86 1986

[37] [37]

Alicante, A

Weizhou Cai, Yuwei Ma, Weiting Wang, Chang-Ling Zou, and Luyan Sun. Bosonic quantum error correction codes in superconducting quantum circuits.Fundamen- tal Research, 1(1):50–67, January 2021.doi:10.1016/j. fmre.2020.12.006

work page doi:10.1016/j 2021

[38] [38]

Bennett, David P

Charles H. Bennett, David P. DiVincenzo, John A. Smolin, and William K. Wootters. Mixed-state entan- glement and quantum error correction.Phys. Rev. A, 54:3824–3851, Nov 1996.doi:10.1103/PhysRevA.54. 3824

work page doi:10.1103/physreva.54 1996

[39] [39]

Nielsen and Isaac L

Michael A. Nielsen and Isaac L. Chuang.Quantum Com- putation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, 2010

2010

[40] [40]

Theory of quantum error-correcting codes.Physical Review A, 55(2):900–911, 1997.doi:10.1103/PhysRevA.55.900

Emanuel Knill and Raymond Laflamme. Theory of quantum error-correcting codes.Physical Review A, 55(2):900–911, 1997.doi:10.1103/PhysRevA.55.900

work page doi:10.1103/physreva.55.900 1997

[41] [41]

Barbara M. Terhal. Quantum error correction for quan- tum memories.Reviews of Modern Physics, 87(2):307– 346, 2015.doi:10.1103/RevModPhys.87.307

work page doi:10.1103/revmodphys.87.307 2015

[42] [42]

Albert, Chao Shen, Chang- Ling Zou, Reinier W

Stefan Krastanov, Victor V. Albert, Chao Shen, Chang- Ling Zou, Reinier W. Heeres, Brian Vlastakis, Robert J. Schoelkopf, and Liang Jiang. Universal control of an os- cillator with dispersive coupling to a qubit.Physical Re- view A, 92(4):040303, 2015.doi:10.1103/PhysRevA.92. 040303

work page doi:10.1103/physreva.92 2015

[43] [43]

Heeres, Brian Vlastakis, Eric Holland, Ste- fan Krastanov, Victor V

Reinier W. Heeres, Brian Vlastakis, Eric Holland, Ste- fan Krastanov, Victor V. Albert, Luigi Frunzio, Liang Jiang, and Robert J. Schoelkopf. Cavity state manipula- tion using photon-number selective phase gates.Physi- cal Review Letters, 115(13):137002, 2015.doi:10.1103/ PhysRevLett.115.137002

2015

[44] [44]

Barrett, R

John Chiaverini, Dietrich Leibfried, Tobias Schaetz, Matthew D. Barrett, R. B. Blakestad, Joseph Britton, Wayne M. Itano, John D. Jost, Emanuel Knill, Christo- pher Langer, Roee Ozeri, and David J. Wineland. Real- ization of quantum error correction.Nature, 432:602–605, 2004.doi:10.1038/nature03074

work page doi:10.1038/nature03074 2004

[45] [45]

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 process- ing.Science, 325(5945):1227–1230, 2009.doi:10.1126/ science.1177077

2009

[46] [46]

Tversky and D

Daniel Nigg, Markus M¨ uller, Esteban A. Martinez, Philipp Schindler, Markus Hennrich, Thomas Monz, Miguel A. Martin-Delgado, and Rainer Blatt. Quan- tum computations on a topologically encoded qubit.Sci- ence, 345(6194):302–305, 2014.doi:10.1126/science. 1253742

work page doi:10.1126/science 2014

[47] [47]

Barreiro, Thomas Monz, Vera Nebendahl, Daniel Nigg, Michael Chwalla, Markus Hen- nrich, and Rainer Blatt

Philipp Schindler, Julio T. Barreiro, Thomas Monz, Vera Nebendahl, Daniel Nigg, Michael Chwalla, Markus Hen- nrich, and Rainer Blatt. Experimental repetitive quan- tum error correction.Science, 332(6033):1059–1061, 2011.doi:10.1126/science.1203329

work page doi:10.1126/science.1203329 2011

[48] [48]

Direct measurement of the Wigner function of a one-photon Fock state in a cavity

Patrice Bertet, Alexia Auffeves, Paolo Maioli, Stefano Osnaghi, Thierry Meunier, Michel Brune, Jean-Michel Raimond, and Serge Haroche. Direct measurement of the Wigner function of a one-photon Fock state in a cavity. Physical Review Letters, 89(20):200402, 2002.doi:10. 1103/PhysRevLett.89.200402

2002

[49] [49]

Real-time quantum feedback prepares and stabilizes pho- ton number states.Nature, 477:73–77, 2011.doi: 10.1038/nature10376

Cl´ ement Sayrin, Igor Dotsenko, Xin Zhou, Bruno Peaudecerf, Tomasz Rybarczyk, S´ ebastien Gleyzes, Pierre Rouchon, Mazyar Mirrahimi, Hamed Amini, Michel Brune, Jean-Michel Raimond, and Serge Haroche. Real-time quantum feedback prepares and stabilizes pho- ton number states.Nature, 477:73–77, 2011.doi: 10.1038/nature10376

work page doi:10.1038/nature10376 2011

[50] [50]

Charles Bamber and Jeff S. Lundeen. Observing Dirac’s classical phase space analog to the quantum state. Phys. Rev. Lett., 112:070405, Feb 2014.doi:10.1103/ PhysRevLett.112.070405

2014

[51] [51]

Tomonori Matsushita and Holger F. Hofmann. De- pendence of measurement outcomes on the dynamics of quantum coherent interactions between the system and the meter.Phys. Rev. Res., 5:033064, Jul 2023. doi:10.1103/PhysRevResearch.5.033064

work page doi:10.1103/physrevresearch.5.033064 2023

[52] [52]

David R. M. Arvidsson-Shukur, William F. Braasch Jr., Stephan De Bi` evre, Justin Dressel, Andrew N. Jordan, Christopher Langrenez, Matteo Lostaglio, Jeff S. Lun- deen, and Nicole Yunger Halpern. Properties and appli- cations of the Kirkwood–Dirac distribution.New Jour- nal of Physics, 26:121201, December 2024.doi:10.1088/ 1367-2630/ada05d

2024

[53] [53]

Counterfactuality, back-action, and information gain in multi-path interferometers.Quantum Science and Technology, 9(4):045015, jul 2024.doi:10.1088/ 2058-9565/ad63c7

Jonte R Hance, Tomonori Matsushita, and Holger F Hof- mann. Counterfactuality, back-action, and information gain in multi-path interferometers.Quantum Science and Technology, 9(4):045015, jul 2024.doi:10.1088/ 2058-9565/ad63c7

2024

[54] [54]

Roy J. Glauber. Coherent and incoherent states of the radiation field.Phys. Rev., 131:2766–2788, Sep 1963. doi:10.1103/PhysRev.131.2766

work page doi:10.1103/physrev.131.2766 1963

[55] [55]

E. C. G. Sudarshan. Equivalence of semiclassical and quantum mechanical descriptions of statistical light beams.Phys. Rev. Lett., 10:277–279, Apr 1963.doi: 10.1103/PhysRevLett.10.277. 19 Appendix A: Derivation of Wigner function for Cat codes The derivation of the Wigner function for cat codes follows the one used in Ref. [5] for GKP codes. As in that cas...

work page doi:10.1103/physrevlett.10.277 1963

[56] [56]

(B12) We verify Eq

Proof of Eq. (B12) We verify Eq. (B12) starting from the standard relation ˆD(β)|n⟩ ⟨m| ˆD†(β) = X p,q dpn(β)d qm(β)∗ |p⟩ ⟨q|,(B24) whered pn(β) =⟨p| ˆD(β)|n⟩are the standard displacement matrix elements. Taking the symplectic Fourier transform overβand using the identity 1 π Z C d2β e −iIm[βξ ∗] dpn(β)d qm(β)∗ = 2 (−1)n ⟨p| ˆD(ξ/2)|n⟩ ⟨q| ˆD(ξ/2)|m⟩ ∗ ,(...

[57] [57]

The F ourier–Laguerre integralI kk′mm′(ξ) For completeness we give the closed form of the integral appearing in Eq. (B10). Expanding the Laguerre polyno- mials using L(α) n (x) = nX r=0 n+α n−r (−x)r r! (B27) and performing the angular and radial integrations in polar coordinatesβ=|β|e iθ, theθ-integral enforces that only terms whose total angular momentu...