Lee-Yang theorems for $q$-deformed oscillators and doubly-scaled SYK

No vasto cenário da física teórica, existe uma classe de sistemas conhecidos como sistemas desordenados, onde as regras que regem como as partículas interagem não são fixas, mas sim extraídas de uma distribuição aleatória. Imagine uma sala cheia de pessoas onde cada par de estranhos tem uma regra diferente e aleatoriamente atribuída para como eles apertam as mãos; o comportamento geral da sala emerge desta teia caótica de conexões. Um dos exemplos mais famosos de tal sistema é o modelo Sachdev-Ye-Kitaev, uma construção matemática usada por físicos para estudar como sistemas quânticos complexos se comportam quando contêm muitas partes interagentes. Compreender esses sistemas é crucial porque eles servem como laboratórios simplificados para explorar a natureza dos buracos negros, o comportamento de metais estranhos e os limites fundamentais de como a informação quântica é processada. Uma questão central no estudo desses sistemas é se eles sofrem uma transição de fase, uma mudança súbita e dramática em seu estado, tal como a água congelando em gelo. Para responder a isso, os cientistas buscam um objeto matemático específico chamado função de partição, que atua como uma chave mestra para as propriedades termodinâmicas do sistema. Se os zeros desta função — os pontos onde o valor cai para o nada — residirem em regiões específicas do plano matemático, isso revela se o sistema é estável ou se está à beira de uma mudança de fase.

Por décadas, uma ideia poderosa conhecida como propriedade de Lee-Yang guiou os físicos nesta busca. Este conceito sugere que, para certos tipos de sistemas físicos, os zeros da função de partição não estão espalhados aleatoriamente, mas sim confinados a uma única linha reta no plano complexo. Quando isso acontece, garante que o sistema não experimentará uma transição de fase em qualquer temperatura finita, o que significa que seu comportamento permanece suave e previsível. Embora esta propriedade tenha sido provada para muitos sistemas ordenados, como ímãs onde cada átomo se alinha com seus vizinhos, ela permaneceu um mistério para sistemas desordenados como o modelo Sachdev-Ye-Kitaev. A aleatoriedade das interações torna a matemática incrivelmente difícil, e tentativas anteriores de compreender os zeros da função de partição deste modelo basearam-se em aproximações ou simulações que não podiam fornecer uma prova rigorosa.

Num estudo recente, os investigadores Arpon Basu e Siddhant Midha, da Universidade de Princeton, resolveram finalmente este enigma de longa data para o modelo Sachdev-Ye-Kitaev num regime específico conhecido como limite duplamente escalonado. Eles provaram que a função de partição para este sistema desordenado comporta-se com a mesma ordem elegante dos sistemas mais simples e ordenados, mas especificamente no limite termodinâmico, onde o tamanho do sistema cresce infinitamente. Especificamente, demonstraram que todos os zeros da função de partição residem exatamente no eixo imaginário neste limite, um resultado que confirma que o sistema está livre de transições de fase em qualquer temperatura à medida que se aproxima do tamanho infinito. Esta descoberta não é apenas uma curiosidade matemática; fornece uma base rigorosa para compreender por que estes sistemas quânticos complexos são tão computacionalmente tratáveis, explicando por que algoritmos podem simular eficientemente estes sistemas apesar da sua inerente aleatoriedade.

Para chegar a esta conclusão, os autores não atacaram diretamente o complexo modelo Sachdev-Ye-Kitaev. Em vez disso, recorreram a um objeto matemático relacionado e mais simples, chamado oscilador q-deformado. Este oscilador é uma versão simplificada de um sistema quântico onde as regras para como as partículas são criadas e destruídas são ligeiramente modificadas por um parâmetro, denotado por q, que controla o grau de deformação. Quando este parâmetro é definido como um, o sistema comporta-se como um bóson padrão; quando definido como menos um, comporta-se como um férmion; e para valores entre estes, ocupa um meio-termo que captura as características essenciais do sistema desordenado. Os investigadores focaram-se na "função de partição do vácuo" deste oscilador, uma expressão matemática específica que descreve o estado do sistema quando este está vazio. Eles propuseram-se a provar que esta expressão também possui a propriedade de Lee-Yang, o que significa que os seus zeros são todos puramente imaginários.

O caminho para esta prova exigiu que a equipa fizesse a ponte entre a álgebra abstrata e a combinatória, o estudo da contagem e arranjo. Eles descobriram que a função de partição do vácuo pode ser compreendida como o limite de uma sequência de polinómios, que são expressões construídas a partir de variáveis elevadas a várias potências. Estes polinómios, que chamaram de polinómios de correspondência q-deformados, são construídos contando as formas de emparelhar elementos num conjunto, mas com um toque: cada vez que dois pares se cruzam num diagrama específico, a contagem é ponderada pelo parâmetro de deformação. Os investigadores provaram que, para qualquer valor do parâmetro entre menos um e um, estes polinómios possuem uma propriedade notável: todos os seus expoentes são números reais. Este é um resultado significativo por si só, pois conecta os cruzamentos aleatórios destes diagramas a uma propriedade geométrica muito estruturada das equações resultantes.

