Analyzing Common Electronic Structure Theory Algorithms for Distributed Quantum Computing

La búsqueda de comprender cómo los átomos se unen para formar moléculas es uno de los desafíos más fundamentales de la ciencia. Para lograrlo, los investigadores resuelven un complejo problema matemático conocido como la ecuación de Schrödinger, que describe el comportamiento de los electrones girando alrededor de los núcleos atómicos. Durante décadas, los científicos han dependido de potentes computadoras clásicas para aproximar estas soluciones, pero a medida que las moléculas se vuelven más grandes y complejas, los cálculos se vuelven tan inmensos que incluso las supercomputadoras más rápidas del mundo tienen dificultades. Aquí es donde la computación cuántica entra en escena. A diferencia de las computadoras clásicas que procesan información en bits, las computadoras cuánticas utilizan bits cuánticos, o qubits, que pueden existir en múltiples estados a la vez. Esta propiedad única ofrece el potencial de simular reacciones químicas con una velocidad y precisión que las máquinas clásicas no pueden igualar, prometiendo avances en el descubrimiento de fármacos y la ciencia de materiales. Sin embargo, las máquinas cuánticas actuales aún son pequeñas y propensas a errores, poseyendo solo un puñado de qubits. Para abordar problemas de química del mundo real que requieren cientos o miles de qubits, los investigadores están explorando una estrategia llamada computación cuántica distribuida. Este enfoque implica dividir un cálculo masivo entre varios dispositivos cuánticos más pequeños, vinculándolos para que trabajen como una sola máquina más grande.

Un equipo de investigadores de la Universidad de Toronto puso a prueba esta idea recientemente al examinar cinco métodos populares utilizados para simular estructuras químicas en computadoras cuánticas. Su objetivo era determinar si estos algoritmos específicos podían dividirse eficazmente y ejecutarse en múltiples dispositivos utilizando una técnica llamada corte de circuitos (circuit cutting). En este proceso, un único circuito cuántico se corta en piezas más pequeñas que pueden ejecutarse en máquinas separadas, y los resultados se ensamblan posteriormente. Los investigadores se centraron en una forma específica de hacer esto llamada operaciones locales, que se basa en que los dispositivos trabajen de forma independiente sin necesidad de enviar señales complejas de ida y vuelta durante el cálculo. Probaron estos métodos en una molécula simple, el hidrógeno, y luego escalaron a cadenas más largas de átomos de hidrógeno para ver cómo crecía la dificultad. El estudio se realizó mediante simulaciones computacionales detalladas, ya que los investigadores no tenían acceso a una red de computadoras cuánticas vinculadas lo suficientemente grande como para realizar los experimentos completos por sí mismos.

Los resultados de esta investigación fueron contundentes y revelaron un obstáculo significativo para el futuro de la química cuántica distribuida. Los investigadores descubrieron que cuatro de los cinco métodos que probaron, que actualmente se consideran herramientas estándar en el campo, serían increíblemente ineficientes si se dividieran entre múltiples dispositivos. Cuando intentaron cortar los circuitos para estos métodos, la cantidad de veces que tendrían que ejecutar el experimento para obtener una respuesta fiable se disparó a los billones, trillones o incluso niveles superiores. Por ejemplo, uno de los métodos más comunes, aplicado a una diminuta molécula de hidrógeno, requeriría ejecutar el cálculo aproximadamente 1.5 veces 10 a la potencia de 17 veces solo para igualar la precisión de una sola ejecución en una máquina sin cortar. Para poner esto en perspectiva, si una sola ejecución tardara un segundo, la versión distribuida tardaría más que la edad del universo en completarse. Este enorme aumento en el esfuerzo requerido, conocido como sobrecarga de muestreo (sampling overhead), ocurre porque la forma en que estos algoritmos están construidos crea una red de conexiones que no se puede romper fácilmente sin perder la información esencial necesaria para resolver el problema.

En contraste, el quinto método que examinaron, conocido como el ansatz de clúster unitario local (local unitary cluster Jastrow ansatz), se comportó de manera muy diferente. Este enfoque mostró un crecimiento mucho más manejable de la dificultad a medida que aumentaba el tamaño del sistema. Cuando los investigadores aplicaron la misma técnica de división a este método, la cantidad de ejecuciones adicionales necesarias se mantuvo pequeña y razonable, incluso mientras simulaban cadenas más largas de hidrógeno. Para los sistemas más grandes que probaron, la sobrecarga fue lo suficientemente baja como para que potencialmente pudiera ser manejada por el hardware cuántico actual o cercano al futuro. Esto sugiere que, si bien los algoritmos más populares para la química cuántica son actualmente inadecuados para ser distribuidos en múltiples máquinas, existe al menos un camino a seguir que no choca con un muro de complejidad exponencial. Los hallazgos indican que la comunidad no puede simplemente tomar el software de química cuántica existente y ejecutarlo en una red de pequeñas computadoras cuánticas; las estructuras matemáticas subyacentes de los métodos más comunes son simplemente demasiado rígidas para ser fragmentadas eficientemente.

El estudio concluye que, para que la computación cuántica distribuida sea una realidad práctica para la química, los científicos deben desarrollar algoritmos completamente nuevos que estén diseñados desde cero para ser divididos. Los métodos actuales que son el "estándar de oro", que funcionan bien en una sola máquina grande, fallan cuando se ven forzados a un marco distribuido porque el costo de reensamblar las piezas rotas es demasiado alto. Los investigadores enfatizan que su trabajo no significa que la computación cuántica distribuida sea imposible, sino que las herramientas disponibles actualmente no son las adecuadas para el trabajo. Al identificar qué métodos fallan y cuáles muestran promesa, esta investigación proporciona una dirección clara para el desarrollo futuro. Sugiere que el camino para resolver problemas químicos complejos en una red de dispositivos cuánticos requerirá inventar nuevas formas de describir el comportamiento de los electrones, en lugar de intentar forzar los métodos antiguos para que encajen en una nueva arquitectura. La esperanza es que, al centrarse en métodos como el que tuvo un buen desempeño en este estudio, el campo pueda eventualmente desbloquear todo el potencial de la potencia cuántica distribuida para el descubrimiento científico.