Operational Concealment of Measurement Incompatibility by Quantum Channels

Mohd Asad Siddiqui; Zizhu Wang

REVIEW 2 major objections 4 minor 28 references

Operational Concealment of Measurement Incompatibility by Quantum Channels

T0 review · 2 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Measurement incompatibility can stay intact as operators yet become invisible once a quantum channel restricts what you can observe.

desk verdict Clean adjoint-kernel packaging of restricted-state compatibility, with a usable SDP robustness that can be strictly smaller than ordinary incompatibility robustness; solid finite-dimensional math, incremental novelty. read the letter →

arxiv 2607.11762 v1 pith:3JDZQA7M submitted 2026-07-13 quant-ph math-phmath.MP

Mohd Asad Siddiqui , Zizhu Wang This is my paper · ORCID

classification quant-phmath-phmath.MP PACS 03.65.Ta03.67.-a

keywords measurementincompatibilityquantumchannelsoperationalconcealmentadjointkernelrobustnessPOVMsrestricted-statecompatibilitysemi-device-independentcertification

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 argues that two quantum measurements can remain incompatible as mathematical objects while becoming operationally indistinguishable from a compatible pair once you can only look at the output of a quantum channel. The reason is simple and structural: any two observables that differ by something the channel's adjoint kills produce exactly the same statistics on every state that can reach the channel output. The authors organize all observables into these operational equivalence classes, prove that concealment is exactly the existence of compatible representatives inside those classes, and classify channels by how large their adjoint kernels are. They also introduce a noise measure, concealment robustness, that equals ordinary incompatibility robustness when the channel is injective but can be strictly smaller when the kernel is nontrivial, with explicit qubit families that show the gap. The practical stake is restricted-access quantum information: a verifier who only sees channel outputs cannot certify incompatibility that has been concealed, and the same mechanism can erase steerability.

What carries the argument

The adjoint-kernel characterization (Theorem 1): two observables are operationally equivalent precisely when their difference lies in ker(E†). This partitions Hermitian operators into equivalence classes whose compatible representatives decide concealment, and it induces both a preorder on channels by kernel inclusion and an SDP-computable concealment robustness.

What would settle it

Take the complete-dephasing channel and the Pauli X/Z pair: compute whether the concealment-robustness SDP returns exactly zero while the ordinary incompatibility robustness remains 3-2√2, and check that no compatible representatives exist once the adjoint kernel is artificially set to zero.

Watch

Extended reading notes

Core claim

Under tomographically complete input states, a pair of POVMs is operationally concealed by a channel E if and only if there exist compatible POVMs that differ from the originals only by elements of the adjoint kernel ker(E†). Concealment is therefore a property of operational equivalence classes in the quotient space Herm(Hout)/ker(E†), not of the original operators alone. The associated concealment robustness coincides with standard incompatibility robustness for injective channels and can be strictly smaller for non-injective ones.

Load-bearing premise

The input states used to probe the channel must be rich enough that matching statistics on them forces the adjoint images of the observables to be identical; without that completeness, every pair can be mimicked by a compatible pair on a single state and the distinction collapses.

Editorial extensions

If this is right

Channels with identical adjoint kernels conceal exactly the same measurement pairs; larger kernels can only conceal more.
Any protocol that sees only single-copy channel outputs cannot certify incompatibility of a concealed pair, blocking semi-device-independent certification in that setting.
Concealment of a pair implies the effective measurements are jointly measurable and therefore cannot steer, for every bipartite state.
For rank-2 unital qubit channels, concealment of unbiased binary POVMs is decided by a simple projection of their Bloch vectors onto the accessible subspace.
Concealment robustness supplies a channel-dependent quantifier that can be strictly smaller than ordinary incompatibility robustness, with analytic qubit families exhibiting the gap.

Reading between the lines

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

If ancillary, adaptive, or collective measurements can recover signatures that single-copy channel outputs hide, then concealment becomes a statement about access model rather than about the channel alone.
The same quotient-space idea should apply to multipartite scenarios in which restricted access to one subsystem conceals nonclassical correlations that remain present as operators.
Approximate concealment error, being continuous, is the natural quantity to estimate from finite statistics, turning the exact theory into a practical certification test under noise.

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.

Desk Editor's Note

read the letter

