Absence of nontrivial local conserved quantities in a class of $U(1)$-symmetric spin-1 chains

No vasto cenário da física quântica, onde partículas se comportam de maneiras que desafiam a intuição cotidiana, os cientistas frequentemente categorizam sistemas em dois grandes grupos: aqueles que são previsíveis e aqueles que são caóticos. Os previsíveis, conhecidos como sistemas integráveis, são especiais porque possuem uma ordem oculta. Eles são governados por um grande número de regras que nunca mudam com o tempo, agindo como um conjunto de leis inquebráveis que mantêm o comportamento do sistema sob controle. Essas regras são chamadas de quantidades conservadas. Em contraste, a maioria dos sistemas é não-integrável; eles carecem dessas regras extras, permitindo que a energia se espalhe e que o sistema eventualmente alcance um estado de equilíbrio térmico, tal como uma xícara de café quente esfriando em uma sala. Compreender quais sistemas caem em qual categoria é crucial, porque a presença ou ausência dessas regras imutáveis determina se um material pode ser resolvido com matemática exata ou se deve ser estudado através de aproximação e simulação.

Por décadas, físicos buscaram uma maneira clara de distinguir esses dois tipos de sistemas. Uma ideia proeminente sugere que, se um sistema possui um tipo específico de regra que envolve três partes vizinhas do sistema, é provável que ele seja integrável. Se nenhuma tal regra existir, o sistema é não-integrável. Essa distinção não é apenas uma curiosidade matemática; ela tem implicações profundas sobre como a matéria se comporta nas menores escalas, particularmente em relação a como as simetrias — padrões fundamentais na natureza — podem quebrar. Em cadeias unidimensionais de átomos, um teorema famoso sugere que simetrias contínuas nunca devem quebrar na temperatura do zero absoluto. No entanto, existem exceções conhecidas, como o ferromagneto de Heisenberg, onde a simetria quebra porque o sistema possui uma quantidade especial e imutável chamada magnetização que protege o estado ordenado. A questão que permanecia sem resposta era se outros sistemas mais exóticos poderiam quebrar a simetria sem esse escudo protetor.

Uma equipe de pesquisadores respondeu agora rigorosamente a essa questão para uma classe específica de cadeias de spins quânticos. Eles focaram em uma família de sistemas unidimensionais onde os átomos interagem com seus vizinhos mais próximos e possuem um tipo específico de simetria de rotação. Dentro desta família, eles examinaram um conjunto de modelos onde certas forças de interação foram definidas como zero, criando um cenário que ferramentas matemáticas anteriores não conseguiam lidar. O objetivo deles era determinar se esses sistemas possuíam quaisquer regras locais não triviais que nunca mudam ao longo do tempo. Ao aplicar um método sistemático de verificar cada possível combinação de interações, eles provaram que, para essas cadeias específicas, não existem tais regras além das mais básicas: a energia total do sistema, a magnetização total e a identidade do próprio sistema.

Os pesquisadores demonstraram que, para qualquer cadeia desses átomos, não existem quantidades conservadas ocultas que envolvam um pequeno número de sítios vizinhos, especificamente de três sítios até metade do comprimento de toda a cadeia. Essa descoberta é significativa porque prova que esses sistemas são não-integráveis. Mais importante, ela encerra um debate de longa data sobre um modelo particular "livre de frustração" (frustration-free), um sistema onde o estado fundamental minimiza a energia localmente sem conflito. Este modelo era conhecido por exibir uma quebra espontânea de simetria no zero absoluto, uma exceção às regras padrão da física unidimensional. No entanto, ao contrário do ferromagneto de Heisenberg, este modelo não possui uma magnetização local que comute com a energia do sistema. A nova prova confirma que não existe outra quantidade local que possa servir como guardiã para este estado ordenado.

