Computational Power of Clifford and Ising Quantum Computers

Na busca por construir uma máquina capaz de resolver problemas que ultrapassam o alcance dos supercomputadores atuais, cientistas estão explorando um caminho que se baseia nas regras estranhas do mundo quântico. Diferente dos computadores clássicos, que processam informações como bits que são zero ou um, os computadores quânticos utilizam qubits que podem existir em uma mistura de ambos os estados simultaneamente. Para tornar essas máquinas práticas, os pesquisadores frequentemente recorrem a um tipo específico de lógica quântica conhecido como operações de Clifford. Estas são um conjunto de regras que manipulam qubits de uma forma matematicamente bem compreendida e, crucialmente, que podem ser simuladas eficientemente por computadores clássicos comuns. Isso significa que, embora as operações de Clifford sejam um degrau necessário para a construção de um computador quântico universal, elas não são poderosas o suficiente por si só para superar as máquinas clássicas. Paralelamente a isso, existe um campo de estudo relacionado envolvendo partículas chamadas anyons, que existem apenas em camadas bidimensionais de material. Essas partículas possuem uma propriedade única: quando movidas umas ao redor das outras, seus caminhos se entrelaçam de uma forma que altera o estado do sistema sem que as partículas sequer se toquem. Esse processo, conhecido como trançamento (braiding), é a base de um método proposto para a computação quântica topológica. A questão central para físicos e matemáticos tem sido se adicionar a capacidade de medir essas partículas, em vez de apenas movê-las, desbloquearia novos poderes computacionais que os computadores clássicos não conseguem igualar.

Uma equipe de pesquisadores forneceu agora uma resposta definitiva para esta questão, provando que, mesmo com a adição de medições, esses sistemas quânticos específicos permanecem dentro do alcance da simulação clássica. O estudo foca em dois conceitos relacionados: computadores quânticos de Clifford, que utilizam um conjunto restrito de portas, e computadores quânticos de Ising, que utilizam o trançamento e a medição de anyons. Os pesquisadores investigaram se essas máquinas poderiam resolver problemas que são considerados difíceis demais para os computadores clássicos lidarem de forma eficiente. Eles começaram examinando os limites teóricos dos computadores de Clifford. Descobriram que, se um computador clássico puder visualizar todo o problema de entrada antes de gerar o circuito quântico, a máquina quântica não oferece vantagem; ela simplesmente replica o que o computador clássico já poderia fazer. No entanto, a situação torna-se mais matizada quando o gerador do circuito é restrito a ver apenas o comprimento da entrada, não os detalhes específicos. Nesse cenário restrito, os pesquisadores demonstraram que o computador quântico pode resolver apenas uma classe muito estreita de problemas conhecidos como linguagens afins. Estas são problemas que podem ser reduzidos a equações lineares simples sobre números binários. A equipe forneceu uma prova rigorosa mostrando que, se esses computadores quânticos restritos pudessem resolver qualquer problema na ampla classe de problemas conhecida como P, isso implicaria um avanço matemático importante e ainda não resolvido: que a classe de problemas solucionáveis em espaço polinomial é estritamente maior do que aqueles solucionáveis em tempo polinomial. Como essa separação é amplamente acreditada, mas não provada, o resultado sugere que esses computadores quânticos são, de fato, limitados.

A investigação voltou-se então para o computador quântico de Ising, que depende do comportamento exótico dos anyons. Os pesquisadores primeiro confirmaram o fato conhecido de que o simples trançamento dessas partículas — movendo-as umas ao redor das outras para realizar cálculos — pode ser simulado eficientemente por um computador clássico. Isso já era compreendido porque as operações de trançamento correspondem às mesmas portas de Clifford mencionadas anteriormente. A contribuição inovadora deste trabalho foi estender essa simulação para incluir medições. Em um computador quântico topológico, pode-se medir o estado coletivo de um grupo de anyons para extrair informações. Os pesquisadores provaram que mesmo essas medições, incluindo o tipo mais poderoso conhecido como medições interferométricas, não adicionam nenhum poder computacional extra. Eles mostraram que cada resultado de medição possível neste sistema é matematicamente equivalente a uma medição padrão de um tipo específico de propriedade quântica, conhecida como medição de Pauli. Como todo o processo de trançamento e medição de anyons de Ising pode ser traduzido em uma sequência de portas de Clifford e medições de Pauli, todo o sistema recai sob a égide do teorema de Gottesman-Knill. Este teorema afirma que qualquer computação quântica composta por esses elementos específicos pode ser perfeitamente simulada por um computador clássico em um tempo razoável.

As implicações destas descobertas são significativas para o futuro da engenharia quântica. O estudo esclarece que, embora os anyons de Ising e as portas de Clifford sejam componentes essenciais para a construção de um computador quântico universal, eles não são suficientes por si só para alcançar a supremacia quântica. Para construir uma máquina que possa verdadeiramente superar os computadores clássicos, deve-se introduzir recursos adicionais, frequentemente chamados de "magia", que vão além das capacidades desses sistemas específicos. Os pesquisadores também exploraram os limites do que essas máquinas podem decidir quando o gerador do circuito é cego aos detalhes da entrada, caracterizando os problemas solucionáveis como aqueles que se encaixam em uma estrutura geométrica específica do espaço binário. Eles forneceram ferramentas para distinguir entre problemas que podem ser resolvidos por essas máquinas e aqueles que não podem, mostrando que muitos problemas aparentemente simples são, na verdade, além de seu alcance. Em última análise, o artigo serve como um mapa do território, definindo exatamente onde o poder desses modelos quânticos específicos termina e onde a necessidade de capacidades quânticas mais avançadas e universais começa. Ele confirma que, sem a adição de recursos não-Clifford, a promessa da computação quântica topológica permanece uma simulação da lógica clássica, em vez de um salto para um novo reino computacional.