Local-dimension-invariant low-density parity-check stabilizer codes

Las computadoras cuánticas prometen resolver problemas que a las máquinas ordinarias les tomaría milenios descifrar, pero son notoriamente frágiles. La información que contienen se desordena fácilmente ante el más mínimo susurro de calor o vibración. Para proteger estos delicados datos, los científicos utilizan una estrategia llamada corrección de errores, la cual funciona distribuyendo una sola pieza de información a través de muchas partes físicas para que, si una parte falla, el mensaje completo sobreviva. Durante años, esta estrategia se ha basado casi exclusivamente en sistemas de dos estados, conocidos como qubits, que funcionan como diminutos interruptores que están encendidos o apagados. Sin embargo, la naturaleza ofrece más que solo dos estados. Muchos sistemas físicos, como las ondas de luz o los átomos vibrantes, pueden existir en muchos estados diferentes simultáneamente. Estos se llaman qudits. El uso de estos sistemas más ricos podría hacer que las computadoras cuánticas sean más potentes y eficientes, pero traducir las redes de seguridad probadas, diseñadas para interruptores de dos estados, a estos sistemas de múltiples estados ha sido un obstáculo persistente.

La dificultad central reside en un requisito matemático para la seguridad. Cuando los investigadores intentan adaptar un código de un sistema de dos estados a un sistema con muchos estados, deben asegurar que el código permanezca estable independientemente de cuántos estados estén disponibles. Existía un método anterior para hacer esto, pero venía con una trampa severa: para garantizar que el código realmente protegiera los datos, el número de estados en el sistema tenía que ser un número primo mayor que un valor de corte masivo y, a menudo, poco práctico. Esto significaba que, para muchos sistemas físicos prometedores, el método era teóricamente sólido pero prácticamente inútil porque el número de estados requerido era demasiado alto para construirlo o controlarlo.

En este trabajo, los investigadores se propusieron reducir esa barrera imposible. Se centraron en un tipo de código altamente eficiente conocido como código de comprobación de paridad de baja densidad. Estos son especiales porque son "dispersos", lo que significa que cada pieza de información es verificada por solo unas pocas reglas, en lugar de una red compleja de muchas. Al concentrarse en estas estructuras dispersas, el equipo descubrió que el masivo valor de corte no era una ley fundamental de la naturaleza, sino un artefacto de cómo se construían los códigos anteriormente. Descubrieron que, al reorganizar cuidadosamente los signos y las conexiones dentro de la estructura del código, podían reducir drásticamente el número de estados requeridos. En algunos casos, el número de estados necesarios se redujo al primer número para el cual el código fue diseñado, o a un valor que crece muy lentamente, independientemente del tamaño de la computadora.

Los investigadores no solo encontraron un número menor; explicaron qué significa realmente ese número en el mundo real. Demostraron que este valor de corte está directamente vinculado a la precisión requerida en los experimentos físicos. Para los sistemas que utilizan ondas continuas de luz o sonido para almacenar datos, este número representa qué tan nítidamente deben enfocarse las ondas, o "comprimirse" (squeezed), para evitar errores. Sus nuevos números más bajos implican que el equipo físico necesario para ejecutar estos códigos no necesita ser tan perfecto o extremo como se pensaba anteriormente. Esto hace que el sueño de usar sistemas de múltiples estados para la computación cuántica sea significamente más alcanzable.

Para lograr esto, el equipo desarrolló una nueva forma de construir estos códigos que depende de la geometría específica de las conexiones entre las partes. Demostraron que, para muchos tipos comunes de códigos, especialmente aquellos derivados de los sistemas más simples de dos estados, es posible disponer los componentes de modo que los números peligrosos y de alto valor simplemente no aparezcan. Demostraron que si las conexiones entre las partes son lo suficientemente dispersas, el código permanece seguro incluso con un número mucho menor de estados. Este hallazgo abre la puerta al uso de una variedad más amplia de materiales físicos y diseños para las computadoras cuánticas, acercando el campo a máquinas que puedan aprovechar todo el potencial del mundo cuántico sin verse frenadas por imposibles restricciones matemáticas.

El estudio también exploró cómo se comportan estos códigos en diferentes formas, tales como las superficies de esferas o geometrías curvas más complejas. Encontraron que, incluso en estas formas inusuales, el nuevo método podía crear códigos estables con requisitos mínimos. Esto sugiere que el enfoque es robusto y flexible, capaz de adaptarse a las diversas formas en que la naturaleza puede ser aprovechada para la computación. Al eliminar la necesidad de un número excesivamente grande de estados, los investigadores han despejado efectivamente un gran obstáculo, convirtiendo una posibilidad teórica en un desafío de ingeniería práctico que ahora está al alcance de la mano. El trabajo confirma que el camino hacia las computadoras cuánticas potentes no está bloqueado por un muro insuperable, sino por una puerta que anteriormente estaba cerrada con una llave demasiado grande; ahora han forjado una llave que encaja.