Quantum subspace verification for error correction codes

Para construir una computadora que pueda resolver problemas más allá del alcance de cualquier máquina actual, los científicos compiten por crear computadoras cuánticas. Estos dispositivos utilizan las extrañas reglas del mundo subatómico para procesar información de formas que parecen imposibles para nuestra experiencia cotidiana. Sin embargo, estas máquinas son increíblemente frágiles. La más mínima perturbación causada por el calor, la vibración o el ruido electromagnético puede hacer que la información que contienen se desordene y desaparezca. Para solucionar esto, los investigadores utilizan una técnica llamada corrección de errores cuánticos. En lugar de almacenar una sola pieza de información en una partícula diminuta, la distribuyen a través de muchas partículas, creando una red de seguridad. Si una partícula comete un error, las otras pueden ayudar a corregirlo, de forma muy parecida a un coro donde un cantante que falla una nota no arruina la canción porque el resto del grupo mantiene la melodía.

El desafío es saber si esta red de seguridad está funcionando realmente. En el mundo real, estos sistemas cuánticos son ruidosos, y los estados "perfectos" que los científicos pretenden alcanzar rara vez se logran. Para comprobar si una computadora cuántica está haciendo su trabajo, los científicos suelen intentar medir todo el sistema para ver qué tan cerca está del ideal. Pero este método tradicional es como intentar contar cada grano de arena en una playa para comprobar el tamaño de la playa; requiere tanto tiempo y esfuerzo que se vuelve imposible para sistemas grandes. Un nuevo estudio de Junjie Chen y sus colegas ofrece una forma más inteligente de comprobar la salud de estos sistemas de corrección de errores cuánticos sin necesidad de medir cada una de sus partes.

Los investigadores se dieron cuenta de que, para verificar si una computadora cuántica funciona correctamente, no es necesario conocer el estado exacto de cada partícula. Solo es necesario saber si el sistema se mantiene dentro de la "zona segura" específica diseñada por el código de corrección de errores. Desarrollaron un nuevo marco llamado verificación de subespacio cuántico. Piense en el código de corrección de errores como una habitación específica en un edificio grande. El objetivo es asegurar que la computadora esté dentro de esa habitación, no necesariamente mapear cada pulgada de su posición dentro de ella. Al centrarse en esta área más amplia, el equipo creó un método que utiliza muchas menos mediciones para confirmar que el sistema funciona según lo previsto.

El equipo probó su idea en dos tipos principales de códigos de corrección de errores utilizados en el campo: códigos estabilizadores y códigos de comprobación de paridad de baja densidad cuántica. Los códigos estabilizadores son como un conjunto de reglas que indican a las partículas cómo comportarse juntas, mientras que el otro tipo es una estructura más compleja y flexible diseñada para manejar errores de manera eficiente. Los investigadores demostraron que, utilizando su nuevo método, podían verificar estos códigos utilizando únicamente mediciones locales. Esto significa que solo necesitaban comprobar pequeños grupos de partículas a la vez, en lugar de todo el sistema a la vez. Para muchos códigos comunes, el número de diferentes configuraciones de medición requeridas fue sorprendentemente pequeño, manteniéndose a veces constante incluso a medida que el tamaño de la computadora crecía.

Un hallazgo clave fue que, para ciertos códigos avanzados, el esfuerzo requerido para verificar el sistema no crece con el número de partículas físicas utilizadas. En el pasado, comprobar un sistema más grande significaba un trabajo exponencialmente mayor, volviéndose rápidamente inmanejable. Con este nuevo enfoque, el trabajo sigue siendo manejable y, en algunos casos, el esfuerzo de verificación depende solo del número de piezas lógicas de información que se están protegiendo, no del número total de partículas físicas que las sostienen. Este es un cambio significativo, ya que significa que los científicos pueden verificar computadoras cuánticas a gran escala sin necesidad de recursos que crezcan fuera de control.

Los investigadores también combinaron este nuevo método de verificación con una técnica existente para estimar qué tan bien coincide un estado cuántico específico con un objetivo. Esta combinación permite comprobar la calidad de los "estados mágicos", que son estados cuánticos especiales y complejos necesarios para realizar los cálculos más potentes. Los métodos anteriores para comprobar estos estados consumían tantos recursos que resultaban impracticables para sistemas grandes. El nuevo protocolo reduce el número de mediciones necesarias por un factor masivo, haciendo posible la verificación de estos estados críticos de manera eficiente.

El estudio proporciona un camino claro hacia adelante para probar las computadoras cuánticas a medida que crecen en tamaño. Al utilizar la estructura conocida de los códigos de corrección de errores para guiar las mediciones, el equipo ha demostrado que la verificación puede realizarse con alta confianza utilizando una fracción de los recursos que anteriormente se consideraban necesarios. Este trabajo no es solo una mejora teórica; proporciona una herramienta práctica que puede implementarse en el hardware cuántico actual y futuro. A medida que los científicos se acercan a la construcción de computadoras cuántas tolerantes a fallos, tener una forma fiable y eficiente de comprobar su rendimiento es esencial. Este nuevo marco asegura que, cuando estas máquinas estén finalmente listas, sabremos exactamente qué tan bien están funcionando.