Kochen-Specker nonlocal hidden variables must include time-ordering to allow for measurement independence of several agents

Resumo Técnico: Variáveis Ocultas Não Locais de Kochen-Specker e Ordenação Temporal

Enunciação do Problema
O artigo aborda a interpretação ontológica da mecânica quântica, focando especificamente em modelos que tratam a contextualidade de Kochen-Specker (KS) como uma característica de "possibilidades pré-existentes" armazenadas em um repositório fora do espaço-tempo. Os autores investigam a compatibilidade dessa ontologia com a independência de medição (frequentemente referida como "escolha livre") em experimentos do tipo Bell envolvendo múltiplos agentes independentes.

A tensão central surge do teorema de Bell, que dita que qualquer modelo de variáveis ocultas que reproduza correlações quânticas deve ser não local. Se o repositório contiver atribuições determinísticas não locais (variáveis ocultas) que determinam resultados com base nos contextos de medição, um conflito emerge: em certas configurações, o resultado da medição de um agente parece depender da escolha futura de outro agente. Sem restrições adicionais, essa dependência implica que o agente posterior não pode escolher seu contexto de medição livremente, pois sua escolha estaria restringida pela necessidade de corresponder à atribuição pré-existente recuperada pelo agente anterior. Isso ameaça o princípio da independência de medição.

Metodologia
Os autores analisam a estrutura de atribuições determinísticas não locais dentro de uma ontologia de repositório. Eles procedem através dos seguintes passos lógicos:

1. Estrutura Ontológica: Eles definem uma ontologia onde variáveis ocultas são possibilidades pré-existentes armazenadas fora do espaço-tempo. Quando um agente escolhe um contexto (configuração de medição), o valor correspondente é recuperado desse repositório.
2. Análise de Sinalização: Eles examinam atribuições determinísticas não locais específicas (por exemplo, aquelas que violam a desigualdade CHSH). Eles demonstram que qualquer atribuição determinística não local que não seja localmente causal inerentemente contém "sinalização" (onde uma saída depende de uma entrada distante).
3. O Paradoxo da Escolha Livre: Eles ilustram que, se um repositório contiver uma atribuição não local fixa (por exemplo, $a+b \equiv xy \mod 2$), e os agentes escolherem medições em uma sequência ordenada no tempo (por exemplo, Bob mede antes de Alice), o resultado de Bob efetivamente dita a entrada de Alice para manter a consistência. Isso força a escolha de Alice a ser correlacionada com a de Bob, violando a independência de medição.
4. Resolução via Ordenação Temporal: Os autores propõem que, para preservar a independência de medição para todos os agentes, o "contexto" recuperado do repositório deve incluir não apenas as configurações de medição, mas também a ordenação temporal das escolhas dos agentes.
5. Generalização: Eles estendem esse argumento para sistemas multipartidários. Eles provam que qualquer correlação quântica (que satisfaz a condição de não sinalização) pode ser decomposta em uma mistura de atribuições determinísticas que respeitam uma ordenação temporal específica (ou seja, atribuições que sinalizam apenas para frente no tempo, evitando ciclos causais).

Contribuições e Resultados Chave

• Necessidade de Ordenação Temporal no Contexto: O resultado primário é a demonstração de que, para um modelo de variáveis ocultas baseado em repositório ser consistente com a independência de medição em experimentos de Bell multiagentes, o contexto deve incluir explicitamente a ordem temporal das escolhas dos agentes.
• Decomposição de Correlações Quânticas: O artigo mostra que o conjunto de correlações quânticas (e o poliedro de não sinalização mais amplo) está contido dentro do "poliedro da seta do tempo". Isso significa que qualquer correlação quântica pode ser decomposta em atribuições determinísticas consistentes com alguma ordenação temporal (por exemplo, $t_A \le t_B \le t_C$), onde o fluxo de sinalização ocorre apenas das escolhas anteriores para as posteriores.
• Resolução de Ciclos de Sinalização: Ao incluir a ordenação temporal no contexto, o modelo evita "sinalização circular" (onde A sinaliza para B e B sinaliza de volta para A). Em um contexto ordenado temporalmente, uma atribuição precisa sinalizar apenas do agente anterior para o posterior, garantindo que a escolha do agente posterior permaneça livre em relação ao resultado do agente anterior.
• Definição Operacional de Tempo: Os autores esclarecem que o tempo relevante $t_P$ é o momento em que o sistema produz um resultado em relação ao dispositivo de medição, e não o momento da decisão humana, embora essa distinção permaneça operacionalmente difícil de precisar.

Significado e Alegações
O artigo alega fornecer uma "explicação mínima" de como os resultados são produzidos em experimentos quânticos sob uma ontologia de universo único. Seu significado reside em:

1. Preservação da Independência de Medição: Oferece uma maneira de manter a suposição de que os agentes (ou geradores de números aleatórios) podem escolher livremente os contextos de medição sem recorrer ao superdeterminismo (onde a fonte está correlacionada com as escolhas) ou abandonar a visão de um único mundo.
2. Consistência Ontológica: Resolve o conflito entre variáveis ocultas não locais e escolha livre expandindo a definição de "contexto" para incluir relações temporais.
3. Ressonância Teológica e Filosófica: Os autores notam que esse conceito de repositório ressoa com discussões teológicas sobre onisciência divina e livre-arbítrio humano (especificamente o Molinismo e o conceito de Infuturabilien discutido por Ernst Specker) e visões da física estatística como o "Mentaculus". Eles sugerem que seu "repositório quântico" pode ser visto como uma generalização desses conceitos para incluir atribuições não locais.

Os autores permanecem modestos, afirmando que não comparam os méritos dessa ontologia contra outros desvios radicais das crenças comuns (como muitos mundos ou superdeterminismo), mas sim mostram que este caminho específico requer a inclusão da ordenação temporal para ser logicamente consistente.