La teoria della probabilità usata in QM è intrinsecamente diversa da quella comunemente usata per il seguente motivo: lo spazio degli eventi è non commutativo (più propriamente non booleano ) e questo fatto influenza profondamente la teoria della probabilità condizionata . La probabilità che A accada se B è accaduto è calcolata in modo diverso nella teoria della probabilità classica e nella teoria quantistica, quando A e B sono eventi quantistici incompatibili . In entrambi i casi la probabilità è una misura su un reticolo , ma, nel caso classico, il reticolo è un booleano (una $ \ sigma $ -algebra), nel caso quantistico non lo è.
Per essere più chiari, la probabilità classica è una mappa $ \ mu: \ Sigma (X) \ a [0,1] $ in modo tale che $ \ Sigma (X) $ sia una classe di sottoinsiemi dell'insieme $ X $ compreso $ \ emptyset $ , chiuso rispetto al complemento e al unione numerabile e tale che $ \ mu (X) = 1 $ e: $$ \ mu (\ cup_ {n \ in \ mathbb N} E_n) = \ sum_n \ mu (E_n) \ quad \ mbox {if $ E_k \ in \ Sigma (X) $ con $ E_p \ cap E_q = \ emptyset $ per $ p \ neq q $. } $$ Gli elementi di $ \ Sigma (X) $ sono gli eventi la cui probabilità è $ \ mu $ . In questa visualizzazione, ad esempio, se $ E, F \ in \ Sigma (X) $ , $ E \ cap F $ viene interpretato logicamente come l'evento " $ E $ AND $ F $ ".
Allo stesso modo $ E \ cup F $ corrisponde a " $ E $ O $ F $ " e $ X \ setminus F $ ha il significato di "NOT $ F $ "e così via. La probabilità di $ P $ quando $ Q $ viene fornita verifica $$ \ mu (P | Q) = \ frac {\ mu (P \ cap Q)} {\ mu (Q)} \:. \ tag {1} $$
Se invece consideri un sistema quantistico, ci sono "eventi", cioè proposizioni elementari "sì / no" testabili sperimentalmente, che non possono essere unite da operatori logici AND e OR.
Un esempio è $ P = $ "il $ x $ componente dello spin di questo elettrone è $ 1/2 $ "e $ Q = $ " il $ y $ è $ 1/2 $ ". Non esiste alcun dispositivo sperimentale in grado di assegnare un valore di verità a $ P $ e $ Q $ simultaneamente , in modo che le proposizioni elementari come " $ P $ e $ Q $ " non facciano senso. Coppie di proposizioni come $ P $ e $ Q $ sopra sono fisicamente incompatibili .
Nelle teorie quantistiche (la versione più elementare dovuta a von Neumann), gli eventi di un sistema fisico sono rappresentati dai proiettori ortogonali di uno spazio di Hilbert separabile $ H $ . L'insieme $ {\ cal P} (H) $ di questi operatori sostituisce il classico $ \ Sigma (X) $ .
In generale, il significato di $ P \ in {\ cal P} (H) $ è qualcosa di simile
"il valore dell'osservabile $ Z $ appartiene al sottoinsieme $ I \ subset \ mathbb R $ " per alcuni $ Z $ osservabili e per alcuni set $ I $ . Esiste una procedura per integrare una tale classe di proiettori etichettati su sottoinsiemi reali per costruire un operatore autoaggiunto $ \ hat {Z} $ associato alla classe $ Z $ , e questo non è altro che il significato fisico del teorema di decomposizione spettrale .
Se $ P, Q \ in {\ cal P} (H) $ , ci sono due possibilità: $ P $ e $ Q $ pendolari oppure no .
L'assioma fondamentale di Von Neumann afferma che la commutatività è il corrispondente matematicamente della compatibilità fisica .
Quando $ P $ e $ Q $ fanno il pendolare, $ PQ $ e $ P + Q-PQ $ sono ancora proiettori ortogonali, cioè elementi di $ {\ cal P} (H) $ .
In questa situazione, $ PQ $ corrisponde a " $ P $ AND $ Q $ ", mentre $ P + Q-PQ $ corrisponde a" $ P $ OR $ Q $ " e così via, in particolare "NOT $ P $ "viene sempre interpretato come il proiettore ortogonale su $ P (H) ^ \ perp $ (il sottospazio ortogonale di $ P (H) $ ), e tutto il formalismo classico è vero in questo modo.
In effetti, un insieme massimo di proiettori per pendolarismo a coppie ha proprietà formali identiche a quelle della logica classica: è un booleano $ \ sigma $ -algebra.
In questa immagine, uno stato quantistico è una mappa che assegna la probabilità $ \ mu (P) $ che $ P $ viene verificato sperimentalmente in ogni $ P \ in {\ cal P} (H) $ .It deve soddisfare: $ \ mu (I) = 1 $ e $$ \ mu \ left (\ sum_ {n \ in \ mathbb N} P_n \ right) = \ sum_n \ mu (P_n) \ quad \ mbox {if $ P_k \ in {\ cal P} (H) $ con $ P_p P_q = P_qP_p = 0 $ per $ p \ neq q $.} $$
Celebre Teorema di Gleason , stabilisce che, se $ \ text {dim} (H ) \ neq 2 $ , le misure $ \ mu $ sono tutte nella forma $ \ mu (P ) = \ text {tr} (\ rho_ \ mu P) $ per alcuni stati misti $ \ rho_ \ mu $ (un operatore di classe trace positivo con unit trace), determinato biunivocamente da $ \ mu $ . Nella se convessa t degli stati, gli elementi estremi sono gli stati puri standard. Sono determinati, fino a una fase, da vettori unitari $ \ psi \ in H $ , in modo che, con qualche banale calcolo (completando $ \ psi_ \ mu $ su una base ortonormale di $ H $ e utilizzando quella base per calcolare la traccia), $$ \ mu (P) = \ langle \ psi_ \ mu | P \ psi_ \ mu \ rangle = || P \ psi_ \ mu || ^ 2 \:. $$
(Al giorno d'oggi, esiste una versione generalizzata di questa immagine, in cui l'insieme $ {\ cal P} (H) $ è sostituito dalla classe di positivo limitato operatori in $ H $ (i cosiddetti "effetti") e il teorema di Gleason è sostituito dal teorema di Busch con un'affermazione molto simile.)
La probabilità quantistica è quindi data dalla mappa, per un dato stato generalmente misto $ \ rho $ , $$ {\ cal P} (H) \ ni P \ mapsto \ mu (P) = \ text {tr} (\ rho_ \ mu P) $$
È chiaro che, non appena si tratta di proposizioni fisicamente incompatibili , (1) non può valere solo perché non c'è niente come $ P \ cap Q $ nell'insieme delle proposizioni quantistiche fisicamente sensibili. Tutto ciò è dovuto al fatto che lo spazio degli eventi $ {\ cal P} (H) $ span> è ora un non commutativo str ong> set di proiettori, dando origine a un reticolo non booleano.
La formula che sostituisce (1) è ora:
$$ \ mu (P | Q) = \ frac {\ text {tr} (\ rho_ \ mu QPQ)} {\ text {tr} (\ rho_ \ mu Q)} \ tag {2} \:. $$ span>
Al suo interno, $ QPQ $ è un proiettore ortogonale e può essere interpretato come " $ P $ AND $ Q $ "(ovvero $ P \ cap Q $ ) quando $ P $ e $ Q $ sono compatibili. In questo caso (1) è di nuovo vero. (2) dà origine a tutte le "cose strane" che si manifestano negli esperimenti quantistici (come in quello a doppia fenditura). In particolare, il fatto che, in QM, le probabilità siano calcolate combinando ampiezze di probabilità complesse deriva da (2).
(2) si basa solo sul postulato di riduzione di von Neumann-Luders affermando che, se il risultato della misurazione di $ P \ in {\ cal P} (H) $ è YES quando lo stato era $ \ mu $ (cioè $ \ rho_ \ mu $ ), lo stato immediatamente dopo la misurazione è $ \ mu '$ associato a $ \ rho _ {\ mu '} $ con
$$ \ rho _ {\ mu'}: = \ frac { P \ rho_ \ mu P} {\ text {tr} (\ rho_ \ mu P)} \:. $$
ADDENDUM . In realtà, è possibile estendere la nozione di operatori logici AND e OR per tutte le coppie di elementi in $ {\ cal P} (H) $ e quello era il programma di von Neumann e Birkhoff (la logica quantistica ). Infatti solo la struttura reticolare di $ {\ cal P} (H) $ lo consente, o meglio è esso. Con questa nozione estesa di AND e OR, " $ P $ AND $ Q $ " è il proiettore ortogonale su $ P (H) \ cap Q (H) $ mentre " $ P $ OPPURE $ Q $ "è il proiettore ortogonale sulla chiusura dello spazio $ P (H) + Q (H) $ . Quando $ P $ e $ Q $ commutano queste nozioni di AND e OR si riducono a quelle standard. Tuttavia, con le definizioni estese , $ {\ cal P} (H) $ diventa un reticolo nel senso matematico corretto, dove la relazione di ordine parziale è data dall'inclusione standard di sottospazi chiusi ( $ P \ geq Q $ significa
$ P (H) \ supset Q (H) $ ). Il punto è che l'interpretazione fisica di questa estensione di AND e OR è non chiaro. Il reticolo risultante è tuttavia non booleano. In altre parole, per esempio, questi AND e OR estesi non sono distributivi come lo sono gli AND e OR standard (questo rivela la loro natura quantistica). Tuttavia, mantenendo anche la definizione di "NOT $ P $ " come proiettore ortogonale su $ P (H) ^ \ perp $ , la struttura trovata di $ {\ cal P} (H) $ è ben nota: A $ \ sigma $ -completo, delimitato, ortodomodulare, separabile, atomico, irriducibile e verificante la proprietà di copertura, reticolo. Intorno al 1995 è stata definitivamente dimostrata, da Solér, una congettura dovuta a von Neumann che afferma che ci sono solo tre possibilità per realizzare praticamente tali reticoli: Il reticolo di proiettori ortogonali in uno spazio di Hilbert complesso separabile, il reticolo di proiettori ortogonali in uno spazio di Hilbert reale separabile, il reticolo di proiettori ortogonali in uno spazio di Hilbert quaternionico separabile.
Il teorema di Gleason è valido nei tre casi. L'estensione al caso quaternionico è stata ottenuta da Varadarajan nel suo famoso libro 1 sulla geometria della teoria quantistica, tuttavia una lacuna nella sua dimostrazione è stata risolta in questo articolo pubblicato di cui sono coautore 2
Assumendo la simmetria di Poincaré, almeno per i sistemi elementari (particelle elementari), il caso degli spazi di Hilbert reale e quaternionico può essere escluso (ecco un paio di lavori pubblicati che ho scritto sull'argomento: 3 e 4).
ADDENDUM2 . Dopo una discussione con Harry Johnston, penso che valga la pena menzionare un'osservazione interpretativa sul contenuto probabilistico dello stato $ \ mu $ all'interno dell'immagine che ho illustrato sopra. In QM $ \ mu (P) $ è la probabilità che, se ho eseguito un certo esperimento (per controllare $ P $ ), $ P $ risulterebbe vero. Sembra che qui ci sia una differenza rispetto alla nozione classica di probabilità applicata a sistemi classici. Lì, la probabilità si riferisce principalmente a qualcosa di già esistente (e alla nostra conoscenza incompleta di esso). Nella formulazione del QM che ho presentato sopra, la probabilità si riferisce invece a ciò che accadrà se ...
ADDENDUM3 . Per $ n = 1 $ il teorema di Gleason è valido e banale. Per $ n = 2 $ esiste un controesempio noto. $ \ mu_ \ nu (P) = \ frac {1} {2} (1+ (v \ cdot n_P) ^ 3) $ dove $ v $ è un vettore di unità in $ \ mathbb R ^ 3 $ e $ n_P $ è il vettore unità in $ \ mathbb R ^ 3 $ associato al proiettore ortogonale $ P: \ mathbb C ^ 2 \ to \ mathbb C ^ 2 $ nella sfera Bloch: $ P = \ frac {1} {2} \ left (I + \ sum_ { j = 1} ^ 3 n_j \ sigma_j \ right) $ .
ADDENDUM4 . Dal punto di vista della probabilità quantistica, il postulato di riduzione di von Neumann-Luders ha un'interpretazione molto naturale. Supponiamo che $ \ mu $ sia una misura di probabilità sul reticolo quantistico $ {\ cal P} (H) $ span> che rappresenta uno stato quantistico e supponi che la misurazione di $ P \ in {\ cal P} (H) $ , in quello stato, abbia esito $ 1 $ . Lo stato di post misurazione è quindi rappresentato da $ \ mu_P (\ cdot) = \ mu (P \ cdot P) $ , proprio in vista del postulato di cui sopra.
È facile dimostrare che $ \ mu_P: {\ cal P} (H) \ to [0,1] $ è l'unica misura di probabilità tale che $$ \ mu_P (Q) = \ frac {\ mu (Q)} {\ mu (P)} \ quad \ mbox {if $ Q \ leq P $} \ :. $$