Phénomène en logique probabiliste et théorie des modèles finis : pour un langage logique fixé et une loi de probabilité sur les structures finies (par exemple uniforme sur les structures à n éléments ou les graphes G(n,p)), chaque formule a une probabilité limite lorsque la taille croît, et la Loi Zéro‑Un affirme que cette limite vaut toujours 0 ou 1.

Principe

La symétrie et l'indiscernabilité des grandes structures finies sous la loi choisie forcent toute propriété définissable à être presque sûrement vraie ou presque sûrement fausse ; la concentration combinatoire et les équivalences locales finies en sont la base.

Démonstration

Dans le modèle aléatoire de graphes d'Erdős–Rényi G(n,1/2) et pour la logique du premier ordre, toute phrase du premier ordre a une probabilité limite égale à 0 ou 1 quand n → ∞ ; les démonstrations utilisent la localité du rang quantificateur et des axiomes d'extension pour montrer que, avec probabilité élevée, les grands graphes satisfont les mêmes contraintes locales finies.

Mauvaise application

Supposer que la Loi Zéro‑Un vaut pour des logiques plus puissantes (par exemple la logique du second ordre) ou pour des régimes de probabilité différents (graphes clairsemés, p = c/n) sans vérifier les hypothèses : cela conduit à des prédictions erronées sur les propriétés presque sûres.

Conséquence

Lorsqu'elle s'applique, elle réduit l'étude asymptotique des propriétés définissables à une classification binaire (presque sûr vs presque jamais), simplifiant le raisonnement typique et permettant de transposer des résultats limites de la théorie des modèles vers la combinatoire probabiliste.

Inversion

Une loi limite non triviale où certaines formules ont des probabilités limites strictement entre 0 et 1 (une loi de convergence), ou un régime où il n'existe pas de probabilités limites ; ces cas montrent une variabilité asymptotique plus riche.

Limite

Dépend du langage logique (le premier ordre satisfait souvent la loi sous des lois classiques), du modèle probabiliste (dense vs clairsemé) et de la signature ; de nombreux fragments ou mesures alternatives dépassent le champ d'application.

Tension sémantique

Tension entre « presque sûr » (déterminisme au sens de la mesure) et la variation structurelle significative : une propriété de mesure 1 peut encore caractériser la structure typique, mais l'effondrement 0‑1 masque les fréquences quantitatives et les vitesses de convergence.

Synthèse

La Loi Zéro‑Un formalise comment, sous des modèles aléatoires préservant la symétrie et des ressources expressives limitées, définissabilité et concentration probabiliste se conjuguent pour rendre toute phrase presque toujours vraie ou fausse, les exceptions apparaissant lorsque la logique ou la distribution augmente le pouvoir de distinction.