INVESTIGACION

REVISTA MEXICANA DE F ISICA 57 (3) 188192

JUNIO 2011

Entrelazamiento cu ntico espurio con matrices seudopuras extendidas 4 por 4 a

J.D. Bulnesa y L.A. Pecheb, Universidade Estadual do Norte Fluminense, Av. Alberto Lamego 2000, Campos dos Goytacazes - CEP: 28013-602, RJ, Brasil. b Universidade do Estado do Rio de Janeiro, Rua S o Francisco Xavier, 524, Maracan , Rio de Janeiro - CEP: 20550-900, RJ, Brasil. a a
a

Recibido el 26 de julio de 2010; aceptado el 26 de abril de 2011 En este artculo consideramos una extensi n matem tica para el concepto de matriz seudopura RMN, en el caso particular de matrices 4 4, o a a partir de matrices no fsicas. Se presentan ejemplos de matrices densidad entrelazadas son presentados. Aquel entrelazamiento, identicado por el criterio de Peres-Horodecki, es espurio debido a que no es posible asignar estas matrices a cualesquiera estados cu nticos de un sistema a de espines nucleares RMN. Descriptores: Entrelazamiento cu ntico; criterio de Peres-Horodecki; estado seudopuro. a In this paper, we consider one mathematical extension for the concept NMR pseudo-pure matrix in the particular case of 4 4 matrices, from non-physical matrices. Examples of entangled density matrices are presented. Those entanglement, identied by the Peres-Horodecki criterion, is spurious because it is not possible to assign these matrices to any physical state of a system of NMR nuclear spins. Keywords: Quantum entanglement; Peres-Horodecki criterion; pseudo-pure state. PACS: 03.65.Ud; 03.67.Mn; 03.65.-w

1. Introducci n o
A pesar de la abundante y diversa producci n en el campo o de la computaci n cu ntica [1,2], en la cual se vienen cono a siderando distintos sistemas fsicos y el uso de varias t cni e cas, inclusive hbridas, lo que sabemos del entrelazamiento cu ntico (quantum entanglement) [3,4] en lo que se reere a a su signicado fsico, as como a su generaci n, preservaci n o o y medida, lo que en buena parte depende de la interpretaci n o de los resultados experimentales, permanece claramente incompleto. La identicaci n te rica de dicho entrelazamiento o o es un asunto que, en el caso m s general de mezclas estadstia cas, a n no ha sido aclarado, mientras que su representaci n u o matem tica est formalmente incorporada en la estructura de a a diversos algoritmos y protocolos. Del lado de las implementaciones experimentales de computaci n cu ntica contamos o a varios casos destacables, algunos de ellos habiendo hecho uso de sistemas fsicos (mol culas) con espn nuclear sensible al e fen meno de la resonancia magn tica nuclear (RMN), como o e en las Refs. 5, 6 y 7, correspondientes al caso de espn nuclear I = 1/2, los que r pidamente llamaron la atenci n y genea o raron un intenso debate sobre la capacidad de los sistemas RMN para implementar o simular el entrelazamiento [8-11]; otras implementaciones han sido realizadas usando n cleos u cuadrupolares de I = 3/2, como en [12-14]. En todos esos experimentos fueron manipulados (indirectamente) un n meu ro macrosc pico de partculas cu nticas, pero s lo un n mero o a o u peque o de bits cu nticos, los mismos que fueron realizados n a gracias a la preparaci n del sistema RMN en un estado inio cial especial, a la evoluci n unitaria reejada en los estados o cu nticos y a los tiempos de coherencia relativamente largos. a Dicho estado especial, denominado seudopuro (pseudopure state) [15,16] y que fue propuesto dentro del modelo de la

