Aromatic and clumped multi-indices: algebraic structure and Hopf embeddings

1. Problématique et Contexte

L'article s'inscrit dans le domaine de l'analyse numérique géométrique, plus spécifiquement dans l'étude des méthodes d'intégration préservant le volume (volume-preserving integrators).

• Contexte : Les arbres de Butcher sont l'outil standard pour l'analyse d'ordre des méthodes de Runge-Kutta. Cependant, pour les méthodes préservant le volume, il est nécessaire d'introduire des structures plus riches : les arbres aromatiques (aromatic trees) et les forêts aromatiques, qui permettent de représenter des opérateurs comme la divergence.
• Limites actuelles : Bien que les algèbres de Hopf associées aux forêts aromatiques et aux forêts « agglomérées » (clumped forests) soient bien définies, leur structure algébrique est complexe. De plus, dans des dimensions fixes (notamment la dimension 1 ou des dimensions basses), des dégénérescences apparaissent dans les arbres aromatiques.
• Objectif : Il n'existe pas de structures combinatoires naturelles intermédiaires entre les multi-indices (cas unidimensionnel) et les arbres (cas général) pour représenter les équations différentielles ordinaires (EDO) en dimension fixe $d > 1$. L'objectif est d'introduire de nouveaux objets algébriques, les multi-indices aromatiques et agglomérés, qui servent de modèles plus simples pour décrire les développements de Taylor en basse dimension, avant de passer aux arbres complets.

2. Méthodologie

Les auteurs adoptent une approche algébrique combinatoire rigoureuse, s'appuyant sur la théorie des algèbres de Hopf et des algèbres pré-Lie.

• Construction des nouveaux objets :

  • Ils définissent des espaces de multi-indices aromatiques ($AM$) et agglomérés ($CM$) en généralisant l'algèbre de Hopf des multi-indices ($H_{LOT}$) introduite pour les équations aux dérivées partielles régulières (rough PDEs).
  • Ces espaces sont construits à partir d'une algèbre de Novikov aromatique libre ($AM_{-1}$), qui est une extension de l'algèbre de Novikov libre. Cette algèbre est générée par des monômes de variables $x^a_j$ (où $a$ est une couleur/decoration et $j$ un indice de poids).
  • La structure est enrichie par une opération de dérivation $B$ (augmentant le poids) et une opération transposée $\bar{B}$ (diminuant le poids), ainsi que par des produits de type pré-Lie.

• Structures algébriques :

  • Les auteurs établissent que ces espaces possèdent une structure d'algèbre pré-Lie-Rinehart. Cela implique l'existence d'une application d'ancrage ($\rho$) vers les dérivations et d'une connexion ($\nabla$) satisfaisant des identités spécifiques (identité de Leibniz, identité pré-Lie).
  • Ils définissent des coproduits de type Butcher-Connes-Kreimer (BCK) adaptés à ces nouveaux espaces, notés $\Delta^{aro}_{LOT}$ et $\Delta^{cl}_{LOT}$. Ces coproduits sont définis via des « coupes admissibles » (admissible cuts) sur les monômes, analogues aux coupes sur les arbres.

• Lien avec les forêts (Embeddings) :

  • Une application clé est la carte de fertilité ($\Phi$), qui associe à un arbre aromatique (ou forêt) un multi-indice aromatique en comptant les degrés de liberté (fertilité) des sommets.
  • Les auteurs construisent l'application duale $j^{aro}$ (et $j^{cl}$ pour le cas aggloméré) qui va des multi-indices vers les forêts. Ils démontrent que ces applications sont des embeddings d'algèbres de Hopf.

3. Résultats Clés

Les résultats principaux de l'article sont les suivants :

1. Structure d'Algèbre Pré-Lie-Rinehart :
   L'algèbre des multi-indices aromatiques $AM_{-1}$ est munie d'une structure d'algèbre pré-Lie-Rinehart. Le produit $\triangleright$ satisfait les identités de Novikov et pré-Lie, et l'application d'ancrage $\rho$ relie cette structure aux dérivations de l'algèbre des aromas.

2. Structure d'Algèbre de Hopf :
   Les espaces de multi-indices aromatiques ($H^{aro}_{LOT}$) et agglomérés ($H^{cl}_{LOT}$) sont dotés de structures d'algèbres de Hopf complètes (avec produit, coproduit, unité, counité). Le coproduit est défini explicitement par des formules de somme sur les coupes admissibles, généralisant le coproduit BCK classique.

3. Théorème d'Embedding (Plongement) :
   Le résultat central est l'existence d'embeddings d'algèbres de Hopf :
   $$j^{aro}: H^{aro}_{LOT} \hookrightarrow H^{aro}_{BCK}$$
   $$j^{cl}: H^{cl}_{LOT} \hookrightarrow H^{cl}_{BCK}$$
   Ces applications $j$ sont des morphismes d'algèbres de Hopf qui injectent les multi-indices dans les forêts aromatiques et agglomérées respectives.

4. Commutativité du Diagramme :
   Les auteurs prouvent que le diagramme suivant commute, reliant les structures de multi-indices, les forêts aromatiques, les forêts agglomérées et les projections/dualités entre elles :
   $$\begin{array}{ccc} H^{aro}_{LOT} & \xrightarrow{j^{aro}} & H^{aro}_{BCK} \\ \downarrow{\phi^*} & & \downarrow{\psi^*} \\ H^{cl}_{LOT} & \xrightarrow{j^{cl}} & H^{cl}_{BCK} \end{array}$$
   Cela garantit la cohérence entre les modèles simplifiés (multi-indices) et les modèles complets (forêts) lors de la projection ou de l'injection.

5. Formules Combinatoires :
   L'article fournit des formules explicites pour les coefficients de symétrie et les actions des opérateurs de dérivation et de coupe, reliant les coefficients de symétrie des monômes à ceux des arbres via la carte de fertilité.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Simplification de l'analyse en basse dimension : En introduisant les multi-indices aromatiques, les auteurs offrent un formalisme algébrique plus maniable pour étudier la préservation du volume en dimension fixe (notamment $d=1$), là où les arbres de Butcher classiques deviennent redondants ou trop complexes.
• Fondement théorique pour les méthodes numériques : Ces structures algébriques sont essentielles pour la conception de méthodes d'intégration numérique préservant le volume, en particulier dans des contextes avancés comme la dynamique stochastique (sampling de distributions invariantes) et l'optimisation stochastique.
• Généralisation des structures de Hopf : L'article généralise les résultats connus sur les multi-indices (LOT) et les arbres de Butcher (BCK) en créant un pont rigoureux entre les deux via les structures aromatiques et agglomérées.
• Outils pour la renormalisation et les SPDEs : Étant donné le lien entre les algèbres de Hopf de forêts et la renormalisation en théorie quantique des champs (QFT) ou l'étude des équations différentielles stochastiques partielles (SPDEs), ces nouvelles structures pourraient ouvrir la voie à de nouvelles approches dans ces domaines.

En résumé, cet article établit une théorie algébrique unifiée pour les multi-indices aromatiques et agglomérés, prouvant qu'ils héritent des propriétés structurelles des forêts de Butcher tout en offrant une description plus concise des développements de Taylor en basse dimension, ce qui est crucial pour l'analyse fine des méthodes numériques géométriques.