Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

Resumo Técnico: Nãolocalidade de Bell Robusta a partir de Estados Gottesman–Kitaev–Preskill

Definição do Problema
As violações da desigualdade de Bell são essenciais para certificar a não-classicalidade e descartar o realismo local. No entanto, em sistemas de variáveis contínuas (CV), a demonstração da nãolocalidade de Bell é restringida pelo esquema de medição. Embora a detecção homódina ofereça alta eficiência — crucial para fechar a lacuna de detecção (detection loophole) — ela é fundamentalmente limitada: a nãolocalidade de Bell não pode ser gerada a partir de medições gaussianas em estados gaussianos. Consequentemente, estados não-gaussianos são necessários. Propostas existentes utilizando estados com subtração de fótons ou estados de gato óptico sofrem com a fragilidade sob perda, e seus recursos não-gaussianos são frequentemente degradados em implementações realistas. Além disso, testar desigualdades de Bell em sistemas CV requer a discretização de resultados contínuos via "binagem" (binning). Abordagens anteriores frequentemente otimizavam a binagem para estados ou configurações específicas, afetando a robustez e a magnitude das violações observadas. A questão central abordada é se a codificação Gottesman–Kitaev–Preskill (GKP), que naturalmente codifica qubits em modos bosônicos, pode permitir violações de Bell robustas usando apenas detecção homódina e binagem fixa, mesmo na presença de compressão (squeezing) finita e ruído.

Metodologia
Os autores propõem um arcabouço onde cada parte realiza detecção homódina em um modo bosônico compartilhado e discretiza o resultado contínuo via uma regra de binagem periódica fixa. Esta binagem corresponde a medições de Pauli lógicas ($X, Y, Z$) no qubit codificado.

1. Estado de Recurso: O estudo utiliza estados GKP de rede quadrada. Os codewords GKP ideais são pentes de Dirac não-normalizáveis. Os autores modelam estados realistas usando uma aproximação de energia finita gerada por um filtro de energia $e^{-\epsilon \hat{n}}$. Isso substitui o pente de Dirac por uma rede de picos gaussianos estreitos sob um envelope gaussiano mais amplo, caracterizado por um parâmetro de compressão $r_{dB}$.
2. Esquema de Medição: As partes medem quadraturas rotacionadas $\hat{q}_{\theta}$ em ângulos específicos ($\theta_Z=0, \theta_X=\pi/2, \theta_Y=\pi/4$) correspondentes a $Z, X$ e $Y$ lógicos. O resultado contínuo $q_\theta$ é mapeado para um bit binário $o \in \{0, 1\}$ com base em se ele cai dentro de intervalos periódicos $R_o$.
3. Arcabouço Teórico: Os autores derivam uma expressão analítica explícita para a distribuição de probabilidade conjunta de $N$ partes $p(o|x)$ para qualquer estado GKP de energia finita. Ao expandir o estado codificado em termos de operadores de Pauli lógicos e utilizar a estrutura de mistura gaussiana das funções de Wigner GKP, eles reduzem a probabilidade de $N$ modos a um produto de sobreposições de um único modo. Essas sobreposições são expressas como séries absolutamente convergentes envolvendo funções de erro (Eq. 7).
4. Testes de Bell: O arcabouço é aplicado a cenários multipartites ($N \ge 3$) usando duas estruturas de emaranhamento distintas:
   • Estados GHZ: Testados usando a desigualdade de Mermin–Ardehali–Belinskii–Klyshko (MABK).
   • Estados W: Testados usando uma desigualdade de probabilidade do tipo Cabello.
     O estudo também analisa os efeitos da perda de fótons (modelada como um canal de divisor de feixe com transmissividade $\eta$) e ruído térmico.

Principais Contribuições e Resultados

• Teorema de Não-Existência Bipartite: Os autores estabelecem uma obstrução fundamental para sistemas bipartites: para estados de par de Bell, as medições de Pauli (implementadas via homódina + binagem fixa) geram apenas correlações locais no cenário CHSH. Nenhuma violação é possível no caso bipartite sob estas restrições.
• Violações Multipartites: Indo além de duas partes, o estudo demonstra que estados GHZ e W codificados em GKP com compressão finita exibem forte nãolocalidade multipartite. Eles violam desigualdades de Bell multipartites usando apenas leitura por homódina.
• Ferramenta Analítica: A derivação da fórmula de sobreposição de um único modo (Eq. 7) fornece um elo computacionalmente eficiente entre os parâmetros físicos GKP (compressão, estrutura de rede) e as estatísticas de homódina binada resultante. Isso permite a avaliação numérica de violações de Bell sob perda e compressão finita.
• Limiares e Robustez:
  • Compressão (Squeezing): Uma maior compressão ($r_{dB}$) melhora a aproximação das medições de Pauli lógicas, aumentando os valores de violação de Bell.
  • Perda: A perda de fótons borra a grade do espaço de fase, reduzindo a distinguibilidade. Os autores definem um parâmetro de compressão crítico ($r_{crit}$) como a compressão mínima necessária para violar uma desigualdade específica para um determinado nível de perda.
  • Comparação: Estados do tipo W (testados com a desigualdade de Cabello) são encontrados como mais robustos à compressão finita do que estados GHZ (testados com MABK). Especificamente, testemunhas do tipo W alcançam violações em limiares de compressão mais baixos do que testemunhas do tipo GHZ para o mesmo número de partes ($N=3$).
  • Compensações de Ruído: A análise quantifica um "orçamento de ruído", mostrando que uma transmissão mais alta pode compensar o ruído térmico moderado, mas o ruído próximo ao vácuo é necessário para tolerar atenuação significativa.
• Distância Geométrica: A análise da distância geométrica ao politopo local confirma que as correlações do tipo W são mais robustas à compressão finita. Além disso, aumentar as configurações de medição de 2 para 3 amplia drasticamente essa distância, sugerindo que a nãolocalidade baseada em homódina é mais rica do que o que as testemunhas padrão de duas configurações capturam.

Significância e Alegações
O artigo afirma fornecer um caminho para testes de Bell práticos e livres de lacunas (loophole-friendly) em sistemas de variáveis contínuas. Ao alavancar a codificação GKP, os autores mostram que violações de Bell robustas são alcançáveis usando apenas detecção homódina de alta eficiência e binagem fixa, sem a necessidade de operações não-gaussianas complexas (como portas T) ou estados não-gaussianos frágeis.

• Relevância Experimental: Os resultados são diretamente aplicáveis a plataformas onde estados GKP foram realizados, como íons aprisionados, cavidades de micro-ondas e fontes fotônicas integradas.
• Escalabilidade: Embora estados GHZ possam ser gerados usando acoplamentos gaussianos e operações de Clifford (compatíveis com arquiteturas GKP), a preparação de estados W permanece um desafio, pois requer recursos não-Clifford. Os autores identificam isso como um obstáculo experimental fundamental.
• Impacto Amplo: O arcabouço analítico (Eq. 7) estende-se além dos testes de Bell, oferecendo ferramentas para protocolos de preparação-e-medição e certificação de privacidade em sensoriamento quântico distribuído.

O trabalho conclui que os estados GKP servem como uma ponte natural entre os requisitos da computação quântica tolerante a falhas e a necessidade de certificação robusta e de alta eficiência da nãolocalidade quântica em tecnologias fotônicas e de variáveis contínuas.