computaci n cu ntica RMN de soluciones lquidas a tempeo a ratura ambiente para lidiar con la limitaci n impuesta por la o imposibilidad de describir a la totalidad de los espines RMN por un estado puro, se puede expresar de la siguiente manera: 1 (1) = N I + 1 , 2 donde es una matriz densidad que representa el estado RMN de una mol cula, 1 es una matriz densidad correse pondiente al elemento observable en un experimento RMN y H/2N kB T , siendo T la temperatura, kB la constante de Boltzmann y N el n mero de bits cu nticos, es un par meu a a tro que mide el grado de polarizaci n del sistema de espines o (en el campo magn tico H). e Por otro lado, en la computaci n cu ntica hay la necesio a dad de identicar el car cter separable o entrelazado de los a estados cu nticos; es por ello que fueron establecidos algua nos criterios, como el de Peres-Horodecki [17,18], que establece, en el caso particular de matrices densidad 4 4, una condici n necesaria y suciente de separabilidad. Adem s, al o a considerar la naturaleza de los asuntos que aqu son aborda dos, conviene tener presente las siguientes informaciones: (i) una matriz no s lo por ser del tipo matriz densidad teno dr asegurada una representaci n de (correspondencia a o con) un estado fsico accesible a un sistema cu ntico; a (ii) no todo estado que se pueda escribir con la forma entrelazada corresponder , necesariamente, a un entrelaa zamiento verdadero, es decir, fsico [19,20]; y a (iii) el concepto de entrelazamiento matem tico, que ha sido introducido para diferenciarlo del verdadero entrelazamiento y que fue discutido primero por Valqui [20], ser usado para designar matrices que, teniena do el aspecto de entrelazadas, no puedan ser colocadas

 ENTRELAZAMIENTO CUANTICO ESPURIO CON MATRICES SEUDOPURAS EXTENDIDAS 4 POR 4

189

en correspondencia con cualquier estado cu ntico aca cesible al sistema considerado. Finalmente, conviene indicar que en las Refs. 21 y 22 se presentan situaciones concretas de entrelazamiento matem tico en el caa so de estados puros. A continuaci n presentamos la estructura de este artcuo lo: en la Sec. 2 denimos matem ticamente la extensi n para a o los estados seudopuros 4 4, la que incluye una subsecci n o sobre la estrategia usada para generar las matrices extendidas entrelazadas. En la Sec. 3 presentamos los ejemplos num rie cos concretos de matrices con entrelazamiento. En la Sec. 4 presentamos una caracterizaci n parcial del conjunto de eso tas matrices entrelazadas y, nalmente, presentamos nuestras conclusiones.

entrelazamiento espurio para mezclas estadsticas 4 4 y al hacerlo estaremos confrontados con el problema acerca de las condiciones bajo las cuales un criterio matem tico (el de a Peres-Horodecki) llega a tener validez fsica para el sistema cu ntico considerado. a 2.1. M todo num rico e e

2.

Matriz seudopura extendida

Volvamos a la Ec. (1) con la intenci n de identicar la cono dici n (apenas matem tica) m s general que garantice que o a a sea una matriz densidad. Se puede percibir que tal condici n existe, trat ndose, en verdad, de 2 condiciones, siendo o a que una de ellas establece que 1 no necesita ser una matriz densidad. Denominamos matriz seudopura extendida (E ) a una matriz densidad que tiene la forma (1), pero que, a diferencia de esta, se obtiene a partir de matrices 1 extendidas (E ) que 1 no son matrices densidad: ellas son hermiteanas, tienen traza 1 y al menos un autovalor negativo. Entonces escribimos, I4 E = (1 ) + E , (2) 1 4 donde I4 es la matriz identidad 4 4. Como E no es una 1 matriz densidad, la matriz E , de acuerdo con (2), tambi n e podra tener alg n autovalor negativo; por ello, para dar con u sistencia a nuestra extensi n, debemos imponer una segunda o exigencia o condici n, asegurando as que E sea una matriz o densidad. De la Ec. (2) es evidente que E y E conmutan, 1 entonces, si representamos por y 1 a los respectivos autovalores, denidos para el conjunto de autovectores en com n, u la siguiente relaci n es v lida: o a = (1 )/4 + 1 . Imponiendo que 0, obtenemos la siguiente relaci n: o 1 (1 )/4 . (4) Esta condici n sobre los autovalores de E garantiza que las o 1 E sean matrices densidad. La extensi n matem tica as deo a nida nos conducir a los primeros ejemplos num ricos de a e (3)