This paper takes the known fact that measurement incompatibility can become invisible under restricted state access and rewrites it cleanly in the Heisenberg picture: two POVMs are operationally concealed by a channel E precisely when their difference lies in ker(E†) and the resulting equivalence classes contain compatible representatives (Theorem 1). That characterization is standard linear algebra once you assume tomographic completeness of the input family, which the authors own explicitly (Remark 1 and Appendix A). What they add is the adjoint-kernel preorder on channels, the concealment-robustness measure Rc with an explicit SDP, the proof that Rc equals ordinary incompatibility robustness for injective adjoints and can be strictly smaller otherwise (Theorems 9–10, complete-dephasing and the analytic family with TE=diag(1/2,1/2,0)), plus a clean geometric projection criterion for unbiased binary qubit POVMs under rank-2 unital channels.

The math is careful and the citations are honest: they state the equivalence to Heinosaari et al.’s restricted-state compatibility (Prop. 1) and recover Torii et al.’s projection criterion as a channel specialization (Thm. 7). The SDP formulations look correct; the hierarchy 0 ≤ Rc ≤ Rinc is proved by a feasible-set bijection for the injective case and by explicit constructions for the strict inequality. Soft spots are minor and already flagged by the authors: the upper bound in Theorem 10 is not shown to be tight, and whether equal kernels are necessary (not just sufficient) for concealment-equivalence is left open. No code is shipped, but the analytic families are self-contained.

This is for people working on measurement incompatibility, semi-device-independent certification, or restricted-access quantum information. It does not resolve a long-open problem, but it organizes a useful distinction and supplies quantitative tools that are ready to use. I would send it to referees; the central claims hold up under the stated assumptions.

Referee Report

2 major / 4 minor

Summary. The paper introduces operational concealment: measurement incompatibility that remains intact at the operator level but becomes inaccessible when statistics are restricted to the output of a quantum channel E. Under tomographic completeness of the input family, concealment is characterized exactly by the existence of compatible representatives in the same operational equivalence classes, i.e., differing from the original POVMs by elements of ker(E†) (Theorem 1). The framework organizes observables into the quotient Herm(Hout)/ker(E†), yields kernel-invariance and monotonicity of the concealed set (Theorems 3–4), defines a concealment robustness Rc with an explicit SDP (Definition 2, Appendix B), and supplies a geometric projection criterion for unbiased binary qubit POVMs under rank-2 unital channels (Theorem 7). It proves Rc = Rinc for injective adjoints (Theorem 9) and exhibits analytic families (complete dephasing, TE = diag(1/2,1/2,0), Theorem 10) where 0 < Rc < Rinc for non-injective channels. Approximate concealment and steering consequences are also developed.

Significance. If the results hold, the work cleanly separates operator-level incompatibility from its operational accessibility under restricted channel access, a distinction relevant to semi-device-independent certification and restricted-access quantum information. The adjoint-kernel quotient, the kernel preorder on channels, the SDP for Rc, and the explicit analytic families establishing the strict hierarchy Rc < Rinc are concrete, reusable tools. The rank-2 projection criterion and the injective-channel equality are parameter-free and rest on standard finite-dimensional linear algebra plus known joint-measurability criteria, giving the paper a solid technical core that can be built upon for higher-dimensional or non-unital settings.

major comments (2)

Theorem 10 and Remark 3: the analytic upper bound on Rc is obtained only via the outcome-reversal noise model, and the paper itself notes that optimality remains open. Because the central quantitative claim is the existence of a strict hierarchy 0 < Rc < Rinc, the manuscript should either prove that the bound is tight (or compute the exact SDP value for the family) or clearly restate the claim as an upper-bound demonstration rather than a fully characterized intermediate robustness. Without this, the quantitative strength of the hierarchy is only partially established.
Section III.D / Theorem 3: kernel equality is shown to be sufficient for CE1 = CE2, but necessity is left open. Since the structural classification of channels is advertised via “kernel equivalence,” the paper should either supply a counter-example showing that distinct kernels can still yield identical concealed sets, or explicitly demote the claim to a sufficient invariant and adjust the abstract/introduction accordingly. The present wording overstates the completeness of the classification.

minor comments (4)

