Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Converting Quantum Sensing Noise into Erasures

T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Theorem I: a noise-channel term is erasure-convertible if and only if it flips a sensing-basis label on at least one side; both-diagonal terms are inseparable from the signal.

desk verdict A clean, generator-dependent criterion for converting in-space sensing noise to erasures, with a simple passive construction and a convincing proof-of-principle experiment; the main theorem's necessary direction is argued rather than proven, so the strongest claim outruns the evidence by a step. read the letter →

arxiv 2607.26502 v1 pith:75QSFMSB submitted 2026-07-29 quant-ph

Xingyu Liu , Zhaotong Cui , Binke Xia , Yuegang Li , Hongjing Li , Jingzheng Huang , Guihua Zeng This is my paper · ORCID
classification quant-ph MSC 81P4581P50 PACS 03.67.-a
keywords erasureconversionquantumsensingin-spacenoiseFisherinformationpassivemitigationorbitalangularmomentumphaseestimationstandardlimit
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper asks a sharp question: which parts of a noise channel that acts entirely inside the sensing Hilbert space can be converted into erasures — errors whose occurrence is flagged — and removed without destroying the signal? It answers with a necessary and sufficient condition tied to the sensing generator: a channel term is erasure-convertible if and only if at least one of its two operators changes the eigenbasis label of the generator; if both operators are label-preserving, the noise is structurally identical to the signal and cannot be pulled out passively. The authors construct a passive scheme — a fixed ancilla encoding and a single final projection — that realizes the conversion for all convertible terms, requiring no noise-model knowledge, active control, or precise timing. The theory is confirmed in a single-photon phase-sensing experiment using orbital angular momentum as the ancilla, where the recovered precision matches the theoretical curve and approaches the standard quantum limit despite a Pauli-noise channel with erasure-convertible weight 0.5.

What carries the argument

The carrying object is the Hilbert-Schmidt decomposition of the system operator space L(H_S) into D_G = span{|x⟩⟨x|} and O_G = span{|x⟩⟨y|, x≠y}, defined by the eigenbasis of the sensing generator G. Every in-space noise channel is re-expressed in these bases as N(·) = Σ χ_{μν} E_μ(·) E_ν†, and the erasure-conversion condition classifies each channel term by whether E_μ or E_ν lies in O_G. The implementing mechanism is a static ancilla encoding V1 = Σ_x |x⟩⟨x| ⊗ U_{κ(x)} that records the sensing-basis label in orthogonal ancilla states, together with the decoding V2 and the projection M_s = I ⊗ |0⟩⟨0|: any term that changes a label maps outside the retained ancilla mode, so a single projecti

What would settle it

A concrete counterexample would be a passive ancilla strategy that successfully flags and discards a channel term such as σ_z ρ σ_z (both operators diagonal in the σ_z eigenbasis) without degrading the signal, contradicting the paper's non-convertible sector. Experimentally, one could engineer a channel containing only diagonal noise terms and check whether any passive protocol, including the scheme here, can raise the QFI above the unmodified noisy channel; the paper predicts no improvement is possible.

Watch

Extended reading notes

Core claim

The central claim is Theorem I: under a passive scheme, a noise-channel component E_mu(·)E_nu† can be removed from the retained sensing outcome as an erasure without damaging the signal if and only if E_mu or E_nu belongs to the off-diagonal subspace O_G, i.e., at least one side mixes the eigenbasis labels of the sensing generator G. Terms with both operators in the diagonal subspace D_G act on each matrix element by multiplying its complex coefficient — exactly the same type of transformation produced by the signal evolution U_theta — so no passive readout can flag them without also discarding the signal. The sufficient direction is proven by explicit construction: an encoding V1 writes the

Load-bearing premise

The 'only if' direction assumes that no passive scheme can extract any extra information — from environment monitoring, feedback, or intermediate measurements — to distinguish label-preserving diagonal noise from the signal at the final readout; if such information were available within the passive class, the claimed necessary condition would fail.

Editorial extensions

