Articulo de referencia

tomografía de estados cuánticos invariante bajo permutaciones

La tomografía de estados cuánticos invariante a las permutaciones (tomografía de estados cuánticos PI) es un método para la determinación parcial del estado de un sistema cuánti...

La tomografía de estados cuánticos invariante a las permutaciones (tomografía de estados cuánticos PI) es un método para la determinación parcial del estado de un sistema cuántico compuesto por muchos subsistemas.

En general, el número de parámetros necesarios para describir el estado mecánico cuántico de un sistema que consta denorte{\displaystyle N}Los subsistemas están aumentando exponencialmente connorte.{\displaystyle N.}Por ejemplo, para unnorte{\displaystyle N}- sistema de cúbits ,2(norte+1)2{\displaystyle 2^{(N+1)}-2}Se necesitan parámetros reales para describir el vector de estado de un estado puro, o 22norte1{\displaystyle 2^{2N}-1}Se necesitan parámetros reales para describir la matriz de densidad de un estado mixto . La tomografía de estados cuánticos es un método para determinar todos estos parámetros a partir de una serie de mediciones en muchos sistemas independientes e idénticos. Por lo tanto, en el caso de la tomografía de estados cuánticos completa , el número de mediciones necesarias aumenta exponencialmente con el número de partículas o cúbits.

Para sistemas grandes, la determinación del estado cuántico completo ya no es posible en la práctica, y uno está interesado en métodos que determinen solo un subconjunto de los parámetros necesarios para caracterizar el estado cuántico que aún contiene información importante sobre el estado. La tomografía cuántica invariante permutacional es uno de esos métodos. La tomografía cuántica PI solo mideϱPAGI,{\displaystyle \varrho _{\rm {PI}},}la parte invariante permutacional de la matriz de densidad. Para el procedimiento, basta con realizar mediciones locales en los subsistemas. Si el estado es cercano a ser invariante permutacionalmente, lo cual ocurre en muchas situaciones prácticas, entoncesϱPAGI{\displaystyle \varrho _{\rm {PI}}}está cerca de la matriz de densidad del sistema. Incluso si el estado no es invariante permutacionalmente,ϱPAGI{\displaystyle \varrho _{\rm {PI}}}aún puede utilizarse para la detección de entrelazamiento y el cálculo de valores esperados de operadores relevantes. Por lo tanto, el procedimiento no asume la invariancia permutacional del estado cuántico. El número de parámetros reales independientes deϱPAGI{\displaystyle \varrho _{\rm {PI}}}paranorte{\displaystyle N}Los cúbits escalan comonorte3.{\displaystyle \sim N^{3}.}El número de configuraciones de medición local se escala como norte2.{\displaystyle \sim N^{2}.}Por lo tanto, la tomografía cuántica invariante permutacionalmente se considera manejable incluso para grandesnorte{\displaystyle N}En otras palabras, la tomografía cuántica invariante a las permutaciones se considera escalable .

El método puede utilizarse, por ejemplo, para la reconstrucción de las matrices de densidad de sistemas con más de 10 partículas, para sistemas fotónicos, para iones fríos atrapados o sistemas en átomos fríos .

La parte invariante a las permutaciones de la matriz de densidad

La tomografía de estado PI reconstruye la parte invariante permutacional de la matriz de densidad, que se define como la mezcla igual de los estados cuánticos obtenidos después de permutar las partículas de todas las maneras posibles [ 1 ].

ϱPAGI=1norte¡kΠkϱΠk,{\displaystyle \varrho _ {\rm {PI}}={\frac {1}{N!}}\sum _ {k}\Pi _ {k}\varrho \Pi _ {k}^{\dagger},}

dóndeΠk{\displaystyle \Pi _{k}}denota la k -ésima permutación. Por ejemplo, paranorte=2{\displaystyle N=2}Tenemos dos permutaciones.Π1{\displaystyle \Pi _{1}}deja el orden de las dos partículas sin cambios.Π2{\displaystyle \Pi _{2}}intercambia las dos partículas. En general, paranorte{\displaystyle N}partículas, tenemosnorte¡{\displaystyle N!}permutaciones.

Es fácil ver queϱPAGI{\displaystyle \varrho _{\rm {PI}}}es la matriz de densidad que se obtiene si no se tiene en cuenta el orden de las partículas. Esto corresponde a un experimento en el que un subconjunto denorte{\displaystyle N}Las partículas se seleccionan aleatoriamente de un conjunto mayor. El estado de este grupo más pequeño es, por supuesto, invariante ante permutaciones.

