Evaluating the Effect of the Order of Optimization Passes in Quantum Circuit Optimization

Os computadores quânticos prometem resolver problemas que levariam máquinas clássicas milhares de anos para decifrar, desde o design de novos medicamentos até a modelagem de sistemas climáticos complexos. No entanto, essas máquinas são incrivelmente frágeis. O menor distúrbio do ambiente pode fazer com que cometam erros, um fenômeno conhecido como ruído. Para combater isso, os cientistas devem traduzir programas de computador de alto nível em instruções que o hardware quântico específico possa realmente entender. Esse processo de tradução, chamado compilação, frequentemente adiciona etapas extras e torna o circuito — o caminho pelo qual a informação viaja — mais longo e complexo. Um circuito mais longo significa mais tempo para que erros surjam, portanto, o objetivo é tornar esses circuitos o mais curtos e simples possível antes de serem executados. É aqui que entra a otimização: um conjunto de regras projetadas para eliminar etapas desnecessárias e limpar o circuito.

Durante anos, os engenheiros souberam que aplicar essas regras de limpeza ajudava, mas eles assumiram amplamente que a ordem em que as aplicavam não importava muito. Pensava-se que, contanto que as regras fossem aplicadas, o resultado seria aproximadamente o mesmo. Um novo estudo desafia essa suposição, revelando que a sequência dessas regras é, na verdade, crítica. Assim como um chef pode obter um resultado diferente ao picar vegetais antes de refogá-los versus refogar primeiro, os pesquisadores descobriram que a ordem das etapas de otimização em circuitos quânticos pode alterar drasticamente a qualidade final do programa.

Os pesquisadores, trabalhando com o popular software Qiskit usado para programar computadores quânticos, partiram para testar essa ideia sistematicamente. Eles selecionaram dezesseis técnicas de otimização diferentes, cada uma projetada para corrigir um tipo específico de ineficiência. Algumas técnicas fundem pequenas etapas em uma só, outras cancelam pares de operações que se anulam, e algumas rearranjam a ordem das etapas para torná-las mais eficientes. A equipe não apenas observou o quão bem cada técnica funcionava sozinha; eles testaram todos os pares possíveis dessas dezesseis técnicas. Eles rodaram os mesmos circuitos quânticos através do compilador, aplicando primeiro a técnica A depois a B, e então aplicando a B depois a A. Eles repetiram isso para todos os cento e vinte pares possíveis, medindo o comprimento do circuito e o número total de etapas em cada resultado.

Os resultados foram claros e surpreendentes. Em doze dos cento e vinte pares, a ordem fez uma diferença significativa. Em alguns casos, uma sequência produziu um circuito quase metade do tamanho da outra. O estudo mostrou que certas técnicas criam uma base melhor para que outras possam trabalhar. Por exemplo, remover etapas inúteis logo no início pode revelar novos padrões que uma técnica posterior pode então simplificar, mas se a técnica posterior for executada primeiro, ela pode perder esses padrões inteiramente. Os pesquisadores descobriram que o melhor ordenamento dependia fortemente do tipo específico de hardware quântico que estava sendo visado, já que diferentes máquinas falam diferentes "linguagens" de operações básicas. Por exemplo, uma sequência que funcionou melhor para um tipo de máquina pode ser ineficaz para outro.

A equipe também investigou se uma escolha ruim de ordem poderia ser corrigida mais tarde. Eles perguntaram se executar uma técnica uma segunda vez poderia reparar uma sequência subótima. Em sete dos doze casos onde a ordem importava, reaplicar a primeira técnica de fato melhorou o resultado, às vezes tornando-o até melhor do que a sequência originalmente melhor. No entanto, isso não foi uma solução universal; em outros casos, repetir as etapas adicionou trabalho desnecessário sem melhorar o resultado. Isso sugere que, embora uma segunda passagem possa às vezes salvar um começo ruim, é muito melhor acertar a ordem da primeira vez para evitar desperdício de tempo e recursos.

Quando os pesquisadores expandiram seus testes para sequências de três, quatro ou cinco técnicas, descobriram que as interações tornaram-se ainda mais complexas. O melhor ordenamento para um par de técnicas nem sempre se mantinha quando uma terceira técnica era adicionada. Às vezes, uma técnica que era melhor posicionada no início de um processo de duas etapas precisava ser movida para o meio quando uma terceira etapa era introduzida. Isso indica que a relação entre essas regras não é apenas uma cadeia simples de causa e efeito, mas uma teia de interações onde a presença de uma regra altera como as outras se comportam.

Com base em suas descobertas, os autores propuseram uma nova ordem recomendada para aplicar essas regras de otimização. A sequência sugerida começa removendo portas que têm quase nenhum efeito, depois rearranja as etapas restantes para permitir mais simplificação, seguido pelo reconhecimento de padrões e cancelamento de operações opostas. Essa ordem recomendada difere das configurações padrão atualmente usadas em compiladores quânticos padrão. Quando testaram essa nova ordem contra a padrão, descobriram que, em um ambiente controlado com apenas etapas de otimização, a diferença era mínima. No entanto, quando todo o processo de compilação foi incluído, a nova ordem teve um desempenho ligeiramente melhor em muitos casos, particularmente para reduzir o número total de etapas.

O estudo conclui que não existe uma única ordem "perfeita" que funcione para todas as situações. O melhor sequenciamento depende do circuito específico sendo executado, do tamanho desse circuito e, mais importante, do conjunto de portas nativas do hardware alvo. Os pesquisadores enfatizam que, embora seu trabalho forneça uma base sólida e um melhor ponto de partida padrão, o caminho ideal para qualquer programa quântico é provavelmente único. O trabalho deles desloca o foco de simplesmente aplicar uma lista fixa de regras para compreender as relações dinâmicas entre elas, garantindo que os programas quânticos sejam tão eficientes e resistentes a erros quanto possível antes mesmo de tocarem o hardware.