REVIEW 3 major objections 5 minor 52 references
Quantifying randomness with measurement incompatibility
T0 review · 3 major / 5 minor · reviewed 2026-07-10 · glm-5.2
Pith's one-line read Incompatible measurements bound eavesdroppers and certify randomness
desk verdict Solid theoretical contribution linking incompatibility robustness to randomness generation; the full-rank assumption is the real but acknowledged limitation. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the semidefinite program (SDP) in Eq. (12), which maximises Eve's guessing probability subject to two constraints: (1) Bob's effective measurements must witness at least a threshold amount of incompatibility robustness, and (2) Eve's joint POVMs must be pairwise jointly measurable with Bob's effective POVMs. The incompatibility witness—trusted positive semidefinite operators whose expectation values are bounded for all jointly measurable measurement sets—provides the lower bound on incompatibility that feeds into the SDP, while the pairwise joint measurability constraint encodes the structural limit on Eve's strategies.
What would settle it
A concrete counterexample would be a set of measurements that is genuinely incompatible (positive incompatibility robustness) and a set of full-rank input states for which the SDP in Eq. (12) still yields Eve's guessing probability equal to 1, meaning the certified incompatibility does not translate into certified randomness.
Extended reading notes
Core claim
The central mechanism is a structural identity between Eve's information-gathering capability and the mathematical structure of joint measurability. Eve's attack is fully characterised by POVMs that are pairwise jointly measurable with Bob's effective measurements: she can perfectly guess Bob's outcome for a given input if and only if her marginal measurement reproduces his. This means incompatibility of Bob's effective measurements is the exact condition preventing perfect prediction. The authors convert this qualitative equivalence into a quantitative bound by using the generalised incompatibility robustness, which measures the distance from a measurement set to the jointly measurable set.
Load-bearing premise
The security proof requires that the input states sent by Alice have full rank, meaning they are supported on the entire Hilbert space. Without this, there exist incompatible measurements that look jointly measurable on the subspace the states actually probe, and Eve could exploit this gap to perfectly guess outcomes despite apparent incompatibility.
Editorial extensions
If this is right
- Any set of incompatible measurements, regardless of structure or number of inputs, can be converted into a randomness generation protocol by selecting appropriate test states and solving a single SDP.
- The framework extends to quantum steering: steerability of a state assemblage and randomness certification are tightly linked for any finite number of measurement inputs, improving noise tolerance over prior two-input or star-incompatibility restrictions.
- An eavesdropper with a quantum memory can be bounded by replacing joint measurability with dimensional simulability, allowing the framework to handle more powerful adversaries.
- Incompatibility monogamy relations emerge naturally: higher incompatibility robustness means fewer compatible strategies for Eve, suggesting a resource-theoretic trade-off between incompatibility and eavesdropper capability.
Reading between the lines
- If the full-rank assumption on input states could be relaxed—for instance, by using dimensional witnesses or self-testing techniques—the protocol would become more device-independent and potentially more experimentally practical, since preparing and verifying full-rank states adds overhead.
- The connection between incompatibility robustness and state discrimination tasks suggests that optimal randomness-generation protocols could be designed by choosing measurement sets that are maximally hard to discriminate, creating a design principle for randomness sources.
- Extension to continuous-variable systems seems feasible given that incompatibility robustness has infinite-dimensional counterparts, potentially enabling randomness certification from quadrature measurements or homodyne detection.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This manuscript establishes a quantitative trade-off between measurement incompatibility and randomness generation in a semi-device-independent prepare-and-measure scenario. The central qualitative result (Observation 1) states that, for full-rank input states, the scenario is secure if and only if Bob's effective POVMs are incompatible. The quantitative result (Eq. 12) provides an SDP that bounds Eve's guessing probability given a lower bound on the generalised incompatibility robustness certified by a witness. The authors translate their framework to quantum steering (Appendix E), obtaining a tight connection between steerability and randomness for any finite number of inputs, and extend to an Eve with a qubit quantum memory via dimensional simulability (Eq. 14). The proofs are mathematically careful, with both directions of Observation 1 established explicitly.
Significance. The paper provides a constructive, measurement-theoretic route to randomness certification that is not restricted to two-input scenarios or star-incompatibility structures, improving noise tolerance over prior steering-based protocols. The SDP formulation is parameter-free in the sense that the incompatibility lower bound is obtained from observed data via standard witness duality, not introduced as a free parameter. The steering equivalence (Appendix E) is a clean change of variables that makes the result directly applicable to steering experiments. The quantum-memory extension via qubit simulability is a natural and welcome generalisation. These are genuine advances for semi-device-independent quantum randomness.
major comments (3)
- Section IV, Observation 1 and Eq. (12): The full-rank assumption on input states is load-bearing for the converse direction of Observation 1 (secure implies incompatible). The authors acknowledge this and cite [36,37], but the quantitative SDP in Eq. (12) inherits this dependence: the witness states must be faithful for the security guarantee to hold. The footnote 3 mentions that adding white noise to the witness allows use of the MUB inequality but notes detection strength may drop. It would strengthen the paper to state more precisely how much the detection strength degrades and whether the SDP bound remains non-trivial after this regularization, at least for the two-MUB example.
- Section V, Example 3 (hollow triangle): The authors report witnessed robustness values and guessing probabilities for dimensions 2, 3, and 4 using a single state per basis, and a guessing probability of 0.888 for the qubit case using all witness states. However, no detail is given on how the witness was constructed for the three-MUB hollow triangle case or which specific witness operators were used. Since this example is the primary illustration of the paper's advantage over prior two-input or star-incompatibility results, a brief specification of the witness (or a reference to where it can be found) would be appropriate.
- Section VI, steering translation: The authors claim a 'tight connection between steerability and randomness generation in a setting using any finite number of measurement inputs.' The mapping in Appendix E is mathematically clean, but the claim of tightness could be stated more precisely. Does tightness mean that the optimal guessing probability in the steering SDP (Eq. E1) equals that of the incompatibility SDP (Eq. 12) for every full-rank state, or does it refer to the qualitative equivalence? Clarifying this would help the reader assess the strength of the steering result.
minor comments (5)
- Fig. 2 caption: The panels are labeled (a) and (b) but the in-text references in Section V refer to them in order without always specifying which panel. This is minor but could be made explicit.
- Eq. (6): The notation uses a product over tilde-y of p(e_tilde-y | lambda, tilde-y), which is correct for deterministic post-processing but could be confusing on first read. A brief clarifying sentence that this encodes a deterministic strategy vector would help.
- Section V, Example 4: The guessing probability of 0.924 for the qubit-memory Eve is stated without specifying the corresponding incompatibility robustness value or whether this is at maximal robustness. Adding the context would make the number more interpretable.
- Reference [48] in the note added: The distinction drawn between the authors' requirement (Eve guesses for some full-rank state unknown to her) and the related work's requirement (guessing for a collection of input states) is somewhat subtle. A slightly more explicit comparison in the main text or a footnote would help readers appreciate the difference.
- Typographical: 'PREP ARE-AND-MEASURE' and 'INCOMP A TIBILITY' in section headers appear to have spacing artifacts from the source.
Circularity Check
No significant circularity found
full rationale
The paper's central derivation chain is self-contained. Observation 1 (Section IV) is proven directly: the forward direction constructs an explicit Eve strategy from a Naimark dilation of a joint measurement, and the converse uses full-rank states to deduce joint measurability from perfect guessing. The quantitative bound (Eq. 12) takes a witnessed lower bound α on incompatibility robustness as input and maximizes Eve's guessing probability over the set of pairwise jointly measurable strategies. The witness bound (Eqs. 10-11) is a standard SDP duality result from [10] (Uola et al., PRL 2015), which is an independent, externally published result—not a self-citation chain. The steering equivalence (Appendix E) is shown by explicit variable substitution (G_{e,b|y} = σ^{-1/2} σ_{e,b|y} σ^{-1/2}), not by assumption. The quantum-memory extension (Eq. 14) adds qubit-simulability constraints derived from [32] (Ioannou et al., PRL 2022), another independent external citation. The full-rank assumption on input states is acknowledged as necessary and is not smuggled in. No step reduces to its inputs by construction, and no prediction is a renamed fit. The only minor self-citation is to [27] (Uola et al., arXiv:2212.02815) for the sequential measurement characterization, but this is a supporting remark, not load-bearing for the main trade-off. Score 2 reflects this minor self-citation with no impact on the central claim's independence.
Assumptions & free parameters
free parameters (3)
- α (witnessed incompatibility robustness lower bound)
- p(y) (input distribution) =
uniform (in examples)
- Choice of witness states ϱ_{b|y} =
MUB-based (in examples)
assumptions (5)
- domain assumption Full-rank input states are required for the security proof (Observation 1 converse direction).
- domain assumption Eve is classical (no quantum memory) in the main result.
- domain assumption Pairwise joint measurability of Eve's POVM with Bob's effective measurements fully characterises Eve's capabilities.
- domain assumption Bob's Hilbert space is uncharacterised (possibly infinite-dimensional).
- standard math SDP duality gives a valid lower bound on incompatibility robustness via witnesses (Eq. 10-11).
Cite this review
Pith. "Pith review of Quantifying randomness with measurement incompatibility." pith.science (2026). https://pith.science/paper/7FHILSNP
@misc{pith2026260708697,
author = {Pith},
title = {Pith review of: Quantifying randomness with measurement incompatibility},
year = {2026},
howpublished = {\url{https://pith.science/paper/7FHILSNP}},
note = {Machine review of arXiv:2607.08697}
}
read the original abstract
We present a trade-off between the amount of observed measurement incompatibility and the capabilities of a classical Eavesdropper in a prepare-and-measure scenario. The result is based on a qualitative connection between measurement incompatibility and randomness generation together with the utilization of incompatibility witnesses as randomness certificates. This allows one to use a geometric measure of incompatibility, the generalised robustness, to bound Eve's strategies through a semi-definite program, while providing an explicit protocol for generating randomness from any set of incompatible measurements. By translating the result to quantum steering, we find a tight connection between steerability and randomness generation in a setting using any finite number of measurement inputs. We further show how our techniques can be generalised to scenarios where Eve has a quantum memory by using a dimensional generalisation of joint measurability.
Figures
Reference graph
Works this paper leans on
-
[1]
P. J. Coles, M. Berta, M. Tomamichel, and S. Wehner, Entropic uncertainty relations and their applications, Rev. Mod. Phys.89, 015002 (2017)
work page 2017
- [2]
- [3]
- [4]
-
[5]
T. Heinosaari, T. Miyadera, and M. Ziman, An invitation to quantum incompatibility, J. Phys. A49, 123001 (2016)
work page 2016
-
[6]
O. G¨ uhne, E. Haapasalo, T. Kraft, J.-P. Pellonp¨ a¨ a, and R. Uola, Colloquium: Incompatible measurements in quantum information science, Rev. Mod. Phys.95, 011003 (2023)
work page 2023
-
[7]
M. Wolf, D. Perez-Garcia, and C. Fernandez, Measure- ments incompatible in quantum theory cannot be mea- sured jointly in any other local theory, Phys. Rev. Lett. 103, 230402 (2009)
work page 2009
-
[8]
M. T. Quintino, T. V´ ertesi, and N. Brunner, Joint mea- surability, einstein-podolsky-rosen steering, and bell non- locality, Phys. Rev. Lett.113, 160402 (2014)
work page 2014
Show all 52 references
-
[9]
R. Uola, T. Moroder, and O. G¨ uhne, Joint measurability of generalized measurements implies classicality, Phys. Rev. Lett.113, 160403 (2014)
2014
-
[10]
R. Uola, C. Budroni, O. G¨ uhne, and J.-P. Pellonp¨ a¨ a, One- to-one mapping between steering and joint measurability problems, Phys. Rev. Lett.115, 230402 (2015)
2015
-
[11]
Tavakoli and R
A. Tavakoli and R. Uola, Measurement incompatibility and steering are necessary and sufficient for operational contextuality, Phys. Rev. Research2, 013011 (2020)
2020
-
[12]
Pl´ avala, O
M. Pl´ avala, O. G¨ uhne, and M. T. Quintino, All incom- patible measurements on qubits lead to multiparticle bell nonlocality, Phys. Rev. Lett.134, 200201 (2025)
2025
-
[13]
A. F. Ducuara, P. Lipka-Bartosik, C. E. Susa, and P. Skrzypczyk, All incompatible sets of measurements can generate Buscemi nonlocality (2025), arXiv:2508.14421
2025 arXiv
-
[14]
L. E. A. Porto, L. Tendick, D. Cavalcanti, R. Uola, and M. T. Quintino, Can every set of incompatible measure- ments lead to genuine multipartite steering? (2026), arXiv:2603.25345
2026
-
[15]
Carmeli, T
C. Carmeli, T. Heinosaari, and A. Toigo, Quantum in- compatibility witnesses, Phys. Rev. Lett.122, 130402 (2019)
2019
-
[16]
Skrzypczyk, I
P. Skrzypczyk, I. ˇSupi´ c, and D. Cavalcanti, All sets of incompatible measurements give an advantage in quan- tum state discrimination, Phys. Rev. Lett.122, 130403 (2019)
2019
-
[17]
R. Uola, T. Kraft, J. Shang, X.-D. Yu, and O. G¨ uhne, Quantifying quantum resources with conic programming, Phys. Rev. Lett.122, 130404 (2019)
2019
-
[18]
Oszmaniec and T
M. Oszmaniec and T. Biswas, Operational relevance of resource theories of quantum measurements, Quantum3, 133 (2019)
2019
-
[19]
R. Uola, T. Bullock, T. Kraft, J.-P. Pellonp¨ a¨ a, and N. Brunner, All quantum resources provide an advantage in exclusion tasks, Phys. Rev. Lett.125, 110402 (2020)
2020
-
[20]
Buscemi, E
F. Buscemi, E. Chitambar, and W. Zhou, Complete re- source theory of quantum incompatibility as quantum programmability, Phys. Rev. Lett.124, 120401 (2020)
2020
-
[21]
Y. Kuramochi, Compact convex structure of measure- ments and its applications to simulability, incompatibility, and convex resource theory of continuous-outcome mea- surements, arXiv:2002.03504 (2020)
2002 arXiv
-
[22]
Designolle, V
S. Designolle, V. Srivastav, R. Uola, N. H. Valencia, W. McCutcheon, M. Malik, and N. Brunner, Genuine high-dimensional quantum steering, Phys. Rev. Lett.126, 200404 (2021)
2021
-
[23]
Engineer, S
S. Engineer, S. Goel, S. Egelhaaf, W. McCutcheon, V. Srivastav, S. Leedumrongwatthanakun, S. Wollmann, B. D. M. Jones, T. Cope, N. Brunner, R. Uola, and M. Malik, Certifying high-dimensional quantum chan- nels, Phys. Rev. Res.7, 033233 (2025)
2025
-
[24]
Tavakoli, R
A. Tavakoli, R. Uola, and J. Pauwels, Binarization of 8 multioutcome measurements in high-dimensional quan- tum correlation experiments, Phys. Rev. A111, 042433 (2025)
2025
-
[25]
Heinosaari and T
T. Heinosaari and T. Miyadera, Universality of sequential quantum measurements, Phys. Rev. A91, 022110. (2015)
2015
-
[26]
Haapasalo and J.-P
E. Haapasalo and J.-P. Pellonp¨ a¨ a, Optimal quantum observables, J. Math. Phys.58, 122104 (2017)
2017
-
[27]
R. Uola, E. Haapasalo, J.-P. Pellonp¨ a¨ a, and T. Kuusela, Retrievability of information in quantum and realistic hidden variable theories (2022), arXiv:2212.02815
2022
-
[28]
Haapasalo, Robustness of incompatibility for quantum devices, J
E. Haapasalo, Robustness of incompatibility for quantum devices, J. Phys. A48, 255303 (2015)
2015
-
[29]
Passaro, D
E. Passaro, D. Cavalcanti, P. Skrzypczyk, and A. Ac´ ın, Optimal randomness certification in the quantum steering and prepare- and-measure scenarios, New J. Phys.17, 113010 (2015)
2015
-
[30]
Minagawa and R
S. Minagawa and R. Kunjwal, All star-incompatible mea- surements can certify steering-based randomness (2026), arXiv:2603.12024
2026
-
[31]
Y. Li, Y. Xiang, X.-D. Yu, H. C. Nguyen, O. G¨ uhne, and Q. He, Randomness certification from multipartite quantum steering for arbitrary dimensional systems, Phys. Rev. Lett.132, 080201 (2024)
2024
-
[32]
Ioannou, P
M. Ioannou, P. Sekatski, S. Designolle, B. D. Jones, R. Uola, and N. Brunner, Simulability of high-dimensional quantum measurements, Phys. Rev. Lett.129, 190401 (2022)
2022
-
[33]
Hayashi,Quantum Information(Springer-Verlag, Berlin Heidelberg, 2006)
M. Hayashi,Quantum Information(Springer-Verlag, Berlin Heidelberg, 2006)
2006
-
[34]
Pellonp¨ a¨ a, Quantum instruments: II
J.-P. Pellonp¨ a¨ a, Quantum instruments: II. measurement theory, J. Phys. A46, 025303 (2013)
2013
-
[35]
Konig, R
R. Konig, R. Renner, and C. Schaffner, The operational meaning of min-and max-entropy, IEEE Transactions on Information theory55, 4337 (2009)
2009
-
[36]
Loulidi and I
F. Loulidi and I. Nechita, The compatibility dimension of quantum measurements, Journal of Mathematical Physics 62, 042205 (2021)
2021
-
[37]
R. Uola, T. Kraft, S. Designolle, N. Miklin, A. Tavakoli, J.-P. Pellonp¨ a¨ a, O. G¨ uhne, and N. Brunner, Quantum measurement incompatibility in subspaces, Phys. Rev. A 103, 022203 (2021)
2021
-
[38]
Heinosaari, D
T. Heinosaari, D. Reitzner, and P. Stano, Notes on joint measurability of quantum observables, Found. Phys.38, 1133 (2008)
2008
-
[39]
Designolle, M
S. Designolle, M. Farkas, and J. Kaniewski, Incompat- ibility robustness of quantum measurements: a unified framework, New J. Phys.21, 113053 (2019)
2019
-
[40]
B. D. Jones, R. Uola, T. Cope, M. Ioannou, S. Desig- nolle, P. Sekatski, and N. Brunner, Equivalence between simulability of high-dimensional measurements and high- dimensional steering, Phys. Rev. A107, 052425 (2023)
2023
-
[41]
R. Uola, A. C. S. Costa, H. C. Nguyen, and O. G¨ uhne, Quantum steering, Rev. Mod. Phys.92, 015001 (2020)
2020
-
[42]
Gisin, Stochastic quantum dynamics and relativity, Helvetica Physica Acta62, 363 (1989)
N. Gisin, Stochastic quantum dynamics and relativity, Helvetica Physica Acta62, 363 (1989)
1989
-
[43]
L. P. Hughston, R. Jozsa, and W. K. Wootters, A com- plete classification of quantum ensembles having a given density matrix, Phys. Lett. A183, 14 (1993)
1993
-
[44]
Egelhaaf, J
S. Egelhaaf, J. Pauwels, M. T´ ulio Quintino, and R. Uola, Certifying measurement incompatibility in prepare-and- measure and bell scenarios, J. Phys. A58, 095304 (2025)
2025
-
[45]
ˇSupi´ c and J
I. ˇSupi´ c and J. Bowles, Self-testing of quantum systems: a review, Quantum4, 337 (2020)
2020
-
[46]
Carmeli, T
C. Carmeli, T. Heinosaari, D. Reitzner, J. Schultz, and A. Toigo, Quantum incompatibility in collective measure- ments, Mathematics4, 54 (2016)
2016
-
[47]
M. T. Quintino, C. Budroni, E. Woodhead, A. Cabello, and D. Cavalcanti, Device-independent tests of structures of measurement incompatibility, Phys. Rev. Lett.123, 180401 (2019)
2019
-
[48]
E. P. Lobo, M. Balanz´ o-Juand´ o, and S. Piro- nio, Generalized measurement incompatibility (2026), arXiv:2605.16151
2026 arXiv
-
[49]
W. B. Arveson, Subalgebras of C*-algebras, Acta Mathe- matica123, 141 (1969)
1969
-
[50]
Haapasalo, J.-P
E. Haapasalo, J.-P. Pellonp¨ a¨ a, and R. Uola, Compatibility properties of extreme quantum observables, Lett. Math. Phys.105, 661 (2015)
2015
-
[51]
Pellonp¨ a¨ a, On coexistence and joint measurability of rank-1 quantum observables, J
J.-P. Pellonp¨ a¨ a, On coexistence and joint measurability of rank-1 quantum observables, J. Phys. A47, 052002 (2014)
2014
-
[52]
Cavalcanti and P
D. Cavalcanti and P. Skrzypczyk, Quantitative relations between measurement incompatibility, quantum steering, and nonlocality, Phys. Rev. A93, 052112 (2016). 9 Appendix A: Sequential implementation of the pairwise joint measurements of Eve and Bob. We include here for complet...
2016
Reviewed July 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.