⚛️ quantum physics

Sequential Semi-Device-Independent Quantum Randomness Certification

Este artículo presenta un marco general y métodos numéricos, incluyendo un enfoque de programación semidefinida para funciones de compromiso mínimo, para certificar la aleatoriedad en escenarios secuenciales semi-independientes del dispositivo utilizando mediciones de máxima confianza, demostrando así su capacidad para distribuir y certificar la aleatoriedad contra ataques adaptativos.

Autores originales: Carles Roch I Carceller, Hanwool Lee, Jonatan Bohr Brask, Kieran Flatt, Joonwoo Bae

Publicado 2026-09-07

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Carles Roch I Carceller, Hanwool Lee, Jonatan Bohr Brask, Kieran Flatt, Joonwoo Bae

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el mundo de la física, la fuente más fiable de aleatoriedad verdadera es el reino cuántico. A diferencia del lanzamiento de una moneda, que es impredecible solo porque no podemos medir perfectamente el viento o la fuerza del pulgar, un evento cuántico es fundamentalmente impredecible. Esta incertidumbre inherente no es un fallo en nuestras herramientas, sino una característica de la naturaleza misma. Durante décadas, los científicos han buscado aprovechar esta impredecibilidad para crear códigos inquebrantables y comunicaciones seguras. Sin embargo, verificar que un dispositivo está produciendo realmente este tipo de aleatoriedad es difícil. Si confiamos completamente en el dispositivo, podríamos ser engañados por un hábil embaucador que ha preprogramado la máquina para que parezca aleatoria mientras en realidad sigue un guion secreto. Si exigimos pruebas de que el dispositivo se comporta de una manera que desafía toda la lógica clásica, los requisitos experimentales se vuelven tan estrictos que son casi imposibles de lograr en un laboratorio real. Esto deja a los investigadores buscando un punto medio: una forma de certificar la aleatoriedad con menos suposiciones sobre el funcionamiento interno de las máquinas, haciendo que el proceso sea práctico para la tecnología cotidiana.

Un equipo de físicos ha desarrollado ahora un nuevo método para resolver este problema observando cómo fluye la información cuántica a través de una cadena de observadores. Imagine una sola partícula cuántica siendo pasada de una persona a la siguiente, donde cada persona la mide y luego pasa el estado restante de la partícula a la siguiente persona. En este nuevo marco, los investigadores demostraron que es posible certificar que cada persona en la cadena está generando su propia aleatoriedad única y certificada, incluso si los dispositivos que utilizan no son totalmente fiables. La clave de este descubrimiento reside en un tipo específico de medición llamado medición de "máxima confianza". Esta es una estrategia donde un observador intenta identificar un estado cuántico con la mayor certeza posible, aceptando que a veces tendrá que admitir que no puede distinguir entre dos opciones. Los investigadores descubrieron que, al utilizar este enfoque, la "aleatoriedad" inherente a la incapacidad de distinguir perfectamente entre estados cuánticos puede compartirse y verificarse entre múltiples personas en una secuencia, en lugar de ser consumida por la primera persona que mira.

Los investigadores construyeron un marco matemático general para probar esta idea, centráéndose en un escenario donde un emisor prepara un estado cuántico y lo envía a un primer receptor, quien lo mide y pasa el resultado a un segundo receptor. Consideraron dos niveles de confianza. En el primero, un escenario más idealizado, asumieron que los estados de las partículas después de la primera medición eran conocidos y fijos. En este caso, pudieron demostrar que ambos receptores podían generar aleatoriedad certificada. Sin embargo, para hacer que el método fuera robusto para el uso en el mundo real, pasaron a un segundo escenario más desafiante donde no asumieron nada sobre lo que le sucedió a la partícula después de la primera medición. Solo confiaron en la preparación inicial de las partículas. Incluso con mucha menos información, demostraron que la aleatoriedad aún podía certificarse. Lo lograron tratando toda la cadena de operaciones como un proceso único y complejo y utilizando algoritmos informáticos avanzados para calcular los límites de cuánto podría adivinar un interceptor sobre los resultados.

Uno de los hallazgos más significativos del estudio es la existencia de un delicado equilibrio necesario para que este intercambio de aleatoriedad funcione. Los investigadores descubrieron que si los estados cuánticos iniciales son demasiado similares entre sí, o si el primer receptor es demasiado agresivo al intentar extraer información, la cadena se rompe. Específicamente, encontraron que existe un umbral crítico para la frecuencia con la que un receptor debe decir "no lo sé" a la medición. Si el primer receptor intenta adivinar el estado con demasiada frecuencia sin admitir la incertidumbre, consume toda la aleatoriedad disponible, dejando nada para la siguiente persona. El equipo calculó límites precisos para este comportamiento, mostrando que para que una cadena de mediciones produzca todas simultáneamente aleatoriedad certificada, los estados iniciales deben ser lo suficientemente distinguibles, y la tasa de resultados "inconclusos" debe mantenerse dentro de un rango específico. Si se cumplen estas condiciones, la aleatoriedad no es un recurso finito que se agota tras el primer uso; es una propiedad que puede distribuirse y verificarse a lo largo de toda la cadena.

