CE48 - Fondements du numérique: informatique, automatique, traitement du signal 2021

Au delà du Permutoèdre et de l'Associaèdre : Géométrie, Combinatoire, Algèbre et Probabilité – PAGCAP

Au delà du permutaèdre et de l'associaèdre : Géométrie, Algèbre, Combinatoire et Probabilité

Ce projet se place à l'intersection de l'informatique théorique et des mathématiques fondamentales. son objectif est de résoudre des problèmes impliquant la combinatoire, la géométrie discrète, l'algèbre et les probabilités libres et l'algorithmie.

Objectifs Scientifiques

Le permutaèdre et l'associaèdre sont deux objets classiques qui encodent la structure mathématique des permutations et des associations d'un ensemble de n éléments. Ces dernières décennies, ils ont inspiré un grand nombre de recherche du fait de leur apparition dans différents contextes et ils ont amené des liens entre des domaines variés en mathématique, informatique et physique. Plusiquers questions importantes ont ainsi pu être résolues et leurs impacts sur les domaines connexes sont maintenant bien connus. Cependant, le permutaèdre et l'associaèdre sont des exemples particuliers de familles d'objets mathématiques beaucoup plus générales. Dans ce contexte plus global, de nouvelles questions se posent et ouvrent des connexions aux autres domaines et des directions de recherches non encore explorées. Ce projet se situe à l'interface entre informatique théorique et mathématiques. Nous nous intéressons à une sélection de quesions et problèmes ouverts qui vont au delà de l'étude du permutaèdre et de l'associaèdre plus spécifiquement dans quatre domaines : * Combinatoire : propriétés combinatoires, bijections, énumération de familles d'objets. * Géométrie discrète : structures géométriques et méthodes de construction. * Algorithmique : propriétés des graphes et problème de la complexité du plus court chemin. * Algèbre et probabilité : nouvelles approches pour les fondations combinatoires des probabilités libres et son lien avec les algèbres de Hopf combinatoires.

Un aspect clé de notre approche est d'engendrer la coopération pour exploiter nos expertises dans différents domaines. Dans ce but, nous avons organisés des workshops de façon régulière proposant à la fois des exposés en lien avec le projet ainsi que des temps ouverts de discussions et de recherche. Un workshop typique accueille entre 15 et 25 participants et participantes pour une durée de 2 à 3 jours avec à la fois des membres permanents, des membres associés, des étudiants et étudiantes, des chercheurs et chercheuses invitées, etc.

 

Nous avons eu 5 de ces workshops au cours du projet :

 

* 6 avril -- 8 avril 2022, à Sorbonne Université, Paris, France;

* 14 mai -- 18 mai 2023 à Weissensee, Autriche;

* 8 novembre -- 10 novembre 2023 à Orsay, Université Paris-Saclay, France;

* 15 mai -- 17 mai 2024 à Strobl, Autriche;

* 6 novembre -- 6 novembre 2025, à l'Université de Barcelone, Espagne.

 

Un autre aspect essentiel de notre méthodologie de recherche est l'exploration combinatoire, en utilisant en particulier le logiciel SageMath. Ceci a été développé à la fois dans nos workshops habituels ainsi que lors d'un évènement spécifique Sage Days organisé à Orsay en juillet 2025.

 

Nous avons obtenu plusieurs résultats majeurs dans les différents axes du projet.

 

Nous avons travaillé à la généralisation de structures combinatoire en lien avec le treillis de Tamari. Quatre articles sont dédiés à l'étude du s-ordre faible défini par Ceballos et Pons et à la preuve de la conjecture ouverte au départ du projet. D'autres résultats concernent les énumérations d'intervalles, la description combinatoire des treillis m-Cambriens, l'introduction de nouvelles structures de treillis et l'étude de la diagonale de l'associaèdre.

 

 

En géométrie discrète, de nombreux articles ont été publié en lien avec l'étude des cônes de déformation, la réalisation polyhédrale de généralisations de l'associaèdre, les polytopes de balayage, la déformation du cône du permutaèdre et la réalisation des matroïdes orientés avec en sus une application à la théorie des catégorie.

 

 

