Succinct Infinite-Horizon Lyapunov and LQR Value Problems Are BQP-Complete

No mundo da engenharia e da física, existe uma necessidade constante de prever como os sistemas se comportam ao longo do tempo. Seja projetando uma ponte estável, guiando uma espaçonave ou regulando uma rede elétrica, os engenheiros dependem de modelos matemáticos para calcular a energia total que um sistema consumirá ou o custo de mantê-lo em curso. Para sistemas simples, esses cálculos são diretos. No entanto, quando os sistemas se tornam massivos — compostos por milhões de partes interagentes — a matemática torna-se tão densa que até mesmo os supercomputadores mais poderosos lutam para encontrar a resposta em um tempo razoável. É aqui que a fronteira entre o que os computadores podem e não podem fazer começa a se borrar. Cientistas há muito suspeitam que computadores quânticos, que operam sob as regras estranhas das partículas subatômicas, poderiam resolver esses tipos específicos de problemas de cálculos massivos muito mais rápido do que qualquer máquina clássica. Mas, para que essa crença fosse mais do que apenas uma esperança, era necessária uma prova de que esses problemas são inerentemente difíceis para computadores clássicos, e não apenas que os quânticos são, por acaso, rápidos.

Uma equipe de pesquisadores da Universidade de Waterloo forneceu agora essa prova, resolvendo uma questão de longa data sobre os limites da computação na teoria do controle. Eles focaram em duas tarefas específicas: calcular a saída total de energia de um sistema estável e determinar o melhor custo possível para controlar um sistema em um futuro infinito. No mundo real, estes são os números que os engenheiros precisam saber para garantir que um sistema seja eficiente e seguro. Os pesquisadores pegaram esses problemas e os tornaram o mais difíceis possível de descrever usando uma representação "sucinta". Em vez de listar cada número em uma matriz massiva — o que ocuparia terabytes de memória — eles usaram um conjunto compacto de instruções lógicas, semelhante a um programa de computador, que poderia gerar os números sob demanda. Isso permitiu que eles descrevessem sistemas com dimensões tão grandes que escrevê-los explicitamente seria impossível, embora a própria descrição permanecesse pequena o suficiente para caber em uma única página.

A equipe então fez uma pergunta fundamental: Um computador padrão, mesmo um que utiliza o acaso para acelerar as coisas, pode resolver esses problemas descritos de forma sucinta rapidamente? A resposta deles foi um não definitivo. Eles provaram que resolver esses problemas específicos de energia e controle é tão difícil quanto simular qualquer computador quântico possível. Na linguagem da ciência da computatória, eles mostraram que esses problemas são "BQP-completos". Isso significa que, se um computador clássico pudesse resolver esses problemas de controle de forma eficiente, ele também seria capaz de resolver todos os problemas que um computador quântico pode resolver. Como a maioria dos especialistas acredita que os computadores clássicos não podem fazer isso, os pesquisadores concluíram que nenhum algoritmo clássico, por mais inteligente ou probabilístico que seja, pode resolver esses problemas de controle específicos em um tempo que escale razoavelmente com o tamanho da entrada.

Para chegar a essa conclusão, os pesquisadores não apenas adivinharam; eles construíram uma ponte matemática. Eles demonstraram que qualquer cálculo que um computador quântico realiza pode ser traduzido diretamente para um desses problemas de controle. Se você quisesse saber o resultado de um experimento quântico complexo, poderia codificar esse experimento na descrição de um sistema de energia ou custo de controle. Se um computador clássico pudesse rapidamente lhe dizer a resposta para essa questão de energia, ele estaria efetivamente executando o experimento quântico para você. Como os pesquisadores mostraram que essa tradução funciona para cada tarefa quântica possível, eles provaram que a dificuldade do problema de controle é exatamente a mesma dificuldade da computação quântica em si.

O estudo também mostrou que os computadores quânticos podem, de fato, resolver esses problemas de forma eficiente. Ao usar algoritmos quânticos específicos projetados para lidar com esses tipos de cálculos de matriz, uma máquina quântica pode encontrar a resposta em um tempo que cresce lentamente à medida que o sistema aumenta de tamanho. Isso cria uma divisão clara: o problema é fácil para um computador quântico, mas comprovadamente difícil para um clássico, assumindo a crença amplamente aceita de que o poder de computação quântica e clássica é fundamentalmente diferente. Os pesquisadores não apenas encontraram uma maneira mais rápida de fazer a matemática; eles identificaram uma classe específica de questões de engenharia que servem como um teste de limiar para o poder da mecânica quântica.

Este trabalho é importante porque move a conversa da especulação para a certeza. Durante anos, a promessa da computação quântica na engenharia baseou-se na ideia de que as máquinas quânticas seriam simplesmente mais rápidas na álgebra linear. Este artigo confirma que, para certas questões críticas sobre estabilidade e controle de sistemas, a vantagem não é apenas uma questão de velocidade, mas de capacidade. Ele estabelece que existem perguntas de engenharia do mundo real que são fundamentalmente fora do alcance dos computadores clássicos, não importa quanto tempo ou memória lhes seja dado. Os pesquisadores não alegaram ter construído um controlador quântico para um motor de jato ou uma rede elétrica, mas provaram que o fundamento matemático para tal controlador pertence a um reino onde apenas computadores quânticos podem transitar.

As descobertas também esclarecem a natureza da dificuldade. Os problemas não são difíceis porque os números são bagunçados ou os sistemas são caóticos. Eles são difíceis porque a maneira como a informação é compactada na descrição esconde uma complexidade que os computadores clássicos não conseguem desvendar sem simular todo o processo quântico. Os pesquisadores mostraram que, mesmo quando os sistemas são estritamente estáveis e bem comportados, a escala colossal da informação oculta cria uma barreira. Esta barreira não é uma falta temporária de melhores algoritmos; é um limite estrutural da computação clássica.

No fim, o artigo traça uma linha clara na areia. Ele nos diz que, para uma classe específica e importante de problemas de controle de horizonte infinito, o futuro do cálculo eficiente reside exclusivamente na tecnologia quântica. Se os engenheiros precisarem otimizar sistemas de escala tão imensa que só podem ser descritos por regras lógicas compactas, terão que confiar em máquinas quânticas. A abordagem clássica, mesmo com todos os seus truques probabilísticos, simplesmente baterá em um muro. Este resultado não apenas adiciona uma nova entrada a uma lista de vantagens quânticas; ele define uma nova categoria de problemas onde o mundo quântico não é apenas uma opção, mas o único caminho a seguir.