Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

Na busca para provar que computadores quânticos podem fazer coisas que máquinas clássicas não conseguem, cientistas recorreram a um tipo específico de experimento digital: executar sequências aleatórias de operações em um processador quântico e medir os resultados. Esta tarefa, conhecida como amostragem de circuitos aleatórios, é considerada um marco para a "vantagem quântica", um marco onde um dispositivo quântico supera os melhores supercomputadores. A teoria por trás disso baseia-se em um padrão estatístico chamado distribuição de Porter-Thomas. Imagine o resultado de um processo quântico verdadeiramente aleatório como uma paisagem de probabilidades; para um sistema perfeitamente aleatório, essa paisagem segue uma forma específica e previsível, onde alguns resultados são muito prováveis e outros são ínfimos, mas o padrão geral é consistente. Durante anos, pesquisadores assumiram que mesmo circuitos quânticos rasos e imperfeitos eventualmente se estabeleceriam nesse padrão, mas essa suposição carecia de uma fundamentação matemática rigorosa. Sem uma prova, permanecia uma questão em aberto se os circuitos desordenados e de profundidade finita que realmente construímos em laboratório mimetizariam o caos aleatório ideal necessário para passar nos testes mais rigorosos de supremacia quântica.

Uma equipe de pesquisadores da Universidade do Texas em Austin forneceu agora essa prova que faltava. Eles demonstraram que circuitos quânticos aleatórios locais, especificamente aqueles organizados em um padrão de "tijolaria" (brickwork), onde as portas atuam em qubits vizinhos em camadas, de fato convergem para a distribuição de Porter-Thomas. O trabalho deles mostra que, à medida que a profundidade do circuito — o número de camadas de operações — aumenta para uma certa escala polinomial, o resultado estatístico da máquina torna-se próximo da distribuição aleatória ideal, dentro de um erro de distância de variação total inversamente polinomial matematicamente preciso. Esta descoberta é significativa porque valida o Linear Cross Entropy Benchmark, o teste padrão usado para certificar que um computador quântico realizou uma tarefa difícil demais para máquinas clássicas. Ao provar que esses circuitos evoluem naturalmente para a forma estatística esperada, os autores fortaleceram o alicerce teórico das recentes reivindicações experimentais de vantagem quântica.

Os pesquisadores focaram em uma arquitetura específica conhecida como circuito de tijolaria, onde as portas são aplicadas em camadas alternadas a pares de qubits vizinhos, de forma muito semelhante ao assentamento de tijolos em uma parede. Eles analisaram como a probabilidade de medir uma sequência específica de zeros e uns muda conforme o circuito se torna mais profundo. A análise deles revelou que, para circuitos com uma profundidade proporcional ao número de qubits elevada a uma potência específica, a distribuição dos resultados se alinha com a curva de Porter-Thomas. A prova não é uma simples observação, mas uma jornada matemática complexa que conecta vários conceitos avançados. A equipe teve que demonstrar que os momentos, ou médias estatísticas, da saída do circuito correspondem aos de um sistema perfeitamente aleatório, e então provar que esse pareamento de médias, combinado com propriedades de suavidade específicas, é suficiente para garantir que toda a distribuição seja próxima. Eles utilizaram técnicas de análise complexa e teoria das probabilidades para preencher a lacuna entre saber algumas médias estatísticas e conhecer a forma completa da distribuição, superando o fato de que o pareamento de momentos finitos isoladamente é insuficiente para estabelecer a proximidade de distribuições.

Uma parte fundamental de sua descoberta envolve a compreensão de como a aleatoriedade se propaga pelo circuito. Eles mostraram que, embora as portas sejam locais, atuando apenas em vizinhos imediatos, a aleatoriedade se propaga de forma eficiente o suficiente para que todo o sistema se comporte como se fosse globalmente aleatório após um número relativamente curto de etapas. A equipe provou que a distância entre a saída real desses circuitos e a distribuição ideal de Porter-Thomas diminui rapidamente à medida que o circuito se aprofunda. Especificamente, eles mostraram que, para um circuito cuja profundidade escala com o número de qubits, a diferença entre a saída real e o padrão ideal torna-se ínfima, diminuindo a uma taxa inversamente proporcional a uma potência do número de qubits. Isso significa que, à medida que o sistema quântico aumenta, a aproximação torna-se cada vez mais precisa, desde que o circuito seja profundo o suficiente.

