Which Phases Are Thermodynamically Realizable? A Local Entropy Criterion

Cet article établit que, pour des actions continues de groupes amènes sur des espaces compacts, une mesure ergodique est un état d'équilibre pour un potentiel continu si et seulement si l'application de l'entropie est semi-continue supérieurement en ce point, offrant ainsi un critère local pour déterminer quelles phases thermodynamiques sont réalisables.

L'essentiel

🌍 Le Grand Défi : Trouver la Recette Parfaite

Imaginez que vous êtes un chef cuisinier dans un univers infini. Votre but est de créer un plat (un état d'équilibre) qui satisfait parfaitement une foule de convives (les phases thermodynamiques).

Dans le monde de la physique et des mathématiques, ces "convives" sont des états de la matière ou des systèmes dynamiques. Le problème posé par l'auteur, C. Evans Hedges, est le suivant : Quels plats sont réellement réalisables ?

Autrement dit : Existe-t-il toujours une "recette" (un potentiel mathématique, comme une épice ou une température) capable de faire apparaître n'importe quel état désiré ? Ou certains états sont-ils des "fantômes" ? On ne peut pas les cuisiner, peu importe la recette qu'on essaie.

🗺️ La Carte du Territoire : L'Entropie et la Chaleur

Pour comprendre la réponse, il faut visualiser deux choses :

1. L'Entropie (h) : Imaginez-la comme le niveau de "désordre" ou de "liberté" d'un système. Plus c'est désordonné, plus l'entropie est haute.
2. La Pression (P) : C'est le score final du plat. Le système cherche toujours à maximiser ce score (un mélange de désordre et de saveur).

L'auteur s'intéresse à la régularité de la carte de l'entropie. Est-elle lisse ? Y a-t-il des trous ? Des falaises ?

🚫 Le Problème des "Fantômes" (Les Phases Irréalisables)

Jusqu'à présent, les mathématiciens pensaient que si la carte de l'entropie était globalement "lisse" (une propriété appelée semi-continuité supérieure), alors on pouvait atteindre n'importe quel état.

Mais Hedges découvre une astuce : Ce n'est pas la carte entière qui compte, c'est le sol sous vos pieds au moment précis où vous vous trouvez.

Il utilise une analogie culinaire puissante : La construction de Maxwell.
Imaginez que vous essayez de construire une colline de glace (l'énergie libre). Parfois, la glace veut s'effondrer pour former une vallée plus basse et plus stable.

• Si votre état désiré se trouve sur la crête d'une colline stable, vous pouvez le cuisiner. C'est un état réelizable.
• Si votre état désiré se trouve dans le creux d'une vallée qui a été "remplie" par une construction mathématique (le "convex envelope"), alors cet état est un fantôme. Il est caché derrière une barrière invisible. Aucune recette ne pourra le faire apparaître, car la nature préfère toujours la vallée plus basse.

💡 La Grande Découverte : La Règle du "Sol Local"

La thèse principale de l'article est simple et élégante :

Un état est réalisable (on peut le cuisiner) si et seulement si l'entropie est "lisse" juste à cet endroit précis.

Il n'est pas nécessaire que toute la carte soit parfaite. Il suffit que, là où vous posez le pied (votre état spécifique), il n'y ait pas de trou soudain ou de faille. Si l'entropie est "propre" à cet endroit précis, alors il existe une recette (un potentiel mathématique) pour créer cet état.

Si l'entropie fait un saut bizarre juste à cet endroit, alors cet état est un fantôme : il existe mathématiquement, mais il est thermodynamiquement impossible à atteindre.

🧩 Le Cas des Groupes d'Amis (Les Systèmes Infinis)

Le papier va plus loin. Il ne parle pas seulement de systèmes fermés (comme une boîte fermée), mais aussi de systèmes ouverts et infinis (comme un univers sans fin ou un système avec une infinité d'états possibles, comme un dé à jouer infini).

L'auteur montre que même dans ces mondes infinis, si on peut les "enfermer" temporairement dans une boîte imaginaire (une compactification), la même règle s'applique.

• Exemple concret : Les "déplacements de Markov" (des systèmes où l'on passe d'un état à un autre selon des règles, comme un jeu de l'oie infini).
• Le résultat : Même avec une infinité de cases, tant que le désordre (entropie) reste contrôlé et "lisse" localement, on peut trouver la recette pour atteindre n'importe quel état spécifique.

🛠️ La Correction d'une Erreur Précédente

L'article corrige aussi une erreur commise par un autre chercheur (Jenkinson) il y a quelques années.

• L'erreur : Jenkinson pensait que si la carte était lisse partout, on pouvait créer un "plateau" de plusieurs états qui coexistent.
• La correction de Hedges : Non ! Pour que plusieurs états coexistent en harmonie (un "visage d'équilibre"), il faut deux choses :
  1. Que chaque état individuel soit "lisse" localement (pas de trou sous le pied).
  2. Que la transition entre ces états soit continue (pas de saut brutal d'un état à l'autre).

C'est comme si vous vouliez construire un pont entre deux îles. Même si chaque île est solide, si le pont fait un saut de 10 mètres au milieu, personne ne peut traverser. La continuité est la clé.

🎯 En Résumé

Ce papier est une boussole pour les physiciens et les mathématiciens. Il leur dit :
"Ne vous inquiétez pas de savoir si tout l'univers est parfait. Regardez simplement sous vos pieds. Si l'entropie est stable et régulière à l'endroit précis où vous voulez aller, alors vous pouvez y aller. Si elle est brisée, c'est un mirage."

C'est une victoire de la régularité locale sur la complexité globale, prouvant que pour réaliser un rêve (un état thermodynamique), il suffit que le sol sous ses pieds soit solide.

Résumé technique

1. Problématique et Contexte

Le problème central :
Dans le formalisme thermodynamique variationnel, les états d'équilibre correspondent aux phases thermodynamiques. Ces états sont définis comme les mesures invariantes qui maximisent la pression $P(\phi) = \sup_{\nu} (h(\nu) + \int \phi \, d\nu)$ pour un potentiel continu donné $\phi$. La question fondamentale abordée par l'auteur est : quelles phases (mesures invariantes) sont « réalisables thermodynamiquement » ? Autrement dit, pour quelles mesures ergodiques $\mu$ existe-t-il un potentiel continu $\phi$ tel que $\mu$ soit un état d'équilibre (et idéalement unique) ?

Le contexte mathématique :
Ce problème se situe à l'intersection de la thermodynamique formelle classique et de l'optimisation ergodique.

• Dans le cas des systèmes compacts, la correspondance entre mesures de Gibbs et états d'équilibre est bien établie (Dobrushin, Lanford-Ruelle, Sinai, Ruelle).
• Des travaux antérieurs (Phelps, Jenkinson) ont établi des liens entre la géométrie des simplexes de Choquet, la continuité de l'entropie et la réalisabilité des états d'équilibre. Cependant, les résultats existants reposaient souvent sur des hypothèses de semi-continuité supérieure globale de l'application entropie $h$, ce qui est une condition trop forte et non nécessaire pour la réalisabilité d'une mesure individuelle.

L'objectif de l'article est de fournir une réponse complète et locale à cette question, en identifiant la condition exacte de régularité nécessaire.

---

2. Méthodologie

L'auteur utilise une approche combinant l'analyse convexe, la théorie des simplexes de Choquet et la dynamique topologique.

Outils principaux :

1. Théorie des Simplexes de Choquet : L'ensemble des mesures invariantes $M_T(X)$ est traité comme un simplexe de Choquet compact métrisable, dont les points extrêmes sont les mesures ergodiques $M_T^{erg}(X)$.
2. Analyse Convexe et Conjugaison de Legendre-Fenchel : L'entropie $h$ est vue comme une fonction sur le simplexe. La pression $P$ est la transformée de Legendre-Fenchel de l'entropie (à un signe près). La réalisabilité d'une phase est liée à la propriété selon laquelle la fonction est égale à sa biconjuguée (c'est-à-dire qu'elle se trouve sur l'enveloppe convexe de la fonction libre).
3. Construction de Potentiels : L'auteur construit explicitement des potentiels en utilisant des extensions de fonctions continues (théorème de Lau) et des fonctions de distance pour « isoler » une mesure ou un ensemble de mesures.
4. Extension aux systèmes non compacts : La méthode est généralisée via l'embedding de systèmes non compacts dans des systèmes compacts (par compactification à un point ou embedding invariant), permettant de traiter des shifts de Markov à états dénombrables.

Hypothèses de travail :

• Action d'un groupe localement compact moyennable $G$ sur un espace métrisable compact $X$.
• Entropie topologique finie ($h_{top} < \infty$).
• L'application entropie $h$ est fortement affine et bornée.

---

3. Résultats Clés et Contributions

A. Le Critère Local de Réalisabilité (Théorème 1 et Corollaire 2)

C'est le résultat principal de l'article. Il établit une équivalence parfaite pour une mesure ergodique $\mu$ :

$\mu$ est un état d'équilibre pour un potentiel continu $\phi$ si et seulement si l'application entropie $h$ est semi-continue supérieure en $\mu$.

• Signification : L'obstacle à la réalisabilité n'est pas une propriété globale du système, mais une condition de régularité locale de l'entropie au voisinage de la phase $\mu$.
• Interprétation thermodynamique : Les phases non réalisables sont exactement celles « cachées » derrière la construction de Maxwell (l'enveloppe convexe de l'énergie libre). Si $h$ n'est pas semi-continue supérieure en $\mu$, alors $\mu$ se trouve strictement au-dessus de l'enveloppe convexe de l'entropie et ne peut donc pas être un état d'équilibre.
• Unicité : Le théorème garantit même que si la condition est remplie, $\mu$ peut être l'unique état d'équilibre pour un certain potentiel.

B. Correction du Théorème de Jenkinson (Théorème 3)

L'auteur corrige un résultat antérieur de Jenkinson (2006) concernant la réalisation de « faces d'équilibre » (ensembles convexes fermés de mesures ergodiques).

• L'erreur : Jenkinson affirmait que la semi-continuité supérieure globale de $h$ suffisait pour qu'un ensemble fermé d'ergodiques $E$ soit la face d'équilibre d'un potentiel.
• La correction : L'auteur fournit un contre-exemple (sur le shift plein à deux symboles) montrant que la continuité de $h$ restreinte à l'ensemble $E$ est nécessaire.
• Le nouveau théorème : Un ensemble fermé $E$ de mesures ergodiques détermine une face d'équilibre si et seulement si :
  1. $h$ est continue sur $E$ (condition de continuité globale sur la face).
  2. $h$ est semi-continue supérieure en chaque point de $E$ (condition locale).
     Cela signifie que pour qu'une famille de phases coexiste à l'équilibre, l'entropie doit être continue à travers cette famille et localement régulière en chaque point.

C. Extension aux Systèmes Non Compacts (Théorèmes 4 et 5)

L'article étend ces résultats aux systèmes non compacts, en particulier aux shifts de Markov à états dénombrables.

• Méthode : En utilisant la compactification à un point (ou un embedding dans un système compact), l'auteur montre que le critère de semi-continuité supérieure locale reste valable.
• Potentiels $C_0$ : Pour les espaces localement compacts et $\sigma$-compacts, il existe un potentiel $f \in C_0(X)$ (tendant vers 0 à l'infini) réalisant la mesure.
• Application aux Shifts de Markov : En combinant avec des résultats récents (Iommi, Todd, Velozo) sur la semi-continuité supérieure de l'entropie pour les shifts de Markov à entropie finie, l'auteur démontre que toute mesure ergodique sur un tel système est réalisable comme état d'équilibre unique pour un potentiel $C_0$.

---

4. Signification et Impact

1. Précision Théorique : Ce travail affine considérablement la compréhension de la thermodynamique formelle en remplaçant des conditions globales (souvent trop restrictives) par des conditions locales optimales. Il clarifie la géométrie de l'espace des phases réalisables.
2. Résolution de Conjectures : Il résout le problème de la réalisabilité des états d'équilibre pour les mesures ergodiques dans le cadre compact et non compact, en fournissant une condition nécessaire et suffisante.
3. Correction de la Littérature : Il identifie et corrige une lacune importante dans les travaux de Jenkinson, établissant que la continuité de l'entropie sur un ensemble de phases est indispensable pour leur coexistence à l'équilibre.
4. Applications aux Systèmes Infinis : L'extension aux systèmes à états dénombrables (shifts de Markov) est cruciale pour la physique statistique des systèmes infinis et la théorie des systèmes dynamiques symboliques, offrant un cadre rigoureux pour l'optimisation ergodique dans ces contextes.

En résumé, l'article démontre que la régularité locale de l'entropie est la clé de voûte de la réalisabilité thermodynamique : une phase est physiquement accessible si et seulement si elle n'est pas « masquée » par une convexité de l'énergie libre, ce qui se traduit mathématiquement par la semi-continuité supérieure de l'entropie en ce point.