If this is right

  • Erasure-convertible weight of a noise channel is well-defined and can be maximized by reorienting the sensing generator among physically equivalent bases, without changing the noiseless QFI.
  • When all noise lies in T_conv, the effective QFI equals the noiseless QFI times the retained probability; for phase damping at p=0.5, this recovers half the ideal QFI whereas the raw channel carries none.
  • The final ancilla projection discards all convertible and cross terms; residual precision is set strictly by the non-convertible weight, so the protocol is useful whenever that weight is low.
  • In the photonic demonstration, precision follows the theoretical curve and approaches the SQL, confirming that the condition is not just abstract but experimentally realizable with OAM as a passive ancilla.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the 'only if' direction is made into a formal no-go theorem, the diagonal/off-diagonal split would define an information-theoretic boundary for all non-adaptive, non-feedback sensing schemes, and could be used to certify when active control is genuinely necessary.
  • The same ancilla-index encoding may be adapted to multi-parameter estimation by choosing a full basis that diagonalizes a set of commuting generators; for non-commuting generators, a tradeoff between erasure-conversion and simultaneous estimation seems likely.
  • A possible extension is to recycle the discarded erasure outputs: because the final projection destroys information, a hybrid scheme that measures the erased part and feeds it back could in principle beat the passive bound, which the paper leaves open.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper addresses the conversion of in-space quantum sensing noise into erasures. It re-expresses a general noise channel in an operator basis adapted to the sensing generator G, decomposing the operator space into the diagonal subspace D_G and the off-diagonal subspace O_G. The central claim, Theorem I, is that under a passive scheme a noise-channel term E_μ(·)E_ν† is erasure-convertible if and only if at least one of E_μ, E_ν lies in O_G. The authors construct an explicit ancilla-based encoding/decoding scheme that maps all 'convertible' terms to an orthogonal ancilla subspace, which is discarded by a final projection. They analyze the effective QFI for phase-damping and amplitude-damping channels and report a photonic proof-of-principle experiment using polarization as the sensing qubit and orbital angular momentum as the ancilla, claiming restoration of standard-quantum-limit precision for an emulated Pauli-noise channel of convertible weight 0.5.

Significance. If Theorem I can be made rigorous, the result would provide a clean, noise-model-agnostic boundary for passive erasure conversion in quantum sensing: off-diagonal (label-changing) terms can be converted to erasures, while diagonal terms cannot. The sufficient construction is explicit, deterministic, and requires no active control or noise-model knowledge, and the QFI formulas follow from stated channel assumptions with no fitted parameters. The experiment, although using a deterministic emulation, demonstrates the optical routing and filtering mechanism with data that track the parameter-free theoretical curve. These are real strengths. The main weakness is that the necessity half of the central theorem is asserted through an informal indistinguishability argument rather than proved under a precise definition of the allowed operations.

