De acordo com pt.wedoany.com-A IBM Quantum lançou oficialmente o componente adicional de código aberto Qiskit Paulice (qiskit-paulice), que identifica, pontua e injeta automaticamente loops de detecção de erros com eficiência de hardware em circuitos quânticos arbitrários. Desenvolvido pelos pesquisadores da IBM Simon Martiel e Ali Javadi-Abhari, o pacote introduz a técnica de verificação de Pauli espaço-temporal para mitigar as características de ruído de hardware nos atuais chips quânticos de escala intermediária com ruído (NISQ).
Diferentemente das abordagens tradicionais de computação quântica tolerante a falhas (FTQC) com uso intensivo de hardware, previstas para implantação em 2029, ou dos métodos de mitigação de erros com uso intensivo de tempo que exigem amostragem exponencial (como extrapolação de ruído zero e eliminação probabilística de erros), o Qiskit Paulice opera como uma ferramenta de correção por pós-seleção, isolando e filtrando trajetórias de execução defeituosas com sobrecarga mínima de portas e qubits.
Na camada básica de hardware, os protocolos padrão de detecção de erros exigem que qubits auxiliares físicos dedicados sejam conectados diretamente aos qubits de dados de computação principal. Métodos tradicionais de verificação geralmente exigem a medição de operadores de alto peso, o que introduz profundidade excessiva no circuito e requer padrões complexos de portas SWAP em dispositivos com conectividade limitada de qubits físicos, muitas vezes introduzindo mais ruído do que capturam. O Qiskit Paulice contorna esse gargalo executando as restrições como um código espaço-temporal unificado. Em vez de avaliar qubits estáticos estritamente por coordenadas físicas, o pacote posiciona operações de verificação em locais temporais específicos durante a execução progressiva do circuito, permitindo que uma única verificação de baixo peso capture e rastreie vazamentos de erro em regiões expandidas do cálculo.
Para otimizar a pilha de hardware, as verificações devem equilibrar sua capacidade de detecção com o ruído de porta introduzido. O Paulice utiliza um compilador acelerado por Rust multi-inquilino para validar os parâmetros de verificação por meio de três benchmarks principais: validade, confirmando que o produto de retropropagação do operador de Pauli selecionado mapeia diretamente para o estabilizador do estado preparado pelo circuito ideal; minimização de peso, onde o algoritmo de seleção filtra operações complexas, priorizando estruturas eficientes em hardware que exigem menos portas de emaranhamento; e pontuação de eficácia, onde o pacote modela os erros de Pauli descobertos pela verificação como canais de ruído de pós-seleção, avaliando o sistema por meio de uma função de custo integrada para minimizar a sobrecarga de amostragem ou calculando a taxa de erro lógica por amostragem empírica de Monte Carlo.
O fluxo de trabalho prático mapeia os pinos auxiliares para o estado fundamental inicial, propaga o estado através do circuito sob verificação, gerando um operador de saída local chamado conjunto de suporte. Durante a execução, se os bits medidos dentro do conjunto de suporte mostrarem paridade par, a verificação é aprovada e a amostra é retida; se for paridade ímpar, a amostra é marcada como defeituosa e descartada. Esses dados de síndrome estruturais podem ser roteados para diferentes caminhos de execução. Em fluxos de trabalho baseados em amostragem ou valor esperado, o usuário executa uma única pós-seleção, retendo apenas as execuções onde nenhum erro foi observado, aumentando significativamente a fidelidade dos dados restantes. O software também pode alimentar dados de síndrome em tempo real diretamente em pipelines externos de mitigação de erros PEC ou correção de erros de código de superfície para comprimir canais de ruído inversos e minimizar a sobrecarga de amostragem.
A plataforma é otimizada para arquiteturas quânticas Clifford e dominadas por Clifford. Para demonstrar sua escalabilidade, o framework de software foi implantado para melhorar a fidelidade de circuitos dominados por Clifford processando até 50 qubits e 2.450 portas de emaranhamento. Além disso, o protocolo espaço-temporal central que impulsiona o Qiskit Paulice entrou em uma fase ativa de rastreamento de candidatos a vantagem. Em uma submissão conjunta marcante da IBM Quantum e da Universidade de Chicago, os pesquisadores integraram com sucesso a verificação de Pauli espaço-temporal em cargas de trabalho de amostragem de estado gráfico aleatório em larga escala. Ao incorporar uma camada de filtragem baseada em síndrome em benchmarks de amostragem de circuito aleatório de alta densidade, a equipe demonstrou uma abordagem prática para estender a computação quântica a domínios de processamento que ainda são difíceis para simuladores clássicos de supercomputadores.
