GFT comme premier principe mathématique

Comprendre $\log_2(m)=D_{KL}+H$ comme conservation exacte du budget informationnel.

Vulgarisé

L’idée

Imagine une boîte avec $m$ possibilités. Pour identifier une possibilité, il faut un certain budget de distinctions. La GFT dit que ce budget ne disparaît jamais.

Il se partage en deux parts : ce qui reste structuré, donc informatif, et ce qui s’étale comme bruit ou incertitude. La somme des deux redonne toujours le budget total.

log₂(m) = D_KL + H

Standard

Lecture standard

La formule $\log_2(m)=D_{KL}(P\|U_m)+H(P)$ est une identité algébrique pour toute distribution $P$ sur $m$ états.

Sa force PT ne vient pas du fait qu’elle serait difficile à prouver, mais du rôle qu’elle joue : elle devient le premier principe qui interdit de créer ou perdre arbitrairement de la persistance.

À retenir

GFT est une identité, pas un fit.
Elle sépare structure persistante et entropie.
Elle fournit le premier principe de la persistance.

Technique

Formulation technique

Avec $U_m$ uniforme, $D_{KL}(P\|U_m)=\sum_i p_i\log_2(mp_i)$ et $H(P)=-\sum_i p_i\log_2 p_i$. En les additionnant, les termes en $p_i\log_2 p_i$ s’annulent.

La monographie classe GFT-ID comme identité exacte. Les extensions structurelles, elles, doivent garder leur statut propre : dérivation, pont ou validation selon le cas.

Monographie : ch04_gft, ch14_thermodynamics, notation GFT.

Formules

$\log_2(m)=D_{KL}(P\|U_m)+H(P)$

$D_{KL}(P\|U_m)=\sum_i p_i\log_2(mp_i)$

$H(P)=-\sum_i p_i\log_2 p_i$

code public

Code et scripts

Les liens ci-dessous pointent vers des ressources publiques ou vers les dépôts GitHub prévus. Aucun chemin local de travail n’est exposé au lecteur.

Pyodide non chargé.

Identité GFT

Vérifie numériquement log2(m)=D_KL+H sur plusieurs distributions.

Attendu : résidu < 1e-12

Voir le script en attente