An elementary proof of Brémont's theorem on the convergence of equilibrium measures at temperature zero

Nello studio dei sistemi complessi, dalle forme vorticose del meteo alle intricate disposizioni degli atomi in un cristallo, gli scienziati cercano spesso lo stato in cui un sistema si assesta quando viene spinto ai suoi limiti assoluti. Immaginate un vasto paesaggio di possibilità, dove ogni punto rappresenta una diversa disposizione del sistema. Al variare di un fattore di controllo, come la temperatura, il sistema tende a favorire alcune disposizioni rispetto ad altre. Ad alte temperature, il sistema è caotico ed esplora molti stati differenti. Ma man mano che la temperatura scende verso lo zero assoluto, il sistema è costretto a scegliere un singolo stato, più favorevole, noto come stato fondamentale. In matematica, questo processo è modellato utilizzando un concetto chiamato misura di equilibrio, che descrive la probabilità di trovare il sistema in una determinata configurazione. Per molto tempo, i matematici sapevano che se le regole che governano il sistema fossero state semplici e immutabili, questa probabilità si sarebbe infine stabilizzata in un modello stabile man mano che la temperatura svaniva. Tuttavia, quando le regole erano leggermente più complesse, non era chiaro se il sistema avrebbe mai davvero deciso su uno stato finale o se avrebbe continuato a oscillare tra le possibilità per sempre.

Questa incertezza è stata l'oggetto di una recente dimostrazione di Oliver Jenkinson e Mark Pollicott, che hanno affrontato una specifica domanda su come questi sistemi si comportano quando la temperatura raggiunge lo zero. Stavano investigando un tipo di modello matematico chiamato sottospostamento di tipo finito (subshift of finite type), che può essere pensato come un insieme di regole su come i simboli possano seguire l'uno l'altro in una sequenza. In questo modello, una funzione assegna un valore a ogni possibile sequenza, agendo come un punteggio che determina quali sequenze sono più desiderabili. Al calare del parametro della temperatura, il sistema concentra la sua attenzione sulle sequenze con i punteggi più alti. I ricercatori volevano sapere se, avvicinandosi la temperatura allo zero, la probabilità di trovare il sistema in un particolare schema finirebbe per smettere di cambiare e stabilizzarsi su un numero singolo e definito. Mentre un matematico precedente aveva dimostrato che questo era vero, la prova era altamente tecnica e si basava su strumenti avanzati provenienti da un ramo della geometria chiamato funzioni subanalitiche. Jenkinson e Pollicott si sono posti l'obiettivo di fornire una spiegazione molto più semplice e diretta che chiunque con una base di algebra potesse seguire.

Il team si è concentrato su uno scenario in cui le regole del sistema sono localmente costanti, il che significa che il valore assegnato a una sequenza dipende solo da un breve numero fisso dei suoi simboli iniziali. Sono partiti da una formula nota che mette in relazione la probabilità di un particolare schema con le proprietà di una grande griglia di numeri, che funge da mappa di tutte le possibili transizioni nel sistema. Questa formula coinvolge un numero speciale che cambia al variare della temperatura, rappresentando l'energia complessiva o la pressione del sistema. La difficoltà nei tentativi precedenti di dimostrare la convergenza era che, al calare della temperatura, sia il numeratore che il denominatore di questa formula si restringevano verso lo zero, rendendo impossibile vedere il risultato finale direttamente. Era come cercare di determinare la pendenza di una collina guardando due punti che stavano entrambi collassando nello stesso punto.

Per risolvere questo problema, gli autori hanno capito che il numero speciale che rappresenta l'energia del sistema non era un valore casuale; era la radice di un'equazione polinomiale specifica. Ciò significa che, se si inserisce questo numero in una certa equazione algebrica, il risultato è zero. I coefficienti di questa equazione erano costruiti da semplici somme di valori esponenziali, che sono numeri che crescono o decrescono a un ritmo costante. Usando il fatto che questo numero speciale soddisfa l'equazione, i ricercatori sono stati in grado di eliminarlo dalla loro formula principale. Questa manovra algebrica ha rivelato che la probabilità di trovare il sistema in un dato schema era essa stessa una soluzione di un'equazione polinomiale differente. In altre parole, la probabilità non era un valore caotico e imprevedibile, ma un numero matematicamente legato alle regole del sistema in modo molto rigido.

L'ultimo passaggio dell'argomentazione si è basato su un'osservazione semplice ma potente riguardante i numeri che si comportano in questo modo. Se un valore è vincolato a essere una soluzione di un'equazione polinomiale i cui coefficienti cambiano in modo prevedibile e fluido, allora non può oscillare per sempre mentre la temperatura scende. Deve eventualmente assestarsi su un numero singolo e fisso. Gli autori hanno dimostrato che questo limite non è solo un numero qualsiasi, ma un numero algebrico, ovvero un tipo di numero che può essere definito come la radice di un polinomio con coefficienti razionali. Ciò resta vero anche se le regole originali del sistema coinvolgono numeri che non sono algebrici. La dimostrazione ha confermato che lo stato finale del sistema è determinato da un insieme finito di possibilità, e il modo specifico in cui il sistema sceglie tra di esse è fissato dalla sottostante struttura algebrica.

Il risultato conferma che per i sistemi con questi tipi specifici di regole, il limite a temperatura zero esiste sempre. Il sistema non esita né fallisce nel decidere; converge verso uno stato stabile. Inoltre, la prova fornisce un quadro chiaro di cosa sia questo stato: la probabilità assegnata a ogni possibile schema è un numero algebrico. Questo significa che, anche se il sistema potrebbe essere incredibilmente complesso, il suo comportamento finale è governato da un insieme finito e calcolabile di relazioni matematiche. Il lavoro sostituisce una prova pesante e astratta con un argomento chiaro ed elementare, mostrando che la convergenza di queste misure è una conseguenza naturale delle proprietà algebriche nascoste nelle regole del sistema. Le scoperte suggeriscono che, nel regno di questi modelli matematici, il percorso verso lo stato fondamentale è sempre ben definito e prevedibile, offrendo una comprensione più profonda di come i sistemi complessi risolvano i loro conflitti interni quando vengono spinti all'estremo.