En esta tesis estudiamos dos temas relacionados con la informacion cuantica y la topologia: los superconductores topologicos y la correccion cuantica topologica de errores.
Los superconductores topologicos han sido ampliamente estudiados, hecho parcialmente motivado por la busqueda de fermiones de Majorana en sistemas de materia condensada. Estas cuasiparticulas son anyones no abelianos y se pueden utilizar para el procesamiento de informacion cuantica. Recientemente se han presentado varias propuestas y experimentos en los que se obtienen superconductores topologicos mediante la construccion de heteroestructuras. Dichas heteroestructuras generalmente consisten en un superconductor de onda s acoplado a un semiconductor. En la primera publicacion exploramos la posibilidad de disenar un superconductor topologico utilizando un superconductor padre de onda d acoplado a un gas de electrones bidimensional con interaccion de espin-orbita y un campo Zeeman. Hallamos una expresion analitica de los estados de Majorana y comparamos estos resultados con los obtenidos cuando se usa un superconductor de onda s convencional. Observamos que, a pesar de la dependencia angular del acoplo de onda d, la localizacion de los fermiones de Majorana es muy similar para el mismo valor de la constante de acoplo superconductora. Puesto que los superconductores de onda $d$ corresponden en general a superconductores de alta temperatura y, por consiguiente, con un valor mucho mayor para el acoplo superconductor, podemos esperar una localizacion mas pronunciada para este tipo de configuraciones. Ademas, empleamos un invariante topologico que muestra la naturaleza topologica del superconductor y verificamos la robustez de los modos de energia cero frente el ruido estatico. La segunda publicacion investiga otras interacciones superconductoras mas exoticas: acoplamientos sin nodos compatibles con la simetria de un cristal tetragonal. Calculamos el diagrama de fases topologicas en presencia de un campo Zeeman y acoplamiento espin-orbita. Asimismo, analizamos en detalle los altos numeros de Chern obtenidos, los modos de borde masivo y los modos de energia cero.
La correccion cuantica de errores es una elemento esencial en la consecucion ordenadores cuanticos tolerantes a fallos. Los codigos topologicos de correccion cuantica de errores se destacan como uno de los candidatos mas eficientes y prometedores para lograr este ultimo fin. La tercera publicacion utiliza la conexion entre los ordenes topologicos y los codigos topologicos de correccion de errores para definir un nuevo codigo topologico, basado en el modelo del doble semion. Usamos una version modificada de los operadores de plaqueta del modelo del doble semion para construir los operadores de cadena y los operadores logicos necesarios para una memoria cuantica. El codigo resultante se ajusta al formalismo del estabilizador, pero no es un codigo formado por operadores de Pauli ni CSS. En la cuarta publicacion exploramos mas a fondo el codigo desarrollado en la tercera publicacion y obtenemos el umbral de error para dos tipos de ruido: el ruido independiente de inversion de bits y fases, y el ruido de despolarizacion. Si bien esta tarea generalmente se aborda realizando un mapeo a un modelo mecanico estadistico, la estructura de los operadores de plaquetas hace que este sea demasiado complejo. En su lugar, aprovechamos el rendimiento casi optimo de algunos decodificadores neuronales para calcular los valores de umbral. Tambien hacemos una comparacion con el codigo torico de Kitaev y constatamos la presencia de algunas diferencias como consecuencia de que el codigo semionico no esta compuesto unicamente de operadores de Pauli. Por ultimo, comparamos el rendimiento de perceptrones multicapa y redes neuronales convolucionales para la tarea de decodificacion, encontrando que las segundas son mas apropiadas para efectuar esta tarea.
En esta tesis estudiamos dos temas relacionados con la informacion cuantica y la topologia: los superconductores topologicos y la correccion cuantica topologica de errores.
Los superconductores topologicos han sido ampliamente estudiados, hecho parcialmente motivado por la busqueda de fermiones de Majorana en sistemas de materia condensada. Estas cuasiparticulas son anyones no abelianos y se pueden utilizar para el procesamiento de informacion cuantica. Recientemente se han presentado varias propuestas y experimentos en los que se obtienen superconductores topologicos mediante la construccion de heteroestructuras. Dichas heteroestructuras generalmente consisten en un superconductor de onda s acoplado a un semiconductor. En la primera publicacion exploramos la posibilidad de disenar un superconductor topologico utilizando un superconductor padre de onda d acoplado a un gas de electrones bidimensional con interaccion de espin-orbita y un campo Zeeman. Hallamos una expresion analitica de los estados de Majorana y comparamos estos resultados con los obtenidos cuando se usa un superconductor de onda s convencional. Observamos que, a pesar de la dependencia angular del acoplo de onda d, la localizacion de los fermiones de Majorana es muy similar para el mismo valor de la constante de acoplo superconductora. Puesto que los superconductores de onda d corresponden en general a superconductores de alta temperatura y, por consiguiente, con un valor mucho mayor para el acoplo superconductor, podemos esperar una localizacion mas pronunciada para este tipo de configuraciones. Ademas, empleamos un invariante topologico que muestra la naturaleza topologica del superconductor y verificamos la robustez de los modos de energia cero frente el ruido estatico. La segunda publicacion investiga otras interacciones superconductoras mas exoticas: acoplamientos sin nodos compatibles con la simetria de un cristal tetragonal. Calculamos el diagrama de fases topologicas en presencia de un campo Zeeman y acoplamiento espin-orbita. Asimismo, analizamos en detalle los altos numeros de Chern obtenidos, los modos de borde masivo y los modos de energia cero.
La correccion cuantica de errores es una elemento esencial en la consecucion ordenadores cuanticos tolerantes a fallos. Los codigos topologicos de correccion cuantica de errores se destacan como uno de los candidatos mas eficientes y prometedores para lograr este ultimo fin. La tercera publicacion utiliza la conexion entre los ordenes topologicos y los codigos topologicos de correccion de errores para definir un nuevo codigo topologico, basado en el modelo del doble semion. Usamos una version modificada de los operadores de plaqueta del modelo del doble semion para construir los operadores de cadena y los operadores logicos necesarios para una memoria cuantica. El codigo resultante se ajusta al formalismo del estabilizador, pero no es un codigo formado por operadores de Pauli ni CSS. En la cuarta publicacion exploramos mas a fondo el codigo desarrollado en la tercera publicacion y obtenemos el umbral de error para dos tipos de ruido: el ruido independiente de inversion de bits y fases, y el ruido de despolarizacion. Si bien esta tarea generalmente se aborda realizando un mapeo a un modelo mecanico estadistico, la estructura de los operadores de plaquetas hace que este sea demasiado complejo. En su lugar, aprovechamos el rendimiento casi optimo de algunos decodificadores neuronales para calcular los valores de umbral. Tambien hacemos una comparacion con el codigo torico de Kitaev y constatamos la presencia de algunas diferencias como consecuencia de que el codigo semionico no esta compuesto unicamente de operadores de Pauli. Por ultimo, comparamos el rendimiento de perceptrones multicapa y redes neuronales convolucionales para la tarea de decodificacion, encontrando que las segundas son mas apropiadas para efectuar esta tarea.
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.
Los estados de redes tensoriales describen estados cuanticos de muchos cuerpos de forma local. Estos estados aproximan eficientemente los estados de baja energia de sistemas con interacciones locales y con gap ademas de describir exactamente estados cuanticos de muchos cuerpos de enorme importancia (aquellos que son puntos fijos de un proceso de renormalizacion). Los estados de redes tensoriales constituyen una herramienta analitica muy valiosa para el estudio de sistemas fuertemente correlacionados. En esta tesis analizamos redes tensoriales que describen fases cuanticas que albergan un tipo de order no local: el orden topologico. Uno de los aspectos mas importantes de un sistema con orden topologico es la existencia de excitaciones de cuasiparticulas con propiedades inusuales bajo intercambio que difieren tanto de los bosones o fermiones. Estas excitaciones, denominadas anyones, emergen como un comportamiento colectivo de los constituyentes del sistema y pueden transformase de forma no trivial bajo las simetrias globales del sistema.
Resulta que el sector de baja energia de algunos modelos topologicos, incluidos los anyones, tienen una descripcion en terminos de estados de redes de tensores. Ademas, el orden topologico, una propiedad global, se codifica localmente como una simetria en los tensores individuales. Esta codificacion es crucial debido a que cuando una estructura local que caracteriza una propiedad local es identificada matematicamente, uno puede centrarse en esa familia de estados de redes tensoriales para estudiar sistematicamente sus propiedades. En este sentido, los estados de redes tensoriales surgen como el marco formal para trabajar en la fisica de muchos cuerpos. El objetivo de esta tesis es contribuir a la clasificacion de redes de tensores topologicas en dos dimensiones con simetrias.
Una cuestion importante, relacionada con la caracterizacion local de simetrias globales, es como caracterizar la relacion que existe entre tensores que describen el mismo estado de red tensorial y que, por ende, deberian considerarse equivalentes.
En esta tesis obtenemos esta relacion para algunas clases de estados de redes de tensores previamente estudiados, inyectivos y normales, mejorando los resultados existentes relajando algunas hipotesis. Ademas, probamos esta relacion para estados de redes tensoriales que describen fases topologicas, donde ningun resultado previo existia. Concretamente, lo probamos para la familia que describe los modelos dobles cuanticos de un grupo finito, los denominados PEPS G-inyectivos. Una vez tenemos este teorema, se pueden caracterizar y clasificar simetrias globales que actuan localmente en cada sitio de la red.
Clasificamos simetrias globales que actuan de forma local, provenientes de un grupo finito Q, en PEPS G-inyectivos. Obtenemos un numero finito de clases para cada par (Q,G). Esta clasificacion esta relacionada con las posibles extensiones de grupo, E, de G por Q. Ademas, proporcionamos un metodo para construir un representante de cada clase, concluyendo que nuestra clasificacion es completa. Los representantes tambien se construyen usando la teoria de extensiones de grupo, empezando por una representacion de la extension E y restringiendo localmente el tensor a los elementos de G. Este representante esta dado en una forma de punto fijo de renormalizacion, lo que facilita la obtencion de todas las propiedades de la fase cuantica. Debido a que un sistema con orden topologico y simetria estara lejos de ese representante, es necesario un metodo para detectar la fase. Nosotros resolvemos ese problema proponiendo unos invariantes de la fase y sus correspondientes parametros de orden para detectar el patron de fraccionalizacion de la simetria en un estado determinado. Los parametros de orden propuestos capturan la fase mediante la deteccion de cantidades invariantes en la extension de grupo. Concluimos la tesis formulando algunas preguntas matematicas abiertas en el campo de los PEPS.
Como hilo conductor, la tesis trata la posibilidad de caracterizar y detectar propiedades no locales de gases atomicos ultrafrios. La principal motivacion para esta coleccion de propuestas surge del campo de la simulacion cuantica y la informacion cuantica. A continuacion vamos a listar los resultados principales de esta tesis, siguiendo aproximadamente el orden en que han sido estructurados los capitulos: Hemos revisado la forma en la que un modelo de tipo enlace fuerte con particulas masivas puede dar lugar a teorias de fermiones sin masa de Dirac en el limite de baja energia. En particular, se detalla la relacion entre todos los posibles terminos que pueden incluirse en el Hamiltoniano (sin interaccion) y los parametros microscopicos controlables. Las especificidades de la implementacion son explicadas de forma cuantitativa, con el objetivo de realizar una propuesta experimental completa.Por ultimo, se sugiere el empleo de varios protocolos de medida, segun las caracteristicas particulares del experimento que se quiera realizar, y que allanan el camino para la realizacion de simulaciones mas complejas en experimentos similares. Hemos demostrado que un aislante de Chern puede ser implementado y car- acterizado en un experimento de redes opticas. Un indice (o winding number, en ingles) que toma valores en los enteros puede ser medido a partir de imagenes en tiempo de vuelo del gas atomico, lo que resulta equivalente a la medida de su numero de Chern. Hemos comprobado numericamente que el protocolo de deteccion es robusto frente a las inhomogeneidades y temperaturas propias de estos experimentos con redes opticas, como cabe esperar de un invariante topologico entero. Hemos demostrado que el numero de Chern de un sistema 4x4 con invariancia traslacional puede ser descompuesto como la suma de las fases de Berry de dos particiones de tipo pseudoespin. La prueba requiere que dichas particiones no se encuentren maximamente entrelazadas en ningun punto en espacio de momentos -lo que supone una gran restriccion a la hora de seleccionar las biparticiones. En general, esta restriccion implica motivar la eleccion de particiones en base a alguna simetria del problema. Ademas, y basandonos en este resultado y el expuesto en el punto anterior, podemos concluir que el numero de Chern de un sistema compuesto tambien puede ser medido mediante imagenes en tiempo de vuelo; exponemos este resultado con un ejemplo paradigmatico: una propuesta para medir modos de Majorana en un experimento con redes opticas completamente detallado. Hemos construido un modelo de enlace fuerte que incluye el efecto de potenciales Abelianos y no Abelianos sobre fermiones masivos. Las medidas realizadas unicamente en el grado de libertad de espin son suficientes para construir un indice topologico que cambia de valor al cruzar una transicion de fase provocada por el potencial no Abeliano, como se demuestra numericamente. Reafirmando la intuicion de la que nos dota el resultado expuesto en el punto anterior, la cantidad de informacion extraida a partir de estas medidas parciales depende criticamente de la ruptura de simetrias relevantes del problema. Hemos demostrado que la fidelidad local a un estado grafo puede ser medida en un modelo sencillo de bits cuanticos- en una red atomica bipartita. Lo que es mas importante, esta fidelidad contituye un testigo de entrelazamiento genuinamente multipartito que puede ser computado sobre regiones arbitrarias, haciendo uso unicamente de dos conjuntos de medidas simultaneas. Hemos incluido evidencia numerica de que este protocolo funciona aun en presencia de diferentes fuentes de ruido propias de experimentos con redes opticas. Aunque las medidas son en si destructivas, el metodo es util tanto como forma de certificar entrelazamiento entre muchas particulas como para calibrar un experimento que tenga el proposito de construir estados grafo de gran tamano.
Durante las últimas décadas se han logrado grandes avances en la manipulación desistemas físicos en la escala nano y subnanoscópica, donde la coherencia cuánticajuega un papel dominante. Algunos hitos registrados en los últimos años son lamanipulación óptica de partículas individuales en trampas de iones, la interaccióncontrolada de un solo electrón con fotones individuales en puntos cuánticos desilicio y la realización de bits cuánticos (qubits) con largos tiempos de coherencia en circuitos superconductores. Actualmente, la habilidad de diseñar la evolución de sistemas cuánticos con gran precisión está allanando el camino para una nueva revolución en las tecnologías cuánticas. En esta Tesis estudiamos desde el punto de vista teórico el problema de controlen sistemas cuánticos. Un aspecto central de este problema es que la presenciade disipación y decoherencia por lo general impide que el sistema sea manipuladoarbitrariamente. Cuando estos efectos no pueden ser eludidos, es esencial efectuarlos protocolos de control de la manera mas rápida posible. En este contexto,realizamos un estudio de los límites fundamentales que existen para la velocidadde evolución en sistemas cuánticos. Estos límites surgen de generalizaciones dela relación de incerteza entre tiempo y energía, que impone cotas inferiores a lostiempos de evolución. Estudiando el escenario general de un problema de control,donde los operadores Hamiltonianos dependen explícitamente del tiempo,mostramos que en general estas relaciones no proveen información útil que permitaacotar tiempos mínimos en estos problemas. A la luz de estos resultados,proponemos nuevos métodos que efectivamente pueden ser aplicados a cualquiersistema cuántico controlado y que permiten estimar cotas para dichos tiempos. Un ingrediente esencial de las aplicaciones modernas de la teoría de control son los métodos de optimización. En esta Tesis estudiamos e implementamos numéricamentemétodos de control óptimo para sistemas cuánticos en diversos modelos de interés. En particular, utilizamos dichas herramientas para buscar los tiempos mínimosde evolución en sistemas cuánticos que presentan múltiples cruces evitados en suespectro de energías. Para este tipo de modelos, en primer lugar proponemosy caracterizamos un método general para realizar tareas de control, que generaevoluciones con velocidad óptima en cada cruce. Luego, usando métodos de optimización mostramos que el tiempo de evolución puede disminuirse a medida que elnúmero de niveles del sistema aumenta. Finalmente, a partir de estudiar el efectode campos periódicos en estos sistemas, logramos identificar los mecanismos físicosque generan este fenómeno y proponer una solución analítica para el campo decontrol. Adicionalmente, estudiamos la relación entre la controlabilidad de un sistemacuántico y su complejidad. Usando control óptimo, obtuvimos los campos necesariospara generar distintos procesos en una cadena de spines y estudiamos sistemáticamente las propiedades de dichos campos como función de distintos aspectos que hacen a la complejidad del sistema. Encontramos que el ancho debanda de los campos es, por lo general, independiente de la dimensión del sistema. Asimismo, la complejidad del espectro de Fourier del campo efectivamenteaumenta a medida que se incrementa el número de excitaciones en el sistema. Sinembargo, también concluimos que la naturaleza regular o caótica del sistema noafecta significativamente su controlabilidad. Finalmente, estudiamos sistemas cuánticos abiertos en presencia de campos externos. En ese contexto, actualmente se debate si los entornos no Markovianospueden ser usados como un recurso para mejorar la controlabilidad de dichos sistemas. Una de las características más atractivas de estos sistemas es que describenescenarios en los que la pérdida de información y de coherencia son reversibles y,por lo tanto, es posible ujo temporario de información desde el entorno hacia elsistema. Estudiamos la relación entre el grado de no-Markovianidad y la acciónde campos de control dependientes del tiempo en un sistema de dos niveles interactuando con un entorno estructurado a baja temperatura. Para este sistema,hallamos que aplicando campos periódicos sobre el sistema es posible aumentarconsiderablemente el grado de no-Markovianidad con respecto al caso estático. Asimismo exploramos la relación entre los efectos no Markovianos y el control, yargumentamos que dichos efectos no pueden considerarse como un recurso pararealizar protocolos de control.
El descubrimiento de la materia topologica ha revolucionado el campo de la fisica de la materia condensada, dando lugar a muchos fenomenos interesantes y fomentando el desarrollo de nuevas tecnologias cuanticas. En esta tesis estudiamos la dinamica cuantica que tiene lugar en sistemas topologicos de baja dimension, concretamente en redes 1D y 2D que son aislantes topologicos. Primero estudiamos la dinamica de dublones, estados ligados de dos fermiones que aparecen en sistemas con interacciones fuertes de tipo Hubbard. Tambien incluimos el efecto de modulaciones periodicas en el sistema e investigamos los fenomenos que produce la accion conjunta de estas modulaciones y la interaccion entre particulas. Entre ellos, cabe destacar la desaparicion de estados de borde topologicos en el modelo SSH-Hubbard, el confinamiento de dublones en una unica subred en determinadas redes 2D, y la transferencia de largo alcance de dublones entre los bordes de cualquier red finita. Despues, aplicamos nuestros conocimientos sobre aislantes topologicos a un sistema bastante distinto: emisores cuanticos acoplados a un analogo fotonico del modelo SSH. En este sistema calculamos la dinamica de los emisores, considerando el modelo SSH fotonico como un bano estructurado colectivo. Encontramos que la naturaleza topologica del bano se refleja en los estados ligados fotonicos y en las interacciones dipolares efectivas entre los emisores. Ademas, la topologia del bano afecta a las propiedades de scattering de un foton. Finalmente echamos un breve vistazo a la posibilidad de usar este tipo de sistemas para la simulacion de Hamiltonianos de spin y discutimos los distintos estados fundamentales que el sistema soporta.
Esta tesis, titulada Órdenes topológicos en espines y fermiones: fases cuánticas y computación, pretende resaltar la importancia que las fases topológicas de la materia han adquirido en los últimos años y resumir los resultados que hemos obtenido en este campo. La motivación que nos lleva a aplicar la topología para estudiar este tipo de orden dela materia es la siguiente: La topología examina las propiedades de un sistema invariantes bajo deformaciones continuas. Las propiedades topológicas se caracterizan por dos rasgos fundamentales: globalidad y robustez. Globalidad, puesto que involucran el sistema holísticamente. Robustez, puesto que la mayoría de perturbaciones físicas posibles en cualquier fase de la materia son continuas y por consiguiente, las propiedades topológicas se preservan frente a las mismas...