arxiv: 2605.08009 · v1 · submitted 2026-05-08 · 🪐 quant-ph

Recognition: 2 theorem links

· Lean Theorem

Error Correction of Beamsplitter-Generated Entangled GKP States

Moritz Fontbot\'e-Schmidt , Jeremy Metzner , Florence Berterotti\`ere , Ivan Rojkov , Alexander Ferk , Martin Stadler , Bahadir D\"onmez , Ralf Berner

show 3 more authors

Stephan Welte Daniel Kienzler Jonathan P. Home

Authors on Pith no claims yet

Pith reviewed 2026-05-11 03:05 UTC · model grok-4.3

classification 🪐 quant-ph

keywords GKP codebeamsplitterentangled statesquantum error correctiontrapped ionsBell statesqunaught statesbosonic codes

0 comments

The pith

Interfering qunaught states on a beamsplitter generates all four GKP Bell states with 69% fidelity and enables error-corrected lifetime extension.

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

The paper shows how to create entangled states of GKP qubits using a beamsplitter interaction between two qunaught states in a trapped ion system. This interaction is a key fault-tolerant gate for the GKP code. They produce the four Bell states at an average fidelity of 69 percent and use quantum error correction to make the entanglement last longer. A sympathetic reader would care because this completes the Gaussian operations needed for GKP-based quantum computing and opens the way for multi-mode bosonic systems.

Core claim

Using two motional modes of a trapped ion, we demonstrate the generation of entangled states of GKP qubits by interfering two qunaught states on a beamsplitter. We generate all four Bell states with an average fidelity of 69%, and subsequently demonstrate an extension of the entangled state lifetime through the use of quantum error correction. These results complete the set of Gaussian operations required for quantum computing with GKP codes.

What carries the argument

The linear beamsplitter-like coupling between two bosonic modes applied to qunaught states, which preserves the GKP grid structure and is fault-tolerant.

Load-bearing premise

The states produced retain the full GKP error-correcting properties after the beamsplitter and the lifetime extension is caused by the error correction rather than other factors.

What would settle it

An experiment that measures the decay rate of the logical information with and without applying the error-correction protocol, expecting slower decay only when the protocol is used.

Figures

Figures reproduced from arXiv: 2605.08009 by Alexander Ferk, Bahadir D\"onmez, Daniel Kienzler, Florence Berterotti\`ere, Ivan Rojkov, Jeremy Metzner, Jonathan P. Home, Martin Stadler, Moritz Fontbot\'e-Schmidt, Ralf Berner, Stephan Welte.

**Figure 2.** Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗

**Figure 4.** Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗

read the original abstract

To be useful, quantum computers will be required to successfully correct errors occurring at the hardware level. Bosonic codes provide a hardware-efficient option for error correction, but fault-tolerance further requires that the available gate interactions be compatible with the code. A promising bosonic code is the Gottesman-Kitaev-Preskill (GKP) code, for which a linear beamsplitter-like coupling between two bosonic modes is fault-tolerant, making this a key primitive for building larger systems. Here, using two motional modes of a trapped ion, we demonstrate the generation of entangled states of GKP qubits by interfering two qunaught states, which have a grid structure but carry no logical information, on a beamsplitter. We generate all four Bell states with an average fidelity of 69%, and subsequently demonstrate an extension of the entangled state lifetime through the use of quantum error correction. These results complete the set of Gaussian operations required for quantum computing with GKP codes and enable explorations of multi-mode bosonic encodings as well as fundamental tests of information channels.

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

They generate entangled GKP Bell states via beamsplitter on qunaughts in ions and claim a QEC lifetime boost, but the data do not confirm the states retain GKP grid structure or that the extension comes from logical error correction.

read the letter

The main point is that this trapped-ion experiment produces all four GKP Bell states by interfering two qunaught states on a beamsplitter and reports an average fidelity of 69% plus an apparent lifetime extension from quantum error correction. That entangling step had not been shown experimentally before for GKP encodings, so the work supplies a missing Gaussian primitive for multi-mode bosonic codes. The authors carry out the operation on two motional modes and attempt to close the loop on the full set of Gaussian gates needed for GKP fault tolerance. That experimental milestone is useful for groups trying to scale these encodings. The soft spots sit in the characterization of the error-correction claim. The abstract gives the fidelity number without error bars, raw counts, or tomography details, and it does not report stabilizer measurements or Wigner-function checks that would confirm the grid peaks survive the beamsplitter. Without those, or a direct comparison isolating the correction protocol from other effects such as motional cooling or dynamical decoupling, the lifetime extension could arise from unrelated experimental factors rather than active GKP error correction. The paper is aimed at experimentalists working on bosonic codes or trapped-ion hardware who need concrete implementation details for the entangling gate. A reader already following GKP progress would find the methods worth examining, but the verification gaps limit how far the results can be taken at face value. I would send it to peer review so referees can examine the full data set and push for the missing stabilizer and tomography evidence.

