Random matrix perspective on probabilistic error cancellation

Resumo Técnico: Perspectiva de Matrizes Aleatórias sobre o Cancelamento Probabilístico de Erros

Definição do Problema
O hardware quântico atual sofre com canais de ruído físico que alteram circuitos quânticos alvo, impedindo a execução confiável de algoritmos profundos. Embora técnicas de mitigação de erro como o Cancelamento Probabilístico de Erros (PEC) tentem reverter esses efeitos aplicando canais "não físicos", a natureza precisa do ruído é frequentemente desconhecida e dependente do hardware. A extração de processos de ruído dominantes é computacionalmente dispendiosa. Este artigo investiga as propriedades gerais do operador "denoiser" (denoiser) necessário para o PEC sem assumir conhecimento prévio da estrutura específica do ruído, tratando o problema através da lente da teoria de matrizes aleatórias.

Metodologia
Os autores modelam um conjunto de circuitos quânticos ruidosos ($\Lambda_U$) atuando em $L$ qubits com dimensão de espaço de Hilbert $N=2^L$. O modelo opera na "imagem dobrada" (folded picture) de superoperadores atuando em matrizes de densidade vetorizadas.

• Construção do Circuito: Cada circuito consiste em $m$ camadas. Cada camada $i$ compreende uma operação unitária $U_i$ (modelada como unitárias aleatórias globais extraídas da medida de Haar) seguida por um canal de ruído $N_i$.
• Modelagem de Ruído: O ruído é modelado via geradores Lindblad $L_i$ atuando por tempos curtos $t$, tal que $N_i = \exp(tL_i)$. Dois conjuntos de ruído são considerados:
  1. Ruído Global: Gerado por Lindbladianos completamente aleatórios onde a matriz de Kossakowski é amostrada do conjunto de Wishart.
  2. Ruído Local: Gerado ao restringir a base de operadores a strings de Pauli com um peso de Pauli máximo $k_{max}$, modelando processos de poucos qubits relevantes para o hardware atual.
• Definição do Denoiser: O denoiser $D$ é definido como o operador que inverte o canal ruidoso para recuperar o circuito unitário alvo $U$: $D = U \Lambda_U^{-1}$. Como $\Lambda_U$ envolve decoerência irreversível, $D$ é inerentemente um canal não físico (não totalmente positivo e preservador de traço - non-CPTP).
• Abordagem Analítica: Os autores utilizam a fórmula de Baker-Campbell-Hausdorff (BCH) para aproximar o inverso do canal ruidoso para pequenos valores de força de ruído $t$. Eles relacionam o espectro do denoiser à soma dos geradores Lindblad rotacionados, $\sum \tilde{L}_i$.

Principais Contribuições e Resultados

1. Estrutura Espectral de Denoisers: O estudo demonstra que os espectros complexos dos canais denoiser herdam suas propriedades estruturais dos geradores Lindblad aleatórios subjacentes.
   • Para Lindbladianos aleatórios globais, o espectro do denoiser segue uma forma universal prevista pelo suporte espectral de um único gerador Lindblad aleatório, escalonada e deslocada de acordo com o número de camadas $m$ e a força do ruído $t$.
   • Especificamente, o centro do espectro do denoiser está localizado em $\exp(tm)$, e a extensão espectral escala com $\sqrt{m}$.
2. Validade da Aproximação: Para pequenos parâmetros de ruído $t$ e pequenas profundidades de circuito $m$, o denoiser pode ser precisamente aproximado como o exponencial da soma dos geradores Lindblad geradores ($D \approx \exp(-t \sum \tilde{L}_i)$). Comparações numéricas mostram excelente concordância (desvios da ordem de $10^{-6}$ para $t=0,1, m=2$) entre os espectros exatos dos denoisers e esta aproximação linear.
3. Emergência da Hierarquia de Localidade: Quando o ruído é restrito a processos locais (de poucos qubits), o espectro do denoiser exibe uma hierarquia de escalas de tempo. Esta estrutura reflete diretamente as taxas de decaimento de múltiplos níveis observadas nos espectros de Liouvilianos de poucos corpos aleatórios. As características espectrais induzidas pela localidade persistem apesar do efeito de scrambling das camadas unitárias aleatórias no circuito.
4. Comportamento de Escalonamento: O artigo quantifica como o suporte espectral do denoiser muda com o tamanho do sistema $N$, a força do ruído $t$ e a profundidade do circuito $m$. À medida que $t$ aumenta, o espectro do canal ruidoso move-se em direção à origem, enquanto os autovalores do denoiser aumentam em módulo, afastando-se da unidade.

Significância e Alegações
O artigo afirma que as propriedades espectrais de denoisers não físicos não são arbitrárias, mas fundamentalmente restritas pelas propriedades estatísticas dos geradores de ruído.

• Universalidade: Mesmo na ausência de uma caracterização de ruído específica, o conjunto de denoisers pode ser compreendido através do suporte espectral universal dos Lindbladianos aleatórios.
• Persistência da Localidade: Uma descoberta significativa é que a estrutura de localidade do ruído subjacente sobrevive ao scrambling de circuitos aleatórios. Isso sugere que, em configurações realistas onde o ruído é local, os denoisers efetivos necessários para o cancelamento de erro podem possuir uma estrutura que pode ser implementada por circuitos relativamente rasos compostos por portas de poucos corpos.
• Estrutura Teórica: O trabalho fornece um arcabouço teórico geral que conecta os espectros de Liouvilianos aleatórios às propriedades dos operadores de cancelamento de erro probabilístico, ofereendo uma maneira de prever o comportamento do denoiser com base nas características do ruído sem a necessidade de tomografia completa de processo.