🔬 física

Individually Addressed Logical Pauli Measurements by QLDPC Surgery on a Trapped Ion Quantum Computer

Este artículo presenta la primera validación de hardware de la cirugía de QLDPC en el procesador de iones atrapados H2-2 de Quantinuum, demostrando mediciones de Pauli lógicas de alta fidelidad y direccionadas individualmente en un código [[10,2,3]] que preservan los qubits espectadores y suprimen errores mediante la decodificación de síndromes, confirmando así la viabilidad de operaciones tolerantes a fallos eficientes para arquitecturas QLDPC.

Autores originales: Surabhi Luthra, Alex Owens

Publicado 2026-10-30

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Surabhi Luthra, Alex Owens

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

La búsqueda para construir una computadora cuántica útil enfrenta un obstáculo fundamental: la fragilidad de la información que contiene. Los bits cuánticos, o cúbits, se ven fácilmente perturbados por su entorno, lo que provoca errores que pueden arruinar un cálculo. Para superar esto, los científicos utilizan códigos de corrección de errores, que distribuyen una única pieza de información lógica a través de muchos cúbits físicos. Si un cúbit físico falla, los demás pueden preservar la verdad. Sin embargo, los códigos más comunes y fiables requieren cientos o incluso miles de cúbits físicos para proteger un solo cúbit lógico, una sobrecarga masiva que hace que las máquinas prácticas parezcan distantes. Una nueva clase de códigos, conocidos como códigos de comprobación de paridad de baja densidad cuántica (QLDPC), promete reducir este requisito drásticamente al empaquetar múltiples cúbits lógicos en un único bloque de hardware físico. Pero para utilizar estos códigos eficientes, los investigadores deben resolver un problema difícil: cómo medir y manipular cúbits lógicos individuales dentro de ese bloque sin destruir la información almacenada en los demás o romper la delicada estructura de corrección de errores.

Un equipo de investigadores ha demostrado ahora una solución a este problema en una computadora cuántica real. Utilizando un procesador de iones atrapados, realizaron con éxito una técnica llamada "cirugía QLDPC" para medir un cúbit lógico mientras dejaban un segundo cúbit lógico vecino intacto. Este logro valida un componente crítico para la próxima generación de la computación cuántica, demostrando que es posible abordar selectivamente información específica dentro de un código denso y eficiente sin colapsar todo el sistema. El trabajo confirma que estos códigos avanzados pueden operarse de una manera que preserve su integridad, un paso necesario hacia la construcción de máquinas que puedan resolver problemas científicos complejos.

Los investigadores trabajaron con una disposición específica de diez cúbits físicos que codificaban dos cúbits lógicos. Para medir el primer cúbit lógico, introdujeron un sistema auxiliar temporal, conocido como "gadget", que consistía en siete cúbits adicionales. Piense en este gadget como una sonda especializada que se conecta brevemente al bloque principal de datos. El equipo entrelazó esta sonda con los diez cúbits de datos en un patrón preciso, permitiéndoles leer el estado del primer cúbit lógico sin tocar el segundo. Este proceso es no destructivo; a diferencia de las mediciones tradicionales que colapsarían el estado cuántico y borrarían la información, esta cirugía extrae la respuesta mientras mantiene el sistema intacto y listo para operaciones posteriores.

En su primer conjunto de experimentos, el equipo realizó esta medición en una sola ronda. Prepararon los cúbits lógicos en estados conocidos y midieron el primero utilizando el gadget. Los resultados mostraron que el gadget identificó correctamente el estado del cúbit objetivo con una tasa de error de menos del uno por ciento. Crucialmente, cuando midieron inmediatamente el segundo cúbit, el no seleccionado, este permaneció en su estado original, demostrando que la cirugía no había perturbado al cúbit "espectador". El gadget actuó como una herramienta de cirugía precisa, operando en una parte del sistema mientras dejaba el resto sin perturbaciones. Los investigadores también verificaron que el sistema regresó a su estado correcto de corrección de errores después de que el gadget fuera retirado, confirmando que la delicada estructura del código se preservó.

Para hacer el proceso más robusto contra los errores, el equipo repitió el proceso de medición tres veces de forma sucesiva, una técnica que permite al sistema detectar y corregir equivocaciones que podrían ocurrir durante el proceso de lectura. Al decodificar los resultados de estas tres rondas, suprimieron la tasa de error significativamente, reduciéndola por debajo del 0,26 por ciento. Esto demostró que el método es tolerante a fallos, lo que significa que puede manejar el ruido inevitable de una máquina real sin fallar. Además, mostraron que los mismos siete cúbits auxiliares podían reutilizarse inmediatamente después de la primera medición para realizar una segunda cirugía en el segundo cúbit lógico. Midieron el primer cúbit, luego utilizaron el mismo hardware para medir el segundo, recuperando con éxito la información de ambos sin necesidad de reiniciar toda la máquina o añadir nuevos componentes.

