Generalising Aumann's Agreement Theorem

Imagina a un grupo de personas, todas partiendo de la misma comprensión inicial del mundo, que luego se reúnen para compartir lo que han aprendido. Hablan con honestidad, escuchan con atención y saben que todos los demás están haciendo lo mismo. En este escenario, una famosa idea del campo de la teoría de la decisión sugiere que estas personas no pueden terminar con conclusiones diferentes sobre un mismo evento. Si realmente saben lo que los demás saben, y todos partieron de una misma base, sus creencias finales deben alinearse. Este concepto, conocido como la imposibilidad de "estar de acuerdo en discrepar", ha sido durante mucho tiempo un pilar de cómo entendemos la racionalidad y el conocimiento compartido. Implica que si dos personas racionales discrepan, al menos una de ellas carece de información o actúa de forma irracional, porque el mero acto de conocer lo que el otro conoce obliga a sus puntos de vista a converger.

Durante décadas, esta idea fue probada únicamente en el ámbito de la probabilidad clásica, las matemáticas de la suerte cotidiana como lanzar dados o lanzar una moneda al aire. Sin embargo, a medida que nuestra comprensión del universo se ha profundizado, los científicos se han volcado hacia la teoría cuántica, un marco que describe el comportamiento de los átomos y la luz, que a menudo desafía nuestra intuición cotidiana. Esta nueva teoría permite conexiones extrañas entre partículas y probabilidades que se comportan de manera diferente a la clase de las clásicas. Este cambio planteó una pregunta tentadora: ¿sigue siendo válida la regla de que los agentes racionales no pueden discrepar en este mundo cuántico? Algunos investigadores habían sugerido que las características únicas de la mecánica cuántica podrían permitir que los agentes mantengan creencias diferentes incluso cuando comparten todo su conocimiento, creando potencialmente una división fundamental entre el razonamiento clásico y el cuántico.

En un estudio reciente, los investigadores Matthew Leifer y Cristhiano Duarte se propusieron resolver este debate extendiendo la lógica original del teorema del acuerdo al ámbito cuántico y más allá. No se limitaron a preguntar si la regla funciona para la mecánica cuántica; preguntaron si funciona para cualquier sistema concebible de probabilidad, por muy extraño o abstracto que sea. Para lograrlo, construyeron un puente entre la lógica rígida, basada en conjuntos, del conocimiento humano y la matemática fluida utilizada para describir los sistemas cuánticos. Trataron el conocimiento de los agentes como un mapa fijo de posibilidades, muy parecido a un mapa estándar de una ciudad, pero permitieron que los agentes asignaran probabilidades a los eventos utilizando las herramientas más complejas de la teoría cuántica.

Los investigadores descubrieron que la regla se mantiene firme. Incluso cuando los agentes utilizan las sofisticadas matemáticas de la mecánica cuántica para describir sus incertidumbres, siguen sin poder estar de acuerdo en discrepar si comparten conocimiento común. El estudio demuestra que, siempre que los agentes actualicen sus creencias de una manera específica y consistente cuando aprenden nueva información, sus asignaciones de probabilidad deben coincidir. Este resultado no se limita a la teoría cuántica; los autores demostraron que la misma imposibilidad se aplica a cualquier teoría de probabilidad generalizada, una categoría amplia que incluye tanto a los sistemas clásicos como a los cuánticos como casos especiales. El hallazgo sugiere que la incapacidad de discrepar no es un capricho de nuestro mundo físico particular, sino una consecuencia fundamental de cómo definimos el conocimiento y cómo actualizamos nuestras creencias cuando llega nueva información.

Esta conclusión desafía la noción de que la mecánica cuántica ofrece un vacío legal para el desacuerdo racional. Aunque algunos trabajos anteriores habían insinuado que los agentes cuánticos podrían ser capaces de mantener puntos de vista diferentes, Leifer y Duarte demostraron que esos resultados dependían de definiciones distintas de cómo los agentes actualizan su conocimiento o de qué significa "saber" algo. Cuando los investigadores mantuvieron la definición de conocimiento consistente con el teorema original y la aplicaron a los sistemas cuánticos, la concordancia resultó inevitable. El estudio sostiene que el teorema trata menos sobre la naturaleza física del universo y más sobre la estructura matemática de la probabilidad misma. Revela que la restricción proviene de la forma en que condicionamos nuestras creencias ante los nuevos datos, un proceso que permanece rígido incluso cuando las probabilidades subyacentes se vuelven cuánticas.

Los investigadores también exploraron los límites de sus hallazgos, señalando que el resultado depende en gran medida de cómo los agentes adquieren la información. En su modelo, los agentes no se comunican en tiempo real; en su lugar, simplemente poseen un estado de conocimiento compartido. Si el proceso de aprender nueva información implica perturbar activamente el sistema que se está midiendo, como ocurre a menudo en los experimentos cuánticos, las reglas cambian. En tales casos, el acto de aprender puede destruir la base misma del conocimiento que otros poseen, permitiendo potencialmente la discrepancia. Sin embargo, en escenarios donde el aprendizaje es una pura adquisición de información sin perturbación física, el teorema del acuerdo permanece inquebrantable. Esta distinción resalta que el teorema es una declaración sobre la estructura del conocimiento y la probabilidad, más que una ley que separa diferentes teorías físicas.

En última instancia, el trabajo sugiere que la emergencia de una realidad objetiva y compartida podría estar arraigada en este mismo mecanismo del conocimiento común. Si los agentes racionales pueden ser siempre forzados a estar de acuerdo cuando comparten lo que saben, entonces la realidad colectiva que experimentamos podría ser el resultado de esta convergencia. El estudio no pretende resolver los misterios de la mecánica cuántica ni explicar por qué el universo es como es. En cambio, proporciona una prueba matemática clara de que las reglas del acuerdo racional son mucho más robustas de lo que se pensaba anteriormente, sobreviviendo a la transición desde el mundo familiar de la casualidad clásica hacia el extraño y contraintuitivo paisaje de la física cuántica. El resultado es un recordatorio de que, incluso en un universo de incertidumbre, la lógica del entendimiento compartido sigue siendo una fuerza poderosa y unificadora.