Sampling hard circuits with verifiably high fidelity

Problema

A demonstração de vantagem quântica via propostas de amostragem (ex: Amostragem de Circuitos Aleatórios) enfrenta dois gargalos críticos na era de curto prazo (near-term):

1. Supressão de Erros: Aumentar o tamanho do circuito para alcançar a dureza clássica tipicamente amplifica o ruído do hardware, fazendo com que a distribuição de saída se torne trivial e classicamente simulável. As propostas existentes amigáveis ao hardware carecem de proteção contra erros com baixo overhead, enquanto as propostas estruturadas são difíceis de mapear para o hardware de curto prazo em regimes de dureza clássica.
2. Verificação: Verificar se uma computação quântica complexa foi executada com alta fidelidade é difícil. Resolver a fidelidade em saídas amplamente distribuídas requer um número proibitivo de amostras. Os benchmarks existentes (como o Cross-Entropy Benchmarking, XEB) dependem de suposições fortes sobre o ruído (ex: homogeneidade espacial, independência temporal) ou exigem simulação clássica dispendiosa para servir como um proxy.

Os autores visam desenvolver um protocolo que alcance simultaneamente dureza clássica provável, execução de alta fidelidade via detecção de erro e verificação dependente do dispositivo com suposições de ruído mais fracas do que os benchmarks atuais.

Metodologia: Doped Clifford Sampling (DCS)

Os autores propõem um protocolo chamado Doped Clifford Sampling (DCS), que combina circuitos de Clifford estruturados com recursos "mágicos" não-Clifford, todos codificados dentro de um código de espaço-tempo.

1. Construção do Circuito:

• Backbone de Clifford: O experimento começa com um circuito de Clifford aleatório e altamente emaranhado (especificamente um padrão de tijolo/brickwork de profundidade $n$ em $n$ qubits). Esta estrutura é escolhida porque pode ser eficientemente codificada e sua fidelidade de saída pode ser medida diretamente.
• Codificação Espaço-Temporal: O circuito de Clifford é codificado usando códigos de espaço-tempo. Isso envolve adicionar qubits auxiliares (ancillas) para realizar verificações de Pauli (medições de síndrome) distribuídas tanto no espaço quanto no tempo. Essas verificações detectam erros medindo as síndromes; as execuções (shots) com síndromes não nulas são pós-selecionadas (descartadas). Isso efetivamente projeta o estado em um subespaço de baixo erro.
• Dopagem de Portas T (T-Gate Doping): Para introduzir dureza clássica, o circuito é "dopado" com portas não-Clifford $T$. Crucialmente, essas portas $T$ são colocadas apenas em fios espaço-temporais que comutam com os estabilizadores do código (especificamente, elas comutam com os back-cumulants das verificações de Pauli).
  • Como as portas $T$ comutam com as verificações, elas não alteram a distribuição de síndrome.
  • Em hardware supercondutor, rotações $Z$ (incluindo portas $T$) são implementadas virtualmente via rastreamento de frame, o que significa que introduzem ruído adicional negligenciável.

2. Lógica de Certificação de Fidelidade:
A principal inovação é um método para estabelecer um limite inferior para a fidelidade do estado dopado e difícil ($F_2$) usando a fidelidade mensurável do estado de Clifford não-dopado ($F_1$).

• Invariância: Como as portas $T$ comutam com as verificações, o conjunto de falhas aceitas (síndromes) permanece idêntico para os circuitos dopados e não-dopados.
• Inofensivo vs. Nocivo: No circuito de Clifford não-dopado, algumas falhas são "inofensivas" (elas estabilizam o estado) e outras são "nocivas". A dopagem pode potencialmente converter uma falha anteriormente inofensiva em uma falha nociva, reduzindo a fidelidade.
• O Limite: Os autores provam que a probabilidade de uma falha inofensiva se tornar nociva é assintoticamente pequena (inversa polinomial em $n$) para circuitos de Clifford aleatórios.
• Resultado: A fidelidade do estado dopado é limitada inferiormente por:
  $$F_2 \ge F_1 - \text{Pr}(\text{inofensivo} \mid \text{aceito})$$
  Isso permite que os autores estimem $F_2$ sem precisar simular o circuito dopado difícil, baseando-se apenas no $F_1$ mensurável e em um limite teórico de conversão de falhas.

