Analyzing Common Electronic Structure Theory Algorithms for Distributed Quantum Computing

A busca para compreender como os átomos se ligam para formar moléculas é um dos desafios mais fundamentais da ciência. Para fazer isso, pesquisadores resolvem um problema matemático complexo conhecido como equação de Schrödinger, que descreve o comportamento dos elétrons girando em torno de núcleos atômicos. Durante décadas, cientistas têm dependido de poderosos computadores clássicos para aproximar essas soluções, mas à medida que as moléculas se tornam maiores e mais complexas, os cálculos tornam-se tão imensos que até mesmo os supercomputadores mais rápidos do mundo têm dificuldade em processá-los. É aqui que a computação quântica entra na história. Ao contrário dos computadores clássicos que processam informações em bits, os computadores quânticos usam bits quânticos, ou qubits, que podem existir em múltiplos estados ao mesmo tempo. Essa propriedade única oferece o potencial de simular reações químicas com uma velocidade e precisão que as máquinas clássicas não conseguem igualar, prometendo avanços na descoberta de medicamentos e na ciência dos materiais. No entanto, as máquinas quânticas atuais ainda são pequenas e propensas a erros, detendo apenas um punhado de qubits. Para enfrentar problemas químicos do mundo real que exigem centenas ou milhares de qubits, pesquisadores estão explorando uma estratégia chamada computação quântica distribuída. Essa abordagem envolve a divisão de um cálculo massivo entre vários dispositivos quânticos menores, interligando-os para trabalharem como uma única máquina maior.

Uma equipe de pesquisadores da Universidade de Toronto testou recentemente essa ideia ao examinar cinco métodos populares usados para simular estruturas químicas em computadores quânticos. O objetivo deles era determinar se esses algoritmos específicos poderiam ser efetivamente divididos e executados em múltiplos dispositivos usando uma técnica chamada corte de circuito (circuit cutting). Nesse processo, um único circuito quântico é fatiado em pedaços menores que podem ser executados em máquinas separadas, com os resultados sendo posteriormente "costurados" para formar o todo. Os pesquisadores focaram em uma forma específica de fazer isso chamada operações locais, que depende de os dispositivos trabalharem de forma independente, sem a necessidade de enviar sinais complexos de um para o outro durante o cálculo. Eles testaram esses métodos em uma molécula simples, o hidrogênio, e depois escalaram para cadeias mais longas de átomos de hidrogênio para ver como a dificuldade crescia. O estudo foi conduzido por meio de simulações computacionais detalhadas, já que os pesquisadores não tinham acesso a uma rede de computadores quânticos interligados grande o suficiente para realizar os experimentos completos eles mesmos.

Os resultados desta investigação foram drásticos e revelaram um obstáculo significativo para o futuro da química quântica distribuída. Os pesquisadores descobriram que quatro dos cinco métodos testados, que são atualmente considerados ferramentas padrão na área, seriam incrivelmente ineficientes se divididos entre múltiplos dispositivos. Quando tentaram cortar os circuitos para esses métodos, o número de vezes que precisariam executar o experimento para obter uma resposta confiável explodiu para trilhões, quadrilhões ou até valores superiores. Por exemplo, um dos métodos mais comuns, quando aplicado a uma minúscula molécula de hidrogênio, exigiria rodar o cálculo aproximadamente 1,5 vez 10 à potência de 17 apenas para igualar a precisão de uma única execução em uma máquina não cortada. Para colocar isso em perspectiva, se uma única execução levasse um segundo, a versão distribuída levaria mais tempo do que a idade do universo para completar. Esse aumento massivo no esforço necessário, conhecido como sobrecarga de amostragem (sampling overhead), acontece porque a maneira como esses algoritmos são construídos cria uma teia de conexões que não pode ser facilmente quebrada sem perder a informação essencial necessária para resolver o problema.

Em contraste, o quinto método examinado, conhecido como o ansatz de cluster unitário local Jastrow, comportou-se de forma muito diferente. Esta abordagem mostrou um crescimento muito mais gerenciável na dificuldade conforme o tamanho do sistema aumentava. Quando os pesquisadores aplicaram a mesma técnica de divisão a este método, o número de execuções extras necessárias permaneceu pequeno e razoável, mesmo enquanto simulavam cadeias maiores de átomos de hidrogênio. Para os maiores sistemas testados, a sobrecarga foi baixa o suficiente para que pudesse potencialmente ser lidada pelo hardware quântico atual ou de curto prazo. Isso sugere que, embora os algoritmos mais populares para química quântica sejam atualmente mal adaptados para serem distribuídos em múltiplas máquinas, existe pelo menos um caminho a seguir que não esbarra em uma parede de complexidade exponencial. As descobertas indicam que a comunidade não pode simplesmente pegar o software de química quântica existente e executá-lo em uma rede de pequenos computadores quânticos; as estruturas matemáticas subjacentes dos métodos mais comuns são simplesmente muito rígidas para serem decompostas de forma eficiente.

O estudo conclui que, para que a computação quântica distribuída se torne uma realidade prática para a química, os cientistas devem desenvolver algoritmos inteiramente novos que sejam projetados desde o início para serem divididos. Os métodos atuais de "padrão ouro", que funcionam bem em uma única máquina grande, falham quando forçados a um framework distribuído porque o custo de remontar as peças quebradas torna-se alto demais. Os pesquisadores enfatizam que seu trabalho não significa que a computação quântica distribuída seja impossível, mas sim que as ferramentas atualmente disponíveis não são as adequadas para o trabalho. Ao identificar quais métodos falham e quais mostram promessa, esta pesquisa fornece uma direção clara para o desenvolvimento futuro. Ela sugere que o caminho para resolver problemas químicos complexos em uma rede de dispositivos quânticos exigirá a invenção de novas formas de descrever o comportamento eletrônico, em vez de tentar forçar métodos antigos a se ajustarem a uma nova arquitetura. A esperança é que, ao focar em métodos como o que apresentou bom desempenho neste estudo, o campo possa eventualmente desbloquear todo o potencial do poder quântico distribuído para a descoberta científica.