Source: Zumthie at de.wikipedia [Public domain], via Wikimedia Commons
On constate de plus en plus de liens entre l'étude des structures discrètes, d'une part, et les mathématiques classiques, algèbre, analyse, géométrie, théorie des nombres, d'autre part. Il s'agit donc d'exploiter les interactions toujours profondes entre ces domaines en vue d'un enrichissement mutuel de ces spécialités ou, encore, de retombées significatives dans des domaines d'applications variés comme l'informatique, la physique, la géométrie algorithmique, la bioinformatique, la recherche opérationnelle ou la cryptographie.
Les outils modernes de l'informatique font évidemment partie intégrante du programme. En particulier, les logiciels et algorithmes de calcul formel algébrique seront d'utilisation courante et feront même l'objet de développements substantiels au sein du programme.
Les recherches poursuivies par les membres du groupe incluent : la combinatoire énumérative et la combinatoire algébrique, l'algèbre commutative et non commutative, l'informatique théorique, la combinatoire des mots, la bioinformatique.
Les chercheurs du groupe sont affiliés à deux groupes de recherches :
Ce programme s'adresse aux étudiants gradués ayant une solide formation mathématique et voulant se spécialiser en mathématiques discrètes et/ou dans certains aspects de l'informatique théorique. À part les règlements des départements, aucun cours de base n'est obligatoire mais les premiers cours de base en combinatoire, en théorie des graphes et en algorithmique sont fortement recommandés.
Étude approfondie des séries génératrices en combinatoire. Caractérisation des séries rationnelles algébriques. D-finies. Séries associées aux espèces de structures: séries génératrices et séries indicatrices, théorèmes de substitution. Application au dénombrement de types de structures et de structures asymétriques. Théorème de dissymétrie pour les arbres. Décompositions moléculaire et atomique d'une espèce. Foncteurs analytiques. Liens avec les fonctions symétriques et les représentations linéaires du groupe symétrique.
Les groupes de Coxeter joue un rôle fondamental dans plusieurs domaines des mathématiques : ils apparaissent comme groupes de Weyl en théorie de Lie, en théorie de Kazhdan-Lusztig, pour les algèbres amassées ou en géométrie algébrique; ils sont les groupes discrets de réflexions agissant sur les espaces à courbure constante en géométrie et sont primordiales dans la définition des immeubles. L’étude des groupes de Coxeter sont souvent la clef afin de comprendre les structures qui leurs sont associés.
Nous commencerons par couvrir les propriétés de base de ces groupes : conditions d’échange/réduction, théorème de Matsumoto, représentations géométriques et systèmes de racines. Nous utiliserons alors cette théorie pour montrer que tout groupe discret engendré par des réflexions dans un espace euclidien ou hyperbolique est un groupe de Coxeter.
Nous discuterons ensuite les liens entre les systèmes de racines, l’ordre faible, l’ordre de Bruhat et le graphe de Cayley munit de sa métrique géodésique.
La dernière partie du cours sera dédié à des développements récents de la recherche sur le sujet. En particulier, on mettra en expliquera le lien entre arrangements de Shi et la preuve de la biautomaticité des groupes de Coxeter (théorème de Osajda et Przytycki).
Enumerative combinatorics: inclusion-exclusion, generating functions, partitions, lattices and Moebius inversion. Extremal combinatorics: Ramsey theory, Turan's theorem, Dilworth's theorem and extremal set theory. Graph theory: planarity and colouring. Applications of combinatorics.
Dans ce cours, nous allons examiner plusieurs algorithmes importants dans la combinatoire. Les deux thèmes principaux seront la combinatoire des tableaux de Young et la combinatoire des graphes. Dans la combinatoire des tableaux, nous allons regarder le jeu de taquin et certaines de ses variantes, ainsi que la correspondance de Robinson--Schensted--Knuth. Dans la théorie des graphes, nous allons traiter des problèmes autour des couplages et des flux.
L'objectif du cours est de présenter les structures discrètes standards et les principales méthodes d'énumération. Les sujets suivants seront présentés :