Pith. sign in

REVIEW 3 major objections 4 minor 44 references

Operational Coherent Measurements with Steering and Randomness

T0 review · 3 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read A set of generalized measurements demonstrates semi-device-independent steering if and only if it is coherent, giving coherence a concrete operational meaning in steering tasks.

desk verdict The central iff between coherence and SDI steering fails: the converse proof assumes decompositions of the identity into ≤d_A positives must be eigenprojectors, which is false. read the letter →

arxiv 2511.09102 v3 pith:Y2KEDNFJ submitted 2025-11-12 quant-ph

Chellasamy Jebarathinam , Huan-Yu Ku , Hsi-Sheng Goan This is my paper · ORCID
classification quant-ph MSC 81P1581P4081P45 PACS 03.67.-a03.65.Ta03.67.Mn
keywords coherentmeasurementssemi-device-independentsteeringmeasurementincompatibilityquantumrandomnesssteering-equivalenceobservablesnonconvexresourcetheorydetectionefficiency
topics The Measurement Problem
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 aims to give a complete operational characterization of coherent measurements—measurements that do not commute—using semi-device-independent (SDI) steering. The central claim is that a set of generalized measurements can demonstrate SDI steering if and only if it is coherent. This equivalence makes coherence, rather than the stronger property of measurement incompatibility, the fundamental resource for steering under a dimension restriction on the untrusted party. The paper then builds a nonconvex resource theory for SDI steering, constructs a monotone in the two-setting case, and shows that this monotone can certify genuine randomness from states that are separable or unsteerable in the standard one-sided device-independent sense. A striking consequence is that even with arbitrarily low detection efficiency, coherent measurements yield nonzero certified randomness from isotropic states.

What carries the argument

Steering-equivalence observables (SEO): the operators B_{a|x} = ρ_B^{-1/2} σ_{a|x} ρ_B^{-1/2} mapping Bob's unnormalized conditional states back to a measurement-like object. The proof works by showing that a dimensionally-restricted local-hidden-state model exists if and only if these SEO commute; the paper uses this bridge to transfer the property of coherence (pairwise noncommutativity) of Alice's measurement assemblage to the steerability of the state assemblage. The quantification uses the Schatten p-norm of commutators, Υ_p, as the basis for the monotone S_Υ.

What would settle it

Find a state assemblage that admits a dimensionally-restricted LHS model with d_λ ≤ d_A but whose steering-equivalence observables do not commute; for instance, a qutrit LHS model with three hidden states not all diagonal in a common basis would directly contradict Corollary 2.

Watch

Extended reading notes

Core claim

The paper's central discovery is the equivalence: in the one-sided semi-device-independent (1SSDI) scenario, where the dimension of Alice's subsystem is fixed but her measurements are uncharacterized, a state assemblage loses SDI steering precisely when its steering-equivalence observables (SEO) commute. Since an assemblage's SEO inherit noncommutativity exactly from the coherence of Alice's POVMs, the paper concludes that coherent measurements are necessary and sufficient for SDI steering. This gives a one-to-one mapping from any set of generalized measurements to a steering witness, and it shows that the notion of coherence—pairwise noncommutativity—is the operationally relevant property f

Load-bearing premise

The proof's converse direction assumes that every dimensionally-restricted local-hidden-state model has hidden states of the specific form ρ_B^{1/2}|λ><λ|ρ_B^{1/2} in a common basis diagonalizing ρ_B, a premise that may fail for arbitrary decompositions of the identity.

Editorial extensions

If this is right

  • Any coherent measurement assemblage can be turned into a demonstration of SDI steering by choosing an appropriate entangled state.
  • SDI steering can be certified directly from the noncommutativity of the SEO, giving a tight criterion for the resource.
  • A nonconvex resource theory for SDI steering exists, with a faithful, monotonic, nonconvex measure in the two-setting case.
  • Randomness can be certified and quantified from two-qubit isotropic states even when they are separable or standardly unsteerable, and for any nonzero detection efficiency.
  • The randomness inequality p_g ≤ 1/2(1+sqrt(1-S_Υ^2)) provides a quantitative bound on the guessing probability in terms of the steering monotone.

