El trabajo se estructura en 6 capitulos. El capitulo 1 posee fundamentalmente un caracter de introduccion teorica a las herramientas de campo medio que se usan en los diferentes modelos que se presentan, ademas de introducirse otros conceptos que apareceran a lo largo del trabajo. El capitulo 2 tambien constituye una introduccion teorica en la que se realiza un breve analisis del concepto de la decoherencia y sus implicaciones en la Mecanica Cuantica, poniendo especial enfasis en el problema de la medida y como la introduccion del ambiente permite una posible solucion a dicho problema. En este capitulo se presentara la matriz densidad como herramienta basica de trabajo para estudiar el factor de decoherencia.El capitulo 3 se puede dividir en dos bloques. Un primer bloque dedicado la modelo vibronico U(4) y un segundo bloque dedicado a su limite 2D, el modelo U(3). En ambos bloques se expondran las propiedades algebraicas de los dos modelos asi como las diferentes cadenas de simetria que se obtienen. Estos modelos presentan una QPT y usando el formalismo de estados intrinsecos se estudiara la transicion de fase entre la fase simetrica y la fase no simetrica. Sin embargo, se sabe que este metodo es correcto unicamente en el orden mas alto en el desarrollo en potencias de N, donde N es el numero de bosones. Nosotros nos basaremos en el metodo desarrollado en [15] para ir mas alla de este orden y calcular correcciones de tamano finito a varios observables espectroscopicos. Para ello, se introducira la transformacion de Holstein-Primako_ que proporcionara un hamiltoniano en serie de potencias de N donde unicamente se consideraran los terminos en orden mas alto: N, N1/2 y N0. Despues, mediante el uso de una transformacion de Bogoliubov se conseguira la diagonalizacion del hamiltoniano, con lo que se obtendran expresiones analiticas para el estudio del sistema tanto en la fase simetrica como en la no simetrica. Dichas expresiones analiticas se compararan posteriormente con los calculos numericos obtenidos de resolver el problema exactamente en una base adecuada. Ademas, se llevara a cabo un estudio de escalado del sistema por tamano finito que nos permitira extraer los exponentes criticos de los observables espectroscopicos analizados.El capitulo 4 esta dedicado a otro sistema de dos niveles, el modelo de Lipkin. Este modelo guarda una estrecha relacion con el modelo vibronico tal y como se vera en el capitulo 3. Dicha relacion quedara mas patente con la eleccion que se realizara del estado intrinseco para estudiar el diagrama de fases del modelo vibronico. De hecho podemos afirmar que un modelo vibronico con simetria axial se comporta como un modelo de Lipkin. Por este motivo, todo el estudio que se realice en campo medio para el modelo vibronico sera aplicable al modelo de Lipkin, ya que las expresiones que se obtendran son formalmente analogas. Asi pues, en este capitulo nos centraremos en la influencia que tiene una transicion de fase cuantica sobre el fenomeno de la decoherencia. Ahora bien, se sabe que el citado modelo presenta tanto una QPT como una ESQPT, y dependiendo del valor de los parametros concretos del sistema, la ESQPT puede ser de primer o segundo orden. De modo que el analisis se realizara para ambos tipos de transicion. Para tal proposito, se presenta un sistema constituido por un qubit interactuando con un bano bosonico que vendra descrito por el modelo de Lipkin. El estudio de la decoherencia se realizara tanto empleando las tecnicas mas alla de campo medio desarrolladas en el modelo vibronico, como usando la aproximacion de Tamm-Dancoff (TDA) [28] y TDA a segundo orden. Todos los resultados se compararan una vez mas con la solucion exacta del problema y se analizara la relacion entre la transicion de fase que experimenta dicho sistema con la decoherencia. Ademas se incluira un estudio de escalado por tamano finito del factor de decoherencia.En el capitulo 5 se estudiaran tres modelos que describen un campo bosonico de un unico modo interactuando con un subsistema algebraico basado o bien en el algebra SU(1; 1) o en el SU(2). El modelo SU(1; 1) es un modelo de juguete util para la descripcion de la formacion y disociacion de moleculas diatomicas y atomos independientes [16]. El hamiltoniano SU(2) representa al modelo de Dicke [27] o al modelo de Jaynes-Cummings (JC) [17] (tambien conocido como modelo de Tavis-Cummings [29]). Estos dos ultimos modelos poseen interes en Optica Cuantica y describen a un sistema de atomos susceptibles a ocupar dos niveles interactuando con un campo de radiacion. Mientras que el modelo SU(1; 1) y el modelo de Jaynes-Cummings son integrables, el modelo de Dicke no lo es. Todos ellos son sistemas de dos niveles que presentan tanto una QPT como una ESQPT. Asi pues, en primer lugar se analizaran las transiciones de fase con una aproximacion semiclasica, en particular las relacionadas con las transiciones de fase de estados excitados. Despues se introducira el concepto de quantum quench, analizandose la influencia que tiene una ESQPT sobre este. Por ultimo, relacionaremos la presencia de caos cuantico en el modelo no integrable de Dicke con los precursores de la ESQPT en el mismo.En el ultimo capitulo se presentara un resumen y las conclusiones de los principales resultados de este trabajo.
Se propone un desarrollo analítico para determinar la solución de las ecuaciones de movimiento de una partícula cargada bajo la influencia de un campo eléctrico. En la propuesta se utilizan las ventajas y propiedades de la transformación de Laplace, para mapear un sistema de ecuaciones diferenciales no homogéneas de segundo orden en un sistema compuesto por ecuaciones lineales. A partir de la solución más general para la dinámica del sistema, se estudian algunos casos particulares para recuperar, de manera sencilla, los resultados presentes en la literatura. Para motivar el estudio, se utiliza el teorema de Ehrenfest y se discute como los resultados clásicos pueden ser interpretados en su versión cuántica.Se propone un desarrollo analítico para determinar la solución de las ecuaciones de movimiento de una partícula cargada bajo la influencia de un campo eléctrico. En la propuesta se utilizan las ventajas y propiedades de la transformación de Laplace, para mapear un sistema de ecuaciones diferenciales no homogéneas de segundo orden en un sistema compuesto por ecuaciones lineales. A partir de la solución más general para la dinámica del sistema, se estudian algunos casos particulares para recuperar, de manera sencilla, los resultados presentes en la literatura. Para motivar el estudio, se utiliza el teorema de Ehrenfest y se discute como los resultados clásicos pueden ser interpretados en su versión cuántica.
En este trabajo de Fin de Máster estudiamos el fenómeno de la sincronización en sistemas de osciladores armónicos cuánticos acoplados en presencia de disipación.Un primer estudio de dos osciladores con diferentes frecuencias enseña que, independientemente de la intensidad del acoplamiento, los osciladores no sincronizan en presencia de entornos independientes.La condición que posibilita la emergencia de sincronización espontánea es la presencia de un entorno común.Asociada a este fenomeno se encuentra una mayor robustez de las correlaciones cuánticas entre osciladores, dependiendo de la relación entre sus diferentes frecuencias naturales y el valor de la constante de acoplamiento entre ellos.Extendiendo el análisis al caso mas complejo de N osciladores, determinamos las condiciones más generales necesarias para la aparición de este fenómeno a través de la relación entre las tasas de disipación de los automodos.Esta descripción nos permite establecer una correspondencia clara con la conservación de las correlaciones, centrándonos en el análisis de la dinámica del entrelazamiento y discord.El estudio del caso de tres osciladores nos permite identificar la rica tipologia de comportamientos que pueden surgir y determinar la influencia de las condiciones de contorno (cadena abierta o cerrada).Demostramos además la existencia de regiones de parámetros (así como la manera de obtenerlas en cadenas genéricas) donde el sistema no termaliza, dando lugar a una conservación asintótica de las correlaciones.En este contexto calculamos analíticamente el entrelazamiento entre osciladores resonantes en los extremos de la cadena abierta, obteniendo un diagrama de fases para su existencia asintótica dependiendo de la temperatura y compresión del estado inicial del sistema.Encontramos en este diagrama que el entrelazamiento se podrá mantener asintóticamente hasta altas temperaturas.
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 la actualidad las caminatas aleatorias han sido empleadas como herramientas
para el desarrollo de numerosos algoritmos. Sin embargo, una carencia
importante para la solucion de problemas radica en la falta de algoritmos que
exploten a su favor los fenomenos que la naturaleza a escalas atomicas presenta.
En este trabajo de tesis se estudia el analogo cuantico que presenta un
caminante al azar, conocido como caminata cuantica. Desde su propuesta, el
paradigma de las caminatas cuanticas ha despertado un considerable interes en
su estudio durante los ultimos anos, ya que, debido a los fenomenos de superposicion,
este grupo de caminata al azar se propagan con mayor rapidez que una
caminata clasica y por lo tanto se puede dar un recorrido espacial en un menor
numero de iteraciones que su contraparte clasica. Por lo anterior, del estudio
de caminatas cuanticas se espera un desempeno superior para el desarrollo de
algoritmos mas veloces.
La hipotesis que en este trabajo se plantea es que a traves del cambio y la
manipulacion en el uso de operadores y los estados iniciales, se generaran cambios
radicales en las distribuciones de los caminantes. Se esperan que al realizar
estos cambios en la densidad probabilidad de un caminante tengan aplicaciones
algoritmica en futuras investigaciones.
Debido a lo anterior esta tesis plantea como objetivo central el analisis de las
caminatas cuanticas, mostrando los cambios radicales que presentan las caminata
cuanticas en sus distribuciones de probabilidad, ademas de presentar una
idea basica de las posible forma de implementacion algoritmica de estas distribuciones.
Ademas reportamos nuevos resultados, hasta donde hemos investigado, en
relacion a la evolucion de las caminatas cuanticas para monedas en altas dimensiones
considerando estados maximamente enlazados y el operador de Grover.
Otros objetivos que se establecen, es dar una motivacion para realizar estudios
en el sentido de la computacion cuantica. Ademas de explicar los fenomenos
que se presentan a escalas atomicas, que son los que ayudan a potencializar el
desempeno de los algoritmos y la caminata cuanticas.
ResumenEn la teoría cuántica de la medición existen dos problemas centrales: el problema de la lectura definida y el problema de la base preferida.El primer problema consiste en el hecho de que la teoría no puede dar cuenta de valores bien definidos registrados como resultados en la medición, puesto que predice que el estado final del sistema y aparato es una superposición sin valor definido.El segundo problema consiste en el hecho de que bajo ciertas circunstancias (referidas a la preparación del estado del sistema a medir) la teoría no puede dar cuenta, además, de una base bien definida de estados a la cual pertenece el resultado obtenido en la medición.Históricamente la pretendida resolución a estos problemas viene de la mano del formalismo de decoherencia, el cual se ha desarrollado como un intento de encontrar el limite clásico de la mecánica cuántica.El objetivo principal de esta tesis consiste en brindar una respuesta a los mencionados problemas sin apelar a decoherencia alguna.Respecto del problema de la base preferida presente en las correlaciones del estado final de la medición, mostraremos que, en lugar de resolverse apelando a una interacción posterior con el entorno, tal como en la teoría de la decoherencia, puede ser resuelto analizando el proceso previo a dicho estado final sin la necesidad del entorno.La esencia del procedimiento consiste en reconsiderar la medición, no como la mera correlación que se manifiesta en el estado final, sino como el proceso capaz de establecerla.Desde esta nueva perspectiva es posible diferenciar distintos procesos que conducen a distintas correlaciones, independientemente de que éstas puedan vincularse matemáticamente mediante un cambio de base.La eliminación de la ambigüedad de la base se logra al determinar qué proceso es caracterizado por el operador de evolución que conecta el estado inicial de la medición con el final.Estrictamente hablado, el problema no queda resuelto, sino más bien disuelto, al considerar que la medición involucra todo el proceso que desemboca en una correlación final, y ello sin la necesidad de agregar interacciones posteriores con sistemas como el entorno.Respecto del problema de la lectura definida nuestro objetivo es un poco más modesto.No vamos a resolver el problema estrictamente sino que, en el marco de ese problema, brindaremos una respuesta a la incompatibilidad que establece el postulado del colapso respecto de las evoluciones unitarias.La estrategia aquí es incorporar los aparatos de medición en el cálculo de las probabilidades condicionales establecidas para una secuencia de dos mediciones.Asumiendo valores definidos para la primera, demostramos que el postulado del colapso sobre el sistema puede ser derivado del propio formalismo de la teoría cuántica, aun cuando el sistema compuesto que incluye a los aparatos nunca abandona la evolución unitaria que predice la ecuación de Schrödinger