Efficient characterization of general Gottesman-Kitaev-Preskill qubits
Pith reviewed 2026-07-05 17:57 UTC · model glm-5.2
The pith
Three measurements replace full tomography for GKP qubits
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central object is a parameterized family of witness operators, indexed by the logical Bloch sphere, whose expectation values quantify how far a given continuous-variable state is from the target ideal GKP qubit state. The key structural fact is that each operator is positive semidefinite with a unique ground state at zero eigenvalue, and that within the ideal logical subspace the expectation value reduces to twice the logical infidelity, giving a direct and operationally meaningful distance measure.
What carries the argument
Positive semidefinite Hermitian operators indexed by Bloch-sphere coordinates; non-Gaussianity witnesses; finite-dimensional truncations whose ground states approximate ideal GKP states; quadrature-measurement-based evaluation requiring only three distinct quadrature settings.
If this is right
- Experimentalists can characterize arbitrary logical GKP qubit superpositions with three quadrature measurements instead of full tomography, substantially reducing measurement overhead.
- Numerical optimization of GKP state-preparation circuits can use the witness expectation as a differentiable cost function whose minimum coincides with the target logical state.
- The witness structure may extend to other continuous-variable encodings where a logical subspace is embedded in an infinite-dimensional Hilbert space and a compact distance measure is needed.
- Truncated operators yielding physical approximations as ground states open a route to benchmarking approximate GKP states on finite-energy or finite-dimensional platforms.
Where Pith is reading between the lines
- The connection between the witness expectation and twice the logical infidelity suggests that gradient-based optimization over circuit parameters could converge to the global optimum whenever the witness landscape is convex, though convexity is not established here.
- If the three-quadrature evaluation protocol is robust to realistic noise (finite squeezing, photon loss), the framework could serve as a real-time calibration tool during experimental GKP preparation, but noise robustness is not explicitly verified in the paper.
Load-bearing premise
The paper assumes that truncating the witness operators to finite dimensions preserves the essential spectral property that the ground state remains a faithful approximation of the ideal GKP state across the entire Bloch sphere; if truncation introduces artifacts, the practical utility for numerical optimization would be undermined.
What would settle it
A finite-dimensional truncation of a witness operator whose ground state differs significantly from the ideal GKP state it is meant to approximate, or a state outside the ideal logical subspace for which the witness expectation does not correlate with logical infidelity.
Figures
read the original abstract
Practical utilization of Gottesman-Kitaev-Preskill (GKP) qubits requires not only the preparation of logical basis states, but also the ability to prepare and evaluate arbitrary logical qubit superpositions. Currently, this is typically done via quantum state tomography, which is resource-intensive. We introduce a family of positive semidefinite Hermitian operators, one for each point on the logical Bloch sphere, whose unique zero-eigenvalue ground states are the corresponding ideal GKP qubit states. We show that the expectation value of each operator serves as a witness of non-Gaussianity, and corresponds to twice the logical infidelity for states in the ideal logical GKP subspace. Furthermore, the truncated finite-dimensional counterparts of these operators yield physical approximations of arbitrary logical GKP states as their ground states. The evaluation of the proposed operators requires only three quadrature measurements, making this framework practical for both the experimental characterization and numerical optimization of GKP state preparation circuits.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a family of positive semidefinite Hermitian operators, one for each point on the logical Bloch sphere, whose unique zero-eigenvalue ground states are the corresponding ideal Gottesman-Kitaev-Preskill (GKP) qubit states. The authors show that the expectation value of each operator serves as a witness of non-Gaussianity and corresponds to twice the logical infidelity for states in the ideal logical GKP subspace. Furthermore, the authors claim that truncated finite-dimensional counterparts of these operators yield physical approximations of arbitrary logical GKP states as their ground states, and that the evaluation requires only three quadrature measurements, making the framework practical for experimental characterization and numerical optimization.
Significance. If the central claims are verified, this work provides a valuable and resource-efficient alternative to full quantum state tomography for GKP qubits. The parameter-free construction of the witness, derived from the geometry of the logical Bloch sphere, is a notable strength. The potential to evaluate the witness using only three quadrature measurements would be highly significant for the experimental characterization and numerical optimization of GKP state preparation circuits.
major comments (2)
- Abstract: The claim that the expectation value 'corresponds to twice the logical infidelity for states in the ideal logical GKP subspace' establishes a quantitative guarantee only in an unphysical limit, as ideal GKP states are non-normalizable distributions. The practical utility of this framework for experimental characterization and numerical optimization hinges on the behavior of the witness for finite-energy, approximate GKP states, which lie outside the ideal subspace. The manuscript must explicitly address what the expectation value equals for these physical states. If the expectation value deviates substantially from twice the infidelity for finite-energy states, the witness could systematically mis-rank candidate states during optimization. The authors should provide analytical bounds or numerical evidence demonstrating the robustness of the witness for approximate GKP states.
- Abstract: The assertion that 'truncated finite-dimensional counterparts of these operators yield physical approximations of arbitrary logical GKP states as their ground states' is load-bearing for the claim of practical numerical optimization. Finite-dimensional truncation can introduce artifacts or fail to preserve the spectral properties of the ideal operators. The manuscript needs to provide rigorous justification or detailed numerical verification that the ground state of the truncated operator remains a faithful approximation of the ideal GKP state across the entire Bloch sphere, and it should quantify the truncation error as a function of the Hilbert space dimension.
minor comments (1)
- The abstract could be strengthened by briefly mentioning the expected scaling of the truncation error or the resource requirements for the three quadrature measurements, to give a clearer sense of the practical feasibility.
Simulated Author's Rebuttal
The authors thank the referee for a careful reading and acknowledge that both major comments identify genuine gaps between the idealized theoretical guarantees and the practical finite-energy/finite-dimensional setting. The authors agree to add analytical bounds and numerical evidence for the finite-energy regime and to provide detailed truncation error analysis. The core construction and the three-measurement evaluation protocol are unaffected.
read point-by-point responses
-
Referee: Abstract: The claim that the expectation value 'corresponds to twice the logical infidelity for states in the ideal logical GKP subspace' establishes a quantitative guarantee only in an unphysical limit, as ideal GKP states are non-normalizable distributions. The practical utility of this framework for experimental characterization and numerical optimization hinges on the behavior of the witness for finite-energy, approximate GKP states, which lie outside the ideal logical subspace. The manuscript must explicitly address what the expectation value equals for these physical states. If the expectation value deviates substantially from twice the infidelity for finite-energy states, the witness could systematically mis-rank candidate states during optimization. The authors should provide analytical bounds or numerical evidence demonstrating the robustness of the witness for approximate GKP q
Authors: The referee is correct that the exact equality $W(ρ) = 2(1 - F)$ holds only for states within the ideal logical GKP subspace, and that ideal GKP states are non-normalizable. We agree that the practical utility of the witness depends on its behavior for finite-energy approximate GKP states, and that the manuscript in its current form does not adequately address this regime. We will revise the manuscript to include the following: (1) An analytical perturbative bound showing that for finite-energy GKP states of the form $e^{-κ n̂}|ψ⟩$ (with $κ$ the energy parameter), the witness expectation value decomposes as $W(ρ) = 2(1-F_{logical}) + O(κ)$, where the correction term arises from the Gaussian envelope and can be bounded explicitly in terms of $κ$ and the logical Bloch vector. (2) Numerical verification across the Bloch sphere for a range of $κ$ values relevant to current experiments ($κ$ from $0.01$ to $0.5$), demonstrating that the witness does not systematically mis-rank candidate states. We note that the witness remains a valid non-Gaussianity witness (positive semidefinite, zero only on the ideal state) regardless of the energy regime; it is only the quantitative interpretation as twice the infidelity that requires the finite-energy analysis the referee requests. We will add a dedicated section addressing finite-energy states and will temper the abstract to distinguish the exact ideal-subspace guarantee from the approximate finite-energy behavior. revision: yes
-
Referee: Abstract: The assertion that 'truncated finite-dimensional counterparts of these operators yield physical approximations of arbitrary logical GKP states as their ground states' is load-bearing for the claim of practical numerical optimization. Finite-dimensional truncation can introduce artifacts or fail to preserve the spectral properties of the ideal operators. The manuscript needs to provide rigorous justification or detailed numerical verification that the ground state of the truncated operator remains a faithful approximation of the ideal GKP state across the entire Bloch sphere, and it should quantify the truncation error as a function of the Hilbert space dimension.
Authors: This is a fair concern. The claim that truncated operators yield faithful approximations is currently stated without sufficient justification. We will address this in the revision as follows. (1) We will provide a convergence argument: the witness operators are built from bounded functions of the quadrature operators (specifically, trigonometric functions of $q̂$ and $p̂$), so their matrix elements in a finite-dimensional truncation converge to the ideal values as the truncation dimension $N$ increases, with the truncation error decaying as $O(e^{-cN})$ for a constant $c$ determined by the GKP lattice spacing. This ensures that the spectral gap and ground-state structure are preserved in the limit. (2) We will include numerical verification computing the fidelity between the ground state of the truncated operator and the corresponding finite-energy ideal GKP state, for $N$ ranging from $50$ to $2000$ and for representative points across the Bloch sphere (including equatorial, polar, and general superposition states). (3) We will quantify the truncation error as a function of $N$ and identify the dimension required to achieve a given target fidelity (e.g., $F > 0.99$). We agree that without this analysis the claim is unsupported, and we will either substantiate it or qualify it appropriately. revision: yes
Circularity Check
No circularity found: the operator construction is parameter-free and the infidelity correspondence is derived, not fitted or self-cited into existence.
full rationale
The paper constructs a family of positive semidefinite Hermitian operators indexed by the logical Bloch sphere, with the defining property that each operator's unique zero-eigenvalue ground state is the corresponding ideal GKP qubit state. The claim that the expectation value equals twice the logical infidelity (for states in the ideal logical GKP subspace) is presented as a derived consequence of the operator's spectral structure, not as a fitted input or a result imported from the authors' prior work. No parameter is fitted to data and then re-predicted; no self-citation chain is invoked to establish the central mathematical claim; no ansatz is smuggled in via citation. The construction is parameter-free in the sense that the operators are determined by the geometry of the ideal GKP states and the logical Bloch sphere. The reader's concern about whether the clean quantitative interpretation survives for finite-energy (approximate) GKP states is a correctness/applicability gap, not a circularity: the paper does not define the witness in terms of the infidelity and then claim to predict that same infidelity. The truncated-operator claim (that finite-dimensional truncations yield physical approximations as ground states) is an independent assertion about spectral stability under truncation, not a renaming of a known result. No step in the derivation chain reduces to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The ideal GKP qubit states form a well-defined logical subspace within the continuous-variable Hilbert space.
- ad hoc to paper Finite-dimensional truncations of the proposed operators preserve the ground state structure sufficiently to yield physical approximations of arbitrary logical GKP states.
invented entities (1)
-
Family of positive semidefinite Hermitian operators for the logical Bloch sphere
independent evidence
Reference graph
Works this paper leans on
-
[1]
apsrev4-2.bst 2019-01-14 (MD) hand-edited version of apsrev4-1.bst
FUNCTION id.bst "apsrev4-2.bst 2019-01-14 (MD) hand-edited version of apsrev4-1.bst" ENTRY address archive archivePrefix author bookaddress booktitle chapter collaboration doi edition editor eid eprint howpublished institution isbn issn journal key language month note number organization pages primaryClass publisher school SLACcitation series title transl...
work page 2019
-
[2]
author author M. A. \ Nielsen \ and\ author I. L. \ Chuang ,\ https://doi.org/10.1017/cbo9780511976667 title Quantum Computation and Quantum Information: 10th Anniversary Edition ,\ edition 1st \ ed.\ ( publisher Cambridge University Press ,\ year 2012-06-05 ) NoStop
-
[3]
author author W. Asavanant \ and\ author A. Furusawa ,\ https://doi.org/10.1063/9780735424074 title Optical Quantum Computers: A Route to Practical Continuous Variable Quantum Information Processing \ ( publisher AIP Publishing LLCMelville, New York ,\ year 2022-01-25 ) NoStop
-
[4]
author author J.-i. \ Yoshikawa , author S. Yokoyama , author T. Kaji , author C. Sornphiphatphong , author Y. Shiozawa , et al. ,\ https://doi.org/10.1063/1.4962732 journal journal APL Photonics \ volume 1 ,\ pages 060801 ( year 2016-09-01 ) NoStop
-
[5]
author author W. Asavanant , author Y. Shiozawa , author S. Yokoyama , author B. Charoensombutamon , author H. Emura , et al. ,\ https://doi.org/10.1126/science.aay2645 journal journal Science \ volume 366 ,\ pages 373 ( year 2019-10-18 ) NoStop
-
[6]
author author M. V. \ Larsen , author C. Chamberland , author K. Noh , author J. S. \ Neergaard-Nielsen ,\ and\ author U. L. \ Andersen ,\ https://doi.org/10.1103/PRXQuantum.2.030325 journal journal PRX Quantum \ volume 2 ,\ pages 030325 ( year 2021-08-11 ) NoStop
-
[7]
author author H. Aghaee Rad , author T. Ainsworth , author R. N. \ Alexander , author B. Altieri , author M. F. \ Askarani , et al. ,\ https://doi.org/10.1038/s41586-024-08406-9 journal journal Nature \ volume 638 ,\ pages 912 ( year 2025-02-27 ) NoStop
-
[8]
author author J. E. \ Bourassa , author R. N. \ Alexander , author M. Vasmer , author A. Patil , author I. Tzitrin , et al. ,\ https://doi.org/10.22331/q-2021-02-04-392 journal journal Quantum \ volume 5 ,\ pages 392 ( year 2021-02-04 ) NoStop
-
[9]
author author J. Hastrup \ and\ author U. L. \ Andersen ,\ https://doi.org/10.1103/PhysRevLett.128.170503 journal journal Physical Review Letters \ volume 128 ,\ pages 170503 ( year 2022-04-27 ) NoStop
-
[10]
author author M. Endo , author R. He , author T. Sonoyama , author K. Takahashi , author T. Kashiwazaki , et al. ,\ https://doi.org/10.1364/OE.486270 journal journal Optics Express \ volume 31 ,\ pages 12865 ( year 2023-04-10 ) NoStop
-
[11]
author author S. Konno , author W. Asavanant , author F. Hanamura , author H. Nagayoshi , author K. Fukui , et al. ,\ https://doi.org/10.1126/science.adk7560 journal journal Science \ volume 383 ,\ pages 289 ( year 2024-01-19 ) NoStop
-
[12]
author author M. V. \ Larsen , author J. E. \ Bourassa , author S. Kocsis , author J. F. \ Tasker , author R. S. \ Chadwick , et al. ,\ https://doi.org/10.1038/s41586-025-09044-5 journal journal Nature \ volume 642 ,\ pages 587 ( year 2025-06-19 ) NoStop
-
[13]
author author M. Endo , author T. Nomura , author T. Sonoyama , author K. Takahashi , author S. Takasu , et al. ,\ https://doi.org/10.48550/ARXIV.2502.08952 title High- Rate Four Photon Subtraction from Squeezed Vacuum : Preparing Cat State for Optical Quantum Computation ( year 2025 ) NoStop
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2502.08952 2025
-
[14]
author author D. Gottesman , author A. Kitaev ,\ and\ author J. Preskill ,\ https://doi.org/10.1103/PhysRevA.64.012310 journal journal Physical Review A \ volume 64 ,\ pages 012310 ( year 2001-06-11 ) NoStop
-
[15]
author author F. Schmidt \ and\ author P. Van Loock ,\ https://doi.org/10.1103/PhysRevA.105.042427 journal journal Physical Review A \ volume 105 ,\ pages 042427 ( year 2022-04-20 ) NoStop
-
[16]
author author J. Hastrup \ and\ author U. L. \ Andersen ,\ https://doi.org/10.1103/PhysRevA.108.052413 journal journal Physical Review A \ volume 108 ,\ pages 052413 ( year 2023-11-15 ) NoStop
-
[17]
author author J. Conrad , author J. Eisert ,\ and\ author F. Arzani ,\ https://doi.org/10.22331/q-2022-02-10-648 journal journal Quantum \ volume 6 ,\ pages 648 ( year 2022-02-10 ) NoStop
-
[18]
author author L. J. \ Mensen , author B. Q. \ Baragiola ,\ and\ author N. C. \ Menicucci ,\ https://doi.org/10.1103/PhysRevA.104.022408 journal journal Physical Review A \ volume 104 ,\ pages 022408 ( year 2021-08-06 ) NoStop
-
[19]
author author P. Marek ,\ https://doi.org/10.1103/PhysRevLett.132.210601 journal journal Physical Review Letters \ volume 132 ,\ pages 210601 ( year 2024-05-22 ) NoStop
-
[20]
author author H. M. \ Vasconcelos , author L. Sanz ,\ and\ author S. Glancy ,\ https://doi.org/10.1364/OL.35.003261 journal journal Optics Letters \ volume 35 ,\ pages 3261 ( year 2010-10-01 ) NoStop
-
[21]
author author D. J. \ Weigand \ and\ author B. M. \ Terhal ,\ https://doi.org/10.1103/PhysRevA.97.022341 journal journal Physical Review A \ volume 97 ,\ pages 022341 ( year 2018-02-28 ) NoStop
-
[22]
author author D. Su , author C. R. \ Myers ,\ and\ author K. K. \ Sabapathy ,\ https://doi.org/10.1103/PhysRevA.100.052301 journal journal Physical Review A \ volume 100 ,\ pages 052301 ( year 2019-11-01 ) NoStop
-
[23]
author author M. S. \ Winnel , author J. J. \ Guanzon , author D. Singh ,\ and\ author T. C. \ Ralph ,\ https://doi.org/10.1103/PhysRevLett.132.230602 journal journal Physical Review Letters \ volume 132 ,\ pages 230602 ( year 2024-06-07 ) NoStop
-
[24]
Generalized squeezing as a witness
author author S . Br \"a uer , author T. Opatrn \'y ,\ and\ author P. Marek ,\ https://doi.org/10.48550/ARXIV.2503.09210 title Generalized squeezing as a witness ( year 2025 a ) NoStop
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2503.09210 2025
-
[25]
Beyond Stellar Rank: Control Parameters for Scalable Optical Non-Gaussian State Generation
author author F. Hanamura , author K. Takase , author H. Nagayoshi , author R. Ide , author W. Asavanant , et al. ,\ https://doi.org/10.48550/ARXIV.2509.06255 title Beyond Stellar Rank : Control Parameters for Scalable Optical Non-Gaussian State Generation ( year 2025 ) NoStop
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2509.06255 2025
-
[26]
author author V. Kucha r \ and\ author P. Marek ,\ https://doi.org/10.1103/nlkq-2r7l journal journal Physical Review A \ volume 112 ,\ pages 053706 ( year 2025-11-07 ) NoStop
-
[27]
author author S. D. \ Bartlett , author B. C. \ Sanders , author S. L. \ Braunstein ,\ and\ author K. Nemoto ,\ https://doi.org/10.1103/PhysRevLett.88.097904 journal journal Physical Review Letters \ volume 88 ,\ pages 097904 ( year 2002-02-14 ) NoStop
-
[28]
author author S. Bravyi \ and\ author A. Kitaev ,\ https://doi.org/10.1103/PhysRevA.71.022316 journal journal Physical Review A \ volume 71 ,\ pages 022316 ( year 2005-02-22 ) NoStop
-
[29]
author author B. Q. \ Baragiola , author G. Pantaleoni , author R. N. \ Alexander , author A. Karanjai ,\ and\ author N. C. \ Menicucci ,\ https://doi.org/10.1103/PhysRevLett.123.200502 journal journal Physical Review Letters \ volume 123 ,\ pages 200502 ( year 2019-11-13 ) NoStop
-
[30]
author author S. Konno , author W. Asavanant , author K. Fukui , author A. Sakaguchi , author F. Hanamura , et al. ,\ https://doi.org/10.1103/PhysRevResearch.3.043026 journal journal Physical Review Research \ volume 3 ,\ pages 043026 ( year 2021-10-11 ) NoStop
-
[31]
author author J. Hastrup , author M. V. \ Larsen , author J. S. \ Neergaard-Nielsen , author N. C. \ Menicucci ,\ and\ author U. L. \ Andersen ,\ https://doi.org/10.1103/PhysRevA.103.032409 journal journal Physical Review A \ volume 103 ,\ pages 032409 ( year 2021-03-10 ) NoStop
-
[32]
author author A. I. \ Lvovsky \ and\ author M. G. \ Raymer ,\ https://doi.org/10.1103/RevModPhys.81.299 journal journal Reviews of Modern Physics \ volume 81 ,\ pages 299 ( year 2009-03-16 ) NoStop
-
[33]
author author V. Kala , author R. Filip ,\ and\ author P. Marek ,\ https://doi.org/10.1364/OE.464759 journal journal Optics Express \ volume 30 ,\ pages 31456 ( year 2022-08-15 ) NoStop
-
[34]
author author S . Br \"a uer \ and\ author P. Marek ,\ https://doi.org/10.1364/OE.427637 journal journal Optics Express \ volume 29 ,\ pages 22648 ( year 2021-07-05 ) NoStop
-
[35]
Catability as a metric for evaluating superposed coherent states
author author S . Br \"a uer , author J. Provazn \' k , author V. Kala ,\ and\ author P. Marek ,\ https://doi.org/10.48550/ARXIV.2505.19723 title Catability as a metric for evaluating superposed coherent states ( year 2025 b ) NoStop
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2505.19723 2025
-
[36]
author author J. Provazn \' k , author S . Br \"a uer , author V. Kala , author J. Fiur \'a s ek ,\ and\ author P. Marek ,\ https://doi.org/10.48550/ARXIV.2603.03185 title Witnesses of non- Gaussian features as lower bounds of stellar rank ( year 2026 ) NoStop
-
[37]
author author K. Schm \"u dgen ,\ https://doi.org/10.1007/s00208-004-0604-4 journal journal Mathematische Annalen \ volume 331 ,\ pages 779 ( year 2005-04 ) NoStop
-
[38]
author author S. Burgdorf , author I. Klep ,\ and\ author J. Povh ,\ https://doi.org/10.1007/978-3-319-33338-0 title Optimization of Polynomials in Non-Commuting Variables ,\ SpringerBriefs in Mathematics \ ( publisher Springer International Publishing ,\ year 2016 ) NoStop
-
[39]
author author V. Kucha r \ and\ author P. Marek ,\ https://doi.org/10.5281/zenodo.19649039 title Data for E fficient characterization of general G ottesman- K itaev- P reskill qubits'' ,\ howpublished Zenodo ( year 2026 ),\ note [Data set] NoStop
-
[40]
author author A. Kraskov , author H. St \"o gbauer ,\ and\ author P. Grassberger ,\ https://doi.org/10.1103/PhysRevE.69.066138 journal journal Physical Review E \ volume 69 ,\ pages 066138 ( year 2004-06-23 ) NoStop
work page internal anchor Pith review doi:10.1103/physreve.69.066138 2004
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.