Capitolo 1

La matrice densità

1.1 Alcuni richiami generali di meccanica quantistica

In Meccanica Quantistica, un sistema è completamente determinato una volta noto il suo stato ad un tempo inizia-
le. Lo stato quantistico caratterizza completamente il sistema e l’equazione di Schrödinger ne descrive l’evoluzione
deterministica. In altri termini, si può dire che la conoscenza dello stato rappresenta tutta l’informazione che si può
avere sul sistema.
Elenchiamo brevemente alcuni concetti di meccanica quantistica che ci saranno utili nel seguito

1. La dinamica dello stato è data dall’equazione di Schrödinger

∂
i~ |ψi = H|ψi (1.1)
∂t

2. Dato lo stato iniziale |ψ(0)i, il suo evoluto si ottiene applicando ad esso un operatore unitario (operatore di
evoluzione)

|ψ(t)i = U (t)|ψ(0)i (1.2)

e tale operatore si determina risolvendo la (1.1). In particolare, per H indipendente dal tempo,

H
U (t) = e−i ~ t (1.3)

3. Gli stati si intendono normalizzati a 1:

hψ|ψi = 1. (1.4)

L’evoluzione, così come l’applicazione di una qualsiasi trasformazione unitaria, conserva la norma.

hψ(t)|ψ(t)i = hψ(0)| U † (t)U (t) |ψ(0)i = hψ|ψi = 1. (1.5)

| {z }
1

9
10

4. Un’osservabile A è un operatore hermitiano (A† = A) che agisce sullo spazio di Hilbert dello stato del sistema.
Gli autovalori di A rappresentano i possibili risultati di una misura. Va notato che tali risultati possono non
essere noti in maniere deterministica pur essendolo lo stato 1 .

5. Un proiettore è un operatore unitario che agisce su un vettore, appartenente ad uno spazio di Hilbert H di
dimensione N , trasformandolo nella sua componente appartenente ad un sottospazio H̄ ∈ H di dimensione M .
Sia {|1i, |2i, · · · , |N i} una base ortonormale di H e sia H̄ il sottospazio generato dai vettori {|1i, |2i, · · · , |M i},
il proiettore su tale stato è
M
X
P = |jihj| (1.6)
l=1

6. Gli autostati di un osservabile A definiscono un a base ortonormale {|aj i}

A|aj i = aj |aj i (1.7)

e lo stato del sistema può essere rappresentato mediante tale base come
X
|ψi = bj |aj i. (1.8)
j

La misura di A è un processo proiettivo che porta |ψi in una delle sue componenti |aj i con probabilità pj = |bj |2 .

7. La media di A è il valore medio dei risultati ottenuti dopo un numero elevato di misure.
X
hAi = aj pj = hψ|A|ψi (1.9)
j

1.2 Matrice densità per uno stato puro

È possibile associare allo stato di un sistema quantistico il proiettore corrispondente

|ψi → ρ = |ψihψ| (1.10)

ρ è detto matrice densità relativo allo stato puro |ψi. Descrivere il sistema per mezzo di |ψio di ρ, in questo caso,
è del tutto equivalente, tuttavia l’utilizzo del secondo strumento risulta più comodo in alcuni casi, ad esempio nella
definizione del processo di misura. Dato un osservabile A e i suoi autostati {|aj i} ,possiamo introdurre i proiettori su
tali stati
Mj = |aj ihaj |,

quindi la probabilità che, misurando A a partire dallo stato |ψi, il sistema si porti nello stato |aj i è data da

pj = Tr [Mj ρ] (1.11)

DIM:

X X
Tr [Mj ρ] = hak |Mj ρ|ak i = hak |aj ihaj |ψihψ|ak i = haj |ψihψ|aj i = pj
k k

1 La natura probabilistica della meccanica quantistica emerge soltanto in termini di un processo di misura, non in termini di stato
quantistico e della sua evoluzione.
 11

Analogamente, possiamo indicare la media quantistica di A con

hAi = Tr [Aρ]

DIM:

X
Tr [Aρ] = hψk |A|ψihψ|ψk i
k
dove {|ψk i}è una base scelta in modo tale che |ψ1 i = |ψi, in questo modo si ha

Tr [Aρ] = hψ1 |A|ψihψ|ψ1 i = hψ|A|ψi

1.3 Matrice densità per ensemble di stati puri

Lo stato di un sistema non è , in generale, conosciuto perfettamente, per questo motivo occorre introdurre un approccio
statistico. Il sistema non è più descritto da uno stato puro ma da un insieme di stati (non necessariamente ortogonali)
ad ognuno dei quali è associata una certa probabilità

