Un opérateur de mesure M_i assigné à une issue particulière telle que l'état post-mesure (non normalisé) soit M_i ρ M_i^† et que la probabilité de l'issue soit p(i)=tr(M_i^† M_i ρ). Les opérateurs de mesure satisfont ∑_i M_i^† M_i = I quand la mesure est complète.

Principe

Principe de mise à jour d'état : les opérateurs de mesure combinent attribution de probabilité et transformation d'état en un seul objet ; le produit adjoint M_i^† M_i donne l'élément de POVM correspondant, tandis que M_i détermine l'état post-mesure à une normalisation près.

Démonstration

Pour une mesure projective de von Neumann avec projecteurs P_j, les opérateurs de mesure canoniques sont M_j = P_j, donnant p(j)=tr(P_j ρ) et état post-mesure P_j ρ P_j / tr(P_j ρ). Pour une mesure non projective, M_i peut être non hermitien tout en étant valide.

Mauvaise application

Considérer les opérateurs de mesure comme uniques ou les confondre avec les éléments de POVM : de nombreux ensembles {M_i} peuvent réaliser le même POVM {E_i = M_i^† M_i} ; supposer un M_i particulier implique une mise à jour d'état spécifique qui n'est pas imposée par le POVM seul.

Conséquence

Les opérateurs de mesure fournissent la recette opérationnelle complète pour des mesures sélectives incluant l'état postérieur et permettent de modéliser des mesures séquentielles et des boucles de rétroaction ; ils rendent explicite la transformation non unitaire dépendant de l'issue induite par la mesure.

Inversion

L'abstraction complémentaire consiste à considérer seulement le POVM (les effets) et ignorer les états post-mesure ; cette inversion conserve les probabilités mais abandonne l'information sur la transformation de l'état par la mesure.

Limite

Les opérateurs de mesure agissent sur l'espace de Hilbert du système et encodent à la fois probabilité et transformation ; ils ne sont pas déterminés de manière unique par les probabilités, peuvent nécessiter des modèles d'environnement ou d'instrument pour justifier des choix particuliers, et excluent les descriptions purement classiques.

Tension sémantique

Tension entre opérateurs de mesure et opérateurs de Kraus : les deux peuvent décrire des transformations d'état et des canaux, mais les opérateurs de Kraus représentent souvent des dynamiques de système ouvert plus générales tandis que les opérateurs de mesure sont typiquement indexés par des issues classiques et rattachés à la narration des mesures sélectives.

Synthèse

Un opérateur de mesure est l'objet opératoire qui attribue la probabilité d'une issue (via son produit adjoint) et spécifie l'état post-mesure non normalisé, unifiant ainsi les aspects statistiques et dynamiques d'une mesure quantique au sein d'un seul opérateur.