Measurement Geometry as a Resource for Certifying Network Nonlocality

Resumo Técnico: Geometria de Medição como um Recurso para Certificar a Nãolocalidade de Rede

Enunciado do Problema
Redes quânticas geram correlações não clássicas que não podem ser explicadas por modelos clássicos com fontes independentes. Embora o papel do emaranhamento nessas redes esteja bem estabelecido, o impacto do design de medição — especificamente a geometria das medições conjuntas em nós intermediários — permanece amplamente inexplorado. Estudos existentes focaram primariamente em demonstrar violações de testemunhas para configurações de medição específicas, deixando uma lacuna na compreensão de como a escolha de medições nãolocais influencia o nível de nãolocalidade de rede certificável. Além disso, há uma necessidade de um framework operacional para avaliar os observáveis nãolocais complexos necessários para certificar a Nãolocalidade de Rede Total (FNN) em hardware quântico programável.

Metodologia
Os autores desenvolvem um framework operacional baseado em circuitos de medidor assistidos por ancila para avaliar observáveis nãolocais em uma rede bilocal Alice–Bob–Charlie.

• Configuração de Rede: A rede consiste em duas fontes independentes distribuindo pares emaranhados para Alice e Bob, e Bob e Charlie, respectivamente. Bob detém dois subsistemas ($B_A$ e $B_C$) e realiza medições conjuntas para mediar as correlações entre as partes externas.
• Testemunhas: O framework visa dois níveis de nãolocalidade:
  1. Violação de Variável Oculta Bilocal (BLHV): Certificar correlações que violam a suposição de duas fontes clássicas independentes ($S_{BLHV} > 1$).
  2. Nãolocalidade de Rede Total (FNN): Certificar correlações que excluem qualquer modelo onde pelo menos uma fonte permaneça clássica. Isso requer a violação simultânea de duas testemunhas híbridas, $R_{CNS}$ e $R_{NSC}$, que delimitam modelos clássico–não-sinalizantes (NS) e NS–clássicos, respectivamente.
• Implementação: Os observáveis nãolocais, incluindo correladores de múltiplos corpos e medições parciais de estado de Bell em os qubits de Bob, são extraídos usando circuitos assistidos por ancila que preservam o estado da rede durante a medição.
• Hardware: O protocolo é implementado em um processador supercondutor de 156 qubits (IBM Kingston, arquitetura Heron) com mitigação de erro de leitura. O estudo percorre o parâmetro de emaranhamento $\theta$ e, em uma análise separada, varia os ângulos de medição conjunta de Bob $(\phi, \varphi)$ para mapear a "geometria de medição".

Principais Contribuições

1. Framework Operacional: O artigo estabelece um método para avaliar testemunhas de BLHV e FNN em hardware usando circuitos assistidos por ancila, reproduzindo com sucesso as previsões teóricas em simulação.
2. Certificação Experimental: Os autores relatam a certificação bem-sucedida de nãolocalidade bilocal em hardware ($S_{BLHV} = 1.067(6)$) e demonstram que as testemunhas de FNN atingem 99% e 96% de seus limiares de certificação, destacando as exigências experimentais rigorosas de FNN.
3. Geometria de Medição como um Recurso: Um achado central é que o nível acessível de nãolocalidade de rede é determinado não apenas pela força do emaranhamento, mas também pela geometria da medição do nó intermediário. O estudo revela que as certificações de BLHV e FNN são otimizadas por configurações de medição diferentes.

Resultos

• Violação de BLHV: No processador IBM Kingston, a desigualdade bilocal foi violada com $S_{BLHV} = 1.067 \pm 0.006$ no emaranhamento máximo ($\theta = \pm \pi/2$), excedendo o limite clássico em mais de seis desvios padrão. A violação foi mantida ao longo de uma ampla gama de emaranhamento ($|\theta| \in [0.4\pi, 0.6\pi]$).
• Certificação de FNN: Embora as testemunhas de FNN ($R_{CNS}$ e $R_{NSC}$) tenham seguido a dependência teórica de $\theta$, o ruído do hardware atenuou os valores para $2.97$e$2.87$ respectivamente no emaranhamento máximo. Esses valores representam 99% e 96% do limite clássico (3), ficando ligeiramente abaixo da certificação. Esse hiato sublinha que a certificação de FNN é significativamente mais frágil ao ruído do que a violação de BLHV.
• Dependência de Medição: Ao variar o operador de medição conjunta $B_1(\phi, \varphi)$ de Bob, os autores mapearam o espaço de parâmetros das configurações de medição.
  • A região que satisfaz a violação de BLHV cobre aproximadamente 53% do espaço de parâmetros, enquanto a região de certificação de FNN cobre apenas ~14%.
  • As configurações ótimas para BLHV e FNN estão deslocadas entre si por $\pi/4$ no parâmetro $\phi$.
  • Crucialmente, o estudo demonstra que mesmo com estados maximamente emaranhados, ambas as violações podem desaparecer se a geometria de medição for suboptimal.

Significância
O artigo identifica a geometria de medição como um recurso independente para a nãolocalidade de rede, distinto do emaranhamento distribuído pelas fontes. Estabelece que certificar formas mais fortes de nãolocalidade (FNN) requer não apenas emaranhamento de alta fidelidade, mas também o alinhamento preciso das configurações de medição conjunta. O trabalho fornece uma rota prática para certificar a nãolocalidade de rede em processadores quânticos programáveis e ilustra o substancial hiato experimental entre verificar a bilocalidade e alcançar a certificação de nãolocalidade de rede total. Os achados sugerem que futuros protocolos de rede devem tratar o design de medição como uma variável de otimização crítica, juntamente com a qualidade da fonte.