A ausência dessas quantidades conservadas locais significa que a quebra de simetria neste modelo não pode ser explicada por uma regra local simples que permanece constante. Em vez disso, os pesquisadores concluem que o fenômeno é possibilitado pela estrutura única do panorama de energia do sistema, onde as interações são organizadas de uma forma que permite "excitações suaves" que não custam muita energia. Isso permite que o sistema se ordene mesmo em uma dimensão, contornando as restrições usuais. O estudo também estendeu esta prova a um sistema relacionado conhecido como cadeia de Motzkin periódica, outro modelo quântico complexo que exibe comportamento semelhante. Em ambos os casos, os pesquisadores mostraram que qualquer quantidade que pudesse atuar como um parâmetro de ordem para a quebra de simetria deve ser altamente não-local, envolvendo correlações através de uma grande parte do sistema, em vez de ser uma propriedade simples de alguns átomos vizinhos.

Este trabalho fornece uma base matemática rigorosa para entender como sistemas quânticos podem se ordenar sem os mecanismos protetores tradicionais. Ele esclarece que o mecanismo que impulsiona essa quebra de simetria é distinto daquele encontrado em ferromagnetos. A prova baseia-se em uma análise algébrica detalhada que verifica todas as formas possíveis pelas quais uma quantidade conservada poderia ser construída, mostrando que as equações necessárias para que tal quantidade existisse simplesmente não podem ser satisfeitas. Ao descartar a existência dessas regras locais, o estudo confirma que a ordem observada nesses sistemas surge de uma propriedade global mais sutil do estado quântico. Essa distinção ajuda os físicos a entender melhor as diversas maneiras pelas quais a matéria pode se organizar no nível quântico, separando o comportamento de sistemas que são protegidos por leis de conservação locais daqueles que dependem da geometria intrincada de suas interações.

As implicações desta pesquisa vão além dos modelos específicos estudados. Ela oferece um quadro mais claro da fronteira entre sistemas integráveis e não-integráveis, reforçando a ideia de que a ausência de quantidades conservadas locais é uma assinatura robusta de não-integrabilidade. Para as cadeias livres de frustração examinadas, os resultados indicam que sua capacidade de quebrar a simetria é uma consequência direta de sua estrutura de energia, não de uma lei de conservação oculta. Esse insight é valioso para o campo mais amplo da física de muitos corpos quânticos, pois ajuda a identificar quais sistemas tendem a termalizar e quais podem reter a memória de seu estado inicial. O estudo também destaca o poder dos métodos analíticos na mecânica quântica, mostrando que, mesmo em sistemas complexos com parâmetros contínuos, é possível provar a não-existência de certas propriedades com absoluta certeza.

No contexto da conversa científica mais ampla, este artigo fecha uma lacuna em nossa compreensão dos sistemas quânticos unidimensionais. Ele submete um modelo que era anteriormente um enigma, devido aos seus termos de interação evanescentes, a um teste rigoroso, confirmando que ele se comporta como um sistema não-integrável genérico em termos de suas quantidades conservadas. O trabalho dos pesquisadores sugere que o mecanismo que permite a esses sistemas quebrarem a simetria é fundamentalmente diferente do encontrado em ferromagnetos, baseando-se, em vez disso, na forma específica como os hiatos de energia se fecham em sistemas livres de frustração. Esta distinção é crucial para o desenvolvimento de uma teoria completa de transições de fase quânticas e quebra de simetria em materiais de baixa dimensão.

O estudo não afirma resolver todos os mistérios da quebra de simetria quântica, mas fornece uma resposta definitiva para a classe específica de modelos que investiga. Ele deixa aberta a questão de como essas descobertas se aplicam à versão original, não-periódica, da cadeia de Motzkin, que possui condições de contorno diferentes. No entanto, os autores argumentam que o mecanismo subjacente é provavelmente o mesmo, sugerindo que a falta de quantidades conservadas locais é uma característica geral deste tipo de sistema livre de frustração. O trabalho permanece como um testemunho do poder do raciocínio matemático preciso para desvendar as regras ocultas que governam o mundo quântico, oferecendo uma imagem clara e inequívoca do que é e do que não é possível nessas intrincadas cadeias de átomos.