[Paper Review] Joint measurability through Naimark's theorem

Roberto Beneduci|arXiv (Cornell University)|Apr 5, 2014

Advanced Operator Algebra Research26 references3 citations

TL;DR

This paper uses Naimark's dilation theorem to characterize the joint measurability of two Positive Operator-Valued Measures (POVMs) that are smearings of self-adjoint operators. It proves that such POVMs are jointly measurable if and only if the original operators admit commuting self-adjoint dilations in an extended Hilbert space, providing a general framework that includes the unsharp position and momentum observables as a key example.

ABSTRACT

We use Naimark's dilation theorem in order to characterize the joint measurability of two POVMs. Then, we analyze the joint measurability of two commutative POVMs $F_1$ and $F_2$ which are the smearing of two self-adjoint operators $A_1$ and $A_2$ respectively. We prove that the compatibility of $F_1$ and $F_2$ is connected to the existence of two compatible self-adjoint dilations $A_1^+$ and $A_2^+$ of $A_1$ and $A_2$ respectively. As a corollary we prove that each couple of self-adjoint operators can be dilated to a couple of compatible self-adjoint operators. Next, we analyze the joint measurability of the unsharp position and momentum observables and show that it provides a master example of the scheme we propose. Finally, we give a sufficient condition for the compatibility of two effects.

Motivation & Objective

• To establish a general criterion for the joint measurability of two POVMs that are smearings of self-adjoint operators.
• To extend the operational framework of quantum measurement by linking joint measurability to the existence of compatible dilations in an enlarged Hilbert space.
• To demonstrate that every pair of self-adjoint operators can be dilated to a compatible pair of self-adjoint operators in an extended space.
• To provide a master example using unsharp position and momentum observables, showing their joint measurability fits the proposed scheme.
• To derive a sufficient condition for the compatibility of two quantum effects using Naimark dilation and commutativity of projections.

Proposed method

• Applies Naimark’s dilation theorem to represent POVMs as projections on an extended Hilbert space.
• Uses Feller Markov kernels to characterize commutative POVMs as smearings of self-adjoint operators.
• Establishes equivalence between joint measurability of two POVMs and the existence of jointly measurable Naimark extensions.
• Introduces a specific dilation construction for effects (projections on a doubled Hilbert space) to analyze compatibility.
• Employs matrix representations of operators on the extended space to derive commutativity conditions between dilated projections.
• Proves that two effects are compatible if and only if their Naimark dilations commute, using the structure of block matrices.

Experimental results

Research questions

• RQ1 Under what conditions are two POVMs that are smearings of self-adjoint operators jointly measurable?
• RQ2 Can every pair of self-advective operators be dilated to a pair of compatible self-adjoint operators in an extended Hilbert space?
• RQ3 How does the joint measurability of unsharp position and momentum observables fit into the general framework of Naimark dilation?
• RQ4 What sufficient conditions ensure the compatibility of two quantum effects via their Naimark dilations?
• RQ5 To what extent can the joint measurability criterion based on Naimark’s theorem be generalized beyond two POVMs?

Key findings

• Two POVMs that are smearings of self-adjoint operators are jointly measurable if and only if the original operators admit commuting self-adjoint dilations in an extended Hilbert space.
• Every pair of self-adjoint operators can be dilated to a pair of compatible self-adjoint operators in a larger Hilbert space, proving a general existence result.
• The unsharp position and momentum observables serve as a master example where joint measurability arises from the existence of commuting dilations of the sharp position and momentum operators.
• Two effects are compatible if and only if their Naimark dilations in the doubled Hilbert space are commuting projections.
• A sufficient condition for effect compatibility is given by the operator equation $[A_1, A_2] + [B_1, B_2] = 0$ and $\{A_1, B_2\} - \{B_1, A_2\} = B_2 - B_1$, where $B_i = \sqrt{A_i(\mathbf{1} - A_i)}$.
• The joint measurability of more than two POVMs cannot be characterized via Naimark’s theorem in the same way, highlighting a limitation of the method to pairs.