|ψ1 i → p1 


X
|ψ2 i → p2 pj = 1, (1.12)

.. 
 j
. 

indichiamo questo insieme con {|ψj i, pj }. In questo caso non parleremo più di stato puro ma di stato misto (oppure
mistura statistica). Va notato che, per questi stati, esiste una vera e propria ignoranza sul sistema che non deriva
dalla sua natura quantistica. Confrontando con il caso precedente:

Stato puro :

• Stato perfettamente noto (massima conoscenza del sistema)

• Indeterminazione quantistica sulla misura

Stato misto :

• Lo stato non è del tutto noto (si introduce un ensemble di stati)

• Indeterminazione sulla misura classica e quantistica

Le medie degli operatori sono, ora, delle medie sia quantistiche che di ensemble
X
hAi = pj hψj |A|ψj i (1.13)
j
12

ossia occorre effettuare una media statistica su tutte le medie quantistiche fatte rispetto a ciascuno stato dell’ensemble.
È possibile adottare un unico formalismo per i sistemi quantistici, sia che essi siano in uno stato puro che in
uno stato mescolato, introducendo una definizione più generale della matrice densità . Dato l’ensemble {|ψj i, pj } si
definisce la sua matrice densità come

P
ρ= j pj |ψj ihψj |. (1.14)

Si vede subito che tale definizione coincide con la (1.10) nel caso in cui tutte le pj , tranne una, vanno a zero (ossia
quando lo stato diventa puro). Si verifica subito che (1.13) equivale a scrivere

hAi = Tr [ρA] (1.15)

così come, analogamente alla (1.11),

p(ak ) = Tr [ρMk ] . (1.16)

La matrice densità è , quindi, un concetto più generale di quello di stato e permette di descrivere sia stati puri che
ensemble di stati con un unico strumento matematico. La matrice densità generalizza il concetto “classico” di densità
di probabilità :
Z
hAi = dxp(x)A(x). (1.17)

D’ora in avanti, seguendo una tradizione oramai consolidata, utilizzeremo il termine stato di un sistema riferendoci,
a seconda dei casi, al suo stato o alla sua matrice densità .

Esercizio 1.3.1 Consideriamo un sistema di spin 1/2 descritto dalle usuali matrici di Pauli. In un caso si abbia lo
stato √ √
3 1
|ψi = |0i + |1i (1.18)
2 2

ed in un altro caso l’ensemble |0i, p0 = 43 ; |1i, p1 = 1
4

1. Scrivere la matrice densità in entrambi i casi

2. Calcolare hσz i nei due casi

3. Calcolare hσx i nei due casi

1.4 Proprietà della matrice densità

Elenchiamo, di seguito le principali proprietà che caratterizzano la matrice densità :

1. Hermiticità
ρ† = ρ (1.19)
 13

2. Traccia unitaria
Tr [ρ] = 1 (1.20)
DIM: Scegliamo una base ortonormale {|ni}
X
Tr [ρ] = hn|ρ|ni =
n
" #
X X X
= pk hn|ψk ihψk |ni = pk hψk | |nihn| hψk | =
n,k k n
X X
= pk |ψk ihψk | = pk = 1 (1.21)
k k

3. ρ è semidefinita positiva, ossia , per qualsiasi stato |χi vale

hχ|ρ|χi ≥ 0. (1.22)

Questo equivale a dire che tutti gli autovalori sono positivi e, per la condizione (1.20), compresi tra 0 ed 1.
DIM:
X
hχ|ρ|χi = pk hχ|ψk ihψk |χi =
k
X
= pk |hχ|ψk i|2 ≥ 0 (1.23)
k

inoltre, per dimostrare che gli autovalori sono compresi tra 0 ed 1, consideriamo la trasformazione canonica V che diagonalizza ρ.
Per quanto detto sopra, si avrà
hχ|V V † ρV V † |χi = hχ|V ρD V † |χi = hχ̄|ρD |χ̄i ≥ 0 (1.24)

dove ρD è la matrice diagonale

X
ρD = λj |jihj| (1.25)
j
avente autovalori λj e autovettori |ji.
X
hχ̄|ρD |χ̄i = λj |hχ̄|ji|2 ≥ 0 ∀|χ̄i (1.26)
j
P
segue che λj ≥ 0. Quindi, essendo Trρ = j λj = 1, ne deriva che λj ≤ 1.

Le proprietà elencate sono delle condizioni necessarie e sufficienti: ogni matrice densità le soddisfa e ogni operatore
che le soddisfi può essere interpretato come una matrice densità .

