En la presente tesis se discuten los estados cuanticos singlete de muchas particulas, es decir, estados cuanticos de momento angular nulo para agregados atomicos con un numero elevado de particulas. Se da una definicion para este concepto, se discuten sus principales caracteristicas y se presentan algunos ejemplos concretos de estados singlete multiparticula.Estos estados son particularmente adecuados para su utilizacion en tareas de magnetometria diferencial, esto es, mediciones de la magnitud del gradiente de un campo magnetico. Se describe un procedimiento en el cual se utiliza un unico agregado atomico en un estado singlete para medir el gradiente de un campo magnetico, y se discuten los resultados para varios perfiles de densidad de la nube atomica. Posteriormente, se estudia la precision con la que la medida del gradiente puede ser efectuada, obteniendose como resultado la maxima alcanzable para este tipo de estados, siendo la magnitud a medir el gradiente del campo. Esta maxima precision viene dada por la magnitud llamada ?Informacion de Fisher?. Uno de los resultados obtenidos es la equivalencia de todos los estados singlete para este tipo de metrologia, ya que la maxima precision alcanzable es la misma para todos ellos. Por ultimo, se estudian algunos modelos en los que el estado inicial no es un singlete perfecto, sino que presenta algun tipo de ruido. Los modelos estudiados dan como resultado una precision nula para este parametro en presencia de ruido.
En la presente tesis se discuten los estados cuanticos singlete de muchas particulas, es decir, estados cuanticos de momento angular nulo para agregados atomicos con un numero elevado de particulas. Se da una definicion para este concepto, se discuten sus principales caracteristicas y se presentan algunos ejemplos concretos de estados singlete multiparticula.Estos estados son particularmente adecuados para su utilizacion en tareas de magnetometria diferencial, esto es, mediciones de la magnitud del gradiente de un campo magnetico. Se describe un procedimiento en el cual se utiliza un unico agregado atomico en un estado singlete para medir el gradiente de un campo magnetico, y se discuten los resultados para varios perfiles de densidad de la nube atomica. Posteriormente, se estudia la precision con la que la medida del gradiente puede ser efectuada, obteniendose como resultado la maxima alcanzable para este tipo de estados, siendo la magnitud a medir el gradiente del campo. Esta maxima precision viene dada por la magnitud llamada ?Informacion de Fisher?. Uno de los resultados obtenidos es la equivalencia de todos los estados singlete para este tipo de metrologia, ya que la maxima precision alcanzable es la misma para todos ellos. Por ultimo, se estudian algunos modelos en los que el estado inicial no es un singlete perfecto, sino que presenta algun tipo de ruido. Los modelos estudiados dan como resultado una precision nula para este parametro en presencia de ruido.
La motivacion de esta tesis es estudiar el entrelazamiento cuantico en general y bajo que circunstancias es maximo en particular. En primer lugar, se analizan desigualdades de Bell desde un punto de vista operacional, se presentan nuevas desigualdades para particulas de dimension mayor que dos y se estudian los estados que las violan maximamente. Dichos estados son del tipo GHZ para las desigualdades que involucran qubits. En el caso de experimentos con qutrits o particulas dimension local mayor, los estados que violan maximamente estas desigualdades son deformaciones de estados GHZ generalizados. Este resultado demuestra que aunque maximo entrelazamiento y la no-localidad son conceptos muy proximos, no son equivalentes. En segundo lugar, se estudia el entrelazamiento multipartito en cadenas de espines. En particular, se usa como figura de merito el hiperdeterminante y los invariantes polinomicos que lo forman, S y T. Estas figuras cuantifican un tipo concreto de entrelazamiento cuatripartito, tal y como se demuestra de un analisis de estados cuanticos bien conocidos como el GHZ o el W. Cuando aplicamos esta figura a una cadena de espines con interaccion tipo Ising, observamos un pico pronunciado cerca de la transicion de fase cuantica. Resultados similares se observan para los modelos de XXZ y de Haldane-Shastry para el caso de los invariantes S y T. Con todo, concluimos que estas figuras de merito son sensibles a las transiciones de fase cuanticas. La segunda parte de la tesis se focaliza en el campo de la computacion cuantica. Dicho campo ha experimentado un crecimiento relevante en los ultimos anos, debido en parte a la mejora tecnologica sobre el control de experimentos cuanticos. Con motivo de este crecimiento, diversas empresas han empezado a desarrollar prototipos de ordenadores cuanticos. Por esta razon, una de las lineas de investigacion en computacion cuantica consiste en proponer metodos para poner a prueba estas maquinas. Uno de los metodos presentados en esta tesis es la simulacion exacta de una cadena de espines con interaccion de tipo XY. Se explicita como debe de ser el circuito cuantico que lleva a cabo dicha simulacion y se propone la simulacion tanto de estados termicos como de la evolucion en el tiempo. Debido a que el modelo XY es resoluble analiticamente, se pueden comparar los resultados obtenidos de la simulacion con el ordenador cuantico con la solucion teorica. Al correr un circuito para cuatro qubits en dos ordenadores de la empresa IBM y uno de la empresa Rigetti computing, obtenemos resultados peores a los esperados. Con ello, concluimos que hay fuentes de error que no se estan teniendo en cuenta en general y que cobran relevancia incluso en circuitos tan pequenos. Ademas de este circuito, proponemos la simulacion de estados altamente entrelazados. La implementacion de estos circuitos constituye un test tan duro como necesario para un ordenador cuantico, debido a que la ventaja de los algoritmos cuanticos radica en la generacion de entrelazamiento. Para finalizar, estudiamos la generacion de entrelazamiento al nivel mas fundamental: la fisica de particulas. Obtenemos que la interaccion de QED viene dictada por el maximo entrelazamiento en aquellos procesos a “tree-level”. Aplicamos la misma filosofia en procesos que involucren corrientes debiles neutras (tambien a “tree-level”) y con ello obtenemos que el angulo de Weinberg debe ser de pi/6 si imponemos que las particulas finales deben estar maximamente entrelazadas, valor muy cercano al experimental.
El estudio de la interaccion luz materia con conjuntos atomicos es un area de investigacion activa. Este tipo de sistema permite fundamental estudios sobre la medicion en el contexto de las variables continuas, en entrelazamiento colectiva y en las simulaciones cuanticas. Este campo de la investigacion tambien es interesante en el contexto de la metrologia cuantica, comunicacion cuantica y la computacion cuantica. En esta tesis dos aspectos complementarios de la interaccion luz materia con conjuntos atomicos han sido estudiados con iones atrapados y atomos neutros frios. El experimento de iones atrapados pretende evaluar la posibilidad de utilizar grandes nubes de iones para la realizacion de una memoria cuantica con largo tiempo de coherencia. En vez de que el experimento de atomos frios se centro en el uso de medidas de no demolicion cuantica para evaluar estados no gaussianos. Este experimento es parecido a los experimentos de comunicacion cuantica que se desarrollan actualmente. Los iones atrapados enfriados por laser pueden llegar a una fase cristalina debido a la fuerte repulsion de Coulomb entre los iones. En esta fase, las relativas posiciones entre los iones se fijan de manera a evitar las colisiones y los iones que exploran inhomogeneidades del campo magnetico que puede ser una fuente de perdida de coherencia. Con bajo numero de iones, largos tiempos de coherencia han sido demostrados. Con iones numerosos, el mecanismo de captura puede inducir un calentamiento de la nube de iones, haciendo asi mas dificil de obtener el regimen cristalizado. Durante esta tesis, los cristales de Coulomb grandes que contiene mas de 106 iones se han obtenidos y la prueba de la transparencia inducida electromagneticamente en tal sistema ha sido obtenida. Este estudio tambien revelo las limitaciones de este tipo de sistemas que tienen que ser estudiado mas a fondo para obtener una fuerte probabilidad de interaccion con conjuntos de iones frios en un regimen permitiendo largos tiempos de coherencia. Los sistemas de atomos neutros permiten fuertes probabilidades de acoplamiento luz materia, pero generalmente reduce los tiempos de coherencia. Memorias cuanticas, el entrelazamiento entre atomos y la luz, magnetometria de alta precision han sido demostrados en experimentos relacionados con vapores atomicos neutros. El sistema utilizado en esta tesis se ha disenado para permitir que la probabilidad de acoplamiento luz materia sea importante, con pulsos de luz polarizada, lo que permite medir con precision el estado de espin del sistema atomico sin destruccion y con bajo ruido. La medicion del ruido del sistema es mas baja que el ruido atomico, lo que podria inducir el entrelazamiento colectivo de los espines atomicos (a traves del squeezing de espines inducido por la medicion) y mediciones de campo magnetico ultra sensibles. Este sistema esta estrechamente relacionado con sistemas disenados para la creacion de comunicacion cuantica y memorias cuanticas. Los estados atomicos no gaussianos constituyen un recurso para la computacion cuantica y la comunicacion cuantica, en el contexto de los experimentos de fisica atomica, su deteccion puede ser dificil. El trabajo presentado en esta tesis se centra en la deteccion de los estados no gaussianos en conjuntos atomicos utilizando cumulants, y en particular el ruido relacionado con la medicion de los cumulants.
Como hilo conductor, la tesis trata la posibilidad de caracterizar y detectar propiedades no locales de gases atomicos ultrafrios. La principal motivacion para esta coleccion de propuestas surge del campo de la simulacion cuantica y la informacion cuantica. A continuacion vamos a listar los resultados principales de esta tesis, siguiendo aproximadamente el orden en que han sido estructurados los capitulos: Hemos revisado la forma en la que un modelo de tipo enlace fuerte con particulas masivas puede dar lugar a teorias de fermiones sin masa de Dirac en el limite de baja energia. En particular, se detalla la relacion entre todos los posibles terminos que pueden incluirse en el Hamiltoniano (sin interaccion) y los parametros microscopicos controlables. Las especificidades de la implementacion son explicadas de forma cuantitativa, con el objetivo de realizar una propuesta experimental completa.Por ultimo, se sugiere el empleo de varios protocolos de medida, segun las caracteristicas particulares del experimento que se quiera realizar, y que allanan el camino para la realizacion de simulaciones mas complejas en experimentos similares. Hemos demostrado que un aislante de Chern puede ser implementado y car- acterizado en un experimento de redes opticas. Un indice (o winding number, en ingles) que toma valores en los enteros puede ser medido a partir de imagenes en tiempo de vuelo del gas atomico, lo que resulta equivalente a la medida de su numero de Chern. Hemos comprobado numericamente que el protocolo de deteccion es robusto frente a las inhomogeneidades y temperaturas propias de estos experimentos con redes opticas, como cabe esperar de un invariante topologico entero. Hemos demostrado que el numero de Chern de un sistema 4x4 con invariancia traslacional puede ser descompuesto como la suma de las fases de Berry de dos particiones de tipo pseudoespin. La prueba requiere que dichas particiones no se encuentren maximamente entrelazadas en ningun punto en espacio de momentos -lo que supone una gran restriccion a la hora de seleccionar las biparticiones. En general, esta restriccion implica motivar la eleccion de particiones en base a alguna simetria del problema. Ademas, y basandonos en este resultado y el expuesto en el punto anterior, podemos concluir que el numero de Chern de un sistema compuesto tambien puede ser medido mediante imagenes en tiempo de vuelo; exponemos este resultado con un ejemplo paradigmatico: una propuesta para medir modos de Majorana en un experimento con redes opticas completamente detallado. Hemos construido un modelo de enlace fuerte que incluye el efecto de potenciales Abelianos y no Abelianos sobre fermiones masivos. Las medidas realizadas unicamente en el grado de libertad de espin son suficientes para construir un indice topologico que cambia de valor al cruzar una transicion de fase provocada por el potencial no Abeliano, como se demuestra numericamente. Reafirmando la intuicion de la que nos dota el resultado expuesto en el punto anterior, la cantidad de informacion extraida a partir de estas medidas parciales depende criticamente de la ruptura de simetrias relevantes del problema. Hemos demostrado que la fidelidad local a un estado grafo puede ser medida en un modelo sencillo de bits cuanticos- en una red atomica bipartita. Lo que es mas importante, esta fidelidad contituye un testigo de entrelazamiento genuinamente multipartito que puede ser computado sobre regiones arbitrarias, haciendo uso unicamente de dos conjuntos de medidas simultaneas. Hemos incluido evidencia numerica de que este protocolo funciona aun en presencia de diferentes fuentes de ruido propias de experimentos con redes opticas. Aunque las medidas son en si destructivas, el metodo es util tanto como forma de certificar entrelazamiento entre muchas particulas como para calibrar un experimento que tenga el proposito de construir estados grafo de gran tamano.
Esta tesis trata sobre simulacion cuantica con gases frios en reticulos opticos. Los reticulos opticos permiten atrapar nubes atomicas formadas, formadas tanto por bosones como por fermiones, en potenciales optcos periodicos. Actualmente se posee un control experimental tan grande con estos sistemas que pueden ser usados para simular modelos que son dificiles de estudiar analiticamente o numericamente para comprobar que son buenas descripciones de la naturaleza. Se presentan varias propuestas experimentales para la simulacion de determinados modelos cuanticos de muchos cuerpos. En primer lugar se propone simular la invariancia gauge de un campo magnetico artificial. La eleccion del gauge en que se realiza el experimento se puede cambiar para comprobar que los observables no dependen de esta eleccion. De esta forma, este simulador lleva incorporado un metodo de verificacion. Es decir, podemos saber que el simulador funciona porque exhibe simetria gauge. La segunda propuesta trata de la simulacion del campo de dirac en dos dimensiones en un espacio tiempo curvado. Se presentan realizaciones experimentales concretas para simular, en particular, el universo de Rindler. La tercera propuesta consiste en simular el modelo de Hubbard en una dimension extra, con cuatro dimensiones espaciales. Se discuten posibles observables que prueban que el sistema posee otra dimension espacial. Por ultimo se propone un experimento para simular con un reticulo optico un modelo de espines clasico mediante el calculo de su funcion de particion a temperatura imaginaria. Se estudia la continuacion analitica a temperatura real y el coste experimental de la misma. A continuacion se estudia el poder computacional cuantico del modelo de Ising en dos dimensiones a temperatura real. Por ultimo se propone una aplicacion de este protocolo al calculo de ciertos invariantes de nudos.
Existe un fenomeno en mecanica cuantica sin analogo clasico llamado por el cual es posible preparar dos particulas en un estado tal que este no puede ser descrito como el producto directo del estado de cada una de las particulas, no importa cuan lejos espacialmente se encuentren una de la otra. Este tipo de correlaciones cuanticas no locales puede ser utilizado como un recurso fisico dentro del campo de la informacion cuantica, por ejemplo, para realizar teleportacion cuantica. En particular, pares de electrones con entrelazamiento de spin no local podrian ser utilizados en un futuro para tareas de comunicacion cuantica en computadores cuanticos basados en fisica del estado solido. En esta tesis hemos considerado tres aspectos importantes relacionados con ellos. Primero hemos estudiado el problema de como generar dichos pares Einstein-Podolsky-Rosen (EPR). Hemos obtenido un Hamiltoniano de tunel local que permite investigar transporte a traves de interfaces de tamano finito y geometria arbitraria. Con el hemos analizado la emision de pares de Cooper desde un superconductor a dos metales normales a traves de dos contactos tunel pequeno separados una distancia r. Este dispositivo podria ser utilizado como un entrelazador, o sea, una fuente de pares EPR, ya que los electrones emitidos poseen un estado de spin entrelazado, en particular, tipo singlete. Para evitar el problema del rapido decaimiento de esa corriente con r, hemos propuesto un mecanismo nuevo para separar los electrones entrelazados que hace uso de resonancias normales y Andreev en una estructura superconductor-doble barrera-gas bidimensional de electrones (2DEG). Este entrelazador esta basado en un filtro angular que genera haces divergentes de electrones entrelazados no localmente. En una segunda parte hemos considerado el problema de la evolucion de esos pares entrelazados dentro de la nanoestructura cuando estos estan some
Durante las últimas décadas se han logrado grandes avances en la manipulación desistemas físicos en la escala nano y subnanoscópica, donde la coherencia cuánticajuega un papel dominante. Algunos hitos registrados en los últimos años son lamanipulación óptica de partículas individuales en trampas de iones, la interaccióncontrolada de un solo electrón con fotones individuales en puntos cuánticos desilicio y la realización de bits cuánticos (qubits) con largos tiempos de coherencia en circuitos superconductores. Actualmente, la habilidad de diseñar la evolución de sistemas cuánticos con gran precisión está allanando el camino para una nueva revolución en las tecnologías cuánticas. En esta Tesis estudiamos desde el punto de vista teórico el problema de controlen sistemas cuánticos. Un aspecto central de este problema es que la presenciade disipación y decoherencia por lo general impide que el sistema sea manipuladoarbitrariamente. Cuando estos efectos no pueden ser eludidos, es esencial efectuarlos protocolos de control de la manera mas rápida posible. En este contexto,realizamos un estudio de los límites fundamentales que existen para la velocidadde evolución en sistemas cuánticos. Estos límites surgen de generalizaciones dela relación de incerteza entre tiempo y energía, que impone cotas inferiores a lostiempos de evolución. Estudiando el escenario general de un problema de control,donde los operadores Hamiltonianos dependen explícitamente del tiempo,mostramos que en general estas relaciones no proveen información útil que permitaacotar tiempos mínimos en estos problemas. A la luz de estos resultados,proponemos nuevos métodos que efectivamente pueden ser aplicados a cualquiersistema cuántico controlado y que permiten estimar cotas para dichos tiempos. Un ingrediente esencial de las aplicaciones modernas de la teoría de control son los métodos de optimización. En esta Tesis estudiamos e implementamos numéricamentemétodos de control óptimo para sistemas cuánticos en diversos modelos de interés. En particular, utilizamos dichas herramientas para buscar los tiempos mínimosde evolución en sistemas cuánticos que presentan múltiples cruces evitados en suespectro de energías. Para este tipo de modelos, en primer lugar proponemosy caracterizamos un método general para realizar tareas de control, que generaevoluciones con velocidad óptima en cada cruce. Luego, usando métodos de optimización mostramos que el tiempo de evolución puede disminuirse a medida que elnúmero de niveles del sistema aumenta. Finalmente, a partir de estudiar el efectode campos periódicos en estos sistemas, logramos identificar los mecanismos físicosque generan este fenómeno y proponer una solución analítica para el campo decontrol. Adicionalmente, estudiamos la relación entre la controlabilidad de un sistemacuántico y su complejidad. Usando control óptimo, obtuvimos los campos necesariospara generar distintos procesos en una cadena de spines y estudiamos sistemáticamente las propiedades de dichos campos como función de distintos aspectos que hacen a la complejidad del sistema. Encontramos que el ancho debanda de los campos es, por lo general, independiente de la dimensión del sistema. Asimismo, la complejidad del espectro de Fourier del campo efectivamenteaumenta a medida que se incrementa el número de excitaciones en el sistema. Sinembargo, también concluimos que la naturaleza regular o caótica del sistema noafecta significativamente su controlabilidad. Finalmente, estudiamos sistemas cuánticos abiertos en presencia de campos externos. En ese contexto, actualmente se debate si los entornos no Markovianospueden ser usados como un recurso para mejorar la controlabilidad de dichos sistemas. Una de las características más atractivas de estos sistemas es que describenescenarios en los que la pérdida de información y de coherencia son reversibles y,por lo tanto, es posible ujo temporario de información desde el entorno hacia elsistema. Estudiamos la relación entre el grado de no-Markovianidad y la acciónde campos de control dependientes del tiempo en un sistema de dos niveles interactuando con un entorno estructurado a baja temperatura. Para este sistema,hallamos que aplicando campos periódicos sobre el sistema es posible aumentarconsiderablemente el grado de no-Markovianidad con respecto al caso estático. Asimismo exploramos la relación entre los efectos no Markovianos y el control, yargumentamos que dichos efectos no pueden considerarse como un recurso pararealizar protocolos de control.