El esquema que hemos implementado para buscar matrices E que sean entrelazadas consiste en generar (repetidamente y dentro de ciertos intervalos) un conjunto de 15 n meros u aleatorios que consideramos como los coecientes independientes de la expansi n de una matriz E individual en la base o 1 de productos de matrices de Pauli. Cuando todos los autovalores de la matriz E as construda satisfagan la Ec. (4) en 1 tonces, a trav s de la Ec. (2) y para un valor del par metro e a previamente elegido, construimos la matriz E y la matriz transpuesta parcialmente, PE , as como sus autovalores. Si vericamos que (al menos) un autovalor de PE es negativo, entonces, de acuerdo con el criterio de Peres-Horodecki, la correspondiente matriz E ser entrelazada. A continuaci n a o desarrollamos explcitamente este m todo para los siguientes e valores del par metro : 102 y 3.3 105 . a

3.

Ejemplos de matrices 4 4 con entrelazamiento espurio

En la base de productos de matrices de Pauli, construida a partir de {1 , 2 , 3 , 4 }, con 1 = I2 , 2 x , 3 y , 4 z , una matriz densidad , de tama o 4 4, se puede n expresar de la siguiente manera: = 1 Ci,j i j , 4 i,j=1
4

(5)

donde C1,1 = 1 y 1 Ci,j 1. Pero si necesitamos re presentar matrices que son unicamente hermiteanas y tienen traza igual a 1, entonces el intervalo de posibles valores para los 15 coecientes independientes Ci,j es mucho m s amplio. a En particular, para el conjunto de coecientes Ci,j ordenados en la matriz C, +1.0000 0.6429 29.4845 7.2208 +4.1172 8.5393 +5.5682 23.6294 C= 22.7868 18.9588 +4.6408 6.2254 , (6) 28.7033 15.2617 19.8301 16.7560 resulta, usando la Ec. (5), la siguiente matriz:

12.9200 3.9762 12.3287i E 1 = 4.8780 7.2530i 3.2950 3.3476i

3.9762 + 12.3287i 0.9316 0.9746 6.1318i +6.9367 4.1403i

4.8780 + 7.2530i 0.9746 + 6.1318i +9.8096 +3.6547 2.4136i

3.2950 + 3.3476i +6.9367 + 4.1403i +3.6547 + 2.4136i +5.0420

(7)

Rev. Mex. Fs. 57 (3) (2011) 188192

190

J.D. BULNES Y L.A. PECHE

vericando que es hermiteana, tiene Tr(E ) = 1 y dos autovalores negativos, 1 1 = 23.1909, 2 = 4.4928, 3 = +7.3209, 4 = +21.3628, siendo, por lo tanto, una matriz no fsica. Al considerar la matriz E anterior y el valor 1 siguiente matriz: E , +0.1183 0.0398 + 0.1233i 0.0488 + 0.0725i 0.0398 0.1233i +0.2382 0.0097 + 0.0613i E = 0.0488 0.0725i 0.0097 0.0613i +0.3456 0.0330 0.0335i +0.0694 0.0414i +0.0365 0.0241i vericando que es hermiteana, tiene Tr(E ) = 1 y autovalores no negativos: 1 = +0.0156, 2 = +0.2026, 3 = +0.3207, 4 = +0.4611; por lo tanto, es una matriz densidad. Ahora aplicaremos de manera formal el criterio de Peres-Horodecki a la matriz E ; para ello, primeramente, debemos denir una base de matrices densidad: {1 , 2 , 3 , 4 }. Entonces consideramos las siguientes matrices: 1 1 1 0 1 i 1 = , 2 = , 0 1 i 1 2 2 3 = 1 2 1 1 1 1 , 4 = 1 0 0 0 . (9)
E

= 102 en la Ec. (2) obtenemos la 0.0330 + 0.0335i +0.0694 + 0.0414i , +0.0365 + 0.0241i +0.2979

(8)

