Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

En la búsqueda de demostrar que las computadoras cuánticas pueden hacer cosas que las máquinas clásicas no pueden, los científicos han recurrido a un tipo específico de experimento digital: ejecutar secuencias aleatorias de operaciones en un procesador cuántico y medir los resultados. Esta tarea, conocida como muestreo de circuitos aleatorios, se considera un referente para la "ventaja cuántica", un hito donde un dispositivo cuántico supera a las mejores supercomputadoras. La teoría detrás de esto se basa en un patrón estadístico llamado distribución de Porter-Thomas. Imagine el resultado de un proceso cuántico verdaderamente aleatorio como un paisaje de probabilidades; para un sistema perfectamente aleatorio, este paisaje sigue una forma específica y predecible donde algunos resultados son muy probables y otros son ínfimos, pero el patrón general es consistente. Durante años, los investigadores han asumido que incluso los circuitos cuánticos superficiales e imperfectos eventualmente se establecerían en este patrón, pero esta suposición carecía de una base matemática rigurosa. Sin una prueba, seguía siendo una pregunta abierta si los circuitos desordenados y de profundidad finita que realmente podemos construir en un laboratorio realmente imitan la aleatoriedad ideal requerida para pasar las pruebas más estrictas de supremacía cuántica.

Un equipo de investigadores de la Universidad de Texas en Austin ha proporcionado ahora esa prueba faltante. Demostraron que los circuitos cuánticos aleatorios locales, específicamente aquellos dispuestos en un patrón de "ladrillo" (brickwork) donde las puertas actúan sobre qubits vecinos en capas, de hecho convergen a la distribución de Porter-Thomas. Su trabajo muestra que, a medida que la profundidad del circuito —el número de capas de operaciones— aumenta a cierta escala polinómica, el resultado estadístico de la máquina se vuelve cercano a la distribución aleatoria ideal, dentro de un error de distancia de variación total inversamente polinómico matemáticamente preciso. Este hallazgo es significativo porque valida el Benchmark de Entropía Cruzada Lineal, la prueba estándar utilizada para certificar que una computadora cuántica ha realizado una tarea demasiado difícil para las máquinas clásicas. Al probar que estos circuitos evolucionan naturalmente hacia la forma estadística esperada, los autores han fortalecido el cimiento teórico de los recientes reclamos experimentales de ventaja cuántica.

Los investigadores se centraron en una arquitectura específica conocida como circuito de ladrillo, donde las puertas se aplican en capas alternas a pares de qubits vecinos, de manera muy similar a colocar ladrillos en una pared. Analizaron cómo cambia la probabilidad de medir una cadena específica de ceros y unos a medida que el circuito se vuelve más profundo. Su análisis reveló que para circuitos con una profundidad proporcional al número de qubits elevada a una potencia específica, la distribución de los resultados se alinea con la curva de Porter-Thomas. La prueba no es una simple observación, sino un complejo viaje matemático que conecta varios conceptos avanzados. El equipo tuvo que demostrar que los momentos, o promedios estadísticos, de la salida del circuito coinciden con los de un sistema perfectamente aleatorio, y luego probar que este emparejamiento de promedios, combinado con propiedades de suavidad específicas, es suficiente para garantizar que toda la distribución sea cercana. Utilizaron técnicas de análisis complejo y teoría de la probabilidad para cerrar la brecha entre conocer unos pocos promedios estadísticos y conocer la forma completa de la distribución, superando el hecho de que el emparejamiento de momentos finitos por sí solo es insuficiente para establecer la cercanía de las distribuciones.

Una parte clave de su descubrimiento implica comprender cómo se propaga la aleatoriedad a través del circuito. Demostraron que, aunque las puertas son locales y actúan solo sobre vecinos inmediatos, la aleatoriedad se propaga lo suficientemente eficientemente como para que todo el sistema se comporte como si fuera globalmente aleatorio después de un número relativamente corto de pasos. El equipo probó que la distancia entre la salida real de estos circuitos y la distribución ideal de Porter-Thomas se reduce rápidamente a medida que el circuito se profundiza. Específicamente, mostraron que para un circuito con una profundidad que escala con el número de qubits, la diferencia entre la salida real y el patrón ideal se vuelve ínfima, disminuyendo a un ritmo inversamente proporcional a una potencia del número de qubits. Esto significa que, a medida que el sistema cuántico se hace más grande, la aproximación se vuelve cada vez más precisa, siempre que el circuito sea lo suficientemente profundo.

