Equality of the critical inverse temperatures for the one- and two-sided Dyson models

No estudo de como a matéria muda seu estado, físicos frequentemente buscam modelos simples para compreender comportamentos complexos como o magnetismo. Na versão mais básica dessa ideia, cada pequeno ímã só se importa com seus vizinhos imediatos. Se eles apontam na mesma direção, estão felizes; se apontam em direções opostas, estão infelizes. Em uma linha unidimensional com apenas esses vizinhos imediatos, os ímãs nunca conseguem se alinhar perfeitamente por toda a linha, não importa o quão frio o sistema se torne. Eles permanecem desordenados. No modelo de Dyson, uma variação específica deste problema, os ímãs são permitidos sentir a atração de vizinhos distantes, não apenas daqueles que os tocam. A força dessa atração de longo alcance enfraquece conforme a distância cresce, seguindo uma regra específica. Quando essa atração é forte o suficiente, mas ainda assim desaparece rápido o bastante, o sistema se comporta de forma diferente: ele pode subitamente saltar para um estado unificado e ordenado, tal como um ímã tornando-se magnético. Essa mudança súbita é chamada de transição de fase, e ocorre em um limiar de temperatura específico.

Uma questão fundamental surge quando mudamos a forma do mundo que esses ímãs habitam. Importa se a linha de ímãs se estende infinitamente em ambas as direções, ou se começa em um ponto e segue infinitamente em apenas uma direção? Intuitivamente, ter uma "parede" em uma extremidade da linha pode tornar mais difícil para os ímãs coordenarem seu alinhamento através de todo o sistema. Isso sugeriria que a temperatura necessária para desencadear a transição de fase é mais alta para a linha de um lado só do que para a linha de dois lados. Por décadas, essa desigualdade foi a melhor suposição, mas uma prova definitiva de que os dois limiares são, na verdade, iguais permaneceu elusiva para um intervalo específico de forças de interação.

Em um novo artigo, os pesquisadores Noam Berger, Anders Johansson e Anders Öberg resolveram esta questão para uma ampla gama de forças de interação. Eles provaram que, para o modelo de Dyson, a temperatura crítica na qual a transição de fase ocorre é exatamente a mesma, quer o sistema seja uma linha que se estende infinitamente em ambas as direções, ou uma linha que começa em um ponto e se estende infinitamente em uma direção. Este resultado é verdadeiro sempre que a atração de longo alcance entre os ímãs desaparece a uma taxa que não é nem muito lenta, nem muito rápida. A equipe não dependeu de simulações computacionais ou aproximações; eles construíram uma prova matemática rigorosa que demonstra que os dois pontos críticos devem coincidir.

Os pesquisadores abordaram o problema olhando para o sistema através de uma lente diferente, usando um método que traduz os spins magnéticos em uma rede de conexões. Em vez de pensar em setas para cima e para baixo, eles imaginaram um grafo onde conexões entre pontos aparecem ou desaparecem com base na temperatura. Nesta visão, a transição de fase acontece quando um grande cluster infinito de pontos conectados se forma subitamente. A equipe sabia que, se o sistema de dois lados possui tal cluster gigante, o sistema de um lado só também deve possuir um, porque remover parte da linha pode apenas tornar as conexões mais difíceis, não mais fáceis. A parte difícil era provar o inverso: que se o sistema de um lado só possui um cluster gigante, o sistema de dois lados também deve possuir um. Para fazer isso, eles tiveram que mostrar que o sistema de um lado só, que é "mais difícil", é na verdade tão capaz de formar um cluster gigante quanto o sistema de dois lados, que é "mais fácil".

A estratégia deles envolveu uma técnica astuta chamada renormalização, que é essencialmente uma maneira de dar um zoom para ver o quadro geral. Eles dividiram a linha de ímãs em grandes blocos. Mostraram que, se a temperatura for alta o suficiente para causar uma transição de fase no sistema de dois lados, então, dentro de qualquer grande bloco do sistema de um lado só, há uma probabilidade muito alta de encontrar um grande cluster internamente conectado de ímãs. Esses clusters atuam como ilhas sólidas de ordem. Os pesquisadores então demonstraram que essas ilhas, mesmo no sistema de um lado só, têm probabilidade de se conectar umas às outras através das lacunas entre os blocos. Eles usaram um método que chamam de "sprinkling" (salpicar), que envolve adicionar uma pequena quantidade de aleatoriedade extra às conexções entre esses blocos. Essa pequena adição é suficiente para unir as lacunas e garantir que as ilhas se fundam em uma única rede infinita.

A prova depende da maneira específica como a força de interação desaparece com a distância. Os pesquisadores descobriram que seu método funciona perfeitamente quando o expoente de interação está entre um e dois. Neste intervalo, as conexões de longo alcance são fortes o suficiente para ligar os blocos distantes, mesmo na presença da fronteira. A lógica flui da existência de grandes clusters internos para a formação de uma rede abrangente e, finalmente, para a conclusão de que a temperatura crítica para o sistema de um lado só não pode ser maior do que a do sistema de dois lados. Como já era conhecido que a temperatura do sistema de um lado só não pode ser menor, as duas devem ser iguais.

Existe um caso que o artigo não resolve. Quando a força de interação desaparece a uma taxa correspondente a um expoente de exatamente dois, as ferramentas matemáticas usadas na prova não se sustentam mais. Os pesquisadores afirmam explicitamente que este caso limítrofe permanece um problema em aberto. Eles suspeitam que a igualdade ainda se mantém ali, mas seu argumento atual não consegue alcançá-lo. Para todos os outros casos onde a interação é de longo alcance, mas somável, porém, o mistério está resolvido. A presença de uma fronteira não altera a temperatura na qual o sistema se ordena.

Esta descoberta é significativa para o campo mais amplo da física estatística porque confirma que a natureza fundamental da transição de fase é robusta contra mudanças de geometria, desde que as interações sejam suficientemente de longo alcance. Também valida uma abordagem específica usada em outras áreas da física, como o estudo de operadores de transferência, onde o comportamento de sistemas de um lado só é frequentemente analisado. Ao provar que o limiar crítico é o mesmo, os autores mostram que o comportamento da linha completa é o ponto de referência natural, mesmo para sistemas com uma fronteira. O trabalho permanece como uma confirmação matemática precisa de que, neste mundo específico de ímãs de longo alcance, a extremidade da linha não muda as regras do jogo.