Reading between the lines

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

  • If the equivalence holds, then in the semi-device-independent setting, any operation that cannot create coherence should be a free operation, suggesting that the resource theory of measurement coherence and SDI steering are essentially the same.
  • The detection-efficiency result implies that SDI QRNG protocols may be robust against detector inefficiency without active countermeasures, which could be tested in photonic experiments.
  • The argument extends the domain of quantum randomness to states with quantum discord, so it may connect to other discord-based tasks and suggest new protocols for randomness expansion from noisy states.
  • A natural next step would be to explore whether the monotone S_Υ can be generalized to more than two settings, or to multi-partite steering scenarios.
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

3 major / 4 minor

Summary. The paper claims to give a complete operational characterization of coherent (pairwise noncommuting) measurement assemblages via semi-device-independent (SDI) steering. The central results are: (i) Theorem 1 and Corollary 1 assert that a measurement assemblage can demonstrate SDI steering if and only if it is coherent; (ii) Corollary 2 identifies SDI steering with pairwise noncommutativity of steering-equivalence observables (SEO); (iii) a nonconvex resource theory with monotone S_Υ is constructed from this criterion; (iv) an SDI QRNG is claimed to certify intrinsic randomness from any coherent measurement, with arbitrarily low detection efficiency and without certifying entanglement. The paper also presents explicit calculations for two-qubit isotropic states.

Significance. If the central equivalence were correct, the paper would forge a clean link between coherence of generalized measurements and an operational nonlocality task, extending the known steering-incompatibility correspondence and suggesting practical QRNG advantages at arbitrarily low detection efficiency. The forward direction—incoherent measurements cannot demonstrate SDI steering—is straightforwardly argued via Eqs. (A1)-(A4), and the construction using pure entangled states in Eq. (8) is a useful observation. However, the converse direction, which is the load-bearing step for the equivalence, is invalid. The paper provides no machine-checked proofs or reproducible code, and its central application claims rest on the failed converse. The contribution, as stated, is therefore not established.

major comments (3)
  1. [Appendix A, Eqs. (A5)-(A7); Corollary 2] The converse proof of Theorem 1 is invalid. From Σ_λ ρ_B^{-1/2}σ_λ ρ_B^{-1/2}=I it does not follow that each ρ_B^{-1/2}σ_λ ρ_B^{-1/2} is a rank-one projector onto a common eigenbasis of ρ_B. Positive decompositions of the identity into d_λ≤d_A terms need not be diagonal in a single basis. Concretely, take d_A=3, ρ_B=I, σ_0=diag(0.3,0.1,0), σ_1=0.4|+><+|+0.2|2><2|, σ_2=I−σ_0−σ_1, and define σ_{0|0}=σ_0, σ_{1|0}=σ_1+σ_2, σ_{0|1}=σ_1, σ_{1|1}=σ_0+σ_2. This is a valid dimensionally-restricted LHS model with d_λ=3≤d_A, yet the SEO satisfy [σ_0,σ_1]≠0. Thus the 'only if' direction of Corollary 2 is false, the converse of Theorem 1 fails, and the faithfulness property of S_Υ (Definition 2, property 1) collapses.
  2. [Theorem 3 and Appendix D] The randomness claim is refuted by essentially the same construction. The counterexample state assemblage can be produced by a classical-quantum state with a three-dimensional classical register (ρ_AB=Σ_λ |λ><λ|_A ⊗ σ_λ), so a three-dimensional Eve holding λ can predict Alice's outcome exactly. This directly contradicts the assertion that noncommuting SEO certify intrinsic randomness under d_E≤d_A. The proof in Appendix D only argues that commuting SEO are compatible with a CQ state; it does not show that noncommuting SEO exclude a dimension-bounded classical model, and the final paragraph simply stipulates the dimension restriction on Eve without physical or information-theoretic justification. The QRNG application and the claim of 'genuine randomness' are therefore unsupported as stated.
  3. [Definition 2 and resource-theoretic quantification] Because Corollary 2 is false, the proposed measure S_Υ in Eq. (11) is not a faithful quantifier of SDI steering: there exist free assemblages (admitting a dimensionally-restricted LHS model) with strictly positive S_Υ. Consequently, the monotonicity result of Theorem 2 and Appendix C, even if formally correct for the noncommutativity measure, does not establish a monotone for the SDI-steering resource. The resource-theoretic interpretation of the paper's results is thus not supported by the provided proof.
