Numerosos problemas, tanto practicos como fundamentales, requieren comprender como se comportan los electrones que forman un material o participan en una reaccion quimica. Al estar descritos por leyes cuanticas, los metodos numericos clasicos se encuentran muy limitados para describir su comportamiento. El desarrollo de simuladores cuanticos capaces de reproducir las leyes fisicas de estos sistemas ofrecen una alternativa para estudiar estos fenomenos, ayudando con ello a entender la materia que nos rodea.
Numerosos problemas, tanto practicos como fundamentales, requieren comprender como se comportan los electrones que forman un material o participan en una reaccion quimica. Al estar descritos por leyes cuanticas, los metodos numericos clasicos se encuentran muy limitados para describir su comportamiento. El desarrollo de simuladores cuanticos capaces de reproducir las leyes fisicas de estos sistemas ofrecen una alternativa para estudiar estos fenomenos, ayudando con ello a entender la materia que nos rodea.
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
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...
En esta tesis se estudian los simuladores cuanticos analogicos, sistemas experimentales capaces de reproducir de forma eficiente complicados modelos de la fisica cuantica de muchos cuerpos. Dichos simuladores reproducen de forma exacta el Hamiltonia no del sistema a simular, heredando todas sus propiedades, y por tanto permitiendo explorar todas sus propiedades en un laboratorio. En particular nos centraremos en dos plataformas experimentales: iones atrapados, y atomos frios en redes opticas. Estos sistemas poseen propiedades distintivas y complementarias que hace que la simulacion de ciertos fenomenos sea mas apropiada en una u otra plataforma. Por ejemplo, mientras que las redes opticas simulan de forma natural fenomenos que involucran miles de particulas, los iones atrapa- dos son mas apropiados para la simulacion de la fisica de pocos cuerpos. De hecho, los iones atrapados pueden incluso alcanzar el limite de una sola particula. Esta tesis presenta propuestas teoricas para simular los siguientes fenomenos en trampas ionicas: ecuacion de Dirac, modelos de espines con interacciones a tres cuerpos, y localizacion de Anderson de fonones. Asi mismo, presentamos las siguientes propuestas para atomos frios en redes opticas...
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.
La teoria de informacion cuantica se basa en la idea de que los sistemas cuanticos pueden ser usados como ?transportadores? de informacion. Por tanto, para ser usados de este modo, se necesitan usar las leyes de la Mecanica Cuantica que describe el comportamiento de los sistemas fisicos en la escala atomica. Este comportamiento incrementa las posibilidades de procesamiento de la informacion y tareas de comunicacionPara poder usar los sistemas cuanticos para transportar informacion se necesita codificar, almacenar, procesar y extraer la informacion en estos sistemas y, en muchas situaciones, se necesitara trabajar con muchos sistemas cuanticos. Durante los ultimos 30 anos se ha producido un gran avance en la captura y control de los sistemas cuanticos de muchos cuerpos. Sin embargo, entender totalmente las fases de la materia y sus propiedades es todavia un reto para la comunidad fisica. Las propiedades de las diferentes fases de la materia dependen del modo en el que los atomos estan organizados u ordenados en los materiales. Asi, diferentes simetrias en la organizacion de un material dan lugar a diferentes fases y, por tanto, diferentes propiedades del material. En esta tesis estudiamos las restricciones que las simetrias imponen en la estructura de los estados entrelazados de muchos cuerpos. Ademas, damos aplicaciones en la teoria del entrelazamiento, en criptografia cuantica y en fisica de la materia condensada. Uno de los objetivos es estudiar los sistemas multipartitos con simetria permutacional. Estudiamos el entrelazamiento geometrico en este tipo de estados, conectando con algunos resultados clasicos de la teoria de espacios de Banach. Motivados por la necesidad criptografica de protocolos con anonimicidad perfecta, demostramos la existencia de un estado maximamente entrelazado en este contexto, y las implicaciones que esto tiene. En particular, recuperamos como corolarios algunos resultados recientes de clonacion secuencial.Posteriormente damos una caracterizacion en los tensores locales de la existencia de una simetria global en los Projected Entangled Pair States (PEPS). Esta caracterizacion nos permite relacionar algunas de las propiedades indicadoras de orden topologico y dar una version del teorema Lieb-Schultz-Mattis para PEPS entre otros.El siguiente problema de la tesis estudia la entropia de entrelazamiento genericas de los estados fundamentales de hamiltonianos locales con simetria de translacion en 1D. En particular probamos que con alta probabilidad, la matriz de densidad reducida de estos estados tiene maxima entropia. Para obtener este resultado, mejoramos las cotas previas de la funcion de Weingarten en la teoria de matrices aleatorias.Por otra parte, damos una relacion de incertidumbre cuantica con las siguientes propiedades: usa la entropia ?min? como medida de incertidumbre, garantiza incertidumbre en todas menos una de las posibles mediciones y se puede aplicar a conjuntos de mediciones generales. Como aplicacion damos un protocolo de identificacion cuantico y analizamos su seguridad.