pith. sign in

arxiv: 2202.07251 · v2 · submitted 2022-02-15 · 🪐 quant-ph

Uncertainty-disturbance relations and applications

Pith reviewed 2026-05-24 12:12 UTC · model grok-4.3

classification 🪐 quant-ph
keywords uncertaintydisturbancequantum measurementuncertainty-disturbance relationsvon Neumann entropycoherenceprojective measurementsquantum resources
0
0 comments X

The pith

Uncertainty both requires and upper-bounds the intrinsic disturbance caused by quantum measurements.

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

The paper shows that in quantum mechanics, the uncertainty of a measurement outcome is not only a prerequisite for the intrinsic disturbance the measurement produces but also sets an upper limit on that disturbance. This connection is formalized through uncertainty-disturbance relations that hold for general states under rank-one projective measurements. The relations double as uncertainty relations for incompatible observables and supply a practical method to estimate von Neumann entropy, purity, coherence, and genuine randomness from disturbance data. The result unifies two previously separate concepts and supplies a single framework for detecting several quantum resources.

Core claim

Uncertainty serves as a prerequisite for intrinsic disturbance and bounds it from above. The authors formalize the connection through uncertainty-disturbance relations (UDRs) that hold for general states and rank-one projective measurements. For such measurements the UDRs function directly as uncertainty relations that bound the uncertainties of incompatible observables. The same relations permit experimental estimation of von Neumann entropy, purity, coherence, and genuine randomness, thereby unifying the treatment of uncertainty and disturbance while providing a versatile tool for quantum resource detection.

What carries the argument

Uncertainty-disturbance relations (UDRs) that link the uncertainty of a measurement to the intrinsic disturbance it produces and supply explicit upper and lower bounds between them.

If this is right

  • UDRs act as uncertainty relations that bound the uncertainties of incompatible rank-one projective measurements.
  • The relations allow direct experimental estimation of von Neumann entropy from measured disturbance values.
  • Purity, coherence, and genuine randomness become experimentally accessible through the same disturbance measurements.
  • A single set of relations supplies a unified framework for detecting multiple quantum resources.

Where Pith is reading between the lines

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

  • The bounding mechanism may suggest analogous relations for positive-operator-valued measures beyond rank-one projectors.
  • Resource estimation protocols derived from the relations could be tested on current quantum devices by comparing disturbance data against independent entropy or coherence measurements.
  • The unification raises the question whether other pairs of quantum concepts previously treated separately can be linked by similar prerequisite-and-bound structures.

Load-bearing premise

The chosen formal definitions of uncertainty and intrinsic disturbance permit the claimed bounding relations to hold for general states and for rank-one projective measurements.

What would settle it

A concrete counter-example state and rank-one projective measurement pair for which the derived upper bound on disturbance in terms of uncertainty is violated.

Figures

Figures reproduced from arXiv: 2202.07251 by Jingyun Fan, Kishor Bharti, Leong-Chuan Kwek, Liang-Liang Sun, Sixia Yu, Xiang Zhou.

