En una analogía aproximada, un POVM es para un PVM lo que un estado mixto es para un estado puro . Se necesitan estados mixtos para especificar el estado de un subsistema de un sistema más grande (ver purificación del estado cuántico ); De manera análoga, los POVM son necesarios para describir el efecto en un subsistema de una medición proyectiva realizada en un sistema más grande.
En mecánica cuántica , la propiedad clave de un POVM es que determina una medida de probabilidad en el espacio de resultados, por lo que puede interpretarse como la probabilidad (densidad) de un resultado al medir un estado cuántico . Es decir, el elemento POVM está asociado al resultado de la medición , de modo que la probabilidad de obtenerlo al realizar una medición cuántica en el estado cuántico viene dada por
,
¿Dónde está el operador de seguimiento ? Cuando el estado cuántico que se mide es un estado puro, esta fórmula se reduce a
Las fórmulas de probabilidad para un PVM son las mismas que para el POVM. Una diferencia importante es que los elementos de un POVM no son necesariamente ortogonales. Como consecuencia, el número de elementos del POVM puede ser mayor que la dimensión del espacio de Hilbert en el que actúan. Por otro lado, el número de elementos del PVM es como máximo la dimensión del espacio de Hilbert.
Teorema de dilatación de Naimark
Nota: una ortografía alternativa de esto es "Teorema de Neumark".
El teorema de dilatación de Naimark [4] muestra cómo se pueden obtener POVM a partir de PVM que actúan en un espacio más grande. Este resultado es de importancia crítica en la mecánica cuántica, ya que proporciona una manera de realizar físicamente mediciones POVM. [5] : 285
En el caso más simple, de un POVM con un número finito de elementos que actúan sobre un espacio de Hilbert de dimensión finita, el teorema de Naimark dice que si un POVM actúa sobre un espacio de dimensión de Hilbert , entonces existe un PVM que actúa sobre un espacio de Hilbert de dimensión y una isometría tal que para todos ,
Para el caso particular de un POVM de rango 1, es decir, cuando para algunos vectores (no normalizados) , esta isometría se puede construir como [5] : 285
y el PVM viene dado simplemente por . Tenga en cuenta que aquí .
En el caso general, la isometría y el PVM se pueden construir definiendo [6] [7] , y
Tenga en cuenta que aquí , por lo que esta es una construcción más derrochadora.
En cualquier caso, la probabilidad de obtener un resultado con este PVM, y el estado adecuadamente transformado por la isometría, es la misma que la probabilidad de obtenerlo con el POVM original:
Esta construcción se puede convertir en una receta para una realización física del POVM extendiendo la isometría a un unitario , es decir, encontrando tal que
para del 1 al . Esto siempre se puede hacer.
La receta para realizar el POVM descrito por en un estado cuántico es entonces incrustar el estado cuántico en el espacio de Hilbert , evolucionarlo con el unitario y realizar la medición proyectiva descrita por el PVM .
Estado posterior a la medición
El estado posterior a la medición no lo determina el POVM en sí, sino el PVM que lo realiza físicamente. Dado que hay infinitos PVM diferentes que realizan el mismo POVM, los operadores por sí solos no determinan cuál será el estado posterior a la medición. Para ver eso, tenga en cuenta que para cualquier unitario los operadores
también tendrá la propiedad de que , de modo que usando la isometría
en la segunda construcción anterior también implementaremos el mismo POVM. En el caso de que el estado que se está midiendo sea en estado puro , el unitario resultante lo toma junto con el ancilla para estado
y la medida proyectiva en la ancilla colapsará al estado [3] : 84
en la obtención del resultado . Cuando el estado que se está midiendo se describe mediante una matriz de densidad , el estado posterior a la medición correspondiente viene dado por
.
Vemos por tanto que el estado posterior a la medición depende explícitamente del unitario . Tenga en cuenta que while siempre es hermitiano, por lo general, no tiene por qué ser hermitiano.
Otra diferencia con las mediciones proyectivas es que, en general, una medición POVM no es repetible. Si en la primera medición se obtuvo el resultado, la probabilidad de obtener un resultado diferente en una segunda medición es
,
que puede ser distinto de cero si y no son ortogonales. En una medición proyectiva estos operadores son siempre ortogonales y por tanto la medición siempre es repetible.
Un ejemplo: discriminación inequívoca de estados cuánticos
Suponga que tiene un sistema cuántico con un espacio de Hilbert bidimensional que sabe que está en el estado o en el estado y desea determinar cuál es. Si y son ortogonales, esta tarea es fácil: el conjunto formará un PVM, y una medición proyectiva en esta base determinará el estado con certeza. Sin embargo, si y no son ortogonales, esta tarea es imposible , en el sentido de que no existe ninguna medida, ya sea PVM o POVM, que los distinga con certeza. [3] : 87 La imposibilidad de discriminar perfectamente entre estados no ortogonales es la base de los protocolos de información cuántica como la criptografía cuántica , el lanzamiento de monedas cuánticas y el dinero cuántico .
La tarea de la discriminación inequívoca del estado cuántico (UQSD) es la siguiente mejor opción: nunca cometer un error sobre si el estado es o , a costa de tener a veces un resultado no concluyente. Es posible hacer esto con mediciones proyectivas. [8] Por ejemplo, si mides el PVM , dónde es el estado cuántico ortogonal a y obtienes el resultado , entonces sabes con certeza que el estado era . Si el resultado fue , entonces no es concluyente. El razonamiento análogo es válido para el PVM , donde es el estado ortogonal a .
Sin embargo, esto no es satisfactorio, ya que no se pueden detectar ambos y con una sola medición, y la probabilidad de obtener un resultado concluyente es menor que con los POVM. El POVM que da la mayor probabilidad de un resultado concluyente en esta tarea viene dado por [8] [9]
dónde
Tenga en cuenta que , cuando se obtiene el resultado, estamos seguros de que el estado cuántico lo es , y cuando se obtiene el resultado, estamos seguros de que el estado cuántico lo es .
La probabilidad de obtener un resultado concluyente está dada por
cuando el sistema cuántico está en estado o con la misma probabilidad. Este resultado se conoce como límite de Ivanović-Dieks-Peres, en honor a los autores pioneros de la investigación de la UQSD. [10] [11] [12]
Dado que los POVM son de rango 1, podemos usar el caso simple de la construcción anterior para obtener una medición proyectiva que realice físicamente este POVM. Al etiquetar los tres posibles estados del espacio de Hilbert ampliado como , y , vemos que el unitario resultante lleva el estado a
y de manera similar se necesita que el estado
Luego, una medición proyectiva proporciona los resultados deseados con las mismas probabilidades que el POVM.
Este POVM se ha utilizado para distinguir experimentalmente estados de polarización no ortogonales de un fotón. La realización del POVM con una medición proyectiva fue ligeramente diferente a la aquí descrita. [13] [14]
^ Peres, Aser ; Terno, Daniel R. (2004). "Información cuántica y teoría de la relatividad". Reseñas de Física Moderna . 76 (1): 93-123. arXiv : quant-ph/0212023 . Código Bib : 2004RvMP...76...93P. doi :10.1103/RevModPhys.76.93. S2CID 7481797.
^ Davies, Edward Brian (1976). Teoría cuántica de sistemas abiertos . Londres: Acad. Prensa. pag. 35.ISBN978-0-12-206150-9.
^ abc M. Nielsen e I. Chuang, Computación cuántica e información cuántica, Cambridge University Press, (2000)
^ IM Gelfand y MA Neumark, Sobre la incorporación de anillos normados en el anillo de operadores en el espacio de Hilbert, Rec. Matemáticas. [Estera. Sbornik] NS 12(54) (1943), 197–213.
^ ab A. Peres. Teoría cuántica: conceptos y métodos. Editores académicos de Kluwer, 1993.
^ J. Preskill, Apuntes de conferencias sobre física: información y computación cuánticas, Capítulo 3, http://theory.caltech.edu/~preskill/ph229/index.html
^ J. Watrous. La teoría de la información cuántica. Cambridge University Press, 2018. Capítulo 2.3, https://cs.uwaterloo.ca/~watrous/TQI/
^ ab JA Bergou; U. Herzog; M. Hilléry (2004). "Discriminación de estados cuánticos". En M. París; J. Řeháček (eds.). Estimación del estado cuántico . Saltador. págs. 417–465. doi :10.1007/978-3-540-44481-7_11. ISBN978-3-540-44481-7.
^ Ivanovic, identificación (1987). "Cómo diferenciar entre estados no ortogonales". Letras de Física A. 123 (6). Elsevier BV: 257–259. Código bibliográfico : 1987PhLA..123..257I. doi :10.1016/0375-9601(87)90222-2. ISSN 0375-9601.
^ Dieks, D. (1988). "Superposición y distinguibilidad de estados cuánticos". Letras de Física A. 126 (5–6). Elsevier BV: 303–306. Código bibliográfico : 1988PhLA..126..303D. doi :10.1016/0375-9601(88)90840-7. ISSN 0375-9601.
^ Peres, Asher (1988). "Cómo diferenciar entre estados no ortogonales". Letras de Física A. 128 (1–2). Elsevier BV: 19. Código bibliográfico : 1988PhLA..128...19P. doi :10.1016/0375-9601(88)91034-1. ISSN 0375-9601.
^ B. Huttner; A. Müller; JD Gautier; H. Zbinden; N. Gisin (1996). "Medición cuántica inequívoca de estados no ortogonales". Revisión física A. 54 (5). APS: 3783–3789. Código bibliográfico : 1996PhRvA..54.3783H. doi :10.1103/PhysRevA.54.3783. PMID 9913923.
^ RBM Clarke; A. Chefles; SM Barnett; E. Riis (2001). "Demostración experimental de discriminación estatal óptima e inequívoca". Revisión física A. 63 (4). APS: 040305(R). arXiv : quant-ph/0007063 . Código Bib : 2001PhRvA..63d0305C. doi : 10.1103/PhysRevA.63.040305. S2CID 39481893.
POVM
K. Kraus, Estados, efectos y operaciones, Lecture Notes in Physics 190, Springer (1983).
AS Holevo , Aspectos probabilísticos y estadísticos de la teoría cuántica, Publ. de Holanda Septentrional. Cy., Ámsterdam (1982).
enlaces externos
Demostración interactiva sobre la discriminación de estados cuánticos.