Nous avons obtenu des résultats majeurs en algorithmique avec, en particulier, une preuve que le calcul de la distance de rotation entre deux arbres binaires est NP-complet. Cette question était ouverte depuis de nombreuses années et était listées parmi les objectifs possibles du projet.

 

 

En algèbre et probabilité libre, quatre articles ont été publiés sur les cumulants libres en lien avec les pre-Lie exponentielles, les processus de Markov, la probabilité quantique et les séries multivariées.

 

Bien que nous classifions nos résultats en grandes thématiques, nombreux d'entre eux ont été obtenus grâce aux actions du projets réunissant les différents points de vue et permettant ainsi collaboration et discussions.

 

 

Par ailleurs, nous avons eu 4 soutenances de thèses durant le projet ainsi qu'une soutenance d'HDR et 10 nouveaux et nouvelles étudiantes ont démarré leur thèse sur les thématiques du projet dont un financé par le projet lui-même.

 

Un nouvel axe a émergé au cours du projet : l'étude des treillis de framing et des polytopes de flots. Cette thématique est présente dans nos rencontres depuis environ deux ans et elle a motivé la création de plusieurs groupes de recherches. Par exemple, les polytopes de flots sont utilisés dans la première preuve de la conjecture de Ceballos et Pons à travers un travail mené par deux étudiants en thèse du projet. Les treillis de framing ont aussi été au coeur du travail de Clément Chevenière, postdoc recruté pour les deux denières années du projet. Ils sont maintenant étudié dans deux thèse et devraient apparaître dans plusieurs articles après la fin du projet.

 

La preuve de la NP-complétude de la complexité de la distance de rotation entre arbres binaires a aussi ouvert de nouvelles perspectives sur d'autres objets combinatoires comme, par exemple, les permutarbres. De façon générale, c'est un premier pas vers une meilleure compréhension du lien entre les structures issues de la combinatoire algébrique et les questions algorithmiques.

 

Une autre direction à explorer est le lien entre structures de treillis, géométrie discrète et théorie des représentations. Plus généralement, nous souhaitons comprendre quels ponts peuvent être créés entre les questions algébriques venant de la théorie des représentations et les problèmes algorithmiques et de calcul.

Ce projet aborde des questions et problèmes ouverts au delà du permutoèdre et de l'associaèdre. Notre travail se base sur une combinaison de techniques issues de plusieurs domaines. Cela inclut la combinatoire, la géométrie discrète, l'algorithmique, l'algèbre et les probabilités libres. Voici une sélection des sujets abordés :

* Combinatoire : propriétés combinatoires des ordres partiels et treillis liés comme le treillis de Tamari, l'ordre faible des chute de pipe dreams, le treillis des rotations de classes d'arbres binaires, et l'ordre partiel des flips des complexes de sous-mots.

* Géométrie : problèmes ouverts liés aux complexes combinatoires par constructions géométriques, étude des espaces de réalisations et types de cônes, et questions liées aux ombres permutaédrales et aux sweeps de matroïdes orientés.

* Algorithmique : complexité du plus court chemin et étude du graphe des rotations des arbres binaires et ses généralisations en utilisant la technologie des complexes de sous-mots et des groupes de Coxeter.

* Algèbre et Probabilités libres : nouvelle approche des bases combinatoires des probabilités libres et de ses relations avec les algèbres de Hopf combinatoires par des objets combinatoires et géométriques tels que les partitions, les partitions non croisées, les arbres binaires et le polytope de Pitman--Stanley

Coordination du projet

Viviane Pons (Université Paris-Saclay -- Laboratoire Interdisciplinaire des Sciences du Numérique)

L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.

Partenariat

UPSAclay LISN Université Paris-Saclay -- Laboratoire Interdisciplinaire des Sciences du Numérique
TU Graz / Institute of Geometry

Aide de l'ANR 208 786 euros
Début et durée du projet scientifique : janvier 2022 - 48 Mois

Liens utiles

Explorez notre base de projets financés

 

 

L’ANR met à disposition ses jeux de données sur les projets, cliquez ici pour en savoir plus.

Inscrivez-vous à notre newsletter
pour recevoir nos actualités
S'inscrire à notre newsletter