Linear Program Witness for Network Nonlocality in Arbitrary Networks

Resumo Técnico: Testemunha de Programação Linear para Nãolocalidade de Rede em Redes Arbitrárias

Enunciado do Problema
A nãolocalidade de rede estende o conceito de nãolocalidade de Bell para sistemas envolvendo múltiplas fontes independentes que distribuem informação para partes espacialmente separadas. Enquanto a nãolocalidade de Bell baseia-se na violação do realismo local, a nãolocalidade de rede adiciona a restrição da independência das fontes. Um desafio fundamental na certificação da nãolocalidade de rede é que, ao contrário das correlações locais padrão, que formam um conjunto convexo, o conjunto de correlações locais de rede é não-convexo. Essa não-convexidade torna as ferramentas padrão de otimização convexa ineficazes e torna a tarefa de certificação altamente não trivial. Métodos existentes frequentemente dependem de desigualdades não lineares específicas da rede ou de técnicas baseadas em inflação, as quais sofrem com o crescimento combinatório de restrições à medida que o número de variáveis locais aumenta, tornando-se frequentemente computacionalmente intratáveis.

Metodologia
Os autores propõem uma metodologia geral para construir uma testemunha de Programação Linear (LP) para a nãolocalidade de rede. A abordagem transforma o problema de viabilidade não-convexo de determinar se as estatísticas observadas admitem um modelo local de rede em um teste de viabilidade de LP convexo. O procedimento envolve três etapas primárias:

1. Enumeração de Estratégias Determinísticas: Os autores enumeram o espaço de estratégias determinísticas de variáveis locais (LV) de cada fonte. Para uma rede com $M$ fontes independentes, cada fonte $S_m$ recebe uma LV $\lambda_m$ que dita quais partes recebem um "sinal" (por exemplo, um fóton). O espaço de estratégias conjunta $\mathcal{D}$ é o produto cartesiano das estratégias individuais de cada fonte.
2. Isolamento de um Subconjunto de Resultados Amenável: Para lidar com a não-convexidade, o método isola um subconjunto específico de resultados observados, denotado por $\mathcal{O}_S$. Este subconjunto é escolhido de tal forma que sua pré-imagem no espaço de estratégias, $\mathcal{S}$, possa ser decomposta em regiões disjuntas. Esta decomposição é crucial para definir restrições que são lineares na distribuição de probabilidade auxiliar.
3. Construção de Cinco Classes de Restrições: O núcleo do método é a formulação de uma LP sobre uma distribuição auxiliar $q(a, \lambda)$, que se relaciona com as estatísticas observadas $p(a)$ e a distribuição de LV subjacente. A LP é definida por cinco classes de restrições lineares:
   • Classe 1 (Validade da Distribuição): Garante que $q(a, \lambda)$ seja uma distribuição de probabilidade válida (não-negatividade e normalização).
   • Classe 2 (Acordo de Marginais): Impõe que a marginal de $q$ sobre as estratégias corresponda às estatísticas observadas renormalizadas $p(a)$ dentro do subconjunto $\mathcal{O}_S$.
   • Classe 3 (Distribuição de Estratégias): Restringe a distribuição marginal de estratégias $q(\lambda)$ com base nas propriedades de fatoração exigidas pela localidade de rede (independência de fonte).
   • Classe 4 (Independência Condicional): Impõe que as marginais locais para uma parte dependam apenas das LVs das fontes conectadas a essa parte.
   • Classe 5 (Assimetria de Domínio): Captura o "viés" ou assimetria na amostragem das LVs necessária para reproduzir os dados observados. Esta classe explora o fato de que resultados específicos podem surgir de regiões disjuntas do espaço de LV, permitindo a derivação de restrições lineares sobre a diferença de probabilidades entre essas regiões.

Se a LP resultante for infactível, ela serve como uma condição suficiente para certificar que as estatísticas observadas exibem nãolocalidade de rede.

Principais Contribuições

• Estrutura Geral de LP: O artigo introduz um procedimento sistemático para gerar testemunhas de LP para topologias de rede arbitrárias, indo além das desigualdades não lineares específicas de cada rede.
• Cinco Classes de Restrições: Os autores definem cinco classes genéricas de restrições lineares. Enquanto as Classes 1 e 2 são agnósticas à rede, as Classes 3–5 são adaptadas à estrutura específica da rede, mas permanecem lineares, evitando a explosão computacional dos métodos de inflação.
• Aplicação em Redes em Anel: A metodologia é aplicada a uma família de redes em anel com $N$ partes e $M = 2N/3$ fontes independentes. Os autores derivam as formas analíticas das restrições para esta topologia específica.
• Implementação Fotônica: O método é demonstrado em uma configuração fotônica concreta envolvendo redes em anel de $N$-partes onde as fontes emitem estados W de fóton único e as partes utilizam divisores de feixe ajustáveis com detectores de clique/não-clique.

Resultos
Os autores aplicaram sua testemunha de LP a uma rede em anel específica de 6 partes e 4 fontes.

• Certificação de Nãolocalidade: A LP foi resolvida numericamente usando solvers padrão (ECOS, SCS, GLPK). Os resultados demonstraram infactibilidade (e, portanto, certificaram a nãolocalidade de rede) para uma gama de valores de transmitância do divisor de feixe $t \in (0, 0.292) \cup (0.708, 1)$.
• Viabilidade nos Extremos: A LP foi encontrada como factível para $t=0$ e $t=1$, correspondendo a casos onde o divisor de feixe não atua como uma medição de emaranhamento, o que é consistente com as expectativas teóricas.
• Escalabilidade: Os autores observam que o número de variáveis de decisão em sua LP escala com o tamanho do conjunto de resultados restrito $|\mathcal{O}_S|$ e a pré-imagem $|\mathcal{S}|$. Eles argumentam que essa escala é geralmente mais favorável do que os métodos baseados em inflação, que escalam fatorialmente com a ordem de inflação, e melhor do que a enumeração total de estratégias determinísticas para grandes dimensões de entrada/saída.

Significância e Alegações
O artigo afirma avançar na busca por testemunhas eficientes para certificar a nãolocalidade de rede em diversas arquiteturas de redes quânticas. Ao utilizar programação linear, o método oferece uma alternativa tratável à otimização polinomial não-convexa e às técnicas de inflação combinatoriamente caras. Os autores enfatizam que sua abordagem depende exclusivamente de probabilidades observadas e de um parâmetro experimental ajustável, tornando-a operacionalmente relevante para protocolos independentes de dispositivo.

O trabalho é modesto em seu escopo, observando que a infactibilidade é uma condição suficiente, mas não necessária, para a nãolocalidade de rede; uma solução factível não garante a existência de um modelo local de rede. Além disso, embora o método certifique a nãolocalidade de rede, os autores esclarecem que distinguir entre nãolocalidade de rede "total" (todas as fontes não locais) e nãolocalidade de rede "genuína" (pelo menos uma medição emaranhada) exigiria descartar modelos mistos, o que está além do escopo atual da testemunha. A principal contribuição é o fornecimento de um framework geral para a construção de testemunhas de LP, demonstrado efetivamente em redes em anel.