Misura a valori operatoriali positivi
Da Wikipedia, l'enciclopedia libera.
La comprensione ottimale dell'argomento trattato in questa voce presuppone la conoscenza dei seguenti concetti:
| Meccanica quantistica |
|---|
| Fisica |
| Portale Fisica Glossario Fisico Calendario degli eventi Progetto Fisica |
In fisica, una misura a valori operatoriali positivi (o POVM, dall'inglese Positive-Operator Valued Measure) è un oggetto matematico utilizzato in meccanica quantistica che, per ogni stato di un sistema quantistico, associa una probabilità ad ogni possibile esito di una misura di una quantità fisica.
Le POVM vengono utilizzate frequentemente in informatica quantistica e nella teoria della misura quantistica, in particolar modo in problemi di ottimizzazione.
[modifica] Formalismo
Una POVM è un'applicazione f:S → B(H) da una σ-algebra S sull'insieme X nell'insieme degli operatori limitati su uno spazio di Hilbert B(H) che soddisfa le seguenti proprietà:
- f(A) > 0 per ogni A misurabile,
- f(X) = I dove I è l'identità,
- per ogni insieme numerabile di insiemi misurabili An a due a due disgiunti vale:
dove la serie è intesa convergere debolmente.
Nella meccanica quantistica si interpreta X come l'insieme dei possibili risultati di una misura di una quantità fisica. Come conseguenza, X è o R con la σ-algebra dei insiemi misurabili secondo Lebesgue o un insieme finito con l'insieme potenza come σ-algebra.
La probabilità che il risultato di una misura associata ad una POVM su un sistema fisico descritto dall'operatore densità ρ sia contenuto nell'insieme misurabile A è dato dalla regola di Born:
![P(x \in A) = Tr[A\rho]](../../../math/a/f/b/afb7d6eef26f7420c662f5d1754c2b11.png)
Con questa regola è possibile giustificare la definizione di POVM. Infatti da questa deriva il fatto che P sia una distribuzione di probabilità, ovvero una misura normalizzata ad uno.
[modifica] Esempi
- Se X è un insieme finito di cardinalità n allora S viene preso usualmente come l'insieme potenza di X e la generica POVM è descritta come un insieme di n operatori positivi e limitati Ei che sommano all'identità. Un caso di questa situazione si ha per lo spin.
- Una risoluzione proiettiva dell'identità
è una POVM sull'insieme dei valori {x}, infatti un proiettore è sempre un operatore positivo e limitato e per definizione la risoluzione somma all'identità. Per ragioni storiche nei postulati della meccanica quantistica spesso si fa riferimento alla risoluzione associata ad un operatore autoaggiunto (o più correttamente ad un operatore normale) invece che al concetto più generale di POVM: questo è possibile perché, per il teorema di Neumark, ad ogni POVM è associata una risoluzione proiettiva dell'identità su uno spazio più ampio.
