En este trabajo, continuando los anteriores avances del grupo, se tratará de analizar la estabilidad del llamado ensemble canónico híbrido (HCE) bajo una dinámica lindbladiana, lo que lo dotaría de un sentido termodinámico completo. Para ello, se expone el formalismo de Koopman von Neumann (KvN), que permite expresar la mecánica estadística clásica en términos de espacios de Hilbert. Se resumirá cómo esta construcción se aplica a sistemas híbridos clásico-cuánticos, generalmente aproximaciones de un sistema completamente cuántico para facilitar su estudio. Además, se presentarán los conceptos de entropía híbrida y HCE. Después, se presentarán las dinámicas unitaria y lindbladiana híbrida. Finalmente, mediante métodos numéricos, se tratará de encontrar una ecuación lindbladiana que tenga al HCE como punto estable, requisito indispensable para poder ser considerada como una dinámica híbrida termodinámicamente consistente. Adicionalmente, en los apéndices, se recoge un problema resuelto durante la elaboración del trabajo, que surge de una inconsistencia encontrada en una igualdad entre dos tipos de entropías y que ha llevado a la definición por parte del grupo de un nuevo tipo de entropía para sistemas híbridos en el formalismo KvN.
En este trabajo, continuando los anteriores avances del grupo, se tratará de analizar la estabilidad del llamado ensemble canónico híbrido (HCE) bajo una dinámica lindbladiana, lo que lo dotaría de un sentido termodinámico completo. Para ello, se expone el formalismo de Koopman von Neumann (KvN), que permite expresar la mecánica estadística clásica en términos de espacios de Hilbert. Se resumirá cómo esta construcción se aplica a sistemas híbridos clásico-cuánticos, generalmente aproximaciones de un sistema completamente cuántico para facilitar su estudio. Además, se presentarán los conceptos de entropía híbrida y HCE. Después, se presentarán las dinámicas unitaria y lindbladiana híbrida. Finalmente, mediante métodos numéricos, se tratará de encontrar una ecuación lindbladiana que tenga al HCE como punto estable, requisito indispensable para poder ser considerada como una dinámica híbrida termodinámicamente consistente. Adicionalmente, en los apéndices, se recoge un problema resuelto durante la elaboración del trabajo, que surge de una inconsistencia encontrada en una igualdad entre dos tipos de entropías y que ha llevado a la definición por parte del grupo de un nuevo tipo de entropía para sistemas híbridos en el formalismo KvN.
El presente Trabajo de Fin de Grado aborda el problema fundamental de la dinámica en sistemas híbridos clásico-cuánticos, un área de intersección crucial para diversas ramas de la física y la química. Utilizando como base el formalismo de Koopman-von Neumann (KvN) y su generalización a través del Modelado Dinámico Operacional (ODM), se explora un marco teórico unificado que permite una descripción consistente de la interacción entre grados de libertad clásicos y cuánticos. Mediante la implementación de un modelo numérico de osciladores armónicos acoplados, se investiga la transición entre los regímenes clásico y cuántico, controlada por un parámetro de deformación continuo, κ.
Desde su origen, la teoria de la informacion ha tenido fuertes conexiones con la mecanica estadistica. El mismo termino entropia de la informacion fue elegido por Shannon a partir del termino usado en termodinamica, bajo sugerencia de Von Neumann. La misma relacion se ha desarrollado recientemente entre las correspondientes generalizaciones cuanticas de ambas teorias, que son la informacion cuantica, que estudia el almacenamiento y la manipulacion de la informacion en sistemas cuanticos, y la fisica de muchos cuerpos. Las conexiones entre los dos campos aumentan cada dia y van en las dos direcciones. Las herramientas e ideas de la informacion cuantica ayudan a solucionar problemas abiertos en teoria de la materia condensada, y nuevos modelos de muchos cuerpos se desarrollan para aplicaciones de la informacion cuantica. Al mismo tiempo la implementacion y el control experimental de pequenos sistemas cuanticos ha mejorado de forma espectacular, aumentando la posibilidad de que estos experimentos se puedan llevar a cabo a escala mas grande, abriendo la posibilidad de aplicaciones practicas.
Es reciente el interes de la comunidad de investigadores en informacion cuantica por estos modelos, y se ha empezado a ver este tipo de evoluciones no solamente como un problema que resolver, sino como un recurso que explotar. Este fundamental cambio de perspectiva ha abierto una nueva linea de investigacion en el campo, incorporando ideas sobre como construir evoluciones artificiales en las cuales la disipacion trabaja en nuestro favor en vez de en nuestra contra, incluso protegiendo el sistema de otros ruidos incontrolados. De esta manera se han planteado nuevos problemas interesantes, como cual es el poder computacional de estos modelos y que condiciones pueden garantizar la resistencia contra el ruido externo.
Esta tesis es parte del esfuerzo para mejorar nuestro conocimiento de estos modelos.
Nos hemos centrado en el estudio de las propiedades de evoluciones disipativas de sistemas cuanticos de espines en un reticulo, bajo una hipotesis que llamamos equilibracion rapida. Consideramos evoluciones disipativas con un unico punto fijo, y que comprimen todo el espacios de estados iniciales en un entorno decreciente del punto fijo. La escala temporal a la cual se tiene esta compresion, es decir el tiempo que tenemos que esperar para que cualquier estado inicial se encuentre arbitrariamente cercano al punto fijo, se llama tiempo de equilibracion del proceso. La condicion de equilibracion rapida pide que este tiempo sea logaritmico en el tamano del sistema.
La contribucion principal de esta tesis es demostrar que la equilibracion rapida tiene importantes consecuencias en las propiedades del sistema. Este sera estable bajo perturbaciones externas y sus puntos fijos satisfaran una ley de area para la informacion mutua.
La parte mas tecnica de este trabajo se basa en las llamadas cotas de Lieb Robinson. Muy conocidas en el caso de sistemas cerrados, pero igualmente validas para sistemas abiertos, las cotas de Lieb Robinson formalizan la idea que la informacion en un sistema de muchos cuerpos solo puede moverse con una velocidad finita, dado que su propagacion esta mediada por las interacciones locales. Por lo tanto, controlar la escala temporal con la cual la evolucion converge permite a su vez controlar la escala espacial a la cual se pueden crear correlaciones.
Un sistema físico híbrido es aquel consistente en dos subsistemas acoplados, uno clásico y uno cuántico. La modelización matemática de los mismos requiere el tratamiento de los dos subsistemas a través de un mismo formalismo matemático. Una vía para hacerlo es el denominado formalismo de Koopman, mediante el cual se construye un espacio de Hilbert que contiene a los estados del sistema clásico, de manera análoga a la formulación usual de la mecánica cuántica, y definir, así, un espacio de Hilbert de estados híbridos. Esto permite construir una representación del álgebra de observables híbridos como operadores lineales sobre el espacio de Hilbert y de los estados como matrices densidad sobre el mismo, definiendo dinámicas sobre estos espacios. Sin embargo, mientras que el álgebra de observables está bien caracterizado, considerar que el espacio de estados se corresponde con el conjunto completo de matrices densidad no es correcto. En este trabajo se trata de dar una mejor caracterización de este espacio. Así, se demuestra que diferentes matrices densidad representan el mismo estado físico y se construye una relación de equivalencia sobre el espacio de matrices densidad que permite definir un espacio cociente de estados híbridos, verificando que las dinámicas definidas sobre el espacio de matrices densidad completo están bien definidas sobre este nuevo espacio. La complejidad de esta relación de equivalencia, que impone una condición sobre todos los observables físicos, plantea el problema de la búsqueda de una relación más sencilla que facilite el análisis de la estructura del espacio cociente. Este problema se aborda en el trabajo desde dos perspectivas alternativas. La primera de ellas consiste en buscar escribir la relación de equivalencia en términos de transformaciones de matrices densidad. La segunda se basa en el uso de las denominadas funciones de Wigner, que permiten trasladar los estados del espacio de matrices densidad a un espacio de funciones sobre un espacio de fases. Finalmente, se exponen las limitaciones de ambos formalismos, concluyendo con las líneas de trabajo futuro que estas limitaciones proporcionan.
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.
El tema central de la tesis doctoral es el análisis de los sistemas cuánticos abiertos. Estos sistemas se caracterizan por estar sometidos a la interacción con el entorno, lo que provoca que su evolución deje de ser unitaria. Es por tanto necesario considerar modelos más allá de la ecuación de Schrödinger. Los sistemas cuánticos abiertos aparecen en numerosos campos, como la Física del Estado Sólido y la Dinámica Molecular. Por este motivo, un análisis detallado de sus propiedades y su dinámica es un tema digno de estudio con un gran abanico de aplicaciones. El enfoque elegido en esta tesis es el desarrollo de un formalismo geométrico que describa de forma adecuada las características de los sistemas cuánticos abiertos. La geometría diferencial ha demostrado ser una herramienta muy útil en el análisis de sistemas físicos. Desde mediados del siglo XX, se ha desarrollado con gran éxito una descripción geométrica de la Mecánica Clásica, principalmente en torno a las mecánicas lagrangiana y hamiltoniana. Por este motivo, resulta natural describir también los sistemas cuánticos en términos geométricos. Las ventajas de un formalismo geométrico resultan claras. Cuando tanto los sistemas clásicos como los cuánticos se describen en los mismos términos, es sencillo describir situaciones en las que existan interacciones clásico-cuánticas. Éste es el caso, por ejemplo, de muchos modelos de Dinámica Molecular, en los que los núcleos y los electrones son considerados respectivamente como partículas clásicas y cuánticas. Por otra parte, un formalismo geométrico de la Mecánica Cuántica posibilita un mejor entendimiento de las diferencias intrínsecas entre las teorías clásicas y las cuánticas. Dada su relevancia a lo largo de la tesis, el Capítulo 1 está enfocado al resumen y el análisis de la descripción geométrica de la imagen de Schrödinger de la Mecánica Cuántica. En formulación usual (algebraica), esta imagen se basa en la representación de los estados de los sistemas cuánticos mediante vectores en un espacio de Hilbert complejo. La transición a una formulación basada en geometría diferencial es inmediata para sistemas finito-dimensionales, dado que los espacios lineales de dimensión finita son casos triviales de variedades diferenciables. Las estructuras adicionales, en concreto el producto hermítico propio de los espacios de Hilbert y los escalares complejos, se describen mediante campos tensoriales en dichas variedades diferenciables, formando lo que se conoce como una estructura Kähler. Todos los ingredientes necesarios para el análisis de sistemas cuánticos pueden describirse en estas variedades de Kähler. Los observables se representan mediante funciones diferenciables, mientras que la dinámica se describe mediante curvas integrales de campos vectoriales hamiltonianos respecto a la forma simpléctica de la estructura Kähler. Esta caracterización puede llevarse a cabo en el espacio de Hilbert asociado a cualquier sistema cuántico finito-dimensional. Además, es posible analizar las propiedades geométricas del espacio proyectivo de Hilbert, el cual constituye el conjunto de estados puros del sistema. Su estructura Kähler puede ser deducida mediante un proceso de reducción de la estructura previamente obtenida en el espacio de Hilbert. Como aspecto novedoso, la tesis presenta en detalle este proceso de reducción, dotándolo de una descripción matemática adecuada. Todas las características de la imagen de Schrödinger pueden describirse de forma geométrica, lo que permite utilizar nuevas herramientas en el análisis de los sistemas cuánticos. Éste es precisamente el tema principal del Capítulo 2, en el cual se utilizan los sistemas de Lie-Kähler para resolver la ecuación de Schrödinger dependiente del tiempo. En geometría diferencial, un sistema de Lie es un sistema no homogéneo de ecuaciones diferenciales que admite una regla de superposición. En general, la obtención de esta regla de superposición es una ardua tarea, la cual puede aligerarse en presencia de estructuras adicionales que sean preservadas por la acción del sistema de Lie. De esta forma, según la estructura preservada, es posible hablar de sistemas de Lie-Hamilton, Lie-Dirac, etc. En el caso de la Mecánica Cuántica, una ecuación de Schrödinger dependiente del tiempo es un sistema de Lie que preserva la estructura de Kähler previamente descrita. Es por tanto un nuevo tipo de sistema de Lie, al que resulta natural denominar de Lie-Kähler. El Capítulo 2 presenta las propiedades de estos nuevos sistemas y describe un método riguroso para la obtención de sus reglas de superposición. El formalismo geométrico puede extenderse más allá de la imagen de Schrödinger, lo que resulta necesario en el contexto de los sistemas cuánticos abiertos, dado que tanto estados puros como estados mezcla son necesarios para su descripción. Por este motivo, el Capítulo 3 resume la imagen de Heisenberg de la Mecánica Cuántica y su representación de los estados puros y mezcla como funcionales lineales en el álgebra de Lie-Jordan de observables. Se explica también como las estructuras algebraicas de los observables pueden representarse geométricamente en el espacio dual de funcionales lineales en el álgebra. Este es el punto de partida de una de las principales contribuciones de la tesis. Un proceso de reducción, similar al realizado en el análisis de la imagen de Schrödinger, permite describir las propiedades geométricas de la variedad de estados puros y mezcla del sistema. De esta forma, se obtienen dos campos tensoriales en la variedad de estados, los cuales representan correctamente las estructuras algebraicas de los observables. Puede por tanto concluirse que el formalismo geométrico presentado en la tesis es completamente equivalente a la descripción algebraica tradicional, ya que se logra describir adecuadamente todas las propiedades de los sistemas cuánticos. Además, el formalismo geométrico ofrece una visión más clara de las propiedades intrínsecas de la Mecánica Cuántica, lo que facilita una mejor comprensión de la teoría. Por otra parte, un análisis geométrico de la variedad de estados permite estudiar su estratificación y sus propiedades. La tesis demuestra que se trata de una variedad con borde, cuyos puntos extremales son precisamente los estados puros del sistema. La estratificación de esta variedad resulta importante a la hora de considerar la dinámica inducida por campos gradiente y hamiltonianos. Con el objetivo de ilustrar todas estas propiedades, se analizan unos casos sencillos pero con relevancia física. A lo largo de la tesis, se muestran diversas aplicaciones del formalismo geométrico al análisis de sistemas cuánticos abiertos. El Capítulo 4 presenta la descripción de la evolución markoviana de sistemas cuánticos abiertos. Se dice que una evolución es markoviana si depende únicamente en el estado actual del sistema y no de los estados en instantes anteriores, es decir, si el sistema "no tiene memoria". En Mecánica Cuántica, la evolución markoviana se obtiene a partir de la ecuación de Kossakowski-Lindblad, una ecuación diferencial de primer orden en la variedad de estados puros y mezcla de un sistema cuántico abierto. El formalismo geométrico describe esta ecuación como un campo tensorial en esta variedad, lo que permite analizar las propiedades de sus curvas integrales. De esta manera, es posible considerar diversos aspectos de la evolución markoviana desde un punto de vista geométrico. Cualquier evolución no-unitaria determina un cambio en las propiedades algebraicas de los observables cuánticos, lo que puede resultar en una contracción del álgebra. En términos geométricos, esta contracción puede entenderse mediante el límite de una familia de campos tensoriales definida por el flujo del campo tensorial de Kossakowski-Lindblad. Otra característica importante de esta evolución es la existencia de variedades límite. Sus propiedades pueden determinarse gracias a la estructura afín existente, lo que a su vez permite investigar su relación con las contracciones de álgebras de observables. Por último, se ofrece una descripción geométrica de los problemas de control de sistemas cuánticos abiertos. Un análisis geométrico de la Mecánica Cuántica permite aplicar a estos problemas los resultados de la teoría de control de grupos de Lie. Como consecuencia, es posible realizar una clasificación de los sistemas cuánticos abiertos según sus propiedades de controlabilidad. Otro ejemplo de sistemas cuánticos abiertos aparece en el contexto de la Dinámica Molecular. En el estudio de sistemas moleculares, debido al gran número de partículas presentes, la ecuación de Schrödinger no puede ser resuelta ni siquiera por métodos numéricos. Por tanto, resulta útil considerar aproximaciones a la ecuación de Schrödinger. En particular, existen muchos modelos que consideran un comportamiento clásico de algunas de las partículas, normalmente los núcleos. El Capítulo 5 resume las propiedades estos modelos moleculares, y en particular del conocido como modelo de Ehrenfest. Es posible llevar a cabo una descripción geométrica de este modelo, basándose en las descripciones de los subsistemas clásico y cuántico. Como resultado, las ecuaciones del modelo pueden escribirse como ecuaciones hamiltonianas en una variedad de Poisson. A partir de estas propiedades, la tesis presenta una generalización del modelo de Ehrenfest a distribuciones estadísticas. Este es un paso importante, ya que se demuestra que esta descripción estadística predice la aparición de efectos relacionados con el fenómeno de decoherencia, algo que no ocurre en el modelo de Ehrenfest estándar. Se han realizado simulaciones numéricas, cuyos resultados respaldan la descripción de sistemas moleculares mediante el modelo estadístico de Ehrenfest. Por último, en este contexto resulta posible considerar distribuciones estadísticas con temperatura. La tesis presenta estas dist
En esta Tesis doctoral abordamos el estudio de la Dinámica Cuántica, concentrándonos en el subtema de los sistemas híbridos cuántico-clásicos, prestando especial atención al problema del límite clásico de este tipo de sistemas. El objetivo es esclarecer la transición al mundo clásico desde un escenario semicuántico. En los modelos semicuánticos examinados interactúan grados de libertad cuánticos y clásicos. Para este análisis, empleamos herramientas dinámicas y cuantificadores de la Teoría de la Información. En primer lugar, presentamos las ecuaciones dinámicas que rigen la evolución de los sistemas semicuánticos tanto en el régimen conservativo como disipativo. Identificamos un invariante de movimiento relacionado con el Principio de Incerteza. Dicho invariante surge de manera natural de las ecuaciones dinámicas de los sistemas estudiados y sirve como variable principal para analizar la convergencia al límite clásico correspondiente. Este primer apartado requirió el uso de herramientas dinámicas como las secciones de Poincaré para verificar la geometría subyacente a la emergencia del mundo clásico a través del invariante de movimiento. Esta herramienta nos permitió identificar tres zonas principales del proceso de convergencia del sistema semicuántico a su contraparte clásica, las cuales son la zona cuasicuántica, la zona de transición y la zona del límite clásico. La zona de transición la relacionamos con los sistemas mesoscópicos. Adicionalmente, con las mismas secciones de Poincaré, logramos constatar la conservación del Principio de Incerteza en el sistema semicuántico. En segundo lugar, introdujimos herramientas de la teoría de la información para caracterizar la estructura de las transiciones de fase dinámicas. Empleamos la entropía de Shannon y dos formulaciones de complejidad estadística: la complejidad de López-Ruiz–Mancini–Calbet (LMC) y la complejidad de Jensen–Shannon (JSC). Además, utilizamos la entropía de Tsallis como un cuantificador alternativo para asegurar la robustez de los resultados. Para extraer las distribuciones de probabilidad de las series temporales del sistema, aplicamos el método de permutación de Bandt-Pompe. Este enfoque permitió determinar las tres zonas del proceso de convergencia del sistema semicuántico a su contraparte clásica con una precisión que supera las limitaciones de las herramientas puramente dinámicas, que a menudo presentan límites borrosos en sistemas regulares. Además, el análisis basado en la primera y segunda derivada de las medidas entrópicas respecto a un parámetro adimensional que relaciona la energía total del sistema y el invariante de movimiento, nos permitió detectar puntos de inflexión y extremos locales que definen rigurosamente las delimitaciones de las zonas. Posteriormente, como tercer paso, estudiamos el límite clásico mediante un esquema de máxima entropía (Maxent). Identificamos que la clausura de la álgebra de Lie de los observables seleccionados es la condición estructural clave que garantiza la consistencia de la evolución y el éxito del procedimiento de límite clásico. Demostramos analíticamente que el operador de máxima entropía colapsa hacia un proyector de rango uno ("purificación") en el límite para una clase general de Hamiltonianos cuadráticos con acoplamiento. Es vital aclarar que este comportamiento no constituye decoherencia inducida por el entorno o reducción del estado por medición, sino que refleja una convergencia inducida por restricciones a nivel de los momentos estadísticos seleccionados. Este marco formaliza la noción del límite clásico como un proceso de tiempo finito y a nivel de momentos, diferenciándose claramente de los estudios numéricos previos. La contribución fundamental consiste en mostrar cómo las ecuaciones de movimiento clásicas no lineales emergen consistentemente dentro de un marco de operadores de máxima entropía bajo condiciones de clausura algebraica. Finalmente, aplicamos cuantificadores de información en un sistema complejo de gran impacto social: la propagación del COVID-19. Empleamos la entropía de permutación de Shannon, la complejidad de Jensen–Shannon y la información mutua para analizar series temporales de contagios y muertes a nivel global. A través del uso de ventanas deslizantes, pudimos capturar transiciones dinámicas y variaciones locales que permanecen ocultas en análisis basados en la serie completa. Uno de los hallazgos más relevantes fue la identificación de una heterogeneidad marcada en la mortalidad entre países, frente a una mayor homogeneidad en los patrones de contagio dentro de regiones geográficamente cercanas. Adicionalmente introdujimos un nuevo plano informacional: información mutua versus entropía para caracterizar la información compartida entre la evolución local de un país y la dinámica global de la pandemia. Esta herramienta permite identificar países fuertemente sincronizados con la tendencia mundial y aquellos que exhiben comportamientos independientes, ofreciendo una métrica dinámica para la toma de decisiones en salud pública.