El estudio proporciona evidencia concreta de que las ventajas teóricas de estos códigos eficientes pueden realizarse en el hardware. Los investigadores encontraron que las tasas de error observadas en sus experimentos coincidían con las predicciones basadas en el rendimiento conocido del procesador cuántico, lo que les dio una alta confianza en los resultados. También identificaron que la fuente principal de error en la medición de una sola ronda provenía del acto de leer los cúbits auxiliares en sí mismos, un problema que fue resuelto eficazmente mediante la repetición de tres rondas. La capacidad de medir un cúbit lógico, preservar el otro y luego reutilizar el mismo hardware para una segunda medición es un requisito fundamental para un modelo de computación conocido como computación basada en Pauli, que depende de una secuencia de tales mediciones para realizar cálculos complejos.

Este trabajo representa un paso significativo hacia la aplicación práctica de la corrección de errores cuánticos. Al demostrar que estos códigos complejos pueden manipularse con alta precisión y baja sobrecarga en un dispositivo real, los investigadores han eliminado una barrera teórica importante. El éxito del protocolo de cirugía sugiere que las futuras computadoras cuánticas pueden construirse con muchos menos recursos físicos de los que anteriormente se pensaba necesario, acercando la era de la computación cuántica tolerante a fallos a la realidad. La capacidad de abordar selectivamente y preservar la información dentro de un bloque de código denso ya no es solo una posibilidad matemática; se ha demostrado que funciona en el laboratorio.

Resumen Técnico: Mediciones de Pauli Lógicas Dirigidas Individualmente mediante Cirugía QLDPC en una Computadora Cuántica de Iones Atrapados

Planteamiento del Problema
La computación cuántica tolerante a fallos (FTQC) basada en códigos de superficie suele requerir cientos o miles de cúbits físicos por cada cúbit lógico, lo que crea una sobrecarga significativa para aplicaciones de corto plazo. Los códigos de Comprobación de Paridad de Bajo Peso Cuántico (QLDPC) ofrecen una vía para reducir esta sobrecarga al codificar múltiples cúbits lógicos dentro de un único bloque de código, manteniendo al mismo tiempo comprobaciones de paridad de peso acotado. Sin embargo, para realizar el potencial de los códigos QLDPC se requiere un método para direccionar selectivamente cúbits lógicos individuales dentro de estos bloques multi-cúbit sin destruir el estado codificado o el espacio de código. Si bien la "cirugía de red" (lattice surgery) se ha demostrado para bloques de un solo cúbit, extender esto al direccionamiento de cúbits lógicos individuales en bloques QLDPC de múltiples cúbits mediante "cirugía QLDPC" no se había materializado en hardware antes de este trabajo.

Metodología
Los autores implementaron cirugía QLDPC en el procesador de iones atrapados H2-2 de Quantinuum, el cual cuenta con conectividad todos-contra-todos y medición de mitad de circuito. El experimento utilizó un código Biciclo Generalizado (GB) $[[10,2,3]]$ , que codifica dos cúbits lógicos en diez cúbits de datos físicos.

La metodología central consistió en la construcción de un "gadget" de medición no destructiva para un operador de Pauli lógico específico (por ejemplo, $\bar{X}_1$ ). Siguiendo la construcción de la Ref. [19], el gadget consiste en:

Cúbits del Gadget ( $\kappa$ ): Cúbits ancilla añadidos a los estabilizadores del código que se solapan con el soporte del operador lógico objetivo.
Comprobaciones de tipo X del Gadget ( $\chi$ ): Comprobaciones soportadas en los cúbits de datos del operador lógico y sus cúbits de gadget asociados. El producto de estas comprobaciones produce el operador lógico.
Comprobaciones de tipo Z de Gauge ( $\gamma$ ): Comprobaciones en los cúbits del gadget para fijar los grados de libertad y mantener la distancia del código.

El protocolo experimental incluyó tres configuraciones de circuito distintas:

XR1: Una sola ronda de extracción de síndrome para el sistema código-gadget fusionado para medir $\bar{X}_1$ .
XR3: Tres rondas de extracción de síndrome para la misma medición de $\bar{X}_1$ para demostrar la tolerancia a fallos contra errores de medición.
SEQ: Una medición secuencial de $\bar{X}_1$ seguida de $\bar{Z}_2$ utilizando los mismos cúbits físicos del gadget (reinicializados) para demostrar la composibilidad y la preservación del cúbit lógico "espectador".

