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.
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.
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.
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.
El tema central de la tesis doctoral es el análisis de los sistemas cuánticos abiertos. Estos sistemas se caracterizan por estar sometidos a la interacción con el entorno, lo que provoca que su evolución deje de ser unitaria. Es por tanto necesario considerar modelos más allá de la ecuación de Schrödinger. Los sistemas cuánticos abiertos aparecen en numerosos campos, como la Física del Estado Sólido y la Dinámica Molecular. Por este motivo, un análisis detallado de sus propiedades y su dinámica es un tema digno de estudio con un gran abanico de aplicaciones. El enfoque elegido en esta tesis es el desarrollo de un formalismo geométrico que describa de forma adecuada las características de los sistemas cuánticos abiertos. La geometría diferencial ha demostrado ser una herramienta muy útil en el análisis de sistemas físicos. Desde mediados del siglo XX, se ha desarrollado con gran éxito una descripción geométrica de la Mecánica Clásica, principalmente en torno a las mecánicas lagrangiana y hamiltoniana. Por este motivo, resulta natural describir también los sistemas cuánticos en términos geométricos. Las ventajas de un formalismo geométrico resultan claras. Cuando tanto los sistemas clásicos como los cuánticos se describen en los mismos términos, es sencillo describir situaciones en las que existan interacciones clásico-cuánticas. Éste es el caso, por ejemplo, de muchos modelos de Dinámica Molecular, en los que los núcleos y los electrones son considerados respectivamente como partículas clásicas y cuánticas. Por otra parte, un formalismo geométrico de la Mecánica Cuántica posibilita un mejor entendimiento de las diferencias intrínsecas entre las teorías clásicas y las cuánticas. Dada su relevancia a lo largo de la tesis, el Capítulo 1 está enfocado al resumen y el análisis de la descripción geométrica de la imagen de Schrödinger de la Mecánica Cuántica. En formulación usual (algebraica), esta imagen se basa en la representación de los estados de los sistemas cuánticos mediante vectores en un espacio de Hilbert complejo. La transición a una formulación basada en geometría diferencial es inmediata para sistemas finito-dimensionales, dado que los espacios lineales de dimensión finita son casos triviales de variedades diferenciables. Las estructuras adicionales, en concreto el producto hermítico propio de los espacios de Hilbert y los escalares complejos, se describen mediante campos tensoriales en dichas variedades diferenciables, formando lo que se conoce como una estructura Kähler. Todos los ingredientes necesarios para el análisis de sistemas cuánticos pueden describirse en estas variedades de Kähler. Los observables se representan mediante funciones diferenciables, mientras que la dinámica se describe mediante curvas integrales de campos vectoriales hamiltonianos respecto a la forma simpléctica de la estructura Kähler. Esta caracterización puede llevarse a cabo en el espacio de Hilbert asociado a cualquier sistema cuántico finito-dimensional. Además, es posible analizar las propiedades geométricas del espacio proyectivo de Hilbert, el cual constituye el conjunto de estados puros del sistema. Su estructura Kähler puede ser deducida mediante un proceso de reducción de la estructura previamente obtenida en el espacio de Hilbert. Como aspecto novedoso, la tesis presenta en detalle este proceso de reducción, dotándolo de una descripción matemática adecuada. Todas las características de la imagen de Schrödinger pueden describirse de forma geométrica, lo que permite utilizar nuevas herramientas en el análisis de los sistemas cuánticos. Éste es precisamente el tema principal del Capítulo 2, en el cual se utilizan los sistemas de Lie-Kähler para resolver la ecuación de Schrödinger dependiente del tiempo. En geometría diferencial, un sistema de Lie es un sistema no homogéneo de ecuaciones diferenciales que admite una regla de superposición. En general, la obtención de esta regla de superposición es una ardua tarea, la cual puede aligerarse en presencia de estructuras adicionales que sean preservadas por la acción del sistema de Lie. De esta forma, según la estructura preservada, es posible hablar de sistemas de Lie-Hamilton, Lie-Dirac, etc. En el caso de la Mecánica Cuántica, una ecuación de Schrödinger dependiente del tiempo es un sistema de Lie que preserva la estructura de Kähler previamente descrita. Es por tanto un nuevo tipo de sistema de Lie, al que resulta natural denominar de Lie-Kähler. El Capítulo 2 presenta las propiedades de estos nuevos sistemas y describe un método riguroso para la obtención de sus reglas de superposición. El formalismo geométrico puede extenderse más allá de la imagen de Schrödinger, lo que resulta necesario en el contexto de los sistemas cuánticos abiertos, dado que tanto estados puros como estados mezcla son necesarios para su descripción. Por este motivo, el Capítulo 3 resume la imagen de Heisenberg de la Mecánica Cuántica y su representación de los estados puros y mezcla como funcionales lineales en el álgebra de Lie-Jordan de observables. Se explica también como las estructuras algebraicas de los observables pueden representarse geométricamente en el espacio dual de funcionales lineales en el álgebra. Este es el punto de partida de una de las principales contribuciones de la tesis. Un proceso de reducción, similar al realizado en el análisis de la imagen de Schrödinger, permite describir las propiedades geométricas de la variedad de estados puros y mezcla del sistema. De esta forma, se obtienen dos campos tensoriales en la variedad de estados, los cuales representan correctamente las estructuras algebraicas de los observables. Puede por tanto concluirse que el formalismo geométrico presentado en la tesis es completamente equivalente a la descripción algebraica tradicional, ya que se logra describir adecuadamente todas las propiedades de los sistemas cuánticos. Además, el formalismo geométrico ofrece una visión más clara de las propiedades intrínsecas de la Mecánica Cuántica, lo que facilita una mejor comprensión de la teoría. Por otra parte, un análisis geométrico de la variedad de estados permite estudiar su estratificación y sus propiedades. La tesis demuestra que se trata de una variedad con borde, cuyos puntos extremales son precisamente los estados puros del sistema. La estratificación de esta variedad resulta importante a la hora de considerar la dinámica inducida por campos gradiente y hamiltonianos. Con el objetivo de ilustrar todas estas propiedades, se analizan unos casos sencillos pero con relevancia física. A lo largo de la tesis, se muestran diversas aplicaciones del formalismo geométrico al análisis de sistemas cuánticos abiertos. El Capítulo 4 presenta la descripción de la evolución markoviana de sistemas cuánticos abiertos. Se dice que una evolución es markoviana si depende únicamente en el estado actual del sistema y no de los estados en instantes anteriores, es decir, si el sistema "no tiene memoria". En Mecánica Cuántica, la evolución markoviana se obtiene a partir de la ecuación de Kossakowski-Lindblad, una ecuación diferencial de primer orden en la variedad de estados puros y mezcla de un sistema cuántico abierto. El formalismo geométrico describe esta ecuación como un campo tensorial en esta variedad, lo que permite analizar las propiedades de sus curvas integrales. De esta manera, es posible considerar diversos aspectos de la evolución markoviana desde un punto de vista geométrico. Cualquier evolución no-unitaria determina un cambio en las propiedades algebraicas de los observables cuánticos, lo que puede resultar en una contracción del álgebra. En términos geométricos, esta contracción puede entenderse mediante el límite de una familia de campos tensoriales definida por el flujo del campo tensorial de Kossakowski-Lindblad. Otra característica importante de esta evolución es la existencia de variedades límite. Sus propiedades pueden determinarse gracias a la estructura afín existente, lo que a su vez permite investigar su relación con las contracciones de álgebras de observables. Por último, se ofrece una descripción geométrica de los problemas de control de sistemas cuánticos abiertos. Un análisis geométrico de la Mecánica Cuántica permite aplicar a estos problemas los resultados de la teoría de control de grupos de Lie. Como consecuencia, es posible realizar una clasificación de los sistemas cuánticos abiertos según sus propiedades de controlabilidad. Otro ejemplo de sistemas cuánticos abiertos aparece en el contexto de la Dinámica Molecular. En el estudio de sistemas moleculares, debido al gran número de partículas presentes, la ecuación de Schrödinger no puede ser resuelta ni siquiera por métodos numéricos. Por tanto, resulta útil considerar aproximaciones a la ecuación de Schrödinger. En particular, existen muchos modelos que consideran un comportamiento clásico de algunas de las partículas, normalmente los núcleos. El Capítulo 5 resume las propiedades estos modelos moleculares, y en particular del conocido como modelo de Ehrenfest. Es posible llevar a cabo una descripción geométrica de este modelo, basándose en las descripciones de los subsistemas clásico y cuántico. Como resultado, las ecuaciones del modelo pueden escribirse como ecuaciones hamiltonianas en una variedad de Poisson. A partir de estas propiedades, la tesis presenta una generalización del modelo de Ehrenfest a distribuciones estadísticas. Este es un paso importante, ya que se demuestra que esta descripción estadística predice la aparición de efectos relacionados con el fenómeno de decoherencia, algo que no ocurre en el modelo de Ehrenfest estándar. Se han realizado simulaciones numéricas, cuyos resultados respaldan la descripción de sistemas moleculares mediante el modelo estadístico de Ehrenfest. Por último, en este contexto resulta posible considerar distribuciones estadísticas con temperatura. La tesis presenta estas dist
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.
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.
En esta tesis se presentan trabajos encaminados a resolver el problema del ruido en los sistemas cuanticos. En el ambito de la informacion cuantica, se estudia de forma sistematica una familia de protocolos de destilacion cuantica para qudits. En lo tocante a la correccion cuantica de errores, se introducen nuevos codigos de caracter topologico y tecnicas especificas para su manipulacion. Finalmente, se exploran nuevas formas de orden topologico y nuevos mecanismos para explotarlo de cara a realizar computaciones cuanticas. De los estudios presentados en esta tesis se desprende claramente que el estudio de las propiedades topologicas en informacion y computacion cuanticas, asi como en sistemas fuertemente correlacionados en materia condensada, es un tema de investigacion con numerosas preguntas abiertas que en la actualidad son objeto de intensa actividad investigadora.