Argument de comptage pour les objets discrets – CADO

En 2020, le porteur du projet a introduit une technique de preuve avec des applications dans de nombreux domaines liés à la combinatoire. Cette technique de preuve repose sur un argument de comptage et appartient à une famille de techniques telles que le Lemme Local de Lovász et la compression d'entropie. Ces techniques sont essentielles pour prouver l'existence d'objets combinatoires sous des contraintes spécifiques. Elles ont trouvé de nombreuses applications dans des domaines tels que la combinatoire des mots, la théorie des graphes, les pavages, la théorie des groupes et de nombreux autres domaines connexes.

La version la plus élémentaire de l'argument de comptage produit des bornes identiques à l'une des versions de la compression d'entropie. De plus, les preuves sont considérablement plus simples, reposant sur des arguments combinatoires élémentaires tels que les inductions et les bijections. Cette simplicité a permis au porteur de ce projet, ainsi qu'à d'autres, de pousser cette méthode plus loin pour résoudre des problèmes ouverts qui résistaient à d'autres techniques connues.

L'objectif du projet est d'étudier l'argument de comptages et quelques techniques proches pour améliorer leurs applications. Le succès de ce projet sera mesuré par les nouveaux problèmes que nous pourrons résoudre en utilisant ces techniques.