1.4.1 Purity

Definiamo la grandezza
 
P = Tr ρ2 (1.27)

detta purity. Essa gode della proprietà

0≤P ≤1 (1.28)
14

dove P = 1 si verifica se e solo se ρ è uno stato puro.

DIM: Ricordando che la traccia è invariante sotto trasformazioni canoniche, mettiamoci nella base in cui ρ è diagonale. In tale base
È immediato vedere che
X
P = λ2j (1.29)
j

con λj autovalori di ρ. Per quanto detto precedentemente, tali autovalori sono positivi minori o uguali a uno e la loro somma è uno. Quindi
X
λ2j ≤ 1 (1.30)
j

a meno che solo uno dei λ sia non nullo (e quindi pari a 1), in tal caso lo stato è puro e P = 1.

Inoltre, è immediato rendersi conto che P è minima quando tutti gli autovalori di ρ sono uguali λj = 1/N (dove N
è la dimensione dello spazio di Hilbert dello stato del sistema), in tal caso si ha P = 1/N . Questo caso corrisponde allo
stato massimamente mescolato, quello, cioè , in cui la nostra ignoranza è massima. Vedremo in seguito che, proprio per
questo motivo, stati massimamente mescolati corrispondono ad un massimo dell’entropia. Possiamo, quindi, fornire
degli estremi più precisi per P
1
N ≤P ≤1 (1.31)

La Purity fornisce, quindi, una sorta di “misura” del grado di purezza di uno stato. Quanto più ρ si avvicina ad 1,
tanto più lo stato si avvicina ad uno stato puro (e quindi aumenta la nostra conoscenza dello stato stesso).

Esercizio 1.4.1 Calcolare la purity della matrice densità

 
a b
ρ=  (1.32)
b∗ 1−a

1.4.2 Evoluzione temporale della matrice densità

Così come la matrice densità è stata definita a partire da proiettori su stati quantistici, così la sua evoluzione temporale
deriva da quella di tali stati.
X
ρ(t) = pk |ψk (t)ihψk (t)|. (1.33)
k

Nel caso di evoluzione di Schrödinger ,

|ψk (t)i = U (t)|ψk (0)i (1.34)

∂
i~ U (t)|ψk (0)i = HU (t)|ψk (0)i (1.35)
∂t
d
i~ U (t) = HU (t) (1.36)
dt

ρ(t) = U (t)ρ(0)U † (t) (1.37)

d ∂ d i
ρ(t) = U (t)ρ(0)U † (t) + U (t)ρ(0) U † (t) = − [H, ρ(0)]t (1.38)
dt ∂t dt ~
 15

quindi, per la matrice densità vale l’equazione del moto 2

∂
i~ ∂t ρ(t) = [H, ρ]t (1.40)

In Particolare, se l’Hamiltoniana è indipendente dal tempo, l’evoluzione è data da

Ht Ht
ρ(t) = e− ~ ρ(0)e ~ . (1.41)

Notare che la matrice densità evolve con il tempo invertito rispetto agli operatori in rappresentazione di Heisen-
berg, essa, a differenza degli altri operatori, dipende dal tempo nella rappresentazione di Schrödinger mentre ed è
indipendente dal tempo in rappresentazione di Heisenberg. Per chiarire questo concetto, scriviamo le medie di un
operatore nelle due rappresentazioni

hAi = Tr [ρS (t)AS ] = Tr [ρH AH (t)]

ρS (t) = U (t)ρU † (t)

AH (t) = U † (t)AU (t)

Abbiamo visto che, in meccanica quantistica, si può definire anche un tipo di evoluzione che si contrappone a quella
deterministica data dall’equazione di Schrödinger e che si riferisce al processo di misura. In questo caso il pacchetto
d’onda si riduce ed evolve in un autostato dell’osservabile, con una certa probabilità . Questo, in termini di matrice
densità , significa che lo stato passa da uno stato puro ad una mistura statistica. Per cui, data un’osservabile A con
autostati {|ψk i}, la matrice densità di uno stato puro, prima della misura, è data da

ρpre = |ψihψ| (1.42)

con
X
|ψi = bk |ψk i. (1.43)
k

Dopo la misura evolve in

X
ρpost = |bk |2 |ψk ihψk |. (1.44)
k