Resultados Experimentais

O protocolo foi demonstrado em um circuito de Clifford de 70 qubits e profundidade 70, dopado com 468 portas $T$, executado em um processador supercondutor da IBM (IBM Boston) usando 97 qubits físicos (70 de dados + 27 auxiliares).

• Supressão de Erro: A pós-seleção de síndrome suprimiu as taxas de erro de porta em um fator de 10$\times$ em comparação com a taxa de erro física. O estado de referência de Clifford codificado alcançou uma fidelidade de 0,32(1) (0,57(2) com mitigação de leitura).
• Limite Inferior de Fidelidade: Com base na fidelidade de Clifford medida e na estimativa da probabilidade de conversão de falha inofensiva (0,013), os autores estabeleceram um limite inferior de confiança de 95% de 0,284 para a fidelidade do estado dopado, que é classicamente difícil.
• Dureza Clássica: O experimento gerou ~2.000 amostras em 16 minutos. Os autores estimam que esta instância é inviável para algoritmos atuais de redes de tensores e de estabilizadores.
  • Redes de Tensores: O circuito exibe alto emaranhamento (rank bipartido mínimo de 30), exigindo dimensões de ligação ($2^{30}$) que excedem a memória dos supercomputadores de fronteira atuais.
  • Decomposição de Estabilizador: Com 468 portas $T$, o rank de estabilizador é muito alto para simulação eficiente ($\Omega(2^{0,228 \times 468})$).
• Validação: O limite de fidelidade foi validado em regimes intermediários (contagens baixas e médias de $T$) usando Estimativa Direta de Fidelidade (DFE) e Cross-Entropy Benchmarking (XEB), confirmando que o limite teórico se mantém.

Principais Contribuições

1. Dureza Estruturada com Detecção de Erro: O artigo introduz um método sistemático para promover um estado de estabilizador a um estado mágico (via dopagem de $T$) enquanto preserva as capacidades de detecção de erro de um código de espaço-tempo. Isso permite a execução de alta fidelidade de circuitos classicamente difíceis.
2. Certificado de Fidelidade Dependente do Dispositivo: Os autores fornecem um certificado para a fidelidade de um estado quântico difícil que requer suposições de ruído substancialmente mais fracas do que os proxies existentes (como XEB). Não assume ruído espacialmente homogêneo ou temporalmente independente, apenas um modelo de ruído de Pauli geral (alcançável via twirling).
3. Demonstração Experimental: O trabalho demonstra o primeiro experimento de amostragem que combina garantias de dureza agnósticas ao algoritmo com a execução confiável de circuitos profundos e com detecção de erro em hardware atual.

Significância e Alegações

O artigo afirma abordar o "problema de escala" nas demonstrações de vantagem quântica: a dificuldade de escalar simultaneamente o tamanho do circuito, suprimir o ruído e verificar o resultado.

• Coexistência de Dureza e Confiança: A principal significância é demonstrar que a dureza clássica provável e a execução confiável (via detecção de erro e certificação de fidelidade) podem coexistir.
• Caminho para Escalabilidade: Embora a abordagem atual dependa de pós-seleção (o que possui overhead), os autores argumentam que os mesmos códigos de espaço-tempo podem ser adaptados para vantagem quântica tolerante a falhas à medida que o hardware melhora.
• Robustez da Verificação: O método relaxa as suposições rigorosas de ruído exigidas pelo XEB, tornando a verificação mais robusta contra o ruído de hardware realista e correlacionado.

Os autores mantêm-se modestos quanto à escala absoluta da vantagem, observando que os tempos de simulação podem mudar com melhores algoritmos ou hardware, mas enfatizam que a garantia estrutural de dureza combinada com fidelidade verificada é a conquista fundamental. Eles deixam aberta a possibilidade de simulações mais rápidas com algoritmos aprimorados, mas afirmam que sua instância específica é atualmente intratável para os métodos de estado da arte.