Uncertainty-disturbance relations and applications
Pith reviewed 2026-05-24 12:12 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- 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.
- 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.
- 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
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
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
Reference graph
Works this paper leans on
-
[1]
E. H. Kennard, Zeitschrift für Physik44, 326 (1927)
work page 1927
-
[2]
Heisenberg, Zeitschrift für Physik43, 172 (1927)
W. Heisenberg, Zeitschrift für Physik43, 172 (1927)
work page 1927
-
[3]
H. P. Robertson, Phys. Rev.34, 163 (1929)
work page 1929
- [4]
-
[5]
P. J. Coles, M. Berta, M. Tomamichel, and S. Wehner, Rev. Mod. Phys.89, 015002 (2017)
work page 2017
- [6]
-
[7]
Ozawa, Lecture Notes in Physics378, 1 (1991)
M. Ozawa, Lecture Notes in Physics378, 1 (1991)
work page 1991
- [8]
- [9]
- [10]
-
[11]
"No Information Without Disturbance": Quantum Limitations of Measurement
B. Paul,“no information without disturbance”: Quantum limitations of measurement(2007), quant-ph/0706.3526
work page internal anchor Pith review Pith/arXiv arXiv 2007
- [12]
- [13]
-
[14]
C. A. Fuchs and A. Peres, Phys. Rev. A53, 2038 (1996)
work page 2038
- [15]
- [16]
-
[17]
H. F. Hofmann and S. Takeuchi, Phys. Rev. A68, 032103 (2003)
work page 2003
- [18]
-
[19]
G. V. Steeg and S. Wehner, Quantum Information and Computation 9, 801 (2008)
work page 2008
- [20]
-
[21]
D. Girolami, T. Tufarelli, and G. Adesso, Phys. Rev. Lett. 110, 240402 (2013)
work page 2013
-
[22]
S. L. Braunstein and C. M. Caves, Phys. Rev. Lett.72, 3439 (1994)
work page 1994
-
[23]
L. Braunstein, C. M. Caves, and G. J. Milburn, Ann. Phys. 247, 135 (1996)
work page 1996
- [24]
- [25]
-
[26]
V. Giovannetti, S. Lloyd, and L. Maccone, Phys. Rev. Lett. 108, 260405 (2012)
work page 2012
- [27]
-
[28]
M. M. Wilde and J. M. Renes, 2012 IEEE International Symposium on Information Theory Proceedings (2012)
work page 2012
- [29]
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[31]
P. Pakonski, K. Życzkowski, and M. Kus, J. Phys. A: Gen. Phys. 34, 9303 (2001)
work page 2001
-
[32]
K. Życzkowski, M. Kus, W. Słomczyński, and H. Som- mers, J. Phys. A: Gen. Phys.36, 3425 (2003)
work page 2003
-
[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
work page 2011
-
[34]
M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr, and M. Tomamichel, J. Math. Phys.54, 122203 (2013)
work page 2013
- [35]
- [36]
- [37]
-
[38]
P. J. Coles, R. Colbeck, L. Yu, and M. Zwolak, Phys. Rev. Lett. 108, 210405 (2012)
work page 2012
-
[39]
P.J.ColesandM.Piani, Phys.Rev.A 89, 022112(2014)
work page 2014
-
[40]
P. J. Coles, M. Cerezo, and L. Cincio, Phys. Rev. A100, 022103 (2019)
work page 2019
- [41]
- [42]
-
[43]
J. Schneeloch, C. J. Broadbent, S. P. Walborn, E. G. Cavalcanti, and J. C. Howell, Phys. Rev. A87, 062103 (2013)
work page 2013
- [44]
-
[45]
A. Streltsov, G. Adesso, and M. B. Plenio, Rev. Mod. Phys. 89, 041003 (2017)
work page 2017
-
[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)
work page 2007
-
[47]
E.M.Gauger, E.Rieper, J.J.L.Morton, S.C.Benjamin, and V. Vedral, Phys. Rev. Lett.106, 040503 (2011)
work page 2011
-
[48]
T. Baumgratz, M. Cramer, and M. B. Plenio, Phys. Rev. Lett. 113, 140401 (2014)
work page 2014
-
[49]
Z.-W. Liu, X. Hu, and S. Lloyd, Phys. Rev. Lett.118, 060502 (2017)
work page 2017
- [50]
-
[51]
Y. Liu, Q. Zhao, and X. Yuan, J. Phys. A: Math. Theor. 51, 414018 (2018), ISSN 1751-8121
work page 2018
-
[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
work page 2019
- [53]
-
[54]
Q.-M. Ding, X.-X. Fang, X. Yuan, T. Zhang, and H. Lu, Phys. Rev. Research3, 023228 (2021)
work page 2021
-
[55]
J. A. Miszczak, Z. Puchała, P. Horodecki, A. Uhlmann, and K. Zyczkowski, Quantum Info. Comput. 9 (2009), ISSN 1533-7146
work page 2009
-
[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(...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.