Esercizio 1.4.2 (Stern-Gerlach) Un fascio di particelle, tutte con spin | ↑i, caratterizzato da una matrice densità
ρ0 , viene inviato in uno Stern-Gerlach orientato lungo x. Dopo l’interazione la matrice densità cambia in ρ1 . A questo
punto uno dei due fasci in cui le particelle iniziali si sono divise (per esempio il fascio con spin |+i) viene inviato in
un altro Stern-Gerlach, questa volta orientato lungo z, a seguito del quale la matrice densità diventa ρ2 . Determinare
ρ0 , ρ1 , ρ2 .
2 Questa equazione rappresenta l’analogo quantistico del teorema di Liouville in meccanica classica

∂
ρcl (t) = − {H, ρcl }cl (1.39)
∂t
dove con {· · · }cl vengono indicate le parentesi di Poisson.
16

1.4.3 Non univocità della matrice densità

Va notato che la stessa matrice densità può riferirsi a diversi ensemble di stati

Esempio 1.4.1 Consideriamo un sistema a due livelli e la base ortonormale | ↑i, | ↓i. Prendiamo in considerazione
i due ensemble di stati | ↑i, 3/4; | ↓i, 1/4 e |α+ i, 1/2; |α− i, 1/2 avendo definito
r r
3 1
|α± i = | ↑i ± | ↓i. (1.45)
4 4
Notiamo che i due stati così definiti non sono ortogonali. Possiamo costruire le matrici densità corrispondenti ai due
ensemble:
3 1
ρ1 = | ↑ih↑ | + | ↓ih↓ |
4 4
1 1
ρ2 = |α+ ihα+ | + |α− ihα− |.
2 2
Con semplici passaggi è facile rendersi conto che ρ1 = ρ2 , ossia a due ensemble diversi corrisponde la stessa matrice
densità .

Quali classi di ensembles danno luogo alla stessa matrice densità ? Consideriamo un ensemble diN stati {pj , |ψj i}
(ricordare che N può essere grande a piacere e non è vincolato dalla dimensione dello spazio di Hilbert), corrispondente
alla matrice densità
N
X
ρ= pj |ψj ihψj | (1.46)
j=1

quali sono gli altri ensemble checorrispondono alla stessa ρ? Utilizziamo il seguente trucchetto per conteggiare gli stati
dell’ensemble:

1. passiamo dagli stati normalizzati |ψj i agli stati |ψ˜j i (non più normalizzati ad 1)
√
|ψj i → |ψ˜j i = pj |ψj i (1.47)

2. assegnamo all’indice j valori fino all’infinito e definiamo gli stati come:


 √p |ψ i j≤N
j j
|ψ˜j i = (1.48)
 0 j>N

In questo modo posso caratterizzare qualsialsi ensemble {qj , |φj i} di un numero qualsiasi M di elementi passando dai
suoi elementi naturali |φj i agli elementi

 √q |φ i j≤M
j j
|φ˜j i = (1.49)
 0 j>M
n o n o
Lemma 1.4.1 I set |ψ˜j i e |φ˜j i generano la stessa matrice densità se e solo se
X
|φ˜j i = ui,j |ψ˜j i (1.50)
j

con ui,j una matrice unitaria.

 17

DIM:

1. Se . . .

∞
X ∞
X
ρ = |ψ̃i ihψ̃i | = ui,j |φ˜j ihψ˜k |u∗i,k =
i=1 k,i,j=1
∞
X ∞
X
= |φ˜j ihψ˜k | ui,j u∗i,k =
k,j=1 k,j=1
| {z }
δk,j
∞
X
= |φ˜k ihφ˜k | (1.51)
k=1

2. Solo se . . .

Supponiamo che
∞
X ∞
X
ρ= |ψ̃i ihψ˜i | = |φ˜k ihφ˜k |. (1.52)
i=1 k=1
Effettuaiamo la decomposizione spettrale, ossia scriviamo la ρ in forma diagonale
d
X
ρ= λk |kihk| (1.53)
k=1

dove d è la dimensione dello spazio di Hilbert e |ki sono gli autostati di ρ. Definiamo gli autostati non normalizzati
8
< √λ |ki k≤d
k
|k̃i = (1.54)
: 0 k>d

ed esprimiamo |ψ̃i i in termini di tali vettori

∞
X
|ψ̃i i = ci,k |k̃i. (1.55)
k=1
∞
X ∞
X ∞
X
ρ= |k̃ihk̃| = |ψ̃i ihψ˜i | = ci,k c∗i,j |k̃ihj̃| (1.56)
k=1 i=1 i,j,k=1

questo implica che deve valere

X
ci,k c∗i,j = δj,k (1.57)
j

ossia ci,k deve essere unitaria. In forma compatta, si può scrivere

|ψ˜k i = C|k̃i. (1.58)

