Teorema di non discriminazione quantistico

Template:F Il teorema di non discriminazione quantistico afferma che, dati i postulati della meccanica quantistica, non è possibile distinguere con certezza tra due stati non ortogonali di un sistema quantistico di cui si disponga un'unica copia. È invece possibile determinare lo stato con un errore. È possibile inoltre ridurre l'errore ad una quantità piccola a piacere, con tecniche come la tomografia quantistica, aumentando opportunamente le copie a disposizione.

Il teorema è equivalente al teorema di no-cloning quantistico: clonando un numero sufficiente di volte lo stato sarebbe infatti idealmente possibile determinarlo con errore piccolo a piacere. È notevole il fatto che pure essendo i risultati dei due teoremi in accordo, essi derivino da postulati differenti. Il teorema di no-cloning infatti utilizza unicamente il postulato di evoluzione unitaria, mentre il teorema di non discriminazione si basa sul postulato di misura.

Il teorema è inoltre legato ad altri risultati di teoria dell'informazione quantistica. In particolare impedisce il trasferimento di informazione più veloce della luce nel caso del teletrasporto quantistico.

Enunciato del teorema

Si consideri un sistema quantistico H e si supponga di voler determinare con sicurezza se H è in uno dei due stati non ortogonali

$|{\psi }_1⟩,|{\psi }_2⟩,⟨{\psi }_1|{\psi }_2⟩=\beta \ne 0$.

Per ottenere ciò sarebbe necessario disporre di una POVM tale che

$⟨{\psi }_j|E_i|{\psi }_j⟩={\delta }_{ij}$.

ovvero di una misura che restituisca l'indice dello stato del sistema con probabilità uno.

Il teorema di non discriminazione afferma che una POVM con queste proprietà non può esistere.

Dimostrazione

La dimostrazione si limiterà per semplicità al caso del qubit. Il teorema è comunque vero in generale.

Si supponga per assurdo che la POVM esista. Allora dev'essere

$⟨{\psi }_1|E_2|{\psi }_1⟩=0$.

In particolare

$\sqrt{E_2}|{\psi }_1⟩=0$

dove con $\sqrt{E_2}$ si è indicata l'unica radice quadrata positiva dell'operatore positivo $E_2$.

Si scriva ora

$|{\psi }_2⟩=\alpha |\varphi ⟩+\beta |{\psi }_1⟩$

dove $|\varphi ⟩$ e $|{\psi }_1⟩$ formano una base ortonormale per il qubit e dev'essere

$|\alpha {|}^2=1-|⟨{\psi }_1|{\psi }_2⟩{|}^2=1-|\beta {|}^2<1$.

Allora

$⟨{\psi }_2|E_2|{\psi }_2⟩=|\alpha {|}^2⟨\varphi |E_2|\varphi ⟩<1$

dato che

$⟨\varphi |E_2|\varphi ⟩\le 1$.

Ma per ipotesi

$⟨{\psi }_2|E_2|{\psi }_2⟩=1$.

Si è quindi giunti ad una contraddizione.

Voci correlate

• Teorema di no-cloning quantistico
• Teletrasporto quantistico
• Informazione quantistica