An extended Wigner's friend no-go theorem inspired by generalized contextuality

Resumo Técnico: Um Teorema de Impossibilidade Amigo Estendido de Wigner Inspirado pela Contextualidade Generalizada

Enunciado do Problema
O artigo aborda a tensão entre a teoria quântica e as visões de mundo clássicas, focando especificamente nas questões interpretacionais que surgem quando agentes são tratados como sistemas quânticos capazes de realizar medições. Enquanto o teorema de impossibilidade da Amizade Local (LF) estabeleceu uma contradição entre as previsões quânticas e as suposições conjuntas de Absolutude dos Eventos Observados (AOE) e Agência Local, os autores buscam generalizar esse resultado. O objetivo é determinar se contradições semelhantes surgem ao substituir a suposição de Agência Local (uma forma reforçada de não-sinalização) por uma suposição mais fraca derivada da contextualidade generalizada. Os autores visam demonstrar que a teoria quântica é incompatível com um cenário de "Amizade Não-Contextual", produzindo assim um teorema de impossibilidade mais forte do que aqueles baseados apenas na não-contextualidade generalizada.

Metodologia
Os autores aproveitam uma correspondência conhecida entre provas de não-localidade em cenários de Bell e provas de contextualidade em cenários de preparação-e-medida. A metodologia procede da seguinte forma:

1. Construção do Cenário: Os autores projetam um cenário de "Amizade Não-Contextual" (NC) (Figura 4) envolvendo um único sistema quântico $S$ e três agentes: Alice (um superobservador), Charlie (um amigo) e Debbie (uma amiga), seguidos por Bob (um superobservador).

   • Alice prepara um qubit e o envia para Charlie.
   • Charlie realiza uma medição $C$ (modelada unitariamente como $U_C$).
   • Dependendo de uma configuração $x \in \{0, 1\}$, Alice ou aceita o resultado de Charlie ($x=0$) ou atua como um superobservador para desfazer a medição de Charlie via $U_C^\dagger$ ($x=1$), apagando o registro do resultado.
   • O sistema é passado para Debbie, que realiza a medição $D$ (modelada como $U_D$).
   • Dependendo da configuração $y \in \{0, 1\}$, Bob ou aceita o resultado de Debbie ($y=0$) ou desfaz a medição dela via $U_D^\dagger$ e realiza uma medição $B$ ($y=1$).

2. Suposições: O teorema depende de duas suposições centrais:

   • Absolutude dos Eventos Observados (AOE): Os resultados observados são eventos singulares e objetivos, não relativos a qualquer observador. Isso implica a existência de uma distribuição de probabilidade conjunta $p(a, b, c, d|x, y)$ para todos os resultados, mesmo aqueles apagados ou inacessíveis a um único agente.
   • Agência Não-Contextual: Isso é definido como a exigência de que qualquer equivalência operacional verificável quando todas as variáveis são conjuntamente acessíveis deve ainda valer quando essas variáveis não são conjuntamente acessíveis a um único agente. Especificamente, estende as equivalências operacionais padrão (por exemplo, independência de preparação) ao nível de eventos conjuntamente inacessíveis garantidos pela AOE. Isso é apresentado como uma versão mais forte da equivalência operacional padrão, mas uma versão mais fraca da não-contextualidade generalizada (que exige que tais equivalências valham dentro de um modelo ontológico).

3. Estratégia de Prova: Os autores mapeiam o cenário não trivial mais simples para a contextualidade generalizada (envolvendo quatro preparações e duas medições) sobre a configuração NC. Ao assumir AOE e Agência Não-Contextual, eles mostram que as correlações empíricas observadas no cenário NC devem ser deriváveis de uma única distribuição de probabilidade conjunta. No entanto, ao selecionar preparações e medições quânticas específicas (análogas à violação máxima de desigualdades de não-contextualidade), eles demonstram que nenhuma tal distribuição conjunta existe, levando a uma contradição.

Contribuições Principais