n o
Un discorso analogo si può fare per un qualsiasi ensemble di stati |φ˜k i che corrispondono alla stessa matrice densità ρ:

|φ˜k i = D|k̃i. (1.59)

quindi
|φ˜k i = DC −1 |ψ˜k i (1.60)

ma, poichè D e C sono unitarie, anche il prodotto DC −1 lo è , come si voleva dimostrare.

Definizione 1.4.1 Un ensemble minimo per ρ è un ensemble contenente un numero di elementi minore o pari al
rango di ρ.
18

1.4.4 Fidelity

Si può definire una sorta di “distanza” fra matrici densità . Una delle possibili definizioni è la cosiddetta Fidelity: data
una matrice densità ρ′ di riferimento, la fidelity di un’altra matrice densità ρ rispetto ad essa è

F = Tr {ρ′ ρ} (1.61)

in particolare, se ρ′ = |ψihψ|
F = hψ|ρ|ψi (1.62)

1.5 Ensemble canonico

Nel caso di un insieme discreto classico di configurazioni, si può definire l’Entropia a partire dai possibili risultati di
una misura. Siano {pi } le probabilità relative a ciascun possibile risultato della misura. In termini “frequentistici”
pi = ni /n ossia il rapporto fra numero di uscite del risultato i-esimo e il numero totale di misurazioni.
Considerando n misure, il numero di modi per riarrangiare i gli n risultati è

n!
W = (1.63)
n1 !n2 · · ·

passando al logaritmo ed utilizzando l’approsimazione di Stirling3 per i fattoriali si ottiene

X X
ln W ≃ n ln n − ni ln ni = −n pi ln pi (1.64)
i i

L’entropia (di Shannon) è data da

ln W X
Scl = =− pj ln pj . (1.65)
n j

Nel caso quantistico, dato uno stato ρ posso cercare di ottenere informazioni sul sistema effettuando una misura
ortogonale. Per ogni misura corrisponde una distribuzione diversa di probabilità {pk } relative ai possibili risultati della
misura. Ciascuna distribuzioni definisce una diversa entropia di Shannon. Ciò significa che ogni misura fornisce una
quantità diversa di informazione. Si dimostra che, fra queste misure , quella per cui è minima l’entropia di Shannon
corrisponde ad una misura proiettiva sugli autostati di ρ. Possiamo quindi introdurre la così detta entropia di Von
Neumann

S = − Tr(ρ ln ρ) (1.66)

che corrisponde proprio al valore minim0 dell’entropia di Shannon. Uno studio più esteso dell’entropia verrà fatto nel
capitolo (??).
3 Memento
√ “ n ”n
n! ≃ 2πn
e
ln n! ≃ n ln n − n
 19

Per ora limitiamoci a ricavare l’espressione della matrice densità nell’ensemble canonico, imponendo che sia massima
l’entropia con, in più , il vincolo che sia costante l’energia media. Possiamo utilizzare il metodo dei moltiplicatori di
Lagrange con i seguenti vincoli:

Tr [ρH] = hEi (1.67)

Tr [ρ] = 1. (1.68)

Variando ρ si ha

δS = Tr [(1 + ln ρ)δρ] = 0 (1.69)

Tr [δρ] = 0 (1.70)

Tr [Hδρ] = 0 (1.71)

Introducendo due moltiplicatori di Lagrange λ e η si ottiene

Tr [(1 + ln ρ + λ + ηH)δρ] = 0. (1.72)

Poichè δρ è arbitrario e tutte le variazioni sono indipendenti, la (1.72) è soddisfatta se e solo se

1 + ln ρ + λ + ηH = 0 (1.73)

ossia
ρ = e−(1+λ) e−ηH . (1.74)

Determiniamo, ora, i coefficienti

 
Tr [ρ] = 1 = e−(1+λ) Tr e−ηH (1.75)
 
e(1+λ) = Tr e−ηH , (1.76)

quindi
e−ηH
ρ= (1.77)
Tr [e−ηH ]
Per determinare η consideriamo, per esempio, un modo di radiazione all’equilibrio termico a temperatura T

H = ~ωa† a (1.78)

P †
~ω hn|a† ae−η~ωa a |ni
hEi = Pn −η~ωa† a |ni
n hn|e
~ω
= η~ω
(1.79)
e −1

Per il teorema di equipartizione, nel limite di ~ → 0, si deve avere hEi = kT (due gradi di libertà quadratici) quindi

1
lim hEi = = kT (1.80)
~→0 η
20

ossia η = β. In definitiva, abbiamo ottenuto che

