En este proyecto se analizarán estrategias para el modelado eficiente de la dinámica en sistemas cuánticos no Markovianos. Para esto, se buscará generalizar el caso de la evolución de la dinámica de estados gaussianos a sistemas más generales, como sistemas de espines o sistemas de partículas interactuantes vía acoplamientos no cuadráticos, mediante la aproximación de los estados instantáneos por estados tipo Max-Ent, que tengan en cuenta las correlaciones relevantes. El énfasis se orientará al régimen de correlaciones cuánticas débiles. Los esquemas propuestos se contrastarán con sistemas que admiten soluciones analíticas, sistemas de pocos componentes o algunos casos de cadenas y redes de espines.
En este proyecto se analizarán estrategias para el modelado eficiente de la dinámica en sistemas cuánticos no Markovianos. Para esto, se buscará generalizar el caso de la evolución de la dinámica de estados gaussianos a sistemas más generales, como sistemas de espines o sistemas de partículas interactuantes vía acoplamientos no cuadráticos, mediante la aproximación de los estados instantáneos por estados tipo Max-Ent, que tengan en cuenta las correlaciones relevantes. El énfasis se orientará al régimen de correlaciones cuánticas débiles. Los esquemas propuestos se contrastarán con sistemas que admiten soluciones analíticas, sistemas de pocos componentes o algunos casos de cadenas y redes de espines.
En esta tesis se estudia la dinámica de no equilibrio de sistemas cuánticos aislados de muchos cuerpos. El protocolo de no equilibrio estudiado es el de un quench cuántico, es decir, una perturbación abrupta al sistema que se produce al variar instantáneamente uno de los parámetros del Hamiltoniano. Estamos particularmente interesados en las escalas de tiempo y en los mecanismos de relajación de los sistemas cuánticos aislados. Para atacar este problema utilizamos una variedad de técnicas analíticas para indagar diversos modelos. En el Capítulo 2 utilizamos la bosonización en una dimensión para estudiar la relajación por dephasing (el mecanismo que domina a tiempos cortos) en un sistema de fermiones unidimensionales con interacciones de corto y largo alcance. En el Capítulo 3 investigamos la formación de estados metaestables de tiempos cortos (estados pretermalizados) como fruto de la evolución por dephasing en un sistema de fermiones en dos dimensiones usando bosonización multidimensional. En el Capítulo 4 deducimos ecuaciones de movimiento para funciones de correlación de pocos puntos en sistemas débilmente interactuantes utilizando el formalismo del operador proyección. En el Capítulo 5 utilizamos estas ecuaciones para analizar la dinámica de tiempos largos de un sistema unidimensional de fermiones cerca del punto integrable X X Z . En este Capítulo también estudiamos la dinámica de un sistema unidimensional de bosones usando la aproximación truncada de Wigner (TWA por sus siglas en inglés), una aproximación válida en el límite semiclásico. Los hallazgos de nuestro trabajo pueden enunciarse de manera suscinta: cuando los canales de relajación del sistema son escasos y para energías lo suficientemente bajas emergen estados metaestables entre el estado inicial y el estado final de la evolución. Éstos pueden tener vidas medias muy grandes y obturar completamente la observación del equilibrio térmico en simulaciones numéricas o en experimentos. Los estados metaestables surgen como resultado del dephasing entre ciertos modos cuasilibres del sistema. Además, tales estados estacionarios admiten una descripción estadística en términos de un ensamble de Gibbs generalizado que toma en cuenta todas las cantidades conservadas del modelo efectivo de tiempos cortos. A tiempos mayores las colisiones inelásticas llevan al equilibrio térmico final. En el Capítulo 6 se detallan las conclusiones de nuestro trabajo y diversas perspectivas abiertas.
espanolLos sistemas cuanticos de muchos cuerpos ofrecen numerosos retos para diversos campos de la fisica y las matematicas, como la materia condensada, la teoria de la informacion cuantica, la teoria de operadores o el analisis numerico. Algunos de estos problemas surgen de la gran complejidad de estos sistemas, que dificulta su estudio mediante metodos clasicos, asi como del interes de la comunidad cientifica por comprender sus propiedades fisicas, tales como la dinamica, estructura de correlaciones o comportamiento tanto dentro como fuera del equilibrio. Entre las propiedades mas interesantes de estos sistemas se encuentra el entrelazamiento, un cierto tipo de correlacion cuantica que carece de analogo en sistemas clasicos y que se ha establecido como un recurso imprescindible en los campos de la informacion y computacion cuantica. La presente tesis doctoral profundiza en el estudio de correlaciones, localidad y entrelazamiento en sistemas cuanticos. En particular, se enfoca en herramientas matematicas como redes de tensores, cotas de Lieb Robinson y algoritmos cuanticos, para obtener resultados originales, tanto analiticos como numericos, de aplicacion directa en teoria de la informacion cuantica, materia condensada y metrologia cuantica. Los sistemas cuanticos que estudiamos consisten en conjuntos de particulas que interaccionan localmente unas con otras. La localidad de estos sistemas permite establecer una cota superior finita a la velocidad de propagacion de las excitaciones, tambien conocida como cota de Lieb Robinson. En esta tesis, demostramos que existen cotas de Lieb Robinson para modelos de espines que interaccionan en una red mediante un campo bosonico que tambien verifica una cota de Lieb Robinson en ausencia de acoplamiento espin boson. Aplicando estas cotas a sistemas de iones atrapados, observamos que la propagacion de las correlaciones de espin mediante los fonones de un cristal ionico puede ser mas rapida que el regimen explorado actualmente en los experimentos. Por este motivo, proponemos un esquema experimental para probar las cotas que consiste en medir las funciones de correlacion retardadas a traves de la fluorescencia del cristal. La localidad de las interacciones tambien impone restricciones sobre la estructura del entrelazamiento de los sistemas cuanticos y permite encontrar representaciones matematicas eficientes denominadas redes de tensores. Las redes de tensores son conjuntos de tensores interconectados que reflejan la estructura de entrelazamiento del sistema, reducen la complejidad de su representacion y capturan las propiedades fisicas mas relevantes de los estados cuanticos en los que estamos interesados. En esta tesis, utilizamos el caso unidimensional de las redes de tensores, tambien conocido como estados producto de matriz (MPS), para probar resultados analiticos y realizar simulaciones numericas. Mas especificamente, demostramos que una gran fraccionalizacion en la magnetizacion de una cadena de espines o la existencia de interacciones de largo alcance implican una gran cantidad de entrelazamiento en el estado de la cadena. Las correlaciones y el entrelazamiento se han revelado como recursos de gran utilidad en metrologia cuantica, estableciendo nuevas tecnicas de medida que mejoran la precision respecto a los metodos exclusivamente clasicos. En esta tesis, establecemos algoritmos cuanticos para medir las correlaciones temporales que se acumulan en un sistema cuantico tras su interaccion con pulsos de luz laser. A partir de esta nocion, introducimos el concepto de interferometria cuantica multipulso en el que un atomo o conjunto de atomos pueden actuar como un detector que mide de forma precisa diferencias entre pulsos de luz laser o propiedades de los pulsos. Por ultimo, aplicamos este concepto para caracterizar y estabilizar un peine de frecuencias con una mejora polinomial en la sensibilidad respecto a protocolos clasicos. EnglishThe study of quantum many-body systems poses a wide range of complex problemsin dierent areas of physics and mathematics, such as condensed matter,quantum information theory, operator theory or numerical analysis. Some ofthese problems arise due to the high complexity of these systems, which makestheir study unfeasible using classical approaches, as well as from the ever-growinginterest in understanding their dynamics, physical properties and behaviour bothin and out of equilibrium. Among the most interesting properties of these systemslies entanglement, a certain type of quantum correlation which is not present inclassical systems and which has proven to be essential for quantum computationand quantum information.This dissertation deals with the study of correlations, locality and entanglementin quantum systems. It relies on mathematical tools such as tensor networkrepresentations, Lieb-Robinson bounds and quantum algorithms in order to obtainoriginal results, both analytical and numerical, with practical applicationsto quantum information theory, condensed matter and quantum metrology...
Se pretende que el alumno desarrolle un proyecto de investigación asociado a la simulación numérica de la dinámica y control de sistemas estocásticos con potenciales aplicaciones en el novedoso campo de las tecnologías cuánticas. Objetivo 1) Utilizar software adaptado al análisis y simulación numérica de ecuaciones diferenciales estocásticas. Objetivo 2) Modelización y simulación de sistemas lineales estocásticos análogos a sistemas cuánticos lineales. Objetivo 3) Planteamiento de protocolos de control óptimo sobre estos sistemas. Objetivo 4) Simulación de la dinámica y control óptimo de un sistema cuántico lineal. \nEl control es una rama interdisciplinar de la ingeniería y las matemáticas, aplicada al comportamiento de los sistemas dinámicos. Un controlador manipula la entrada o estado inicial del sistema para lograr un efecto deseado en un estado posterior o salida. Hoy en día, prácticamente todo sistema mecánico y electrónico posee un sistema de control asociado, por sencillo que sea. Un sistema de control simple consiste en una acción sobre el sistema y la obtención del resultado esperado sobre el mismo. Sin embargo, para evitar un final abierto, los sistemas realizan, por lo regular, mediciones intermedias sobre sus salidas y con esa información el sistema es retroalimentado para modificar la acción de control reiniciando el ciclo de entrada-salida. Por otra parte, el desarrollo de nuevas tecnologías basadas en dispositivos cuyas leyes vienen dictadas por la mecánica cuántica se ha convertido en una prioridad para el desarrollo tecnológico actual y diversas aplicaciones tales como las comunicaciones, sensores y computadores cuánticos esperan a su desarrollo para ser implementadas. Esto exige que la rama del control cuántico se desarrolle. Sin embargo, algunas cualidades de la mecánica cuántica no permiten pasar fácilmente el esquema del control clásico al ámbito cuántico. Clásicamente, es posible adquirir toda la información necesaria y emplearla de manera eficiente para retroalimentar el sistema y especializar la acción de control al estado actual. Por el contrario, en un sistema cuántico no toda la información es asequible mediante una medición y, además, todo intento de medir el sistema lo perturba de manera notable. Técnicamente, las ecuaciones dinámicas en un proceso tal, son ecuaciones diferenciales estocásticas no lineales en lugar de las ecuaciones diferenciales deterministas de los sistemas clásicos. En este proyecto, el alumno implementará un software de simulación de sistemas estocásticos adaptado a las peculiaridades de sistemas cuánticos lineales para a continuación, ensayar la validez de diversos protocolos de control óptimo propuestos para estos sistemas
En esta tesis estudiaremos diversos aspectos del entrelazamiento entre diferentes particiones de sistemas de muchos cuerpos, tanto para el estado fundamental como para estados térmicos. Consideraremos en general aquellos sistemas definidos por Hamiltonianos cuadráticos en operadores locales y en particular el caso de redes de espines. Con este fin se desarrollará en primer lugar una generalización de la aproximación denominada CSPA de la función de partición de sistemas cuánticos compuestos, así como del formalismo RPA, al que se reduce el primero en situaciones donde el sistema admite soluciones de campo medio estables. A partir de la función de partición aproximada se estimará la concurrencia de pares para redes de espines 1/2 invariantes ante translaciones. Se mostrará también que en redes de espín 1/2 invariantes traslacionales la función de partición en la aproximación RPA puede evaluarse en forma analítica. En segundo lugar se presentará un mapeo bosónico consistente con RPA, que nos permitirá mapear el estado fundamental de un sistema general a un estado en el sistema de bosones que en primera aproximación pertenece a la clase de los estados Gaussianos. Esto nos permitirá estimar el entrelazamiento entre cualquier par de partes del sistema original en términos del entrelazamiento en estados Gaussianos, que puede ser evaluado exactamente. Luego se mostrarán resultados concretos en redes generales de espín s invariantes ante transformaciones de “paridad de espín z”. Veremos además como este tratamiento nos permite determinar las condiciones exactas para la existencia de un campo factorizante del sistema, esto es, configuraciones particulares del campo magnético externo para las que el sistema admite un (o en general varios) estado(s) fundamental(es) completamente separables. En los ejemplos estudiados, mostraremos cómo en el caso en que estos estados presenten ruptura espontánea de simetría el sistema desarrolla correlaciones cuánticas de largo alcance en la vecindad de ese punto, independientemente del alcance de las interacciones entre las partes. Finalmente se analizará en detalle el comportamiento exacto del sistema en esas condiciones.
Durante los ultimos cuarenta anos el estudio de la perdida de energia y coherencia en sistemas cuanticos ha estado basado en el modelo de Ullersma-Caldeira-Legett, un modelo que describe el entorno de los sistemas cuanticos de interes como una coleccion de osciladores armonicos con evolucion clasica. El actual nivel de experimentacion y de control de los sistemas fisicos han puesto en duda la validez del modelo en sistemas moleculares (e.g. complejos fotosinteticos inmersos en solventes, sistemas quimicos en fase liquida o gaseosa y manipulados con pulsos laser intensos), dada la importancia de estos sistemas en el desarrollo de nuevas tecnologias cuanticas y en el entendimiento de los fenomenos cuanticos en sistemas mesoscopicos, se ha hecho necesario el desarrollo de nuevos modelos del entorno y de metodologias eficientes con gran poder de prediccion cuantitativo. Sin embargo, algunos de ellos son modificaciones artificiales del modelo de Ullersma-Caldeira-Legett sin un soporte fisico solido y limpio.
El proyecto pretende formular un marco general que permita el estudio de las correlaciones cuanticas en (i) sistemas cuanticos en presencia de banos termicos no-armonicos (e.g. banos formados por moleculas diatomicas fuertemente acopladas) y (ii) sistemas acoplados a banos termicos con estatica termionica (e.g. banos de espines), es decir, se pretende estudiar la dinamica de sistemas cuanticos en contacto con reservorios igualmente cuanticos.
El objetivo general de esta tesis es examinar el comportamiento crítico y las correlaciones cuánticas de sistemas cuánticos interactuantes -en particular de sistemas de espines- en función de un parámetro de control. Típicamente, los autoestados exactos de estos sistemas son estados entrelazados -cuanticamente correlacionados- aun en presencia de campos magnéticos externos. No obstante, bajo ciertas condiciones de los valores y orientaciones del campo aplicado, estos sistemas pueden poseer un estado fundamental exacto completamente separable. Este notable fenómeno es conocido como "factorización". En esta tesis se determinan y estudian las condiciones de existencia de campos factorizantes en sistemas finitos de espines con acoplamientos cuadráticos generales inmersos en campos no necesariamente uniformes o transversos. En particular, se demuestra que las ecuaciones derivadas permiten descubrir nuevos fenómenos críticos en sistemas con interacciones de tipo XYZ y XXZ, entre otros. Mediante un estudio riguroso del entrelazamiento en la vecindad de los puntos de factorización se muestra que estos se corresponden con verdaderos puntos críticos cuánticos en sistemas finitos. Finalmente, se discute cómo estos resultados posibilitan inducir fenómenos críticos y nuevas formas de frustración; así como permiten diseñar esquemas de ingeniería de estados separables, aptos para ser utilizados como estados iniciales en algoritmos cuánticos.