donde los valores de los coecientes Di,j han sido ordenados en la siguiente matriz: +2.3456 +0.0576 +0.6592 +2.6488 +0.4288 +0.1336 0.4280 1.0416 D= +1.1232 0.2536 0.2216 0.7248 , (10) +1.6032 0.9848 0.8000 0.5456 obtenida por una transformaci n de cambio de base a partir o de los coecientes de E en la base de productos de matrices de Pauli Bi,j = tr(E i j ). La matriz transpuesta parcial de E , representada aqu por P (E ) y denida (indistintamente) por la transposici n de cualquiera de sus partes, o como a continuaci n, o P (E ) = 1 Di,j i (j )T 4 i,j=1
4

Al reescribir la matriz E , en (8), en la base de matrices densidad, dada en (9), tenemos E = 1 Di,j i j , 4 i,j=1
4

nos conduce a la siguiente matriz: +0.1183 0.0398 + 0.1233i E P ( ) = 0.0488 0.0725i 0.0097 0.0613i la cual tiene los siguientes autovalores: 0.0398 0.1233i +0.2382 0.0330 0.0335i +0.0694 0.0414i 0.0488 + 0.0725i 0.0330 + 0.0335i +0.3456 +0.0365 + 0.0241i 0.0097 + 0.0613i +0.0694 + 0.0414i , +0.0365 0.0241i +0.2979

(11)

1 = 0.0080, 2 = +0.2379, 3 = +0.3425, 4 = +0.4275, con 1 < 0. Por lo tanto, de cuerdo con el criterio de Peres-Horodechi, la matriz E es entrelazada. Un segundo ejemplo de esta situaci n pero usando un valor del par metro igual a = 3.3 105 , que es del mismo orden o a de magnitud como en las implementaciones experimentales de CC-RMN de soluciones lquidas a temperatura ambiente, y la siguiente matriz de coecientes de E en la base de productos tensoriales de matrices de Pauli: 1 +0.0010 +9.1000 +8.9909 +8.8544 +9.7067 +8.9003 +9.9779 +9.5595 C = 103 (12) +9.9593 +9.6036 +9.7759 +9.3788 . +9.8103 +9.6321 +9.2731 +9.9868 Entonces, usando la Ec. (2), obtenemos la siguiente matriz: +0.4864 +0.1545 0.1507i +0.1545 + 0.1507i +0.1755 E = +0.1589 + 0.1595i +0.1541 0.0031i 0.0072 + 0.1615i +0.0012 + 0.0048i 0.0072 0.1615i +0.0012 0.0048i , 0.0044 + 0.0023i +0.1784

+0.1589 0.1595i +0.1541 + 0.0031i 0.1597 0.0044 0.0023i

(13)

Rev. Mex. Fs. 57 (3) (2011) 188192

 ENTRELAZAMIENTO CUANTICO ESPURIO CON MATRICES SEUDOPURAS EXTENDIDAS 4 POR 4

191

la cual es hermiteana, tiene Tr(E ) = 1 y autovalores 1 = +0.0008, 2 = +0.0256, 3 = +0.2179, 4 = +0.7557, y la siguiente matriz transpuesta parcialmente: +0.4864 +0.1545 + 0.1507i +0.1545 0.1507i +0.1755 P (E ) = +0.1589 + 0.1595i 0.0072 + 0.1615i +0.1541 0.0031i +0.0012 + 0.0048i con autovalores 1 = 0.0024, 2 = +0.0288, 3 = +0.2181, 4 = +0.7555, siendo un autovalor negativo, como en el primer ejemplo. Por lo tanto, ambas matrices E , dadas en (8) y (13), corresponden a situaciones de entrelazamiento de acuerdo con el criterio de Peres-Horodechi. +0.1541 + 0.0031i +0.0012 0.0048i 0.0044 0.0023i +0.1784

+0.1589 0.1595i 0.0072 0.1615i +0.1597 0.0044 + 0.0023i

(14)

4.

Caracterizando el conjunto de matrices E entrelazadas

