On the absence of time-translation symmetry breaking in some non-reversible interacting particle systems

En utilisant une technique d'énergie libre, les auteurs démontrent que les systèmes de particules en interaction non réversibles sur $\mathbb{Z}^d$ ($d=1,2$) avec des taux strictement positifs et admettant une mesure stationnaire produit ne peuvent pas présenter de comportement périodique dans le temps, établissant ainsi l'absence de brisure de symétrie de translation temporelle dans ces dimensions.

L'essentiel

🕰️ Le Mystère de la Danse Éternelle : Pourquoi certains systèmes ne peuvent pas danser en rond

Imaginez un immense tapis de danse composé de millions de petits danseurs (des particules) placés sur une grille infinie. Chaque danseur peut changer de costume (son état) en fonction de ce que font ses voisins. C'est ce qu'on appelle un système de particules en interaction.

Dans le monde de la physique, on se demande souvent : Ces danseurs peuvent-ils se mettre à danser une chorégraphie parfaite et répétitive (une boucle temporelle) sans jamais s'arrêter ?

Si oui, cela signifierait que le système brise la "symétrie du temps". Normalement, si vous regardez une horloge, elle avance toujours. Mais si le système se met à faire un cycle parfait (A → B → C → A...), il crée un rythme propre, comme un métronome qui batrait tout seul, même si personne ne le pousse.

L'auteur de ce papier, Jonas Köppl, s'est posé une question cruciale : Est-il possible que ces danseurs, dans un espace à 1 ou 2 dimensions (comme une ligne ou une feuille de papier), trouvent un rythme parfait et répétitif ?

Sa réponse est un grand "NON", sous certaines conditions. Voici comment il l'explique avec des images simples.

1. Le Chaos et le Bruit (La Tempête)

Imaginez que votre tapis de danse est soumis à une tempête constante. C'est le "bruit" ou l'aléatoire du système. Chaque fois qu'un danseur veut changer de costume, il y a une petite chance qu'il soit poussé par le vent et change de façon imprévisible.

• La règle du jeu : Tant que le vent souffle (les taux de transition sont strictement positifs), personne ne peut rester figé. Tout le monde bouge.

2. L'Ordre Parfait (Le Produit)

Le papier suppose qu'il existe un état "parfait" où les danseurs sont totalement indépendants les uns des autres, comme des gens qui dansent chacun de leur côté sans se soucier des voisins. En physique, on appelle cela une mesure produit. C'est un état de désordre total mais équilibré, comme une foule où chacun fait ce qu'il veut, mais statistiquement, tout est stable.

3. Le Problème de la "Danse en Rond"

L'auteur veut prouver que si votre système a cet état d'équilibre "indépendant" (la mesure produit), il est impossible qu'il se mette à danser une boucle répétitive (une orbite périodique).

L'analogie de la bougie :
Imaginez que vous essayez de faire tourner une toupie (le système) sur une table.

• Si la table est très petite (1 ou 2 dimensions) et qu'il y a beaucoup de friction (le bruit/aléatoire), la toupie va finir par tomber ou s'arrêter. Elle ne peut pas maintenir un rythme parfait infini.
• Pour qu'une toupie tourne éternellement dans un cycle parfait, il faudrait qu'elle soit dans un monde sans friction ou avec des interactions très spéciales (comme des liens à très longue distance, ce qui n'est pas le cas ici).

4. La Preuve par l'Énergie (Le "Compte de Banque")

Comment Jonas Köppl le prouve-t-il ? Il utilise une technique mathématique appelée l'entropie relative, qu'on peut imaginer comme un compte de banque d'énergie.

• Le concept : Chaque fois que le système s'éloigne de son état d'équilibre (la mesure produit), il "dépense" de l'énergie (l'entropie augmente).
• Le piège : Si le système essaie de faire une boucle (A → B → A), il doit dépenser de l'énergie pour sortir de l'état A, puis en gagner pour revenir.
• Le résultat : Dans un monde à 1 ou 2 dimensions, le "coût" de cette dépense est trop élevé à cause du bruit ambiant. Le système ne peut pas se permettre de faire ce tour complet sans s'épuiser. Il est forcé de rester à l'état d'équilibre (A). Il ne peut pas "danser" en rond.

5. Pourquoi la dimension compte-t-elle ? (La différence entre une ligne et un cube)

C'est le point le plus fascinant.

• En 1D (une ligne) et 2D (une feuille) : Les danseurs sont trop proches les uns des autres. Le bruit se propage partout. Si un danseur essaie de faire un mouvement spécial, le bruit de ses voisins l'annule immédiatement. Il est impossible de maintenir un rythme cohérent sur toute la ligne ou la feuille.
• En 3D (un cube) et plus : L'espace est plus grand. Il y a plus de "murs" et de coins. Le bruit a plus de mal à tout étouffer. Il est théoriquement possible (dans d'autres modèles) que des systèmes à 3 dimensions trouvent ce rythme périodique. Mais sur une feuille de papier (2D) ou une ligne (1D), c'est interdit par les lois de la probabilité.

