En la mecánica cuántica , los estados separables son estados cuánticos que pertenecen a un espacio compuesto que se pueden factorizar en estados individuales que pertenecen a subespacios separados. Se dice que un estado está enredado si no es separable. En general, determinar si un estado es separable no es sencillo y el problema se clasifica como NP-difícil .
Separabilidad de los sistemas bipartitos
Estados puros
Para simplificar, lo siguiente supone que todos los espacios de estados relevantes son de dimensión finita. Primero, considere la separabilidad para estados puros .
Dejar y ser espacios de estados mecánicos cuánticos, es decir, espacios de Hilbert de dimensión finita con estados base y , respectivamente. Según un postulado de la mecánica cuántica , el espacio de estados del sistema compuesto viene dado por el producto tensorial
con estados base , o en notación más compacta . Desde la propia definición del producto tensorial, cualquier vector de norma 1, es decir, un estado puro del sistema compuesto, puede escribirse como
dónde es una constante. Si un estado puro se puede escribir en la forma dónde es un estado puro del i-ésimo subsistema, se dice que es separable . De lo contrario, se llama entrelazado . Cuando un sistema está en un estado puro entrelazado, no es posible asignar estados a sus subsistemas. Esto será cierto, en el sentido apropiado, también para el caso de estado mixto.
Formalmente, la incrustación de un producto de estados en el espacio del producto viene dada por la incrustación de Segre . Es decir, un estado puro de mecánica cuántica es separable si y solo si está en la imagen de la incrustación del Segre.
La discusión anterior se puede extender al caso de cuando el espacio de estados es de dimensión infinita sin prácticamente nada cambiado.
Estados mixtos
Considere el caso del estado mixto. Un estado mixto del sistema compuesto se describe mediante una matriz de densidad actuando . ρ es separable si existen, y que son estados mixtos de los respectivos subsistemas de manera que
dónde
De lo contrario se llama estado entrelazado. Podemos suponer sin pérdida de generalidad en la expresión anterior que y son todas proyecciones de rango 1, es decir, representan conjuntos puros de los subsistemas apropiados. De la definición se desprende claramente que la familia de estados separables es un conjunto convexo .
Observe que, de nuevo a partir de la definición del producto tensorial, cualquier matriz de densidad, de hecho cualquier matriz que actúe sobre el espacio de estado compuesto, puede escribirse trivialmente en la forma deseada, si descartamos el requisito de que y son ellos mismos estados y Si se satisfacen estos requisitos, entonces podemos interpretar el estado total como una distribución de probabilidad sobre estados de producto no correlacionados .
En términos de canales cuánticos , se puede crear un estado separable de cualquier otro estado utilizando acciones locales y comunicación clásica, mientras que un estado entrelazado no puede.
Cuando los espacios de estado son de dimensión infinita, las matrices de densidad se reemplazan por operadores de clase de traza positivos con traza 1, y un estado es separable si se puede aproximar, en la norma de trazas, por estados de la forma anterior.
Si solo hay un único distinto de cero , entonces el estado puede expresarse como y se denomina estado simplemente separable o de producto . Una propiedad del estado del producto es que, en términos de entropía ,
Extendiéndose al caso multipartito
La discusión anterior se generaliza fácilmente al caso de un sistema cuántico que consta de más de dos subsistemas. Deje que un sistema tenga n subsistemas y tenga espacio de estados. Un estado puro es separable si toma la forma
De manera similar, un estado mixto ρ que actúa sobre H es separable si es una suma convexa
O, en el caso de dimensión infinita, ρ es separable si se puede aproximar en la norma de seguimiento por estados de la forma anterior.
Criterio de separabilidad
El problema de decidir si un estado es separable en general se denomina a veces problema de separabilidad.en la teoría de la información cuántica . Se considera un problema difícil. Se ha demostrado que es NP-duro . [1] [2] Se puede obtener alguna apreciación de esta dificultad si se intenta resolver el problema empleando el enfoque de fuerza bruta directa, para una dimensión fija. Vemos que el problema se vuelve rápidamente intratable, incluso para dimensiones reducidas. Por tanto, se requieren formulaciones más sofisticadas. El problema de la separabilidad es un tema de investigación actual.
Un criterio de separabilidad es una condición necesaria que un estado debe satisfacer para ser separable. En los casos de baja dimensión ( 2 X 2 y 2 X 3 ), el criterio de Peres-Horodecki es en realidad una condición necesaria y suficiente para la separabilidad. Otros criterios de separabilidad incluyen (pero no se limitan a) el criterio de rango , el criterio de reducción y aquellos basados en relaciones de incertidumbre. [3] [4] [5] [6] Véase la Ref. [7] para una revisión de los criterios de separabilidad en sistemas de variables discretas.
En sistemas de variables continuas, también se aplica el criterio de Peres-Horodecki . Específicamente, Simon [8] formuló una versión particular del criterio de Peres-Horodecki en términos de los momentos de segundo orden de los operadores canónicos y mostró que es necesario y suficiente para-modo estados gaussianos (ver Ref. [9] para un enfoque aparentemente diferente pero esencialmente equivalente). Más tarde se descubrió [10] que la condición de Simon también es necesaria y suficiente para-modo estados gaussianos, pero ya no es suficiente para -modo estados gaussianos. La condición de Simon se puede generalizar teniendo en cuenta los momentos de orden superior de los operadores canónicos [11] [12] o utilizando medidas entrópicas. [13] [14]
Caracterización mediante geometría algebraica
La mecánica cuántica puede modelarse en un espacio proyectivo de Hilbert , y el producto categórico de dos de esos espacios es la incrustación de Segre . En el caso bipartito, un estado cuántico es separable si y solo si se encuentra en la imagen de la incrustación de Segre. Jon Magne Leinaas , Jan Myrheim y Eirik Ovrum en su artículo "Aspectos geométricos del entrelazamiento" [15] describen el problema y estudian la geometría de los estados separables como un subconjunto de las matrices de estados generales. Este subconjunto tiene alguna intersección con el subconjunto de estados que mantienen el criterio de Peres-Horodecki . En este artículo, Leinaas et al. también dan un enfoque numérico para probar la separabilidad en el caso general.
Prueba de separabilidad
La prueba de separabilidad en el caso general es un problema NP-difícil . [1] [2] Leinaas et. Alabama. [15] formuló un algoritmo probabilístico iterativo para probar si un estado dado es separable. Cuando el algoritmo tiene éxito, proporciona una representación aleatoria explícita del estado dado como un estado separable. De lo contrario, da la distancia entre el estado dado y el estado separable más cercano que puede encontrar.
Ver también
Referencias
- ^ a b Gurvits, L., Complejidad determinista clásica del problema de Edmonds y entrelazamiento cuántico, en Actas del 35º Simposio ACM sobre Teoría de la Computación, ACM Press, Nueva York, 2003.
- ^ a b Sevag Gharibian, NP-Dureza fuerte del problema de separabilidad cuántica, Computación e información cuántica, Vol. 10, núm. 3 y 4, págs. 343-360, 2010. arXiv: 0810.4507.
- ↑ Hofmann, Holger F .; Takeuchi, Shigeki (22 de septiembre de 2003). "Violación de las relaciones de incertidumbre local como firma de enredo". Physical Review A . 68 (3): 032103. arXiv : quant-ph / 0212090 . Código Bibliográfico : 2003PhRvA..68c2103H . doi : 10.1103 / PhysRevA.68.032103 .
- ^ Gühne, Otfried (18 de marzo de 2004). "Caracterización del enredo a través de relaciones de incertidumbre". Cartas de revisión física . 92 (11): 117903. arXiv : quant-ph / 0306194 . Código Bibliográfico : 2004PhRvL..92k7903G . doi : 10.1103 / PhysRevLett.92.117903 . PMID 15089173 .
- ^ Gühne, Otfried; Lewenstein, Maciej (24 de agosto de 2004). "Relaciones de incertidumbre entrópica y enredo". Physical Review A . 70 (2): 022316. arXiv : quant-ph / 0403219 . Código Bibliográfico : 2004PhRvA..70b2316G . doi : 10.1103 / PhysRevA.70.022316 .
- ^ Huang, Yichen (29 de julio de 2010). "Criterios de entrelazamiento mediante relaciones de incertidumbre de función cóncava". Physical Review A . 82 (1): 012335. Código Bibliográfico : 2010PhRvA..82a2335H . doi : 10.1103 / PhysRevA.82.012335 .
- ^ Gühne, Otfried; Tóth, Géza (2009). "Detección de enredos". Informes de física . 474 (1–6): 1–75. arXiv : 0811.2803 . Código Bibliográfico : 2009PhR ... 474 .... 1G . doi : 10.1016 / j.physrep.2009.02.004 .
- ^ Simon, R. (2000). "Criterio de separabilidad de Peres-Horodecki para sistemas de variables continuas". Cartas de revisión física . 84 (12): 2726–2729. arXiv : quant-ph / 9909044 . Código Bibliográfico : 2000PhRvL..84.2726S . doi : 10.1103 / PhysRevLett.84.2726 . PMID 11017310 .
- ^ Duan, Lu-Ming; Giedke, G .; Cirac, JI; Zoller, P. (2000). "Criterio de inseparabilidad para sistemas de variables continuas". Cartas de revisión física . 84 (12): 2722–2725. arXiv : quant-ph / 9908056 . Código Bibliográfico : 2000PhRvL..84.2722D . doi : 10.1103 / PhysRevLett.84.2722 . PMID 11017309 .
- ^ Werner, RF; Wolf, MM (2001). "Estados gaussianos enlazados entrelazados". Cartas de revisión física . 86 (16): 3658–3661. arXiv : quant-ph / 0009118 . Código Bibliográfico : 2001PhRvL..86.3658W . doi : 10.1103 / PhysRevLett.86.3658 . PMID 11328047 .
- ^ Shchukin, E .; Vogel, W. (2005). "Criterios de inseparabilidad para estados cuánticos bipartitos continuos". Cartas de revisión física . 95 (23): 230502. arXiv : quant-ph / 0508132 . Código Bibliográfico : 2005PhRvL..95w0502S . doi : 10.1103 / PhysRevLett.95.230502 . PMID 16384285 .
- ^ Hillery, Mark; Zubairy, M.Suhail (2006). "Condiciones de entrelazamiento para estados de dos modos". Cartas de revisión física . 96 (5): 050503. arXiv : quant-ph / 0507168 . Código Bibliográfico : 2006PhRvL..96e0503H . doi : 10.1103 / PhysRevLett.96.050503 . PMID 16486912 .
- ^ Walborn, S .; Taketani, B .; Salles, A .; Toscano, F .; de Matos Filho, R. (2009). "Criterios de enredo entrópico para variables continuas". Cartas de revisión física . 103 (16): 160505. arXiv : 0909.0147 . Código Bibliográfico : 2009PhRvL.103p0505W . doi : 10.1103 / PhysRevLett.103.160505 . PMID 19905682 .
- ^ Yichen Huang (octubre de 2013). "Detección de enredos: complejidad y criterios entrópicos de Shannon". Transacciones IEEE sobre teoría de la información . 59 (10): 6774–6778. doi : 10.1109 / TIT.2013.2257936 .
- ↑ a b "Aspectos geométricos del entrelazamiento", Physical Review A 74, 012313 (2006)
enlaces externos
- Aplicación web "StateSeparator"