Semi-Device-Independent Quantum Key Distribution from Operational Assumptions

Resumo Técnico: Distribuição de Chaves Quânticas Semi-Independente de Dispositivo a partir de Suposições Operacionais

Problema
A distribuição de chaves quânticas semi-independente de dispositivo (SDI-QKD) busca preencher a lacuna entre protocolos totalmente independentes de dispositivo (que exigem testes de Bell sem brechas e são experimentalmente exigentes) e protocolos padrão de preparação e medição (que exigem a caracterização completa dos dispositivos). Os frameworks de SDI-QKD existentes tipicamente dependem de uma suposição confiável em relação à dimensão do espaço de Hilbert da fonte. No entanto, esse limite de dimensão não quantifica diretamente a informação operacionalmente acessível a partir do conjunto de preparação, e o suporte exato em dimensão finita é frequentemente uma restrição não natural para fontes ópticas (que ocupam espaços de Fock ilimitados). Além disso, os protocolos atuais confundem o teste de Código de Acesso Aleatório (RAC) com a geração de chaves, retendo erros de decodificação intrínsecos, e dependem de certificados de entropia que podem não explorar plenamente as restrições operacionais da fonte.

Metodologia
Os autores propõem um framework para SDI-QKD baseado em suposições operacionais de fonte em vez de limites dimensionais. Eles formulam quatro suposições distintas, cada uma definida por um limite superior escalar ($\tau$) para uma tarefa específica de recuperação de informação realizada no conjunto de quatro preparações de Alice:

1. Discriminação de quatro estados ($D$): A probabilidade ótima de identificar o estado emitido.
2. Discriminação de paridade ($\Pi$): A probabilidade ótima de inferir a paridade ($x_0 \oplus x_1$) da string de entrada.
3. Discriminação assistida por exclusão ($D \oplus A$): Uma composição de discriminação de quatro estados e exclusão de estado (eliminar um estado candidato).
4. Paridade assistida por exclusão ($\Pi \oplus A$): Uma composição de discriminação de paridade e exclusão de estado.

O artigo deriva as fronteiras clássicas exatas de RAC para cada uma das quatro suposições sem restringir o alfabeto de mensagem clássica. Eles também analisam o desvio quântico dessas fronteiras usando duas famílias específicas de deformações de fonte:

• BB84 despolarizado de preparação: Reduz o contraste dos estados (visibilidade $\nu$).
• Vazamento de soma direta (Direct-sum leakage): Adiciona um setor ortogonal que revela explicitamente o $x$ de entrada (fração de vazamento $\ell$).

Para certificar a segurança, os autores empregam um protocolo de chave retida de três configurações. Bob utiliza as configurações $y=0, 1$ para o teste de RAC e uma terceira configuração $y=2$ para a geração de chave em um ramo específico ($x=00$ ou $x=11$) onde a realização ideal de BB84 possui erro zero. Isso separa o teste da fonte da geração da chave.

A segurança é certificada contra todas as extensões Bob–Eve compatíveis com o comportamento observado de três configurações e o limite operacional da fonte. Dois certificados de segurança independentes de dimensão são derivados:

1. Certificado de min-entropia: Obtido através da otimização direta da probabilidade de tentativa de adivinhação da chave por Eve usando relaxações de momentos não comutativos.
2. Certificado PM-BFF: Uma relaxação semidefinida de preparação e medição baseada no limite variacional de Brown–Fawzi–Fawzi (BFF) para a entropia de von Neumann condicional, refinada pela imposição de relações de estacionalidade de Sylvester e construção de localizadores de norma.

Contribuições Principais e Resultados

• Fronteiras Clássicas Exatas: O artigo estabelece os limites clássicos exatos para pontuações de RAC sob as quatro suposições operacionais. Eles provam que a estratégia BB84 atinge o desvio quântico máximo de todas as quatro fronteiras.
• Robustez Assistida por Exclusão: A descoberta mais significativa é que as suposições envolvendo exclusão de estado ($D \oplus A$ e $\Pi \oplus A$) proporcionam uma robustez muito maior do que as suposições de apenas identificação ($D$ e $\Pi$).
  • Sob despolarização de preparação, os limites de apenas identificação exigem alta visibilidade (ex: $\nu > 0,72$ para $D$) para gerar uma taxa de chave positiva.
  • Em contraste, os limites assistidos por exclusão certificam taxas de chave positivas até visibilidades de preparação quase nulas ($\nu \approx 0,01$).
  • Essa vantagem persiste mesmo sob despolarização do lado do receptor dos decodificadores de referência, desde que a visibilidade do receptor exceda o limiar de mensurabilidade conjunta ($\nu_M > 1/\sqrt{2}$).
• Vazamento de Soma Direta: Sob o modelo de vazamento de soma direta, onde a fonte revela progressivamente o $x$ enquanto o ramo da chave permanece livre de erros, todos os quatro limites de taxa otimizados independentemente permanecem positivos para qualquer vazamento incompleto ($\ell < 1$) e desaparecem apenas no vazamento completo ($\ell = 1$).
• Certificação de Entropia: O certificado PM-BFF supera consistentemente o certificado de min-entropia, ampliando a região de taxa positiva. Para o limite fixo implicado pela dimensão ($D \leq 1/2$), a abordagem PM-BFF reduz a visibilidade crítica de 0,8895 (min-entropia) para 0,8741.
• Validação Numérica: Os autores demonstram que o desvio de BB84 está dentro de $5 \times 10^{-6}$ do ótimo quântico de dimensão arbitrária para todas as quatro suposições, sugerindo que o BB84 é próximo do ideal para essas tarefas.

Significância e Alegações
O artigo afirma que a segurança semi-independente de dispositivo robusta depende não apenas do que um adversário (Eve) pode identificar, mas também do que ela pode excluir. Ao mudar de limites dimensionais para limites de tarefas operacionais, especificamente aqueles que incorporam a exclusão de estado, o protocolo alcança segurança em regimes de baixíssima visibilidade de fonte e alto ruído onde os métodos anteriores de SDI-QKD falham.

O trabalho demonstra que:

1. Suposições operacionais de fonte são uma restrição mais natural e poderosa do que limites de dimensão de espaço de Hilbert para fontes ópticas.
2. As suposições assistidas por exclusão ($D \oplus A$ e $\Pi \oplus A$) removem estruturalmente extensões adversariais que os limites de apenas identificação deixam admissíveis.
3. A combinação de um protocolo de chave retida de três configurações e o certificado de entropia PM-BFF reduz significativamente os limiares de ruído para a geração de chaves seguras, tornando a SDI-QKD viável em regimes anteriormente considerados muito ruidosos.

Os autores concluem que esses resultados mostram que a segurança robusta é alcançável ao aproveitar a incapacidade operacional de um adversário de excluir certos estados, mesmo quando ele não pode identificá-los perfeitamente.