es.wedoany.com Noticia: IBM Quantum ha lanzado oficialmente el complemento de código abierto Qiskit Paulice (qiskit-paulice), que identifica, puntúa e inyecta automáticamente bucles de detección de errores eficientes en hardware en cualquier circuito cuántico. Desarrollado por los investigadores de IBM Simon Martiel y Ali Javadi-Abhari, este paquete introduce la técnica de verificación de Pauli espacio-temporal para mitigar las características de ruido del hardware en los actuales chips cuánticos de escala intermedia con ruido (NISQ).
A diferencia de los diseños tradicionales de computación cuántica tolerante a fallos (FTQC) intensivos en hardware, cuyo despliegue está previsto para 2029, o de los métodos de mitigación de errores intensivos en tiempo que requieren un tiempo de muestreo exponencial (como la extrapolación a ruido cero y la eliminación probabilística de errores), Qiskit Paulice funciona como una herramienta de corrección por posselección, aislando y filtrando trayectorias de ejecución defectuosas con una sobrecarga mínima de puertas y qubits.
En la capa de hardware base, los protocolos estándar de detección de errores requieren conectar físicamente qubits auxiliares dedicados directamente a los qubits de datos de cálculo principal. Los métodos de verificación tradicionales suelen requerir la medición de operadores de alto peso, lo que introduce una profundidad de circuito excesiva y requiere complejos patrones de puertas SWAP en dispositivos con conectividad limitada de qubits físicos, a menudo introduciendo más ruido del que capturan. Qiskit Paulice supera este cuello de botella ejecutando las restricciones como un código espacio-temporal unificado. En lugar de evaluar qubits estáticos estrictamente por coordenadas físicas, el paquete coloca operaciones de verificación en ubicaciones temporales específicas durante la ejecución progresiva del circuito, permitiendo que una única verificación de bajo peso capture y rastree fugas de error en áreas de cómputo en expansión.
Para optimizar la pila de hardware, las verificaciones deben equilibrar su capacidad de detección con el ruido de puerta introducido. Paulice utiliza un compilador acelerado por Rust multiinquilino para validar los parámetros de verificación a través de tres criterios centrales: validez, que confirma que el producto de retropropagación del operador de Pauli seleccionado se asigna directamente a un estabilizador del estado preparado por el circuito ideal; minimización de peso, donde el algoritmo de selección filtra operaciones complejas, priorizando estructuras eficientes en hardware que requieren menos puertas de entrelazamiento; y puntuación de eficacia, donde el paquete modela los errores de Pauli descubiertos por la verificación como un canal de ruido de posselección, evaluando el sistema mediante una función de costo incorporada para minimizar la sobrecarga de muestreo o calculando la tasa de error lógico mediante muestreo Monte Carlo empírico.
El flujo de trabajo práctico asigna pines auxiliares al estado base inicial, propaga el estado hacia adelante a través del circuito verificado, generando un operador de salida local llamado conjunto de soporte. Durante la ejecución, si los bits medidos dentro del conjunto de soporte muestran paridad par, la verificación pasa y la muestra se conserva; si es paridad impar, la muestra se marca como defectuosa y se descarta. Estos datos de síndrome estructural pueden enrutarse a diferentes trayectorias de ejecución. En flujos de trabajo basados en muestreo o valores esperados, el usuario realiza una única posselección, conservando solo las ejecuciones donde no se observaron errores, mejorando significativamente la fidelidad de los datos restantes. El software también puede alimentar datos de síndrome en tiempo real directamente a tuberías externas de mitigación de errores PEC o de corrección de errores de código de superficie para comprimir el canal de ruido inverso y minimizar la sobrecarga de muestreo.
La plataforma está optimizada para arquitecturas cuánticas Clifford y dominadas por Clifford. Para demostrar su escalabilidad, el marco de software se ha desplegado para mejorar la fidelidad de circuitos dominados por Clifford que procesan hasta 50 qubits y 2450 puertas de entrelazamiento. Además, el protocolo espacio-temporal central que impulsa Qiskit Paulice ha entrado en una fase activa de seguimiento de candidatos de ventaja. En una presentación conjunta de IBM Quantum y la Universidad de Chicago, los investigadores integraron con éxito la verificación de Pauli espacio-temporal en cargas de trabajo de muestreo de estados gráficos aleatorios a gran escala. Al incrustar una capa de filtrado basada en síndrome en puntos de referencia de muestreo de circuitos aleatorios de alta densidad, el equipo demostró un método práctico para extender la computación cuántica a dominios de procesamiento que siguen siendo difíciles de manejar para los simuladores clásicos de supercomputación.
