{"id":"643dac07-e3f3-4847-a16a-2cb36c8c2a90","arxiv_id":"2604.17303","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A family of positive semidefinite operators is introduced that witnesses arbitrary logical GKP qubit states and enables their efficient characterization via three quadrature measurements.","lead":"The paper introduces a family of mathematical operators that can characterize any Gottesman-Kitaev-Preskill (GKP) quantum state using only three quadrature measurements, replacing resource-intensive full state tomography. A smart generalist might read it because it offers a practical, low-cost tool for evaluating the quantum error-correcting states that are a leading candidate for fault-tolerant quantum computing.","discovery_kind":"unclear","skeptic_critique":{"model":"glm-5.2","headline":"The witness's clean interpretation is restricted to the ideal GKP subspace, but ideal GKP states are non-normalizable; the practical utility for approximate (finite-energy) GKP states is the unverified gap.","rationale":"The reader correctly identified that the full text was unavailable and that truncation behavior is unverified, leading to an UNVERDICTED verdict with LOW confidence — this is appropriate given the information available. I partially agree: the truncation concern is real but is not the most load-bearing issue. The more fundamental gap is that the clean quantitative guarantee (expectation = 2×infidelity) is stated only for the ideal GKP subspace, which consists of non-normalizable states. The practical claims — experimental characterization and numerical optimization — necessarily involve approximate, finite-energy GKP states outside this subspace. Without the full text, I cannot determine whether the paper addresses this gap (e.g., by proving bounds for approximate states or showing convergence). The verdict remains UNVERDICTED because the central mathematical claims cannot be assessed from the abstract alone, and the full text appears unavailable. If the full text proves that the witness has bounded deviation from 2×infidelity for finite-energy states, the verdict could move toward ACCEPT; if no such analysis exists, the practical claims are unsupported even if the ideal-state construction is mathematically correct.","tokens_in":1481,"tokens_out":1300,"duration_ms":123551,"concrete_test":"For a finite-energy approximate GKP state |ψ_ε⟩ (Gaussian envelope of width ε applied to ideal GKP state), compute both (a) the expectation value ⟨ψ_ε|O_θ|ψ_ε⟩ of the proposed operator and (b) the true logical infidelity 1−F against the target logical state, as a function of ε. If the ratio ⟨O_θ⟩/(2×infidelity) deviates from 1 by more than ~10% for experimentally relevant ε values, the witness's quantitative claim does not extend to the practical regime.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"The abstract states that the expectation value of each operator 'corresponds to twice the logical infidelity for states in the ideal logical GKP subspace.' Ideal GKP states are non-normalizable distributions (delta-combs in position space), so the ideal logical GKP subspace is not a physical Hilbert space. The clean quantitative relationship (expectation = 2×infidelity) is therefore guaranteed only in an unphysical limit. For the framework to be useful for 'experimental characterization' and 'numerical optimization of GKP state preparation circuits,' the witness must behave well for approximate, finite-energy GKP states — which lie outside the ideal subspace. The abstract does not state what the expectation value equals for such states, only that truncated operators yield 'physical approximations' as ground states. If the expectation value deviates substantially from 2×infidelity for finite-energy states (e.g., due to leakage into non-logical modes or tails outside the truncation window), the witness could systematically mis-rank candidate states during optimization. This is the gap between the mathematical guarantee and the claimed practical utility. The reader's concern about truncation artifacts is related but secondary; the primary issue is whether the witness's quantitative interpretation survives the transition from ideal to approximate GKP states at all.","agreement_with_reader":"partial"},"referee_report":{"model":"glm-5.2","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.","tokens_in":1677,"tokens_out":1787,"duration_ms":47758,"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":[{"comment":"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.","section":null},{"comment":"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.","section":null}],"minor_comments":[{"comment":"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.","section":null}],"recommendation":"major_revision","confidential_remarks":"The reader's report and stress-test note correctly identify the gap between the mathematical guarantee in the ideal (unphysical) limit and the practical utility for finite-energy states. The manuscript's central claim is defensible but requires substantial verification on these two load-bearing points before it can be recommended for publication."},"author_rebuttal":{"model":"glm-5.2","summary":"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.","responses":[{"response":"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_made":"yes","referee_comment":"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"},{"response":"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_made":"yes","referee_comment":"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."}],"tokens_in":1122,"tokens_out":1300,"duration_ms":39274,"standing_objections":[]},"desk_editor":{"model":"glm-5.2","letter":"Here's my read on Kuchař and Marek's GKP characterization paper. The core idea is a family of PSD Hermitian operators — one per logical Bloch sphere point — whose ground states are the corresponding ideal GKP qubit states, and whose expectation values equal twice the logical infidelity within the ideal GKP subspace. The practical hook is that evaluating these operators needs only three quadrature measurements, not full tomography. That is a genuinely useful reduction if it holds up, and the operator construction itself appears to be new in the GKP literature. Credit where it's due: the parameter-free derivation from the Bloch sphere geometry is clean, and the measurement reduction is concrete and falsifiable. The framework is well-motivated by a real experimental bottleneck. The soft spot is the one the stress-test flags. The clean quantitative claim — expectation equals 2×infidelity — is proven for the ideal logical GKP subspace, and ideal GKP states are non-normalizable delta-combs. So the guarantee lives in an unphysical limit. The abstract says truncated finite-dimensional operators yield physical approximations as ground states, but it does not state what the expectation value equals for those approximate, finite-energy states. If the witness systematically deviates from 2×infidelity for finite-energy GKP states — due to leakage, truncation tails, or non-logical components — it could mis-rank candidate states during numerical optimization. That is the load-bearing gap between the mathematical guarantee and the claimed practical utility. The reader's concern about truncation artifacts is real but secondary; the primary question is whether the quantitative interpretation survives the ideal-to-approximate transition at all. I should note: I only have the abstract. The full text was not available, so I cannot verify the proofs of the ground-state property or check whether the paper addresses the finite-energy case beyond what the abstract states. It is possible the full manuscript closes this gap — but the abstract does not advertise it. This paper is for researchers working on GKP state preparation and characterization — experimentalists and theorists who need efficient witnesses. The three-measurement protocol and the operator family are worth a careful look. Recommend serious peer review. The referee should specifically check whether the infidelity correspondence extends to finite-energy states, or whether the paper acknowledges and bounds the gap.","headline":"New GKP witness operators reduce characterization to three quadrature measurements, but the clean infidelity bound is proven only for ideal (non-normalizable) states; the finite-energy case is the gap to watch.","tokens_in":2355,"tokens_out":552,"would_cite":false,"duration_ms":39726,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.67.Lx","03.67.-a","42.50.Dv"],"model":"glm-5.2","headline":"Three measurements replace full tomography for GKP qubits","keywords":["GKP qubits","quantum state characterization","non-Gaussianity witness","logical Bloch sphere","quadrature measurements","quantum state tomography","continuous-variable quantum computing"],"falsifier":"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.","tokens_in":1660,"feed_emoji":"🔧","tokens_out":782,"duration_ms":61507,"temperature":0.7,"pith_summary":"The paper constructs a family of positive semidefinite Hermitian operators, one per point on the logical Bloch sphere, whose unique zero-eigenvalue ground states are the corresponding ideal Gottesman-Kitaev-Preskill (GKP) qubit states. For any state in the ideal logical GKP subspace, the expectation value of the appropriate operator equals twice the logical infidelity, so that minimizing the expectation directly minimizes the distance to the target logical state. Because evaluating these operators requires only three quadrature measurements, the framework replaces resource-intensive full quantum state tomography with a lightweight cost functional usable both in experiments and in numerical optimization of state-preparation circuits.","feed_headline":"Three measurements replace full tomography for GKP qubits","feed_subtitle":"A family of witness operators turns logical-state characterization into a three-measurement cost functional.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Witness operators cut GKP characterization to three quadrature measurements","Logical Bloch sphere witnesses replace tomography for GKP qubits","Three quadrature measurements quantify GKP logical infidelity","Parameterized witnesses evaluate arbitrary GKP qubit states","Zero-eigenvalue operators benchmark GKP state preparation"],"cache_read_input_tokens":0,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Witness operators cut GKP characterization to three quadrature measurements","Logical Bloch sphere witnesses replace tomography for GKP qubits","Three quadrature measurements quantify GKP logical infidelity","Parameterized witnesses evaluate arbitrary GKP qubit states","Zero-eigenvalue operators benchmark GKP state preparation"]},"model":"glm-5.2","effort":"high","cost_usd":0.0,"raw_usage":{"total_tokens":559,"prompt_tokens":480,"completion_tokens":79,"prompt_tokens_details":null},"tokens_in":480,"tokens_out":79,"duration_ms":29300,"temperature":1.0,"reasoning_tokens":null,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-05T17:57:12.280018+00:00","model_set":{"reader":"glm-5.2"},"falsifier":"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.","supporting_citations":[],"review_version":2}