Asymmetry effects in homodyne and heterodyne measurements: Positive operator-valued measures and asymptotic security of Gaussian-continuous-variable quantum key distribution

Resumo Técnico: Efeitos de Assimetria em Medições Homódinas e Heteródinas

Declaração do Problema
Este artigo aborda o impacto das imperfeições de medição — especificamente a assimetria decorrente de divisores de feixe desbalanceados e o descasamento das eficiências quânticas dos fotodetectores — na análise de segurança da distribuição de chaves quânticas de variáveis contínuas (CV-QKD) modulada Gaussianamente. Embora estudos anteriores tenham reconhecido a importância dessas assimetrias para geradores de números aleatórios quânticos e para a segurança, uma análise teórica sistemática baseada em Medidas de Operadores Positivos e Completos (POVMs) era carente. Os autores focam no cenário de "ruído não confiável" (untrusted-noise), onde se assume que um adversário (Eve) controla as imperfeições de medição, podendo, assim, explorá-las para comprometer a segurança do protocolo.

Metodologia
Os autores empregam uma aproximação Gaussiana para descrever a estatística de contagem de fótons tanto para a detecção homódina quanto para a detecção dupla homódina (heteródina). A metodologia procede através das seguintes etapas:

1. Derivação Estatística: Partindo da distribuição de Skellam exata para as diferenças de contagem de fótons, os autores derivam uma aproximação Gaussiana válida sob o limite de oscilador local (LO) forte. Esta aproximação leva em conta o desbalanceamento do divisor de feixe (coeficientes de transmissão/reflexão $C$ e $S$) e o descasamento de eficiência dos detectores ($\eta_1, \eta_2$).
2. Construção de POVM: Utilizando o símbolo $Q$ (função $Q$ de Husimi) das distribuições de probabilidade Gaussianas resultantes, os autores constroem as representações de operador para as POVMs ruidosas.
   • Homódina: A POVM ruidosa é derivada aplicando um canal quântico de ruído aditivo à medição projetiva ideal (projetores sobre autoestados de quadraturas).
   • Dupla Homódina: Os autores demonstram que as medições ideais sem ruído não podem ser representadas unicamente por projetores de estados coerentes quando há assimetria presente. Em vez disso, o limite sem ruído deve ser expresso em termos de projetores sobre estados comprimidos (squeezed states). Consequentemente, a POVM ruidosa é obtida aplicando um canal de ruído aditivo a esses projetores de estados comprimidos.
3. Análise de Segurança: As POVMs derivadas são aplicadas ao protocolo CV-QKD de estado coerente modulado Gaussianamente (GMCS). A análise utiliza a fórmula de Devetak-Winter para calcular a fração secreta assintótica ($K$). No cenário de ruído não confiável, o canal de ruído de medição é tratado como acessível à Eve. A informação de Holevo ($\chi_{EB}$) é calculada assumindo que Eve detém uma purificação do estado compartilhado por Alice e Bob, modificado pelo canal de ruído de medição específico.

Principais Contribuições e Resultados

• Representação de Operador de Medições Ruidosas:

  • Para a detecção homódina, os autores confirmam que a POVM ruidosa pode ser representada como uma convolução de projetores de autoestados de quadratura ideais com um canal de ruído aditivo. A matriz de covariância do excesso de ruído é unicamente determinada pelos parâmetros de assimetria.
  • Para a detecção dupla homódina, uma descoberta inovadora é a não unicidade da representação do operador. Os autores mostram que a POVM ideal sem ruído deve ser expressa usando projetores de estados comprimidos $|z, r, \phi\rangle$. O parâmetro de compressão (squeezing) $r$ não é fixado unicamente pelos parâmetros experimentais, mas reside dentro de um intervalo $[r_2, r_1]$ ditado pela condição de que a matriz de covariância do excesso de ruído deve ser semidefinida positiva.

• Impacto na Segurança Assintótica:

  • Homódina: Efeitos de assimetria (desbalanceamento do divisor de feixe e descasamento de eficiência) geralmente degradam a informação mútua e a fração de chave secreta. No entanto, os autores observam que, em cenários específicos de eficiência assimétrica, a introdução de um divisor de feixe adequadamente desbalanceado pode maximizar a informação mútua e minimizar a informação de Holevo, otimizando o desempenho.
  • Dupla Homódina: A não unicidade da representação da POVM leva a uma informação de Holevo dependente da compressão. Como a Eve controla o ruído de medição, ela pode teoricamente escolher o parâmetro de compressão $r$ dentro do intervalo permitido para maximizar sua informação (maximizar a entropia conjunta).
  • Limites na Fração Secreta: Para a detecção dupla homódina, a fração secreta assintótica é limitada por limites inferior e superior ($K_{LB}$ e $K_{UB}$) correspondentes aos extremos do parâmetro de compressão. O tamanho dessa região de incerteza aumenta com a razão de desbalanceamento do divisor de feixe.

• Degradação de Desempenho:

  • Resultados numéricos indicam que a assimetria e o excesso de ruído reduzem significamente a distância máxima de transmissão (alcance) para ambos os esquemas de detecção.
  • Na presença de ruído, o esquema de dupla homódina, embora superior à homódina em condições ideais, pode ser superado pela detecção homódina em distâncias mais longas devido ao acúmulo de ruído e ao comportamento específico da informação de Holevo sob assimetria.

Significância e Alegações
O artigo alega que a não unicidade inerente da representação do operador para as POVMs de dupla homódina é uma característica universal decorrente das imperfeições de medição. Esta característica é crítica para a análise de segurança no cenário de ruído não confiável porque implica que a informação de Holevo não é um valor único, mas depende da escolha do parâmetro de compressão.

Os autores concluem que os efeitos de assimetria introduzem vulnerabilidades nos sistemas CV-QKD. Essas imperfeições permitem que adversários degradem o desempenho do sistema e potencialmente comprometam a segurança através de estratégias como ataques dependentes de comprimento de onda ou cegamento de detector (detector blinding), onde o desbalanceamento do receptor amplifica a eficácia do ataque. O estudo enfatiza que provas de segurança precisas devem considerar esses deslocos induzidos pela assimetria e o excesso de ruído, particularmente a ambiguidade dependente da compressão na detecção heteródina, para estimar corretamente os limites inferiores da taxa de chave secreta.