e−βH (1.81)
ρ= Z

con
 
Z = Tr e−βH (1.82)

funzione di partizione canonica. L’entropia corrispondente è

S = βhEi + ln Z (1.83)

con
∂
hEi = − ln Z (1.84)
∂β

1.6 Matrice densità ridotta

Fin qui abbiamo parlato di sistemi definiti su di un solo spazio di Hilbert. In questa sezione ci dedichiamo a studiare
come caratterizzare un sistema bipartito, intendendo, con questo termine, un sistema composito formato da due
sottosistemi e che indicheremo con A e B. Lo spazio di Hilbert complessivo è

H = HA ⊗ HB . (1.85)

Indicando la matrice densità del sistema composito con ρAB , possiamo definire, a partire da essa, una nuova matrice
densità relativa ad uno solo dei due sottosistemi e detta matrice densità ridotta. La matrice densità ridotta del sistema
Aè
ρA = TrB [ρAB ] , (1.86)

dove con TrB si intende la traccia fatta sui gradi di libertà del sistema B 4 . In maniera del tutto simmetrica, per il
sistema B si ha
ρB = TrA [ρAB ] . (1.89)

La matrice densità ridotta ha tutte le caratteristiche di una matrice densità (nello spazio del sottosistema):

• È hermitiana
ρ†A = ρA (1.90)
DIM: Per un set completo {|mi} ∈ HB ,
X X
ρ†A = hm|ρ†AB |mi = hm|ρAB |mi = ρA (1.91)
m m

dove si è sfruttata la proprietà (1.19) di hermiticità di ρAB .

4 Consideriamo un set completo di stati ortonormali in HB

{|mi} ∈ HB , (1.87)

la traccia su B di un operatore MAB definito su A e B è

X
TrB [MAB ] = hm|MAB |mi (1.88)
m
 21

• Ha traccia unitaria
TrA [ρA ] = 1 (1.92)
DIM: Eseguiamo la traccia in una una base ortonormale di A {|ψn i} ∈ HA :
X X
TrA [ρA ] = hψn |ρA |ψn i = hψn |hm|ρAB |mi|ψn i = Tr [ρAB ] = 1 (1.93)
n n,m

avendo sfruttato il fatto che il prodotto delle due basi un A e B formano una base completa in AB e la proprietà (1.20) .

• È semidefinita positiva in HA , ossia per ogni |χA i ∈ HA

hχA |ρA |χA i ≥ 0 (1.94)

DIM:
X
hχA |ρA |χA i = hχA | hm|ρAB |mi|χA i ≥ 0 (1.95)
m
dove si è usata la proprietà (1.22) per ρAB .

Perchè si sceglie proprio la matrice densità ridotta per studiare un sottosistema? A prima vista sembrerebbe che,
seppure ragionevole, tale scelta sia un po’ arbitraria. In realtà questo non è vero e definire la matrice densità ridotta,
non solo non è arbitrario, ma è anche l’unica scelta possibile consistente con la statistica che si ottiene effettuando
misure sul solo sottosistema
DIM: Supponiamo che M sia un osservabile per il sistema A, vogliamo trovare un operatore σA in A che sia un operatore densità e
che descrivi la statistica del sottosistema A in modo coerente, ossia in modo da avere (per qualsiasi M )

hM i = Tr [ρAB M ] = TrA [σA M ] (1.96)

vogliamo dimostrare che la scelta σA = ρA è , non solo una scelta compatibile con tale richiesta, ma anche l’unica.

1. Dimostriamo che ρA è compatibile

X (A) (A)
TrA [M ρA ] = hψn |M hmB |ρAB |mB i|ψn i = Tr [M ρAB ] (1.97)
n,m

2. Ora bisogna vedere che ρA è l’unica scelta possibile. Definiamo un mapping generico f (ρAB ) che porti ρAB in ρA tale che

f (ρAB ) = σA (1.98)

e
TrA [M f (ρAB )] = Tr [M ρAB ] (1.99)

per qualsiasi M definito in A. Consideriamo, ora un set completo {Mi } di operatori per lo spazio degli operatori hermitiani di A,
ortonormale rispetto al prodotto di Hilbert-Schmidt

(X, Y ) = Tr [XY ] . (1.100)

22

Quindi, un operatore in A può essere scomposto come

X X
OA = Mi (Mi , OA ) = Mi TrA [Mi OA ] (1.101)
i i
In particolare, questo è vero per f
X
f (ρAB ) = Mi TrA [Mi f ] (1.102)
i
tuttavia, per ipotesi, deve valere la (1.99), quindi
X X
f (ρAB ) = Mi Tr [Mi ρAB ] = Mi TrA [Mi TrB [ρAB ]] (1.103)
i i
il che implica che
f (ρAB ) = TrB [ρAB ] = ρa (1.104)

