{"id":"1577073f-2ba5-4481-b10e-6623c78689f6","arxiv_id":"2608.08051","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Finite-energy, d-level GKP states achieve lower Bayesian error and smaller minimum detectable displacement than selected Gaussian receivers in finite-squeezing and lossy regimes.","lead":"The paper derives exact formulas for using finite-energy, grid-like quantum states as probes to detect tiny shifts in a quantum system's position-momentum space. It shows these grid probes can beat standard laser and squeezed-light probes in certain lossy and low-squeezing regimes, though the comparison is at equal nominal squeezing, not equal energy.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lossy-regime GKP advantage is measured against six suboptimal Gaussian receivers, not against the quantum limits of the Gaussian probes; the reported error reductions in Figs. 3-5 may reflect receiver restriction rather than a GKP probe advantage.","rationale":"The reader's conditional verdict is appropriate, and the equal-energy caveat is real and explicitly acknowledged by the authors. However, the most load-bearing gap is not primarily the resource convention but the measurement-fairness asymmetry in the lossy comparison. In the noiseless pure-state setting, Eq. (36) gives the Helstrom-optimal error for the Gaussian probes, so the comparison there is quantum-limited on both sides. After loss and amplification, the GKP side continues to use the optimal Helstrom/ROC processor, while the Gaussian side is restricted to six classical receivers. Since binary displacement discrimination of coherent and squeezed states is known to have substantial gaps between homodyne/on-off receivers and the optimal Dolinar-type receiver, positive values of Eq. (64) do not imply that GKP probes outperform Gaussian probes under equally fair processing. The paper is transparent about the selected-receiver set in several places, but the abstract and the reader's strongest claim adopt the broader language of 'coherent, direction-matched squeezed-vacuum, and twin-beam probes.' That broader claim is not supported by the lossy numerical evidence as presented. The concrete test suggested above would settle the question directly. If the advantage disappears, the manuscript should either add an optimal-Gaussian-receiver comparison or explicitly and consistently restrict all lossy claims to the six-receiver benchmark; the conditional acceptance should include this as a condition. The equal-energy comparison is a second, related condition, but the receiver asymmetry is more immediately load-bearing because it affects the interpretation of the central numerical results in Figs. 3-5 even before any resource-fairness adjustment.","tokens_in":21114,"tokens_out":13227,"duration_ms":157130,"concrete_test":"Recompute the lossy-regime advantage in Eq. (64) and Fig. 3 with the Gaussian benchmark replaced by the exact Helstrom bound, or at least the quantum Chernoff bound, for binary discrimination of the two displaced Gaussian states after loss and amplification, for each of the three probes at the same nominal squeezing and same eta. A minimal first step is to evaluate the squeezed-vacuum benchmark at the d=5, eta=0.95 point (t/ell_5 = 0.578125) with an optimal measurement rather than homodyne detection, and check whether P*_e,GKP = 0.14802 remains below the resulting Gaussian error. If the positive regions of Fig. 3 do not survive this replacement, the lossy-regime GKP advantage is an artifact of the six-receiver restriction; if they do survive, the concern is resolved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The most load-bearing concern is the asymmetry between the GKP and Gaussian benchmarks in the lossy regime. In Section III.D and Eq. (64), the GKP Bayesian error is the true Helstrom minimum P*_e,GKP over all POVMs, computed via the Gram-matrix spectrum in Eq. (61), while the Gaussian benchmark P_best_selected_receiver is only the pointwise minimum over three homodyne-style quadrature receivers and three inverse-preparation vacuum-or-not receivers. The noiseless comparisons in Eqs. (34)-(36) use the exact Helstrom error for each Gaussian probe, so the lossy comparison is not apples-to-apples. For displaced Gaussian states with identical covariance, the optimal receiver can be substantially better than homodyne or on-off detection. For example, at the d=5, eta=0.95 operating point of Fig. 3, the noiseless squeezed-vacuum Helstrom error is roughly 0.07, whereas the selected-receiver value that anchors the reported advantage is 0.186; loss increases the optimal error, but nothing in the paper bounds it away from the GKP value 0.148. Thus the central claim that finite-energy GKP probes achieve a lower Bayesian error in finite-loss regimes is not established against the Gaussian probes themselves; it is established only against a restricted set of practical receivers. The paper does use the phrase 'selected Gaussian receivers' in places, but the abstract's 'coherent-state, squeezed-vacuum, and twin-beam schemes' is naturally read as a comparison of quantum-limited probe performance. This gap is independent of the equal-energy issue: even at matched photon number, the lossy-regime advantage could shrink or vanish once Gaussian probes are also allowed optimal measurements.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a quantum decision-theoretic framework for binary detection of phase-space displacements using finite-energy, d-level GKP probes. For single-mode and entanglement-assisted architectures, it derives Bayesian minimum-error probabilities, Neyman-Pearson receiver-operating characteristics, and first-crossing minimum detectable displacements. Finite-energy effects are handled through exact theta-series displacement kernels, and pure loss followed by quantum-limited amplification is mapped to a Gaussian random-displacement channel. The GKP protocols are benchmarked against coherent, direction-matched squeezed-vacuum, and twin-beam probes at equal nominal squeezing. Numerical results claim regimes where GKP probes achieve lower Bayesian error and smaller detectable perturbations than the selected Gaussian receivers. The paper also proves that in the noiseless pure-state setting, entanglement does not surpass a pointwise optimized single-mode strategy.","tokens_in":21501,"tokens_out":18204,"duration_ms":195431,"significance":"If the claims hold, the exact finite-energy treatment is a genuine technical contribution: the theta-series kernel in Eq. (16) avoids Fock truncation for square codes, the axial-equality result in Eq. (59) is a clean structural insight, and the analysis contains no fitted parameters. The noiseless comparisons in Eqs. (34)-(36) use exact Helstrom errors for the Gaussian probes, so the noiseless GKP advantage is a probe-level statement. The lossy comparisons, however, are receiver-restricted for the Gaussian benchmarks, and this materially weakens the headline claim that GKP probes have a lower Bayesian error in lossy regimes. The equal-squeezing convention is disclosed and energies are reported, but the absence of an equal-energy comparison limits the operational significance. Overall, the framework is valuable and mostly rigorous, but the central lossy-regime claim needs either a stronger benchmark or a substantially more cautious framing.","major_comments":[{"comment":"The lossy-regime GKP error is the Helstrom bound over all POVMs, computed through the Gram-matrix spectrum in Eq. (61), while the Gaussian benchmark is only the pointwise minimum over three homodyne-style quadrature receivers and three inverse-preparation vacuum-or-not receivers. The reported reductions, such as 0.14802 versus 0.18611 at d=5, eta=0.95, therefore do not establish a probe-level advantage over the Gaussian probes; they establish an advantage over a restricted receiver set. The paper is careful to use the phrase \"selected Gaussian receivers\" in several places, but the abstract's comparison with \"coherent-state, squeezed-vacuum, and twin-beam schemes\" is naturally read as a comparison of the probes themselves. I request a concrete benchmark test: compute the Helstrom bound for the displaced Gaussian probes under the same loss-amplification channel, using standard Gaussian state discrimination methods, and report whether the GKP advantage survives. If it does not survive, the claims in the abstract and conclusion should be explicitly reframed as a practical-receiver comparison.","section":"Section III.D, Eq. (64), Fig. 3"},{"comment":"The equal-squeezing convention tanh(beta)=v_s=e^{-2r} does not equalize photon number between the GKP and Gaussian probes, and the paper explicitly acknowledges this. Since the GKP advantage could in principle be an energy advantage rather than a structural advantage, the absence of any equal-energy or equal-total-energy comparison is load-bearing for the practical significance of the central claim. I request at least one comparison in which the Gaussian squeezing parameter is adjusted so that the Gaussian signal energy equals the code-averaged GKP signal energy, or the GKP energy is reduced to match the Gaussian energy, with all other settings held fixed. This is a concrete, implementable test that would separate the role of the grid structure from the role of photon number.","section":"Section III.C, Eq. (11), Figs. 2-5"},{"comment":"The central numerical results are not independently verifiable from the manuscript. The text states that calculations were verified for convergence with respect to Fock-space truncation and Gaussian quadrature order, but no truncation parameters, quadrature node counts, or convergence data are provided, and no code is shipped. The data availability statement only offers data upon request. Because the lossy GKP results in Figs. 3-5 are the basis for the headline claim, I ask that the authors either provide the code and a reproducibility script or give a detailed numerical appendix with the exact truncation and quadrature settings, convergence tables, and error bars. This is not a presentation detail; it is required for the numerical claims to be assessable.","section":"Section III.D, Eqs. (60)-(63), Figs. 3-5"}],"minor_comments":[{"comment":"The abstract should state at the first mention of the lossy comparison that the Gaussian benchmarks are restricted to the selected practical receivers, to avoid the natural reading that the comparison is against optimal Gaussian measurements.","section":"Abstract"},{"comment":"The theta-series representation is described as convergent and exact, but a short convergence argument or a reference to the relevant lattice-theta-function theory would help the reader assess the numerical stability of the series, especially near large displacements.","section":"Section II.G, Eq. (16)"},{"comment":"The maximum advantage in panel (b) is taken over the finite interval 0 <= t/ell_d <= 1.25; the paper should state whether this interval was chosen before or after inspection of the curves, since the location of the maximum can depend on the cutoff.","section":"Fig. 2 caption and Section III.C"},{"comment":"The theta-function argument in Eq. (49) is written compactly; a short derivation showing the Poisson summation step and the definition of the nome would improve readability, even though Appendix E covers the general formula.","section":"Section III.D, Eq. (49)"}],"recommendation":"major_revision","confidential_remarks":"The paper is within scope for a quantum information journal. The main risk is over-interpretation of the receiver-restricted lossy comparisons; the authors are transparent in places but the abstract and conclusion should be aligned with the actual benchmark. The lack of code and convergence details is a solvable reproducibility issue, not a fundamental flaw. The analytic framework is sound and the noiseless results are exact, so the manuscript is worth a revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe analytic core is the real contribution. The paper derives exact theta-series displacement kernels for finite-energy d-level GKP states, a Bell-sector decomposition of the displacement response, an axial-equality result, and a clean mapping from pure loss followed by quantum-limited amplification to an effective Gaussian random-displacement channel. It delivers the full decision-theoretic package—Bayesian error, Neyman-Pearson ROC, first-crossing minimum detectable displacement—for both single-mode and entanglement-assisted GKP probes. Proposition 1 (pointwise one-mode matching) is a neat observation. The mathematics is internally consistent and carefully scoped.\n\nThe soft spot is the lossy-regime comparison. The GKP error is the true Helstrom minimum over all measurements, but the Gaussian benchmarks are restricted to six practical receivers—homodyne variants and inverse-preparation on-off detection. The noiseless comparison uses exact Helstrom errors for the Gaussian probes, so the lossy switch to restricted receivers is an asymmetry. The reported lossy advantage in Figs. 3-5 is therefore an advantage over those receivers, not over the Gaussian probes themselves. A squeezed-vacuum or twin-beam probe with an optimal measurement could be substantially better than any of the six, and the paper never bounds the optimal Gaussian error away from the GKP values. The authors are careful to say 'selected Gaussian receivers,' but the abstract and title invite a stronger reading. This should be fixed in revision, either by adding the Gaussian Helstrom limits or by explicitly rephrasing the claim.\n\nThe equal-energy issue is real but milder, because the paper acknowledges it and reports energies separately. The lack of code and skimpily documented numerics is a practical problem; the data-availability line says 'upon request,' which is not good enough for a paper whose headline claims are numerical.\n\nWho benefits: readers in quantum sensing, GKP-based metrology, and quantum decision theory will get a lot from the analytical toolkit. The paper deserves a serious referee. I would send it to review, with the expectation of major revision on the comparison and numerics.","headline":"Solid analytical toolkit for GKP displacement detection, but the lossy-regime advantage claim is undermined by an asymmetric benchmark (true Helstrom bound for GKP vs. six practical Gaussian receivers).","tokens_in":22001,"tokens_out":5206,"would_cite":true,"duration_ms":52621,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P50","81P45"],"pacs":["03.67.-a","42.50.-p"],"model":"deepseek-v4-flash","headline":"Finite-energy, d-level GKP states used as displacement probes achieve lower Bayesian error and smaller first-crossing minimum detectable displacement than coherent, direction-matched squeezed-vacuum, and twin-beam probes at equal nominal…","keywords":["quantum decision theory","GKP states","displacement detection","Bayesian error probability","Neyman-Pearson receiver","minimum detectable displacement","theta series","Gaussian random displacement"],"falsifier":"Rerun the same Bayesian and Neyman-Pearson computations with signal photon number or total energy equalized across probes; if the GKP curves no longer lie below the best Gaussian receiver in the lossy finite-squeezing regimes, the central claim fails under that resource constraint. Equally decisive: measure the ROC of the modular-syndrome plus logical-Bell receiver at d=5, 6 dB, transmissivity 0.8, and t/ℓ5=1, where the paper predicts detection probability 0.63801 at false-alarm probability 0.05.","tokens_in":20900,"feed_emoji":"🎯","tokens_out":5837,"duration_ms":64745,"temperature":0.7,"pith_summary":"This paper develops a decision-theoretic treatment of detecting a small phase-space displacement using finite-energy, d-level GKP grid states. It derives exact Bayesian minimum-error probabilities and Neyman-Pearson receiver-operating characteristics for single-mode and entanglement-assisted GKP probes, treating finite squeezing exactly through theta-series kernels rather than approximating away the finite-energy structure. It reports numerical regimes, at equal nominal squeezing, where GKP probes beat coherent states, direction-matched squeezed vacuum, and twin-beam states both in Bayesian error and in the smallest displacement reliably detectable. The paper also clarifies the role of entanglement: it removes preparation-dependent blind directions and preserves both logical displacement labels, although in the noiseless pure-state problem a pointwise optimized single-mode probe reproduces the entangled probe's overlap.","feed_headline":"GKP grid states beat Gaussian probes at detecting tiny displacements","feed_subtitle":"Finite-energy grid states lower Bayesian error and shrink the smallest detectable shift at equal squeezing, even under loss.","key_machinery":"The central object is the compressed displacement operator $K_{\\beta}^{(d)}(\\xi) = V^\\dagger D(\\xi) V$, where $V = W G^{-1/2}$ is the canonical symmetric orthonormalization of the finite-energy GKP codewords and $D(\\xi)$ is the phase-space displacement. Its matrix elements are exact shifted two-dimensional $\\theta$ series, and it carries the overlaps that determine both the Bayesian error and the receiver-operating characteristic. Pure loss followed by gain $G=1/\\eta$ amplification is mapped to an additive Gaussian random-displacement channel, so the ideal GKP receiver becomes a $\\theta$-wrapped likelihood-ratio test on the continuous syndrome and the logical-Bell sectors.","core_discovery":"The central claim is that a finite-energy, d-level GKP state acts as a displacement probe with a modular response: a small displacement produces a characteristic overlap that can be computed exactly with theta-series kernels, and the resulting quantum decision problem is solved by that overlap alone in the pure-state case and by theta-wrapped likelihood ratios under loss followed by quantum-limited amplification. Benchmarking at equal nominal squeezing, the GKP probes achieve lower Bayesian error and smaller first-crossing minimum detectable displacement than the selected Gaussian probes in finite-squeezing and lossy regimes; the largest reported noisy Bayesian error reduction is 0.03809 at d=5 and transmissivity 0.95, and the first-crossing detectable displacement is reduced by 8.54 percent at d=5, 6 dB, and transmissivity 0.8. Entanglement does not surpass the best one-mode preparation for a fixed known displacement, but it removes dependence on the arbitrary logical input and preserves both noncommuting logical displacement labels.","pith_inferences":["Beyond the paper: replacing the equal-squeezing benchmark with equal signal photon number or equal total energy could shrink or erase the reported advantage, a comparison the paper explicitly defers.","Beyond the paper: the same theta-kernel decision machinery could be extended to optimize lattice geometry, such as hexagonal or rotated GKP lattices, and to multi-parameter displacement estimation where the modular-syndrome and logical-label record may provide information beyond the binary case.","Beyond the paper: the explicit wrapped-likelihood receiver predicts a testable ROC; an experiment at the reported parameters should find detection probability 0.63801 at false-alarm probability 0.05, and a persistent shortfall would indicate unmodeled detector inefficiency or mode mismatch."],"forward_implications":["Finite-energy GKP probes can serve as practical displacement sensors in lossy regimes where approximate GKP states at 8 to 10 dB of squeezing outperform the selected coherent, squeezed, and twin-beam receivers.","The logical dimension d is a tunable sensing resource: the reported maximum Bayesian advantage grows with d over the investigated range, so choosing the code dimension matters for detector design.","GKP sensitivity is not local around the null hypothesis; the advantage appears near finite-displacement lattice features, meaning a GKP sensor should be designed for a target displacement window rather than for the infinitesimal limit.","Entanglement-assisted GKP detection is useful when the displacement direction is not known in advance, because the maximally entangled probe has no preparation-dependent blind directions.","The loss-amplification map turns loss compensation into an effective Gaussian-noise problem, yielding explicit theta-function receiver formulas that can be evaluated without a Fock-space cutoff."],"supporting_citations":[{"why":"Supplies the Helstrom-operator formulas for Bayesian minimum-error probability and Neyman-Pearson ROC that the paper's decision-theoretic results are built on.","marker":"[3]"},{"why":"Provides the Gaussian state formalism and the loss and amplifier characteristic functions used for the coherent, squeezed, and twin-beam benchmarks.","marker":"[7]"},{"why":"Introduces the twin-beam quantum-illumination correlation strategy that serves as one of the Gaussian benchmark probes.","marker":"[9]"},{"why":"Defines GKP stabilizer codes and the periodic displacement structure that makes GKP states natural displacement probes.","marker":"[18]"},{"why":"Introduces the single-mode grid-state displacement sensor that the finite-energy d-level treatment extends to decision-theoretic settings.","marker":"[20]"},{"why":"Supplies the lattice perspective, symplectic dual, logical Weyl phase conventions, and Poisson summation used in the theta-series and wrapped-likelihood derivations.","marker":"[24]"},{"why":"Provides the finite-energy approximate-GKP error analysis that motivates the beta-envelope regularization and nonorthogonality treatment.","marker":"[27]"}],"fun_headline_variants":["GKP probes beat Gaussian states for tiny shift detection","Grid-state probes resolve smaller shifts than Gaussian at equal squeezing","Finite-energy grid states sharpen displacement detection over Gaussian","GKP probes edge out Gaussian receivers for small displacement shifts"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The reported GKP advantage is benchmarked at equal nominal squeezing, defined by $\\tanh\\beta = e^{-2r}$, which does not equalize photon number between the GKP probe and the Gaussian probes; if equal energy is the correct operational standard, the advantage could shrink or vanish.","fun_headline_variants_meta":{"raw":{"variants":["GKP probes beat Gaussian states for tiny shift detection","Grid-state probes resolve smaller shifts than Gaussian at equal squeezing","Finite-energy grid states sharpen displacement detection over Gaussian","GKP probes edge out Gaussian receivers for small displacement shifts"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000543,"raw_usage":{"total_tokens":2583,"prompt_tokens":913,"completion_tokens":1670,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":529,"completion_tokens_details":{"reasoning_tokens":1605}},"tokens_in":529,"tokens_out":1670,"duration_ms":14280,"temperature":1.0,"reasoning_tokens":1605,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T00:30:56.389244+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Rerun the same Bayesian and Neyman-Pearson computations with signal photon number or total energy equalized across probes; if the GKP curves no longer lie below the best Gaussian receiver in the lossy finite-squeezing regimes, the central claim fails under that resource constraint. Equally decisive: measure the ROC of the modular-syndrome plus logical-Bell receiver at d=5, 6 dB, transmissivity 0.8, and t/ℓ5=1, where the paper predicts detection probability 0.63801 at false-alarm probability 0.05.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Helstrom-operator formulas for Bayesian minimum-error probability and Neyman-Pearson ROC that the paper's decision-theoretic results are built on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the twin-beam quantum-illumination correlation strategy that serves as one of the Gaussian benchmark probes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines GKP stabilizer codes and the periodic displacement structure that makes GKP states natural displacement probes."},{"cited_title":"Xu, Y.-R","cited_arxiv_id":null,"evidence_quote":"Introduces the single-mode grid-state displacement sensor that the finite-energy d-level treatment extends to decision-theoretic settings."}],"review_version":1}