Exploiting all ancilla outcomes in linear combinations of unitaries: low-rank recovery and quantum trapdoor functions

En el mundo de la computación cuántica, los científicos trabajan con máquinas que procesan información de formas fundamentalmente distintas a las de las computadoras portátiles y los teléfonos que usamos cada día. Estos dispositivos cuánticos dependen de estados delicados de la materia que pueden existir en múltiples posibilidades a la vez, una propiedad que les permite resolver ciertos problemas con una velocidad increíble. Sin embargo, un obstáculo importante para construir computadoras cuánticas útiles es que son notoriamente frágiles. Cuando una computadora cuántica realiza un cálculo, a menudo implica un proceso llamado postselección, donde la máquina ejecuta una operación compleja y luego verifica un resultado específico. Si el resultado es exactamente lo que se esperaba, el cálculo se conserva; si es cualquier otra cosa, todo el intento se descarta como un fallo, y la máquina debe empezar de nuevo. Este desperdicio de esfuerzo es un cuello de botella significativo, ya que los intentos descartados suelen desecharse sin pensarlo dos veces, tratados como mero ruido en el sistema.

Un investigador llamado Ammar Daskin, de la Universidad de Estambul Medeniyet, ha propuesto una nueva forma de ver esta información descartada. En un estudio reciente, exploró qué sucede cuando dejamos de tirar los resultados "fallidos" de un tipo específico de cálculo cuántico conocido como una combinación lineal de unitarias. En lugar de ver estos resultados como errores inútiles, Daskin demostró que en realidad contienen una estructura organizada y oculta. Al recolectar todos los resultados posibles de una sola ejecución del circuito, incluyendo los que normalmente se ignoran, los datos forman un patrón que puede ser reconstruido matemáticamente. Este descubrimiento sugiere que lo que antes se consideraba desperdicio podría convertirse en un recurso valioso, permitiendo potencialmente a los científicos recuperar la respuesta completa a un problema a partir de solo una fracción de los datos, o incluso crear nuevos tipos de métodos de comunicación segura que dependan de la dificultad de decodificar esta estructura oculta.

El núcleo del trabajo de Daskin consiste en una técnica cuántica estándar utilizada para combinar diferentes operaciones en una sola, más compleja. En una configuración típica, una computadora cuántica utiliza un conjunto de bits auxiliares adicionales, llamados qubits ancilla, para gestionar los coeficientes del cálculo. La máquina prepara estos bits auxiliares en un estado específico, realiza el cálculo y luego verifica los bits auxiliares. Si los bits auxiliares regresan a su posición inicial, el cálculo principal se considera exitoso. En el método estándar, cualquier otra posición en la que terminen los bits auxiliares es tratada como un error, y el resultado correspondiente se descarta. Daskin decidió investigar estos "errores" simplificando el diseño del circuito. Reemplazó la compleja maquinaria que usualmente se usa para preparar los bits auxiliares con una disposición directa de puertas cuánticas básicas, específicamente utilizando un conjunto de puertas que crean una mezcla igual de posibilidades y una única puerta de rotación para controlar los pesos del cálculo.

Cuando este circuito simplificado se ejecuta, produce una variedad de resultados basados en cómo se miden los bits auxiliares. Daskin descubrió que si se toman los resultados de cada posible resultado de medición y se apilan, forman una gran cuadrícula de datos. Esta cuadrícula tiene una propiedad notable: puede descomponerse en dos piezas más pequeñas que se multiplican entre sí para recrear el todo. Una pieza es un patrón conocido determinado por el diseño del circuito, y la otra pieza contiene los resultados reales de las operaciones individuales que la computadora intentaba realizar. Debido a que el circuito solo genera un número limitado de combinaciones independientes, la cuadrilla completa es matemáticamente de "bajo rango", lo que significa que es mucho más simple de lo que parece en la superficie. Esta estructura implica que la respuesta completa al cálculo está oculta dentro de los datos, incluso si solo se tiene acceso a una pequeña parte de ellos.

Para probar esta idea, el investigador simuló el circuito en una computadora para ver si la salida completa podía recuperarse a partir de información parcial. Las simulaciones mostraron que si se conoce el diseño del circuito, se pueden utilizar técnicas matemáticas clásicas para rellenar las partes faltantes de la cuadrícula de datos. Al observar solo un subconjunto de los resultados, el algoritmo pudo reconstruir la matriz completa de resultados, incluyendo el resultado específico que el método estándar habría conservado. Esta recuperación funciona mejor cuando los datos están limpios, pero el estudio también examinó cómo se mantiene el método cuando los datos tienen ruido, imitando los errores que ocurren en el hardware cuántico real. Los resultados indicaron que, si bien el método es robusto, requiere una cantidad significativa de datos para funcionar de manera confiable cuando las mediciones son imperfectas. El estudio sugiere que en un escenario del mundo real donde solo se mide la intensidad de las señales, en lugar de los valores complejos completos, se necesitarían pasos adicionales para recuperar la información completa, pero la estructura subyacente sigue siendo una herramienta poderosa para la reconstrucción.

Más allá de la aplicación práctica de recuperar datos, este hallazgo abre la puerta a un nuevo tipo de idea criptográfica. El investigador propuso que el patrón específico utilizado para mezclar los resultados en el circuito podría mantenerse en secreto, actuando como una clave privada. Si un observador ve la cuadrícula de datos final pero no conoce el patrón de mezcla secreto, se enfrentaría a un difícil rompecabezas matemático para averiguar cuál fue la entrada original. Esto es similar a una cerradura donde la llave está escondida dentro del propio mecanismo. Sin embargo, el estudio advierte cuidadosamente que esto es solo un candidato para un sistema seguro. La seguridad depende de la dificultad de resolver un tipo específico de problema conocido como recuperación de fase, que consiste en averiguar los detalles ocultos de una onda a partir de su intensidad. Aunque este problema es conocido por ser difícil, el investigador no ha probado que sea imposible de romper, y la seguridad del sistema depende de la suposición de que nadie puede encontrar un atajo para resolverlo.

El artículo también explora cómo esta estructura podría utilizarse de otras maneras, como en sistemas de recomendación o algoritmos de clasificación, donde grandes cantidades de datos se descomponen en componentes más simples. La relación matemática encontrada en el circuito cuántico refleja técnicas utilizadas en la computación clásica para predecir las preferencias de los usuarios o analizar los enlaces entre páginas web. Al tratar el circuito cuántico como una forma de generar estos patrones, el investigador sugiere que las computadoras cuánticas podrían ofrecer una nueva forma de realizar estas tareas. El estudio concluye que, al cambiar la forma en que vemos la salida de los circuitos cuánticos, podemos convertir lo que antes se consideraba desperdicio en un recurso estructurado. Este enfoque no solo mejora la eficiencia de los cálculos actuales, sino que también sugiere nuevas posibilidades para cómo la información cuántica puede ser almacenada, recuperada y protegida. El trabajo sigue siendo una propuesta teórica respaldada por simulaciones, pero ofrece un camino claro para futuros experimentos para ver si estos resultados de "basura" pueden, de hecho, ser aprovechados para construir tecnologías cuánticas más poderosas y seguras.