major comments (2)
  1. [Non-convertible components of in-space noise] The 'only if' direction of Theorem I is not proved. The text argues that a diagonal term E_μ(·)E_ν† only multiplies density-matrix elements and 'there is no extra information that can distinguish this noise contribution from the signal evolution,' but no formal definition is given of the allowed class of passive schemes or of 'without damaging the signal.' A clever fixed encoding/decoding with a larger retained subspace, or a θ-dependent readout, might in principle detect the pattern d_{μ,x}d*_{ν,x'} without disturbing U_θ; the paper neither proves such schemes impossible nor states the restriction under which they are excluded. This is load-bearing because the theorem's 'iff' is the paper's central claim. A formal definition (e.g., fixed V_1, V_2, and final projection M_s = I_S⊗|0><0|_A, with erasure outputs discarded) would make the necessity provable; please provide it.
  2. [Methods: QWP emulation of a channel with fixed erasure-convertible weight] Eqs. (15)-(16): the experiment uses a deterministic unitary QWP, not a stochastic Pauli-noise channel. Eq. (16) contains coherent cross terms i/2(ρσ_n - σ_nρ); the equivalence to F_{1/2}(ρ)=1/2ρ+1/2σ_nρσ_n holds only after the final ancilla projection and only for the retained measurement statistics. The abstract's claim of demonstrating 'a Pauli-noise channel with erasure-convertible weight 0.5' therefore overstates the demonstration. The experiment validates the optical routing/filtering mechanism for a unitary rotation, but does not test conversion of incoherent stochastic Pauli noise. Please either implement a genuinely mixed channel or clearly qualify the claim as a proof-of-principle under deterministic emulation.
minor comments (4)
  1. [Theoretical QFI analysis, Eq. (6)] Please state explicitly that p_s(θ) is the retained-outcome probability under the full noisy channel and that ρ_θ^{(s)} is the normalized retained state. The current notation leaves this implicit.
  2. [Methods: Optional optimization of G] The 'total coefficient weight' W_conv(R)=Σ' |χ^{(R)}_{μν}|² is not obviously the correct physical measure of the convertible fraction, especially for cross terms that do not correspond to independent outcomes. Please justify this choice or define it operationally.
  3. [General] Several central derivations and robustness claims are deferred to the Supplementary Material (derivation of Eq. (7), ancilla-noise tolerance, GHZ probes, far-field propagation). The supplementary material was not part of the submitted manuscript text; please include it or provide proof sketches in the main text.
  4. [Experimental results, Fig. 8] Please specify how the error bars and the 220-repetition grouping into five batches were converted into the reported precision; the statistical procedure is currently described only in the Supplementary.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the erasure-conversion condition is supported by an explicit ancilla construction, no fitted parameters are renamed as predictions, and no load-bearing self-citation is present.

full rationale

The derivation chain is self-contained rather than circular. The erasure-conversion condition is introduced from the operator-space decomposition D_G ⊕ O_G, and the sufficient direction of Theorem I is proved by an explicit static encoding/decoding construction (Eqs. 4 and 5): terms with at least one off-diagonal operator break the system–ancilla index correspondence and are shown directly to have no support on the retained subspace. The QFI expressions follow by standard post-selection calculus from this construction, not from a fit. In the experiment, the claimed erasure-convertible weight 0.5 is a specified QWP setting (δ = π/2), not a parameter inferred from the data; the theoretical RMSE curve is derived from the model, and the experimental agreement is a consistency check. The one nontrivial weakness is the 'only if' direction of Theorem I: the proof in 'Non-convertible components of in-space noise' asserts that diagonal terms 'produce the same type of output state as the signal evolution' and that 'there is no extra information' to flag them, without a formal definition of the allowed passive operations or a no-go theorem. That is a proof gap and a correctness risk, not a circular reduction: the conclusion is not identified with an input equation or with a fitted parameter. The Discussion also candidly notes that the removed outputs are discarded and that recycling their information 'remains an important question,' so no stronger optimality claim is being smuggled in. No load-bearing self-citation appears; the cited references are standard background on the χ-matrix representation and are not used to posit the theorem.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No unknown physical entities are postulated; the ancilla flag is a standard resource, not an invented entity. All adjustable quantities (p, γ, erasure-convertible weight 0.5) are model parameters or experimental settings, not fitted values.

assumptions (5)
  • standard math Operator space L(H_S) decomposes as D_G ⊕ O_G with Hilbert-Schmidt orthonormal bases, and every CPTP in-space channel has a χ-matrix expansion in this basis (Methods Eqs. 10-11).
    Standard Kraus/χ-matrix representation is used to define T_conv and T_nconv.
  • domain assumption The relevant noise is in-space: N maps L(H_S) to itself and does not drive population out of the sensing Hilbert space.
    The framework applies only to in-space noise; leakage and loss are explicitly treated as outside the scope.
  • domain assumption The sensing generator G has a complete eigenbasis and the parameter is encoded via U_θ = e^{-iθG}.
    Used to define the sensing basis and the diagonal/off-diagonal decomposition.
  • ad hoc to paper In a passive scheme, no active control, feedback, or intermediate measurements are used, and no extra information can distinguish a diagonal noise term from the signal at final readout.
    This is the load-bearing premise of the necessity proof; it is asserted rather than derived and is the source of the claim_without_derivation red flag.
  • domain assumption The ancilla is noiseless in the main derivation.
    Equation (5) and the proof of the sufficient direction assume a noiseless ancilla; ancilla-noise tolerance is deferred to the Supplementary Material.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Converting Quantum Sensing Noise into Erasures." pith.science (2026). https://pith.science/paper/75QSFMSB

@misc{pith2026260726502,
  author       = {Pith},
  title        = {Pith review of: Converting Quantum Sensing Noise into Erasures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/75QSFMSB}},
  note         = {Machine review of arXiv:2607.26502}
}
read the original abstract

