Le plan tropical : un réseau de neurones apprend sur un squelette algébrique ✛ ✦
Le nombre −0.000459 n'est pas un invité surprise dans l'équation de Blasius. C'est le coefficient de η⁵, qui détermine la couche limite sur une plaque plane — le murmure subtil du frottement de l'air sur le métal. Les méthodes numériques classiques comme Runge-Kutta ne donnent qu'une courbe approximative. Les réseaux de neurones informés par la physique (PINN) tentent de deviner la solution entière. Souvent, sans succès. Ils tombent dans les pièges des singularités, comme un architecte qui construirait une tour sans plan : les étages se chevauchent, la structure s'effondre.
L'algèbre tropicale remplace les opérations habituelles — plus et multiplication — par le minimum et l'addition. Elle agit comme un architecte expérimenté : elle ne construit pas, elle dessine le squelette. Les chercheurs de l'Université ibéro-américaine en ont fait un algorithme : l'équilibre tropical passe en revue les exposants, vérifiant quelles combinaisons ne s'annulent pas mutuellement. Pour l'équation de Blasius \(y''' + y y'' = 0\), le verdict est strict : ne construisez que les étages 2, 5, 8, 11… Aucun intermédiaire. Seul ce squelette tiendra debout.
Le plan définit l'architecture du réseau — il devient creux. Le réseau reçoit un ansatz \(y(\eta) = \frac{\alpha}{2}\eta^2 + \sum_{k \in S_{\text{trop}}} w_k \eta^k\), où \(k\) ne prend que les étages autorisés. L'entraînement par L-BFGS converge en une centaine d'époques. La recherche ne se fait pas dans un espace d'hypothèses infini (toutes les formes imaginables), mais sur une étagère algébrique étroite, taillée par la tropicale.
En plein dans le mille. Pour l'équation de Blasius, le coefficient de η⁵ est exactement −0.000459, comme le veut l'analyse : −α²/240 avec α≈0.33206. Pour l'écoulement de Hiemenz : les puissances ne sont pas limitées, et le réseau donne lui-même −1/6 pour η³ — une loi physique sans indices. Et dans l'équation de Burgers instationnaire, le squelette tropical a indiqué un exposant négatif — précurseur d'une onde de choc. Le réseau ne l'a pas lissée. Les PINN classiques, sans plan, dérapent vers des solutions incorrectes. Ou restent coincés dans des minimums locaux.
Ainsi, le réseau de neurones sort de la boîte noire. Le plan tropical enferme la recherche dans une classe de fonctions précise, éliminant le décalage spectral — cette tendance du réseau à n'apprendre que les ondes lisses et lentes, ignorant les cassures nettes. Désormais, les séries analytiques peuvent être extraites automatiquement, sans conjectures intuitives sur l'équilibre des termes. Le calcul de l'écoulement autour d'une aile, la surveillance en temps réel des pipelines — là où un supercalculateur mettait des jours, le schéma hybride donne la réponse en quelques minutes. Chaque équation reçoit son passeport architectural — et cela change notre vision de ce qu'est une solution analytique.
−0.000459 n'est pas une empreinte aléatoire, mais un nœud précis du squelette, conçu par le plan algébrique.
L'analyse indicielle sur laquelle repose ce travail remonte au XIXe siècle : Paul Painlevé l'utilisait pour chercher des points singuliers mobiles, rêvant de classer toutes les équations aux « bonnes » propriétés. Aujourd'hui, ses idées trouvent une application inattendue dans les réseaux de neurones.
Dans le roman « Prélude à Fondation » d'Isaac Asimov, le mathématicien Hari Seldon utilise la psychohistoire — un cadre mathématique rigide — pour prédire l'avenir de la civilisation. Le squelette tropical joue un rôle similaire : il définit un couloir d'évolutions possibles pour l'équation, ne laissant libres que les coefficients.