3.3. Mise à jour d'état non projective : instruments atomiques
En général, les propriétés statistiques de toute mesure sont caractérisées par
- la distribution de probabilité de sortie , la distribution de probabilité de la sortie de la mesure dans l'état d'entrée 0 la réduction de l'état quantique
- la réduction d'état quantique , le changement d'état de l'état d'entrée à l'état de sortie conditionné par le résultat de la mesure.
Dans la formulation de von Neumann, les propriétés statistiques de toute mesure d'un observable sont uniquement déterminées par la règle de Born (5) et le postulat de projection (6), et elles sont représentées par la carte (9), un instrument de type von Neumann. Cependant, la formulation de von Neumann ne reflète pas le fait que le même observable représenté par l'opérateur Hermitien dans peut être mesuré de plusieurs façons8. Formellement, ces schémas de mesure sont représentés par des instruments quantiques.
Considérons maintenant les instruments quantiques les plus simples de type non von Neumann, dits instruments atomiques. Nous commençons par un rappel de la notion de POVM (Probability Operator Valued Measure) ; nous limitons les considérations aux POVM avec un domaine discret de définition . POVM est une carte telle que pour chaque est un opérateur Hermitien contractif positif (appelé effet) (c'est-à-dire ou tout ), et la condition de normalisation est vérifiée, où est l'opérateur d'unité. On suppose que pour toute mesure, la distribution de probabilité de sortie est donnée par
où est un POVM. Pour les instruments atomiques, on suppose que les effets sont représentés concrètement sous la forme
où est un opérateur linéaire en . Par conséquent, la condition de normalisation a la forme .9 La règle de Born peut être écrite de manière similaire à (5) :
On suppose que la transformation de l'état post-mesure est basée sur la carte :
* |
donc la réduction de l'état quantique est donnée par
* |
la carte donnée par (13) est un instrument quantique atomique. On remarque que la règle de Born (12) peut s'écrire sous la forme
* | f |
Soit un opérateur hermitien en . Considérons un POVM avec le domaine de définition donné par le spectre de . Ce POVM représente une mesure de observable si la règle de Born est vérifiée :
Ainsi, en principe, les probabilités de résultats sont toujours encodées dans la décomposition spectrale de l'opérateur ou en d'autres termes les opérateurs 0doivent être sélectionnés de telle manière qu'ils génèrent les probabilités correspondant à la décomposition spectrale de la représentation symbolique des observables , c'est-à-dire que est déterminé de manière unique par en tant que . Nous pouvons dire que cet opérateur ne contient que des informations sur les probabilités des résultats, contrairement au schéma de von Neumann, l'opérateur ne code pas la règle de la mise à jour de l'état. Pour un instrument atomique, les mesures de l'observable ont la distribution de probabilité de sortie unique selon la règle de Born (16), mais ont de nombreuses réductions d'état quantique différentes en fonction de la décomposition de l'effet de telle manière que