Projeto de circuito quântico via restrições dinâmicas de Pauli

Apresentamos um novo modelo de computação quântica orientado por software, concebido especificamente para lidar com as restrições práticas inerentes ao hardware quântico de curto prazo, conhecido como era NISQ (Noisy Intermediate-Scale Quantum). A crescente demanda por soluções computacionais que transcendam as capacidades dos sistemas clássicos impulsiona a pesquisa em computação quântica, mas os dispositivos atuais ainda enfrentam desafios significativos em termos de coerência, conectividade e fidelidade de portas. Nosso trabalho visa preencher essa lacuna, oferecendo uma abordagem que otimiza a interação entre o software e as capacidades limitadas do hardware existente. Ao focar em uma arquitetura flexível e adaptável, este modelo busca maximizar o potencial dos computadores quânticos disponíveis, permitindo o desenvolvimento de algoritmos e aplicações mais robustos e eficientes, mesmo em um cenário de recursos computacionais quânticos ainda em evolução.

Neste modelo inovador, as portas quânticas são especificadas por um conjunto de restrições expressas diretamente em termos de observáveis de Pauli. Essa formulação permite uma descrição mais intrínseca e fisicamente relevante das operações quânticas, facilitando a adaptação a diferentes arquiteturas de hardware. Cada camada disjunta de portas é acompanhada por uma tomografia de estado quântico local do dispositivo, realizada em pares de qubits ou em grupos de k qubits, dependendo da configuração específica. Essa tomografia local é crucial para monitorar e corrigir erros, bem como para caracterizar o estado do sistema em tempo real, um aspecto fundamental para a operação confiável em ambientes ruidosos. A abordagem baseada em observáveis de Pauli simplifica a interface entre o algoritmo e o controle físico do hardware, tornando o processo de design de software quântico mais intuitivo e menos propenso a erros de implementação.

Demonstramos formalmente que este modelo é equivalente ao modelo de circuito restrito por gráfico de acoplamento, uma arquitetura bem estabelecida na computação quântica. Essa equivalência é um resultado significativo, pois implica que nosso modelo é universal para a classe de complexidade BQP (Bounded-Error Quantum Polynomial time), o que significa que ele pode, em princípio, resolver qualquer problema que um computador quântico universal possa resolver. A universalidade é alcançada com uma sobrecarga polinomial gerenciável. Especificamente, a simulação de um circuito de profundidade D em N qubits requer uma complexidade computacional de no máximo O(D^2 N log N). Essa análise de complexidade fornece uma estimativa clara dos recursos necessários e valida a eficiência do modelo, sugerindo que ele é escalável para problemas de tamanho relevante, mesmo considerando as limitações atuais do hardware.

O modelo proposto formaliza um paradigma computacional já presente em diversos trabalhos existentes, unificando abordagens que antes pareciam díspares. Ele abrange desde a evolução do tempo imaginário quântico, utilizada para o estudo de sistemas quânticos complexos e simulações de materiais, até aplicações mais inovadoras, como o uso de computadores quânticos para geração processual em jogos. Essa versatilidade demonstra a amplitude de problemas que podem ser endereçados por meio de nossa estrutura, oferecendo uma linguagem comum para pesquisadores e desenvolvedores em diferentes campos. A capacidade de expressar operações quânticas de forma padronizada e eficiente abre novas avenidas para a exploração de algoritmos quânticos em domínios variados, desde a ciência fundamental até aplicações práticas e comerciais.

Este arcabouço oferece uma interface natural e poderosa para o projeto de software quântico, permitindo que os desenvolvedores trabalhem inteiramente em termos de quantidades fisicamente observáveis. Essa característica é particularmente relevante para a era NISQ, onde a otimização e a mitigação de ruído são cruciais para extrair resultados significativos dos dispositivos atuais. Além disso, a ênfase em observáveis de Pauli e a tomografia local fornecem uma base sólida para a transição futura para a computação quântica tolerante a falhas, onde a robustez e a capacidade de detecção e correção de erros serão primordiais. Ao simplificar a interação entre o software e o hardware, nosso modelo acelera o desenvolvimento de aplicações quânticas e pavimenta o caminho para a realização plena do potencial da computação quântica em diversas áreas científicas e tecnológicas.