Self-testing with untrusted random number generators

Este artículo demuestra que es posible autoverificar todos los estados parcialmente entrelazados bipartitos puros incluso cuando el generador de números aleatorios no es completamente independiente del dispositivo, siempre que cumpla una restricción de aleatoriedad residual más débil que la independencia total.

Lo esencial

Imagina que tienes una "caja negra" mágica. Dentro de ella hay un dispositivo cuántico que hace cosas extrañas, pero tú no sabes cómo funciona ni qué hay dentro. Tu objetivo es averiguar exactamente qué hay dentro de la caja (qué estado cuántico tiene) solo observando lo que sale por el otro lado cuando le das ciertas instrucciones. A esto los científicos le llaman "autotesteo" (self-testing).

Hasta ahora, para confiar en que la caja es realmente mágica y no está trucada, había una regla de oro: las instrucciones que le dabas a la caja tenían que ser elegidas por un generador de números aleatorios perfecto y totalmente independiente. Era como si un árbitro imparcial, que no conocía los secretos de la caja, decidiera qué pregunta hacerle. Si el árbitro y la caja estuvieran "en connivencia" (si el árbitro supiera lo que la caja va a hacer), podrías engañarte fácilmente.

¿Qué hace este nuevo artículo?

Los autores, Moisès Bermejo y Ravishankar Ramanathan, dicen: "¿Y si no podemos confiar en que el árbitro sea perfecto? ¿Qué pasa si el generador de números aleatorios tiene un poco de 'sesgo' o está un poco relacionado con la caja?"

Su respuesta es sorprendente: Sí, todavía podemos saber qué hay dentro de la caja, incluso si el árbitro no es 100% independiente.

La analogía del "Susurro" vs. el "Grito"

Para entenderlo mejor, usemos una analogía:

1. El escenario antiguo (Independencia total): Imagina que quieres saber si un amigo está mintiendo. Le preguntas cosas al azar. Si él responde correctamente a todo, sabes que es honesto. Pero esto solo funciona si tú eliges las preguntas al azar y él no puede adivinarlas.
2. El escenario nuevo (Fuentes no confiables): Ahora imagina que tu amigo tiene un "susurro" que le dice qué preguntas vas a hacerle, pero el susurro es muy débil y ruidoso. No le dice la respuesta exacta, solo le da una pista borrosa.
   • El problema: Si usas un juego de "sí o no" basado en promedios estadísticos (como el famoso juego CHSH), ese "susurro" es suficiente para que tu amigo te engañe y parezca honesto cuando no lo es.
   • La solución de los autores: En lugar de usar promedios, usan un juego basado en imposibilidades. Imagina que les dices a tus amigos: "Si te pregunto X, es imposible que respondas Y".
   • Si tu amigo responde "Y" cuando le preguntas "X", sabes que está mintiendo.
   • Lo genial que descubren es que incluso si el susurro le da una pista débil, la lógica de "esto es imposible" sigue siendo tan fuerte que, si tu amigo responde correctamente, no hay otra opción que esté siendo honesto y usando el truco cuántico correcto.

¿Qué han logrado exactamente?

1. Romper la regla de oro: Han demostrado que puedes verificar (autotestear) casi cualquier estado cuántico entrelazado (la "magia" dentro de la caja), incluso si el generador de números aleatorios no es perfecto.
2. La condición débil: Solo necesitan que el generador de números aleatorios tenga un poco de "aleatoriedad residual". Es decir, que aunque la caja sepa algo sobre el generador, no pueda predecir la respuesta al 100%. Mientras quede un pequeño margen de sorpresa, el truco funciona.
3. Certificación de independencia: De manera irónica, al lograr verificar la caja con un generador imperfecto, están demostrando que, de hecho, la caja y el generador no están tan conectados como podrían parecer. Si estuvieran totalmente conectados, el test fallaría.

¿Por qué es importante?

En el mundo real, los generadores de números aleatorios perfectos son difíciles de conseguir. A veces usan ruido ambiental, a veces usan algoritmos que podrían tener fallos.

