El autor concibe esta tesis como una exploración introductoria a la utilización de la interpretación semiclásica para la diagonalización de los sistemas cuánticos. Más allá de su objetivo principal de mejorar la diagonalización numérica, este proyecto es también un resultado en el campo de la correspondencia cuántica a clásica. Además, sienta las bases para explorar diversos fenómenos físicos desde esta perspectiva. Estos incluyen, entre otros, la multifractalidad de la tecnología cuántica, estados propios en espacios de parámetros, medidas de localización cuántica e incluso teorías relacionadas con recursos cuánticos.
El autor concibe esta tesis como una exploración introductoria a la utilización de la interpretación semiclásica para la diagonalización de los sistemas cuánticos. Más allá de su objetivo principal de mejorar la diagonalización numérica, este proyecto es también un resultado en el campo de la correspondencia cuántica a clásica. Además, sienta las bases para explorar diversos fenómenos físicos desde esta perspectiva. Estos incluyen, entre otros, la multifractalidad de la tecnología cuántica, estados propios en espacios de parámetros, medidas de localización cuántica e incluso teorías relacionadas con recursos cuánticos.
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
espanolLos sistemas cuanticos de muchos cuerpos ofrecen numerosos retos para diversos campos de la fisica y las matematicas, como la materia condensada, la teoria de la informacion cuantica, la teoria de operadores o el analisis numerico. Algunos de estos problemas surgen de la gran complejidad de estos sistemas, que dificulta su estudio mediante metodos clasicos, asi como del interes de la comunidad cientifica por comprender sus propiedades fisicas, tales como la dinamica, estructura de correlaciones o comportamiento tanto dentro como fuera del equilibrio. Entre las propiedades mas interesantes de estos sistemas se encuentra el entrelazamiento, un cierto tipo de correlacion cuantica que carece de analogo en sistemas clasicos y que se ha establecido como un recurso imprescindible en los campos de la informacion y computacion cuantica. La presente tesis doctoral profundiza en el estudio de correlaciones, localidad y entrelazamiento en sistemas cuanticos. En particular, se enfoca en herramientas matematicas como redes de tensores, cotas de Lieb Robinson y algoritmos cuanticos, para obtener resultados originales, tanto analiticos como numericos, de aplicacion directa en teoria de la informacion cuantica, materia condensada y metrologia cuantica. Los sistemas cuanticos que estudiamos consisten en conjuntos de particulas que interaccionan localmente unas con otras. La localidad de estos sistemas permite establecer una cota superior finita a la velocidad de propagacion de las excitaciones, tambien conocida como cota de Lieb Robinson. En esta tesis, demostramos que existen cotas de Lieb Robinson para modelos de espines que interaccionan en una red mediante un campo bosonico que tambien verifica una cota de Lieb Robinson en ausencia de acoplamiento espin boson. Aplicando estas cotas a sistemas de iones atrapados, observamos que la propagacion de las correlaciones de espin mediante los fonones de un cristal ionico puede ser mas rapida que el regimen explorado actualmente en los experimentos. Por este motivo, proponemos un esquema experimental para probar las cotas que consiste en medir las funciones de correlacion retardadas a traves de la fluorescencia del cristal. La localidad de las interacciones tambien impone restricciones sobre la estructura del entrelazamiento de los sistemas cuanticos y permite encontrar representaciones matematicas eficientes denominadas redes de tensores. Las redes de tensores son conjuntos de tensores interconectados que reflejan la estructura de entrelazamiento del sistema, reducen la complejidad de su representacion y capturan las propiedades fisicas mas relevantes de los estados cuanticos en los que estamos interesados. En esta tesis, utilizamos el caso unidimensional de las redes de tensores, tambien conocido como estados producto de matriz (MPS), para probar resultados analiticos y realizar simulaciones numericas. Mas especificamente, demostramos que una gran fraccionalizacion en la magnetizacion de una cadena de espines o la existencia de interacciones de largo alcance implican una gran cantidad de entrelazamiento en el estado de la cadena. Las correlaciones y el entrelazamiento se han revelado como recursos de gran utilidad en metrologia cuantica, estableciendo nuevas tecnicas de medida que mejoran la precision respecto a los metodos exclusivamente clasicos. En esta tesis, establecemos algoritmos cuanticos para medir las correlaciones temporales que se acumulan en un sistema cuantico tras su interaccion con pulsos de luz laser. A partir de esta nocion, introducimos el concepto de interferometria cuantica multipulso en el que un atomo o conjunto de atomos pueden actuar como un detector que mide de forma precisa diferencias entre pulsos de luz laser o propiedades de los pulsos. Por ultimo, aplicamos este concepto para caracterizar y estabilizar un peine de frecuencias con una mejora polinomial en la sensibilidad respecto a protocolos clasicos. EnglishThe study of quantum many-body systems poses a wide range of complex problemsin dierent areas of physics and mathematics, such as condensed matter,quantum information theory, operator theory or numerical analysis. Some ofthese problems arise due to the high complexity of these systems, which makestheir study unfeasible using classical approaches, as well as from the ever-growinginterest in understanding their dynamics, physical properties and behaviour bothin and out of equilibrium. Among the most interesting properties of these systemslies entanglement, a certain type of quantum correlation which is not present inclassical systems and which has proven to be essential for quantum computationand quantum information.This dissertation deals with the study of correlations, locality and entanglementin quantum systems. It relies on mathematical tools such as tensor networkrepresentations, Lieb-Robinson bounds and quantum algorithms in order to obtainoriginal results, both analytical and numerical, with practical applicationsto quantum information theory, condensed matter and quantum metrology...
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].
El objetivo de este trabajo es realizar un estudio sobre las transiciones de fase cuánticas que se presentan en el modelo de Rabi, un modelo de interacción radiación-materia entre un átomo de dos niveles y un campo bosónico. Presentaremos y analizaremos su hamiltoniano para, a partir del mismo, caracterizar las transiciones de fase cuánticas que afectan tanto al estado fundamental como a los estados excitados del sistema. Primero analizaremos la transición en el estado fundamental, realizando el estudio cuántico mediante cálculos numéricos y luego haciendo un estudio analítico dentro de una aproximación semiclásica. Ello nos permitirá comparar los resultados y comprobar la validez de esta aproximación. Después, analizaremos la transición en los estados excitados, comparando de nuevo el estudio analítico con los cálculos numéricos, exactos. Veremos que la transición de fase en el estado fundamental se debe al cambio del potencial que observa el sistema, causando la rotura de la simetría de dicho estado. Por otro lado, comprobaremos que la transición en los estados excitados solo puede ocurrir cuando ya se ha dado la transición en el estado fundamental, y veremos que se caracteriza por la degeneración en niveles de energía inferiores a cierto valor crítico. En todos los casos, comprobaremos que los cálculos semiclásicos y los exactos coinciden cuando el cociente entre las energías que caracterizan al átomo y al campo bosónico tiene un valor grande comparado con 1. Para conseguirlo, hemos desarrollado desde cero diversos códigos MATLAB con el objetivo de poder realizar los cálculos necesarios para caracterizar las transiciones. En concreto, para estudiar la transición de fase en el estado fundamental, hemos desarrollado un código que permite obtener la energía del estado fundamental del sistema y otro que permite calcular, para dicho estado, el valor esperado del número de fotones y de σz, observables que se discutirán en el texto. También hemos creado un código que muestra la forma del potencial que afecta al sistema en su estado fundamental. Del mismo modo, al estudiar la transición en los estados excitados, hemos creado un código que obtiene todos los niveles de energía del sistema, con el objetivo de calcular numéricamente la densidad de estados. Otro código permite comparar este cálculo con la expresión analítica que obtendremos de la densidad de estados, y otro último calcula el valor de σz en todos los estados del sistema. Por último, dos códigos nos permitirán crear imágenes que sirvan para ilustrar lo que sucede en las transiciones; el primero de ellos representa la forma del potencial que afecta al sistema en diversas situaciones; el segundo estudia la variación de los diez primeros niveles energéticos del sistema. Todo esto se desarrolla en el trabajo. Los códigos pueden consultarse en el apéndice.
Esta tesis doctoral trata de diversos aspectos de la teoría cuántica (TC), que abarcan desde el campo de los fundamentos de la disciplina (en particular, la búsqueda de un conjunto de principios que seleccionen y distingan a la TC en el panorama de las teorías probabilísticas generales) hasta el reino de las aplicaciones en información y computación cuánticas. \nTodos los problemas que hemos abordado en nuestra investigación tienen un rasgo distintivo común: la teoría de grafos parece ser especialmente adecuada para describirlos y tratarlos. Y no sólo eso: el lenguaje y las herramientas de la teoría de grafos proporcionan una poderosa y nueva percepción que permite arrojar luz sobre tales problemas, y representan además un importante impulso para futuros desarrollos. \nPrecisamente, uno de los problemas que tuvimos que plantearnos en esta tesis, desde el primer momento, fue decidir su título. El alcance de la tesis era demasiado amplio como para poderlo comprimir en un título que fuese significativo, preciso y relativamente corto, y esto explica nuestra elección final: Quantum correlations and graphs, es decir,Correlaciones cuánticas y grafos, una declaración intencionadamente de amplio espectro y algo vaga con la que intentamos capturar los principales aspectos de nuestra investigación, quizá sin éxito. \nEn lo que concierne a la alusión a los grafos en el título, la principal razón para nuestra concisión es la siguiente: la tesis está dividida en dos partes en las que los grafos constituyen la herramienta matemática ubicua y versátil sobre la cual hemos basado toda nuestra investigación. Sin embargo, hemos de hacer notar que los grafos significan cosas muy distintas y juegan papeles bien diferentes en cada parte de la tesis. En la Parte I, que está dedicada a los grafos de exclusividad de desigualdades no contextuales (NC), los grafos dan cuenta de experimentos en los cuales algunas medidas se llevan a cabo sobre ciertos estados: los vértices de uno de tales grafos representan eventos, en tanto que las aristas describen relaciones de exclusividad mutua entre eventos, y sobre la base de dichos grafos nosotros construimos desigualdades NC y calculamos sus valores límite a partir de algunos números combinatorios propios de los grafos. En la Parte II, que está dedicada específicamente a los denominados estados grafo, los grafos por el contrario representan estados cuánticos entrelazados de muchos qubits. El grafo no sólo proporciona una ayuda para escribir el generador del estado grafo, sino que también sirve por así decir como una plantilla o guía para su preparación: los vértices representan qubits, y las aristas describen subsiguientes operaciones de entrelazamiento cada una de la cuales involucra a dos qubits. Todo esto prueba cuán fructífera y versátil llega a ser la teoría de grafos cuando se aplica a algunos problemas fundamentales en TC, lo que constituye una de la principales ideas que alientan la tesis. \nEntre estas dos partes de la tesis, en apariencia desligadas, hay no obstante una profunda conexión, que se explica con detalle al final de la tesis. En pocas palabras: hay una construcción que partiendo de cualquier grafo conexo de tres o más vértices que describe a un estado grafo lleva a un grafo de mayor orden y tamaño, siendo ´este último un grafo de exclusividad cuyos vértices representan todos los posibles eventos consistentes con el grupo estabilizador del estado grafo original, y cuyas aristas conectan eventos mutuamente excluyentes. Tal procedimiento transcribe en términos de teoría de grafos la conexión existente entre un estado grafo y una desigualdad de Bell violada máximamente por la TC. \nOtro comentario importante tiene que ver con correlaciones cuánticas, el otro elemento que aparece con concisión en el título: proporcionamos una definición general de correlaciones cuánticas en la Sec. 1.2.4, a la que referimos al lector para más detalle. Nosotros seleccionamos dos tipos de correlaciones cuánticas: correlaciones cuánticas proyectivas, y correlaciones cuánticas tipo Bell. Debemos enfatizar el hecho de que en la primera parte de esta tesis, a menos que se diga expresamente lo contrario, por correlaciones cuánticas se entenderá que se trata de correlaciones cuánticas proyectivas, es decir, correlaciones entre los resultados demedidas conjuntas de observables cuánticos proyectivos. Las razones para esta elección se aportan en la p. 46. Por otro lado, nuestro principal interés en la segunda parte de la tesis es la clasificación y preparación óptima de estados grafo. En este caso, las correlaciones cuánticas (en particular, correlaciones cuánticas tipo Bell) aparecen implícitamente al discutir la conexión existente entre los grafos de exclusividad, los estados grafo y una clase de desigualdades de Bell violada máximamente por los estados grafo. \nCon todas estas consideraciones en mente, pasamos a continuación a hacer una descripción resumida de nuestro trabajo de investigación. La tesis que presentamos, como ha quedado dicho, está estructurada en dos partes: \n1. La Parte I se titulaGrafos de exclusividad de desigualdades no contextuales, y está organizada en cuatro capítulos: \n• Capítulo 1:Aproximación a las correlaciones cuánticas mediante teoría de grafos. Éste es un capítulo introductorio, cuyo principal propósito es proporcionar el mínimo trasfondo teórico necesario para discutir los problemas y resultados de la primeraparte de la tesis, además de presentar nuestros primeros resultados más básicos. Comenzamos en la Sec. 1.1 con una descripción concisa y autocontenida del marcogeneral de las teorías operacionales, siguiendo las Refs. [1, 2]. Esta introducción concluye con la definición de exclusividad mutua entre eventos, en términos operacionales. Ello nos permite conectar la observación de Specker acerca de la mensurabilidad dos a dos y la mensurabilidad conjunta en TC con el principio de exclusividad(E), es decir, con el hecho de que la suma de las probabilidades de un conjunto de eventos mutuamente excluyentes dos a dos no puede exceder de 1. En la Sec. 1.2 pasamos revista a diferentes tipos de correlaciones entre resultados de medidas realizadas en un sistema, según las predicciones de ciertas teorías físicas. Seguimos las Refs. [3, 4, 5] en la discusión de las correlaciones locales, cuánticas, no-signalingand generales. Nos ocupamos de dos tipos de correlaciones cuánticas: proyectivas ytipo Bell, y seguidamente centramos nuestra atención en las correlaciones cuánticasproyectivas, proporcionando razones para dicha elección en la primera parte de la tesis. En la Sec. 1.3 definimos correlaciones no contextuales, e introducimos el concepto de desigualdad NC. La Sec. 1.4 se dedica a presentar la aproximación a las correlaciones cuánticas mediante teoría de grafos de Cabello-Severini-Winter (CSW), recogida en las Refs. [6, 7], atendiendo específicamente a dos resultados principales y varias propuestas de posible desarrollo ulterior de dichos autores, en las cuales se basa nuestra investigación. Presentamos nuestros primeros resultados básicos en la Sec. 1.5, relativos a la clasificación de los llamados grafos cuánticos contextuales (QCG), y concluimos resumiendo las conexiones entre esta clasificación y los problemas abordados en capítulos subsiguientes. \n• Capítulo 2: Grafos de exclusividad básicos en correlaciones cuánticas. \nEn este capítulo nos ocupamos de un problema fundamental: entender por qué la TC viola únicamente ciertas desigualdades NC, e identificar los principios físicos que impiden violaciones mayores que las producidas por la TC. \nUtilizamos, como herramienta principal a lo largo del capítulo, el grafo de exclusividad de una desigualdad NC que ya se ha introducido previamente en la Sec. 1.4.2. En la Sec. 2.3, presentamos una condición necesaria para la existencia de correlaciones cuánticas contextuales: demostramos que la TC viola únicamente aquellas desigualdades NC cuyos grafos de exclusividad contienen, como subgrafos inducidos, ciclos impares de cinco o más vértices y/o sus complementos. En la Sec. 2.4, mostramos que se puede obtener una cota inferior de la dimensión (i. e., del número de estados perfectamente distinguibles) del sistema cuántico utilizado para violar la desigualdad NC mediante la identificación de subgrafos inducidos en el grafo de exclusividad de la desigualdad NC. El resultado de la Sec. 2.3 sugiere que las desigualdades NC cuyos grafos de exclusividad son o bien un ciclo impar o bien su complemento son especialmente importantes para entender la manera en que la TC viola desigualdades NC. En la Sec. 2.5 mostramos que los ciclos impares son los grafos de exclusividad de una familia bien conocida de desigualdades NC, y que hay también una familia de desigualdades NC cuyos grafos de exclusividad son los complementos de los ciclos impares. Además, caracterizamos los valores máximos no contextual y cuántico de estas desigualdades NC y proporcionamos los estados cuánticos y las medidas que conducen a sus violaciones cuánticas máximas. Finalmente, en la Sec. 2.6 presentamos algunos resultados que ofrecen evidencias que apoyan la conjetura de que el principio E selecciona exactamente la máxima violación cuántica de la desigualdades NC discutidas en la Sec. 2.5. Finalizamos el capítulo con material adicional en la Sec. 2.7, en la que presentamos una tabla que cuenta el número de subgrafos de exclusividad básicos inducidos en los grafos de exclusividad de algunas desigualdades NC y demostraciones de Kochen-Specker (KS) conocidas. \n• Capítulo 3:Correlaciones cuánticas completamente contextuales. \nLas correlaciones cuánticas son contextuales. Sin embargo, en general, nada impide la existencia de correlaciones incluso más contextuales aún. El propósito del Capítulo 3 es identificar y poner a prueba una desigualdad NC en la cual la violación cuántica no pueda ser mejorada por ninguna hipotética teoría
La interpretación modal Hamiltoniana de la mecánica cuántica sostiene que los sistemas, en el ámbito de la realidad cuántica, son haces de propiedades posibles, sin sustancia subyacente. Las propiedades que se hacen actuales, es decir aquéllas que adquieren valor definido instante a instante, no pueden ser todas, ya que esto llevaría a inconsistencias, como lo muestra el Teorema de Kochen-Specker. Esto implica que debemos elegir un contexto de actualización, esto es, un subconjunto de todo el conjunto de propiedades posibles, cuyas propiedades adquieren valores definidos. En este sentido, la interpretación modal-Hamiltoniana elige como contexto de actualización la descomposición átomica del espacio de Hilbert en autosubespacios del Hamiltoniano y todas las composiciones de éstos. Esto permite explicar satifactoriamente varios problemas interpretativos de la mecánica cuántica: el problema de la medición, el problema de la contex- tualidad, el problema de la indistinguibilidad y el problema de la no-localidad, como también permite describir adecuadamente un conjunto de ejemplos físicos típicos de la práctica de la física. Durante el trabajo de esta tesis doctoral, se desarrolló una reformulación de la interpretación modal-Hamiltoniana de la mecánica cuántica. Para ello se aplicaron ideas de la teoría de grupos, con el fin de asegurar la invariancia del contexto de actualización ante el cambio de sistema de referencia. De modo natural, entonces, se definió el contexto de actualización como aquel identificado por los operadores de Casimir del grupo de simetría de la mecánica cuántica: el grupo de Galileo extendido centralmente. Posteriormente se estudió la posibilidad de extender estas ideas al ámbito de la teoría cuántica relativista, donde el grupo de simetría es el de Poincaré y algún otro grupo de simetría interna compacto. Finalmente, con el fin de asegurar que los observables con valores actuales en las teorías relativistas y no relativistas estuviesen correctamente relacionados a través de un límite adecuado, se empleó una contracción de Inönü-Wigner del grupo de Poincaré extendido trivialmente al grupo de Galileo extendido centralmente. De este modo, los operadores de Casimir de ambos grupos quedaron correctamente relacionados y se pudo definir la regla de actualización correspondiente al ámbito relativista