Pith. sign in

REVIEW 4 minor 43 references

For any inefficient detector, no feedback protocol can beat a sharp, dimension-free ceiling on impurity-moment decay: 2ηℓ² above moment order 1/2, and 8θ(1−θ)ηℓ² below.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-02 08:02 UTC pith:VB7LCBKP

load-bearing objection A rigorous, parameter-free proof of a universal purification speed limit for inefficient detectors, with an exact qubit optimum and a testable singular efficiency limit; the central claims hold up under scrutiny.

arxiv 2607.07434 v2 pith:VB7LCBKP submitted 2026-07-08 quant-ph

Efficiency-Induced Freezing in Quantum-State Purification

Jiaxin Liu , Zuoxian Wang , Feng Li , Danyue Ma This is my paper
classification quant-ph PACS 03.65.Ta03.65.Yz
keywords quantum purificationdetection efficiencyquantum feedback controlquantum nondemolition measurementimpurity momentsstochastic master equationlarge deviationsspeed limit
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves that any nonzero detection loss qualitatively changes how fast feedback can purify a monitored quantum state. For every finite dimension and every admissible predictable feedback protocol, trajectory-averaged impurity moments cannot decay faster than a sharp, dimension-independent ceiling: exponentially with rate 8θ(1−θ)ηℓ² for moment order θ≤1/2, and a frozen rate 2ηℓ² for θ≥1/2. The frozen branch is attained by quantum-nondemolition (QND) measurement on a rank-two face, and for qubits it is exactly optimal. A determinant-root law further shows that, for generic observables, full-rank states in dimension greater than two cannot reach this ceiling over an explicit interval of moment orders. The result matters because detection inefficiency does more than rescale purification rates—it flattens the high-order purification spectrum and makes rare, persistently mixed trajectories the rate-limiting events.

Core claim

The central discovery is an efficiency-induced freeze: for 0<η<1, the optimal long-action decay exponent Λ⋆(θ,η) for impurity moments S^θ becomes independent of θ above θ=1/2, pinned at 2ηℓ², where ℓ is the spectral half-spread of the measured observable. This is a no-go ceiling for all admissible predictable feedback protocols in every finite dimension, with the constants sharp and attained on extremal rank-two QND faces. For qubits the exact optimum is Λ⋆=8θ(1−θ)ηℓ² for θ<1/2 and Λ⋆=2ηℓ² for θ≥1/2 when η<1, while at unit efficiency the unbiased protocol gives instead 4θℓ², producing a discontinuous jump as η→1⁻. The mechanism is a change of saddle in the QND large-deviation spectrum: below

What carries the argument

The argument rests on three trace inequalities that are pointwise and protocol-independent: a quartic inequality T2 S + T3² ≤ ℓ² S², with equality only on rank-two supports whose compression of the observable spans the full spectral width; a pairing bound |T3|≤ℓS; and the resulting master inequality ((1+η)T2−(1−η)T1+2ηT3²/S) ≤ 2ηℓ²S. These combine through Itô's formula to give a finite-action moment envelope, and a change-of-measure argument near the pure boundary yields the all-dimensional high-order ceiling 2ηℓ². A separate matrix-Itô determinant-root law, E[(det ρ_A)^{1/d}] ≥ (det ρ_0)^{1/d} e^{−2η V_L A}, supplies the strict full-rank obstruction when the spectral variance V_L is less th

Load-bearing premise

The entire ceiling is derived in the limit of unbounded accumulated measurement action A, using the inverse-action time as a deterministic clock; if a controller can insert arbitrarily long no-measurement stretches, or the record saturates before A→∞, the Λπ bound does not apply.

What would settle it