Los ejemplos anteriores de matrices E entrelazadas, generadas a partir de matrices E , no constituyen casos aislados. 1 En esta secci n vamos a caracterizar parcialmente el conjuno to de las matrices de ese tipo. La Fig. 1 muestra un mapa donde se presenta la fracci n de matrices E entrelazadas en o funci n de los intervalos de denici n de las matrices E , o o 1 las mismas que, a trav s de la Ec. (2), producen las matrices e entrelazadas. La Fig. 2 muestra un histograma del n mero u de matrices entrelazadas que tienen una distancia de HilbertSchmidt dada al denominado estado gato, el estado con el m ximo grado de entrelazamiento, donde las matrices cona sideradas fueron denidas a partir de matrices E dentro de 1 un intervalo < Cmin, Cmax > jo (ver sub-Sec. 2.1); esta gura nos da una idea del grado de entrelazamiento asociado con las matrices extendidas entrelazadas.

F IGURA 2. Histograma del n mero medio de matrices seudopuu ras extendidas y entrelazadas que tienen una distancia de HilbertSchmidt dada al estado gato, considerando = 5 104 . Se generaron (aleatoriamente) 500,000 matrices en cada ciclo de c lcua los y se realiz un promedio sobre 10 ciclos. o

5.

Conclusiones

F IGURA 1. Fracci n de matrices E entrelazadas (en escala de coo lores) encontradas en 1000 matrices E generadas aleatoriamente 1 (como es descrito en la sub-secci n 2.1) dentro de cada intervao lo < Cmin, Cmax >; fueron considerados 130 valores tanto para Cmin como para Cmax , siendo el valor del par metro usado igual a a = 5 103 .

En los ejemplos de matrices E dados en (8) y (13) las correspondientes matrices E , u otras de esa misma naturaleza, no 1 pueden ser implementadas experimentalmente a trav s de la e aplicaci n de pulsos de radiofrecuencia (representados por o matrices unitarias), al contrario de lo que corresponde para matrices densidad 1 de estados seudopuros. En consecuencia, y a pesar de que las matrices E anteriormente mencionadas son entrelazadas de acuerdo con el criterio de PeresHorodecki, no es posible establecer ninguna correspondencia fsica entre cualquiera de las matrices E y un estado fsi co accesible a un sistema de espines nucleares RMN; de esta manera, el entrelazamiento de las matrices E mostradas en (8) y (13) no es fsico, sino espurio o matem tico. Parale a lamente, los ejemplos construidos han sido utiles para mostrar que la sola aplicaci n del criterio matem tico de Pereso a Horodecki, a pesar de usado con matrices 44, no es suciente para identicar el entrelazamiento fsico; aqu l debe e

Rev. Mex. Fs. 57 (3) (2011) 188192

192

J.D. BULNES Y L.A. PECHE

ser complementado con la evaluaci n te rica sobre la posibio o lidad de establecer una correspondencia entre matrices densidad y estados cu nticos accesibles al sistema considerado. a Por otro lado, aparte de los procedimientos de implementaci n de un estado cu ntico existen los de medida de estado o a cu ntico. En la CC-RMN es clara la raz n por la cual las a o matrices no pueden ser medidas experimentalmente; en cambio, las matrices 1 s son medibles, lo que se consigue a trav s del procedimiento experimental conocido como toe mografa de estado cu ntico. En ese procedimiento se asu a me que la matriz a ser tomograada es una matriz densidad; es decir, no se verica en laboratorio que las matrices implementables son matrices densidad, sino que se parte de ello para construir experimentalmente tal matriz. De manera que, para conseguir medir alguna matriz que no sea del tipo matriz densidad, sino solamente hermiteana y con traza igual a uno, como se ha considerado para las matrices extendidas E , de1 beran tomarse esas consideraciones como exigencias en el procedimiento de tomografa de estado cu ntico. A n m s, a u a a partir de la matriz tomograada (que resulta de considerar no el procedimiento formal de tomografa, sino aquel que incorpora la modicaci n mencionada anteriormente) podra o obtenerse, a partir de otras medidas, el valor de la denomina-