El número de grados de libertad deϱPAGI{\displaystyle \varrho _{\rm {PI}}}escala polinómicamente con el número de partículas. Para un sistema denorte{\displaystyle N}cúbits (espín-1/2{\displaystyle 1/2}partículas) el número de grados de libertad reales es [ 2 ]

(norte+3norte)1=16(norte3+6norte2+11norte).{\displaystyle {\binom {N+3}{N}}-1={\frac {1}{6}}(N^{3}+6N^{2}+11N).}

Las mediciones necesarias para determinar la parte invariante a las permutaciones de la matriz de densidad

Para determinar estos grados de libertad, [ 1 ]

(norte+2norte)=(norte+2)(norte+1)2=12(norte2+3norte+2){\displaystyle {\binom {N+2}{N}}={\frac {(N+2)(N+1)}{2}}={\frac {1}{2}}(N^{2}+3N+2)}

Se necesitan ajustes de medición locales . Aquí, los ajustes de medición locales significan que el operadorAj{\displaystyle A_{j}}debe medirse en cada partícula. Al repetir la medición y recopilar suficientes datos, se pueden determinar todas las correlaciones de dos puntos, tres puntos y de orden superior.

Determinación eficiente de un estado físico

Hasta ahora hemos comentado que el número de mediciones aumenta polinómicamente con el número de cúbits .

Sin embargo, para utilizar el método en la práctica, todo el procedimiento tomográfico debe ser escalable. Por lo tanto, necesitamos almacenar el estado en la computadora de una manera escalable. Claramente, la forma directa de almacenar elnorte{\displaystyle N}-estado de cúbit en un2norte×2norte{\displaystyle 2^{N}\times 2^{N}}La matriz de densidad no es escalable. Sin embargo,ϱPAGI{\displaystyle \varrho _{\rm {PI}}}es una matriz diagonal por bloques debido a su invariancia permutacional y por lo tanto se puede almacenar de manera mucho más eficiente. [ 3 ]

Además, es bien sabido que, debido a fluctuaciones estadísticas y errores sistemáticos, la matriz de densidad obtenida a partir del estado medido mediante inversión lineal no es semidefinida positiva y presenta algunos autovalores negativos. Un paso importante en una tomografía típica es el ajuste de una matriz de densidad física, es decir, semidefinida positiva, a los datos tomográficos. Este paso suele representar un cuello de botella en el proceso general de la tomografía de estado completo. Sin embargo, la tomografía PI, como acabamos de comentar, permite almacenar la matriz de densidad de forma mucho más eficiente, lo que también permite un ajuste eficiente mediante optimización convexa , que además garantiza que la solución sea un óptimo global. [ 3 ]

Características del método

La tomografía PI se utiliza comúnmente en experimentos que involucran estados invariantes permutacionalmente. Si la matriz de densidadϱPAGI{\displaystyle \varrho _{\rm {PI}}}La obtenida por tomografía PI está entrelazada , entonces la matriz de densidad del sistema,ϱ{\displaystyle \varrho }también está entrelazado. Por esta razón, los métodos habituales para la verificación del entrelazamiento, como los testigos de entrelazamiento o el criterio de Peres-Horodecki , pueden aplicarse aϱPAGI{\displaystyle \varrho _{\rm {PI}}}Sorprendentemente, la detección de entrelazamiento llevada a cabo de esta manera no presupone que el propio sistema cuántico sea invariante ante permutaciones.

Además, el valor esperado de cualquier operador invariante permutacionalmente es el mismo paraϱ{\displaystyle \varrho }y paraϱPAGI.{\displaystyle \varrho _{\rm {PI}}.}Ejemplos muy relevantes de tales operadores son los proyectores a estados simétricos, como el estado de Greenberger-Horne-Zeilinger , el estado W y los estados de Dicke simétricos. Por lo tanto, podemos obtener la fidelidad con respecto a los estados cuánticos mencionados anteriormente como el valor esperado de los proyectores correspondientes en el estado.ϱPAGI.{\displaystyle \varrho _{\rm {PI}}.}

La fidelidad cuántica deϱPAGI{\displaystyle \varrho _{\rm {PI}}}yϱ{\displaystyle \varrho }puede ser acotado desde abajo como [ 1 ]