El trabajo también aborda un obstáculo matemático sutil pero crítico. En la teoría de la probabilidad, saber que dos distribuciones comparten los mismos primeros promedios no significa automáticamente que sean la misma distribución; dos formas diferentes pueden tener la misma altura promedio pero verse completamente diferentes en otras partes. Los investigadores superaron esto desarrollando nuevas técnicas para analizar la "suavidad" de las distribuciones de probabilidad. Demostraron que la salida de estos circuitos aleatorios es suficientemente suave y bien comportada, lo que les permitió utilizar herramientas matemáticas avanzadas para confirmar que las distribuciones son, de hecho, cercanas. Esto fue necesario porque los métodos anteriores solo podían mostrar que los circuitos pasaban ciertas pruebas, como el Benchmark de Entropía Cruzada Lineal, sin probar que la distribución subyacente fuera realmente Porter-Thomas. Al establecer esta cercanía, los autores confirmaron que el benchmark es un indicador confiable de la verdadera aleatoriedad cuántica.

Aunque la prueba se aplica a circuitos ideales y libres de ruido, los investigadores reconocen que las computadoras cuánticas del mundo real sufren de errores. Señalan que el ruido tiende a diluir los patrones complejos, impulsando la salida hacia una distribución uniforme y poco interesante. Sin embargo, su trabajo establece una línea base clara de lo que es posible en un mundo perfecto. Sugieren que, si el ruido se mantiene lo suficientemente bajo, los circuitos aún deberían exhibir el comportamiento de Porter-Thomas durante una cierta profundidad antes de que el ruido tome el control. Esto deja abierta la cuestión de qué tan profundo puede llegar un circuito ruidoso antes de perder su carácter cuántico, pero la nueva prueba proporciona la referencia esencial para responder a esa pregunta. El resultado confirma que el comportamiento caótico requerido para la ventaja cuántica no es solo una coincidencia numérica observada en simulaciones, sino una propiedad fundamental de estos sistemas cuánticos que puede ser demostrada rigurosamente.

Las implicaciones de este trabajo se extienden más allá de la validación de experimentos pasados. Al probar que los circuitos de profundidad polinómica convergen a la distribución de Porter-Thomas, los investigadores han proporcionado una justificación teórica más sólida de por qué estos circuitos son difíciles de simular clásicamente. Si la distribución de salida es verdaderamente Porter-Thomas, implica un alto nivel de entropía y complejidad que las computadoras clásicas luchan por replicar. Esto otorga más peso a los reclamos de supremacía cuántica realizados por experimentos en dispositivos de cincuenta a cien qubits. El estudio no pretende haber resuelto todos los problemas en el campo, ni aborda todos los tipos de circuitos cuánticos, pero cierra una brecha significativa en nuestra comprensión de cómo surge la aleatoriedad en los sistemas cuánticos. Transforma una creencia ampliamente sostenida, apoyada por una fuerte evidencia numérica, en una certeza matemática para una amplia clase de circuitos.

En última instancia, esta investigación clarifica la relación entre la estructura física de una computadora cuántica y el comportamiento estadístico de su salida. Muestra que la disposición específica de las puertas en un patrón de ladrillo es suficiente para generar las estadísticas complejas y de tipo aleatorio necesarias para la ventaja cuántica. Los autores no dependieron de simulaciones para defender su caso, sino que utilizaron una combinación de límites de momentos, estimaciones analíticas y propiedades locales para construir un argumento riguroso. Sus hallazgos sugieren que el camino para demostrar la ventaja cuántica no está bloqueado por una falta de comprensión teórica, sino por los desafíos de ingeniería para construir circuitos más profundos y estables. Para la comunidad científica, este trabajo sirve como una confirmación de que las herramientas utilizadas para medir el rendimiento cuántico están fundamentadas en una matemática sólida, reforzando la confianza en que estas máquinas están operando, de hecho, en un régimen que la física clásica no puede explicar fácilmente.