Secure One-Sided Device-Independent Quantum Key Distribution Under Collective Attacks with Enhanced Robustness

Resumo Técnico: Distribuição de Chaves Quânticas Independente de Dispositivo de Um Lado Segura sob Ataques Coletivos com Robustez Aprimorada

Definição do Problema
A Distribuição de Chaves Quânticas (QKD) tradicionalmente baseia-se em pressupostos ou dependentes de dispositivo (DD), onde todos os dispositivos são confiáveis, ou em pressupostos independentes de dispositivo (DI), onde a segurança é garantida apenas pela violação de desigualdades de Bell. Embora a DI-QKD ofereça o mais alto nível de segurança, sua implementação experimental é dificultada por requisitos rigorosos, particularmente altas eficiências de detecção (frequentamente >92%) e a necessidade de testes de Bell sem lacunas (loophole-free). Por outro modo, a DD-QKD é experimentalmente viável, mas vulnerável a ataques de canal lateral se os dispositivos não forem caracterizados. A QKD independente de dispositivo de um lado (1sDI-QKD) oferece um meio-termo, assumindo confiança em apenas um dos dispositivos de medição (tipicamente Bob), utilizando o direcionamento quântico (quantum steering) para certificar a segurança. No entanto, os protocolos 1sDI existentes muitas vezes carecem de uma expressão de taxa de chave assintótica de forma fechada que ligue diretamente a violação de steering observada à informação do espião, ou dependem de limites baseados apenas em Taxas de Erro de Bit Quântico (QBER) em vez de desigualdades de steering explícitas. Este artigo aborda a lacuna na derivação de uma taxa de chave analítica de forma fechada para 1sDI-QKD sob ataques coletivos, utilizando especificamente a desigualdade de steering de três configurações de Cavalcanti–Jones–Wishem–Reid (CJWR).

Metodologia
Os autores propõem um protocolo 1sDI-QKD baseado em emaranhamento onde Alice (não confiável) e Bob (confiável) compartilham um estado de Bell maximamente emaranhado. O protocolo emprega três medições de Pauli binárias por parte. Os bits da chave são extraídos de rodadas onde ambas as partes medem na base $\sigma_z$, enquanto outras rodadas são usadas para estimar o parâmetro de steering CJWR $F_3$.

A análise de segurança é conduzida contra ataques coletivos ideais, onde o espião (Eve) aplica operações idênticas e independentes entre as rodadas. A derivação segue uma estratégia de redução de quatro etapas:

1. Redução de Dimensionalidade: Utilizando as simetrias da desigualdade CJWR, os autores provam que o ataque ideal de Eve pode ser restrito a um subespaço de dois qubits, mesmo que o espaço de Hilbert subjacente seja de maior dimensão.
2. Redução de Estado: A análise é adicionalmente reduzida a estados Bell-diagonais. Os autores demonstram que qualquer estado de dois qubits pode ser simetrizado em uma forma Bell-diagonal sem alterar o valor do funcional CJWR, simplificando assim o cálculo da informação acessível de Eve.
3. Cálculo do Limite de Holevo: Os autores derivam um limite superior para a informação acessível de Eve (quantificada pela quantidade de Holevo $\chi$) para estados Bell-diagonais. Ao utilizar desigualdades entrópicas, eles relacionam este limite diretamente à violação de steering CJWR observada.
4. Derivação da Taxa de Chave: Combinando a informação mútua entre Alice e Bob (derivada do QBER) e o limite superior sobre a informação de Eve, os autores aplicam a fórmula de Devetak–Winter para obter um limite inferior de forma fechada da taxa de chave assintótica.

Principais Contribuições

• Taxa de Chave de Forma Fechada: O artigo deriva uma expressão analítica explícita para a taxa de chave assintótica em 1sDI-QKD:
  $$r_{1sDI} \geq 1 - h(Q) - h\left(\frac{1 + \sqrt{(F_3^2 - 1)/2}}{2}\right)$$
  onde $Q$ é o QBER, $F_3$ é o parâmetro de steering CJWR observado, e $h(x)$ é a função de entropia binária. Isso liga diretamente a taxa de chave à violação de steering, de forma análoga a como a DI-QKD liga as taxas às violações de Bell.
• Análise de Tolerância ao Ruído: O protocolo é testado sob ruído depolarizante. Os autores mostram que o protocolo tolera um QBER crítico ($Q_c$) de 8,62%. Isso é significativamente superior aos protocolos DI-QKD padrão (tipicamente 7,1% para esquemas baseados em CHSH) e aproxima-se da robustez dos esquemas DD totalmente confiáveis (11%), mantendo pressupostos de confiança mais fracos que os DD.
• Limiares de Eficiência de Detecção: O estudo modela as ineficiências de detecção no lado não confiável (Alice) via resultados nulos.
  • Sem pós-seleção, a geração de chave segura é possível com eficiências de detecção tão baixas quanto 82,7% (sob visibilidade ideal).
  • Com pós-seleção, o limiar cai para 74,5%.
    Estes limiares são notavelmente menores do que os exigidos para DI-QKD (frequentemente >92%), destacando a vantagem prática do cenário 1sDI em ambientes com perdas.

Resultos

• Robustez: O protocolo demonstra uma tolerância ao ruído superior em comparação com os protocolos DI-QKD existentes. Enquanto a DI-QKD baseada em desigualdades de Bell de três configurações tolera até 7,5% de QBER, e as desigualdades de Bell assimétricas até 8,34%, a proposta 1sDI baseada em CJWR alcança 8,62%.
• Eficiência: A análise revela que a geração de chave segura é viável com eficiências de detecção tão baixas quanto 74,5% (com pós-seleção), o que está bem abaixo dos requisitos típicos de 92%+ para DI-QKD.
• Comparação: O artigo compara seus achados com outros protocolos 1sDI (ex: Branciard et al., Tomamichel et et al., Pramanik et al.). Diferentemente de trabalhos anteriores que limitam a informação de Eve via QBER ou relações de incerteza entrópica sem dependência explícita de steering, ou daqueles que fornecem apenas limites numéricos via programação semidefinida, este trabalho fornece um limite analítico de forma fechada e independente de modelo, dependente do par $(Q, F_3)$.

Significância e Alegações
Os autores afirmam que este trabalho representa um passo significativo para a viabilidade experimental da 1sDI-QKD. Ao estabelecer uma taxa de chave de forma fechada que depende explicitamente da violação da desigualdade de steering, o protocolo simplifica a certificação de segurança e aumenta a relevância prática. As descobertas destacam a 1sDI-QKD como uma alternativa robusta baseada em steering para comunicação quântica segura, oferecendo um equilíbrio entre a viabilidade experimental da DD-QKD e os pressupostos mínimos de confiança da DI-QKD. Os autores observam que, embora a análise atual seja restrita à segurança assintótica contra ataques coletivos, os limites de rodada única derivados servem como um bloco de construção fundamental para futuras extensões para segurança composicional contra ataques coerentes gerais. O artigo conclui que estes resultados oferecem percepções relevantes para implementações experimentais próximas, particularmente em cenários com detecção imperfeita e canais ruidosos.