Benchmarking non-Clifford gates using only Pauli twirling group

Resumo Técnico: Benchmarking de Portas Não-Clifford Usando Apenas o Grupo de Twirling de Pauli

Definição do Problema
O benchmarking preciso de processos quânticos é essencial para o desenvolvimento da computação quântica tolerante a falhas. No entanto, técnicas padrão como o Benchmarking Aleatório (RB) são frequentemente confundidas por erros de Preparação de Estado e Medição (SPAM). Embora o RB trate isso empregando o group twirling para regularizar canais de ruído, implementações práticas favorecem portas de twirling "locais" (por exemplo, portas de Pauli ou Clifford de um único qubit) devido à sua alta fidelidade e viabilidade experimental. Existe uma lacuna significativa neste arcabouço: enquanto o twirling local funciona efetivamente para caracterizar portas Clifford, ele enfrenta limitações fundamentais quando aplicado a portas não-Clifford multi-qubit genéricas. Métodos existentes para portas não-Clifford tipicamente exigem grupos de twirling multi-qubit complexos, o que viola a suposição de ruído independente de porta e acarreta um overhead substancial de compilação. Além disso, foi demonstrado que portas de twirling locais não conseguem realizar o twirling efetivo dos canais de ruído de certas portas de fase controlada multi-qubit. Consequentemente, há uma carência de um protocolo robusto, livre de erros de SPAM, para caracterizar portas não-Clifford usando apenas operações locais.

Metodologia: Benchmarking de Caráter de Transferência de Pauli (PTCB)
Para abordar isso, os autores propõem o protocolo de Benchmarking de Caráter de Transferência de Pauli (PTCB). A inovação central reside na estimativa do produto de dois elementos simétricos da Matriz de Transferência de Pauli (PTM), especificamente $\tilde{U}_{PQ} \tilde{U}_{QP}$, para um canal ruidoso $\tilde{U}$, utilizando exclusivamente o grupo de twirling de Pauli e SPAM na base de Pauli.

O protocolo opera sob os seguintes princípios:

1. Conjugação Virtual: Em vez de realizar o twirling diretamente no canal de ruído, o protocolo constró o um canal "torcido" (twirled) combinando a porta alvo $U$ com uma porta Clifford $C$. Ao selecionar $C$ tal que $C P C^\dagger = \pm Q$ (onde $P$ e $Q$ são operadores de Pauli), o elemento fora da diagonal da PTM $\tilde{U}_{PQ}$ é efetivamente movido para uma posição diagonal.
2. Par Clifford Virtual: Para garantir que todas as operações permaneçam locais (Pauli), o protocolo emprega um par Clifford conjugado virtual ($C$ e $C^\dagger$). Na implementação do circuito, a sequência envolve a porta alvo $\tilde{U}$, seguida por $C^\dagger$, uma operação de Pauli e $C$. Crucialmente, os autores demonstram que a sequência $C^\dagger P_2 P_1^\dagger C$ pode ser compilada em uma única porta de Pauli. Isso permite que o protocolo acesse elementos fora da diagonal da PTM sem implementar fisicamente as portas Clifford, evitando assim o ruído e o overhead associados à compilação de Clifford multi-qubit.
3. Robustez a SPAM: O protocolo utiliza o group twirling sobre o grupo de Pauli. Ao realizar a média sobre sequências de Pauli aleatórias e aplicar projetores específicos (somas ponderadas de portas de Pauli), o método isola o termo $(\tilde{U}_{PQ} \tilde{U}_{QP})^m$. A probabilidade de sobrevivência é então ajustada exponencialmente para extrair o produto dos elementos da PTM, tornando a estimativa robusta a erros de SPAM.
4. Estimativa de Fidelidade: Para portas unitárias que satisfazem $U^2 = I$ (autoadjuntas), o protocolo estima a fidelidade do processo. Os autores derivam um limite inferior para a fidelidade baseado na média geométrica dos produtos de PTM estimados. Eles observam que, para canais de ruído suficientemente próximos da identidade, este limite inferior é uma aproximação apertada. O protocolo também é estendido para portas não-autoadjuntas ao incorporar a porta inversa $U^\dagger$ na estrutura do circuito.

Principais Contribuições

• Protocolo PTCB: Introdução de um novo método de benchmarking que estima produtos de elementos de PTM usando apenas operações de Pauli locais, contornando a necessidade de grupos de twirling multi-qubit.
• Benchmarking de Não-Clifford: Desenvolvimento de um esquema específico de benchmarking de fidelidade para portas não-Clifford (especificamente aquelas que satisfazem $U^2=I$) que é robusto a erros de SPAM.
• Implementação Virtual: O uso de um par Clifford conjugado virtual para acessar elementos fora da diagonal da PTM mantendo a localidade de todas as operações físicas.
• Arcabouço Teórico: Uma demonstração de que o twirling local pode ser estendido para caracterizar portas não-Clifford ao construir o canal torcido como uma combinação da porta alvo e uma porta Clifford, em vez de realizar o twirling do ruído diretamente.

Resultados
Os autores validam o protocolo através de simulações numéricas usando a porta Toffoli como um exemplo concreto. O modelo de ruído inclui dephasing local, amortecimento de amplitude local e ruído unitário (modelado como erros de rotação controlada em portas CNOT), com infidelidades variando de 0,01 a 0,04.

• Precisão: A discrepância entre a infidelidade real do processo e a infidelidade estimada (usando o limite inferior derivado) foi encontrada como negligenciável, não excedendo $1 \times 10^{-4}$ em todos os canais de ruído simulados.
• Robustez a SPAM: As simulações confirmaram que o protocolo permanece robusto contra erros de SPAM, com a estimativa convergindo para o valor real independentemente da taxa de erro de SPAM.
• Eficiência de Amostragem: O estudo analisou os tamanhos de amostra necessários para "amostragem externa" (seleção de pares $(P,Q)$) e "amostragem interna" (seleção de sequências de Pauli). Determinou-se que um número moderado de amostras externas ($M=30$) e amostras internas ($M'$) é suficiente para a convergência, e que o número de repetições do circuito tem impacto mínimo na precisão da estimativa.

Significância e Alegações
O artigo afirma fornecer um caminho teórico para o benchmarking de portas não-Clifford usando exclusivamente operações locais. Isso é apresentado como um passo significativo para a computação quântica tolerante a falhas, já que as portas não-Clifford são indispensáveis para a computação quântica universal, porém difíceis de caracterizar com os métodos atuais de twirling local. Os autores enfatizam que seu método resolve o desafio de caracterizar portas não-Clifford multi-qubit sem o overhead de grupos de twirling multi-qubit.

Os autores mantêm-se modestos quanto à escalabilidade imediata e à variância do método. Eles reconhecem que, para portas multi-qubit com termos de PTM que decaem exponencialmente (como a porta controlled-X), o arcabouço atual pode exigir grandes números de amostragem para atingir a convergência. Adicionalmente, observam que o protocolo atual exibe uma variância não-negligível na estimativa de fidelidade para portas Toffoli, sugerindo espaço para otimização em aplicações de curto prazo. Trabalhos futuros são sugeridos para explorar grupos de twirling alternativos (como o grupo de Clifford local) ou métricas de fidelidade alternativas para reduzir ainda mais o overhead de amostragem.