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
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 un principio, la Teoría de la Información fue concebida en forma abstracta, en base a una formulación matemática. Sin embargo, la habilidad y eficiencia para procesar o transmitir información dependerá en última instancia del sistema físico elegido para codificar esa información. Es así que, al codificar la información en las propiedades físicas de sistemas cuyo comportamiento se describe por las leyes de la mecánica cuántica, se abren nuevas posibilidades que son irrealizables clásicamente. Entre ellas, la posibilidad de generar algoritmos cuánticos para ciertos cálculos que requieren un número de pasos significativamente menor que cualquier algoritmo clásico, reduciendo su complejidad. Entre las características fundamentales de la mecánica cuántica que posibilitan estos desarrollos, sobresalen el principio de superposición y el entrelazamiento cuántico. Una de las implementaciones más accesibles para la comunicación cuántica y el procesamiento cuántico de la información emplea fotones individuales como portadores de la información. Estos pueden viajar entre dos estaciones distantes siendo poco afectados por el ruido que introduce el entorno. Además, poseen varios grados de libertad en los cuales es posible codificar la información y pueden manipularse con un alto grado de control utilizando tecnología estándar. En este trabajo se describen algunas aplicaciones de la implementación fotónica, realizadas en colaboración con el Laboratorio de Procesado de Imágenes (LPI) del Depto. de Física de la UBA. En primer lugar, se describe la determinación experimental de medidas de correlaciones cuánticas en estados no puros de un par de fotones correlacionados en polarización, mediante técnicas de tomografía de estados cuánticos. Luego se describe la utilización de moduladores espaciales de luz programables para entrelazar la polarización con grados de libertad espaciales, y así poder simular los denominados estados historia de evoluciones temporales cuánticas. Se muestra que este último proveeun esquema eficientepara el cálculo de promedios temporales de observables del sistema.
La mecánica cuántica introdujo fenómenos novedosos, cuyo aprovechamiento permite \nuna potencial mejora de las tecnologías respecto de aquellas que no cuentan con \nellos. Estas tecnologías son denominadas las \\tecnologías cuánticas", que engloban la \ncomputación cuántica, criptografía cuántica, comunicación cuántica y a los sensores \ncuánticos. En el caso de los sensores cuánticos, sus propiedades cuánticas son utilizadas \ncomo recurso para el proceso de estimación de magnitudes (parámetros) de interés. \nLa máxima precisión admisible, lo que se llama información, depende fuertemente del \nesquema de control implementado en el sensor [11]. \nEn particular, dado que en la cuántica, las mediciones afectan al estado del sistema, \néstas representan un recurso disponible para definir el esquema de control. El \nefecto Zenón cuántico congela la evolución del sistema sensor a través de mediciones \nproyectivas frecuentes, mientras que el efecto anti-Zenón cuántico acelera su evolución \ntemporal. En ambos casos, el control consiste de mediciones estroboscópicas cada algún \nintervalo de tiempo y ha demostrado ser una herramienta de control de la señal de un \nespín al que utilizaremos como sensor. En particular, se encontró experimentalmente \nque esta forma de control reduce la cantidad de parámetros involucrados en la dinámica \n[17] y, en determinadas circunstancias mejora su precisión [11]. \nEn este trabajo, con el objetivo de desarrollar un marco teórico base, consideramos \nel control por mediciones proyectivas de sistema de dos niveles regido por un Hamiltoniano \nindependiente del tiempo, para estimar el acople entre los dos niveles. Este \nmodelo posee los elementos escenciales presentes en dinámicas cuánticas más complejas \npara evaluar la información extraíble utilizando el efecto Zenón cuántico. El acople \nentre niveles induce una dinámica oscilatoria de intercambio de excitación entre un \nnivel y otro, mientras que la separación de energía representa un \\offset", poniendo \nal sistema fuera de resonancia. Encontramos que el tiempo óptimo entre mediciones \nproyectivas para maximizar la información depende de la intensidad del offset. Para \nvalores altos de offset, cuyo valor está denido por el tiempo de evolución del sensor, \nlas mediciones proyectivas son más efcientes para estimar el acople. Denominamos este \nconcepto amplicación de información a través del efecto Zenón cuántico. Ejemplicamos \neste principio mediante la particularización de este desarrollo a sistemas de interés \npráctico. También presentamos un mecanismo de medición alternativa, donde el colap \nso del sistema es causado por la interacción con un ambiente ruidoso. Recuperamos en \nestas circunstancias los resultados obtenidos bajo la suposición de proyección ideal, y \nexploramos la posibilidad de utilizar el colapso parcial inducido por este ambiente bajo \ncortos tiempos de interacción como herramienta para medir parámetros del ambiente \neficientemente y de forma no invasiva.
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.
Los efectos disipativos tienen profundas consecuencias en el comportamiento y las propiedades de los sistemas cuánticos [72]. La inevitable interacción con el entorno circundante, con el cual los sistemas intercambian continuamente información, energía, momento angular o materia, es la última responsable de los fenómenos de decoherencia y de la emergencia del comportamiento clásico [490, 614]. Sin embargo, existe un amplio régimen intermedio en el cual efectos disipativos y cuánticos coexisten, dando lugar a una amplia gama de ricos y sorprendentes fenómenos que apenas están empezando a ser comprendidos. Además, las innovadoras técnicas desarrolladas recientemente para controlar y manipular sistemas cuánticos en el laboratorio han hecho esta fenomenología accesible experimentalmente y potencialmente aplicable [244, 586]. En esta tesis exploraremos desde un punto de vista teórico algunas de las conexiones entre efectos disipativos y cuánticos en lo concerniente a dos principales aspectos: el comportamiento termodinámico de los sistemas cuánticos y la relación entre las correlaciones dinámicas y cuánticas compartidas por éstos. Las correlaciones cuánticas son una de las características más sorprendentes de la naturaleza y han atraído un notable interés desde la misma formulación de la teoría cuántica. La comprensión de los mecanismos subyacentes que generan, preservan, o destruyen estas correlaciones resulta de gran importancia a la hora de explorar la frontera cuántico-clásica [597], mientras que es esencial en el diseño de esquemas en los que la decoherencia pueda ser evitada en aplicaciones prácticas [35, 143, 562]. Por otra parte, otro tipo importante de correlaciones dinámicas de caracter más tradicionalmente clásico son los fenómenos de sincronización, que han sido estudiados en un amplio rango de sistemas físicos, químicos y biológicos [433]. La sincronización puede aparecer como un comportamiento espontáneo y cooperativo de diferentes unidades que oscilan y que, cuando se acoplan, adaptan sus ritmos a una frecuencia común. Este fenómeno de sincronización mutua ha sido considerado con profusión desde un punto de vista clásico [249, 263, 606], mientras que los rasgos genuinamente cuánticos de la sincronización estan empezando ahora a ser investigados...
El control es una rama interdisciplinar entre la ingeniería y las matemáticas, cuyo objetivo es la manipulación activa del comportamiento de cualquier sistema dinámico. Actualmente, con el desarrollo de nuevas tecnologías basadas en dispositivos cuyas leyes vienen dictadas por la mecánica cuántica, el desarrollo de técnicas de control aplicadas a estos sistemas se ha convertido en una prioridad para el desarrollo tecnológico actual. \nEl principal problema radica en que 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 (SDE1) no lineales en lugar de las ecuaciones diferenciales deterministas de los sistemas clásicos. \nEl dominio de las tecnologías cuánticas se divide en cuatro campos destacables [1]: Sensores cuánticos, donde la alta sensibilidad de los sistemas cuánticos a las perturbaciones se aprovecha para mejorar la precisión de las medidas de magnitudes físicas; Comunicación cuántica, donde los fotones se usan para transmitir datos e información de una manera segura; Simulación cuántica, donde un sistema cuántico controlado puede simular el comportamiento de otro sistema cuántico menos accesible; y Computación cuántica, donde mediante los fenómenos cuánticos se puede conseguir una disminución drástica del tiempo de computación en cálculos numéricos. \nSabiendo los campos de actuación de estas tecnologías y mirando al futuro, del mismo modo que el transistor supone actualmente un elemento imprescindible en la industria, parece difícil no creer que las tecnologías cuánticas supondrán una revolución en sectores como la industria aeroespacial, automotriz o manufacturera, así como en salud, agricultura o finanzas. \nEl desarrollo de las tecnologías cuánticas ha conseguido captar mucha atención en las últimas décadas. Como aparece explicado en [1], parte de este impulso se debe al “Quantum Manifesto”, un documento generado en 2016 por la comunidad científica donde se realiza un llamamiento a gobiernos e industrias para apoyar esta tecnología. El interés generado por este documento fue respondido por la Comisión Europa mediante un proyecto de 10 años de duración (Flagship) y con una inversión de más de un billón de euros iniciales, aumentando en volumen cada año que pasa. Por otro lado, potencias mundiales como China, Rusia, Australia, Estados Unidos o Canadá son actualmente líderes en el desarrollo de tecnologías cuánticas. A nivel empresarial, compañías como Intel, HP, Toshiba y Microsoft, con IMB y Google a la cabeza, apuestan por la investigación en los campos de las tecnologías cuánticas como la computación y la comunicación cuánticas. \nCon este trabajo se pretende desarrollar un proyecto de investigación enfocado a la simulación numérica de la dinámica y control de un Qubit (bit cuántico): la nueva unidad de información elemental de la teoría de la información cuántica. A diferencia de un bit clásico que solo presenta dos estados posibles, un bit cuántico puede presentar ambos estados al mismo tiempo, es decir, el estado de un Qubit es una combinación lineal de los estados elementales de un bit clásico. \nEsta característica es la que define el potencial de los Qubits como nueva tecnología. Por este mismo motivo, el Qubit, como su propio nombre indica, es un sistema cuántico, estando sometido y regido por las leyes de estos. \nEn el primer capítulo del trabajo, se realizará una breve introducción a las tecnologías cuánticas, ilustrando el formalismo cuántico a través de la computación cuántica. En esta sección, se estudiará el Qubit, sus estados y las operaciones a las que son sometidos. En el segundo capítulo, se introducirá el modelo de control empleado para sistemas cuánticos en general, concretando para la dinámica y control de un Qubit. En el siguiente capítulo, analizaremos los resultados obtenidos a través de las diferentes simulaciones llevadas a cabo mediante métodos numéricos. En este punto, comprobaremos qué tan bueno es el control propuesto en la bibliografía para un Qubit y si es robusto ante diferentes situaciones. Se cerrará el proyecto con un capítulo dedicado a las conclusiones extraídas y los posibles trabajos de interés que se pueden realizar en un futuro.
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