Les JCB 2026 ont eu lieu du lundi 2 février au mercredi 4 février. Les exposés ont eu lieu dans l’amphithéâtre du LaBRI (Bâtiment A30) à l’Université de Bordeaux.
Inscriptions
Les inscriptions sont closes.
Orateurs invités
Accéder aux résumés au format pdf.
- Nicolas Bitar (LAMFA, Amiens)
Snakes, SAWs, and Symbolic Dynamics
Résumé
Cette présentation explorera comment répondre à des questions sur les problèmes de pavages en étudiant des ensembles de chemins auto-évitants à travers de la dynamique symbolique. Le problème du serpent infini a été introduit en 1979 par Myers, comme une variante (a priori) plus simple du célèbre Problème du Domino. Il consiste à déterminer, à partir d’un ensemble de tuiles et de règles d’adjacence, s’il existe un pavage d’un chemin simple bi-infini sur le plan discret qui respecte localement les règles d’adjacence. Ce problème a été démontré comme étant indécidable en 2002 par Adleman, J. Kari, L. Kari et Reishus. Pour comprendre ce résultat, nous avons examiné avec Nathalie Aubrun, ce qui se passe lorsque nous modifions la structure sous-jacente du problème pour un graphe de Cayley différent. En étudiant ce problème, l’ensemble de toutes les marches auto-évitantes bi-infinies apparaît comme un objet naturel. Cet ensemble, que nous appelons le squelette du graphe, peut être considéré comme un sous-décalage unidimensionnel. Dans l’exposé, nous montrerons comment les propriétés dynamiques du squelette influencent la décidabilité du problème du serpent et la structure du graphe de Cayley sous-jacent. Nous explorerons également d’autres propriétés de ce sous-décalage, telles que ses points périodiques et son entropie. - Enrica Duchi (IRIF, Paris)
Combinatoire des équations catalytiques d’ordre un: un recablage “géométrique”
Résumé
Le recablage planaire est une construction générique qui donne une bijection entre d’une part les arbres non-négatifs associés aux équations à une variable catalytique d’ordre un et d’autre part certains arbres compagnons à décomposition algébrique. Il permet de prouver combinatoirement que les solutions d’équations à une variable catalytique d’ordre un sont des séries algébriques.
Nous montrerons dans cet exposé qu’un recablage peut aussi être fait de manière plus géométrique pour lier plus directement les arbres compagnons aux objets de départ. Cette approche donne naturellement la bijection récente entre poissons combattants et certains arbres ternaires due à Eu, Fu et Pan (qui étend la bijection d’Aval, Boussicault, Bouvel et Silimbani entre polyominos parallélogrammes et arbres binaires). Ce recablage géométrique s’étend à une bijection entre des arbres quaternaires et les poissons étendus associés aux intervalles de Tamari. Nous verrons qu’il permet aussi de donner une bijection entre les intervalles du poset pyramide et des arbres bicolores.
Travaux avec Gilles Schaeffer, et avec Jean-Luc Baril, Khaydar Nurligareev, Mehdi Naima et Sergey Kirgizov.
- Colin Faverjon (LAMFA, Amiens)
Propriétés arithmétiques des suites q-régulières
Résumé
En 1992, J.-P. Allouche et J. Shallit ont introduit la notion de suites q-régulières, généralisant ainsi celle de suite automatique aux suites d’image infinie. Cette classe inclut des exemples fondamentaux tels que :
- la somme des chiffres d’un entier n en base q,
- la partie entière du q-logarithme de n,
- la valuation p-adique de n!,
- la fonction de complexité de l’algorithme de tri-fusion,
- les suites d’entiers dépourvus d’un chiffre donné,
- ainsi que toutes les suites automatiques.
Ces suites admettent plusieurs caractérisations : par leur q-noyau, via des automates pondérés, au moyen de séries rationnelles non commutatives, ou encore grâce à des représentations linéaires. Il en découle aisément que leurs séries génératrices sont des fonctions M, c’est-à-dire des solutions d’une équation mahlérienne linéaire. Lorsque de telles séries sont irrationnelles, elles sont hypertranscendantes et ne satisfont aucune équation aux différences finies ni aux q-différences. Elles se distinguent ainsi de nombreuses suites classiques.
Un résultat récent de B. Adamczewski, J.-P. Bell et D. Smertnig montre que, parmi l’ensemble des fonctions M, les séries génératrices des suites régulières se distinguent par les propriétés arithmétiques de leurs coefficients. Ce résultat nous a inspiré un analogue de la conjecture de Bombieri-Dwork dans le cadre mahlérien : les coefficients des solutions d’équations mahlériennes “issues” du monde automatique devraient posséder des propriétés arithmétiques particulières. Dans un travail en collaboration avec J. Roques, nous établissons un tel énoncé en démontrant que l’équation mahlérienne minimale associée à une suite q-régulière admet une base complète de solutions composée de séries régulières généralisées. De manière inattendue, ce résultat s’avère équivalent à des propriétés de transcendance des valeurs prises par les fonctions M en des points algébriques.
- Eva Maria Hainzl
Asymptotic normality of pattern counts in random maps
Résumé
In a recent joint work with Michael Drmota and Nick Wormald, we proved a central limit theorem for pattern counts in random planar maps by reducing the pattern count problem to a face count problem. I will present a shorter proof involving the computation of bivariate coefficient asymptotics from a discrete differential equation with one catalytic variable and comment on extensions of the result to several other subclasses of planar maps as well as the limitations of this method. - Alaa Ibrahim (LIP, Lyon)
Preuves automatiques de Positivité pour les récurrences linéaires
Résumé
De nombreuses inégalités en combinatoire, ou entre fonctions spéciales, se ramènent à une question élémentaire : décider la positivité des termes d’une suite définie par récurrence. Cette question intervient dans domaines variés tels que la vérification de code, l’analyse d’erreur ou encore la modélisation en biologie. Plus précisément, étant donnée une suite définie par une récurrence linéaire à coefficients polynomiaux et des conditions initiales, il s’agit de décider si tous les éléments de la suite sont positifs. Ce problème est généralement difficile. Même dans le cas de récurrences linéaires à coefficients constants, la décidabilité est liée à des questions ouvertes en théorie des nombres. Notre approche est géométrique : la positivité est prouvée en montrant que les éléments de la suite restent dans des cônes positifs, construits en se basant sur la théorie de Perron-Frobenius pour les cônes. Cette approche établit la décidabilité de la positivité pour une large classe de récurrences d’ordre arbitraire. - Slim Kammoun (LMA, Poitiers)
Compter dans une classe de conjugaison
Résumé
Soit
une statistique sur les permutations (plus longue sous-suite croissante, inversions, descentes, occurrences de motifs, etc.). Comprendre le comportement typique, les fluctuations et les grandes/modérées déviations de sous la loi uniforme sur est déjà parfois délicat. La situation devient encore plus difficile lorsque l’on conditionne par la structure en cycles, par exemple au sein d’une classe de conjugaison, où la combinatoire exacte est souvent hors de portée. Je présenterai des techniques probabilistes donnant des asymptotiques de comptage dans certains régimes. Je vais essayer de réponse à des questions de type : comment compter (assymptotiquement) le nombre de -cycles avec , ou des permutations à moins de cycles ayant inversions. Travail basé sur des travaux avec Valentin Féray et Alice Guionnet.
- Raquel Melgar (LaBRI, Bordeaux)
Une géneralisation de la fonction chromatique quasisymétrique pour les graphes signés
Résumé
En 1995, Stanley a défini la fonction symétrique chromatique d’un graphe G, qui se spésialise dans le polynôme chromatique de G. Cette fonction est toujours largement étudiée actuellment. En 2017, Shareshian, Wachs et Ellzey ont défini un raffinement de cette fonction pour les graphes dirigés qui se trouve être dans l’algèbre des fonctions quasisymétriques. Cette algèbre est d’un gran intérêt en algèbre combinatoire. Notre objectif est d’étendre ce travail aux graphes signés, en prenant en compte le point de vue de l’arrangement d’hyperplans associé a un graphe signé développé par Zaslavsky. Nous introduisons l’invariant chromatique quasisymétrique signé et obtenons des propiétés structurelles. En conséquence, nous définissons et étudions l’algèbre des fonctions quasisymétriques signées. - Daria Pchelina (LIP, Lyon)
Arrangements de disques et empilements de sphères optimaux
Résumé
On a une caisse carrée plate, notre but est d’y placer le plus grand nombre d’oranges possible en une seule couche. La solution de ce problème est connue uniquement pour des caisses dont le côté ne dépasse pas six fois le diamètre d’une orange. Pour la trouver dans la plupart des cas, il faut utiliser un ordinateur.
En revanche, si la caisse est infinie (c’est-à-dire le plan entier), l’arrangement optimal s’obtient beaucoup plus facilement.
Considérons ce problème en trois dimensions : on cherche à empiler les oranges de la façon la plus compacte possible dans l’espace. Kepler a conjecturé que l’empilement des “boulets de canon” est optimal. Il a fallu attendre 400 ans pour que cette conjecture soit démontrée par Hales et Ferguson, dont la preuve comporte 250 pages de texte et des dizaines de milliers de lignes de code.
Que se passe-t-il si l’on veut stocker à la fois des oranges et des clémentines ?
- Lionel Pournin (LIPN, Villetaneuse)
Sections d’hypercube et nombres eulériens
Résumé
Les nombres eulériens forment un triangle comme le triangle de Pascal et de la même façon que les coefficients binomiaux, les lignes de ce triangles suivent asymptotiquement une loi normale, ce qui a été montré par Leonard Carlitz, David Kurtz, Richard Scoville et Olaf Stackelberg. Ceux-ci ont aussi borné l’ordre de convergence de cette estimation asymptotique. Il a été remarqué par Richard Stanley et par Douglas Hensley que ces nombres sont, à un facteur près, le volume des sections de l’hypercube unité par un hyperplan orthogonal à l’une de ses diagonales. L’utilisation conjointe de ces deux points de vue permet d’améliorer la borne sur l’ordre de convergence des nombres eulériens vers leur comportement normal limite et d’établir des propriétés sur le volume des sections de l’hypercube. Cet exposé présente des résultats récents sur ces deux aspects. - Arthur Rodelet (LaBRI, Bordeaux)
Conjectures sur les tableaux de Young standards
Résumé
Dans cet exposé, nous nous intéressons à une conjecture énoncée par Schützenberger qui porte sur l’algorithme d’évacuation, qui est une involution sur les tableaux de Young standards. Cette conjecture affirme que si deux tableaux diffèrent par l’échange de deux valeurs consécutives, leurs résultats par l’évacuation diffèrent d’un cycle de taille paire. Nous donnons une nouvelle version plus forte de cette conjecture qui porte à présent directement sur la correspondance de Robinson-Schensted. Nous étudions ensuite les propriétés des plaques qui sont des classes d’équivalence de tableaux introduites par Moszkowski et Schützenberger, liés à la correspondance de Robinson-Schensted. Nous prouvons qu’elles caractérisent la classe plaxique d’un tableau par son graphe plaxique orienté et introduisons une relation d’ordre sur ces objets. Nous nous servons ensuite de cet ordre pour introduire les surplaques, une famille de relations d’équivalence plus large sur les tableaux et qui contient les plaques. Les surplaques nous fournissent un nouveau cadre pour étudier notre conjecture, que nous démontrons dans plusieurs cas particuliers. - Meltem Unel (LIPN, Villetaneuse)
Les arbres biaisés par la hauteur: quelques nouveaux résultats
Résumé
Étant donné
et , un arbre de taille biaisé par la hauteur est un arbre planaire aléatoire à sommets dont la loi est donnée par , où est un arbre fixe à sommets, et est la hauteur de . Dans cet exposé on va présenter quelques statistiques de ces arbres quand
est une suite à termes positifs dépendant de : la limite d’échelle quand , la hauteur ainsi que le comportement autour de la racine quand . L’exposé est basé sur arXiv:2512.17747 en commun avec L. Addario-Berry, B. Corsini et N. Maitra.
Emploi du temps
Lundi 2 février
| horaire | orateur | titre |
|---|---|---|
| 10h00-10h30 | accueil | |
| 10h30-11h30 | Lionel Pournin | Sections d’hypercube et nombres eulériens |
| 11h30-12h30 | Raquel Melgar | Une géneralisation de la fonction chromatique quasisymétrique pour les graphes signés |
| 12h45-13h45 | repas | |
| 15h00-16h00 | Eva Maria Hainzl | Asymptotic normality of pattern counts in random maps |
| 16h30-17h30 | Slim Kammoun | Compter dans une classe de conjugaison |
Mardi 3 février
| horaire | orateur | titre |
|---|---|---|
| 09h00-10h00 | Daria Pchelina | Arrangements de disques et empilements de sphères optimaux |
| 10h30-11h30 | Arthur Rodelet | Conjectures sur les tableaux de Young standards |
| 11h30-12h30 | Enrica Duchi | Combinatoire des équations catalytiques d’ordre un: un recablage “géométrique” |
| 12h45-13h45 | repas | |
| 15h00-16h00 | Nicolas Bitar | Snakes, SAWs, and Symbolic Dynamics |
| 16h30-17h30 | Meltem Unel | Les arbres biaisés par la hauteur: quelques nouveaux résultats |
Mercredi 4 février
| horaire | orateur | titre |
|---|---|---|
| 09h00-10h00 | Alaa Ibrahim | Preuves automatiques de Positivité pour les récurrences linéaires |
| 10h30-11h30 | Colin Faverjon | Propriétés arithmétiques des suites q-régulières |
| 11h45-12h45 | repas |
Participants
- Antoine Abram (ULiège)
- Jean-Christophe Aval (LaBRI, Université de Bordeaux)
- Axel Bacher (LIPN, Université Sorbonne Paris Nord (Paris 13))
- Simon Barazer (IMB, Université de Bordeaux)
- Frederique Bassino (LIPN, Université Sorbonne Paris Nord)
- Nicolás Bitar (LAMFA, Université de Picardie Jules Verne)
- Nicolas Bonichon (LaBRI, Université de Bordeaux)
- Mireille Bousquet-Mélou (LaBRI, Université de Bordeaux)
- Mong-Si Chen (LISN, Université Paris-Saclay)
- Julien Courtiel (GREYC, Université de Caen Normandie)
- Élie De Panafieu (Nokia Bell Labs)
- Vincent Delecroix (LaBRI, Université de Bordeaux)
- Enrica Duchi (IRIF)
- Colin Faverjon (LAMFA)
- Jules Flin (IRIF)
- Oscar Fontaine (LaBRI, Université de Bordeaux)
- Luis Fredes (IMB, Université de Bordeaux)
- Titouan Galor (LIGM CNRS)
- Olivier Guibert (LaBRI, Université de Bordeaux)
- Eva-Maria Hainzl (LIX)
- Raphaël Henry (I2M, AMU)
- Alaa Ibrahim (Laas, CNRS)
- Slim Kammoun (LMA)
- Léonie Kittel (LIPN, Université Sorbonne Paris Nord (Paris 13))
- Mohamed Lamine Lamali (LaBRI, Université de Bordeaux)
- Yvan Le Borgne (LaBRI, Université de Bordeaux)
- Thomas Lejeune (Sorbonne Université)
- Baptiste Louf (IMB, Université de Bordeaux)
- Hans Mahnig (IMJ-PRG)
- Louis Marin (Laboratoire Informatique Gaspard Monge)
- Raquel Melgar (LaBRI, Université de Bordeaux)
- Paul Melotti (Institut de Mathématiques d’Orsay)
- Tobias Metzlaff (LAAS CNRS)
- Thierry Monteil (LIPN - CNRS UMR 7030)
- Khaydar Nurligareev (LIP6, Sorbonne Université)
- Pallavi Panda (LIPN, Université Sorbonne Paris Nord (Paris 13))
- Daria Pchelina (LIP)
- Lionel Pournin (LIPN, Université Paris XIII)
- Martin Pépin (GREYC, Université de Caen Normandie)
- Maena Quemener (IMJ-PRG)
- Arthur Rodelet-Causse (Labri)
- Martin Rubey (TU Wien)
- Juliette Schabanel (LaBRI, Université de Bordeaux)
- Gilles Schaeffer (LIX)
- Ludovic Schwob (LIGM)
- Andrea Sportiello (LIPN, Université Sorbonne Paris Nord)
- Géraud Sénizergues (LaBRI, Université de Bordeaux)
- Adrian Tanasa (LaBRI, Université de Bordeaux)
- Meltem Unel (LIPN, Université Sorbonne Paris Nord (Paris 13))
- Izumi Watanabe (LISN, Université Paris-Saclay)
- Alexandre Zvonkine (LaBRI, Université de Bordeaux)
Equipe d’organisation
- Auriane Dantes
- Vincent Delecroix
- Isabelle Garcia
- Chloé Godard
- Baptiste Louf
- Elia Meyre
- Cathy Roubineau