Aumann's theorem beyond ontology: quantum, postquantum, and indefinite causal order

Este artigo estabelece uma versão operacional do teorema de acordo de Aumann que não depende de um estado objetivo do mundo, demonstrando sua validade na teoria quântica, em cenários de ordem causal indefinida e em fenômenos pós-quânticos, ao mesmo tempo que identifica situações do tipo "amigo de Wigner" como a única exceção potencial.

O essencial

Imagine que você e seu melhor amigo estão tentando adivinhar o resultado de um jogo de dados, mas vocês não podem se ver e só podem trocar mensagens de texto.

A Teoria da Concordância de Aumann (o tema central deste artigo) diz algo muito simples e poderoso: se vocês dois são racionais, começam com a mesma "intuição" inicial sobre como o mundo funciona (um "prior" comum) e, depois de receberem suas próprias informações, vocês sabem exatamente o que o outro está pensando (isso é chamado de "conhecimento comum"), então vocês não podem chegar a conclusões diferentes. Se um diz "acho que vai chover" e o outro diz "acho que vai sol", e ambos sabem que o outro sabe disso, algo está errado. Um deles precisa mudar de ideia. Eles não podem "concordar em discordar".

O problema é que, na física clássica (nossa vida cotidiana), isso faz sentido porque assumimos que existe uma "realidade objetiva" lá fora (o céu está realmente nublado ou não), e nós apenas descobrimos essa realidade.

Mas e na Mecânica Quântica? Na física quântica, a ideia de uma "realidade fixa" independente de quem observa é muito complicada. Alguns cientistas achavam que, nesse mundo estranho, a regra de Aumann poderia quebrar. Talvez, no mundo quântico, duas pessoas inteligentes pudessem olhar para a mesma coisa e, mesmo sabendo o que a outra pensa, continuarem discordando.

O que este artigo descobriu?

Os autores, Carlo Cepollaro e Andrea Di Biagio, dizem: "Esqueçam a realidade oculta. Olhem apenas para o que é medido."

Eles criaram uma versão "operacional" (prática) do teorema. Em vez de perguntar "qual é o estado real do universo?", eles perguntam: "quais são os resultados que os instrumentos mostram?".

Aqui está a analogia para entender a descoberta deles:

A Analogia do "Menu de Opções"

Imagine que Alice e Bob não estão tentando adivinhar o "céu real" (que pode ser invisível ou indefinido). Em vez disso, eles estão apenas olhando para um menu de pratos (os resultados das medições).

1. O Menu Comum: Alice e Bob concordam em um menu de probabilidades. Eles sabem, por exemplo, que a chance de pedir "Pizza" e "Sushi" juntos é de 30%. Não importa por que essa chance existe (se é por causa de um chef invisível ou de uma lei quântica misteriosa). O que importa é que eles concordam no menu.
2. A Troca de Informações: Alice vê que pediu Pizza. Ela sabe que, se pediu Pizza, a chance de Bob ter pedido Sushi é X%. Bob vê que pediu Sushi e calcula a chance de Alice ter pedido Pizza.
3. O Resultado: O artigo prova que, desde que exista um "menu" (uma distribuição de probabilidade conjunta) que descreva todos os resultados possíveis, se Alice e Bob souberem exatamente o que o outro calculou, eles serão obrigados a concordar.

Por que isso é revolucionário?

O artigo mostra que essa regra de "não discordar" é muito mais forte do que pensávamos. Ela funciona em lugares onde a lógica normal falha:

• Medidas que não combinam (Não-comutativas): Na física quântica, medir a posição de uma partícula e depois sua velocidade pode dar resultados diferentes se você inverter a ordem. O teorema clássico achava que isso quebraria a concordância. O novo teorema diz: "Não importa a ordem, desde que existam probabilidades para os resultados, a concordância vale."
• Ordem Causal Indefinida: Imagine um cenário onde não sabemos quem fez o que primeiro. Talvez Alice tenha feito uma medição antes de Bob, ou talvez Bob tenha feito antes de Alice, ou talvez ambos tenham feito ao mesmo tempo em uma "superposição" de tempos. O artigo diz: mesmo nesse caos temporal, se eles souberem o que o outro pensa, eles concordarão.
• Física "Pós-Quântica": Mesmo que um dia descubramos uma teoria ainda mais estranha que a mecânica quântica (algo que a substitua), desde que essa teoria permita calcular probabilidades de resultados, a regra de concordância ainda funcionará.

Onde a regra pode quebrar? (O "Monstro" da Exceção)

O artigo aponta um único lugar onde essa mágica pode falhar: o Paradoxo do Amigo de Wigner.

Imagine que Alice está dentro de um laboratório fechada medindo um gato. Para ela, o gato está vivo ou morto. Mas Bob está lá fora e vê o laboratório inteiro como uma "superposição" (o gato está vivo E morto ao mesmo tempo).
Nesse caso, a pergunta é: os resultados de Alice e Bob podem ser tratados como eventos que existem juntos?
Se a resposta for "não" (ou seja, se não houver um "menu" único que descreva ambos os pontos de vista simultaneamente), então o teorema de concordância quebra. É aqui que a física quântica realmente desafia nossa intuição sobre a realidade compartilhada.

Resumo em uma frase

Este artigo nos ensina que, para que duas pessoas racionais concordem, não precisamos acreditar em uma "realidade oculta" perfeita; precisamos apenas de um acordo sobre as probabilidades dos resultados que vemos. Enquanto houver um "mapa" de probabilidades compartilhado, a discordância racional é impossível, seja no mundo clássico, no mundo quântico ou em universos com tempos embaralhados.

Resumo técnico

1. O Problema

O Teorema do Acordo de Aumann é um resultado fundamental na epistemologia bayesiana que estabelece que dois agentes racionais, partindo de uma prior comum e cujas crenças posteriores são conhecimento comum (common knowledge), não podem discordar sobre a probabilidade de um mesmo evento.

No entanto, a formulação clássica do teorema depende criticamente de uma estrutura ontológica: assume-se a existência de um "estado verdadeiro do mundo" ($\omega^*$) em um espaço de estados $\Omega$, que é independente das observações dos agentes. As medições são descritas como partições desse espaço de estados.

Com o advento da teoria quântica e de cenários mais exóticos (como ordem causal indefinida), a noção de um estado objetivo subjacente torna-se problemática ou inaplicável. A literatura anterior levantou dúvidas sobre se o teorema de Aumann poderia ser estendido para:

1. Medições quânticas não comutativas.
2. Fenômenos pós-quânticos.
3. Cenários onde não há um estado de mundo definido independentemente da observação.

Alguns trabalhos anteriores sugeriram que o teorema falharia nesses contextos ou que permitiria "discordância comum" (common certainty of disagreement), criando uma aparente contradição com a intuição bayesiana.

2. Metodologia

Os autores propõem uma reformulação operacional do teorema de Aumann, removendo a necessidade de um espaço de estados ontológicos subjacentes. A metodologia baseia-se nos seguintes pilares:

• Foco nos Resultados de Medição: Em vez de definir probabilidades sobre estados do mundo $\Omega$, os autores definem um espaço de resultados de medição $M = I \times J \times K$, onde $I$ e $J$ são os resultados das medições de Alice e Bob, e $K$ é o resultado de um terceiro evento de interesse.
• Distribuição de Probabilidade Conjunta: A única premissa necessária é a existência de uma distribuição de probabilidade conjunta $p(i, j, k)$ sobre os resultados das medições. Esta distribuição pode ser derivada de qualquer teoria física (clássica, quântica, pós-quântica) sem exigir que ela seja obtida via marginalização de um estado oculto.
• Raciocínio Bayesiano: Os agentes atualizam suas crenças condicionando a distribuição conjunta aos seus resultados observados ($p_A(k|i)$ e $p_B(k|j)$).
• Definição Operacional de Conhecimento Comum: A noção de conhecimento comum é redefinida diretamente sobre os conjuntos de resultados possíveis ($A_n$ e $B_n$), onde a condição de conhecimento comum é que o par de resultados observados $(i, j)$ pertença à interseção infinita desses conjuntos.