• Antes: Si sospechabas que tu generador de números no era perfecto, tenías que tirar todo el experimento a la basura porque no podías confiar en los resultados.
• Ahora: Con este nuevo método, puedes seguir usando esos generadores "sucios" o imperfectos. Si el experimento pasa el test, sabes que tu dispositivo cuántico es legítimo y que la aleatoriedad, aunque no sea perfecta, es suficiente para garantizar la seguridad.

En resumen

Piensa en esto como una nueva forma de auditoría de seguridad. Antes, para auditar una caja negra, necesitabas un auditor que no supiera absolutamente nada de la caja. Ahora, los autores han creado un método donde el auditor puede tener "pistas" sobre la caja, pero el juego que juegan es tan estricto (basado en cosas que no pueden pasar) que, si la caja pasa el examen, es imposible que esté trucada.

Han abierto la puerta a usar dispositivos cuánticos en situaciones más realistas y menos ideales, donde la perfección absoluta no es necesaria para garantizar la verdad.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Self-testing with untrusted random number generators" (Autotesteo con generadores de números aleatorios no confiables), escrito por Moisés Bermejo Morán y Ravishankar Ramanathan.

1. Planteamiento del Problema

El autotesteo (self-testing) es una técnica fundamental en la información cuántica que permite inferir el estado cuántico subyacente y las mediciones realizadas por un dispositivo en un escenario de "caja negra", basándose únicamente en las estadísticas de entrada-salida (generalmente mediante la violación de desigualdades de Bell).

Hasta la fecha, los protocolos de autotesteo han operado bajo una premisa crítica: la independencia de las mediciones. Esto asume que las configuraciones de medición (los "ajustes" o settings) elegidas para realizar la prueba de Bell son elegidas libremente e independientemente del dispositivo bajo prueba. En la práctica, estas elecciones se realizan mediante generadores de números aleatorios (RNG).

El problema central abordado en este trabajo es la falta de confianza en los RNGs. En escenarios realistas, no se puede garantizar que el RNG sea perfectamente aleatorio o que no tenga correlaciones con el dispositivo cuántico (debido a un posible espionaje o fallos en la fuente). Si las elecciones de configuración están correlacionadas con el estado del dispositivo (dependencia de medición), las estadísticas observadas pueden ser explicadas mediante variables ocultas locales, invalidando la certidumbre del autotesteo.

La pregunta clave es: ¿Es posible realizar un autotesteo de estados cuánticos si la fuente de aleatoriedad no es independiente del dispositivo, sino que solo posee cierta "aleatoriedad residual"?

2. Metodología

Los autores proponen un marco teórico que relaja la suposición de independencia total. Su metodología se basa en los siguientes pilares:

• Escenario de Fuentes No Confiables: Se modela un escenario de Bell bipartito donde las entradas $x$ e $y$ son seleccionadas por fuentes $S$ y $T$ que pueden estar correlacionadas con un variable oculto $\lambda$ que también influye en el dispositivo.
• Suposición de Aleatoriedad Residual: En lugar de exigir independencia total ($p(xy|\lambda) = p(xy)$), los autores introducen una condición más débil: la aleatoriedad residual. Esto se define como $p(st|abxy) > 0$ para todas las salidas de la fuente $s,t$ y resultados del dispositivo $a,b,x,y$.
  • Interpretación física: Las estadísticas del dispositivo no pueden discriminar perfectamente las salidas de la fuente. En términos cuánticos, los efectos de medición no pueden distinguir los estados del dispositivo correlacionados clásicamente con la fuente.
• Uso de Tests de Hardy (Posibilísticos): Los autores demuestran que las pruebas basadas en valores de Bell (probabilísticos, como CHSH) fallan bajo dependencias de medición arbitrariamente débiles. En su lugar, utilizan tests de Hardy y sus variantes "inclinadas" (tilted), que se basan en la imposibilidad de ciertos eventos (probabilidades cero) en lugar de maximizar valores esperados.
• Construcción de Árbol de Cobertura: Para extender el autotesteo a dimensiones arbitrarias (estados de qudits), construyen un "árbol de cobertura inhomogéneo" que conecta subespacios bidimensionales del estado global, aplicando tests de Hardy en cada arista del árbol.