Un altro aspetto molto importante della matrice densità ridotta è la sua evoluzione. Sappiamo che ρAB evolve in
maniera unitaria secondo l’equazione di Schrödinger

ρAB (t) = U (t)ρAB U † (t) (1.105)

l’evoluzione di ρA si ottiene tracciando su B:

 
ρA (t) = TrB U (t)ρAB U † (t) , (1.106)

questo significa che, tranne in alcuni casi, non è più possibile scrivere

ρA (t) = Ũ (t)ρA Ũ † (t) (1.107)

ossia, l’evoluzione non è unitaria. Questo fatto implica che uno stato puro può evolvere in uno stato mescolato e
viceversa, cosa assolutamente impossibile in un’evoluzione unitaria. Come si vedrà , questo meccanismo è alla base
del fenomeno chiamato decoerenza.

Esempio 1.6.1 (Sistemi separabili) Consideriamo due sistemi separabili, ossia tali che lo stato complessivo sia il
prodotto tensoriale di stati del singolo sottosistema

ρAB = σA ⊗ σB (1.108)

in questo caso le matrici densità ridotte sono semplicemente

ρA = σA

ρB = σB . (1.109)

Inoltre, se i due sistemi non interagiscono

H = H A + HB (1.110)

l’evoluzione delle due matrici densità ridotte è unitaria e lo stato rimane separabile

ρA (t) = e−iHA t ρA (0)eiHA t (1.111)

ρB (t) = e−iHB t ρB (0)eiHB t (1.112)

ρAB (t) = ρA (t) ⊗ ρB (t). (1.113)

 23

Esempio 1.6.2 (Stato entangled) Consideriamo due sistemi a due livelli, descrivibili con il formalismo di spin
1/2. Supponiamo di avere uno stato iniziale puro

1
|ψAB i = √ [|0A 0B i + |1A 1B i] (1.114)
2

questo è un esempio di stato entangled, uno stato, cioè , che non può essere espresso come prodotto tensoriale di stati
appartenenti ai differenti spazi di Hilbert, questa caratteristica verrà analizzata con più attenzione nel capitolo 2. La
matrice densità di AB è
ρAB = |ψAB ihψAB | (1.115)

mentre le matrice densità ridotte sono

1
ρA = (|0A ih0A | + |1A ih1A |)
2
1
ρB = (|0B ih0B | + |1B ih1B |) . (1.116)
2

Quindi, mentre lo stato complessivo è puro, gli stati relativi ai due sottosistemi sono mescolati (in questo caso massima-
mente). In altri termini, mentre sul sistema complessivo abbiamo il massimo della conoscenza possibile, restringendoci
ad un solo sottosistema perdiamo informazione. Questo fatto appare evidente calcolando l’entropia di von Neuman
che, per il sistema composito è
SAB = − Tr [ρAB log2 ρAB ] = 0 (1.117)

mentre per i due sottosistemi

SA = SB = − Tr [ρA log2 ρA ] = 1. (1.118)

Esercizio 1.6.1 Consideriamo il sistema di due particelle di spin 1/2 descritte dalla matrice densità

1 1
ρAB = + |Ψ− ihΨ− | (1.119)
8 2

dove 1 denota la matrice 4 × 4 identità e

1
|Ψ− i = √ (| ↑i| ↓i − | ↓i| ↑i) . (1.120)
2

1. Scrivere le matrici densità ridotte dei due spin

2. Supponiamo di voler misurare il primo spin lungo un asse n e il secondo lungo l’asse m tale che n · m =
cos θ. Qual’è la probabilità che entrambi gli spin abbiano direzione “up” contemporaneamente lungo la rispettiva
direzione di misura?

3. Qual’è la matrice densità dopo la misura?

Esercizio 1.6.2 Supponiamo di voler effettuare un teletrasporto di uno stato

|φi = a|0i + b|1i (1.121)

24

utilizzando uno stato massimamente entangled, ad esempio lo stato di Bell

1
|ΨA,B i = √ (|0A i|0B i + |1A i|1B i) . (1.122)
2

Quale sarà la matrice densità di Bob prima della comunicazione classica? (Per i dettagli del protocollo e per la
soluzione fare riferimento alla sezione (2.4))

1.7 Decomposizione di Schmidt