El estudio también abordó la amenaza de los ataques adaptativos, donde un observador malicioso podría intentar aprender de las rondas anteriores para mejorar sus conjeturas en las futuras. Al utilizar una técnica que trata la secuencia de mediciones como un todo unificado, los investigadores demostraron que su método sigue siendo seguro incluso contra tales estrategias sofisticadas. Demostraron que la cantidad de aleatoriedad certificada que se puede acumular a lo largo de muchas rondas está limitada por una función matemática específica, asegurando que la seguridad se mantenga incluso a medida que la cadena crece. Sus simulaciones revelaron que, si bien es posible certificar la aleatoridad para unas pocas personas en una secuencia, los requisitos se vuelven cada vez más estrictos a medida que aumenta el número de personas. Eventualmente, las condiciones se vuelven tan exigentes que resulta prácticamente imposible certificar la aleatoriedad para una cadena de observadores muy larga, lo que sugiere un límite natural para hasta dónde se puede extender este tipo específico de distribución.

Este trabajo representa un paso significativo hacia la práctica de la certificación de la aleatoriedad cuántica. Al alejarse de la necesidad de un conocimiento perfecto de cada dispositivo y, en su lugar, basarse en los límites fundamentales de qué tan bien se pueden distinguir los estados cuánticos, los investigadores han proporcionado un conjunto de herramientas que pueden aplicarse a sistemas del mundo real. Los métodos que desarrollaron, que se basan en la resolución de problemas de optimización complejos en una computadora, están diseñados para manejar el ruido y las imperfecciones que se encuentran en experimentos reales. Esto significa que los futuros dispositivos, quizás construidos sobre chips fotónicos integrados o sistemas ópticos, podrían utilizar estas técnicas para generar y verificar números aleatorios seguros sin necesidad de confiar en cada componente de su hardware. Los resultados confirman que la imprevisibilidad del mundo cuántico es un recurso compartido, capaz de ser distribuido entre múltiples partes, siempre que el flujo de información se gestione con el equilibrio adecuado entre certeza e incertidumbre.

Resumen Técnico: Certificación de Aleatoriedad Cuántica Semi-Independiente de Dispositivos en Secuencia

Planteamiento del Problema
Los sistemas cuánticos son fuentes naturales de aleatoriedad debido a la imprevisibilidad inherente de las mediciones cuánticas. Si bien los protocolos independientes de dispositivos basados en la no localidad de Bell ofrecen garantías de seguridad sólidas, imponen exigencias experimentales estrictas. Por el contrario, los escenarios de preparación y medición semi-independientes de dispositivos (SDI) reducen estas exigencias al añadir suposiciones sobre el funcionamiento interno de los dispositivos, aunque a menudo tienen dificultades para certificar la aleatoriedad en condiciones realistas donde las mediciones pueden producir eventos inconclusos o no detectados.

Un desafío específico surge en los escenarios secuenciales, donde un estado cuántico es medido por un primer observador (Bob), quien luego pasa el estado post-medición a un segundo observador (Charlie), y potencialmente a otras partes. En tales cadenas, las propiedades cuánticas como la monogamia de las correlaciones no locales y el teorema de no clonación limitan la extensión de la aleatoriedad a múltiples partes. Además, la literatura existente sobre discriminación de estados secuenciales (por ejemplo, discriminación inequívoca o de máxima confianza) no ha abordado plenamente cómo certificar la aleatoridad cuando las mediciones son imperfectas, ocurren eventos inconclusos y el funcionamiento interno de los dispositivos no está caracterizado. El problema central es establecer un marco para acotar y certificar la cantidad de aleatoriedad extraíble por múltiples observadores secuenciales bajo suposiciones semi-independientes de dispositivos realistas.

Metodología
Los autores desarrollan un marco general y herramientas numéricas para acotar la aleatoriedad certificable en escenarios de preparación y medición secuenciales utilizando Mediciones de Máxima Confianza (MCM). El trabajo procede a través de dos enfoques distintos:

Preparaciones de Estado Confiables (Independiente del Dispositivo de Medición):
- Suposiciones: Todas las preparaciones de estado, incluyendo los estados post-medición pasados de Bob a Charlie, son totalmente conocidas y confiables. Las mediciones son completamente no caracterizadas.
- Técnica: Los autores formulan el problema de acotar la probabilidad de adivinación de Eve ( $p_g$ ) como un Programa Semidefinido (SDP). Al utilizar la dualidad de SDP, derivan cotas analíticas sobre la entropía mínima ( $H_{min} = -\log_2 p_g$ ). Esta formulación dual es crucial para la robustez experimental, asegurando que exista una solución incluso si las frecuencias observadas no corresponden a una realización física perfecta.
Preparaciones de Estado No Confiables (Semi-Independiente de Dispositivos):
- Suposiciones: Los estados post-medición y las operaciones intermedias son completamente no caracterizados. La única suposición es que las preparaciones de estados puros iniciales de Alice tienen un solapamiento de pares acotado ( $|\langle \psi_x | \psi_{x'} \rangle| \ge \delta$ ).
- Técnica: Para manejar la falta de conocimiento sobre los estados intermedios, los autores definen un operador compacto $G_{b,c} = K_b N_c K_b^\dagger$ que encapsula todas las operaciones secuenciales (la medición de Bob y la actualización del estado, seguidas de la medición de Charlie) en un único POVM efectivo.
- Acumulación de Entropía: Esta representación compacta permite al marco abordar ataques no independientes e idénticamente distribuidos (no i.i.d.). Los autores derivan funciones de compromiso de entropía (min-tradeoff functions) vía dualidad de SDP para acotar la entropía de Shannon. Esto permite la aplicación del Teorema de Acumulación de Entropía (EAT), el cual es necesario para las pruebas de seguridad contra estrategias de ataque adaptativas donde Eve reúne información de rondas previas para mejorar sus conjeturas futuras.

Contribuciones Clave y Resultados

Marco General para la Aleatoriedad Secuencial: El artículo establece un método riguroso para certificar la aleatoriedad distribuida a lo largo de una cadena de mediciones secuenciales. Demuestra que la aleatoriedad, originada de la indistinguibilidad de estados no ortogonales, puede ser compartida entre múltiples partes.
Formulaciones Duales de SDP: Los autores proporcionan métodos numéricos versátiles para computar cotas tanto en la entropía mínima (para aleatoriedad de un solo disparo) como en la entropía de Shannon (para escenarios no i.i.d.). El uso de SDP duales asegura que el marco sea aplicable a datos experimentales reales donde las restricciones pueden no satisfacerse perfectamente.
Condiciones de Certificación para Dos Partes: En un escenario de dos partes (Bob y Charlie), los autores analizan la relación entre la tasa de eventos inconclusos ( $Q$ $Q$ ) y la aleatoriedad certificable. Identifican umbrales críticos:
- Si la tasa de inconclusos es demasiado alta, las estadísticas observadas pueden ser reproducidas por estrategias deterministas, resultando en cero aleatoriedad certificable.
- Existe un rango específico de tasas de inconclusos donde la aleatoriedad puede ser certificada simultáneamente para Bob y Charlie.
Extensión a $N$ Mediciones Secuenciales: Los autores generalizan el análisis de dos partes a un número arbitrario $N$ $N$ de mediciones secuenciales. Derivan una condición suficiente (Ec. 26) para certificar la aleatoriedad en todos los $N$ $N$ dispositivos simultáneamente.
- Cotas Numéricas: A través de la búsqueda numérica, determinan una cota sobre el producto de la pureza del estado inicial ( $r$ ) y el solapamiento ( $\delta$ ), denotado como $r\delta \le \Delta$ . A medida que $N$ aumenta, $\Delta$ disminuye rápidamente, indicando que certificar la aleatoriedad en cadenas secuenciales largas se vuelve prácticamente imposible a menos que los estados iniciales sean altamente distinguibles.
Resiliencia ante Ataques Adaptativos: Al computar funciones de compromiso de entropía, el marco logra acotar con éxito la aleatoriedad frente a estrategias de eavesdropping adaptativo, un avance significativo sobre los modelos secuenciales previos que solo consideraban i.i.d.

Significancia y Reivindicaciones
El artículo afirma proporcionar un criterio suficiente que muestra cómo las Mediciones de Máxima Confianza permiten la distribución y certificación de la aleatoriedad a través de una cadena de medición secuencial. La significancia del trabajo radica en:

Relajación de Suposiciones: Cierra la brecha entre modelos totalmente independientes de dispositivos y modelos totalmente confiables, ofreciendo un marco práctico de SDI donde solo se requieren suposiciones mínimas (solapamiento acotado de los estados iniciales).
Manejo del Realismo: El marco contabiliza explícitamente los eventos inconclusos y las imperfecciones experimentales, lo que lo hace adecuado para implementaciones realistas donde la discriminación perfecta de estados es imposible.
Perspectiva Fundamental: Clarifica la conexión entre la discriminación de estados secuenciales y la distribución de aleatoriedad, mostrando que la imprevisibilidad cuántica no es una propiedad aislada de una sola medición, sino que puede compartirse secuencialmente.
Aplicabilidad Práctica: Los autores señalan que los escenarios de preparación y medición secuenciales pueden realizarse con recursos experimentales modestos (por ejemplo, plataformas fotónicas integradas) y que sus métodos son inmediatamente aplicables a escenarios con restricciones de energía u otros marcos semi-independientes de dispositivos.

Los autores concluyen que, si bien la capacidad de certificar la aleatoriedad disminuye a medida que aumenta el número de partes secuenciales, su marco proporciona las herramientas necesarias para cuantificar y certificar esta imprevisibilidad distribuida, abriendo potencialmente el camino para aplicaciones en distribución de claves cuánticas semi-independiente de dispositivos y esquemas criptográficos multiparte.

Más como este