O trabalho também aborda um obstáculo matemático sutil, mas crítico. Na teoria das probabilidades, saber que duas distribuições compartilham as mesmas primeiras médias não significa automaticamente que elas sejam a mesma distribuição; duas formas diferentes podem ter a mesma altura média, mas parecer completamente diferentes em outros pontos. Os pesquisadores superaram isso desenvolvendo novas técnicas para analisar a "suavidade" das distribuições de probabilidade. Eles demonstraram que a saída desses circuitos aleatórios é suficientemente suave e bem comportada, permitindo que utilizassem ferramentas matemáticas avançadas para confirmar que as distribções são, de fato, próximas. Isso foi necessário porque métodos anteriores podiam apenas mostrar que os circuitos passavam em certos testes, como o Linear Cross Entropy Benchmark, sem provar que a distribuição subjacente era de fato Porter-Thomas. Ao estabelecer essa proximidade, os autores confirmaram que o benchmark é um indicador confiável de verdadeira aleatoriedade quântica.

Embora a prova se aplique a circuitos ideais e sem ruído, os pesquisadores reconhecem que computadores quânticos do mundo real sofrem com erros. Eles observam que o ruído tende a apagar os padrões complexos, levando a saída em direção a uma distribuição uniforme e pouco interessante. No entanto, o trabalho deles estabelece uma linha de base clara para o que é possível em um mundo perfeito. Eles sugerem que, se o ruído for mantido suficientemente baixo, os circuitos ainda devem exibir o comportamento de Porter-Thomas por uma certa profundidade antes que o ruído assuma o controle. Isso deixa em aberto a questão de quão profundo um circuito ruidoso pode ir antes de perder seu caráter quântico, mas a nova prova fornece o ponto de referência essencial para responder a essa questão. O resultado confirma que o comportamento caótico exigido para a vantagem quântica não é apenas uma coincidência numérica observada em simulações, mas uma propriedade fundamental desses sistemas quânticos que pode ser rigorosamente provada.

As implicações deste trabalho estendem-se além da validação de experimentos passados. Ao provar que circuitos de profundidade polinomial convergem para a distribuição de Porter-Thomas, os pesquisadores forneceram uma justificativa teórica mais forte para o motivo de esses circuitos serem difíceis de simular classicamente. Se a distribuição de saída é verdadeiramente Porter-Thomas, isso implica um alto nível de entropia e complexidade que computadores clássicos têm dificuldade em replicar. Isso confere mais peso às afirmações de supremacia quântica feitas por experimentos em dispositivos com cinquenta a cem qubits. O estudo não pretende ter resolvido todos os problemas na área, nem aborda todos os tipos de circuitos quânticos, mas fecha uma lacuna significativa em nossa compreensão de como a aleatoriedade emerge em sistemas quânticos. Ele transforma uma crença amplamente aceita, apoiada por fortes evidências numéricas, em uma certeza matemática para uma ampla classe de circuitos.

Em última análise, esta pesquisa esclarece a relação entre a estrutura física de um computador quântico e o comportamento estatístico de sua saída. Ela mostra que o arranjo específico de portas em um padrão de tijolaria é suficiente para gerar as estatísticas complexas, de caráter aleatório, necessárias para a vantagem quântica. Os autores não dependeram de simulações para sustentar seu caso, mas usaram uma combinação de limites de momentos, estimativas analíticas e propriedades locais para construir um argumento rigoroso. Suas descobertas sugerem que o caminho para demonstrar a vantagem quântica não está bloqueado por uma falta de compreensão teórica, mas sim pelos desafios de engenharia de construir circuitos mais profundos e estáveis. Para a comunidade científica, este trabalho serve como uma confirmação de que as ferramentas usadas para medir o desempenho quântico estão fundamentadas em matemática sólida, reforçando a confiança de que essas máquinas estão, de fato, operando em um regime que a física clássica não consegue explicar facilmente.