Measuring Bell non-locality in the presence of signaling

Resumo Técnico: Medindo a Não-Localidade de Bell na Presença de Sinalização

1. O Problema

A não-localidade de Bell é tradicionalmente analisada sob a hipótese de não-sinalização, que assume que as estatísticas locais de uma parte (ex: Alice) são independentes das escolhas de medição da outra parte (ex: Bob). Essa premissa é fundamental para a interpretação causal padrão de experimentos com sistemas espacialmente separados.

No entanto, o artigo identifica três limitações críticas dessa abordagem:

1. Experimentos Reais: Experimentos físicos reais raramente são perfeitamente não-sinalizadores devido a imperfeições, ruído e falhas de design, o que pode levar a violações aparentes de localidade que são, na verdade, artefatos de sinalização.
2. Cenários Temporais e Instrumentais: Em testes que não envolvem separação espacial (como cenários temporais ou testes instrumentais), a perturbação e o sinalização são inerentes e esperados.
3. Aplicações Fora da Física: Em áreas como redes bayesianas, epidemiologia, economia e cognição, o sinalização é frequentemente intrínseco ao design do sistema, tornando o quadro padrão de não-sinalização excessivamente restritivo.

O problema central é: Como quantificar o grau de não-localidade (ou a fração de explicações locais) em um comportamento observado que pode conter sinalização, sem descartar a possibilidade de que a violação da localidade seja causada pelo sinal?

2. Metodologia

Os autores propõem uma estrutura unificada baseada em decomposição convexa e otimização linear para quantificar recursos (localidade e não-sinalização) como frações de um comportamento observado.

• Definição de Medidas Fracionárias:

  • Medida de Localidade ($\mu_L$): Define-se como a máxima fração $p$ de um comportamento observado $\vec{P}$ que pode ser explicada por um modelo local ($\vec{P}^L$), onde $\vec{P} = p \cdot \vec{P}^L + (1-p) \cdot \vec{P}^{NL}$.
  • Medida de Não-Sinalização ($\mu_{NS}$): Define-se analogamente como a máxima fração $p$ que pode ser explicada por um comportamento não-sinalizador ($\vec{P}^{NS}$), onde $\vec{P} = p \cdot \vec{P}^{NS} + (1-p) \cdot \vec{P}^{S}$.

• Abordagem de Programação Linear (LP):
  O problema de encontrar essas frações máximas é formulado como um problema de Programação Linear.

  • O espaço de comportamentos é representado por um poliedro em $\mathbb{R}^{16}$ (para o cenário de 2 medições, 2 resultados).
  • O Poliedro Local ($P_{Loc}$) é gerado por 16 estratégias determinísticas locais.
  • O Poliedro Não-Sinalizador ($P_{NS}$) é gerado pelas 16 estratégias locais mais 8 caixas PR (Popescu-Rohrlich).
  • Utilizando o Teorema da Dualidade Forte, o problema de maximização (primal) é transformado em um problema de minimização (dual). A solução é obtida encontrando os vértices de um poliedro dual definido pelas restrições do problema.

• Solução Analítica e Vetorial:
  A solução é expressa como o mínimo de um conjunto de produtos escalares entre o vetor de comportamento observado $\vec{P}$ e um conjunto específico de vetores direcionais ($\vec{q}$).
  $$\mu_L(\vec{P}) = \min_{\vec{q} \in Q} (\vec{q}^T \cdot \vec{P})$$
  $$\mu_{NS}(\vec{P}) = \min_{\vec{q} \in S} (\vec{q}^T \cdot \vec{P})$$

3. Contribuições Principais e Resultados

O artigo fornece soluções de forma fechada (closed-form) para o cenário de Bell de duas partes, duas medições e dois resultados, válidas para qualquer comportamento, incluindo aqueles com sinalização.

• Teorema 2 (Medida de Localidade):
  Para um comportamento arbitrário $\vec{P}$, a medida de localidade é o mínimo sobre um conjunto $Q$ de 128 vetores específicos em $\mathbb{R}^{16}$.

  • Estes vetores são classificados em 5 categorias: $\vec{f}$ (8 vetores), $\vec{g}$ (16), $\vec{t}$ (32), $\vec{s}$ (64) e $\vec{e}$ (8).
  • Os vetores $\vec{e}$ correspondem às expressões de Bell-CHSH (válidas apenas no regime não-sinalizador).
  • Os vetores $\vec{f}$ correspondem às assinaturas de sinalização máxima.
  • Os vetores $\vec{g}, \vec{t}, \vec{s}$ são novos e capturam a geometria complexa necessária quando o sinalização está presente.

• Teorema 3 (Medida de Não-Sinalização):
  A medida de não-sinalização é o mínimo sobre um conjunto $S$ de 120 vetores.

  • Este conjunto contém as classes $\vec{f}, \vec{g}, \vec{t}$ e uma classe $\vec{z}$ (64 vetores), que difere dos vetores $\vec{s}$ apenas por ter um coeficiente 2 em uma entrada.
  • A ausência dos vetores $\vec{e}$ (CHSH) neste conjunto reflete que a não-sinalização é uma condição mais fraca que a localidade, mas sua quantificação fracionária em um espaço com sinalização é geometricamente complexa.

• Análise de Redundância e Significância:

  • Não-Redundância: Simulações numéricas mostram que nenhum dos 128 ou 120 vetores é redundante; para cada vetor, existe um comportamento onde ele é o único determinante do mínimo.
  • Dominância do Sinalização: Em comportamentos aleatórios, os vetores $\vec{f}$ (sinalização) dominam a determinação da fração (cerca de 76-78%), indicando que a maior parte da "não-localidade" aparente em dados ruidosos pode ser atribuída a efeitos de sinalização.
  • Complexidade Geométrica: O problema revela que a dificuldade não está apenas em medir a violação de Bell, mas em caracterizar como os poliedros locais e não-sinalizadores estão embutidos no espaço de correlações total ($P$).

4. Significado e Impacto

• Unificação de Quadros: O trabalho elimina a dependência da hipótese de não-sinalização na análise de não-localidade, oferecendo um framework unificado para cenários físicos (com ruído) e não-físicos (onde o sinalização é inerente).
• Distinção Conceitual: Demonstra que "violar a localidade" e "violar a não-sinalização" são recursos distintos e custosos. O framework permite dissecar quanto de uma violação observada é devida a não-localidade genuína versus quanto é devido a sinalização.
• Aplicabilidade Prática:
  • Física Experimental: Oferece ferramentas para analisar dados de experimentos de Bell com "loopholes" (falhas) de sinalização ou em implementações quânticas de computadores públicos onde o sinalização pode ocorrer.
  • Ciências Cognitivas e Sociais: Permite aplicar testes de tipo Bell a dados onde a independência causal não pode ser garantida a priori, quantificando a "não-localidade" (ou dependência contextual) de forma robusta.
• Avanço Teórico: Estende o trabalho anterior (Ref. [37]) que era restrito ao regime não-sinalizador, fornecendo uma solução completa e computacionalmente eficiente para o caso geral através da programação linear e da geometria de politopos.

Em suma, o artigo estabelece que a quantificação precisa de não-localidade na presença de sinalização requer uma estrutura geométrica muito mais rica do que a simples soma das desigualdades de Bell-CHSH e das assinaturas de sinalização, exigindo um conjunto completo de 128 vetores direcionais para uma caracterização exata.