Quantum Measurability Gap

• Measurability gap is a quantum phenomenon where pairwise compatibility fails to guarantee a global joint measurement, particularly in unsharp (POVM) settings.
• It is demonstrated via joint measurability graphs that encode commutativity relations, enabling precise realization of any desired compatibility structure in finite-dimensional Hilbert spaces.
• Operationally, the gap influences quantum protocols by challenging the consolidation of measurements in tasks like state discrimination and cryptography.

The measurability gap refers to the phenomenon wherein classical or anticipated correspondences between various notions of joint measurability for quantum observables fail, reflecting precise separations between degrees and regimes of measurement compatibility. In finite-dimensional quantum theory, notable forms of this gap emerge in the study of joint measurability graphs, the distinction between coexistence and joint measurability for POVMs, and the structure of joint measurability for both sharp (PVM) and unsharp (POVM) observables. These gaps are characterized by families of measurements or observables that are “compatible” in some pairwise or weaker sense but do not admit a global joint measurement, leading to fundamental constraints relevant for quantum information, measurement theory, and operational protocols.

1. Joint Measurability Graphs and Their Realization

For a finite set of quantum observables $\{O_x\}_{x\in V}$, with each $O_x$ represented by a projection-valued measure (PVM) $P_x=\{p_x(i)\}$, joint measurability is defined via the commutativity of their spectral projections: $O_x$ and $O_y$ are jointly measurable if $[p_x(i),p_y(j)]=0$ for all indices $i$ and $j$. This pairwise relationship can be encoded in a simple graph $G=(V,E)$ with an edge $x\sim y$ if and only if $O_x$ and $O_y$ commute. Loops at every vertex are always present, as observables commute with themselves.

The principal structural result establishes that for any finite simple graph $G$, there exists a Hilbert space $H$ and a family of sharp quantum observables $\{P_x\}_{x\in V}$, specifically dichotomic PVMs, such that

$$x\sim y \text{ in } G \iff P_x \text{ and } P_y \text{ are jointly measurable},$$

implementing any desired pattern of (pairwise) joint measurability. The construction proceeds by assigning to each $x\in V$ a rank-one projection $p_x=|\psi_x\rangle\langle\psi_x|$ where $$|\psi_x\rangle=|x\rangle+\sum_{v:x\not\sim v}|{x,v}\rangle$$, within an appropriate ambient space of controlled dimension. This encoding ensures that $p_x$ and $p_y$ commute if and only if $x\sim y$ in $G$, precisely realizing the graph as a joint-measurability structure (Heunen et al., 2013).

2. Measurability Gaps for Sharp and Unsharp Observables

For sharp observables (PVMs), global commutativity follows from pairwise commutativity: if all pairs in a set of PVMs commute, they are simultaneously diagonalisable, thus jointly measurable as a collection. Therefore, with PVMs, no nontrivial gap arises between pairwise and multiplet (global) joint measurability.

In sharp contrast, for general POVMs (unsharp observables), the situation is fundamentally different. A canonical example is the set of three dichotomic POVMs on $\mathbb{C}^2$ defined by $E_k(\pm)=\frac12[I\pm(1/\sqrt{2})\sigma_k]$ for $k=1,2,3$, with $\sigma_k$ the Pauli matrices. Each pair among $\{E_1,E_2,E_3\}$ admits a joint measurement (i.e., the pair is jointly measurable), but there is no single POVM refining all three simultaneously. Graph-theoretically, this structure is encoded by a “hollow triangle”: a 3-cycle lacking the triplewise hyperedge. Thus, a measurability gap exists between pairwise and triplewise compatibility: although each pair can be measured jointly, the whole triple cannot (Heunen et al., 2013).

3. Failure of Neumark Dilation to Close the Gap

Neumark’s theorem allows the representation of any POVM as a PVM on an enlarged Hilbert space via dilation, raising the question of whether unsharp joint measurability can always be reduced to commutative PVMs in a larger space. The answer is negative: for the “hollow triangle” construction, although one can find dilations $P_{ij}$ for each pair $\{E_i,E_j\}$ on possibly different ancillary spaces such that $E_i,E_j$ are marginals of $P_{ij}$, there is no single dilation and PVM triple $\{P_1,P_2,P_3\}$ reproducing all the original joint measurability (in particular, such that the triple is pairwise but not triplewise jointly measurable). This result reveals a foundational caveat to the principle that “unsharp is just sharp in a bigger space” and indicates that the measurability gap is not removable by enlargement of the Hilbert space (Heunen et al., 2013).

4. Robustness, Operational Significance, and Experimental Realization

The quantification of measurability gaps is not limited to singular or pathological examples. The regions (in parameter space or effect space) where coexistence is strictly weaker than joint measurability or where pairwise compatibility does not extend to global compatibility have nonempty interior, occupying finite-volume subsets. For instance, families of POVMs with effects perturbed by small operator-norm amounts from a hollow triangle remain within the non-jointly-measurable region.

Operationally, this means that real-world measurement scenarios—such as quantum state discrimination, cryptographic protocols, and contextuality experiments—must explicitly account for the limitations and gaps enforced by the quantum compatibility structure. In particular, protocols relying on the existence of joint measurements for POVMs cannot, in general, be reduced to the commutative PVM case, and there exist families of measurements for which pairwise compatibility does not guarantee the possibility of a global parent measurement.

5. Graph-Theoretic and Algebraic Formulation

The use of joint measurability graphs provides a precise algebraic and combinatorial framework for reasoning about measurement compatibility. Each node corresponds to an observable, and edges encode pairwise joint measurability. The explicit construction of projectors realizing arbitrary joint-measurability graphs demonstrates the expressive power of quantum observables as encoders of arbitrary compatibility structures.

Moreover, the positive-volume nature of the measurability gap between coexistence and joint measurability is reflected in the convex geometry of the sets of coexistent and jointly measurable POVMs. The set of pairs of POVMs that are coexistent strictly contains (and is strictly larger in measure than) the set of pairs that are jointly measurable, with explicit neighborhoods constructed around the hollow-triangle-type examples to demonstrate “robust” separation (Reeb et al., 2013).

6. Implications and Caveats for Quantum Protocols

The physical and theoretical implications of the measurability gap are multi-faceted:

• Experimental Tests: The hollow triangle and similar non-clique patterns are implementable in qubit or qutrit experiments, allowing empirical validation of joint measurability gaps. Observed failure of global joint measurement, despite pairwise compatibility, confirms the nonclassicality of quantum measurement theory.
• Protocol Design: Quantum information tasks (e.g., unsharp measurement-based state discrimination or contextuality-driven cryptography) cannot safely assume that all POVM compatibility can be enforced via pairwise analysis or Hilbert space dilation. Device-independent and measurement-based protocols must treat POVM constraints natively.
• Theory Development: The impossibility of reducing all questions of joint measurability to commuting projectors in a larger space marks a boundary of the “church of the larger Hilbert space” and motivates further study of the algebraic and operational properties unique to unsharp measurement settings.

In summary, the measurability gap characterizes intrinsic separations between various quantum measurement compatibilities, with direct consequences for theory, experiment, and the operational design of quantum protocols (Heunen et al., 2013, Reeb et al., 2013).