La hipótesis de termalización de autoestados (ETH, por sus siglas en inglés) es una teoría clave para comprender cómo los sistemas cuánticos aislados alcanzan el equilibrio termodinámico. Constituye el núcleo teórico de este trabajo, que se estructura en una parte teórica y una parte de experimentos numéricos realizados en un sistema físico. En la primera parte, se analizan las dificultades a las que se enfrenta la física estadística a la hora de definir la ergodicidad, la termalización o el caos en sistemas cuánticos, conceptos fáciles de definir mediante la mecánica clásica. Se introduce la teoría de matrices aleatorias, el teorema ergódico cuántico y la ETH, que se aplican a este tipo de sistemas. Las hipótesis de la ETH, sin embargo, no son compatibles con el fenómeno de la ruptura de simetría, por lo cual se trabajaría con una generalización adecuada para estudiar este fenómeno. La ruptura de simetría, que es un caso especial de degeneración, nos lleva a estudiar las transiciones de fase cuánticas, un fenómeno que ocurre exclusivamente en presencia de comportamiento cuántico. La segunda parte del trabajo trata la aplicación directa de estos conceptos y teorías al modelo de Bose-Hubbard de dos pozos con condiciones de contorno periódicas, que tiene una simetría discreta de reflexión. Se estudia el espectro del hamiltoniano y la evolución temporal de un estado inicial con simetría rota, mediante un parámetro de orden. Se comprueba que en este sistema ocurre una ruptura espontánea de simetría, que lleva al incumplimiento de la ETH generalizada. Esta ruptura de simetría es causa de una transición de fase cuántica, de la que se ha determinado el punto crítico.
La hipótesis de termalización de autoestados (ETH, por sus siglas en inglés) es una teoría clave para comprender cómo los sistemas cuánticos aislados alcanzan el equilibrio termodinámico. Constituye el núcleo teórico de este trabajo, que se estructura en una parte teórica y una parte de experimentos numéricos realizados en un sistema físico. En la primera parte, se analizan las dificultades a las que se enfrenta la física estadística a la hora de definir la ergodicidad, la termalización o el caos en sistemas cuánticos, conceptos fáciles de definir mediante la mecánica clásica. Se introduce la teoría de matrices aleatorias, el teorema ergódico cuántico y la ETH, que se aplican a este tipo de sistemas. Las hipótesis de la ETH, sin embargo, no son compatibles con el fenómeno de la ruptura de simetría, por lo cual se trabajaría con una generalización adecuada para estudiar este fenómeno. La ruptura de simetría, que es un caso especial de degeneración, nos lleva a estudiar las transiciones de fase cuánticas, un fenómeno que ocurre exclusivamente en presencia de comportamiento cuántico. La segunda parte del trabajo trata la aplicación directa de estos conceptos y teorías al modelo de Bose-Hubbard de dos pozos con condiciones de contorno periódicas, que tiene una simetría discreta de reflexión. Se estudia el espectro del hamiltoniano y la evolución temporal de un estado inicial con simetría rota, mediante un parámetro de orden. Se comprueba que en este sistema ocurre una ruptura espontánea de simetría, que lleva al incumplimiento de la ETH generalizada. Esta ruptura de simetría es causa de una transición de fase cuántica, de la que se ha determinado el punto crítico.
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 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.
La teoria de informacion cuantica se basa en la idea de que los sistemas cuanticos pueden ser usados como ?transportadores? de informacion. Por tanto, para ser usados de este modo, se necesitan usar las leyes de la Mecanica Cuantica que describe el comportamiento de los sistemas fisicos en la escala atomica. Este comportamiento incrementa las posibilidades de procesamiento de la informacion y tareas de comunicacionPara poder usar los sistemas cuanticos para transportar informacion se necesita codificar, almacenar, procesar y extraer la informacion en estos sistemas y, en muchas situaciones, se necesitara trabajar con muchos sistemas cuanticos. Durante los ultimos 30 anos se ha producido un gran avance en la captura y control de los sistemas cuanticos de muchos cuerpos. Sin embargo, entender totalmente las fases de la materia y sus propiedades es todavia un reto para la comunidad fisica. Las propiedades de las diferentes fases de la materia dependen del modo en el que los atomos estan organizados u ordenados en los materiales. Asi, diferentes simetrias en la organizacion de un material dan lugar a diferentes fases y, por tanto, diferentes propiedades del material. En esta tesis estudiamos las restricciones que las simetrias imponen en la estructura de los estados entrelazados de muchos cuerpos. Ademas, damos aplicaciones en la teoria del entrelazamiento, en criptografia cuantica y en fisica de la materia condensada. Uno de los objetivos es estudiar los sistemas multipartitos con simetria permutacional. Estudiamos el entrelazamiento geometrico en este tipo de estados, conectando con algunos resultados clasicos de la teoria de espacios de Banach. Motivados por la necesidad criptografica de protocolos con anonimicidad perfecta, demostramos la existencia de un estado maximamente entrelazado en este contexto, y las implicaciones que esto tiene. En particular, recuperamos como corolarios algunos resultados recientes de clonacion secuencial.Posteriormente damos una caracterizacion en los tensores locales de la existencia de una simetria global en los Projected Entangled Pair States (PEPS). Esta caracterizacion nos permite relacionar algunas de las propiedades indicadoras de orden topologico y dar una version del teorema Lieb-Schultz-Mattis para PEPS entre otros.El siguiente problema de la tesis estudia la entropia de entrelazamiento genericas de los estados fundamentales de hamiltonianos locales con simetria de translacion en 1D. En particular probamos que con alta probabilidad, la matriz de densidad reducida de estos estados tiene maxima entropia. Para obtener este resultado, mejoramos las cotas previas de la funcion de Weingarten en la teoria de matrices aleatorias.Por otra parte, damos una relacion de incertidumbre cuantica con las siguientes propiedades: usa la entropia ?min? como medida de incertidumbre, garantiza incertidumbre en todas menos una de las posibles mediciones y se puede aplicar a conjuntos de mediciones generales. Como aplicacion damos un protocolo de identificacion cuantico y analizamos su seguridad.
En esta tesis se estudia la dinámica de no equilibrio de sistemas cuánticos aislados de muchos cuerpos. El protocolo de no equilibrio estudiado es el de un quench cuántico, es decir, una perturbación abrupta al sistema que se produce al variar instantáneamente uno de los parámetros del Hamiltoniano. Estamos particularmente interesados en las escalas de tiempo y en los mecanismos de relajación de los sistemas cuánticos aislados. Para atacar este problema utilizamos una variedad de técnicas analíticas para indagar diversos modelos. En el Capítulo 2 utilizamos la bosonización en una dimensión para estudiar la relajación por dephasing (el mecanismo que domina a tiempos cortos) en un sistema de fermiones unidimensionales con interacciones de corto y largo alcance. En el Capítulo 3 investigamos la formación de estados metaestables de tiempos cortos (estados pretermalizados) como fruto de la evolución por dephasing en un sistema de fermiones en dos dimensiones usando bosonización multidimensional. En el Capítulo 4 deducimos ecuaciones de movimiento para funciones de correlación de pocos puntos en sistemas débilmente interactuantes utilizando el formalismo del operador proyección. En el Capítulo 5 utilizamos estas ecuaciones para analizar la dinámica de tiempos largos de un sistema unidimensional de fermiones cerca del punto integrable X X Z . En este Capítulo también estudiamos la dinámica de un sistema unidimensional de bosones usando la aproximación truncada de Wigner (TWA por sus siglas en inglés), una aproximación válida en el límite semiclásico. Los hallazgos de nuestro trabajo pueden enunciarse de manera suscinta: cuando los canales de relajación del sistema son escasos y para energías lo suficientemente bajas emergen estados metaestables entre el estado inicial y el estado final de la evolución. Éstos pueden tener vidas medias muy grandes y obturar completamente la observación del equilibrio térmico en simulaciones numéricas o en experimentos. Los estados metaestables surgen como resultado del dephasing entre ciertos modos cuasilibres del sistema. Además, tales estados estacionarios admiten una descripción estadística en términos de un ensamble de Gibbs generalizado que toma en cuenta todas las cantidades conservadas del modelo efectivo de tiempos cortos. A tiempos mayores las colisiones inelásticas llevan al equilibrio térmico final. En el Capítulo 6 se detallan las conclusiones de nuestro trabajo y diversas perspectivas abiertas.
Resumen.En estas notas se exponen con detalle y de manera autocontenida las herramientas básicas de la teoría de los espacios de Hilbert complejos de dimensión infinita, que son necesarias para un primer estudio, matemáticamente riguroso, de la mecánica cuántica.En la última parte incluimos una introducción axiomática a la mecánica cuántica y una breve exposición del modelo del oscilador armónico y de la teoría de estados cuánticos Gaussianos. IntroducciónLa mecánica cuántica es la rama de la física que estudia los fenómenos físicos que ocurren en escalas de longitudes muy pequeñas.El calificativo "cuántico" surge de, en contraste con la mecánica clásica, considerar algunas cantidades que toman solamente valores discretos i.e., en "paquetes" o quantum-quanta en latín.Aún cuando hay muchas nociones de la mecánica cuántica que aún suscitan controversia, esta teoría se aplica exitosamente para describir el comportamiento de sistema físicos y sus predicciones son consistentes con los experimentos.Los sistemas físicos que estudia la mecánica cuántica, exhiben propiedades ondulatorias que se pueden describir mediante una ecuación de onda, por ejemplo, la bien conocida "ecuación de Schrödinger", que describe la evolución temporal de una partícula subatómica con masa, en el contexto no relativista.En estas notas trabajamos con el formalismo de matrices de densidad, que permite describir estados que son mezclas de estados puros.En consecuencia, este enfoque resulta ser una herramienta poderosa para describir sistemas cuánticos más generales, por ejemplo, acoplamientos (ensambles) de muchos sistemas cuánticos idénticos.El material que se presenta en este trabajo está dividido en cuatro secciones compuestas de la siguiente manera: la sección 1 contiene una selección de resultados de índole geométrico y analítico de la teoría de espacios de Hilbert: ortogonalidad y descomposición ortogonal, convexidad, operadores lineales, norma de operadores y funcionales lineales.La sección 2 se concentra en la clase de los operadores compactos, particularmente en los operadores de la clase de traza y de manera especial, en los operadores de Hilbert-Schmidt.Es relevante mencionar que los estados cuánticos se representan mediante operadores positivos de traza uno.La sección 3 se dedica al estudio de operadores no acotados que pueden no estar densamente definidos en un espacio de Hilbert.Abordamos también el estudio de operadores cerrados y cerrables, el adjunto de un operador y una introducción a la teoría espectral de operadores.Una parte esencial de esta sección son los operadores simétricos e isométricos, los cuales exhiben similitudes en sus propiedades geométricas y espectrales.Cabe señalar que las observables físicas se representan por operadores simétricos típicamente no acotados.Por último, en la sección 4 se discuten brevemente postulados de la mecánica cuántica en el marco del formalismo de matrices de densidad, se revisa el modelo del oscilador armónico cuántico y se ofrece una introducción a los estados cuánticos Gaussianos.Al final de cada sección incluimos una selección de problemas que sirven para complementar estas notas.El lector interesado puede profundizar en el estudio de resultados aquí expuestos, desde los más básicos hasta los más avanzados, en la literatura clásica de operadores lineales, por ejemplo en [1,2,3,4,13,20].
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.