Figure 1 caption and surrounding text: the illustration is clear, but the kernel direction is only sketched; a short explicit computation of E†deph(X±) = I/2 would help readers who skip Section V.
Notation: the same symbol E is used both for a generic channel and for the depolarizing family Ep; a consistent subscript or a different letter for the latter would reduce momentary confusion in Sections IV–V.
Appendix B: the SDP is correct, but a one-line remark on how the kernel membership constraints are implemented numerically (basis expansion versus orthogonal projection) would aid reproducibility.
References: the recent literature on compatibility dimension and restricted-state compatibility is cited, yet a brief sentence locating the present quotient construction relative to the “compatibility dimension” of Loulidi–Nechita would improve contextual clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: adjoint characterization, robustness equality, and strict-inequality examples are independent linear-algebra and SDP constructions, not re-labelings of their inputs.

full rationale

The paper defines operational concealment (Def. 1) and proves an adjoint characterization (Thm. 1) by promoting statistical equality on a tomographically complete family T to operator equality via non-degeneracy of the Hilbert–Schmidt product—standard finite-dimensional linear algebra under an assumption the paper owns (Remark 1, App. A). Operational equivalence classes are the ordinary quotient Herm(Hout)/ker(E†); concealment robustness is ordinary generalized robustness relative to the convex set CE. For injective adjoints, Rc = Rinc follows from an explicit feasible-set bijection between the two SDPs (Thm. 9), not from redefinition. Strict inequality for non-injective channels is shown by concrete constructions (complete dephasing: Rc = 0 while Rinc = 3−2√2; intermediate family of Thm. 10 with explicit Bloch-vector joint-measurability bounds). Relation to restricted-state compatibility on SE is acknowledged (Prop. 1, Sec. VIII) rather than hidden; the new content (kernel preorder, SDP robustness, approximate concealment, rank-2 projection criterion) is independent of that equivalence. No fitted parameters, no load-bearing self-citations, no uniqueness theorems imported from the authors, and no ansatz smuggled via citation. The derivation chain is self-contained.

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

The framework rests on standard finite-dimensional quantum information axioms plus the standing tomographic-completeness assumption that turns statistical equality into operator equality. No free parameters are fitted; the invented entities are definitional reorganizations of existing objects (kernel quotient, robustness relative to the concealed set).

assumptions (4)

domain assumption Finite-dimensional Hilbert spaces, finite-outcome POVMs, and exact tomography (Remark 1).
Standing assumptions stated at the outset; all equalities are operator equalities under these conditions.
domain assumption Input family T is tomographically complete: real linear span equals Herm(Hin).
Used in the proof of Theorem 1 to promote vanishing of statistics to vanishing of the adjoint image; without it the characterization fails (Appendix A).
standard math Joint measurability criterion for unbiased binary qubit POVMs: |a+b|+|a-b|≤2 (Yu et al.).
Invoked for all qubit geometric results (Thms. 5–7, 10).
standard math First Isomorphism Theorem for real vector spaces applied to E† restricted to Herm(Hout).
Yields the operational observable space isomorphism (Thm. 2).

invented entities (2)

Operational equivalence classes / operational observable space Herm(Hout)/ker(E†)
purpose: Quotient that isolates the observable directions accessible after the channel.
Definitional reorganization of the adjoint kernel; no new physical object is postulated.
Concealment robustness Rc
purpose: Quantify the least noise that makes a POVM pair operationally concealed.
Standard generalized-robustness construction relative to the convex set CE; coincides with known Rinc when the kernel is trivial.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Operational Concealment of Measurement Incompatibility by Quantum Channels." pith.science (2026). https://pith.science/paper/3JDZQA7M

@misc{pith2026260711762,
  author       = {Pith},
  title        = {Pith review of: Operational Concealment of Measurement Incompatibility by Quantum Channels},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3JDZQA7M}},
  note         = {Machine review of arXiv:2607.11762}
}

read the original abstract

Measurement incompatibility can remain intact at the operator level yet become operationally inaccessible when observations are restricted to the output of a quantum channel; we refer to this phenomenon as operational concealment. We develop a systematic adjoint-kernel framework for operational concealment in which observables are organized into operational equivalence classes determined by the kernel of the adjoint channel. This framework yields a structural classification of channels via kernel equivalence and monotonicity, together with a concealment robustness measure admitting explicit SDP formulations. It also yields an approximate concealment framework and a geometric characterization of concealment for unbiased binary qubit POVMs under rank-2 unital qubit channels. We show that concealment robustness coincides with standard incompatibility robustness for injective channels but can be strictly smaller for non-injective channels, as demonstrated by explicit analytical families. These results provide a systematic characterization and quantitative treatment of operationally inaccessible measurement incompatibility, with implications for restricted-access quantum information and semi-device-independent certification.