• O Teorema de Impossibilidade da Amizade Não-Contextual (NC): O artigo prova que, se um superobservador pode realizar operações quânticas arbitrárias sobre um observador e seu ambiente, nenhuma teoria física pode satisfazer a conjunção de AOE e Agência Não-Contextual.
• Generalização do Teorema LF: O trabalho estabelece que a Agência Local é um caso específico de Agência Não-Contextual (onde a equivalência operacional é a não-sinalização). Consequentemente, o teorema NC generaliza o teorema LF.
• Hierarquia de Força: Os autores demonstram que o teorema de impossibilidade NC é estritamente mais forte do que os teoremas de impossibilidade baseados na não-contextualidade generalizada. Embora as correlações empíricas no cenário NC sejam idênticas às do cenário de contextualidade mais simples, as suposições necessárias para derivar a contradição (AOE + Agência Não-Contextual) são mais fracas do que aquelas requeridas para provas padrão de não-contextualidade (que dependem da existência de um modelo ontológico não-contextual).
• Reenquadramento Conceitual da Agência: O artigo reinterpreta "Agência Local" e "Agência Não-Contextual" não meramente como compromissos metafísicos com estruturas causais relativísticas ou modelos ontológicos, mas como instâncias do princípio metodológico de não-ajuste fino. Argumenta-se que, em um mundo onde a AOE vale, seria "conspiratório" que equivalências operacionais valessem quando acessíveis, mas falhassem quando inacessíveis.

Resultados
O artigo deriva uma contradição entre as previsões da mecânica quântica e as suposições da Amizade Não-Contextual. Especificamente:

• Sob AOE e Agência Não-Contextual, as correlações empíricas $\wp(c, d|x=0, y=0)$, $\wp(c, b|x=0, y=1)$, $\wp(a, d|x=1, y=0)$ e $\wp(a, b|x=1, y=1)$ devem ser marginais de uma única distribuição conjunta $p(a, b, c, d|x=1, y=1)$.
• Ao escolher estados quânticos e medições específicas (por exemplo, bases de Pauli $X$ e $Z$), essas correlações correspondem à violação máxima de desigualdades de não-contextualidade.
• De acordo com o teorema de Fine, tal distribuição conjunta não pode existir para essas correlações.
• Portanto, a teoria quântica é incompatível com a Amizade Não-Contextual.

Significado
Os autores afirmam que este resultado fortalece o caso contra a visão de mundo clássica, mostrando que a incompatibilidade com a teoria quântica persiste mesmo sob suposições mais fracas do que aquelas usadas em teoremas de impossibilidade anteriores baseados em contextualidade.

• Mais Forte que Bell/Contextualidade: Assim como o teorema LF é mais forte que o teorema de Bell (porque a Agência Local é mais fraca que a causalidade local), o teorema NC é mais forte que os teoremas de não-contextualidade generalizada (porque a Agência Não-Contextual é mais fraca que a não-contextualidade generalizada).
• Metodológico vs. Metafísico: Uma contribuição conceitual chave é deslocar a justificação para suposições de "Agência" de compromissos metafísicos (por exemplo, estrutura causal relativística) para princípios metodológicos (não-ajuste fino). Se alguém aceita a universalidade da teoria quântica (permitindo que o cenário seja realizado) e o princípio de não-ajuste fino, é compelido a abandonar a AOE — a suposição de que os eventos observados são absolutos.
• Direções Futuras: O artigo sugere que esta estrutura pode ser estendida a outros cenários, incluindo aqueles envolvendo distinção ontológica limitada ou teorias pós-quânticas, e observa que as suposições NC abrangem outras suposições recentes, como "Irrelevância de Comutação" em contextos de Kochen-Specker.

O artigo conclui que o teorema de impossibilidade NC fornece um argumento robusto de que, se a teoria quântica é universal e não se assume ajuste fino, os eventos observados não podem ser absolutos, desafiando assim a noção clássica de realidade objetiva no contexto de observadores quânticos.