da delidad de entrelazamiento; en ese caso, no podramos estar seguros de que a trav s de los valores de tal funci n se e o estara midiendo alguna cantidad asociada con el entrelaza miento fsico en el sistema considerado. Finalmente, el con texto en el que hemos denido la extensi n matem tica, los o a ejemplos mostrados y la discusi n ofrecida nos han servido o para aclarar el signicado de la siguiente pregunta: si es una matriz densidad 4 4, cuya matriz transpuesta parcialmente tiene (al menos) un autovalor negativo, entonces la matriz corresponder (necesariamente) a una situaci n de entrelazaa o miento? Tal pregunta tiene respuesta negativa en el caso del entrelazamiento fsico.

Agradecimientos
JDB agradece al prof. Holger Valqui (UNI, Lima) por las aclaraciones sobre distintos aspectos del entrelazamiento cu ntico, as como a los profesores Ivan S. Oliveira (CBPF, a Rio de Janeiro) y Henrique Saitovitch (CBPF, Rio de Janeiro) por los comentarios; tambi n agradece al Programa Nacioe nal de P s-Doutorado - PNPD, de la Fundacao Coordenacao o de Aperfeicoamento de Pessoal de Nvel Superior - CAPES, Brasil, por el apoyo nanciero.

. Luis Alberto Peche falleci la ma ana del da 6 de diciembre o n del 2010 en la ciudad de Rio de Janeiro a los 44 a os de edad. n Fue un fsico que trabaj en asuntos de caos cu ntico, sistemas o a fuertemente correlacionados y en el modelamiento fsico con datos de radar y ssmicos. Pas por la UNI, en Lima, as como o por el CBPF, PUC, ON y UERJ, en Rio de Janeiro. 1. M.A. Nielsen y I.L. Chaung, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2002). 2. I.S. Oliveira et al., NMR Quantum Information Processing (Elsevier, 2007). 3. A. Peres, Quantum Theory: Concepts and methods (Kluwer, 1993). 4. A. Aspect, Gazeta de Fsica 22 (1999) 16; H.G. Valqui, Revciu ni 7 (2003) 115. http://fc.uni.edu.pe/publicaciones/rev07-03/ pdf/hgvalqui.pdf 5. M.A. Nielsen, E. Knill y R. Laamme, Nature 396 (1998) 52. 6. L.M.K. Vandersypen et al , Nature 414 (2001) 883. 7. M. Mehring, J. Mende y W. Scherer, Phys. Rev. Lett. 90 (2003) 153001. 8. S. Braunstein, C. Caves, Jozsa, Linden, S. Popescu y Schack, Phys. Rev. Lett. 83 (1999) 1054. 9. N. Menicucci y C. Caves, Phys. Rev. Lett. 88 (2002) 167901.

10. G. Long et al., Commum. Theor. Phys. 38 (2000) 306. 11. A. Kessel y V. Ermakov, quantu-ph, ArXiv Los Alamos (2000) 0011002. 12. J.D. Bulnes et al., Braz. J. Phys. 35 (2005) 617. 13. F.A. Bonk et al., J. Mag. Res. 175 (2005) 226. 14. F.A. Bonk et al., Phys. Rev. A 69 (2004) 042322. 15. N.A. Gershenfeld y I.L. Chuang, Science 275 (1997) 350. 16. D.G. Cory, A.F. Fahmy y T.F. Havel, Proc. Natl. Acad. Sci. USA 94 (1997) 1634. 17. A. Peres, Phys. Rev. Lett. 77 (1996) 1413. 18. M. Horodechi, P. Horodechi, R. Horodechi, Phys. Lett. A 223 (1996) 1. 19. A. W jcik, Science 301 (2003) 1183. o 20. H.G. Valqui, Revciuni 11 (2007) 67. Disponible en: http://www.bibliotecacentral.uni.edu.pe/pdfs/REVCIUNI/ 1,2007/art - 010.pdf 21. H.G. Valqui, Proceedings of the Fifth Latin American Symposium High Energy Physics, Lima, Peru, 12-17 July 2004 (World Scientic Publishing, 2006). p. 272. 22. A.M. Basharov y E.A. Manykin, Optics and Spectroscopy 96 (2004) 81.

Rev. Mex. Fs. 57 (3) (2011) 188192