🎯 En résumé

Ce papier est comme un panneau "Interdit de stationner" pour les systèmes physiques.

Il dit : "Si vous avez un système de particules sur une ligne ou une feuille, et que ces particules ont un peu de 'bruit' (d'aléatoire) et qu'elles peuvent atteindre un état d'équilibre simple, alors elles ne peuvent jamais se mettre à faire une danse répétitive infinie."

C'est une preuve mathématique que dans les mondes plats (1D et 2D), le chaos et le bruit empêchent la création de rythmes temporels parfaits. Pour qu'une telle danse existe, il faut soit un monde en 3D, soit des règles de jeu très différentes (comme des interactions à très longue distance).

C'est une avancée majeure car cela confirme une intuition des physiciens depuis des décennies : le temps ne peut pas se "casser" en boucle dans les systèmes simples et plats.

Résumé technique

1. Problématique et Contexte

L'article s'intéresse aux systèmes de particules en interaction (Interacting Particle Systems - IPS) définis sur un réseau entier $d$-dimensionnel $\mathbb{Z}^d$. Ces systèmes sont modélisés comme des processus de Markov continus en temps, caractérisés par des générateurs de sauts locaux.

Le problème central est la brisure spontanée de la symétrie de translation temporelle (TTSB). Dans un système dynamique autonome (les taux de transition ne dépendent pas du temps), on s'attend généralement à ce que les mesures stationnaires soient invariantes par translation dans le temps. Cependant, la question est de savoir si ces systèmes peuvent présenter des orbites périodiques non triviales dans l'espace des mesures de probabilité. Autrement dit, existe-t-il une mesure initiale $\mu_0$ telle que l'évolution temporelle $\mu_t = \mu_0 P_t$ soit périodique de période $\tau > 0$ (c'est-à-dire $\mu_{t+\tau} = \mu_t$) sans être constante ?

• État de l'art :
  • En physique, il est conjecturé que la TTSB est possible pour des interactions à courte portée en dimensions $d \ge 3$, mais impossible en dimensions $d=1$ et $d=2$.
  • Mathématiquement, des résultats existent pour les systèmes réversibles (où la dynamique satisfait une condition de detailed balance) : en $d=1,2$, la TTSB est impossible.
  • Pour les systèmes non réversibles, la question restait ouverte, bien que des constructions contre-exemples existent pour des interactions à longue portée (même en $d=1,2$).

L'objectif de l'article est de prouver que, pour une classe spécifique de systèmes non réversibles avec des interactions à courte portée et des taux strictement positifs, la TTSB est impossible en dimensions $d=1$ et $d=2$, à condition qu'une mesure produit soit une mesure stationnaire.

2. Cadre Mathématique et Hypothèses

L'auteur considère des systèmes sur l'espace de configuration $\Omega = \{1, \dots, q\}^{\mathbb{Z}^d}$. Le générateur $L$ est défini par des taux de transition $c_x(\eta, \xi_x)$.

Les hypothèses clés (notées R1-R4) sont :

1. Bornitude uniforme (R1) : Les taux de transition sont uniformément bornés.
2. Continuité (R2) : Les taux dépendent continûment de la configuration.
3. Positivité stricte (R3) : Les taux sont strictement positifs ($c_x \ge c > 0$), garantissant une certaine "bruit" ou irréductibilité.
4. Décroissance à courte portée (R4) : La dépendance des taux par rapport aux spins lointains décroît suffisamment vite (plus vite que $|x-y|^{-2d}$), ce qui exclut les interactions à longue portée.

Hypothèse centrale : Le système admet une mesure produit $\mu$ comme mesure stationnaire ($\mu P_t = \mu$).
Note : Cela n'implique pas que le système est non-interactif (ex: modèles contraints cinétiquement), mais que la mesure stationnaire a une structure de produit.

3. Méthodologie

La preuve repose sur une technique d'entropie relative et de perte d'entropie, combinant des idées de travaux précédents ([JK25a], [Ram02], [JK23]) mais adaptées pour contourner l'absence de réversibilité.

La stratégie se décompose en plusieurs étapes techniques :

A. Perte d'entropie relative temporelle moyenne

L'auteur définit la perte d'entropie relative dans un volume fini $\Lambda$ entre la mesure évolutive $\nu_t$ et la mesure stationnaire $\mu$ :
$$g_\Lambda^L(\nu|\mu) = \frac{d}{dt}\bigg|_{t=0} h_\Lambda(\nu_t|\mu)$$
où $h_\Lambda$ est l'entropie relative.
Le principe clé (Proposition 4.1) est que si une orbite est périodique, la perte d'entropie moyenne sur une période doit être nulle. L'objectif est de montrer que cette condition implique que la mesure initiale $\nu$ doit être égale à $\mu$.

B. Reformulation de la perte d'entropie

Sans réversibilité, on ne peut pas utiliser la relation classique entre taux et mesure stationnaire. L'auteur utilise une reformulation de la perte d'entropie (Lemme 5.1) qui sépare :