Figure 1
Figure 1. Figure 1: Geometrical visualization of the constraints of un [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
read the original abstract

Uncertainty and intrinsic measurement disturbance, two fundamental concepts in quantum measurement, have conventionally been viewed as distinct and studied separately. In this work, we establish a fundamental connection between them, proving that uncertainty not only serves as a prerequisite for intrinsic disturbance but also bounds it from above. We formalize this connection via uncertainty-disturbance relations (UDRs) with direct applications in quantum information science. We show that for rank-one projective measurements, these UDRs effectively function as uncertainty relations by bounding the uncertainties of incompatible measurements. They also enable the experimental estimation of key quantum resources -- including von Neumann entropy, purity, coherence, and genuine randomness. Our findings thus unify the understanding of uncertainty and disturbance and provide a versatile framework for quantum resource detection.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript establishes uncertainty-disturbance relations (UDRs) for quantum measurements. It claims that, under the chosen formal definitions, uncertainty is both a prerequisite for and an upper bound on intrinsic disturbance for general states under rank-one projective measurements. The UDRs are then applied to show that they function as uncertainty relations for incompatible observables and to derive estimators for von Neumann entropy, purity, coherence, and genuine randomness.

Significance. If the derivations from the stated definitions hold without hidden restrictions, the work provides a direct link between two previously separate concepts and yields practical corollaries for resource estimation. The parameter-free character of the bounds (once the definitions are fixed) and the explicit applications to entropy and coherence estimation are strengths that would be of interest to the quantum information community.

minor comments (3)
  1. The abstract states that proofs exist but the introduction and main text should explicitly flag the precise definitions of uncertainty and intrinsic disturbance (e.g., which entropy or variance measure is used) before the first theorem, to allow immediate verification of the claimed scope.
  2. Section 3 (applications) would benefit from a short table comparing the new estimators against existing ones in terms of required measurements or assumptions, to clarify the practical advantage.
  3. A few typographical inconsistencies appear in the notation for the disturbance operator (D vs. D̂) across equations (12)–(15); standardize throughout.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision for our manuscript on uncertainty-disturbance relations. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The central derivations establish UDRs directly from the paper's chosen formal definitions of uncertainty and intrinsic disturbance, applied to general states under rank-one projective measurements. These relations are obtained by algebraic manipulation of the definitions without reducing to fitted parameters, self-citation chains, or ansatzes imported from prior work by the same authors. Applications to entropy, coherence, and randomness follow as direct corollaries once the UDRs are in place. No load-bearing step equates a claimed result to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; ledger left empty pending full text.

pith-pipeline@v0.9.0 · 5661 in / 871 out tokens · 15607 ms · 2026-05-24T12:12:36.683073+00:00 · methodology

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

56 extracted references · 56 canonical work pages · 2 internal anchors

  1. [1]

    E. H. Kennard, Zeitschrift für Physik44, 326 (1927)

  2. [2]

    Heisenberg, Zeitschrift für Physik43, 172 (1927)

    W. Heisenberg, Zeitschrift für Physik43, 172 (1927)

  3. [3]

    H. P. Robertson, Phys. Rev.34, 163 (1929)

  4. [4]

    Beckner, Ann

    W. Beckner, Ann. Math.102, 159 (1975)

  5. [5]

    P. J. Coles, M. Berta, M. Tomamichel, and S. Wehner, Rev. Mod. Phys.89, 015002 (2017)

  6. [6]

    Maassen and J

    H. Maassen and J. B. M. Uffink, Phys. Rev. Lett.60, 1103 (1988)

  7. [7]

    Ozawa, Lecture Notes in Physics378, 1 (1991)

    M. Ozawa, Lecture Notes in Physics378, 1 (1991)

  8. [8]

    Busch, P

    P. Busch, P. Lahti, and R. F. Werner, Rev. Mod. Phys. 86, 1261 (2014)

  9. [9]

    Busch and C

    P. Busch and C. Shilladay, Phys. Rep.435, 1 (2006)

  10. [10]

    Ozawa, Phys

    M. Ozawa, Phys. Lett. A318, 21 (2003)

  11. [11]

    "No Information Without Disturbance": Quantum Limitations of Measurement

    B. Paul,“no information without disturbance”: Quantum limitations of measurement(2007), quant-ph/0706.3526

  12. [12]

    Branciard, PNAS110, 6742 (2013)

    C. Branciard, PNAS110, 6742 (2013)

  13. [13]

    Busch, P

    P. Busch, P. Lahti, and R. F. Werner, J. Math. Phys.55, 172 (2014)

  14. [14]

    C. A. Fuchs and A. Peres, Phys. Rev. A53, 2038 (1996)

  15. [15]

    Barrett, L

    J. Barrett, L. Hardy, and A. Kent, Phys. Rev. Lett.95, 010503 (2005)

  16. [16]

    Wehner and A

    S. Wehner and A. Winter, New J. Phys. 12, 025009 (2010)

  17. [17]

    H. F. Hofmann and S. Takeuchi, Phys. Rev. A68, 032103 (2003)

  18. [18]

    Gühne and M

    O. Gühne and M. Lewenstein, Phys. Rev. A70, 022316 (2004). 6

  19. [19]

    G. V. Steeg and S. Wehner, Quantum Information and Computation 9, 801 (2008)

  20. [20]

    Oppenheim and S

    J. Oppenheim and S. Wehner, Science330, 1072 (2010)

  21. [21]

    Girolami, T

    D. Girolami, T. Tufarelli, and G. Adesso, Phys. Rev. Lett. 110, 240402 (2013)

  22. [22]

    S. L. Braunstein and C. M. Caves, Phys. Rev. Lett.72, 3439 (1994)

  23. [23]

    Braunstein, C

    L. Braunstein, C. M. Caves, and G. J. Milburn, Ann. Phys. 247, 135 (1996)

  24. [24]

    Luo, Phys

    S. Luo, Phys. Rev. Lett.91, 180403 (2003)

  25. [25]

    Giovannetti, S

    V. Giovannetti, S. Lloyd, and L. Maccone, Nat. Photon. 5, 222 (2011)

  26. [26]

    Giovannetti, S

    V. Giovannetti, S. Lloyd, and L. Maccone, Phys. Rev. Lett. 108, 260405 (2012)

  27. [27]

    Winter, IEEE Trans

    A. Winter, IEEE Trans. Inf. Theory45, 2481 (2014)

  28. [28]

    M. M. Wilde and J. M. Renes, 2012 IEEE International Symposium on Information Theory Proceedings (2012)

  29. [29]

    Ogawa and H

    T. Ogawa and H. Nagaoka, IEEE Trans. Inf. Theory53, 2261 (2007)

  30. [30]

    L.-L. Sun, S. Yu, and Z.-B. Chen, Uncertainty- complementarity balance as a general constraint on non- locality (2018), quant-ph/1808.06416

  31. [31]

    Pakonski, K

    P. Pakonski, K. Życzkowski, and M. Kus, J. Phys. A: Gen. Phys. 34, 9303 (2001)

  32. [32]

    Życzkowski, M

    K. Życzkowski, M. Kus, W. Słomczyński, and H. Som- mers, J. Phys. A: Gen. Phys.36, 3425 (2003)

  33. [33]

    M. A. Nielsen and I. L. Chuang, Quantum Computa- tion and Quantum Information: 10th Anniversary Edi- tion (Cambridge University Press, USA, 2011), 10th ed., ISBN 1107002176

  34. [34]

    Müller-Lennert, F

    M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr, and M. Tomamichel, J. Math. Phys.54, 122203 (2013)

  35. [35]

    Leditzky, C

    F. Leditzky, C. Rouzé, and N. Datta, Lett. Math. Phys. 107, 61 (2016)

  36. [36]

    Abe, Phys

    S. Abe, Phys. Rev. A312, 336 (2003), ISSN 0375-9601

  37. [37]

    Berta, M

    M. Berta, M. Christandl, R. Colbeck, J. M. Renes, and R. Renner, Nat. Phys.6, 757 (2009)

  38. [38]

    P. J. Coles, R. Colbeck, L. Yu, and M. Zwolak, Phys. Rev. Lett. 108, 210405 (2012)

  39. [39]

    P.J.ColesandM.Piani, Phys.Rev.A 89, 022112(2014)

  40. [40]

    P. J. Coles, M. Cerezo, and L. Cincio, Phys. Rev. A100, 022103 (2019)

  41. [41]

    Ozawa, Phys

    M. Ozawa, Phys. Rev. A67, 042105 (2003)

  42. [42]

    Koashi, J

    M. Koashi, J. Phys. Conf. Ser.36, 98 (2006)

  43. [43]

    Schneeloch, C

    J. Schneeloch, C. J. Broadbent, S. P. Walborn, E. G. Cavalcanti, and J. C. Howell, Phys. Rev. A87, 062103 (2013)

  44. [44]

    Zozor, G

    S. Zozor, G. M. Bosyk, and M. Portesi, J. Phys. A: Math. Theor. 47, 495302 (2014)

  45. [45]

    Streltsov, G

    A. Streltsov, G. Adesso, and M. B. Plenio, Rev. Mod. Phys. 89, 041003 (2017)

  46. [46]

    G. S. Engel, T. R. Calhoun, E. L. Read, T. K. Ahn, T. Manal, Y. C. Cheng, R. E. Blankenship, and G. R. Fleming, Nature 446 (2007)

  47. [47]

    Vedral, Phys

    E.M.Gauger, E.Rieper, J.J.L.Morton, S.C.Benjamin, and V. Vedral, Phys. Rev. Lett.106, 040503 (2011)

  48. [48]

    Baumgratz, M

    T. Baumgratz, M. Cramer, and M. B. Plenio, Phys. Rev. Lett. 113, 140401 (2014)

  49. [49]

    Z.-W. Liu, X. Hu, and S. Lloyd, Phys. Rev. Lett.118, 060502 (2017)

  50. [50]

    Winter and D

    A. Winter and D. Yang, Phys. Rev. Lett.116, 120404 (2016)

  51. [51]

    Y. Liu, Q. Zhao, and X. Yuan, J. Phys. A: Math. Theor. 51, 414018 (2018), ISSN 1751-8121

  52. [52]

    X. Yuan, Q. Zhao, D. Girolami, and X. Ma, Ad- vanced Quantum Technologies 2, 1900053 (2019), ISSN 2511-9044, URL http://dx.doi.org/10.1002/ qute.201900053

  53. [53]

    Yu and O

    X.-D. Yu and O. Gühne, Phys. Rev. A99, 062310 (2019)

  54. [54]

    Ding, X.-X

    Q.-M. Ding, X.-X. Fang, X. Yuan, T. Zhang, and H. Lu, Phys. Rev. Research3, 023228 (2021)

  55. [55]

    J. A. Miszczak, Z. Puchała, P. Horodecki, A. Uhlmann, and K. Zyczkowski, Quantum Info. Comput. 9 (2009), ISSN 1533-7146

  56. [56]

    7 SUPPLEMENT AR Y MA TERIALS Proof of Theorem 1

    For some distance measure, e.g., relative entropy, such a function is not well-defined. 7 SUPPLEMENT AR Y MA TERIALS Proof of Theorem 1. Our main tool is the data processing inequality. Consider an arbitrary monotonous (under CPTP) and gaugeable distance (satisfying assumption Eq.(1)), we have δA(ρ) := √ 1−∥ p∥2 2 = √ 1− tr(ρρA) ≥ IF(ρ,ρA) = IF(φ,φA) = ˜D(...