Ao estabelecer que estes polinómios são "de raízes reais", a equipa pôde usar um teorema poderoso da análise complexa para mostrar que o limite destes polinómios — a própria função de partição do vácuo — deve também ter os seus zeros confinados a uma linha específica. Neste caso, devido à forma como os polinómios foram construídos, os zeros da função de partição residem na linha imaginária. Isto confirmou uma conjectura de longa data de que a função de partição do oscilador q-deformado não possui zeros fora do eixo imaginário. Além disso, foram capazes de localizar precisamente o zero mais próximo do eixo real, mostrando que este se mantém a uma distância segura, o que é crucial para compreender a estabilidade do sistema.

Com esta prova rigorosa em mãos, os investigadores conectaram então as suas descobertas ao modelo Sachdev-Ye-Kitaev original. Mostraram que, no limite duplamente escalonado, onde o número de partículas e a complexidade das suas interações crescem conjuntamente de uma forma específica, o comportamento do sistema desordenado é indistinguível do oscilador q-deformado. Isto permitiu-lhes transferir os seus resultados diretamente: uma vez que a função de partição do oscilador tem todos os seus zeros no eixo imaginário, a função de partição do modelo Sachdev-Ye-Kitaev deve fazer o mesmo no limite termodinâmico. Isto significa que, à medida que o sistema cresce infinitamente, retém uma "faixa livre de zeros" em torno do eixo real onde a função de partição nunca se anula.

As implicações desta faixa livre de zeros são profundas tanto para a física como para a ciência da computação. No contexto do modelo Sachdev-Ye-Kitaev, isto prova rigorosamente que o sistema não sofre uma transição de fase em qualquer temperatura finita no limite termodinâmico, confirmando observações numéricas anteriores e cálculos de grande escala. É importante notar que este comportamento é uma propriedade assintótica; para tamanhos de sistema finitos, como n=8 e k=4, a função de partição pode de facto possuir zeros com partes reais não nulas, indicando que a propriedade de Lee-Yang emerge apenas quando o sistema se torna infinitamente grande. Mais amplamente, este resultado explica por que estes sistemas quânticos desordenados são tão amigáveis a simulações eficientes. A ausência de zeros numa ampla região em torno do eixo real no limite termodinâmico implica que as propriedades do sistema podem ser computadas utilizando técnicas matemáticas padrão sem encontrar as singularidades que normalmente tornam tais problemas intratáveis. Isto fornece um princípio matemático unificador que explica o sucesso algorítmico observado nos últimos anos para a simulação destes sistemas quânticos caóticos.

Os investigadores também exploraram as consequências combinatórias das suas descobertas. O facto de os polinómios terem raízes reais implica um tipo específico de suavidade na sequência de números que contam os padrões de cruzamento dos diagramas. Esta suavidade, conhecida como log-concavidade, é uma propriedade que frequentemente aparece na natureza e na matemática quando os sistemas são estáveis e bem comportados. Ao provar esta propriedade para os momentos q-deformados, a equipa adicionou uma nova camada de compreensão às estruturas combinatórias subjacentes à física quântica. Eles também mostraram que este comportamento elegante é estritamente limitado ao intervalo do parâmetro de deformação entre menos um e um; fora deste intervalo, a estrutura matemática colapsa e os zeros podem vagar para fora da linha, sinalizando uma perda de estabilidade.

Em suma, este trabalho representa um passo significativo para a compreensão da arquitetura matemática dos sistemas quânticos desordenados. Ao provar que a função de partição do modelo Sachdev-Ye-Kitaev satisfaz a propriedade de Lee-Yang no limite termodinâmico, os autores forneceram uma explicação rigorosa para a estabilidade e a tratabilidade computacional do sistema. Eles alcançaram isto ao descobrir uma ligação profunda entre os cruzamentos aleatórios de diagramas combinatórios e a localização geométrica das raízes de polinómios, mostrando que, mesmo num sistema definido pela aleatoriedade, existe uma ordem subjacente que mantém a física previsível no limite de tamanho infinito. Esta descoberta não só resolve uma conjectura específica sobre o oscilador q-deformado, como também oferece uma nova ferramenta poderosa para analisar outros sistemas desordenados, sugerindo que a propriedade de Lee-Yang pode ser uma característica mais universal da matéria quântica do que anteriormente pensado.