Improving device-independent quantum key distribution protocols through multiple routed Bell tests

Resumo Técnico: Melhoria de Protocolos de Distribuição de Chaves Quânticas Independente de Dispositivo através de Múltiplos Testes de Bell Roteados

Declaração do Problema
A distribuição de chaves quânticas independente de dispositivo (DI-QKD) oferece segurança com base na teoria da informação com requisitos mínimos em relação ao hardware experimental. No entanto, sua implementação prática enfrenta obstáculos significativos, particularmente o requisito de testes de Bell de longo alcance entre partes distantes. Embora testes de Bell roteados com troca de emaranhamento (usando unidades de medição de estado de Bell ou BSM distantes) tenham sido propostos para relaxar os requisitos de eficiência de detecção para dispositivos de longa distância, eles dependem da premissa de que os testes locais próximos à fonte demonstrem violações próximas do ideal.

Uma vulnerabilidade crítica surge quando os testes locais são imperfeitos. Nesses cenários, um adversário (Eve) pode empregar uma estratégia convexa onde a chave real é gerada usando mais estados locais do que os observados pelo teste. Isso é facilitado pelas eficiências de detecção não ideais de BSMs distantes. Eve pode bloquear seletivamente contribuições de BSM de estratégias ideais, permitindo que mais rodadas locais sejam usadas para a geração de chaves. Isso leva a uma superestimação das taxas de chave secreta e cria uma vulnerabilidade crítica, especialmente se Eve controla as fontes e os Bしまs. Soluções existentes, como configurações prontas para eventos (event-ready) que exigem memórias quânticas, são atualmente inviáveis para longas distâncias práticas. Além disso, métodos anteriores para reduzir os requisitos de eficiência frequentemente necessitam de testes de Bell de longo alcance ou estados hiper-emaranhados de múltiplos resultados, que permanecem experimentalmente difíceis.

Metodologia
Os autores propõem um protocolo DI-QKD modificado utilizando múltiplas fontes e dispositivos de medição, introduzindo uma técnica denominada Teste de Bell de Decoy (DBT). A arquitetura central envolve:

1. Múltiplas Fontes e Dispositivos: Alice utiliza $(N + t - 1)$ fontes e dispositivos, onde $N$ corresponde ao número de portas em um BSM multiport e $t$ representa o número de dispositivos de teste locais. Bob utiliza uma única fonte.
2. Roteamento Aleatório: Em cada rodada, interruptores controlados pelo usuário honesto (Alice) roteiam aleatoriamente os qubits. Alguns qubits são enviados para o BSM distante (para rodadas de geração de chave onde ocorre uma projeção bem-sucedida $z=1$), enquanto outros são roteados para dispositivos locais para testes CHSH imediatos.
3. Consistência Condicional: O protocolo impõe uma restrição onde a violação dos testes de Bell locais deve permanecer consistente com a violação observada globalmente, mesmo quando uma projeção de BSM bem-sucedida ($z=1$) é alcançada. Especificamente, a violação CHSH $S_{z=1}$ condicionada a eventos de BSM bem-sucedidos deve corresponder à violação global $S$.
4. Análise de Segurança: A análise de segurança assume que o caminho de roteamento é desconhecido para os dispositivos e para a fonte. Os autores analisam estratégias adversariais onde Eve tenta maximizar a taxa de chave manipulando a distribuição de violações entre as rodadas de BSM e as rodadas locais. Eles derivam limiares de eficiência e calculam a taxa de chave assintótica usando o limite de Devetak-Winter, considerando as restrições impostas pelos DBTs.
5. Extensão para SDI: O conceito de roteamento é estendido para um cenário semi-independente de dispositivo (SDI) usando testemunhas de dimensão. Fontes limitadas por qubit enviam estados para o BSM, garantindo a codificação correta sem caracterização total do dispositivo, baseando-se na mesma lógica de roteamento.

Principais Contribuições e Resultados

• Redução na Eficiência Crítica de Detecção: O principal resultado é uma redução significativa na eficiência de detecção de BSM crítica ($\eta$) necessária para gerar uma taxa de chave secreta positiva. Para altas visibilidades (por exemplo, parâmetro Bell-CHSH $S \approx 2,77$), o uso de um BSM de 3 portas ($N=3$) e 3 testes de Bell de decoy ($t=3$) reduz o requisito de eficiência crítica de aproximadamente 15% (sem DBTs) para ~4,7%.
• Intervalo de Melhoria Geral: Para parâmetros de Bell na faixa $2,75 \lesssim S \lesssim 2,8$, o protocolo alcança uma redução de 4–12% nos requisitos de eficiência de detecção crítica em comparação com os testes de Bell roteados padrão.
• Potencial de Eficiência Arbitrária: Os autores demonstram que, ao aumentar o número de dispositivos de medição ($N$) e testes de decoy ($t$), o protocolo pode teoricamente suportar taxas de chave positivas para eficiências de BSM arbitrárias, desde que os testes locais sejam suficientemente robustos.
• Requisitos de Testes Locais: O protocolo desloca o fardo experimental dos testes de longo alcance para testes locais de curto alcance e alta eficiência. Para que o protocolo seja seguro com eficiências de detecção locais finitas, os dispositivos locais requerem eficiências de aproximadamente 92%.
• Extensão SDI: O artigo estende com sucesso a estratégia de roteamento para testemunhas de dimensão, criando um protocolo semi-independente de dispositivo que garante a natureza de qubit-limitada da fonte enquanto mantém a segurança contra ataques específicos.

Significância e Alegações
O artigo afirma que esta abordagem permite a DI-QKD de longa distância ao alavancar configurações de roteamento de alto rendimento e livre de lacunas (loophole-free) e múltiplos testes locais, em vez de depender de memórias quânticas de difícil implementação ou testes de Bell de longo alcance com violações ideais. Ao impor consistência entre os testes locais e os resultados do BSM, o protocolo limita severamente as estratégias adversariais que exploram eficiências de BSM imperfeitas.

Os autores enfatizam que este método permite que pesquisadores desloquem o foco de experimentos práticos para configurações de curto alcance, onde altas eficiências de detecção e fortes violações CHSH são mais viáveis. Embora a vantagem seja mais pronunciada em altas visibilidades e eficiências de BSM ultra-baixas (típicas de experimentos de longa distância), a técnica oferece um caminho viável para superar o gargalo da eficiência crítica na DI-QKD. O artigo conclui que, embora a realização experimental de tais configurações de roteamento permaneça um desafio, o framework teórico fornece um método robusto para melhorar a distância máxima alcançável para protocolos de DI-QKD.