Schatten norms and determinants of linear combinations of matrix tensor powers via virtual representations

No mundo da física quântica, os cientistas frequentemente precisam comparar estados complexos de matéria para determinar qual deles está presente. Imagine tentar distinguir entre duas nuvens de átomos ligeiramente diferentes, ou dois padrões distintos de luz. Para fazer isso com precisão, os pesquisadores devem analisar esses sistemas não apenas uma vez, mas muitas vezes, empilhando cópias do mesmo estado umas sobre as outras. Esse processo cria um objeto matemático que cresce explosivamente a cada nova cópia adicionada. Se você tiver um sistema pequeno e o empilhar apenas algumas vezes, a quantidade de informação necessária para descrever todo o conjunto torna-se tão vasta que mesmo os supercomputadores mais poderosos não conseguem retê-la em sua memória. Este é um gargalo fundamental no teste de teorias quânticas e no design de tecnologias futuras. Por décadas, matemáticos souberam como lidar com esses enormes empilhamentos quando há apenas um ou dois tipos diferentes de itens sendo combinados, mas um terceiro tipo sempre lançou o cálculo no caos, fazendo parecer impossível de resolver sem força bruta.

Uma equipe de pesquisadores em Budapeste encontrou agora uma maneira de contornar essa explosão de complexidade, pelo menos para sistemas de um tamanho específico. Eles desenvolveram um novo método para calcular o "tamanho" ou "peso" desses enormes empilhamentos matemáticos, mesmo quando são construídos a partir de três ingredientes diferentes. A abordagem deles não tenta construir o objeto gigante para depois medi-lo. Em vez disso, utiliza uma profunda simetria encontrada na natureza para decompor o problema em muitas partes minúsculas e gerenciáveis. Ao reorganizar o problema nesses blocos menores, eles podem computar a resposta em uma fração do tempo que levaria para armazenar o objeto completo. Em um caso de teste onde o objeto completo exigiria mais espaço de armazenamento do que existe em todos os discos rígidos do mundo, o método deles resolveu o problema em menos de um minuto.

O cerne do problema reside em como esses estados quânticos são combinados. Quando os cientistas empilham cópias de um sistema, estão criando o que é chamado de potência tensorial. Se você tem um único sistema e o empilha dez vezes, a descrição matemática cresce por um fator do tamanho do sistema elevado à décima potência. Para um sistema que já é grande, esse número torna-se astronômico. Os pesquisadores estavam interessados em um tipo específico de medição usado para distinguir entre diferentes estados quânticos, uma tarefa central no teste de hipóteses quânticas. Essa medição envolve somar vários desses enormes empilhamentos, cada um ponderado por um número diferente. Quando há apenas dois empilhamentos para somar, matemáticos há muito tempo conhecem um atalho para simplificar o cálculo. No entanto, quando um terceiro empilhamento é introduzido, o atalho desaparece. O terceiro termo não pode ser facilmente expresso em termos dos outros, e o cálculo torna-se um pesadelo de crescimento exponencial.

Para resolver isso, os autores recorreram a um ramo da matemática chamado teoria de representação, que estuda como grupos de simetria atuam sobre espaços. Eles utilizaram um princípio conhecido como dualidade de Schur–Weyl, que revela que o enorme empilhamento de cópias não é um bloco único e caótico, mas sim uma coleção de blocos menores e independentes que não interagem entre si. Pense nisso como uma biblioteca enorme que, ao ser observada de perto, revela-se uma coleção de pequenas salas separadas, cada uma contendo um tipo específico de livro. Os pesquisadores encontraram uma maneira de identificar essas salas sem nunca ter que construir a biblioteca. Eles provaram que, para qualquer conjunto de matrizes que representam esses estados quânticos, o objeto gigante pode ser dividido nesses pedaços menores usando uma transformação única e fixa. Isso significa que o problema complexo e de alta dimensão pode ser substituído por uma soma de muitos problemas menores e de baixa dimensão.

O avanço ocorreu quando combinaram essa técnica de divisão com outra identidade matemática, a fórmula de Jacobi–Trudi. Essa fórmula permite que os pesquisadores expressem os blocos complexos como diferenças de blocos mais simples feitos de potências simétricas. No caso de um sistema três por três, que é o menor tamanho onde esta nova dificuldade aparece, cada bloco complexo poderia ser reduzido à diferença entre apenas dois termos explicitamente calculáveis. Essa redução é exata; não é uma aproximação ou um palpite. É uma prova matemática rigorosa de que o valor do objeto gigante é exatamente igual à soma dessas diferenças menores e assinadas. Como os blocos menores são muito menores do que o objeto original, eles cabem facilmente na memória do computador.

A equipe implementou este método em um pacote de software e o testou contra a antiga abordagem de força bruta. Eles usaram matrizes aleatórias três por três para representar estados quânticos e compararam os resultados. Para números pequenos de cópias, onde ambos os métodos podiam rodar, o novo método produziu resultados que coincidiam com o método antigo com um grau de precisão extremamente alto, com erros tão pequenos que eram efetivamente zero. À medida que aumentavam o número de cópias, o método antigo tornava-se impossível. Em um nível onde a matriz completa exigiria cerca de 2,4 quintilhões de bytes de armazenamento — muito mais do que qualquer computador pode conter — o novo método calculou a resposta em cerca de 47 segundos em um processador de computador padrão. O maior bloco que o novo método teve que manipular era de apenas cerca de 18.000 por 18.000, um tamanho trivial para computadores modernos.

Os pesquisadores também verificaram a estabilidade de seu método. Como o cálculo envolve a subtração de dois números grandes para obter um resultado pequeno, existe o risco de que erros de arredondamento do computador possam arruinar a resposta. Eles desenvolveram uma forma de monitorar esse potencial cancelamento e confirmaram que, para a faixa testada, os resultados permaneceram estáveis e precisos. Eles observaram que, embora o método funcione perfeitamente para dois ou três termos, ele não se estende à norma de operador, um tipo diferente de medição que depende da busca por um valor máximo em vez de uma soma. Esta limitação é inerente à estrutura matemática que utilizaram. No entanto, para o problema específico de calcular a norma de traço e determinantes dessas combinações, o método é exato e eficiente.

Este trabalho fornece uma ferramenta prática para explorar um regime da física quântica que era anteriormente inacessível. Permite que cientistas simulem e testem hipóteses envolvendo múltiplos estados quânticos com um nível de detalhe que antes era impossível. Os autores enfatizam que isso não é um truque de mágica que resolve todos os problemas quânticos, mas uma redução matemática precisa que transforma um cálculo impossível em um cálculo viável. Ao separar o problema em suas partes simétricas fundamentais, eles abriram as portas para o estudo de cópias finitas de estados quânticos de uma forma que respeita os limites do hardware físico. O código e os dados usados em seu estudo estão disponíveis para que outros possam verificar e construir sobre eles, garantindo que este novo caminho à frente esteja aberto a toda a comunidade científica.