Figures

Figures reproduced from arXiv: 2607.11762 by the authors.

**Figure 1.** FIG. 1. (Color online) Illustration of operational concealment under complete dephasing. Although the projective POVMs [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

**Figure 2.** FIG. 2. Conceptual structure of operational concealment. [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗

**Figure 3.** FIG. 3. (Color online) Geometric illustration of the rank-2 [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references

[1]

Then CE1 = CE2; i.e., a POVM pair is concealed byE 1 if and only if it is concealed byE 2

= ker(E † 2). Then CE1 = CE2; i.e., a POVM pair is concealed byE 1 if and only if it is concealed byE 2. Proof. By Theorem 1, concealment under Ei is equiva- lent to the existence of compatible POVMs {Fa},{G b} satisfying E † i (Fa) =E † i (Ma),E † i (Gb) =E † i (Nb). Equivalently, Fa −M a ∈ker(E † i ), G b −N b ∈ker(E † i ). If ker(E †
[2]

Hence CE1 =C E2

= ker(E † 2), then the admissible operational equivalence classes coincide for both channels, and there- fore the same concealment constructions exist. Hence CE1 =C E2. Equality of adjoint kernels is sufficient for concealment- equivalence: channels with different dynamical realiza- tions but identical adjoint kernels are indistinguishable with respect to...
[3]

Since ker(E †

and Gb −N b ∈ker (E † 1). Since ker(E †
[4]

The kernel inclusion relation defines a preorder on quan- tum channels: E1 ⪯c E2 ⇐ ⇒ker(E † 1)⊆ker(E † 2)

⊆ker (E † 2), the same differences lie in ker(E † 2), so (M, N) is concealed by E2. The kernel inclusion relation defines a preorder on quan- tum channels: E1 ⪯c E2 ⇐ ⇒ker(E † 1)⊆ker(E † 2). Since distinct quantum channels may possess identical ad- joint kernels, the relation is generally not antisymmetric and therefore defines only a preorder. Passing to...
[5]

M. M. Wolf, D. Perez-Garcia, and C. Fernandez, Mea- surements incompatible in quantum theory cannot be measured jointly in any other no-signaling theory, Phys. Rev. Lett.103, 230402 (2009)

2009
[6]

Heinosaari, T

T. Heinosaari, T. Miyadera, and M. Ziman, An invita- tion to quantum incompatibility, Journal of Physics A: Mathematical and Theoretical49, 123001 (2016)

2016
[7]

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
[8]

G¨ uhne, E

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)

2023

Show all 28 references

[9]

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
[10]

Heinosaari and T

T. Heinosaari and T. Miyadera, Incompatibility of quan- tum channels, Journal of Physics A: Mathematical and Theoretical50, 135302 (2017)

2017
[11]

M. F. Pusey, Verifying the quantumness of a channel with an untrusted device, J. Opt. Soc. Am. B32, A56 (2015)

2015
[12]

Heinosaari, T

T. Heinosaari, T. Miyadera, and R. Takakura, Testing incompatibility of quantum devices with few states, Phys. Rev. A104, 032228 (2021)

2021
[13]

Busch, Unsharp reality and joint measurements for spin observables, Phys

P. Busch, Unsharp reality and joint measurements for spin observables, Phys. Rev. D33, 2253 (1986)

1986
[14]

Busch, P

P. Busch, P. Lahti, J.-P. Pellonp¨ a¨ a, and K. Ylinen,Quan- tum Measurement, Theoretical and Mathematical Physics (Springer, Germany, 2016)

2016
[15]

Paris and J

M. Paris and J. ˇReh´ aˇ cek, eds.,Quantum State Estima- tion, Lecture Notes in Physics, Vol. 649 (Springer, Berlin, 2004)

2004
[16]

Yu, N.-l

S. Yu, N.-l. Liu, L. Li, and C. H. Oh, Joint measurement of two unsharp observables of a qubit, Phys. Rev. A81, 062116 (2010)

2010
[17]

Heinosaari, J

T. Heinosaari, J. Kiukas, D. Reitzner, and J. Schultz, Incompatibility breaking quantum channels, Journal of Physics A: Mathematical and Theoretical48, 435301 (2015)

2015
[18]

Torii, R

K. Torii, R. Takakura, and R. Imamura, Comparing quan- tum incompatibility of device sets from an operational perspective, Phys. Rev. A112, 062228 (2025)

2025
[19]

Fujiwara and P

A. Fujiwara and P. Algoet, One-to-one parametrization of quantum channels, Phys. Rev. A59, 3290 (1999)

1999
[20]

Beth Ruskai, S

M. Beth Ruskai, S. Szarek, and E. Werner, An analysis of completely-positive trace-preserving maps on m2, Linear Algebra and its Applications347, 159 (2002)

2002
[21]

Horodecki, P

M. Horodecki, P. W. Shor, and M. B. Ruskai, Entangle- ment breaking channels, Reviews in Mathematical Physics 15, 629 (2003)

2003
[22]

H. M. Wiseman, S. J. Jones, and A. C. Doherty, Steer- ing, entanglement, nonlocality, and the einstein-podolsky- rosen paradox, Phys. Rev. Lett.98, 140402 (2007)

2007
[23]

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
[24]

Designolle, M

S. Designolle, M. Farkas, and J. Kaniewski, Incompat- ibility robustness of quantum measurements: a unified framework, New Journal of Physics21, 113053 (2019)

2019
[25]

Loulidi and I

F. Loulidi and I. Nechita, The compatibility dimension of quantum measurements, Journal of Mathematical Physics 62, 042205 (2021)

2021
[26]

Regula, Convex geometry of quantum resource quan- tification, Journal of Physics A: Mathematical and Theo- retical51, 045303 (2017)

B. Regula, Convex geometry of quantum resource quan- tification, Journal of Physics A: Mathematical and Theo- retical51, 045303 (2017)

2017
[27]

Takagi and B

R. Takagi and B. Regula, General resource theories in quantum mechanics and beyond: Operational characteri- zation via discrimination tasks, Phys. Rev. X9, 031053 (2019)

2019
[28]

A. K. Das, S. Mukherjee, D. Saha, D. Das, and A. S. Ma- jumdar, Classifying measurement incompatibility under classical pre- and post-processing operations, Proceed- ings of the Royal Society A: Mathematical, Physical and Engineering Sciences482, 20250045 (2026)

2026

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.

[1] [1]

Then CE1 = CE2; i.e., a POVM pair is concealed byE 1 if and only if it is concealed byE 2

= ker(E † 2). Then CE1 = CE2; i.e., a POVM pair is concealed byE 1 if and only if it is concealed byE 2. Proof. By Theorem 1, concealment under Ei is equiva- lent to the existence of compatible POVMs {Fa},{G b} satisfying E † i (Fa) =E † i (Ma),E † i (Gb) =E † i (Nb). Equivalently, Fa −M a ∈ker(E † i ), G b −N b ∈ker(E † i ). If ker(E †

[2] [2]

Hence CE1 =C E2

= ker(E † 2), then the admissible operational equivalence classes coincide for both channels, and there- fore the same concealment constructions exist. Hence CE1 =C E2. Equality of adjoint kernels is sufficient for concealment- equivalence: channels with different dynamical realiza- tions but identical adjoint kernels are indistinguishable with respect to...

[3] [3]

Since ker(E †

and Gb −N b ∈ker (E † 1). Since ker(E †

[4] [4]

The kernel inclusion relation defines a preorder on quan- tum channels: E1 ⪯c E2 ⇐ ⇒ker(E † 1)⊆ker(E † 2)

⊆ker (E † 2), the same differences lie in ker(E † 2), so (M, N) is concealed by E2. The kernel inclusion relation defines a preorder on quan- tum channels: E1 ⪯c E2 ⇐ ⇒ker(E † 1)⊆ker(E † 2). Since distinct quantum channels may possess identical ad- joint kernels, the relation is generally not antisymmetric and therefore defines only a preorder. Passing to...

[5] [5]

M. M. Wolf, D. Perez-Garcia, and C. Fernandez, Mea- surements incompatible in quantum theory cannot be measured jointly in any other no-signaling theory, Phys. Rev. Lett.103, 230402 (2009)

2009

[6] [6]

Heinosaari, T

T. Heinosaari, T. Miyadera, and M. Ziman, An invita- tion to quantum incompatibility, Journal of Physics A: Mathematical and Theoretical49, 123001 (2016)

2016

[7] [7]

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

[8] [8]

G¨ uhne, E

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)

2023