Run a monitored qubit with known efficiency η=0.9 and half-spread ℓ, and measure the mean impurity at fixed large action A under both QND and unbiased feedback. The theorem predicts E[SA] decays as exp(−2ηℓ²A) for QND, with no protocol achieving a larger exponent; observing an exponent above 2ηℓ², or a protocol exceeding the frozen branch, would falsify the ceiling. Alternatively, a qutrit with spectrum (−ℓ,0,ℓ) at θ=0.8 should show a strict gap between the decay exponents of a full-rank state and an embedded rank-two mixture.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • QND measurement becomes asymptotically optimal for the frozen branch in every finite dimension at any 0<η<1, at least on rank-two faces.
  • For qubits the paper answers the long-action optimality question for impurity moments: no adaptive predictable protocol can exceed 2ηℓ² for θ≥1/2.
  • The determinant-root law rules out generic full-rank states from attaining the uniform ceiling over an explicit moment interval; for the canonical qutrit spectrum (−ℓ,0,ℓ), the exclusion holds throughout (1−1/√3)/2<θ<1.
  • Parameter-free finite-action scaling functions describe the rounded transition at θ=1/2 and the logarithmically delayed QND–unbiased crossover near η=1, giving experimentally testable predictions at fixed action.
  • At η=1, the result recovers the Jacobs–Wiseman–Bouten theorem as a special point, unifying the unit-efficiency and inefficient regimes under one ceiling.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The freezing suggests that under inefficient monitoring, high-order purification moments are governed by rare 'persistently mixed' trajectories; engineering additional error-correction or erasure channels might aim at these rare records, but such channels lie outside the paper's resource model.
  • A natural experimental extension is a fixed-action comparison of full-rank qutrit states versus embedded rank-two mixtures: the determinant-root law predicts a strict gap that could be seen in trajectory ensembles.
  • Because the determinant-root law is a G-concurrence bound, the efficiency-induced freeze may transfer to average-concurrence dynamics in monitored bipartite systems, a cross-domain implication worth testing.
  • The inverse-action clock defines the theorem's scope: the ceiling bounds the best exponent per unit measurement action, so a controller inserting arbitrarily long dead times does not improve the exponent but merely rescales the clock.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper proves sharp, dimension-independent speed limits for the decay of trajectory-averaged impurity moments under inefficient diffusive measurement with feedback control. The central result, Eq. (3), bounds the moment exponent uniformly over all admissible predictable feedback protocols: for 0<η<1, Λπ(θ,η)≤8θ(1−θ)ηℓ² for θ≤1/2 and ≤2ηℓ² for θ≥1/2, with both constants sharp on embedded rank-two QND faces. For qubits, Eq. (6) gives the exact optimal exponent, including the frozen branch 2ηℓ² for θ≥1/2 and 0<η<1. A determinant-root law, Eq. (5), provides a strictly stronger ceiling for full-rank states with generic spectra, proving a strict full-rank obstruction over an explicit moment-order interval. The Supplemental Material supplies detailed proofs of the quartic trace inequality and equality classification, the determinant-root submartingale argument, the localized change-of-measure ceiling, and exact QND heat-kernel computations, together with parameter-free finite-action scaling functions for the θ=1/2 and η→1 limits. The action-clock assumption that A=∫M ds grows without bound is stated explicitly and inherited by all theorems.

Significance. If correct, this is a substantive advance in the theory of feedback-controlled purification. It provides the first protocol-uniform, dimension-independent ceiling for impurity moments under inefficient monitoring, identifies a purely efficiency-induced freezing mechanism above θ=1/2, and resolves the qubit problem exactly at all efficiencies. The determinant-root obstruction is an elegant and nontrivial result, and the finite-action scaling functions are parameter-free and falsifiable. The proofs in the Supplemental Material are detailed and self-contained, with no fitted parameters; the numerical checks are independent and reproduce the analytic predictions. The action-clock restriction is a genuine scope condition but is disclosed clearly and does not undermine the claims within their stated domain.

minor comments (4)
  1. [SM Eq. (S9) and Eq. (S6)] The physical-time noise coefficient in the impurity equation is written as 4√η M T3 dW. Consistency with Eq. (1) of the Letter and with the action-clock Eq. (7) requires 4√(ηM) T3 dW. The subsequent action-clock derivations are correct, so this is a dimensional typo, but it should be fixed to avoid confusion.
  2. [End Matter Eq. (A1) / SM Eq. (S93)] The scaling law has e^{v/2} E[S^θ_A] √S0 on the left-hand side. At u=0, the exact half-moment law gives S0, not 1, whereas the stated limit F(0)=1. The figure axis and the surrounding derivation indicate that the intended normalization is e^{v/2} E[S^θ_A] / √S0. With that correction, the collapse onto F(u)=E[e^{-u|Z|}] is coherent.
  3. [Controlled measurement / Eqs. (3), (5), (6)] The theorems are stated for 'every admissible predictable feedback protocol,' but the standing assumption that the accumulated action A=∫M(s)ds grows without bound a.s. is introduced only in the 'Controlled measurement' paragraph. Since protocols that insert long measurement-free stretches are outside the asymptotic regime, it would be helpful to restate this qualifier directly in the theorem statements.
  4. [SM Sec. II.A / Letter Eq. (7)] The notation dW_A^2=dA is used consistently, but for readers not familiar with time-changed stochastic equations it would help to add one sentence explaining that √M dW = dW_A under the action clock, so that physical-time and action-time forms of the SME are matched.