3. Contribuições Principais

• Formulação Ontologicamente Neutra: O principal contributo é demonstrar que a estrutura ontológica (a existência de um estado real do mundo) não é essencial para o teorema de Aumann. O teorema é uma consequência puramente lógica da existência de uma distribuição de probabilidade conjunta e da atualização bayesiana.
• Generalização para Teorias Não-Clássicas: O teorema é provado para valer em qualquer cenário onde se possa calcular uma distribuição de probabilidade conjunta para os resultados de múltiplas medições. Isso inclui:
  • Medições quânticas comutativas e não comutativas.
  • Cenários com ordem causal indefinida (descritos por matrizes de processo ou process matrices).
  • Teorias pós-quânticas gerais (como teorias probabilísticas generalizadas).
• Resolução de Contradições na Literatura: Os autores esclarecem por que resultados anteriores que sugeriam "discordância" em contextos quânticos não violam o teorema. Eles argumentam que tais resultados surgem de:
  • Consideração de eventos contrafactuais (medições não realizadas).
  • Uso de regras de atualização não padrão (ex: assumir superposição de estados pós-medida em vez de misturas estatísticas, o que é incorreto na interpretação padrão da mecânica quântica para agentes que sabem que uma medição ocorreu).

4. Resultados

• Teorema do Acordo Operacional (Teorema 2): Se agentes racionais compartilham uma prior comum sobre os resultados de medição e suas probabilidades posteriores são conhecimento comum, então suas probabilidades posteriores devem ser iguais ($q_A = q_B$).
• Validade em Ordem Causal Indefinida: O teorema aplica-se mesmo quando a ordem temporal das medições não é definida (ex: superposição de "Alice antes de Bob" e "Bob antes de Alice"), desde que a matriz de processo $W$ defina uma distribuição de probabilidade conjunta válida.
• Limites do Teorema: Os autores identificam que o teorema pode falhar apenas em situações onde não é possível definir uma distribuição de probabilidade conjunta significativa sobre os resultados de diferentes observadores. Eles apontam especificamente para cenários do tipo "Amigo de Wigner" (Wigner's friend), onde a consistência de fatos entre observadores internos e externos é questionada, e a existência de eventos conjuntos independentes do observador é posta em dúvida.

5. Significado

Este trabalho tem implicações profundas para os fundamentos da física e da teoria da informação:

1. Unificação Conceitual: Demonstra que a coerência das previsões probabilísticas (o "acordo") é uma propriedade mais fundamental do que a ontologia subjacente. A consistência bayesiana sobrevive mesmo na ausência de uma realidade objetiva clássica.
2. Clarificação de Limites Quânticos: Estabelece que a mecânica quântica, mesmo com suas peculiaridades de não-comutatividade e emaranhamento, não permite que agentes racionais com conhecimento comum discordem sobre probabilidades de eventos observáveis, desde que a teoria forneça uma descrição probabilística conjunta consistente.
3. Foco em Fenômenos de Fronteira: Ao isolar a falha do teorema apenas para cenários onde a distribuição conjunta não é definível (como no paradoxo do Amigo de Wigner), o trabalho direciona a investigação futura para onde as teorias físicas atuais podem realmente colapsar ou exigir novas interpretações sobre a natureza da realidade e da observação.

Em suma, os autores mostram que o teorema de Aumann é robusto além da ontologia clássica, funcionando como uma ferramenta poderosa para testar a consistência de teorias físicas em regimes quânticos e pós-quânticos, desde que a estrutura probabilística conjunta seja mantida.