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

Resumen Técnico: Efectos de la Asimetría en Mediciones Homodinas y Heterodinas

Planteamiento del Problema
Este artículo aborda el impacto de las imperfecciones de medición —específicamente la asimetría derivada de divisores de haz desequilibrados y desajustes en la eficiencia cuántica de los fotodetectores— en el análisis de seguridad de la distribución de claves cuánticas de variables continuas (CV-QKD) modulada gaussianamente. Si bien estudios previos han reconocido la importancia de estas asimetrías para los generadores de números aleatorios cuánticos y la seguridad, ha faltado un análisis teórico sistemático basado en Medidas de Operadores Positivos (POVM). Los autores se centran en el escenario de "ruido no confiable" (untrusted-noise), donde se asume que un adversario (Eve) controla las imperfecciones de la medición, pudiendo así explotarlas para comprometer la seguridad del protocolo.

Metodología
Los autores emplean una aproximación gaussiana para describir la estadística del conteo de fotones tanto para la detección homodina como para la doble homodina (heterodina). La metodología procede a través de los siguientes pasos:

1. Derivación Estadística: Partiendo de la distribución Skellam exacta para las diferencias de conteo de fotones, los autores derivan una aproximación gaussiana válida bajo el límite de oscilador local (LO) fuerte. Esta aproximación tiene en cuenta el desequilibrio del divisor de haz (coeficientes de transmisión/reflexión $C$ y $S$) y los desajustes de eficiencia del detector ($\eta_1, \eta_2$).
2. Construcción de POVM: Utilizando el símbolo-$Q$ (función $Q$ de Husimi) de las distribuciones de probabilidad gaussianas resultantes, los autores construyen las representaciones operacionales de las POVM ruidosas.
   • Homodina: La POVM ruidosa se deriva aplicando un canal cuántico de ruido aditivo a la medición proyectiva ideal (proyectores sobre los autoestados de las cuadraturas).
   • Doble Homodina: Los autores demuestran que las mediciones ideales sin ruido no pueden representarse de forma única mediante proyectores de estados coherentes cuando existe asimetría. En su lugar, el límite sin ruido debe expresarse en términos de proyectores sobre estados comprimidos (squeezed states). En consecuencia, la POVM ruidosa se obtiene aplicando un canal de ruido aditivo a estos proyectores de estados comprimidos.
3. Análisis de Seguridad: Las POVM derivadas se aplican al protocolo GMCS (estado coherente modulado gaussianamente) de CV-QKD. El análisis utiliza la fórmula de Devetak-Winter para calcular la fracción de clave secreta asintótica ($K$). En el escenario de ruido no confiable, el canal de ruido de medición se trata como accesible para Eve. La información de Holevo ($\chi_{EB}$) se calcula asumiendo que Eve posee una purificación del estado compartido por Alice y Bob, modificada por el canal de ruido de medición específico.

Contribuciones Clave y Resultados

• Representación Operacional de Mediciones Ruidosas:

  • Para la detección homodina, los autores confirman que la POVM ruidosa puede representarse como una convolución de los proyectores de autoestados de cuadratura ideales con un canal de ruido aditivo. La matriz de covarianza del exceso de ruido está determinada de forma única por los parámetros de asimetría.
  • Para la detección doble homodina, un hallazgo novedoso es la no unicidad de la representación operacional. Los autores muestran que la POVM ideal sin ruido debe expresarse utilizando proyectores de estados comprimidos $|z, r, \phi\rangle$. El parámetro de compresión $r$ no está fijado de forma única por los parámetros experimentales, sino que se sitúa dentro de un intervalo $[r_2, r_1]$ dictado por la condición de que la matriz de covarianza del exceso de ruido debe ser semidefinida positiva.

• Impacto en la Seguridad Asintótica:

  • Homodina: Los efectos de la asimetría (desequilibrio del divisor de haz y desajuste de eficiencia) generalmente degradan la información mutua y la fracción de clave secreta. Sin embargo, los autores señalan que en escenarios específicos de eficiencia asimétrica, la introducción de un divisor de haz adecuadamente desequilibrado puede maximizar la información mutua y minimizar la información de Holevo, optimizando así el rendimiento.
  • Doble Homodina: La no unicidad de la representación de la POVM conduce a una información de Holevo dependiente de la compresión. Dado que Eve controla el ruido de la medición, ella puede teóricamente elegir el parámetro de compresión $r$ dentro del intervalo permitido para maximizar su información (maximizar la entropía conjunta).
  • Límites de la Fracción Secreta: Para la detección doble homodina, la fracción de clave secreta asintótica está acotada por límites inferiores y superiores ($K_{LB}$ y $K_{UB}$) correspondientes a los extremos del parámetro de compresión. El tamaño de esta región de incertidumbre aumenta con la razón de desequilibrio del divisor de haz.

• Degradación del Rendimiento:

  • Los resultados numéricos indican que la asimetría y el exceso de ruido reducen significativamente la distancia máxima de transmisión (alcance) para ambos esquemas de detección.
  • En presencia de ruido, el esquema de doble homodina, aunque superior a la homodina en condiciones ideales, puede ser superado por la detección homodina a distancias más largas debido a la acumulación de ruido y al comportamiento específico de la información de Holevo bajo asimetría.

Significancia y Reivindicaciones
El artículo sostiene que la no unicidad inherente de la representación operacional de las POVM de doble homodina es una característica universal que surge de las imperfecciones de medición. Esta característica es crítica para el análisis de seguridad en el escenario de ruido no confiable porque implica que la información de Holevo no es un valor único, sino que depende de la elección del parámetro de compresión.

Los autores concluyen que los efectos de la asimetría introducen vulnerabilidades en los sistemas de CV-QKD. Estas imperfecciones permiten a los adversarios degradar el rendimiento del sistema y potencialmente comprometer la seguridad mediante estrategias como ataques dependientes de la longitud de onda o ceguera de detectores (detector blinding), donde el desequilibrio del receptor amplifica la efectividad del ataque. El estudio enfatiza que las pruebas de seguridad precisas deben tener en cuenta estos desplazos inducidos por la asimetría y el exceso de ruido, particularmente la ambigüedad dependiente de la compresión en la detección heterodina, para estimar correctamente los límites inferiores de la tasa de clave secreta.