Un camino eficiente hacia claves cuánticas seguras
Las entropías de Rényi, centrales en las pruebas de seguridad modernas de distribución cuántica de claves, han sido tradicionalmente difíciles de optimizar desde el punto de vista computacional. Investigadores del ICFO han presentado ahora, en un artículo de PRX Quantum, un método para calcularlas de forma eficiente y fiable, lo que permite obtener pruebas de seguridad más estables.
Corría el año 1984 cuando Bennett y Brassard diseñaron el primer protocolo de distribución cuántica de claves (QKD, por sus siglas en inglés), el BB84, dando así origen al campo de la criptografía cuántica. Más de cuarenta años después, los investigadores han llevado a cabo numerosos experimentos, ampliado los marcos teóricos y desarrollado una gran variedad de nuevos protocolos QKD. La idea fundamental, sin embargo, sigue intacta: Alicia y Bob, dos usuarios honestos que desean comunicarse de forma segura, intercambian y miden estados cuánticos para obtener una clave secreta, confiando únicamente en las leyes de la física cuántica para protegerse de Eva, la espía más inteligente y maliciosa de todas.
Para evaluar si un protocolo QKD es seguro, es esencial acotar la cantidad de información que Eva puede llegar a obtener de los estados cuánticos intercambiados. Esto se ha calculado tradicionalmente mediante la llamada entropía de von Neumann, pero la mayoría de las pruebas de seguridad modernas ahora utilizan una entropía más general llamada Rényi, una familia de entropías que tiene en cuenta cuán óptimas son las medidas elegidas. Introduciendo un paso adicional de optimización sobre este conjunto, los investigadores pueden aproximarse todavía más a la clave que Alicia y Bob obtienen en realidad.
Esta optimización, sin embargo, es computacionalmente difícil de resolver. Los enfoques actualmente disponibles se basan en algoritmos ad hoc que son lentos, numéricamente inestables o aplicables solo a casos particulares. Al menos, esa era la situación hasta que Mariana Navarro y el Dr. Carlos Pascual García, investigadores del ICFO que también trabajan en Luxquanta (una spin-off del ICFO que ofrece soluciones de criptografía cuántica para empresas y redes de telecomunicaciones), junto con Andrés González Lorente, Pablo Parellada y el Dr. Mateus Araújo, de la Universidad de Valladolid, encontraron una forma de sortear estas dificultades computacionales. Utilizando métodos numéricos ya consolidados (concretamente, la optimización cónica), el equipo ha desarrollado un método práctico y fiable para calcular entropías de Rényi.
Publicado recientemente en PRX Quantum, su método basado en optimización cónica permite abordar de forma eficiente varios protocolos QKD, desde el histórico BB84 hasta un protocolo más exigente de variables continuas con modulación discreta, el cual involucra a sistemas cuánticos más grandes y restricciones experimentales más complejas.
“Al principio, nos sorprendió la velocidad de nuestra estrategia”, recuerda Mariana Navarro, primera autora del artículo. En la prueba numérica para el BB84 con cúbits, por ejemplo, el método cónico resolvió la optimización en una fracción de segundo, mientras que implementaciones comparables tardaban decenas de segundos. “Además, nuestro método no solo es más rápido, sino también más sistemático y numéricamente preciso que los enfoques anteriores”, añade.
El siguiente paso natural sería calcular tasas de clave segura para protocolos más complejos, como el BB84 con estados señuelo (decoy-state) y el QKD independiente del dispositivo de medición. Pero, según Carlos Pascual García, uno de los investigadores sénior del estudio, la optimización cónica tiene también el potencial de permitir comparaciones más justas entre diseños de protocolos alternativos, estudiar con precisión las pérdidas en el canal o la eficiencia de los detectores en un experimento, y ofrecer información práctica sobre a qué distancia pueden estar Alicia y Bob manteniendo al mismo tiempo la seguridad.
“Hace cuarenta años, ni siquiera Bennett y Brassard habrían podido imaginar cómo sería hoy la criptografía cuántica”, reflexiona el investigador. “El futuro es incierto, y solo el tiempo dirá el impacto que tendrá nuestro estudio. Pero me alegra poder decir que ya estamos persiguiendo estos objetivos más amplios, y los resultados preliminares son muy prometedores.”
Referencia:
Navarro, M., et. al., Finite-size quantum key distribution rates from Rényi entropies using conic optimization, PRX Quantum 7, 033051 (2026).
DOI: https://doi.org/10.1103/bf9s-m4jb
Agradecimientos:
MN and CPG were supported by the Government of Spain (Severo Ochoa CEX2019-000910-S, FUNQIP and NextGeneration EU PRTR-C17.I1) and European Union (QSNP, 101114043). MN acknowledges funding from the European Union’s Horizon Europe research and innovation programme under the MSCA Grant Agreement No. 101081441. CPG has received funding from the European Union’s Digital Europe Programme under the project QUARTER (101091588) and Horizon 2020 Research and Innovation Programme under the project QSNP (101114043), and from the European Innovation Council’s Horizon Europe EIC Accelerator Programme under the project MIQRO (101161539). The research of AGL, PVP, and MA was supported by the Q-CAYLE project, funded by the European Union-Next Generation UE/MICIU/Plan de Recuperación, Transformación y Resiliencia/Junta de Castilla y León (PRTRC17.11), and also by the Department of Education of the Junta de Castilla y León and FEDER Funds (Reference: CLU-2023-1-05). PVP has also been funded under the UVa 2024 predoctoral contract, co-financed by Banco Santander. MA was also supported by the Spanish Agencia Estatal de Investigación, Grant Nos.~RYC2023-044074-I and PID2024-161725OA-I00.