Circularity Check

0 steps flagged

No significant circularity: the derivation chain is self-contained and the central bounds do not reduce to their inputs.

full rationale

The derivation chain is self-contained. Eq. (3) is obtained from Eq. (10) for 0<θ≤1/2 and from Eq. (18) for θ≥1/2. Eq. (10) follows from Itô's formula and the master inequality (8), which the Supplemental Material proves from Lemma A (|T3|≤ℓS) and the quartic inequality T2S+T3²≤ℓ²S² (SM Sec. II). No parameter is fitted and no quantity in the bound is defined in terms of the moment exponent being bounded. The matching attainment is provided by an explicit QND construction whose transition law is derived in SM Sec. VIII via the ground-state transform to free heat flow (Eq. S86), not merely imported from Refs. [13,16]; those references are historical, not self-citations, and the needed propagator is re-derived in the paper. The determinant-root law (S26) is proved by matrix Itô calculus with a bounded-noise localization argument, and the full-rank obstruction follows by Jensen and spectral-variance calculus. The change-of-measure ceiling in SM Sec. VI uses a rigidity estimate and Novikov's condition; it does not take the claimed ceiling as an input. The finite-action scaling functions are obtained analytically from the exact QND kernel, not fitted. The paper also explicitly flags its scope limitations ('assumed to grow without bound', 'full-rank optimum remains open', 'do not establish finite-horizon optimality'), which are honest caveats rather than circular steps. No load-bearing step reduces, by the paper's own equations or by self-citation, to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper introduces no free parameters and no invented entities. It postulates the diffusive SME as the model, assumes the action clock A grows without bound, restricts controls to predictable basis rotations with no dissipative channel, and relies on standard stochastic-calculus tools. The known QND heat-kernel transition law is re-derived in the SM, so it does not enter as an unproved input.

axioms (4)
  • domain assumption Quantum state obeys the diffusive SME (1) with L=L† and detection efficiency η.
    The entire analysis is built on this model of continuous diffusive measurement (Eq. 1).
  • domain assumption Accumulated action A=∫M(s)ds grows without bound, so inverse-action stopping times exist and A→∞ is the asymptotic limit.
    Stated in the 'Controlled measurement' paragraph; all long-action theorems inherit this.
  • domain assumption Admissible feedback consists of predictable basis rotations and finite-variation Hamiltonian control, with no dissipative or current-proportional control channels.
    The paper explicitly excludes complementary channels and measurement-current-proportional feedback, which define different resource models.
  • standard math Standard Itô calculus, Grönwall inequality, Novikov condition, optional stopping, and Brownian maximal inequalities hold for the stochastic processes considered.
    Used throughout SM Sections V, VI, IX, and X.

pith-pipeline@v1.3.0-alltime-deepseek · 31569 in / 17541 out tokens · 160339 ms · 2026-08-02T08:02:22.557495+00:00 · methodology

0 comments
read the original abstract

Any nonzero detection loss qualitatively changes feedback-controlled purification under diffusive monitoring. In every finite dimension, we prove a sharp, dimension-independent ceiling on the decay of trajectory-averaged impurity moments, uniformly over admissible predictable feedback protocols.Below unit efficiency, this ceiling becomes independent of moment order above a critical value and is attained on extremal rank-two quantum-nondemolition (QND) faces. For generic observable spectra, a determinant-root law precludes every full-rank state from attaining this boundary rate over an explicit moment-order interval. For qubits at $0<\eta<1$, the frozen rate is the exact optimum, set by rare, persistently mixed trajectories. Parameter-free finite-action scaling functions resolve both the rounded QND moment-order transition and the near-unit QND--always-unbiased crossover.

Figures

Figures reproduced from arXiv: 2607.07434 by Danyue Ma, Feng Li, Jiaxin Liu, Zuoxian Wang.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Finite-action resolution of the two asymptotic singularities at [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p006_4.png] view at source ↗

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