1. Une contribution "de volume" (bulk) négative, liée à la convexité de la fonction $F(x) = x \log x - x + 1$.
2. Une contribution "de bord" (boundary) positive, liée aux erreurs de troncature dans le volume fini.

C. Propriété de masse positive

Grâce à l'hypothèse de taux strictement positifs (R3), l'auteur utilise un argument de type Girsanov pour montrer que, pour tout temps $t > 0$, la probabilité d'observer n'importe quelle configuration locale est strictement positive (Proposition 4.2). Cela garantit que les termes logarithmiques dans l'entropie sont bien définis le long des orbites.

D. Inégalités et majorations

L'auteur introduit deux quantités clés pour une mesure $\rho$ et un volume $\Lambda$ :

• $\alpha_\Lambda(x, \rho)$ : Mesure de la déviation locale par rapport à la mesure produit (terme de volume).
• $\beta_\Lambda(x, \rho)$ : Terme lié à la déviation absolue.
• $\gamma_\Lambda(x)$ : Terme de bord dépendant de la décroissance des interactions.

Le cœur de la preuve (Lemmes 5.2 à 5.5) établit une inégalité reliant ces termes :
$$\frac{c}{2} \sum_{x \in \Lambda} \int_0^T \alpha_\Lambda(x, \nu_s) ds \le C \sum_{x \in \Lambda} \gamma_\Lambda(x) \int_0^T \sqrt{\alpha_\Lambda(x, \nu_s)} ds$$
Cette inégalité montre que la "déviation de volume" (gauche) est contrôlée par la "déviation de bord" (droite).

E. Argument de dimensionnalité (Le point critique)

L'auteur exploite la structure de produit de $\mu$ (Lemme 5.6) pour montrer que les coefficients $\alpha$ sont monotones par rapport à l'augmentation du volume.
En combinant les inégalités avec l'inégalité de Cauchy-Schwarz, on aboutit à une relation de récurrence sur les sommes partielles des déviations.

• En dimension $d=1$ et $d=2$, la somme des termes de bord (qui décroissent comme la surface) ne peut pas compenser la somme des termes de volume (qui croissent comme le volume) si une déviation non nulle existe. Cela mène à une contradiction par un argument de télescopage.
• En dimension $d \ge 3$, la géométrie permet théoriquement à une telle déviation d'exister (la série converge), ce qui explique pourquoi la preuve ne s'étend pas aux dimensions supérieures.

4. Résultats Principaux

Théorème 2.1 (Résultat principal) :
Soit $d \in \{1, 2\}$. Si un système de particules en interaction satisfait les hypothèses (R1-R4) et admet une mesure produit $\mu$ comme mesure stationnaire, alors l'ensemble des mesures sur les orbites stationnaires $O$ coïncide avec l'ensemble des mesures stationnaires $S$, et tous deux sont réduits à la mesure $\mu$ :
$$O = S = \{\mu\}$$
Cela signifie qu'il n'existe aucune orbite périodique non triviale. Tout comportement à long terme converge vers la mesure stationnaire unique (ou l'ensemble des mesures stationnaires, qui sont ici triviales dans ce contexte).

Corollaire 2.2 :
Sous les mêmes hypothèses, la dynamique des mesures ne contient aucune orbite périodique non constante. Le système ne peut pas briser la symétrie de translation temporelle.

5. Signification et Contributions

1. Premier résultat pour les systèmes non réversibles en $d=2$ : C'est la première preuve rigoureuse de l'impossibilité de la TTSB pour des systèmes non réversibles avec interactions à courte portée en dimension 2. Auparavant, les résultats étaient limités aux systèmes réversibles ou aux dimensions $d=1$.
2. Validation de la conjecture physique : L'article fournit une base mathématique solide à la conjecture physique selon laquelle les systèmes à courte portée en basse dimension ne peuvent pas maintenir un ordre spatial suffisant pour soutenir des oscillations temporelles cohérentes (TTSB), même en présence de non-réversibilité.
3. Rôle de la mesure produit : Le résultat met en évidence que l'existence d'une mesure produit stationnaire est une contrainte très forte qui empêche la formation d'orbites périodiques complexes, même sans réversibilité.
4. Limites et perspectives : La preuve échoue en $d \ge 3$ en raison de la géométrie des volumes (le rapport surface/volume). Cela suggère que la TTSB pourrait être possible en $d \ge 3$ même avec des mesures produits, ou que des techniques plus fines sont nécessaires pour exclure ce cas. L'article ouvre la voie à l'étude de la quasilocarité des mesures stationnaires pour généraliser ces résultats à des mesures qui ne sont pas des produits.

En résumé, cet article établit une barrière fondamentale pour la dynamique temporelle périodique dans les systèmes de particules en interaction en basse dimension, reliant la structure de la mesure stationnaire (produit) à l'absence de brisure de symétrie temporelle, via une analyse fine de l'entropie relative.