Are free choices absolute, when internalized in Wigner's friend?

Resumo Técnico: "As escolhas livres são absolutas quando internalizadas no amigo de Wigner?"

Declaração do Problema
O artigo aborda um desafio fundamental na teoria quântica relativo ao problema da medição e à consistência do raciocínio entre diferentes observadores. Especificamente, investiga o teorema de impossibilidade "Amizade Local" (LF), que estabelece uma contradição sob duas premissas: a Absolutude dos Eventos Observados (AOE) (os resultados são eventos absolutos e de valor único) e a Agência Local (escolhas/intervenções livres estão correlacionadas apenas com eventos em seu cone de luz futuro). Embora argumentos recentes do amigo estendido de Wigner (EWF) tenham utilizado essas premissas para desafiar a absolutude dos resultados de medição, este trabalho questiona se a mesma lógica se aplica às próprias escolhas livres. A questão central é: se um superobservador (Wigner) modela a "escolha livre" de um observador (Amigo) de forma unitária dentro de um laboratório selado, essa escolha pode ser considerada um evento absoluto e de valor único, independente da perspectiva do superobservador?

Metodologia
Os autores constroem um cenário estendido do amigo de Wigner que integra o teorema de Pusey–Barrett–Rudolph (PBR) com a estrutura LF. O protocolo envolve:

1. Agentes: Dois amigos (Alice e Bob) em laboratórios selados, um superobservador (Wigner) e dois observadores externos (Charlie e Debbie).
2. Configuração Inicial: Alice e Bob fazem cada um uma "escolha livre" ($a, b \in \{0, 1\}$). Essas escolhas são codificadas em qubits ($T_A, T_B$) enviados a Charlie e Debbie, enquanto a própria escolha é registrada no estado de seus respectivos laboratórios ($L_A, L_B$). O estado conjunto dos laboratórios e qubits é modelado como uma superposição emaranhada (por exemplo, $|00\rangle + |11\rangle$).
3. Medições Externas: Charlie e Debbie medem os qubits recebidos ($T_A, T_B$) na base computacional ($Z$) ou na base de Hadamard ($X$), dependendo de suas configurações ($x, y$).
4. Medição do Superobservador: Wigner escolhe uma configuração $z$.
   • Se $z=0$, Wigner revela as escolhas dos amigos (medindo os laboratórios na base computacional).
   • Se $z=1$, Wigner realiza uma medição emaranhada conjunta nos laboratórios ($L_A \otimes L_B$) na base PBR ($\{|\xi_1\rangle, |\xi_2\rangle, |\xi_3\rangle, |\xi_4\rangle\}$), que é incompatível com a base que codifica as escolhas dos amigos.
5. Derivação Lógica: Os autores assumem que a AOE e a Agência Local se aplicam às escolhas dos amigos ($a, b$) mesmo quando não são reveladas (ou seja, quando $z=1$). Eles derivam uma contradição ao mostrar que, se $a$ e $b$ forem absolutos, as probabilidades dos resultados de Wigner na medição PBR devem satisfazer restrições específicas de probabilidade zero que são mutuamente exclusivas com a probabilidade não nula das escolhas dos amigos serem reveladas em um contexto compatível.

Principais Contribuições

• Extensão dos Argumentos LF: O artigo amplia o escopo dos teoremas de impossibilidade da Amizade Local, da absolutude dos resultados observados para a absolutude das escolhas livres.
• Internalização da Escolha Livre: Introduz um modelo onde um superobservador trata a "escolha livre" de um observador como uma variável quântica internalizada (uma evolução unitária do laboratório) em vez de um parâmetro exógeno. Isso desafia a visão padrão das escolhas livres como entradas puramente externas.
• Cenário Baseado em PBR: Diferentemente de argumentos anteriores de EWF que dependiam apenas de não localidade de Bell ou contextualidade, este trabalho utiliza a lógica do teorema PBR sobre a realidade dos estados quânticos para derivar uma contradição especificamente sobre a natureza da variável de escolha.
• Generalização: O argumento é generalizado para amplitudes de escolha arbitrárias (não apenas probabilidades iguais), demonstrando robustez através de diferentes estados de superposição inicial.

Resultados
Os autores derivam um "teorema de impossibilidade" para a absolutude das escolhas livres sob a premissa da Agência Local.

• A Contradição: Ao aplicar a AOE e a Agência Local, os autores mostram que a distribuição de probabilidade conjunta para as escolhas dos amigos ($a, b$) e os resultados PBR de Wigner ($w$) deve satisfazer um conjunto de condições (Eq. 13) onde todos os resultados possíveis para uma configuração específica de escolhas reveladas têm probabilidade zero.
• A Violação: No entanto, a mecânica quântica padrão prevê que o cenário em que os amigos fazem escolhas específicas e Charlie/Debbie medem em bases específicas ocorre com probabilidade não nula (Eq. 15).
• Conclusão: A conjunção da Agência Local e da premissa de que as escolhas livres são absolutas (eventos de valor único independentes do superobservador) leva a uma contradição lógica. Portanto, dentro desta estrutura, as escolhas livres não podem ser absolutas da mesma forma que os resultados de medição são assumidos ser nos argumentos LF padrão.

Significado e Alegações
O artigo afirma que as resoluções para os paradoxos do amigo estendido de Wigner que rejeitam a absolutude dos resultados (abordagens relacionais) devem também incorporar uma natureza relacional das escolhas livres.

• Reconceitualização da Agência: O trabalho sugere que, se se aceita a modelagem unitária de observadores por superobservadores, o conceito de "escolha livre" como uma variável exógena e absoluta é incompatível com a universalidade e a localidade quânticas.
• Implicações de Ajuste Fino: Se se deseja manter a absolutude das escolhas livres, o artigo implica que tal resolução exigiria escolhas "ajustadas finamente" (além de resultados de medição ajustados finamente) para evitar a contradição.
• Reavaliação Operacional: Os autores não argumentam contra a existência da escolha livre, mas contra a sua absolutude quando internalizada em uma descrição física. Eles convidam a uma reavaliação de como as escolhas livres são definidas e operacionalizadas na física, particularmente em cenários envolvendo superobservadores.

O artigo conclui que argumentos semelhantes podem ser construídos usando outros modelos de não localidade ou contextualidade, mas o cenário baseado em PBR fornece um caminho distinto e rigoroso para questionar a absolutude das configurações de entrada do agente.