minor comments (4)
  1. [Notation, Eq. (A5)] The LHS decomposition in Eq. (A5) writes p(a|x,λ) without the prior p(λ); the normalization is only consistent if σ_λ are unnormalized and absorb p(λ). Please make this explicit to avoid confusion.
  2. [References] References [8] and [9] are duplicated; one should be removed.
  3. [Appendix E, Eq. (E3)] The derivation of S_Υ = ||r|| ||v|| sin(angle) appears to drop normalization factors from Definition 2. Please check the constants; as written, Eq. (E3) does not obviously follow from Eq. (11).
  4. [General] The acronym '1SSDI' is nonstandard; a brief definition at first use would improve readability.

Circularity Check

1 steps flagged · score 6.0 of 10

Converse of Theorem 1 assumes the conclusion: Eq. (A6) does not force LHS hidden states into ρ_B^{1/2}|λ⟩⟨λ|ρ_B^{1/2}, the exact form equivalent to commuting SEO.

  1. other [Appendix A, proof of the converse of Theorem 1, Eqs. (A5)–(A7); used by Corollary 2]
    "Note that in any such LHS model, σλ's satisfy Σλ ρ_B^{-1/2} σλ ρ_B^{-1/2} = 1, ∀σλ, which implies that σλ = ρ_B^{1/2} |λ⟩⟨λ| ρ_B^{1/2}, for the orthonormal basis {|λ⟩} that diagonalizes ρ_B."

    The converse of Theorem 1 must prove that any dimensionally-restricted LHS model (A5) has commuting SEO. But Eq. (A6) only says that τλ = ρ_B^{-1/2}σλρ_B^{-1/2} are positive operators summing to the identity; positive decompositions of the identity need not be rank-one projectors onto a common eigenbasis of ρ_B and can be noncommuting. Injecting the eigenprojector form (A7) is exactly the hidden-state structure equivalent to jointly diagonal (commuting) SEO, i.e., the conclusion being proved. The following paragraph only plugs (A7) back into (A5) and recovers ρ_B, which verifies sufficiency of that special form, not its necessity. Thus the only-if direction is assumed rather than derived; Corollary 2, the faithfulness of the monotone, and Theorem 3 all inherit this unproved premise.

full rationale

The paper contains no fitted parameters and no renamed empirical fit; the forward direction of Theorem 1, the explicit SΥ computations for pure and isotropic states, and the randomness inequality (21) are self-contained algebra once the Theorem 1 equivalence is granted. The self-citations [12–15] are background/terminological and are not load-bearing in the formal proofs, which rely mainly on [41], [27], and direct calculation. The circularity is localized to the converse half of Theorem 1: the step from 'τλ are positive and sum to identity' (A6) to 'σλ = ρ_B^{1/2}|λ⟩⟨λ|ρ_B^{1/2}' (A7) assumes that every dimension-limited LHS model has commuting SEO—precisely what the theorem and Corollary 2 assert. Since the resource monotone's faithfulness and the SDI randomness certification both invoke Corollary 2, the central 'if and only if' claim reduces at this step to its own conclusion. I score 6 rather than 8–10 because the forward direction and applications are independent and substantial; the circularity is partial, not total.

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

