Presentamos un sistema de correlaciones ontológico completo y cerrado a cuyo elemento primario lo nombramos partencia por su eventual capacidad de participar y su incapacidad de dejar de pertenecer una vez participa — una restricción intrínseca anterior al espacio, el tiempo y la geometría en general sinónimo de información. El sistema introduce cinco clases ontológicas formales: la partencia única, el linaje (espacio de Hilbert original no geométrico coemergente), las partencias posteriores (incorporaciones irreversibles a espacios de Hilbert geométricos), el entrelazamiento de partencia (identificación mutua sin restricción), y el álbum ontológico (el complemento — todo aquello a lo que la correlación no perteneció). Juntas forman un holístico de suma cero: P_C ∪ A_C ∪ {H0} = H. Se demuestra el Teorema de Conservación de Información por Partencia: I_total = Σ R(Ci) es invariante bajo cualquier acto de partencia. Este resultado disuelve la paradoja de la información desde sus fundamentos ontológicos en general aparte de como ya lo había hecho CNMC en particular para agujeros negros, sin mecanismos de escape ni correcciones a la relatividad general. Se establece además que la medición cuántica es un caso especial de partencia, el colapso cuántico es partencia con selección por coherencia holística, y las opciones virtuales complementarias son la Integral Villalobos también llamada el álbum. Se propone que los parámetros libres del Modelo Estándar son restricciones intrínsecas del linaje de cada partícula, no arbitrariedades.
Presentamos un sistema de correlaciones ontológico completo y cerrado a cuyo elemento primario lo nombramos partencia por su eventual capacidad de participar y su incapacidad de dejar de pertenecer una vez participa — una restricción intrínseca anterior al espacio, el tiempo y la geometría en general sinónimo de información. El sistema introduce cinco clases ontológicas formales: la partencia única, el linaje (espacio de Hilbert original no geométrico coemergente), las partencias posteriores (incorporaciones irreversibles a espacios de Hilbert geométricos), el entrelazamiento de partencia (identificación mutua sin restricción), y el álbum ontológico (el complemento — todo aquello a lo que la correlación no perteneció). Juntas forman un holístico de suma cero: P_C ∪ A_C ∪ {H0} = H. Se demuestra el Teorema de Conservación de Información por Partencia: I_total = Σ R(Ci) es invariante bajo cualquier acto de partencia. Este resultado disuelve la paradoja de la información desde sus fundamentos ontológicos en general aparte de como ya lo había hecho CNMC en particular para agujeros negros, sin mecanismos de escape ni correcciones a la relatividad general. Se establece además que la medición cuántica es un caso especial de partencia, el colapso cuántico es partencia con selección por coherencia holística, y las opciones virtuales complementarias son la Integral Villalobos también llamada el álbum. Se propone que los parámetros libres del Modelo Estándar son restricciones intrínsecas del linaje de cada partícula, no arbitrariedades.
El presente volumen reúne tres ensayos que abordan, desde registros distintos perocomplementarios, una misma cuestión de fondo: la relación entre correlación, causalidad yaccesibilidad en la descripción de sistemas físicos y conceptuales complejos. Aunque los textosque lo componen se concibieron originalmente de manera independiente, su reunión respondea una intención común: explorar hasta qué punto ciertas tensiones, paradojas y límitesexplicativos emergen no de inconsistencias en las teorías existentes, sino del uso implícito deconceptos fuera de los dominios en los que resultan operativos.El libro no propone una teoría física unificada ni introduce nuevos postulados fundamentales.Tampoco pretende resolver de manera definitiva los problemas que aborda. Su objetivo es máslimitado y preciso: clarificar marcos, delimitar ámbitos de validez y separar niveles dedescripción que con frecuencia se superponen de forma acrítica en el discurso científico yfilosófico contemporáneo.El primer bloque, TCICF (The Coherent Informational Correlation Field), se sitúa en unregistro científico–teórico. Introduce un marco informacional efectivo destinado a describir laestructura de las correlaciones y sus límites de accesibilidad sin modificar las teorías físicasestablecidas. Se trata de un enfoque deliberadamente conservador, que emplea herramientasestándar de la teoría de la información y modelos estocásticos mínimos para articular ladistinción entre coherencia informacional global y correlaciones operacionalmente accesibles.Este bloque no formula afirmaciones ontológicas y no debe interpretarse como una teoríafundamental.El segundo bloque, Más allá de la propagación causal, adopta un registro conceptual ymetodológico. Su propósito es examinar críticamente el alcance explicativo de la noción depropagación causal espaciotemporal, mostrando que dicha noción, aun siendo indispensable enmuchos contextos, no agota la descripción de todos los fenómenos correlacionales. Este ensayono introduce nuevo formalismo ni cuestiona la validez de la causalidad en su dominio propio;se limita a explorar sus límites y a señalar cuándo su aplicación puede resultar conceptualmenteinsuficiente.El tercer bloque, TCIC, se mueve en un registro metafísico y ontológico, en el sentido másrestringido del término. A partir de las distinciones establecidas en los bloques anteriores, esteensayo aborda el estatuto de nociones como realidad, explicación y paradoja. Su objetivo noes reemplazar marcos científicos, sino desplazar ciertas formulaciones problemáticas,mostrando cómo muchas paradojas clásicas y contemporáneas surgen al tratar comofundamentales conceptos que son, en realidad, emergentes o dependientes de régimen. El anexofinal desarrolla explícitamente este desplazamiento conceptual en relación con paradojasconocidas. Cada uno de los tres bloques mantiene su introducción propia y puede leerse de maneraindependiente. El lector no está obligado a aceptar las premisas de un bloque para abordar lossiguientes. La progresión propuesta —desde un marco informacional efectivo, pasando por unacrítica de la causalidad como intuición universal, hasta un análisis ontológico de lasparadojas— no debe entenderse como una demostración encadenada, sino como una secuenciade desplazamientos conceptuales.Este libro se sitúa deliberadamente en la intersección entre física, teoría de la información yfilosofía, pero no pertenece de manera exclusiva a ninguno de estos campos. Su intención noes expandir el alcance de la ciencia más allá de sus límites, ni reducir la reflexión conceptual aformalismo técnico, sino hacer explícitas las fronteras entre estructura, acceso y significado, yexplorar qué ocurre cuando dichas fronteras se confunden.En este sentido, el volumen no aspira a cerrar debates, sino a reformularlos con mayorprecisión. Si logra clarificar el estatuto de ciertas preguntas —y, en algunos casos, mostrar porqué determinadas respuestas resultan inapropiadas— habrá cumplido su propósito.
Esta tesis doctoral trata de diversos aspectos de la teoria cuantica (TC), que abarcan desde el campo de los fundamentos de la disciplina (en particular, la busqueda de un conjunto de principios que seleccionen y distingan a la TC en el panorama de las teorias probabilisticas generales) hasta el reino de las aplicaciones en informacion y computacion cuanticas.
Todos los problemas que hemos abordado en nuestra investigacion tienen un rasgo distintivo comun: la teoria de grafos parece ser especialmente adecuada para describirlos y tratarlos. Y no solo eso: el lenguaje y las herramientas de la teoria de grafos proporcionan una poderosa y nueva percepcion que permite arrojar luz sobre tales problemas, y representan ademas un importante impulso para futuros desarrollos.
Precisamente, uno de los problemas que tuvimos que plantearnos en esta tesis, desde el primer momento, fue decidir su titulo. El alcance de la tesis era demasiado amplio como para poderlo comprimir en un titulo que fuese significativo, preciso y relativamente corto, y esto explica nuestra eleccion final: Quantum correlations and graphs, es decir,Correlaciones cuanticas y grafos, una declaracion intencionadamente de amplio espectro y algo vaga con la que intentamos capturar los principales aspectos de nuestra investigacion, quiza sin exito.
En lo que concierne a la alusion a los grafos en el titulo, la principal razon para nuestra concision es la siguiente: la tesis esta dividida en dos partes en las que los grafos constituyen la herramienta matematica ubicua y versatil sobre la cual hemos basado toda nuestra investigacion. 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 esta 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 vertices 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 limite a partir de algunos numeros combinatorios propios de los grafos. En la Parte II, que esta dedicada especificamente a los denominados estados grafo, los grafos por el contrario representan estados cuanticos entrelazados de muchos qubits. El grafo no solo proporciona una ayuda para escribir el generador del estado grafo, sino que tambien sirve por asi decir como una plantilla o guia para su preparacion: los vertices representan qubits, y las aristas describen subsiguientes operaciones de entrelazamiento cada una de la cuales involucra a dos qubits. Todo esto prueba cuan fructifera y versatil llega a ser la teoria de grafos cuando se aplica a algunos problemas fundamentales en TC, lo que constituye una de la principales ideas que alientan la tesis.
Entre estas dos partes de la tesis, en apariencia desligadas, hay no obstante una profunda conexion, que se explica con detalle al final de la tesis. En pocas palabras: hay una construccion que partiendo de cualquier grafo conexo de tres o mas vertices que describe a un estado grafo lleva a un grafo de mayor orden y tamano, siendo ´este ultimo un grafo de exclusividad cuyos vertices 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 terminos de teoria de grafos la conexion existente entre un estado grafo y una desigualdad de Bell violada maximamente por la TC.
Otro comentario importante tiene que ver con correlaciones cuanticas, el otro elemento que aparece con concision en el titulo: proporcionamos una definicion general de correlaciones cuanticas en la Sec. 1.2.4, a la que referimos al lector para mas detalle. Nosotros seleccionamos dos tipos de correlaciones cuanticas: correlaciones cuanticas proyectivas, y correlaciones cuanticas 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 cuanticas se entendera que se trata de correlaciones cuanticas proyectivas, es decir, correlaciones entre los resultados demedidas conjuntas de observables cuanticos proyectivos. Las razones para esta eleccion se aportan en la p. 46. Por otro lado, nuestro principal interes en la segunda parte de la tesis es la clasificacion y preparacion optima de estados grafo. En este caso, las correlaciones cuanticas (en particular, correlaciones cuanticas tipo Bell) aparecen implicitamente al discutir la conexion existente entre los grafos de exclusividad, los estados grafo y una clase de desigualdades de Bell violada maximamente por los estados grafo.
Con todas estas consideraciones en mente, pasamos a continuacion a hacer una descripcion resumida de nuestro trabajo de investigacion. La tesis que presentamos, como ha quedado dicho, esta estructurada en dos partes:
1. La Parte I se titulaGrafos de exclusividad de desigualdades no contextuales, y esta organizada en cuatro capitulos:
• Capitulo 1:Aproximacion a las correlaciones cuanticas mediante teoria de grafos. Este es un capitulo introductorio, cuyo principal proposito es proporcionar el minimo trasfondo teorico necesario para discutir los problemas y resultados de la primeraparte de la tesis, ademas de presentar nuestros primeros resultados mas basicos. Comenzamos en la Sec. 1.1 con una descripcion concisa y autocontenida del marcogeneral de las teorias operacionales, siguiendo las Refs. [1, 2]. Esta introduccion concluye con la definicion de exclusividad mutua entre eventos, en terminos operacionales. Ello nos permite conectar la observacion 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, segun las predicciones de ciertas teorias fisicas. Seguimos las Refs. [3, 4, 5] en la discusion de las correlaciones locales, cuanticas, no-signalingand generales. Nos ocupamos de dos tipos de correlaciones cuanticas: proyectivas ytipo Bell, y seguidamente centramos nuestra atencion en las correlaciones cuanticasproyectivas, proporcionando razones para dicha eleccion 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 aproximacion a las correlaciones cuanticas mediante teoria de grafos de Cabello-Severini-Winter (CSW), recogida en las Refs. [6, 7], atendiendo especificamente a dos resultados principales y varias propuestas de posible desarrollo ulterior de dichos autores, en las cuales se basa nuestra investigacion. Presentamos nuestros primeros resultados basicos en la Sec. 1.5, relativos a la clasificacion de los llamados grafos cuanticos contextuales (QCG), y concluimos resumiendo las conexiones entre esta clasificacion y los problemas abordados en capitulos subsiguientes.
• Capitulo 2: Grafos de exclusividad basicos en correlaciones cuanticas.
En este capitulo nos ocupamos de un problema fundamental: entender por que la TC viola unicamente ciertas desigualdades NC, e identificar los principios fisicos que impiden violaciones mayores que las producidas por la TC.
Utilizamos, como herramienta principal a lo largo del capitulo, 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 condicion necesaria para la existencia de correlaciones cuanticas contextuales: demostramos que la TC viola unicamente aquellas desigualdades NC cuyos grafos de exclusividad contienen, como subgrafos inducidos, ciclos impares de cinco o mas vertices y/o sus complementos. En la Sec. 2.4, mostramos que se puede obtener una cota inferior de la dimension (i. e., del numero de estados perfectamente distinguibles) del sistema cuantico utilizado para violar la desigualdad NC mediante la identificacion 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 tambien una familia de desigualdades NC cuyos grafos de exclusividad son los complementos de los ciclos impares. Ademas, caracterizamos los valores maximos no contextual y cuantico de estas desigualdades NC y proporcionamos los estados cuanticos y las medidas que conducen a sus violaciones cuanticas maximas. Finalmente, en la Sec. 2.6 presentamos algunos resultados que ofrecen evidencias que apoyan la conjetura de que el principio E selecciona exactamente la maxima violacion cuantica de la desigualdades NC discutidas en la Sec. 2.5. Finalizamos el capitulo con material adicional en la Sec. 2.7, en la que presentamos una tabla que cuenta el numero de subgrafos de exclusividad basicos inducidos en los grafos de exclusividad de algunas desigualdades NC y demostraciones de Kochen-Specker (KS) conocidas.
• Capitulo 3:Correlaciones cuanticas completamente contextuales.
El entrelazamiento cuántico es un fenómeno físico producido por la existencia de correlaciones entre los subsistemas que componen un sistema. Dos problemas surgen a la hora de tratar con este fenómeno. El primero consiste en ver cómo se comportan estas correlaciones, y el segundo se debe a que una vez estudiado el comportamiento de las correlaciones parece dejar abierta una posibilidad para realizar comunicación superluminal. El presente trabajo pretende establecer cuáles son las bases sobre las que aparecen dichos problemas para después argumentar cuál es la respuesta correcta. Con el fin de aclarar la notación matemática que se va a utilizar en este trabajo y su significado físico, se presenta un primer apartado para explicar el tratamiento de sistemas compuestos mediante la notación de Dirac. Una vez obtenidas las herramientas matemáticas necesarias, presentaremos un desarrollo histórico en el que se trata la problemática que aparece en la Mecánica Cuántica a la hora de tratar las correlaciones entre subsistemas comenzando con la denominada “Paradoja EPR” la cual hace la suposición de que el colapso de la función de onda no ocurre de forma instantánea en todo el espacio y con esta hipótesis se llega a la conclusión de que la Mecánica Cuántica no es una teoría completa. Siguiendo el desarrollo histórico, se presenta el llamado “Teorema de Bell” que explica las diferencias que se deben observar dependiendo de si la Mecánica Cuántica es la teoría correcta o si lo son las teorías que puedan surgir a partir de las conclusiones de la paradoja EPR. Se han realizado experimentos con el fin de ver cuál de los dos esquemas teóricos es el correcto y se ha obtenido que las teorías originadas a partir de la paradoja EPR entran en clara contradicción con los resultados experimentales, mientras que la suposición de la existencia de un colapso instantáneo de la función de onda está en perfecto acuerdo con los resultados, por lo que la Mecánica Cuántica se considera el esquema correcto. Dedicaremos un apartado para explicar algunos de estos experimentos y sus resultados. Finalmente, el tratamiento de la Mecánica Cuántica de los subsistemas correlacionados, teniendo en cuenta la existencia de un colapso instantáneo de la función de onda, parece dar lugar a la posibilidad de que se produzcan comunicaciones de velocidades superiores a la de la luz. Con el fin de presentar estas posibilidades y demostrar porque no son viables para comunicación superlumínica se presenta otro apartado.
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 Objetivo general de éste trabajo es reformular la fundamentación estadística de la mecánica cuántica tomando como elementos las "propiedades físicas" en lugar de las magnitudes en general. Procuramos demostrar cuánto más sencillos de demostrar y directamente interpretables aparecen muchos resultados de la mayor importancia, sin que se pierda generalidad. Por supuesto tomamos como punto de referencia el formidable libro de J. von Neumann: "Mathematische Grundlagen der Quantenmechanik", tan lleno de ideas aún no suficientemente explotadas y que es el cimiento obligado de cuanto edificio teórico se ha pretendido levantar en la Mecánica Cuántica. Además de la reformulación antes mencionada, hemos conseguido varios resultados particulares nuevos; entre otros la demostración de que el método Koopman (7) de tratar sistemas dinámicos puede aplicarse a la estadística cuántica, y por lo tanto valen también para ella ciertas demostraciones del teorema ergódico. Hacemos también una verificación del mismo mediante la comparación de una sucesión real de mediciones con una "cadena de Markov" y damos la formulación cuántica del concepto de "transitividad métrica". Hemos también simplificado la demostración de algunos teoremas y en especial generalizado para espectros continuos el referente a la ley de distribución de Maxwell. Exponemos también, aunque sin detalles, dos ideas que nos parecen de gran importancia; la relación topológica entre espacios "complementarios" (coordenadas e impulsos por ejemplo), que aunque implícita en numerosos trabajos no hemos visto nunca enunciada claramente, y la distinción entre el tiempo del sistema y del observador, que permite recobrar la simetría relativista. Nueva es también la comparación entre la lógica propia de las proyecciones, la lógica usual y la de tres valores, y además el concepto de "conjunción estadística" que exponemos en un apéndice. Teníamos también intención de utilizar el concepto estadístico de función característica de una distribución, pero encontramos que ese tema ya había sido tratado, justamente en otro trabajo de tesis, por Arnous (1), en 1947. De todos modos hemos agregado un pequeño apéndice comentando su contenido. En cambio hemos renunciado a la inclusión de un resumen de la parte matemática, pues su volumen estaría fuera de proporción con el resto del trabajo y porque existen obras sumamente claras y apropiadas para referencia, como el capítulo correspondiente del libro de v. Neumann y otras obras que se citan en una bibliografía especial. Aunque por comodidad nuestras fórmulas se refieren concretamente al espacio de Hilbert de las funciones de la clase L² (cuadrado del módulo sumable), valen siempre, con obvias modificaciones, para otros espacios de uso común. Los teoremas que daremos por conocidos pueden encontrarse en su mayor parte en el Capítulo II del libro de v. Neumann, pero en general trataremos de dar referencias explícitas.