Bell nonlocality with a single shot

1. Problema e Motivação

O teorema de Bell estabelece que as previsões da mecânica quântica não podem ser reproduzidas por teorias de variáveis ocultas locais (LHV). Tradicionalmente, a rejeição experimental de LHV é feita coletando estatísticas de um grande número de medições, calculando a média da expressão de Bell e verificando se ela viola o limite local com um certo número de desvios padrão.

O problema abordado neste trabalho é a ineficiência e a natureza probabilística dessa abordagem. Mesmo com muitas medições, existe sempre uma probabilidade não nula (embora pequena) de que resultados consistentes com a mecânica quântica ocorram por acaso sob um modelo LHV. O objetivo do artigo é quantificar a utilidade de uma desigualdade de Bell pelo valor-p (p-value) que ela gera em um experimento físico. O foco principal é: é possível rejeitar variáveis ocultas locais com um valor-p arbitrariamente pequeno usando apenas uma única medição (um único "disparo")?

2. Metodologia

Os autores propõem uma mudança de paradigma: reformular desigualdades de Bell como jogos não-locais. Em um jogo não-local, um árbitro envia perguntas $x, y$ a Alice e Bob, que respondem com $a, b$. Eles ganham se a resposta for aceita com probabilidade $V(a,b,x,y)$.

A metodologia central baseia-se em três pilares:

1. O Gap (Lacuna): A probabilidade de vitória com LHV é o limite local $\omega_\ell(G)$, e com mecânica quântica é o limite de Tsirelson $\omega_q(G)$. O gap é definido como $\chi_G = \omega_q(G) - \omega_\ell(G)$.
   • O valor-p de obter uma vitória em um único round com LHV é exatamente $\omega_\ell(G)$.
   • Se $\omega_\ell(G)$ for arbitrariamente próximo de zero e $\omega_q(G)$ for próximo de 1, é possível rejeitar LHV em um único disparo com alta confiança.
2. Algoritmo de Otimização: Os autores desenvolvem um algoritmo para transformar uma desigualdade de Bell arbitrária em um jogo não-local equivalente que maximiza o gap $\chi_G$.
   • Isso envolve resolver um problema de programação linear.
   • O algoritmo considera transformações de translação (adicionar constantes), escalonamento e a adição de restrições de "não-sinalização" (no-signalling) à função funcional de Bell.
   • O objetivo é minimizar a soma $\beta + \alpha$ (relacionada aos limites superior e inferior dos coeficientes) para maximizar o denominador na expressão do gap.
3. Construção de Jogos com Gap Arbitrário: Para alcançar gaps próximos de 1, os autores exploram duas construções teóricas:
   • Repetição Paralela: Jogar $n$ instâncias de um jogo simultaneamente em um único round. Usando o teorema de concentração de Rao, mostra-se que o limite local decai exponencialmente com $n$, enquanto o limite quântico tende a 1.
   • Jogo de Khot-Vishnoi: Uma construção específica baseada em problemas de complexidade computacional que permite gaps arbitrariamente grandes com dimensões de estado quântico específicas.

3. Contribuições Principais

• Algoritmo de Transformação Ótima: Desenvolvimento de um método sistemático para converter qualquer desigualdade de Bell em um jogo não-local com o maior gap possível. O método resolve um problema de programação linear para encontrar os coeficientes ótimos, superando abordagens ingênuas.
• Demonstração de Rejeição em Único Disparo: Prova teórica de que, ao maximizar o gap, é possível rejeitar LHV com qualquer valor-p desejado em um único round de medição, sem necessidade de acumular estatísticas.
• Soluções Analíticas e Numéricas:
  • Para Desigualdades CGLMP (com $k$ saídas), a solução ótima é única e requer um predicado probabilístico. O limite local permanece $3/4$, mas o limite de Tsirelson tende a 1 conforme $k \to \infty$.
  • Para Desigualdades Inn22 (com $n$ entradas), o algoritmo numérico mostra que, para $n \ge 3$, a solução ótima requer projeções no espaço de vetores de sinalização (diferente do que se esperava para jogos únicos), e o gap diminui à medida que $n$ aumenta para esta família específica.
• Novo Algoritmo para Limites Locais: Apresentação de um algoritmo computacionalmente mais eficiente para calcular limites locais de desigualdades de Bell gerais. Em vez de testar todas as estratégias determinísticas ($k_A^{s_A} k_B^{s_B}$), o algoritmo itera apenas sobre as estratégias de uma das partes (a menor) e calcula a melhor resposta da outra parte analiticamente, reduzindo drasticamente a complexidade.

4. Resultados Chave

• Relação Gap vs. Dimensão: Os autores estabelecem limites superiores para o tamanho do gap $\chi_G$ em função da dimensão do estado quântico $d$. Eles introduzem a quantidade $\Xi(G) = 1/(1-\chi_G)$ e mostram que $\Xi(d) \le e^{3d}$ (para medições gerais) e limites mais estritos para medições projetivas.
• Comparação de Estratégias de Repetição:
  • Ao aplicar repetição paralela ao jogo CHSH e ao jogo do Quadrado Mágico (Magic Square), os autores calculam o número de repetições necessárias para atingir um valor-p de $10^{-5}$.
  • Embora o jogo do Quadrado Mágico exija menos repetições, a dimensão do sistema quântico necessária (número de emaranhados) é menor para o CHSH, tornando-o mais eficiente em termos de recursos físicos para uma violação de único disparo.
• Jogo Khot-Vishnoi: A construção baseada neste jogo permite atingir um gap arbitrariamente próximo de 1 com uma dimensão de estado menor do que a exigida pela repetição paralela do CHSH (embora ainda exija medições emaranhadas complexas em dimensões gigantescas).
• Tabela de Resultados: O artigo fornece tabelas detalhadas com os limites locais, limites de Tsirelson e gaps para as famílias CGLMP ($k=2$ a $8$) e Inn22 ($n=2$ a $8$), demonstrando como o gap varia com os parâmetros do jogo.

5. Significado e Impacto

Este trabalho tem implicações profundas tanto para a fundamentação da mecânica quântica quanto para a teoria da informação quântica:

1. Fundamentos: Demonstra que a natureza probabilística da violação de Bell não é uma limitação fundamental, mas sim uma consequência da escolha da desigualdade e do formato do teste. Com o jogo não-local correto, a violação pode ser "determinística" em um único evento.
2. Eficiência Experimental: Sugere que, em princípio, testes de Bell podem ser realizados com muito menos dados, desde que se possa implementar jogos não-locais complexos com grandes gaps. Isso é relevante para experimentos de "loophole-free" (sem lacunas) onde a eficiência de detecção é crítica.
3. Ferramentas Computacionais: O algoritmo proposto para calcular limites locais e transformar desigualdades em jogos ótimos é uma ferramenta valiosa para a comunidade, permitindo a análise de desigualdades complexas que antes eram intratáveis.
4. Conexão com Complexidade: A ligação entre a não-localidade de Bell e classes de complexidade computacional (como MIP e jogos Khot-Vishnoi) é reforçada, mostrando como conceitos da ciência da computação podem otimizar testes físicos fundamentais.

Em resumo, o artigo prova que a rejeição de variáveis ocultas locais em um único disparo é teoricamente possível e fornece as ferramentas matemáticas e algorítmicas para projetar os experimentos necessários para realizá-la, desafiando a noção de que testes de Bell exigem necessariamente grandes conjuntos de dados estatísticos.