En esta Tesis se analizan diversos modelos de interes en optica cuantica, demostrando que sus simetrias dinamicas pueden expresarse en terminos de deformaciones polinomicas de algebras de Lie. Los generadores de estas algebras se interpretan como variables invariantes colectivas en terminos de las cuales se describe completamente la dinamica. Estas algebras no resuelven de forma inmediata el problema dinamico, pero permiten clasificar los subespacios invariantes bajo la evolucion de una manera similar a como se hace en la construccion de las representaciones irreducibles de su(2).
Es posible entonces definir operadores para la fase relative entre subsistemas debido a que en estos subespacios los operadores que representan las transiciones aparecen como un algebra de escalera de dimension finita y su descomposicion polar siempre admite soluciones unitarias.
La dimension finita de los subespacios invariantes lleva a que el espectro de la fase relativa es discreto, lo que no deja de ser sorprendente desde un punto de vista fisico. A partir de los autoestados correspondientes se obtiene la distribucion de probabilidad parala fase relativa de los modelos considerados y se analiza su evolucion temporal. Tambien se construyen las medidas positivas sobre algebras de operadores (POMs) generadas por estos autoestados.
Inspirados por el comportamiento de modelos lineales con simetria su(2), se analiza la ley de transformacion de los modelos considerados en esta Tesis bajo rotaciones generadas por las deformaciones polinomicas. Cuando la desintontia es grandes, el metodo permite describir el modelo original en terminos de un hamiltoniano efectivo diagonal. Esto nos lleva a estudiar el limite dispersivo de estos modelos, deduciendo algunas consecuencias dinamicas no triviales. Asimismo, se utiliza este metodo de pequenas rotaciones para el analisis sistematico de los efectos de relajacion en estos hamiltonianos
En esta Tesis se analizan diversos modelos de interes en optica cuantica, demostrando que sus simetrias dinamicas pueden expresarse en terminos de deformaciones polinomicas de algebras de Lie. Los generadores de estas algebras se interpretan como variables invariantes colectivas en terminos de las cuales se describe completamente la dinamica. Estas algebras no resuelven de forma inmediata el problema dinamico, pero permiten clasificar los subespacios invariantes bajo la evolucion de una manera similar a como se hace en la construccion de las representaciones irreducibles de su(2).
Es posible entonces definir operadores para la fase relative entre subsistemas debido a que en estos subespacios los operadores que representan las transiciones aparecen como un algebra de escalera de dimension finita y su descomposicion polar siempre admite soluciones unitarias.
La dimension finita de los subespacios invariantes lleva a que el espectro de la fase relativa es discreto, lo que no deja de ser sorprendente desde un punto de vista fisico. A partir de los autoestados correspondientes se obtiene la distribucion de probabilidad parala fase relativa de los modelos considerados y se analiza su evolucion temporal. Tambien se construyen las medidas positivas sobre algebras de operadores (POMs) generadas por estos autoestados.
Inspirados por el comportamiento de modelos lineales con simetria su(2), se analiza la ley de transformacion de los modelos considerados en esta Tesis bajo rotaciones generadas por las deformaciones polinomicas. Cuando la desintontia es grandes, el metodo permite describir el modelo original en terminos de un hamiltoniano efectivo diagonal. Esto nos lleva a estudiar el limite dispersivo de estos modelos, deduciendo algunas consecuencias dinamicas no triviales. Asimismo, se utiliza este metodo de pequenas rotaciones para el analisis sistematico de los efectos de relajacion en estos hamiltonianos
Los contenidos de esta memoria se resumen a continuación: En primer término, se analiza las propiedades básicas de los sistemas cuánticos discretos. Se estudia y compara las descripciones posibles de la fase para estos sistemas, considerando dicha descripción a través de una descomposición polar, a través de POVMs, y por último como la variable complementaria a una amplitud dada. A continuación se investiga un operador apropiado para la fase relativa en interacciones de átomos de dos y tres niveles con campos cuánticos. Se recurre a una descomposición polar correspondiente basada en la teoría de deformaciones polinómicas de su(2) y su(3), respectivamente. El espectro de la fase relativa es discreto, lo que resulta muy sorprendente desde un punto de vista físico. A partir de los estados de fase obtenidos con este procedimiento, se define una distribución de probabilidad, se estudia su evolución temporal, y se muestra como este formalismo podría aplicarse al entendimiento de fenómenos cada vez más complejos. Inspirados por el comportamiento de los modelos lineales con simetría su(2), se introducen pequeñas “rotaciones” generadas por deformaciones polinómicas. Cuando un parámetro controlable llega a ser pequeño, dichas rotaciones permiten describir en modelo original en términos de un hamiltoniano efectivo. La Óptica cuántica establece la existencia de estados de polarización que no pueden ser descritos de manera apropiada a través del formalismo semiclásico basado en los parámetros de Stokes. En esta memoria se aboga por el uso de grados de polarización basados en distancias. Dicha definición está estrechamente relacionada con otras propuestas recientes en áreas diferentes a la Óptica cuántica, y se comporta bien aún cuando el formalismo clásico resulta insuficiente. Para terminar, se proporciona una descripción completa de los estados de polarización máxima así como esquemas experimentales para su obtención
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.
La motivacion de esta tesis es estudiar el entrelazamiento cuantico en general y bajo que circunstancias es maximo en particular. En primer lugar, se analizan desigualdades de Bell desde un punto de vista operacional, se presentan nuevas desigualdades para particulas de dimension mayor que dos y se estudian los estados que las violan maximamente. Dichos estados son del tipo GHZ para las desigualdades que involucran qubits. En el caso de experimentos con qutrits o particulas dimension local mayor, los estados que violan maximamente estas desigualdades son deformaciones de estados GHZ generalizados. Este resultado demuestra que aunque maximo entrelazamiento y la no-localidad son conceptos muy proximos, no son equivalentes. En segundo lugar, se estudia el entrelazamiento multipartito en cadenas de espines. En particular, se usa como figura de merito el hiperdeterminante y los invariantes polinomicos que lo forman, S y T. Estas figuras cuantifican un tipo concreto de entrelazamiento cuatripartito, tal y como se demuestra de un analisis de estados cuanticos bien conocidos como el GHZ o el W. Cuando aplicamos esta figura a una cadena de espines con interaccion tipo Ising, observamos un pico pronunciado cerca de la transicion de fase cuantica. Resultados similares se observan para los modelos de XXZ y de Haldane-Shastry para el caso de los invariantes S y T. Con todo, concluimos que estas figuras de merito son sensibles a las transiciones de fase cuanticas. La segunda parte de la tesis se focaliza en el campo de la computacion cuantica. Dicho campo ha experimentado un crecimiento relevante en los ultimos anos, debido en parte a la mejora tecnologica sobre el control de experimentos cuanticos. Con motivo de este crecimiento, diversas empresas han empezado a desarrollar prototipos de ordenadores cuanticos. Por esta razon, una de las lineas de investigacion en computacion cuantica consiste en proponer metodos para poner a prueba estas maquinas. Uno de los metodos presentados en esta tesis es la simulacion exacta de una cadena de espines con interaccion de tipo XY. Se explicita como debe de ser el circuito cuantico que lleva a cabo dicha simulacion y se propone la simulacion tanto de estados termicos como de la evolucion en el tiempo. Debido a que el modelo XY es resoluble analiticamente, se pueden comparar los resultados obtenidos de la simulacion con el ordenador cuantico con la solucion teorica. Al correr un circuito para cuatro qubits en dos ordenadores de la empresa IBM y uno de la empresa Rigetti computing, obtenemos resultados peores a los esperados. Con ello, concluimos que hay fuentes de error que no se estan teniendo en cuenta en general y que cobran relevancia incluso en circuitos tan pequenos. Ademas de este circuito, proponemos la simulacion de estados altamente entrelazados. La implementacion de estos circuitos constituye un test tan duro como necesario para un ordenador cuantico, debido a que la ventaja de los algoritmos cuanticos radica en la generacion de entrelazamiento. Para finalizar, estudiamos la generacion de entrelazamiento al nivel mas fundamental: la fisica de particulas. Obtenemos que la interaccion de QED viene dictada por el maximo entrelazamiento en aquellos procesos a “tree-level”. Aplicamos la misma filosofia en procesos que involucren corrientes debiles neutras (tambien a “tree-level”) y con ello obtenemos que el angulo de Weinberg debe ser de pi/6 si imponemos que las particulas finales deben estar maximamente entrelazadas, valor muy cercano al experimental.
En este trabajo, se analiza una teoría que es en cierto modo una extensión natural del campo de las telecomunicaciones clásicas a la mecánica cuántica. Dicha teoría se llama tomografía cuántica y es de hecho una imagen de la mecánica cuántica equivalente a las más habituales que son la imagen de Schrödinger o la de Heisenberg. Esta nueva imagen, difiere de las precedentes en que está muy ligada a la capacidad tecnológica a la hora de medir observables (momento, energía, etc.) en el campo de la óptica cuántica, ya que su objetivo primordial es el de conseguir reconstruir el estado de un sistema cuántico a partir de mediciones en el laboratorio, y dado al avance tecnológico del instrumental de laboratorio disponible como láseres y fotodetectores, cada vez está suscitando mayor interés. En el primer capítulo, veremos cómo nace esta idea de reconstruir estados cuánticos discutiendo brevemente la técnica clásica conocida como Tomografía Axial Computerizada (TAC). Esta técnica está basada en los trabajos de Johann Karl August Radon aplicando la transformada que lleva su nombre. Introduciremos la transformada de Radon de una función de probabilidad definida en el espacio de fases para ver cómo se aplica en el caso del TAC. Para aplicar esta idea para la reconstrucción de estados cuánticos, veremos, en primer lugar, que existe una extensión natural de las técnicas de demodulación de señales moduladas en amplitud (AM) en el campo de la óptica cuántica mostrando que el papel que cumple un mezclador puede ser reemplazado por una combinación de divisores de haz y fotodetectores y mostraremos explícitamente cómo reconstruir el operador densidad que describe un estado cuántico a través de un proceso reminiscente de la transformada de Radon clásica. El segundo capítulo será el corazón de este trabajo. En él, introduciremos de manera formal la descripción tomográfica de la mecánica cuántica. Presentaremos una teoría general, para ello, trataremos a los observables como elementos de un álgebra C_ y los estados serán funcionales lineales positivos que actúen en dicha algebra. Veremos que esta descripción de la mecánica cuántica puede dividirse en dos partes, una primera con el objetivo de obtener una fórmula para reconstruir el estado de un sistema cuántico a partir de una función definida sobre un conjunto llamado conjunto tomográfico, que será un conjunto de observables que tendrá que cumplir una serie de condiciones que expondremos debidamente. A esta primera parte de la teoría, la bautizaremos como Teoría de muestreo generalizada en sistemas cuánticos. La segunda parte estará relacionada con la parte puramente experimental. Lo que hace necesario tener que añadir esta segunda parte es el hecho de que la función definida anteriormente sobre el conjunto tomográfico, que llamaremos función de muestreo, en general, no puede ser medida por medio de los dispositivos con los que contamos en un laboratorio de óptica cuántica, sin embargo, a partir de las mediciones hechas con un fotodetector, podemos obtener distribuciones de probabilidad de cantidades relacionadas con los observables. Entonces, tomando esto último como motivación, esta segunda parte de la teoría consistirá en relacionar esa función de muestreo con una distribución de probabilidad que llamaremos tomograma, que será el resultado directo de un proceso de medida en el laboratorio, y la llamaremos Transformada generalizada positiva por motivos que se expondrán convenientemente. Uno de los problemas más sutiles de esta teoría consiste en hallar un conjunto tomográfico que cumpla las condiciones necesarias para permitir reconstruir el estado a partir de él. Sin embargo, veremos que de manera natural, las representaciones unitarias irreducibles de un grupo finito o de Lie compacto proporcionan conjuntos tomográficos que cumplen las condiciones requeridas, por eso, nos centraremos en el estudio de la reconstrucción de estados a partir de grupos relacionados con el sistema físico dado. Aunque también destacaremos que existen otras representaciones unitarias que nos permiten reconstruir el estado cuántico a partir de ellas, como lo es la representación unitaria irreducible del grupo de Heisenberg Weyl dada por el álgebra de Lie que forman los operadores momento y posición cuánticos que es el ejemplo con el que nace la tomografía cuántica introducido en el primer capítulo. En el tercer capítulo presentaremos un algoritmo numérico que se deriva a partir de unos estados que llamaremos estados adaptados que habremos definido en el capítulo anterior. Este algoritmo nace como un problema inverso, ya que hasta entonces nos habremos centrado en reconstruir estados a partir de un conjunto tomográfico, en especial, cuando el conjunto tomográfico está definido a partir de una representación unitaria de un grupo. Este problema inverso consiste en determinar qué información es posible obtener de una representación unitaria de un grupo si se tiene una familia de estados que describe un sistema físico relacionado con un grupo de simetría. La respuesta a esta pregunta es muy satisfactoria ya que es posible conocer la matriz de transformación de base que nos permita transformar la base, en la que está descrita la representación unitaria, en una base adaptada a los subespacios invariantes bajo la acción de todos los elementos de la representación. Este problema se conoce como descomposición de Clebsh Gordan, ya que dicha transformación aplicada a la representación unitaria la convierte en una matriz diagonal por bloques en la que cada bloque corresponde a una representación unitaria irreducible. La manera en la que resolveremos este problema es con un algoritmo numérico que sólo requiere dos estados adaptados como argumentos de entrada, que pueden ser obtenidos de manera directa si se conoce de forma explícita la representación unitaria que queremos reducir. Este algoritmo lo hemos bautizado con el nombre de SMILY. Hay que destacar que como este algoritmo se ha generado sólo aplicando ciertas transformaciones unitarias sobre matrices que representan un estado cuántico, tiene una extensión natural que podría implementarse en un ordenador cuántico. Para acabar esta tesis, generalizaremos la descripción tomográfica a campos clásicos y cuánticos. Para el caso clásico, primero realizaremos una descripción tomográfico para sistemas con finitos grados de libertad y obtendremos el equivalente tomográfico de la ecuación de Liouville para una densidad de probabilidad y tras esto, haremos el mismo análisis para sistemas con infinitos grados de libertad. Para obtener la descripción tomográfica para campos cuánticos, partiremos del concepto de segunda cuantización y mostraremos el equivalente tomográfico de los axiomas de Wightman Streater para una teoría cuántica de campos. Y para terminar, obtendremos un teorema de reconstrucción para campos escalares y calcularemos el tomograma de ciertos estados de un campo cuántico escalar libre. Comentemos esto último diciendo que es el inicio de una teoría que permitirá una descripción tomográfica de estados, por ejemplo ligados, para teorías con interacción. Para concluir este resumen, quisiera resaltar que el lector especializado, si lo considera conveniente, puede comenzar a leer a partir del segundo capítulo, ya que aunque el primer capítulo sirve como motivación de porqué desarrollar una descripción tomográfica de la mecánica cuántica, el texto puede comprenderse si previamente no se ha leído.
El incipiente campo de los ordenes topologicos ha sido ampliamente estudiado tanto por las comunidad de fisica de la materia condensada como por la de simulacion cuantica. Sin embargo, es poco lo que se conoce sobre el comportamiento de estos ordenes topologicos en presencia de ruido externo o efectos disipativos.
En la primera parte de esta tesis, hemos estudiado como los estados de borde de un aislante topologico se vuelven intestables cuando se ponen en interaccion con banos termicos. Motivados por estos resultados, hemos generalizado la nocion de aislante topologico de tipo Chern para el caso de dinamicas Liouvillianas. Estas dinamicas caracterizan sistemas en presencia de disipacion que no puede ser descritos por un Hamiltoniano. Para alcanzar este objetivo de generalizacion hemos definido un nuevo indicador topologico que esta relacionado con la conductividad Hall cuantica a temperatura finita. Este formalismo describe tambien el caracter mixto de los estados de borde del aislante topologico. A modo de ejemplo, hemos estudiado modelos explicitos de aislantes topologicos acoplados a distintos canales de disipacion.
Por otra lado, hemos encontrado nuevas fases cuanticas y topologicas que permanecen cuantizadas a temperatura finita. La construccion de las mismas esta basada en la fase de Uhlman, que es una fase geometrica cuantica definida para matrices densidad; utilizadas estas ultimas para describir estados cuanticos con ruido. Empleando esta nueva herramienta, hemos sido capaces de caracterizar aislantes y superconductores topologicos a temperatura finita tanto en una como en dos dimensiones espaciales. Desde el punto de vista experimental, hemos propuesto un protocolo (independiente del estado del sistema) para medir la fase de Uhlmann topologica en un contexto de simulacion cuantica.
En la segunda parte de la tesis hemos centrado nuestros esfuerzos en el estudio de sistemas topologicos que presentan efectos de largo alcance. Los ordenes topologicos de tipo symmetry-protected han emergido tradicionalmente a partir de interacciones de corto alcance. Sin embargo, se desconoce en gran medida el rol que juegan las interacciones de largo alcance en la fisica de estos sistemas topologicos.
En esta parte de la tesis hemos analizado como las fases topologicas superconductoras se ven afectadas por la inclusion de acoplos de largo alcance. De manera muy resenable, hemos encontrado nuevas quasi-particulas topologicas debido a las interacciones de largo alcance, que no estaban presentes en modelos de corto alcance. Se trata de fermiones de Dirac no-locales protegidos por la topologia del propio sistema. Ademas, hemos estudiado como los invariantes topologicos se ven modificados por la presencia de efectos de largo alcance.
Por ultimo, en la seccion de apendices de esta tesis, hemos utilizados diversos metodos numericos para estudiar transiciones de fase cuanticas inducidas por disipacion. De esta manera, hemos considerado sistemas cuanticos con un termino disipativo que conduce el sistema a un estado estacionario de no equilibrio. En particular, hemos demostrado que la inclusion de flucturaciones de corto alcance en los sistemas fuera del equilibrio, modifica significativamente la topologia del diagrama de fases. Este es un hecho que por el contrario no se observa en la termodinamica de equilibrio.
Las fases topológicas de la materia han transformado la manera de clasificar sistemas cuánticos, al introducir caracterizaciones que trascienden el paradigma de orden local de Landau. En sistemas no interactuantes, este fenómeno se entiende en términos de la estructura de bandas electrónicas: los estados de Bloch permiten definir fases geométricas de Berry [1] e invariantes topológicos en el espacio de momentos. Estos invariantes distinguen fases que no pueden conectarse sin cerrar el gap espectral y cuya clasificación puede organizarse en función de las simetrías presentes[2][3]. Al incorporar interacciones, sin embargo, esta descripción deja de ser directamente aplicable. La noción de cuasipartículas bien definidas puede romperse, y con ella la interpretación en términos de bandas. Esto plantea la pregunta fundamental de cómo extender el concepto de topología a sistemas fuertemente correlacionados. En esta charla se discutirán algunas de las ideas generales que permiten abordar este problema, en particular la posibilidad de reformular invariantes topológicos en términos de funciones de Green[4], lo que sugiere una forma de capturar propiedades globales incluso en ausencia de una descripción de partícula independiente. Para sistemas unidimensionales, la bosonización proporciona una herramienta natural para describir las excitaciones colectivas y analizar la estructura de las fases posibles. El objetivo de esta charla será mostrar cómo este enfoque ofrece un marco prometedor para entender fases topológicas en presencia de interacciones, y señalar algunas de las direcciones actuales en las que estas ideas se desarrollan.