Entre las aportaciones más significativas que ha hecho la Electrónica Cuántica en los últimos años, dentro del campo de los dispositivos con uso potencial en diferentes terrenos, se encuentra, sin duda, el de la Biestabilidad Optica. Desde su planteamiento teórico por Szóke, en 1969, hasta la primera aparición de un elemento que ofreciese en el laboratorio propiedades experimentales concordantes con dicha teoría, pasaron exactamente seis años. Desde 1969, Szóke no ha vuelto a publicar ningún artículo en este campo, pero los investigadores que desde 1975 comenzaron a trabajar en él, lo han hecho hasta nuestros días con una ley prácticamente exponencial. Si se analizan con un cierto detalle, por otra parte, las tendencias previas de los diferentes grupos puede verse que, la mayor parte de ellos, provienen de ramas de la Electrónica Cuántica dedicados al estudio de fenómenos no-lineales de interacción radiación-materia. Pero hay también un número muy apreciable de otros grupos que habían estado trabajando en problemas de transiciones de fase en sistemas fuera del equilibrio, en física de materiales, tanto semiconductores como no semiconductores en física matemática y recientemente, en comunicaciones ópticas y en tecnología de ordenadores.
Entre las aportaciones más significativas que ha hecho la Electrónica Cuántica en los últimos años, dentro del campo de los dispositivos con uso potencial en diferentes terrenos, se encuentra, sin duda, el de la Biestabilidad Optica. Desde su planteamiento teórico por Szóke, en 1969, hasta la primera aparición de un elemento que ofreciese en el laboratorio propiedades experimentales concordantes con dicha teoría, pasaron exactamente seis años. Desde 1969, Szóke no ha vuelto a publicar ningún artículo en este campo, pero los investigadores que desde 1975 comenzaron a trabajar en él, lo han hecho hasta nuestros días con una ley prácticamente exponencial. Si se analizan con un cierto detalle, por otra parte, las tendencias previas de los diferentes grupos puede verse que, la mayor parte de ellos, provienen de ramas de la Electrónica Cuántica dedicados al estudio de fenómenos no-lineales de interacción radiación-materia. Pero hay también un número muy apreciable de otros grupos que habían estado trabajando en problemas de transiciones de fase en sistemas fuera del equilibrio, en física de materiales, tanto semiconductores como no semiconductores en física matemática y recientemente, en comunicaciones ópticas y en tecnología de ordenadores.
Una vez expuestos en un artículo previo, los principios físicos fundamentales en los que se basa el comportamiento de los dispositivos ópticos biestables, sólo resta ya dar una breve síntesis de cuales pueden ser las aplicaciones de los mismos que se preven para un futuro próximo. Es muy posible también que algunas realizaciones futuras no hayan sido aún previstas. Pero lo que sí es seguro es que, a pesar de todo, su estudio merece una especial atención. Ello se debe, en particular, a dos hechos fundamentales. Por una parte, el que desde un punto de vista práctico es más fundamental, es el de su posible empleo en campos como las comunicaciones ópticas o los ordenadores fotónicos, temas ambos que, en este artículo, merecerán una especial atención, y que constituyen objeto central de investigación y desarrollo en todo momento. El segundo es que la biestabilidad óptica es un terreno absolutamente favorable para el estudio de los fenómenos en sistemas fuera del equilibrio. Un tema en particular, el del caos, ha visto en los últimos dos años un renacido interés gracias al conjunto de nuevos datos que ha aportado la B.O. Aunque en este artículo este último tema no será tratado ya que necesitaría uno sólo para él, nos parece importante sacarle al menos la luz.
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.
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 estudio de la interaccion luz materia con conjuntos atomicos es un area de investigacion activa. Este tipo de sistema permite fundamental estudios sobre la medicion en el contexto de las variables continuas, en entrelazamiento colectiva y en las simulaciones cuanticas. Este campo de la investigacion tambien es interesante en el contexto de la metrologia cuantica, comunicacion cuantica y la computacion cuantica. En esta tesis dos aspectos complementarios de la interaccion luz materia con conjuntos atomicos han sido estudiados con iones atrapados y atomos neutros frios. El experimento de iones atrapados pretende evaluar la posibilidad de utilizar grandes nubes de iones para la realizacion de una memoria cuantica con largo tiempo de coherencia. En vez de que el experimento de atomos frios se centro en el uso de medidas de no demolicion cuantica para evaluar estados no gaussianos. Este experimento es parecido a los experimentos de comunicacion cuantica que se desarrollan actualmente. Los iones atrapados enfriados por laser pueden llegar a una fase cristalina debido a la fuerte repulsion de Coulomb entre los iones. En esta fase, las relativas posiciones entre los iones se fijan de manera a evitar las colisiones y los iones que exploran inhomogeneidades del campo magnetico que puede ser una fuente de perdida de coherencia. Con bajo numero de iones, largos tiempos de coherencia han sido demostrados. Con iones numerosos, el mecanismo de captura puede inducir un calentamiento de la nube de iones, haciendo asi mas dificil de obtener el regimen cristalizado. Durante esta tesis, los cristales de Coulomb grandes que contiene mas de 106 iones se han obtenidos y la prueba de la transparencia inducida electromagneticamente en tal sistema ha sido obtenida. Este estudio tambien revelo las limitaciones de este tipo de sistemas que tienen que ser estudiado mas a fondo para obtener una fuerte probabilidad de interaccion con conjuntos de iones frios en un regimen permitiendo largos tiempos de coherencia. Los sistemas de atomos neutros permiten fuertes probabilidades de acoplamiento luz materia, pero generalmente reduce los tiempos de coherencia. Memorias cuanticas, el entrelazamiento entre atomos y la luz, magnetometria de alta precision han sido demostrados en experimentos relacionados con vapores atomicos neutros. El sistema utilizado en esta tesis se ha disenado para permitir que la probabilidad de acoplamiento luz materia sea importante, con pulsos de luz polarizada, lo que permite medir con precision el estado de espin del sistema atomico sin destruccion y con bajo ruido. La medicion del ruido del sistema es mas baja que el ruido atomico, lo que podria inducir el entrelazamiento colectivo de los espines atomicos (a traves del squeezing de espines inducido por la medicion) y mediciones de campo magnetico ultra sensibles. Este sistema esta estrechamente relacionado con sistemas disenados para la creacion de comunicacion cuantica y memorias cuanticas. Los estados atomicos no gaussianos constituyen un recurso para la computacion cuantica y la comunicacion cuantica, en el contexto de los experimentos de fisica atomica, su deteccion puede ser dificil. El trabajo presentado en esta tesis se centra en la deteccion de los estados no gaussianos en conjuntos atomicos utilizando cumulants, y en particular el ruido relacionado con la medicion de los cumulants.
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.
Típicamente, en un experimento científico uno busca monitorear una pequeña parte del universo. En cierta medida, la muestra bajo observación estará influenciada por su entorno. Es posible lograr un muy buen aislamiento en el laboratorio, no obstante, los llamados sistemas cerrados perfectos no existen y, tarde o temprano, la muestra será afectada por sus alrededores. Esta es la naturaleza, sus diferentes componentes interactúan entre ellos. Cuando insistimos en estudiar solamente uno de ellos, la influencia de los demás no puede despreciarse. Las reacciones químicas, las transiciones atómicas, la termalización así como la vida misma son producto de la interacción con muchos grados de libertad sobre los cuales no tenemos control. En mecánica cuántica, el acoplo con el entorno es bastante famoso debido al problema de la decoherencia. El entorno introduce un desfase y la mayoría de superposiciones cuánticas desaparecen. La decoherencia provee una ruta para hacer las evoluciones cuánticas cada vez más clásicas y, de esta manera, explica la transición del mundo cuántico al clásico. Por otra parte, es un obstáculo en tecnologías cuánticas donde las reglas de operación son de naturaleza cuántica. Es claro que la llamada comunidad de información cuántica tiene especial interés en la interacción con el entorno. Con algunas excepciones, los protocolos convencionales en comunicación cuántica, computación o simulaciones deben de evitar las interacciones con el entorno. Las tecnologías cuánticas son bastante importantes ya que prometen resolver problemas muy difíciles. Luego, por razones fundamentales (entender como funciona la naturaleza), porque nos gustaría poder evitarla o incluso explotarla a nuestro favor, la teoría de sistemas abiertos tiene un papel central en la ciencia en general y la física en particular. Es momento de cambiar de dirección y enfocar esta introducción hacia los temas cubiertos en esta tesis. Como mencionamos antes, una comunidad especialmente interesada en la decoherencia es aquella que tiene como objetivodesarrollar un procesador cuántico. En particular, los laboratorios que trabajan en simuladores cuánticos analógicos, sistemas cuánticos bien controladoscuya evolución está gobernada por los hamiltonianos que se quiere simular. Esta idea es útil cuando estos hamiltonianos son difíciles o inclusive imposibles de resolver con ordenadores clásicos. De esta manera, los resultados de los experimentos son las soluciones que buscábamos resolver matemáticamente (por medio de un ordenador clásico). Como uno podría imaginar, la condición de controlabilidad (parámetros hamiltonianos, salidas, etc.) imponen el uso de aparatos externos que, a su vez, inducen un acoplo con el entorno. Incluso sin poseer aún una teoría de corrección de errores, incluso si este ruido siempre estará ahí, no hay porque ser tan pesimistas. Los experimentos ya han demostrado buenos resultados. El hamiltoniano que deseamos simular es importante ya que describe las propiedades de algúm material. Luego, como dicta la naturaleza, estos materiales estarán en contacto con un entorno que no podemos controlar. De esta manera, las fases encontradas en la naturaleza y que buscamos entender deben de ser robustas frente a aquellas imperfecciones. Finalmente, la disipación puede generar aquellas fases o incluso