The core of the paper rests on the definition of LHS with dimension bound and on a false lemma in Appendix A; no fitted constants are introduced. The only new mathematical object is the measure S_Υ, which is a functional defined from the SEO noncommutativity, not a new physical entity.

assumptions (4)
  • domain assumption In the 1SSDI scenario, an LHS model with hidden-variable dimension dλ ≤ d_A is the correct definition of SDI unsteerability.
    This definition is imported from the authors' prior work [12-15] and is the basis for Theorem 1 and Cor. 2.
  • standard math The SEO map B_{a|x}=ρ_B^{-1/2}σ_{a|x}ρ_B^{-1/2} is invertible for full-rank ρ_B.
    Used in Eq. (5) and throughout; requires full-rank Bob reduced state.
  • ad hoc to paper Any decomposition of identity into ≤d_A positive operators with weights can be taken as diagonal in a single basis.
    This is the false assumption that generates the central theorem; it is not justified and is false in general (used in Appendix A, Eq. A6→A7).
  • domain assumption Eve's purification is dimensionally restricted to Alice's dimension.
    Theorem 3 requires this restriction to certify randomness; without it, separable states allow Eve to hold full purification.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Operational Coherent Measurements with Steering and Randomness." pith.science (2026). https://pith.science/paper/Y2KEDNFJ

@misc{pith2026251109102,
  author       = {Pith},
  title        = {Pith review of: Operational Coherent Measurements with Steering and Randomness},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Y2KEDNFJ}},
  note         = {Machine review of arXiv:2511.09102}
}
read the original abstract

Measurement incompatibility underpins randomness generation in nonlocal phenomena. However, at its root, a more fundamental quantum feature is noncommuting (or coherent) measurements. This raises a central question: How can we operationally characterize the quantum advantage of coherent measurements within nonlocal correlations? We answer this by demonstrating that coherent measurements can leverage semi-device-independent (SDI) steering, enabling local randomness generation from any set of coherent measurements. Specifically, we establish that a measurement assemblage can be used to demonstrate SDI steering if and only if it is coherent, providing a complete operational characterization. To provide an application of this operational characterization, we formulate a nonconvex resource theory for SDI steering and propose an operational monotone for the two-setting scenario by mapping noncommuting measurements to SDI steering. Our framework enables a practical quantum random number generator based on SDI steering that eliminates the need to certify entanglement and tolerates arbitrarily low detection efficiency. That is, we demonstrate that genuine randomness can be generated via coherent measurements beyond standard steerable states and even beyond entangled states under realistic experimental conditions. These results extend the scope of quantum resources for generating nonlocal correlations beyond measurement incompatibility, revealing the operational power of coherent measurements.

Figures

Figures reproduced from arXiv: 2511.09102 by the authors.