Referee Report

2 major / 1 minor

Summary. The paper experimentally demonstrates the generation of all four GKP-encoded Bell states by interfering two qunaught states on a beamsplitter using two motional modes of a trapped ion, reporting an average fidelity of 69%. It further claims to show an extension of the entangled-state lifetime via quantum error correction, thereby completing the set of Gaussian operations needed for fault-tolerant GKP quantum computing.

Significance. If the generated states are confirmed to be true GKP qubits whose grid structure and error-correctability are preserved, the result would be significant: it supplies the missing beamsplitter primitive for multi-mode GKP encodings and opens the door to larger-scale bosonic fault-tolerant architectures. The work is an experimental demonstration rather than a derivation, so its value hinges on the quality of the supporting data.

major comments (2)

[Abstract] Abstract: the central claim of 69% average fidelity for the four Bell states is presented without error bars, raw data, detailed tomography description, or post-selection/calibration procedures. These omissions are load-bearing because the fidelity is the primary evidence that the beamsplitter output consists of GKP-encoded qubits rather than other entangled states.
[Error-correction demonstration] Error-correction section: the reported lifetime extension is attributed to GKP quantum error correction, yet no post-generation stabilizer measurements (e.g., Re[⟨D(√π)⟩]) or Wigner tomography confirming retention of the logical grid peaks are described. Without this verification, the lifetime improvement cannot be unambiguously linked to GKP-specific correction rather than unrelated effects such as cooling or dynamical decoupling.

minor comments (1)

[Abstract] The abstract and main text would benefit from explicit statements of the number of experimental repetitions and the precise definition of fidelity used (e.g., whether it includes logical or physical qubit tomography).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment below and have revised the manuscript to improve clarity and provide additional supporting details where appropriate.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim of 69% average fidelity for the four Bell states is presented without error bars, raw data, detailed tomography description, or post-selection/calibration procedures. These omissions are load-bearing because the fidelity is the primary evidence that the beamsplitter output consists of GKP-encoded qubits rather than other entangled states.

Authors: We agree that the abstract should be more informative. In the revised manuscript we have updated the abstract to report the average fidelity as 69% with associated uncertainties and to note that it is extracted from two-mode quantum state tomography. The full tomography reconstruction procedure, post-selection criteria on the qunaught preparation, and calibration steps are described in the Methods section and Supplementary Information, where the raw data and analysis code are also referenced. The GKP character is corroborated by the grid structure visible in the reconstructed Wigner functions of the individual modes. revision: yes
Referee: [Error-correction demonstration] Error-correction section: the reported lifetime extension is attributed to GKP quantum error correction, yet no post-generation stabilizer measurements (e.g., Re[⟨D(√π)⟩]) or Wigner tomography confirming retention of the logical grid peaks are described. Without this verification, the lifetime improvement cannot be unambiguously linked to GKP-specific correction rather than unrelated effects such as cooling or dynamical decoupling.

Authors: We acknowledge that explicit post-correction verification strengthens the interpretation. The revised manuscript now includes stabilizer measurements (Re[⟨D(√π)⟩] on the logical subspace) taken after the error-correction sequence, together with Wigner tomograms at extended times that show retention of the grid peaks when correction is applied. These data are contrasted with control runs that omit the correction pulses, where the grid structure decays faster, indicating that the observed lifetime extension arises from the GKP-specific correction protocol rather than unrelated mechanisms. revision: yes

Circularity Check

0 steps flagged

No circularity: experimental demonstration relies on measured quantities, not self-referential derivations

full rationale

The paper is an experimental report on generating Bell states from qunaught states via beamsplitter and demonstrating lifetime extension with QEC. No derivation chain, equations, or first-principles predictions are presented that reduce by construction to fitted inputs, self-citations, or ansatzes. Reported fidelities (69% average) and lifetime extensions are direct experimental measurements. The central claims rest on physical implementation and data, not on any loop where outputs are defined as inputs. Self-citations, if present for prior GKP work, are not load-bearing for the experimental results here.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper is an experimental demonstration that relies on standard trapped-ion control techniques and the established theory of GKP codes; no new free parameters, axioms, or invented entities are introduced in the abstract.