43 extracted references · 2 linked inside Pith

  1. [1]

    Jacobs, How to project qubits faster using quantum feedback, Phys

    K. Jacobs, How to project qubits faster using quantum feedback, Phys. Rev. A67, 030301(R) (2003)

    2003

  2. [2]

    Combes and K

    J. Combes and K. Jacobs, Rapid state reduction of quan- tum systems using feedback control, Phys. Rev. Lett.96, 010504 (2006)

    2006

  3. [3]

    Combes, H

    J. Combes, H. M. Wiseman, K. Jacobs, and A. J. O’Connor, Rapid purification of quantum systems by measuring in a feedback-controlled unbiased basis, Phys. Rev. A82, 022307 (2010)

    2010

  4. [4]

    H. M. Wiseman and G. J. Milburn,Quantum Measure- ment and Control(Cambridge University Press, Cam- bridge, 2010). 6

    2010

  5. [5]

    van Handel, J

    R. van Handel, J. K. Stockton, and H. Mabuchi, Feed- back control of quantum state reduction, IEEE Trans. Autom. Control50, 768 (2005)

    2005

  6. [6]

    Ticozzi and L

    F. Ticozzi and L. Viola, Quantum Markovian subsys- tems: Invariance, attractivity, and control, IEEE Trans. Autom. Control53, 2048 (2008)

    2048

  7. [7]

    Cardona, A

    G. Cardona, A. Sarlette, and P. Rouchon, Exponen- tial stabilization of quantum systems under continuous non-demolition measurements, Automatica112, 108719 (2020)

    2020

  8. [8]

    K. W. Murch, S. J. Weber, C. Macklin, and I. Siddiqi, Observing single quantum trajectories of a superconduct- ing quantum bit, Nature (London)502, 211 (2013)

    2013

  9. [9]

    Campagne-Ibarcqet al., Persistent control of a super- conducting qubit by stroboscopic measurement feedback, Phys

    P. Campagne-Ibarcqet al., Persistent control of a super- conducting qubit by stroboscopic measurement feedback, Phys. Rev. X3, 021008 (2013)

    2013

  10. [10]

    M. J. Gullans and D. A. Huse, Dynamical purifica- tion phase transition induced by quantum measurements, Phys. Rev. X10, 041020 (2020)

    2020

  11. [11]

    H. M. Wiseman and L. Bouten, Optimality of feedback control strategies for qubit purification, Quantum Inf. Process.7, 71 (2008)

    2008

  12. [12]

    H. M. Wiseman and J. F. Ralph, Reconsidering rapid qubit purification by feedback, New J. Phys.8, 90 (2006)

    2006

  13. [13]

    H. Li, A. Shabani, M. Sarovar, and K. B. Whaley, Opti- mality of qubit purification protocols in the presence of imperfections, Phys. Rev. A87, 032334 (2013)

    2013

  14. [14]

    C. Teo, J. Combes, and H. M. Wiseman, Global versus local optimality in feedback-controlled qubit purification: New insights from minimizing R´ enyi entropies, New J. Phys.16, 105010 (2014)

    2014

  15. [15]

    Combes and H

    J. Combes and H. M. Wiseman, Quantum feedback for rapid state preparation in the presence of control imper- fections, J. Phys. B44, 154008 (2011)

    2011

  16. [16]

    Jiang, X

    Y. Jiang, X. Wang, L. Martin, and K. B. Whaley, Opti- mality of feedback control for qubit purification under in- efficient measurement, Phys. Rev. A102, 022612 (2020)

    2020

  17. [17]

    Bompais, N

    M. Bompais, N. H. Amini, J. P. Garrahan, and M. Gut ¸˘ a, The rate of purification of quantum trajectories, arXiv:2601.14023 (2026)

    Pith/arXiv arXiv 2026

  18. [18]

    Combes, H

    J. Combes, H. M. Wiseman, and K. Jacobs, Rapid mea- surement of quantum systems using feedback control, Phys. Rev. Lett.100, 160503 (2008)

    2008

  19. [19]

    Benoist and C

    T. Benoist and C. Pellegrini, Large time behaviour and convergence rate for non demolition quantum trajecto- ries, Commun. Math. Phys.331, 703 (2014)

    2014

  20. [20]

    Gour, Family of concurrence monotones and its ap- plications, Phys

    G. Gour, Family of concurrence monotones and its ap- plications, Phys. Rev. A71, 012318 (2005)

    2005

  21. [21]

    Konradet al., Evolution equation for quantum entan- glement, Nat

    T. Konradet al., Evolution equation for quantum entan- glement, Nat. Phys.4, 99 (2008)

    2008

  22. [22]

    Tiersch, F

    M. Tiersch, F. de Melo, and A. Buchleitner, Entangle- ment evolution in finite dimensions, Phys. Rev. Lett. 101, 170502 (2008)

    2008

  23. [23]

    Gour, Evolution and symmetry of multipartite entan- glement, Phys

    G. Gour, Evolution and symmetry of multipartite entan- glement, Phys. Rev. Lett.105, 190504 (2010)

    2010

  24. [24]

    Viviescas, I

    C. Viviescas, I. Guevara, A. R. R. Carvalho, M. Busse, and A. Buchleitner, Entanglement dynamics in open two- qubit systems via diffusive quantum trajectories, Phys. Rev. Lett.105, 210502 (2010)

    2010

  25. [25]

    Vogelsberger and D

    S. Vogelsberger and D. Spehner, Average entanglement for Markovian quantum trajectories, Phys. Rev. A82, 052327 (2010)

    2010

  26. [26]

    Guevara and C

    I. Guevara and C. Viviescas, Average entanglement dy- namics in open two-qubit systems with continuous mon- itoring, Phys. Rev. A90, 012338 (2014)

    2014

  27. [27]

    Deffner and S

    S. Deffner and S. Campbell, Quantum speed limits: from Heisenberg’s uncertainty principle to optimal quantum control, J. Phys. A: Math. Theor.50, 453001 (2017)

    2017

  28. [28]

    L. P. Garc ´ ıa-Pintos, S. B. Nicholson, J. R. Green, A. del Campo, and A. V. Gorshkov, Unifying quantum and classical speed limits on observables, Phys. Rev. X12, 011038 (2022)

    2022

  29. [29]

    del Campo, I

    A. del Campo, I. L. Egusquiza, M. B. Plenio, and S. F. Huelga, Quantum speed limits in open system dynamics, Phys. Rev. Lett.110, 050403 (2013)

    2013

  30. [30]

    M. M. Taddei, B. M. Escher, L. Davidovich, and R. L. de Matos Filho, Quantum speed limit for physical processes, Phys. Rev. Lett.110, 050402 (2013)

    2013

  31. [31]

    V. P. Belavkin, Quantum stochastic calculus and quan- tum nonlinear filtering, J. Multivariate Anal.42, 171 (1992)

    1992

  32. [32]

    Gisin and I

    N. Gisin and I. C. Percival, The quantum-state diffusion model applied to open systems, J. Phys. A: Math. Gen. 25, 5677 (1992)

    1992

  33. [33]

    Barchielli and M

    A. Barchielli and M. Gregoratti,Quantum Trajectories and Measurements in Continuous Time: The Diffusive Case, Lecture Notes in Physics Vol. 782 (Springer, Berlin, 2009)

    2009

  34. [34]

    Jacobs and D

    K. Jacobs and D. A. Steck, A straightforward intro- duction to continuous quantum measurement, Contemp. Phys.47, 279 (2006)

    2006

  35. [35]

    Revuz and M

    D. Revuz and M. Yor,Continuous Martingales and Brow- nian Motion, 3rd ed. (Springer, Berlin, 1999)

    1999

  36. [36]

    Ruskov, J

    R. Ruskov, J. Combes, K. Mølmer, and H. M. Wise- man, Qubit purification speed-up for three complemen- tary continuous measurements, Philos. Trans. R. Soc. A 370, 5291 (2012)

    2012

  37. [37]

    H. M. Wiseman and G. J. Milburn, Quantum theory of optical feedback via homodyne detection, Phys. Rev. Lett.70, 548 (1993)

    1993

  38. [38]

    See Supplemental Material for the trace inequalities and equality cases, the rigorous determinant localization, ex- act QND and crossover formulas, the localized change-of- measure ceiling, first-passage corollary, and qubit fixed- threshold verification argument

  39. [39]

    M. M. R. Poltronieri Martins and H. S. Lima, Purifica- tion of a monitored qubit: Exact path-integral solution, arXiv:2605.12783 (2026)

    Pith/arXiv arXiv 2026

  40. [40]

    Touchette, The large deviation approach to statistical mechanics, Phys

    H. Touchette, The large deviation approach to statistical mechanics, Phys. Rep.478, 1 (2009)

    2009

  41. [41]

    Y. V. Fyodorov, Pre-freezing of multifractal exponents in random energy models with a logarithmically correlated potential, J. Stat. Mech. (2009) P07022

    2009

  42. [42]

    Dembo and O

    A. Dembo and O. Zeitouni,Large Deviations Techniques and Applications, 2nd ed. (Springer, New York, 1998)

    1998

  43. [43]

    rank two

    I. Karatzas and S. E. Shreve,Brownian Motion and Stochastic Calculus, 2nd ed. (Springer, New York, 1991). 7 END MA TTER Finite-action resolution of the two singular limits.—The asymptotic laws contain two boundary layers: one in moment order and one in efficiency–action space. Both are already visible in the exact fixed-endpoint protocols, without fitting...

    1991