F(ϱ,ϱPAGI)PAGsϱ2,{\displaystyle F(\varrho ,\varrho _{\rm {PI}})\geq \langle P_{s}\rangle _{\varrho }^{2},}

dóndePAGs{\displaystyle P_{s}}es el proyector al subespacio simétrico. Para estados simétricos,PAGs=1{\displaystyle {\langle }P_{s}\rangle =1}se cumple. De esta manera, podemos acotar inferiormente la diferencia conociendo soloϱPAGI.{\displaystyle \varrho _{\rm {PI}}.}

Existen otros enfoques para la tomografía que requieren menos mediciones que la tomografía de estado cuántico completa. Como hemos comentado, la tomografía PI suele ser más útil para estados cuánticos que son casi invariantes a la permutación. La detección comprimida es especialmente adecuada para estados de bajo rango. [ 4 ] La tomografía de estado de producto matricial es más adecuada para, por ejemplo, estados de clúster y estados fundamentales de modelos de espín. [ 5 ] La tomografía invariante a la permutación se puede combinar con la detección comprimida. En este caso, el número de configuraciones de medición local necesarias puede ser incluso menor que para la tomografía invariante a la permutación. [ 2 ]

Experimentos

La tomografía invariante permutacional se ha probado experimentalmente para un estado de Dicke simétrico de cuatro cúbits [ 1 ] y también para un estado de Dicke simétrico de seis cúbits en fotones, y se ha comparado con la tomografía de estado completo y la detección comprimida [ 2 ] . Una simulación de la tomografía invariante permutacional muestra que la reconstrucción de una matriz de densidad semidefinida positiva de 20 cúbits a partir de datos medidos es posible en pocos minutos en un ordenador estándar [ 3 ] . También se ha probado el método híbrido que combina la tomografía invariante permutacional y la detección comprimida [ 2 ] .

Referencias

  1. 1 2 3 4 Toth, G.; Wieczorek, W.; Bruto, D.; Krischek, R.; Schwemmer, C.; Weinfurter, H. (16 de diciembre de 2010). "Tomografía cuántica permutacionalmente invariante". Cartas de revisión física . 105 (25) 250403. arXiv : 1005.3313 . Código Bib : 2010PhRvL.105y0403T . doi : 10.1103/PhysRevLett.105.250403 . PMID 21231565 . S2CID 21786571 .  
  2. 1 2 3 4 Schwemmer, Christian; Tóth, Géza; Niggebaum, Alexander; Moroder, Tobias; Gross, David; Gühne, Otfried; Weinfurter, Harald (24 de julio de 2014). "Comparación experimental de esquemas de tomografía eficientes para un estado de seis cúbits". Physical Review Letters . 113 (4) 040503. arXiv : 1401.7526 . Bibcode : 2014PhRvL.113d0503S . doi : 10.1103/PhysRevLett.113.040503 . PMID 25105604. S2CID 26493608 .  
  3. 1 2 3 Moroder, Tobías; Hyllus, Philipp; Tóth, Géza; Schwemmer, cristiano; Niggebaum, Alejandro; Gaile, Stefanie; Gühne, Otfried; Weinfurter, Harald (1 de octubre de 2012). "Reconstrucción del estado permutacionalmente invariante". Nueva Revista de Física . 14 (10) 105001. arXiv : 1205.4941 . Código Bib : 2012NJPh...14j5001M . doi : 10.1088/1367-2630/14/10/105001 . S2CID 73720137 . 
  4. Gross, David; Liu, Yi-Kai; Flammia, Steven T.; Becker, Stephen; Eisert, Jens (4 de octubre de 2010). "Tomografía de estado cuántico mediante detección comprimida". Physical Review Letters . 105 (15) 150401. arXiv : 0909.3304 . Bibcode : 2010PhRvL.105o0401G . doi : 10.1103/PhysRevLett.105.150401 . PMID 21230876. S2CID 19029700 .  
  5. Cramer, Marcus; Plenio, Martin B.; Flammia, Steven T.; Somma, Rolando; Gross, David; Bartlett, Stephen D.; Landon-Cardinal, Olivier; Poulin, David; Liu, Yi-Kai (diciembre de 2010). "Tomografía eficiente de estados cuánticos". Nature Communications . 1 (1): 149. arXiv : 1101.4366 . Bibcode : 2010NatCo...1..149C . doi : 10.1038/ncomms1147 . PMID 21266999 . S2CID 17325851 .