3. Contribuciones Clave y Resultados

A. Autotesteo de Estados Parcialmente Entrelazados

El resultado principal es que todos los estados puros bipartitos parcialmente entrelazados pueden ser autotesteados bajo la suposición de aleatoriedad residual.

• Se demuestra que si un dispositivo satisface ciertas condiciones de probabilidad cero (eventos imposibles) y un valor máximo cuántico específico en un test de Hardy inclinado, el estado subyacente debe ser el estado puro deseado $|\psi\rangle$ (salvo isometrías locales), incluso si la fuente de aleatoriedad está correlacionada con el dispositivo.
• Esto proporciona una certificación semi-dispositivo-independiente de la independencia entre la fuente de aleatoriedad y el dispositivo.

B. Diferencia Fundamental entre Tests Probabilísticos y Posibilísticos

El artículo revela una distinción fundamental:

• Valores de Bell (Probabilísticos): Fallan en autotestear cualquier estado si la dependencia de medición es arbitrariamente débil (específicamente, si la aleatoriedad residual es menor que un umbral crítico, $l < 1/4$). Un valor de CHSH máximo no garantiza un autotesteo único en presencia de fuentes no confiables.
• Tests de Hardy (Posibilísticos): Son robustos. Pueden lograr el autotesteo bajo cualquier grado de aleatoriedad residual ($0 < l \le u < 1$), siempre que no haya dependencia total (es decir, siempre que existan eventos imposibles).

C. Extensión a Dimensiones Arbitrarias (Qudits)

Los autores generalizan el resultado a estados de dimensión arbitraria $d$.

• Utilizan una estructura de árbol de cobertura para descomponer un estado de qudits en subespacios de dos qubits.
• Al aplicar tests de Hardy en las aristas de este árbol, se puede autotestear el estado global completo $|\psi\rangle = \sum c_i |ii\rangle$.
• Se demuestra que la degeneración en estados máximamente entrelazados es una desventaja para los tests possibilísticos (Hardy), a diferencia de los tests probabilísticos en escenarios independientes. De hecho, el entrelazamiento máximo en dimensión 2 no puede ser autotesteados con tests de Hardy.

D. Formulación Matemática

Se utiliza una caracterización algebraica de las distribuciones cuánticas mediante funcionales lineales positivos sobre un álgebra $*$, resolviendo programas semidefinidos (SDP) para acotar los valores cuánticos máximos bajo las restricciones de aleatoriedad residual. Se demuestra que las condiciones de ceros (imposibilidad de eventos) son independientes de la fuente gracias a la suposición de aleatoriedad residual (Lema 1).

4. Significado e Impacto

• Avance en Criptografía Independiente del Dispositivo (DI): Este trabajo elimina la necesidad de asumir que los generadores de números aleatorios son perfectamente independientes del dispositivo, una suposición a menudo difícil de garantizar en implementaciones reales. Esto fortalece la seguridad de protocolos como la distribución de claves cuánticas (QKD) y la amplificación de aleatoriedad.
• Robustez Teórica: Establece que los tests basados en imposibilidades (Hardy) son inherentemente más robustos frente a la dependencia de medición que los tests basados en valores de Bell.
• Nuevos Horizontes: Abre la puerta a protocolos de autotesteo en entornos más realistas y hostiles. Además, plantea preguntas futuras sobre la posibilidad de autotesteo robusto (tolerante al ruido) con fuentes no confiables y la situación del entrelazamiento máximo en dimensiones superiores.

En resumen, el artículo demuestra que la aleatoriedad residual es una condición suficiente para realizar autotesteo de estados cuánticos, superando la barrera de la independencia total y utilizando tests de Hardy como herramienta central para lograr esta certificación en un escenario donde la fuente de aleatoriedad no es de confianza.