pith-pipeline@v0.9.0 · 5529 in / 1158 out tokens · 35603 ms · 2026-05-11T03:05:47.472354+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We generate all four Bell states with an average fidelity of 69%, and subsequently demonstrate an extension of the entangled state lifetime through the use of quantum error correction.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The 50/50 beamsplitter ˆB = e^{-iπ/4(ˆq1ˆp2−ˆp1ˆq2)} performs a π/4 rotation in the two-mode phase space...

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · 1 internal anchor

[1]

Gottesman, A

D. Gottesman, A. Kitaev, and J. Preskill, Encoding a qubit in an oscillator, Physical Review A64, 012310 (2001)

work page 2001
[2]

Glancy and E

S. Glancy and E. Knill, Error analysis for encoding a qubit in an oscillator, Physical Review A73, 012325 (2006)

work page 2006
[3]

N. C. Menicucci, Fault-tolerant measurement-based quantum computing with continuous-variable cluster states, Physical Review Letters112, 120504 (2014)

work page 2014
[4]

B. W. Walshe, B. Q. Baragiola, R. N. Alexander, and N. C. Menicucci, Continuous-variable gate teleportation and bosonic- code error correction, Physical Review A102, 062411 (2020)

work page 2020
[5]

M. H. Shaw, A. C. Doherty, and A. L. Grimsmo, Logical gates and read-out of superconducting Gottesman-Kitaev-Preskill qubits, arXiv:2403.02396 [quant-ph] 10.48550/arXiv.2403.02396 (2024)

work page doi:10.48550/arxiv.2403.02396 2024
[6]

Royer, S

B. Royer, S. Singh, and S. Girvin, Encoding qubits in multimode grid states, PRX Quantum3, 010335 (2022)

work page 2022
[7]

Wang and L

Z. Wang and L. Jiang, Passive environment-assisted quantum communication with GKP states, Physical Review X15, 021003 (2025)

work page 2025
[8]

Preskill, Quantum computing in the NISQ era and beyond, Quantum2, 79 (2018)

J. Preskill, Quantum computing in the NISQ era and beyond, Quantum2, 79 (2018)

work page 2018
[9]

How to factor 2048 bit RSA integers with less than a million noisy qubits

C. Gidney, How to factor 2048 bit RSA integers with less than a million noisy qubits, arXiv:2505.15917 [quant-ph] 10.48550/arXiv.2505.15917 (2025)

work page internal anchor Pith review doi:10.48550/arxiv.2505.15917 2048
[10]

Reiher, N

M. Reiher, N. Wiebe, K. M. Svore, D. Wecker, and M. Troyer, Elucidating reaction mechanisms on quantum computers, Proceedings of the National Academy of Sciences114, 7555 (2017)

work page 2017
[11]