Prendiamo in considerazione un sistema bipartito (AB) con dimensioni dei sottospazi dA ≤ dB . Scegliamo due basi
{|αn i} e {|βk i} rispettivamente per A e B. Il generico stato di AB è

dA X
X dB dA
X
|ψi = cn,k |αn i|βk i = |φ˜n i|αn i (1.123)
n=1 k=1 n=1

con |φ˜n i stati di B definiti come

X
|φ˜n i = cn,k |βk i (1.124)
n

e, in generale, non necessariamente ortonormali. Consideriamo la matrice densità ridotta relativa allo stato di
dimensione inferiore
ρA = TrB |ψihψ| (1.125)

e supponiamo di aver scelto la base {|αn i} tale che diagonalizzi ρA

X X
ρA = pn |αn ihαn | = hφ˜m |φ˜n i|αn ihαm | (1.126)
n n,m

questa ipotesi implica che hφ˜m |φ˜n i = pn δn,m ossia gli stati

|φ˜n i
|φn i = √ (1.127)
pn

sono ortonormali. Questo procedimento ci permette di arrivare ad una decomposizione dello stato in termini di prodotti
di vettori ortonormali appartenenti ai due sottospazi distinti
X
|ψi = λn |φn iB |αn iB (1.128)
n

√
(λn = pn ), nella somma, così ottenuta, appare un solo indice. Alcune osservazioni:

• La decompsizione di Schmidt è unica (a parte fattori di fase globali) nel caso in cui le λn 6= 0 sono anche non
degeneri. In caso contrario posso scegliere diverse decomposizioni.

• Mentre la decompsizione di Schmidt è sempre possibile in un sistema bipartito, ma non lo è per sistemi
multipartiti.
 25

• Utilizzando (1.128), si ricavano immediatamente le matrici densità ridotte dei due sottosistemi
X
ρA = λ2n |αn ihαn |
n
X
ρB = λ2n |φn ihφn | (1.129)
n

ossia, ρA eρB hanno gli stessi autovalori.

• Si può introdurre una grandezza detta Schmidt number, indicata con m e definita come il numero di λn non
nulli. Questa grandezza è legata all’entanglement fra i due sistemi ed in particolare:

1. Per stati separati m = 1

2. Per stati entangled m > 1

3. Per stati massimamente entangled m = dA com λn = √1

dA

Esempio 1.7.1 Consideriamo lo stato

2 X
X
|ψi = an,j |ni|ji (1.130)
n=0 j=↑,↓

con a0,↑ = a1,↑ = −a2,↑ = √1 , a0,↓ = a1,↓ = √1 e a2,↓ = √1 .

La matrice densità del sistema A è
6 2 3
 
1 1 0
ρA =   (1.131)
2 0 1

quindi ρA è diagonle nella base {| ↑i, | ↓i}. Ne deriva che

1
|φ↑ i = √ [|0i + |1i − |2i]
6
1
|φ↓ i = √ [|0i + |1i + 2|2i] (1.132)
12
quindi la decomposizione di Schmidt dello stato iniziale è
1
|ψi = √ [|φ↑ i| ↑i+| φ↓ i| ↓i] (1.133)
2
Esercizio 1.7.1 Per gli stati a due qubit:
" √ ! √ !#
1 1 3 1 3
|ψi = √ |0A i |0B i + |1B i + |1A i |1B i + |0B i
2 2 2 2 2
1
|ψi = √ [|0A i|0B i + |1A i|1B i]
2
1
|ψi = [|0A i|0B i + |0A i|1B i + |1A i|0B i + |1A i|1B i]
2
1
|ψi = √ [|0A i|0B i + |0A i|1B i + |1A i|1B i] (1.134)
3
1. Calcolare ρA e ρB

2. Trovare la decomposizione di Schmidt

Esercizio 1.7.2 Dimostrare che, in un sistema bipartito, una trasformazione locale non varia l’entanglement. Utiliz-
zare la nozione di entropia per quantificare l’entanglement e sfruttare la decomposizione di Schmidt dello stato.
26

1.8 Purificazioni
Consideriamo un sistema A in uno stato mescolato nella decomposizione ortonormale
X
ρA = pn |nihn|, (1.135)
n

possiamo introdurre un secondo sistema R (eventualmente fittizio), con stessa dimensione di A in modo tale che lo
stato complessivo dei due abbia come decomposizione di Schmidt
X√
|ψAB i = pn |niA |niR (1.136)
n

a tale stato puro corrisponde una matrice densità ridotta di A pari proprio a (1.135), questo stato è detto purificazione
di ρA . Va notato che, data una matrice densità , la sua purificazione non è unica.