Post-selection games

Resumo Técnico de "Post-selection games"

Problema
O artigo aborda as limitações dos jogos não locais tradicionais e das provas possibilísticas de não localidade, como o paradoxo de Hardy. Enquanto provas como GHZ-Mermin permitem a "telepatia pseudo", como vencer com certeza, provas do tipo Hardy dependem da não localidade possibilística — demonstrando que certos eventos são possíveis ou impossíveis, em vez de depender de desigualdades estatísticas. No entanto, testes experimentais padrão do paradoxo de Hardy enfrentam dois problemas principais:

1. Impossibilidade de Prova: Não se pode provar experimentalmente que um evento é estritamente impossível; observar uma frequência zero não garante a impossibilidade.
2. Poder Estatístico Subótimo: Quando experimentalistas tentam testar o paradoxo de Hardy usando desigualdades de Bell padrão (como a desigualdade CH), os jogos resultantes muitas vezes não maximizam a violação para correlações que satisfazem as condições de Hardy, levando a evidências estatísticas fracas contra modelos de variáveis ocultas locais (LHV).

Os autores propõem que esses problemas decorrem da incapacidade dos jogos não locais tradicionais de formalizar naturalmente provas possibilísticas onde eventos específicos são descartados em vez de contados como vitórias ou derrotas.

Metodologia
Os autores introduzem jogos de pós-seleção, uma generalização de jogos não locais definida por três funções: distribuição de entrada $\mu(x,y)$, função de vitória $V(a,b,x,y)$ e uma função de pós-seleção $S(a,b,x,y)$.

• Mecanismo: Em cada rodada, o árbitro pode declarar a rodada como vitória, derrota ou descartada (pós-selecionada para fora). A probabilidade de vitória é definida como a probabilidade condicional de vencer dado que a rodada não foi descartada:
  $$\omega_G(P) = \frac{\langle V_\mu, P \rangle}{\langle S_\mu, P \rangle}$$
  onde $P$ é o comportamento (distribuição de probabilidade condicional), e o denominador representa a probabilidade de pós-seleção bem-sucedida.
• Formalização do Paradoxo de Hardy: Os autores mapeiam o paradoxo de Hardy para um jogo de pós-seleção onde a pós-seleção ocorre apenas nos eventos específicos envolvidos no paradoxo ($E_{Hardy}$), e a condição de vitória é o evento específico que a mecânica quântica prevê ser não nulo enquanto as teorias locais preveem ser zero.
• Estrutura Computacional:
  • Limite Local: Os autores provam que o limite local de um jogo de pós-seleção é uma função quase convexa maximizada nos pontos extremos (vértices) do polítopo local com probabilidade de pós-seleção não nula. Isso permite que o limite local seja computado testando um conjunto finito de comportamentos determinísticos.
  • Limite de Tsirelson: Eles formulam o cálculo do limite quântico (Tsirelson) como um problema de otimização côncica. Ao utilizar a homogeneidade da razão, eles transformam o problema em maximizar uma função linear sobre o cone de comportamentos quânticos não normalizados sujeito a uma restrição de normalização, resolvível via hierarquia NPA e programação semidefinida.
• Análise de Poder Estatístico: O artigo adota um framework de teste de hipóteses (fator de Bayes e p-valor) para definir o poder estatístico ($W_G$) de um jogo. Esta métrica incorpora tanto a probabilidade de vitória entre modelos quânticos e locais quanto a probabilidade de pós-seleção (eficiência):
  $$W_G(Q) = \gamma_G(Q) D(\omega_G(Q) \parallel \omega_\ell(G))$$
  onde $\gamma_G$ é a probabilidade de pós-seleção e $D$ é a divergência de Kullback-Leibler.

Principais Contribuições e Resultados

1. Definição e Formalização: O artigo define rigorosamente jogos de pós-seleção, mostrando que eles formalizam naturalmente provas possibilísticas como o paradoxo de Hardy, transformando-as em jogos que podem ser vencidos com certeza (limite de Tsirelson = 1) por estratégias quânticas.
2. Algoritmos: Os autores fornecem algoritmos para computar os limites local e de Tsirelson para esses jogos, provando que o limite local é alcançado em vértices determinísticos e formulando o limite quântico como um problema de otimização côncica.
3. Comparação de Poder Estatístico (Ideal vs. Ruidoso):
   • Caso Ideal: Em um cenário sem ruído, o jogo de pós-seleção de Hardy tem um poder estatístico menor que o jogo CHSH padrão. Isso ocorre porque a baixa probabilidade de pós-seleção (descartando a maioria das rodadas) supera a grande lacuna entre as probabilidades de vitória locais e quânticas.
   • Caso Ruidoso (Baixa Eficiência de Detecção): O artigo demonstra um resultado contraintuitivo: conforme a eficiência de detecção ($\eta$) diminui, o poder estatístico do jogo de pós-seleção de Hardy supera o do jogo CHSH.
   • Vantagem Ilimitada: Os autores provam analiticamente que, conforme a eficiência de detecção se aproxima do limiar crítico de $\eta \to 2/3$, a razão entre o poder estatístico do jogo de Hardy e o do CHSH diverge para o infinito. Isso sugere que jogos de pós-seleção são idealmente adequados para testes de Bell com baixa eficiência de detecção, onde jogos tradicionais falham em fornecer evidências conclusivas.
4. Generalizações: O framework é estendido para jogos de Hardy generalizados com $s$ entradas e $k$ saídas. Os autores mostram que, embora o poder estatístico varie com os parâmetros, ele geralmente aumenta com o número de saídas ($k$).
5. Exemplos Não-Possibilísticos: Os autores identificam outros jogos de pós-seleção não triviais não derivados de provas possibilísticas (ex: jogo $G_{\neg}$), embora estes tenham apresentado menor poder estatístico que o jogo de Hardy nos cenários testados.

Significância e Alegações
O artigo afirma que os jogos de pós-seleção oferecem uma "generalização natural" dos jogos não locais que preenche a lacuna entre provas possibilísticas e a realidade experimental.

• Robustez ao Ruído: Diferente das provas possibilísticas tradicionais que são frágeis ao ruído, os jogos de pós-seleção toleram naturalmente o ruído e ainda podem demonstrar não localidade mesmo quando as correlações estão próximas do limite local.
• Superioridade em Regimes de Baixa Eficiência: A principal significância reside na descoberta de que os jogos de pós-seleção possuem uma vantagem ilimitada em poder estatístico sobre jogos não locais tradicionais (especificamente CHSH) conforme a eficiência de detecção cai. Isso os torna teoricamente ideais para analisar testes de Bell com baixa eficiência de detecção, potencialmente permitindo demonstrações de não localidade livres de brechas (loophole-free) em regimes onde as desigualdades padrão falham.
• Clareza Conceitual: O framework simplifica a análise de testes de Bell ao tratar o processo de pós-seleção como parte intrínseca da definição do jogo, em vez de uma correção estatística externa, evitando assim brechas (como a brecha da amostragem justa ou fair-sampling loophole) ao computar explicitamente os limites que contabilizam a pós-seleção.

Os autores conjecturam modestamente que essa vantagem ilimitada se aplica a qualquer jogo não local sem pós-seleção, embora tenham fornecido apenas evidência numérica para um subconjunto de jogos e uma prova rigorosa contra o CHSH.