Effects of coherent and incoherent measurement imperfections on multipartite quantum nonlocality and quantum key distribution

Resumo Técnico: Efeitos de Imperfeições de Medição Coerentes e Incoerentes na Nãolocalidade Quântica Multipartite e na Distribuição de Chaves Quânticas

Definição do Problema
A não-localidade de Bell multipartite é um recurso fundamental para protocolos de informação quântica independentes de dispositivo, incluindo a certificação de aleatoriedade, distribuição de chaves quânticas (QKD) e compartilhamento secreto. Embora estruturas teóricas como as desigualdades de Mermin, Svetlichny e Mermin–Ardehali–Belinskii–Klyshko (MABK) forneçam critérios para certificar a não-localidade em estados de Greenberger-Horne-Zeilinger (GHZ), implementações práticas são inevitavelmente comprometidas por imperfeições de medição. Estudos anteriores abordaram tipos específicos de erros, como desalinhamento de base ou ruído de leitura, frequentemente de forma isolada. No entanto, uma comparação sistemática entre dois modelos de erro fisicamente distintos — desalinhamento angular coerente e inversão de resultado incoerente — e seus impactos diferenciais em várias desigualdades de Bell e limites de taxa de chave em sistemas $n$-partidos tem sido ausente. Este trabalho aborda a lacuna na compreensão de como essas imperfeções específicas degradam as violações de Bell e restringem a geração de chaves secretas.

Metodologia
Os autores analisam estados GHZ $n$-partidos sujeitos a dois modelos representativos de imperfeição de medição:

1. Desalinhamento Angular Coerente: Modelado como uma rotação unitária da base de medição por um ângulo $\theta$. Isso introduz uma modulação dependente de fase nas correlações multipartites. O estudo assume uma rotação que preserva a ortogonalidade, onde os ângulos de deflexão para as duas configurações de medição são idênticos ($\theta_1 = \theta_2 \equiv \theta$).
2. Inversão de Resultado Incoerente: Modelado como um processo estocástico clássico onde o resultado binário registrado é invertido com probabilidade $1-p$ (onde $p$ é a probabilidade de leitura correta). Isso é descrito dentro do framework de Medidas de Operadores de Valor Médio Positivo (POVM), resultando em uma atenuação uniforme das correlações totais.

Os autores derivam expressões analíticas para os valores de Bell degradados ($S'$) para as desigualdades de Mermin, Svetlichny e MABK sob ambos os modelos. Eles determinam os limiares críticos ($\theta_{cr}$ e $p_{cr}$) necessários para manter uma violação dos limites clássicos. O estudo também conecta esses valores de Bell degradados aos limites de taxa de chave assintótica de Devetak–Winter sob um modelo de ataque de combinação convexa, onde um espião (Eve) controla a fonte de emaranhamento e tem acesso total às informações de medição local. A análise é estendida para incluir estados de Werner para considerar a visibilidade da fonte ($v$) juntamente com as imperfeições de medição.

Principais Resultados

• Desalinhamento Angular Coerente:

  • Este modelo de erro produz janelas de violação angular periódicas. O valor de Bell degrada-se como $\cos(m\theta)$, onde $m$ é o número de nós defeituosos.
  • O ângulo de desalinhamento crítico escala como $\theta_{cr} \sim O(1/n)$. À medida que o número de partes $n$ aumenta, a largura das janelas individuais de violação encolhe ($\propto 1/n$), embora o número de janelas no intervalo $[0, \pi]$ aumente linearmente.
  • Dependência de Paridade: A desigualdade de Mermin exibe um comportamento dependente de paridade, com robustez subótima para $n$ par. A desigualdade MABK resolve isso, fornecendo um limiar unificado para todos os $n$.
  • Sensibilidade de Svetlichny: A desigualdade de Svetlichny, usada para certificar a não-localidade multipartite genuína (GMN), é significativamente mais sensível ao desalinhamento do que os critérios de não-localidade padrão. Suas janelas de violação são mais estreitas (semi-largura $\approx \pi/4n$) comparadas às de Mermin/MABK (semi-largura $\approx \pi/2n$).

• Inversão de Resultado Incoerente:

  • Este modelo resulta em um limiar crítico único para a probabilidade de leitura correta $p$, determinado pela condição $S' > S_C$. O valor degradado escala como $(2p-1)^n$.
  • Tendência com $n$: Para as desigualdades MABK e Mermin de $n$ ímpar, a probabilidade tolerável de inversão de resultado ($1-p_{cr}$) aumenta com $n$, aproximando-se assintoticamente de $(2-\sqrt{2})/4 \approx 0,1464$. Por outro lado, para a desigualdade de Svetlichny, a probabilidade de inversão tolerável diminui com $n$, aproximando-se de zero quando $n \to \infty$. Isso indica que certificar GMN torna-se progressivamente mais exigente com o tamanho do sistema sob erros estocásticos.

• Implicações na Taxa de Chave:

  • Os autores estabelecem que a geração de chave secreta positiva impõe restrições mais rigorosas do que a mera certificação de não-localidade.
  • Sob desalinhamento coerente, as janelas angulares para a geração de chave segura são mais estreitas do que para a violação de Bell.
  • Sob inversão incoerente, a probabilidade de leitura crítica necessária para uma taxa de chave positiva ($p_{th}$) é maior do que a necessária para meramente certificar GMN ($p_{cr}$). Consequentemente, existe um regime de parâmetros onde a GMN pode ser certificada, mas nenhuma chave secreta pode ser gerada.
  • Para estados de Werner, a visibilidade necessária ($v_{th}$) para tolerar um determinado nível de erro de medição aumenta com o número de partes $n$.

Significância e Alegações
O artigo afirma fornecer benchmarks quantitativos para a robustez da certificação de não-localidade multipartite e estimativa de taxa de chave sob imperfeições de medição. Ao distinguir entre mecanismos de erro coerentes e incoerentes, o trabalho esclarece que:

1. Erros coerentes levam a uma sensibilidade periódica dependente de $n$, enquanto erros incoerentes levam a uma degradação monotônica com comportamentos de escala distintos para diferentes desigualdades.
2. As desigualdades de Svetlichny são inerentemente mais frágeis a ambos os tipos de erros em comparação com os critérios de Mermin/MABK, particularmente conforme o tamanho do sistema cresce.
3. Protocolos de QKD independentes de dispositivo requerem maior fidelidade de medição do que a mera certificação de não-localidade, um insight crítico para o design experimental.

Os autores concluem que estes resultados oferecem uma base para protocolos multipartites robustos e sugerem que trabalhos futuros poderiam estender estes modelos analíticos para ruído não-isotrópico, estruturas de emaranhamento complexas (ex: estados de grafo) e estratégias de escuta mais gerais.