Medida POVM

Ir a la navegaci�nIr a la b�squeda
En f�sica, en la teor�a de informaci�n cu�ntica una medida POVM (Postive operator-
valued measurement) es un conjunto de operadores herm�ticos no negativos que act�an
sobre el espacio de Hilbert que describe el sistema cu�ntico en cuesti�n. A
diferencia de las medidas PVM o proyectivas, las cuales son un caso particular de
las medidas aqu� tratadas, y son v�lidas solo para sistemas cerrados, las medidas
POVM, tambi�n conocidas como medidas generalizadas, tienen en cuenta la interacci�n
del sistema con el entorno. He aqu� la raz�n de su uso, ya que los sistemas
cu�nticos reales no son cerrados, ya sea por existencia de ruido o perturbaciones
del entorno, o bien por la interacci�n con el aparato de medida a la hora de
realizar experimentos.

�ndice
1 Definici�n
2 Propiedades de las medidas
2.1 Probabilidad de un resultado
2.2 Estado tras la medida
2.3 Caso particular: medidas PVM
3 Medidas POVM y medidas PVM
3.1 Ejemplo
4 V�ase tambi�n
5 Referencias
6 Bibliograf�a
Definici�n
Sea un espacio de Hilbert H asociado a un sistema cu�ntico, se define una medida
POVM 1? como un conjunto de operadores herm�ticos y no negativos {\displaystyle
\left\{E_{m}\right\}} {\displaystyle \left\{E_{m}\right\}} que verifican la
relaci�n de completitud: {\displaystyle \sum _{m}E_{m}=1} {\displaystyle \sum
_{m}E_{m}=1} , donde el sub�ndice m se asocia a los posibles resultados
{\displaystyle a_{m}} {\displaystyle a_{m}} que pueden obtenerse en la medida del
observable A en cuesti�n. Una propiedad destacable de estos operadores
{\displaystyle \left\{E_{m}\right\}} {\displaystyle \left\{E_{m}\right\}} es que no
son necesariamente ortonormales y, en consecuencia, si el espacio de Hilbert en el
que trabajamos tiene dimensi�n d, el n�mero de operadores en la medida POVM puede
ser superior a este valor, de modo que al medir podemos obtener m�s de d resultados
posibles.

Propiedades de las medidas

Los operadores {\displaystyle E_{m}} {\displaystyle E_{m}} siempre pueden
escribirse en t�rminos de unos operadores {\displaystyle M_{m}} {\displaystyle
M_{m}}, que se conocen como operadores de Kraus, de la siguiente forma:
{\displaystyle E_{m}=M_{m}^{\dagger }M_{m}} {\displaystyle E_{m}=M_{m}^{\dagger }
M_{m}} Su utilidad reside en que a trav�s de estos operadores podemos calcular la
probabilidad de obtener un resultado, as� como el estado del sistema justo despu�s
de la medida.

Probabilidad de un resultado
Si el estado cu�ntico del sistema justo antes de realizar la medida POVM est�
descrito por el operador densidad {\displaystyle \rho } \rho , la probabilidad de
que el resultado de la medida sea {\displaystyle a_{m}} {\displaystyle a_{m}}
vendr� dada por:

{\displaystyle p(a_{m})=Tr(E_{m}\rho )=Tr(M_{m}^{\dagger }M_{m}\rho )}

{\displaystyle p(a_{m})=Tr(E_{m}\rho )=Tr(M_{m}^{\dagger }M_{m}\rho )}

Estado tras la medida

Inmediatamente despu�s de haber realizado la medida del observable A obteniendo el
resultado {\displaystyle a_{m}} {\displaystyle a_{m}}, el sistema quedar� en un
nuevo estado descrito por el operador densidad:

{\displaystyle \rho '={\frac {M_{m}\rho M_{m}^{\dagger }}{Tr(M_{m}^{\dagger }

M_{m}\rho )}}} {\displaystyle \rho '={\frac {M_{m}\rho M_{m}^{\dagger }}
{Tr(M_{m}^{\dagger }M_{m}\rho )}}}

Ahora bien, en muchos experimentos de f�sica cu�ntica no nos interesa el resultado

concreto obtenido en la medida; en estos casos, en los que desconocemos el
{\displaystyle a_{m}} {\displaystyle a_{m}} concreto obtenido, el sistema pasa al
estado descrito por el operador:

{\displaystyle \rho '=\sum _{m}p(a_{m}){\frac {M_{m}\rho M_{m}^{\dagger }}

{Tr(M_{m}^{\dagger }M_{m}\rho )}}=\sum M_{m}\rho M_{m}^{\dagger }}
{\displaystyle \rho '=\sum _{m}p(a_{m}){\frac {M_{m}\rho M_{m}^{\dagger }}
{Tr(M_{m}^{\dagger }M_{m}\rho )}}=\sum M_{m}\rho M_{m}^{\dagger }}

Caso particular: medidas PVM

En el caso de las medidas proyectivas los operadores {\displaystyle M_{m}}
{\displaystyle M_{m}} corresponden a proyectores {\displaystyle P_{m}}
{\displaystyle P_{m}}, de modo que la probabilidad de obtener {\displaystyle a_{m}}
{\displaystyle a_{m}} viene dada por:

{\displaystyle p(a_{m})=Tr(\rho P_{m})} {\displaystyle p(a_{m})=Tr(\rho P_{m})}

, y el nuevo estado tras medir viene descrito por:

{\displaystyle \rho '={\frac {P_{m}\rho P_{m}}{Tr(\rho P_{m})}}} {\displaystyle

\rho '={\frac {P_{m}\rho P_{m}}{Tr(\rho P_{m})}}}

Medidas POVM y medidas PVM

Las medidas POVM presentan varias ventajas frente a las PVM; entre ellas se
encuentran 2? :

Una de las ventajas es que las medidas generalizadas son en cierto modo m�s
sencillas que las proyectivas ya que los operadores que las componen tienen menos
restricciones que los proyectores, los cuales, adem�s de la propiedad de
completitud, deben de cumplir la propiedad de ortonormalidad:
{\displaystyle P_{i}P_{j}=P_{i}\delta _{ij}}
{\displaystyle P_{i}P_{j}=P_{i}\delta _{ij}}
La segunda ventaja tiene que ver con que las medidas proyectivas se pueden repetir,
en el sentido de que si realizamos una medida proyectiva y obtenemos el resultado m
y un nuevo estado {\displaystyle \mid \psi _{m}>} {\displaystyle \mid \psi _{m}>},
si volvemos a repetir la misma medida obtendremos el mismo resultado y el estado no
se modificar�. A diferencia de estas, en las medidas POVM no se hace ninguna
suposici�n sobre el estado post-medida del sistema, ya que lo realmente importante
en ellas son las probabilidades de los resultados; esto es muy �til en muchos
experimentos de f�sica cu�ntica en los que el sistema se mide una vez solamente,
como es el caso de un fot�n detectado en un fotomultiplicador, el cual se destruye
tras el proceso de medida.
Hay algunos problemas en la Teor�a de Informaci�n Cu�ntica que no se pueden tratar
con medidas proyectivas, y es necesario recurrir a las medidas POVM. Uno de ellos
es el de la no-distinguibilidad de estados; se puede demostrar (demostraci�n en el
Nielsen) que estados cu�nticos no ortogonales no son distinguibles. La relaci�n de
la no distinguibilidad con la teor�a de informaci�n cu�ntica se puede entender con
el siguiente ejemplo