Erasures are more favorable for quantum sensing than unflagged errors such as Pauli errors. However, realistic sensing noise does not usually appear as erasures; it often acts within the same sensing Hilbert space as the signal, making it difficult to identify and mitigate. For such noise, we establish a noise-model-agnostic necessary and sufficient condition for erasure conversion, identifying the noise components that can be converted into erasures and removed without damaging the signal. For components satisfying the condition, conversion can be realized by a passive dimension-lifted scheme requiring neither detailed noise knowledge nor active control. Theoretically, the protocol remains effective over a broad range of noise strengths and approaches the corresponding precision limit. Experimentally, in single-photon phase sensing, we recover standard-quantum-limit precision in a Pauli-noise channel with erasure-convertible weight 0.5, using orbital angular momentum as the ancilla. These results provide a practical route to robust quantum sensing under realistic noise.

Figures

Figures reproduced from arXiv: 2607.26502 by the authors.

Figure 1
Figure 1. Comparison of noise types and sensing schemes. (a) In-space noise acts within the sensing Hilbert space HS. It may change the phase or amplitude of a state, or map it to another state within HS, making the noise contribution hidden in the same space as the signal. (b) Out-of-space noise, such as leakage or loss, maps the state outside the sensing Hilbert space, and therefore naturally carries a detectable signature,… view at source ↗
Figure 2
Figure 2. Schematic of the general in-space noise channel re-expression and erasure-conversion condition. (b) A general in-space noise channel N (·) is re-expressed with respect to the sensing generator G. In the fixed sensing basis defined by G, the operator space L(HS) is decomposed into the diagonal subspace DG and the off-diagonal subspace OG, providing the Hilbert-Schmidt orthonormal operator bases ED and EO. In the oper… view at source ↗
Figure 3
Figure 3. (a) Conceptual illustration and (b) workflow of the passive erasure conversion scheme. (a) Before erasure conversion, the convertible and non-convertible components of in-space noise are indis￾tinguishable within the sensing subspace. After erasure conversion, the components in Tconv are converted into erasures (highlighted in yellow) and removed from the retained sensing outcome by the final readout, leaving only T… view at source ↗
Figures from the paper (6 more)
Figure 4
Figure 4. Figure 4: Phase damping. The noisy baseline (red), the theoretical result after passive erasure conversion (blue), the upper bound of Qp in (a) (yellow), the corresponding lower bound of p 1/Qp in (b) (orange), and the SQL (green) are shown. In this setting, all noisy terms fall…
Figure 5
Figure 5. Figure 5: Amplitude damping with residual non-convertible noise components. The noisy baseline (red), the theoretical result after passive erasure conversion (blue), the upper bound of Qγ in (a) (yellow), the corresponding lower bound of p 1/Qγ in (b) (orange), and the SQL (gree…
Figure 6
Figure 6. Figure 6: The experimental demonstration here is presented for noiseless OAM. However, the scheme can also [PITH_FULL_IMAGE:figures/full_fig_p014_6.png]
Figure 6
Figure 6. Figure 6: Experimental implementation of passive erasure conversion. The polarization qubit is coupled to the OAM by a Q-plate with topological charge l = 8, such that the two circular polarizations ac￾quire opposite OAM modes. After the noisy sensing evolution, a second identic…
Figure 7
Figure 7. Figure 7: Experimental setup. The passive erasure-conversion consists of four stages: state encoding, noisy signal evolution, decoding and ancilla projection, and final-state measurement. Photon pairs at 810 nm are generated via SPDC in a PPKTP crystal pumped at 405 nm. Idler ph…
Figure 8
Figure 8. Figure 8: Experimental results. RMSE of the estimated parameter versus the mean photon number per group. The blue circles denote experimental data acquired using the passive erasure-conversion scheme, whereas the red circles represent control measurements without spatial filteri…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Task-Dependent Syndrome Memory in Quantum Sensing and State Recovery

    quant-ph 2026-08 accept novelty 7.0 of 10

    The quantum Fisher information lost by merging noise records into M flags equals the weighted squared distance between fine and coarse SLD scores, making optimal flag design an operator clustering problem.

Reference graph

Works this paper leans on

34 extracted references · cited by 1 Pith paper

  1. [1]

    & Maccone, L

    Giovannetti, V., Lloyd, S. & Maccone, L. Quantum metrology.Physical Review Letters96, 010401 (2006)

    2006

  2. [2]

    K., Schmied, R

    Pezze, L., Smerzi, A., Oberthaler, M. K., Schmied, R. & Treutlein, P. Quantum metrology with nonclassical states of atomic ensembles.Reviews of Modern Physics90, 035005 (2018)

    2018

  3. [3]

    Escher, B., de Matos Filho, R. L. & Davidovich, L. General framework for estimating the ultimate precision limit in noisy quantum-enhanced metrology.Nature Physics7, 406–411 (2011)

    2011

  4. [4]

    & Gut ¸˘ a, M

    Demkowicz-Dobrza´ nski, R., Ko lody´ nski, J. & Gut ¸˘ a, M. The elusive heisenberg limit in quantum- enhanced metrology.Nature Communications3, 1063 (2012)

    2012

  5. [5]

    M., Lovchinsky, I., Sushkov, A

    Kessler, E. M., Lovchinsky, I., Sushkov, A. O. & Lukin, M. D. Quantum error correction for metrology. Physical Review Letters112, 150802 (2014). 23

    2014

  6. [6]

    & Kraus, B

    D¨ ur, W., Skotiniotis, M., Froewis, F. & Kraus, B. Improved quantum metrology using quantum error correction.Physical Review Letters112, 080801 (2014)

    2014

  7. [7]

    Unden, T.et al.Quantum metrology enhanced by repetitive quantum error correction.Physical Review Letters116, 230502 (2016)

    2016

  8. [8]

    Wang, W.et al.Quantum-enhanced radiometry via approximate quantum error correction.Nature Communications13, 3214 (2022)

    2022

Show all 34 references
  1. [9]

    & Jiang, L

    Zhou, S. & Jiang, L. Optimal approximate quantum error correction for quantum metrology.Physical Review Research2, 013235 (2020)

    2020

  2. [10]

    & Lloyd, S

    Viola, L., Knill, E. & Lloyd, S. Dynamical decoupling of open quantum systems.Physical Review Letters82, 2417 (1999)

    1999

  3. [11]

    & D¨ ur, W

    Sekatski, P., Skotiniotis, M. & D¨ ur, W. Dynamical decoupling leads to improved scaling in noisy quantum metrology.New Journal of Physics18, 073034 (2016)

    2016

  4. [12]

    & Reiserer, A

    Merkel, B., Cova Fari˜ na, P. & Reiserer, A. Dynamical decoupling of spin ensembles with strong anisotropic interactions.Physical Review Letters127, 030501 (2021)

    2021

  5. [13]

    Louzon, D.et al.Robust noise suppression and quantum sensing by continuous phased dynamical decoupling.Physical Review Letters134, 120802 (2025)

    2025

  6. [14]

    & Sanders, B

    Hentschel, A. & Sanders, B. C. Efficient algorithm for optimizing adaptive quantum metrology processes. Physical Review Letters107, 233601 (2011)

    2011

  7. [15]

    & Sekatski, P

    Demkowicz-Dobrza´ nski, R., Czajkowski, J. & Sekatski, P. Adaptive quantum metrology under general markovian noise.Physical Review X7, 041009 (2017)

    2017

  8. [16]

    & Demkowicz-Dobrza´ nski, R

    Kurdzia lek, S., G´ orecki, W., Albarelli, F. & Demkowicz-Dobrza´ nski, R. Using adaptiveness and causal superpositions against noise in quantum metrology.Physical Review Letters131, 090801 (2023). 24

    2023

  9. [17]

    & Jordan, A

    Pang, S. & Jordan, A. N. Optimal adaptive control for quantum metrology with time-dependent hamiltonians.Nature Communications8, 14695 (2017)

    2017

  10. [18]

    L., Reinhard, F

    Degen, C. L., Reinhard, F. & Cappellaro, P. Quantum sensing.Reviews of Modern Physics89, 035002 (2017)

    2017

  11. [19]

    J., Markham, D

    Shettell, N., Munro, W. J., Markham, D. & Nemoto, K. Practical limits of error correction for quantum metrology.New Journal of Physics23, 043038 (2021)

    2021

  12. [20]

    & Thompson, J

    Wu, Y., Kolkowitz, S., Puri, S. & Thompson, J. D. Erasure conversion for fault-tolerant quantum computing in alkaline earth rydberg atom arrays.Nature Communications13, 4657 (2022)

    2022

  13. [21]

    Scholl, P.et al.Erasure conversion in a high-fidelity rydberg quantum simulator.Nature622, 273–278 (2023)

    2023

  14. [22]

    Ma, S.et al.High-fidelity gates and mid-circuit erasure conversion in an atomic qubit.Nature622, 279–284 (2023)

    2023

  15. [23]

    H., DiVincenzo, D

    Bennett, C. H., DiVincenzo, D. P. & Smolin, J. A. Capacities of quantum erasure channels.Physical Review Letters78, 3217 (1997)

    1997

  16. [24]

    & Pellizzari, T

    Grassl, M., Beth, T. & Pellizzari, T. Codes for the quantum erasure channel.Physical Review A56, 33 (1997)

    1997

  17. [25]

    Kang, M., Campbell, W. C. & Brown, K. R. Quantum error correction with metastable states of trapped ions using erasure conversion.PRX Quantum4, 020358 (2023)

    2023

  18. [26]

    Niroula, P.et al.Quantum sensing with erasure qubits.Physical Review Letters133, 080801 (2024)

    2024

  19. [27]

    Nielsen, M. A. & Chuang, I. L.Quantum computation and quantum information(Cambridge University Press, 2010)

    2010

  20. [28]

    & Jiang, L

    Zhou, S., Zhang, M., Preskill, J. & Jiang, L. Achieving the heisenberg limit in quantum metrology using quantum error correction.Nature Communications9, 78 (2018). 25

    2018

  21. [29]

    Completely positive linear maps on complex matrices.Linear Algebra and its Applications 10, 285–290 (1975)

    Choi, M.-D. Completely positive linear maps on complex matrices.Linear Algebra and its Applications 10, 285–290 (1975)

    1975

  22. [30]

    Linear transformations which preserve trace and positive semidefiniteness of operators

    Jamio lkowski, A. Linear transformations which preserve trace and positive semidefiniteness of operators. Reports on Mathematical Physics3, 275–278 (1972)

    1972

  23. [31]

    & Wang, X

    Liu, J., Yuan, H., Lu, X.-M. & Wang, X. Quantum fisher information matrix and multiparameter estimation.Journal of Physics A: Mathematical and Theoretical53, 023001 (2020)

    2020

  24. [32]

    & Alipour, S

    Rezakhani, A., Hassani, M. & Alipour, S. Continuity of the quantum fisher information.Physical Review A100, 032317 (2019)

    2019

  25. [33]

    J.et al.Resilience of hybrid optical angular momentum qubits to turbulence.Scientific Reports5, 8424 (2015)

    Far ´ ıas, O. J.et al.Resilience of hybrid optical angular momentum qubits to turbulence.Scientific Reports5, 8424 (2015)

    2015

  26. [34]

    W.Introduction to Fourier Optics(Roberts and Company Publishers, 2005), 3 edn

    Goodman, J. W.Introduction to Fourier Optics(Roberts and Company Publishers, 2005), 3 edn. 26

    2005

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.