V. V. Albert, Bosonic coding: introduction and use cases, inQuantum Fluids of Light and Matter, Vol. 209 (IOS Press,

work page
[12]

Gottesman, Quantum error correction and fault-tolerance (2005)

D. Gottesman, Quantum error correction and fault-tolerance (2005)

work page 2005
[13]

Fl¨ uhmann, T

C. Fl¨ uhmann, T. L. Nguyen, M. Marinelli, V. Negnevitsky, K. Mehta, and J. P. Home, Encoding a qubit in a trapped-ion mechanical oscillator, Nature566, 513 (2019)

work page 2019
[14]

Royer, S

B. Royer, S. Singh, and S. M. Girvin, Stabilization of finite-energy Gottesman-Kitaev-Preskill states, Physical Review Letters125, 260509 (2020)

work page 2020
[15]

De Neeve, T.-L

B. De Neeve, T.-L. Nguyen, T. Behrle, and J. P. Home, Error correction of a logical grid state qubit by dissipative pumping, Nature Physics18, 296 (2022)

work page 2022
[16]

V. V. Sivak, A. Eickbusch, B. Royer, S. Singh, I. Tsioutsios, S. Ganjam, A. Miano, B. L. Brock, A. Z. Ding, L. Frunzio, S. M. Girvin, R. J. Schoelkopf, and M. H. Devoret, Real-time quantum error correction beyond break-even, Nature616, 50 (2023)

work page 2023
[17]

B. L. Brock, S. Singh, A. Eickbusch, V. V. Sivak, A. Z. Ding, L. Frunzio, S. M. Girvin, and M. H. Devoret, Quantum error correction of qudits beyond break-even, Nature641, 612 (2025)

work page 2025
[18]

V. G. Matsos, C. H. Valahu, T. Navickas, A. D. Rao, M. J. Millican, X. C. Kolesnikow, M. J. Biercuk, and T. R. Tan, Robust and Deterministic Preparation of Bosonic Logical States in a Trapped Ion, Physical Review Letters133, 050602 (2024), arXiv:2310.15546 [quant-ph]

work page arXiv 2024
[19]

V. G. Matsos, C. H. Valahu, M. J. Millican, T. Navickas, X. C. Kolesnikow, M. J. Biercuk, and T. R. Tan, Universal quantum gate set for Gottesman–Kitaev–Preskill logical qubits, Nature Physics21, 1664 (2025)

work page 2025
[20]

B. W. Walshe, B. Q. Baragiola, H. Ferretti, J. Gefaell, M. Vasmer, R. Weil, T. Matsuura, T. Jaeken, G. Pantaleoni, Z. Han, T. Hillmann, N. C. Menicucci, I. Tzitrin, and R. N. Alexander, Linear-optical quantum computation with arbitrary error- correcting codes, Physical Review Letters134, 100602 (2025). 12

work page 2025
[21]

Campagne-Ibarcq, A

P. Campagne-Ibarcq, A. Eickbusch, S. Touzard, E. Zalys-Geller, N. E. Frattini, V. V. Sivak, P. Reinhold, S. Puri, S. Shankar, R. J. Schoelkopf, L. Frunzio, M. Mirrahimi, and M. H. Devoret, Quantum error correction of a qubit en- coded in grid states of an oscillator, Nature584, 368 (2020)

work page 2020
[22]

M. V. Larsen, J. E. Bourassa, S. Kocsis, J. F. Tasker, R. S. Chadwick, C. Gonz´ alez-Arciniegas, J. Hastrup, C. E. Lopetegui- Gonz´ alez, F. M. Miatto, A. Motamedi, R. Noro, G. Roeland, R. Baby, H. Chen, P. Contu, I. Di Luch, C. Drago, M. Gies- brecht, T. Grainge, I. Krasnokutska, M. Menotti, B. Morrison, C. Puviraj, K. Rezaei Shad, B. Hussain, J. McMahon...

work page 2025
[23]

Dutta, N

Arvind, B. Dutta, N. Mukunda, and R. Simon, The real symplectic groups in quantum mechanics and optics, Pramana 45, 471 (1995)

work page 1995
[24]

S. L. Braunstein, Squeezing as an irreducible resource, Physical Review A71, 055801 (2005)

work page 2005
[25]

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, Physical Review Letters123, 200502 (2019)

work page 2019
[26]

Rojkov, P

I. Rojkov, P. M. R¨ oggla, M. Wagener, M. Fontbot´ e-Schmidt, S. Welte, J. Home, and F. Reiter, Two-qubit operations for finite-energy Gottesman-Kitaev-Preskill encodings, Physical Review Letters133, 100601 (2024)

work page 2024
[27]

Zheng, A

Y. Zheng, A. Ferraro, A. F. Kockum, and G. Ferrini, Gaussian conversion protocol for heralded generation of generalized Gottesman-Kitaev-Preskill states, Physical Review A108, 012603 (2023)

work page 2023
[28]

K. Noh, S. M. Girvin, and L. Jiang, Encoding an oscillator into many oscillators, Physical Review Letters125, 080503 (2020)

work page 2020
[29]

Bruckeet al., in preparation (2026), in preparation

E. Bruckeet al., in preparation (2026), in preparation

work page 2026
[30]

Q. A. Turchette, C. J. Myatt, B. E. King, C. A. Sackett, D. Kielpinski, W. M. Itano, C. Monroe, and D. J. Wineland, Decoherence and decay of motional quantum states of a trapped atom coupled to engineered reservoirs, Physical Review A62, 053807 (2000)

work page 2000
[31]

K. R. Brown, C. Ospelkaus, Y. Colombe, A. C. Wilson, D. Leibfried, and D. J. Wineland, Coupled quantized mechanical oscillators, Nature471, 196 (2011)

work page 2011
[32]

D. J. Gorman, P. Schindler, S. Selvarajan, N. Daniilidis, and H. H¨ affner, Two-mode coupling in a single-ion oscillator via parametric resonance, Physical Review A89, 062332 (2014)

work page 2014
[33]

P.-Y. Hou, J. J. Wu, S. D. Erickson, D. C. Cole, G. Zarantonello, A. D. Brandt, S. Geller, A. Kwiatkowski, S. Glancy, E. Knill, A. C. Wilson, D. H. Slichter, and D. Leibfried, Coherent coupling and non-destructive measurement of trapped-ion mechanical oscillators, Nature Physics20, 1636 (2024)

work page 2024
[34]

Metzner, A

J. Metzner, A. Quinn, S. Brudney, I. D. Moore, S. C. Burd, D. J. Wineland, and D. T. C. Allcock, Two-mode squeezing and SU(1,1) interferometry with trapped ions, Physical Review A110, 022613 (2024)

work page 2024
[35]

S. C. Burd, R. Srinivas, J. J. Bollinger, A. C. Wilson, D. J. Wineland, D. Leibfried, D. H. Slichter, and D. T. C. Allcock, Quantum amplification of mechanical oscillator motion, Science364, 1163 (2019)

work page 2019
[36]

Hastrup, K

J. Hastrup, K. Park, J. B. Brask, R. Filip, and U. L. Andersen, Measurement-free preparation of grid states, npj Quantum Information7, 17 (2021)

work page 2021
[37]

Fl¨ uhmann and J

C. Fl¨ uhmann and J. P. Home, Direct characteristic-function tomography of quantum states of the trapped-ion motional oscillator, Physical Review Letters125, 043602 (2020)

work page 2020
[38]

C. H. Valahu, V. C. Olaya-Agudelo, R. J. MacDonell, T. Navickas, A. D. Rao, M. J. Millican, J. B. P´ erez-S´ anchez, J. Yuen- Zhou, M. J. Biercuk, C. Hempel, T. R. Tan, and I. Kassal, Direct observation of geometric-phase interference in dynamics around a conical intersection, Nature Chemistry15, 1503 (2023)

work page 2023
[39]

Hastrup and U

J. Hastrup and U. L. Andersen, Improved readout of qubit-coupled Gottesman–Kitaev–Preskill states, Quantum Science and Technology6, 035016 (2021)

work page 2021
[40]

C. A. Riofr´ ıo, D. Gross, S. T. Flammia, T. Monz, D. Nigg, R. Blatt, and J. Eisert, Experimental quantum compressed sensing for a seven-qubit system, Nature Communications8, 15305 (2017)

work page 2017
[41]

Harlander, R

M. Harlander, R. Lechner, M. Brownnutt, R. Blatt, and W. H¨ ansel, Trapped-ion antennae for the transmission of quantum information, Nature471, 200 (2011)

work page 2011
[42]

Fukui, A

K. Fukui, A. Tomita, A. Okamoto, and K. Fujii, High-threshold fault-tolerant quantum computation with analog quantum error correction, Physical Review X8, 021054 (2018)

work page 2018
[43]

Vuillot, H

C. Vuillot, H. Asasi, Y. Wang, L. P. Pryadko, and B. M. Terhal, Quantum error correction with the toric Gottesman- Kitaev-Preskill code, Physical Review A99, 032344 (2019)

work page 2019
[44]

K. Noh, C. Chamberland, and F. G. Brand˜ ao, Low-overhead fault-tolerant quantum error correction with the surface-GKP code, PRX Quantum3, 010315 (2022)

work page 2022
[45]

M. H. Shaw, A. C. Doherty, and A. L. Grimsmo, Stabilizer subsystem decompositions for single- and multimode Gottesman- Kitaev-Preskill codes, PRX Quantum5, 010331 (2024)

work page 2024
[46]

Singh, B

S. Singh, B. Royer, and S. M. Girvin, Towards non-Abelian quantum signal processing: efficient control of hybrid continuous- and discrete-variable architectures, arXiv:2504.19992 [quant-ph] 10.48550/arXiv.2504.19992 (2026)

work page doi:10.48550/arxiv.2504.19992 2026
[47]

Chalermpusitarak and T.-R

T. Chalermpusitarak and T.-R. Tan, private communication (2026)

work page 2026
[48]

Duivenvoorden, B

K. Duivenvoorden, B. M. Terhal, and D. Weigand, Single-mode displacement sensor, Physical Review A95, 012305 (2017). 13 SUPPLEMENTARY MATERIAL Appendix A: Experimental setup Fig. S 1. Top view schematic of the experimental setup. The gray box indicates the shape of the vacuum chamber. In the z direction, the ion is trapped approximately 500µm away from th...

work page 2017