Dynamical GKP codes

Las computadoras cuánticas albergan la promesa de resolver problemas que a las supercomputadoras actuales les tomaría milenios descifrar, pero son increíblemente frágiles. Para funcionar, deben proteger bits de información delicados del más mínimo ruido, de forma muy parecida a intentar mantener una casa de naipes en pie durante un huracán. Durante décadas, los científicos han dependido de una estrategia llamada corrección de errores cuánticos, donde la información se distribuye a través de muchos sistemas diminutos para que, si una parte falla, el mensaje completo sobreviva. Recientemente, ha surgido un nuevo y poderoso enfoque que utiliza la naturaleza continua y fluida de las ondas de luz y sonido —específicamente las vibraciones de cavidades electromagnéticas o resonadores mecánicos— para almacenar esta información. Este método, conocido como el código Gottesman-Kitaev-Preskill, ya ha sido construido en laboratorios utilizando circuitos superconductores e iones atrapados. Se considera uno de los caminos más eficientes hacia la construcción de una máquina tolerante a fallos porque un único oscilador bien protegido puede hacer el trabajo de muchos bits cuánticos estándar.

Sin embargo, existía una brecha significativa en cómo se gestionan estos sistemas continuos. Mientras que los investigadores habían desarrollado estrategias sofisticadas basadas en el tiempo para proteger los bits cuánticos estándar mediante una secuencia de mediciones, estas técnicas dinámicas nunca se habían adaptado con éxito a los sistemas de ondas continuas. Sin esta herramienta, los científicos carecían de una forma de combinar las mejores características de diferentes códigos de corrección de errores o de cambiar entre ellos para realizar cálculos complejos. En un nuevo estudio, los investigadores Jonathan Pelletier y Baptiste Royer, de la Universidad de Sherbrooke, han cerrado esta brecha. Han creado un nuevo marco que lleva estas estrategias de medición dinámica y basada en el tiempo al mundo de los códigos cuánticos de variables continuas, enseñando efectivamente a los sistemas basados en ondas cómo utilizar las mismas potentes herramientas adaptativas que antes estaban reservadas para los bits cuánticos estándar.

El núcleo de este logro reside en comprender cómo gestionar la información cuando las reglas de medición camban con el tiempo. En el enfoque estándar, un código cuántico es estático; se construye una vez y permanece igual. Pero en un código dinámico, el sistema está en constante evolución. Imagine un sistema de seguridad que cambia sus cerraduras cada pocos minutos basándose en un horario específico. Si un intruso intenta entrar, el sistema debe ser capaz de rastrear no solo dónde ocurrió la intrusión, sino también cómo los cambios en las cerraduras afectan la seguridad de todo el edificio a lo largo del tiempo. Pelletier y Royer desarrollaron un mapa matemático para rastrear estos cambios en los sistemas basados en ondas. Demostraron que, al medir desplazamientos específicos en los patrones de onda en una secuencia precisa, el sistema puede actualizar su estructura interna, cambiando efectivamente entre diferentes tipos de protección sin perder la información almacenada.

Para que esto funcionara, el equipo primero tuvo que generalizar el concepto del código mismo. Introdujeron un nuevo tipo de código que actúa como un andamio flexible, permitiendo que partes del sistema sean medidas y ajustadas sin perturbar la información central. Esto es similar a cómo un edificio podría tener un núcleo central robusto que sostiene la estructura, mientras que las paredes exteriores pueden ser reorganizadas o reemplazadas. Al tratar el sistema basado en ondas como este tipo de estructura flexible, pudieron derivar reglas claras sobre cómo se actualiza el sistema después de cada medición. Estas reglas permiten a los investigadores predecir exactamente cómo se comportarán los errores y si el sistema aún puede recuperar el mensaje original tras una secuencia de perturbaciones.

Uno de los resultados más impactantes de este trabajo es la creación de un ejemplo específico llamado código floquet cuadrado-hexagonal. Este código combina las fortalezas de dos diseños basados en ondas ya existentes: el código cuadrado y el código hexagonal. Cada uno de estos diseños originales tiene su propio conjunto de operaciones lógicas, o "puertas", que pueden realizarse sobre la información. El código cuadrado es bueno para un conjunto de operaciones, mientras que el código hexagonal destaca en otro. Al utilizar este nuevo marco dinámico, los investigadores crearon un sistema que puede realizar el conjunto completo de operaciones de ambos diseños. Además, este nuevo código combinado requiere mediciones significativamente más cortas y menos exigentes que las necesarias para los códigos individuales. En términos prácticos, esto significa que el hardware necesario para ejecutar estos cálculos podría ser más simple y confiable, ya que las mediciones son menos propensas a introducir nuevos errores. Los investigadores calcularon que las mediciones requeridas para este nuevo código son aproximadamente un veintiséis por ciento más cortas que las mediciones más cortas necesarias para el código cuadrado estándar, una reducción que podría mejorar significativamente la fidelidad de todo el sistema.

El estudio también reveló una conexión fascinante entre dos formas muy diferentes de medir sistemas cuánticos. En el mundo de los bits cuánticos estándar, las mediciones son discretas y binarias, como pulsar un interruptor. En el mundo de las ondas, una técnica de medición común es la detección homodina, que mide la posición o el momento continuo de una onda. Los investigadores descubrieron que, si una medición implica una relación irracional específica entre la onda y la herramienta de medición, se comporta exactamente como esta detección homodina continua. Este descubrimiento no es solo un detalle técnico; vincula el mundo discreto y digital de la corrección de errores cuánticos con el mundo continuo y analógico de los sistemas ópticos y de microondas. Sugiere que, al elegir cuidadosamente cómo se realizan estas mediciones, los científicos pueden simular eficazmente mediciones continuas complejas utilizando las herramientas de la corrección de errores discretos, abriendo nuevas formas de pensar sobre cómo controlar y proteger la información cuántica.

Las implicaciones de este trabajo se extienden más allá de un simple nuevo código. Proporciona un método general para calcular la distancia de un código dinámico, que es una medida de qué tan bien el sistema puede resistir los errores. Al identificar una estructura "persistente" que permanece estable a lo largo de la secuencia de medición, los investigadores demostraron que pueden determinar eficientemente la capacidad del sistema para corregir errores. Este método no se limita al ejemplo específico que construyeron; se aplica a cualquier secuencia de mediciones en estos sistemas basados en ondas. La capacidad de calcular estas propiedades de manera eficiente es crucial para diseñar futuras computadoras cuánticas, ya que permite a los ingenieros probar y optimizar sus diseños antes de construirlos.

En última instancia, esta investigación demuestra que las herramientas desarrolladas para los bits cuánticos estándar pueden trasladarse con éxito al mundo más complejo y continuo de los sistemas basados en ondas. Al combinar la flexibilidad de las secuencias de medición dinámica con la robustez de la codificación basada en ondas, los autores han identificado un nuevo camino hacia computadoras cuánticas más eficientes y potentes. El trabajo sugiere que el futuro de la corrección de errores cuánticos puede no residir en elegir entre diferentes tipos de códigos, sino en tejerlos dinámicamente, creando sistemas que sean más inteligentes, más adaptables y mejor protegidos contra el ruido que amenaza con destruirlos.