Los experimentos incluyeron pasos de verificación (comprobaciones de síndrome triviales) y decodificación offline utilizando el decodificador Tesseract actuando sobre modelos de error de detector generados por Stim.

Contribuciones Clave

Primera Demostración en Hardware: Este trabajo presenta la primera realización en hardware de mediciones de Pauli lógicas dirigidas individualmente en un bloque de código QLDPC de múltiples cúbits mediante cirugía.
Construcción y Validación del Gadget: Los autores construyeron y validaron explícitamente un gadget de 7 cúbits (3 cúbits de gadget, 4 cúbits de comprobación) para el código $[[10,2,3]]$ , demostrando que el producto de las comprobaciones del gadget extrae correctamente el autovalor lógico.
Tolerancia a Fallos mediante Repetición: El estudio demostró que repetir la extracción del síndrome del gadget a lo largo de $R=3$ rondas suprime los errores de medición, aumentando efectivamente la distancia del circuito de la medición lógica de $d_c=1$ a $d_c=3$ .
Preservación del Espacio de Código: Los autores verificaron que el proceso de cirugía es no destructivo, devolviendo el sistema al espacio de código original y preservando el cúbit lógico "espectador" no direccionado.
Composibilidad: El trabajo demostró la composición secuencial de gadgets de base conjugada ( $\bar{X}_1$ seguido de $\bar{Z}_2$ ) utilizando los mismos recursos físicos, un requisito para la computación basada en Pauli.

Resultados

Rendimiento de Ronda Única: Una medición de ronda única de $\bar{X}_1$ logró una tasa de error de 0.72% [0.32, 1.41]% relativa a la preparación lógica pretendida y 1.03% [0.60, 1.65]% relativa a una medición transversal destructiva subsecuente. El análisis del presupuesto de error identificó los errores de reset y de medición como los contribuyentes dominantes.
Rendimiento Tolerante a Fallos: Al decodificar sobre tres rondas de extracción de síndrome (XR3), la tasa de error lógico se suprimió. Para la preparación $|++\rangle_L$ , se observaron cero errores en 957 disparos verificados, limitando la tasa de error por debajo del 0.26% (intervalo de credibilidad del 95%). Esto confirmó que el protocolo mitiga con éxito los fallos de medición individuales.
Preservación del Espectador: El cúbit lógico no direccionado ( $\bar{X}_2$ ) se preservó con una tasa de error del 0.21% [0.04, 0.67]% durante la medición de tres rondas.
Medición Secuencial: En el circuito secuencial (SEQ), la segunda medición del gadget de $\bar{Z}_2$ (después de $\bar{X}_1$ ) produjo una tasa de error del 1.12% [0.60, 1.94]%. Los resultados confirmaron que la información de la base conjugada ( $\bar{Z}_2$ ) permanecía direccionable mientras que la base medida ( $\bar{X}_1$ ) colapsaba, validando la naturaleza no destructiva de la cirugía.
Retorno al Espacio de Código: El análisis de las tasas de detector en estabilizadores deformados mostró que, con correcciones de fusión, el sistema regresó al espacio de código, con las tasas de detector manteniéndose bajas (<2.66%) en comparación con la aleatorización de ~50% observada sin la corrección de fusión.

Significancia y Reivindicaciones
El artículo afirma proporcionar una validación de hardware de la primitiva de cirugía generalizada subyacente a la computación basada en Pauli para arquitecturas QLDPC. Los autores afirman que estos resultados constituyen un paso fundamental hacia arquitecturas QLDPC escalables al demostrar:

La capacidad de direccionar selectivamente cúbits lógicos individuales dentro de un bloque de múltiples cúbits.
La naturaleza no destructiva de la medición, preservando el espacio de código y los cúbits espectadores.
La viabilidad de componer estas operaciones secuencialmente.

Los autores señalan que, si bien la demostración actual utiliza un código de distancia mínima ( $d=3$ ) y decodificación offline, establece las primitivas necesarias para futuras implementaciones que involucren decodificación en tiempo real, códigos de mayor distancia y mediciones de productos de Pauli más complejas. El trabajo no pretende haber resuelto todos los problemas de sobrecarga o alcanzado el punto de equilibrio de error para algoritmos a gran escala, sino que valida el mecanismo específico requerido para permitir dicha escalabilidad en sistemas QLDPC.

Más como este