Figure 1
Figure 1. FIG. 1. Operational incompatibility or coherence of measure [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2. Setup for randomness certification in a 1SDI scenario, [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3. Setup for randomness certification in the 1SSDI sce [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: FIG. 4. Quantification of SDI local randomness from two [PITH_FULL_IMAGE:figures/full_fig_p006_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

44 extracted references · 2 linked inside Pith

  1. [1]

    Faithfulness:S Υ(σa|x) = 0 if and only if the state assemblage is a free resource

  2. [2]

    The equality holds in the trivial cases ofp= 0 and 1 and there exist two state assemblages for which the equality does not hold

    Nonconvexity: for any state assemblagesS na 2 and S ′na 2 ,S Υ(pσa|x + (1−p)σ ′ a|x)≥pS Υ(σa|x) + (1− p)SΥ(σ′ a|x) for 0≤p≤1. The equality holds in the trivial cases ofp= 0 and 1 and there exist two state assemblages for which the equality does not hold

  3. [3]

    Pioneering Research in Forefront Quan- tum Computing, Learning and Engineering

    Monotonicity: LetFdenote a free operation as in Eq. (9).S Υ(F[σ a|x])≤S Υ(σa|x). The first property holds becauseS Υ(σa|x) = 0 if and only if the state assemblage is a free resource in the 1SSDI context, due to Cor. 2. The second property is valid due to the concavity property of the noncommutativity measure [27]. The proof of the third property is given ...

  4. [4]

    K. Baek, A. Sohbi, J. Lee, J. Kim, and H. Nha, New Journal of Physics22, 093019 (2020)

    2020

  5. [5]

    Designolle, R

    S. Designolle, R. Uola, K. Luoma, and N. Brunner, Phys. 11 Rev. Lett.126, 220404 (2021)

    2021

  6. [6]

    Heinosaari, T

    T. Heinosaari, T. Miyadera, and M. Ziman, Journal of Physics A: Mathematical and Theoretical49, 123001 (2016)

    2016

  7. [7]

    G¨ uhne, E

    O. G¨ uhne, E. Haapasalo, T. Kraft, J.-P. Pellonp¨ a¨ a, and R. Uola, Rev. Mod. Phys.95, 011003 (2023)

    2023

  8. [8]

    R. Uola, T. Moroder, and O. G¨ uhne, Phys. Rev. Lett. 113, 160403 (2014)

    2014

Show all 44 references
  1. [9]

    M. T. Quintino, T. V´ ertesi, and N. Brunner, Phys. Rev. Lett.113, 160402 (2014)

    2014

  2. [10]

    Ku, C.-Y

    H.-Y. Ku, C.-Y. Hsieh, S.-L. Chen, Y.-N. Chen, and C. Budroni, Nature Communications13, 4973 (2022)

    2022

  3. [12]

    Ku, C.-Y

    H.-Y. Ku, C.-Y. Hsieh, and C. Budroni, Measurement incompatibility cannot be stochastically distilled (2024), arXiv:2308.02252 [quant-ph]

    2024 arXiv

  4. [13]

    Schrodinger, Math

    E. Schrodinger, Math. Proc. Cambridge Philos. Soc.31, 555 (1935)

    1935

  5. [14]

    H. M. Wiseman, S. J. Jones, and A. C. Doherty, Phys. Rev. Lett.98, 140402 (2007)

    2007

  6. [15]

    Jebarathinam and D

    C. Jebarathinam and D. Das, Quantum Information and Computation23, 379 (2023)

    2023

  7. [16]

    Jebarathinam, D

    C. Jebarathinam, D. Das, and R. Srikanth, Phys. Rev. A 108, 042211 (2023)

    2023

  8. [17]

    Jebarathinam, D

    C. Jebarathinam, D. Das, H.-Y. Ku, D. Sarkar, and H.-S. Goan, Phys. Rev. A111, 062403 (2025)

    2025

  9. [18]

    Jebarathinam, H.-Y

    C. Jebarathinam, H.-Y. Ku, H.-C. Cheng, and H.-S. Goan, Global coherence in quantum discord as a resource (2024), arXiv:2410.04430 [quant-ph]

    2024

  10. [19]

    Heisenberg, Zeitschrift f¨ ur Physik43, 172 (1927)

    W. Heisenberg, Zeitschrift f¨ ur Physik43, 172 (1927)

    1927

  11. [20]

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

    1929

  12. [21]

    Tendick, M

    L. Tendick, M. Kliesch, H. Kampermann, and D. Bruß, Quantum7, 1003 (2023)

    2023

  13. [22]

    Buscemi, E

    F. Buscemi, E. Chitambar, and W. Zhou, Phys. Rev. Lett.124, 120401 (2020)

    2020

  14. [23]

    R. Uola, C. Budroni, O. G¨ uhne, and J.-P. Pellonp¨ a¨ a, Phys. Rev. Lett.115, 230402 (2015)

    2015

  15. [24]

    Einstein, B

    A. Einstein, B. Podolsky, and N. Rosen, Phys. Rev.47, 777 (1935)

    1935

  16. [25]

    E. G. Cavalcanti, S. J. Jones, H. M. Wiseman, and M. D. Reid, Phys. Rev. A80, 032112 (2009)

    2009

  17. [26]

    Cavalcanti and P

    D. Cavalcanti and P. Skrzypczyk, Reports on Progress in Physics80, 024001 (2017)

    2017

  18. [27]

    Sarkar, J

    S. Sarkar, J. J. Borka la, C. Jebarathinam, O. Makuta, D. Saha, and R. Augusiak, Phys. Rev. Appl.19, 034038 (2023)

    2023

  19. [28]

    Ollivier and W

    H. Ollivier and W. H. Zurek, Phys. Rev. Lett.88, 017901 (2001)

    2001

  20. [29]

    Henderson and V

    L. Henderson and V. Vedral, J. Phys. A34, 6899 (2001)

    2001

  21. [30]

    Mordasewicz and J

    K. Mordasewicz and J. Kaniewski, Journal of Physics A: Mathematical and Theoretical55, 265302 (2022)

    2022

  22. [31]

    Horodecki and P

    M. Horodecki and P. Horodecki, Phys. Rev. A59, 4206 (1999)

    1999

  23. [32]

    Passaro, D

    E. Passaro, D. Cavalcanti, P. Skrzypczyk, and A. Ac ´ ın, New J. Phys.17, 113010 (2015)

    2015

  24. [33]

    Srivastav, N

    V. Srivastav, N. H. Valencia, W. McCutcheon, S. Lee- dumrongwatthanakun, S. Designolle, R. Uola, N. Brun- ner, and M. Malik, Phys. Rev. X12, 041023 (2022)

    2022

  25. [34]

    X. Ma, X. Yuan, Z. Cao, B. Qi, and Z. Zhang, npj Quan- tum Information2, 16021 (2016)

    2016

  26. [35]

    Herrero-Collantes and J

    M. Herrero-Collantes and J. C. Garcia-Escartin, Rev. Mod. Phys.89, 015004 (2017)

    2017

  27. [36]

    Mannalatha, S

    V. Mannalatha, S. Mishra, and A. Pathak, Quantum In- formation Processing22, 12 (2023)

    2023

  28. [37]

    Portmann and R

    C. Portmann and R. Renner, Rev. Mod. Phys.94, 025008 (2022)

    2022

  29. [38]

    Lunghi, J

    T. Lunghi, J. B. Brask, C. C. W. Lim, Q. Lavigne, J. Bowles, A. Martin, H. Zbinden, and N. Brunner, Phys. Rev. Lett.114, 150501 (2015)

    2015

  30. [39]

    Curran, M

    F. Curran, M. Moradi, G. Senno, M. Stobinska, and A. Ac ´ ın, Maximal intrinsic randomness of noisy quan- tum measurements (2025), arXiv:2506.22294 [quant-ph]

    2025 arXiv

  31. [40]

    ˙Zyczkowski, P

    K. ˙Zyczkowski, P. Horodecki, A. Sanpera, and M. Lewen- stein, Phys. Rev. A58, 883 (1998)

    1998

  32. [41]

    W. H. Zurek, Rev. Mod. Phys.75, 715 (2003)

    2003

  33. [42]

    Ferraro, L

    A. Ferraro, L. Aolita, D. Cavalcanti, F. M. Cucchietti, and A. Ac ´ ın, Phys. Rev. A81, 052318 (2010)

    2010

  34. [43]

    Gessner, E.-M

    M. Gessner, E.-M. Laine, H.-P. Breuer, and J. Piilo, Phys. Rev. A85, 052122 (2012)

    2012

  35. [44]

    Zjawin, D

    B. Zjawin, D. Schmid, M. J. Hoban, and A. B. Sainz, Quantum7, 926 (2023)

    2023

  36. [45]

    Cavalcanti and P

    D. Cavalcanti and P. Skrzypczyk, Phys. Rev. A93, 052112 (2016)

    2016

Pith tools

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