Parrondo paradox in quantum image encryption

Resumen Técnico: Paradoja de Parrondo en la Cifrado de Imágenes Cuánticas

Planteamiento del Problema
La transmisión y el almacenamiento seguros de imágenes digitales enfrentan desafíos significativos debido a las emergentes capacidades de la computación cuántica, que amenazan con socavar los métodos criptográficos clásicos. Si bien el Procesamiento de Imágenes Cuánticas (QIP) ofrece ventajas mediante la superposición y el entrelazamiento, los esquemas existentes de cifrado de imágenes cuánticas suelen depender de enfoques basados en la medición. Estos métodos colapsan los estados cuánticos para generar máscaras aleatorias clásicas, descartando efectivamente la información y la reversibilidad cuánticas intrínsecas, lo que reduce la caminata cuántica a un generador de números aleatorios clásico. Además, el papel de la paradoja de Parrondo —un fenómeno donde la alternancia de dos estrategias perdedoras produce un resultado ganador— en la seguridad criptográfica cuántica permanece poco explorado, con la preocupación de que las dinámicas paradójicas puedan introducir sesgos explotables en esquemas más simples.

Metodología
El artículo propone un protocolo de cifrado de imágenes cuánticas totalmente coherente y unitario que evita el colapso del estado durante todo el proceso de cifrado. El esquema utiliza la Representación Cuántica Mejorada y Novedosa (NEQR) para codificar imágenes en escala de grises, donde las intensidades de los píxeles se almacenan en registros cuánticos de 8 cúbits.

El proceso de cifrado integra tres capas cuánticas reversibles:

1. Difusión Espacial: Una capa de permutación utilizando operaciones de inversión de bits y de intercambio (swap) dependientes de las coordenadas para dispersar las correlaciones locales de los píxeles globalmente a través de la red de la imagen.
2. Confusión: Una operación no lineal que utiliza puertas Toffoli para entrelazar los registros de posición y color, destruyendo las correlaciones lineales entre las coordenadas de los píxeles y los valores de intensidad.
3. Sustitución mediante Caminata Cuántica de Tiempo Discreto (DTQW): Se aplica una caminata cuántica de Parrondo unitaria al registro de color. La caminata ocurre en un ciclo de $N=2^n$ posiciones. La secuencia del operador de moneda se selecciona dinámicamente basándose en una clave de mensaje binaria, alternando entre tres configuraciones de moneda distintas ($C_0, C_1, C_2$) parametrizadas por ángulos $\theta_1, \theta_2, \theta_3$.

Implementación de Circuito Cuántico
Para garantizar la eficiencia en el hardware cuántico actual, los autores emplean un circuito DTQW optimizado basado en la diagonalización por QFT. En lugar de realizar Transformadas Cuánticas de Fourier (QFT) repetidas para cada paso, el operador de desplazamiento condicional se diagonaliza utilizando una única QFT y su inversa. La evolución temporal se implementa mediante capas de puertas de un solo cúbit y de fase controlada que actúan condicionalmente sobre el estado de la moneda. Este enfoque reduce la profundidad del circuito y el recuento de puertas multi-cúbit a $O(n^2 + nt)$ para $t$ pasos en un ciclo de $N=2^n$, lo que representa una mejora significativa sobre la escala anterior de $O(n^2t)$.

Contribuciones Clave

• Protocolo Unitario: El artículo introduce un esquema de cifrado totalmente reversible que preserva la superposición y el entrelazamiento, contrastando con los protocolos previos basados en la medición que descartan la coherencia cuántica.
• Investigación de la Paradoja de Parrondo: El trabajo examina explícitamente el impacto de la paradoja de Parrondo en la calidad del cifrado. Demuestra que, si bien los regímenes paradójicos (donde alternar estrategias perdedoras produce un resultado ganador) pueden introducir sesgos en esquemas más simples basados en la medición, la propuesta arquitectura unitaria multicapa mitiga eficazmente estos riesgos.
• Arquitectura Integrada: Al combinar la difusión espacial, el entrelazamiento posición-color y los complejos patrones de interferencia de la caminata de Parrondo, el protocolo aprovecha la paradoja para mejorar la sustitución en lugar de comprometer la seguridad.

Resultados
El protocolo fue evaluado en imágenes de referencia de $64 \times 64$ (por ejemplo, Lena, Frog, Triceratops) bajo dos condiciones: parámetros estándar (no paradoja) y parámetros paradójicos.

• Supresión de Correlación: En ambos casos, el cifrado redujo las correlaciones de píxeles adyacentes (horizontales, verticales y diagonales) a valores cercanos a cero (aproximadamente $10^{-2}$), indicando un desorden efectivo.
• Uniformidad del Histograma: Las imágenes cifradas exhibieron histogramas casi uniformes, contrastando con las distribuciones no uniformes de las imágenes originales.
• Entropía: La entropía de los valores de los píxeles cifrados se acercó al límite ideal de 8 bits (valores $\approx 7.95$), lo que significa una alta incertidumbre y una distribución uniforme.
• Sensibilidad de Difusión y Confusión:
  • NPCR (Tasa de Cambio de Píxeles): Superó el 99% en todas las pruebas, lo que indica que cambiar un solo píxel del texto plano altera casi todo el texto cifrado.
  • UACI (Intensidad de Cambio Promedio Unificado): Se mantuvo alrededor del 30%, consistente con una robusta sensibilidad a pequeños cambios en el texto plano.
• Robustez de la Paradoja: Crucialmente, los resultados confirmaron que el protocolo sigue siendo seguro y efectivo incluso cuando la caminata cuántica opera en un régimen paradójico. Las capas adicionales de difusión y confusión evitaron que la paradoja introdujera sesgos explotables, manteniendo una alta entropía y bajas correlaciones comparables al caso de no paradoja.

Significancia
El artículo concluye que el protocolo unitario propuesto es un cifrador de imágenes cuánticas de alto rendimiento adecuado para el procesamiento seguro de imágenes cuánticas. Confirma que las dinámicas paradójicas, cuando se integran en un flujo de trabajo unitario multicapa, no degradan la seguridad, sino que pueden aprovecharse para aumentar la complejidad del cifrado. El trabajo proporciona un mecanismo reversible, determinista y altamente sensible que aprovecha todo el poder de la superposición y el entrelazamiento cuánticos. Los autores sugieren que estos hallazgos respaldan la idoneidad de tales métodos para futuras implementaciones de hardware y posibles extensiones a caminatas de mayor dimensión.