Mercredi 27 Janvier

Luigi Cantini :

Asymmetric simple exclusion process with open boundaries and Koornwinder polynomials

The Asymmetric Simple Exclusion Process (ASEP) is a stochastic model of particles on the sites of a one-dimensional lattice, that can jump to their right or left neighboring sites under the constraint the neighboring site is empty. Besides being a paradigmatic example of an out of equilibrium systems, it has also a rich algebraic and combinatorial structure. In this talk, after a brief review of the general properties of the ASEP, I shall present a new approach to the study of the steady state of this model on a finite strip with two particle reservoirs at the two ends. Our approach consists in exploiting the algebraic structure behind the model in order to introduce a set of "extra" parameters, usually called spectral parameters. The (unnormalized) probabilities of the particle configurations get promoted to Laurent polynomials in the spectral parameters and are constructed in terms of non-symmetric Koornwinder polynomials. In particular we show that the normalization coincides with a symmetric Macdonald-Koornwinder polynomial. As an outcome we compute the steady current and the average density of first class particles.

Michèle Soria :

Combinatoire analytique et lois limites gaussiennes

La combinatoire analytique étudie le dénombrement asymptotique de structures combinatoires au travers des singularités analytiques de leurs séries génératrices. L'étude de paramètres d'une classe combinatoire est déterminée par une série génératrice bivariée qui est une déformation de la série génératrice de la classe d'origine et l'on peut aussi, souvent, caractériser la distribution limite du paramètre via les déformations subies par les singularités. On étudiera dans cet exposé différents schémas combinatoires-analytiques donnant lieu à des distributions limites gaussiennes obtenues par analyse de singularités, ainsi que leur application à des classes d'arbres, de graphes, de mots, de polynômes...

Jehanne Dousse:

Identités de partitions et équations aux q-différences

Une partition d'un entier n est une suite décroissante d'entiers positifs (appelés parts) dont la somme est égale à n.
Les identités de Rogers-Ramanujan établissent que pour tout n, le nombre de partitions de n telles que la différence entre deux parts consécutives est au moins 2 est égal au nombre de partitions de n en parts congrues à 1 ou 4 modulo 5. Plus généralement, les identités du type Rogers-Ramanujan établissent des égalités entre certains types de partitions avec des conditions de différence et des partitions avec des conditions de congruence.
Dans cet exposé, je présenterai plusieurs identités de partitions prouvées durant ma thèse en utilisant des équations aux $q$-différences. La première est l'identité de Siladic, une identité de partitions prouvée à l'origine avec des techniques d'algèbres de Lie puis reprouvées et raffinées grâce à une étude combinatoire. La deuxième est une généralisation aux surpartitions (des partitions où la première occurrence d'une part peut être surlignée) du théorème de Schur, qui stipule que le nombre de partitions en parts distinctes congrues à 1 ou 2 modulo 3 est égal au nombre de partitions telles qu'il y a une différence d'au moins 3 entre deux parts consécutives et telles que deux multiples de 3 consécutifs ne peuvent être des parts. Enfin, je présenterai une généralisation de deux théorèmes d'Andrews aux surpartitions, ainsi que la nouvelle technique utilisée pour les prouver qui consiste à faire des allers-retours entre équations aux q-différences sur les séries génératrices et équations de récurrence sur leurs coefficients.

Mathias Pétréolle:

Extension des formules de caractères en types affines via la décomposition de Littlewood

En 2009, Han a redécouvert et généralisé une identité due à Nekrasov et Okounkov, qui fait un lien entre d'un coté, les puissances de la fonction êta de Dedekind, et de l'autre les partages d'entiers et leurs longueurs d'équerres. Pour cela, il utilise la formule de Macdonald pour le système affine de racines de type A.
De façon similaire, il existe en type affine C des identités analogues à celle de Nekrasov-Okounkov que je présenterai. Je montrerai comment, en utilisant la décomposition de Littlewood et ses particularités lorsqu'elle est appliquée à certaines partitions (notamment auto-conjuguées), on peut généraliser ces identités avec des paramètres supplémentaires. Enfin, je montrerai les applications de ces généralisations.

Valentin Bonzom:

Une généralisation des cartes en dimensions supérieures

Les cartes combinatoires sont des discrétisations de surfaces. C'est un enjeu important de les généraliser aux dimensions supérieures. Je présenterai une approche fondée sur l'utilisation de graphes colorés. J'expliquerai comment ceux-ci permettent de géneraliser les p-angulations en représentant des complexes simpliciaux de dimensions $d\geq 2$. On cherche alors à les classifier selon le nombre de cellules de dimension $d-2$ à nombre de simplexes fixés. Dans cette optique, j'introduirai une bijection avec des cartes colorées dites farcies, qui s'inspire d'une part de la bijection de Tutte entre quadrangulations biparties et cartes quelconques et d'autre part de la représentation de Walsh des hypercartes. Cette bijection permet dans certains cas d'identifier les complexes simpliciaux qui maximisent le nombre de cellules de dimension $d-2$ et d'en calculer les fonctions génératrices.

Grégory Chatel

Algèbre de Hopf cambrienne

En 1998, Loday et Ronco décrivent une algèbre de Hopf combinatoire dont la base est indicée par des arbres binaires. Cette algèbre possède de nombreux liens avec divers résultats antérieurs. Son produit est en particulier lié aux intervalles du treillis de Tamari, structure d'ordre partiel dont les éléments sont des arbres binaires. En 2006, Reading définit la notion de treillis Cambrien d'un groupes de Coxeter. Le treillis Cambrien généralise l'ordre de Tamari en utilisant des structures arborescentes qui généralisent les arbres binaires, les arbres Cambriens. Une question naturelle se pose alors : est-il possible de généraliser l'algèbre de Hopf de Loday-Ronco aux arbres Cambriens ? Dans cette présentation, j'expliquerais les résultats que nous avons obtenus avec Vincent Pilaud sur les arbres Cambriens en type A.

Jeudi 28 Janvier

Gareth Jones:

Revêtements, permutations, et quelques problèmes posés par Sacha Zvonkine

Covering of topological spaces can be studied algebraically through their monodromy groups. These are permutations groups, in which the fundemental group of the base space acts by unique path-lifting on the sheets of the covering (more precisely, on the fibre over the base point, or on the cosets of the fundamental group of the covering space). Local branching information provides elements with specific cycle structures. For example, a complex polynomial of degree n, regarded as a covering of the Riemann sphere by itself, yields a permutation group of degree n containing a n-cycle, induced by the branching at infinity. Classical results on permutation groups by Galois, Jordan, Burnside, Schur and Feit can be applied in this and similar situations to classify the possible monodromy groups and hence to understand the coverings. In recent years the work of Sacha Zvonkine on polynomials, Laurent polynomials and related functions has motivated further extensions of some of these results.

Sergei Lando:

Combinatorial solutions to integrable hierarchies

The talk will present a review of modern approaches to constructing formal solutions to integrable hierarchies of mathematical physics, whose coefficients are answers to various enumerative problems. The relationship between these approaches and combinatorics of symmetric groups and their representations will be explained. Applications of the results to constructing efficient computations in enumeration of various kinds of maps will be given.

Laurent Bartholdi:

Revêtements ramifiés de la sphère: informatique et algèbre

Les revêtements ramifiés de la sphère $S^2$ sont des objets fondamentalement topologiques. Je tâcherai de montrer comment ils correspondent à des objets algébriques (des «H-G-ensembles »:ensembles avec deux actions de groupes qui commutent) et à des objets analytiques (des fonctions rationnelles).
Les auto-revêtements ramifiés dont l'orbite des points critiques est finie ont été profondément étudiés en dynamique holomorphe; on les appelle des « applications de Thurston ». Je montrerai, au moyen des outils mentionnés plus haut, que le problème de conjugaison de telles applications est décidable.
Il s'agit d'un travail en commun avec D. Dudko.

Jarke van Wijk:

Visualization of regular maps

Regular maps can be viewed as generalizations of Platonic solids: a regular map is a tesselation of a surface (with genus >= 0) that is face-, edge-, and vertex-transitive. Up to genus 100 all possible regular maps have been enumerated, and these can be completely and compactly described via their group representations. But, what do they look like ? In computer graphics terminology, only the structure of the polygonal mesh is given, but no information about possible geometric realizations is provided. Can we produce visualizations of such regular maps on surfaces embedded in 3D ? Finding such visualiations by hand in a challenging puzzle, and almost impossible for the more complex cases. In my talk I will present methods that can be used to produce visualizations automatically. Currently, by far not all cases can be dealt with, but the resulting set includes a variety of interesting cases, such as a visualization of the Macbeath surface.

Dimitri Zvonkine:

Hurwitz numbers for real polynomials

There are $n^{n−3}$ (properly normalized) complex degree n polynomials with n−1 fixed critical values. This can be found by establishing a one-to-one correspondence between these polynomials and marked trees, which are enumerated by the Cayley formula. The number of (properly normalized) real degree n polynomials with n − 1 fixed real critical values is equal to the n-th Euler-Bernoulli number. This can be found by establishing a one-to-one correspondence between these polynomials and alternating permutations. The problem above can be generalized by allowing multiple critical values and fixing their ramification profiles. In the complex case this problem is solved; in the real case, however, the answer depends on the order of the critical values on the real line. Thus the question arises whether it is possible to attribute a sign to every real polynomial in such a way that the number of polynomials counted with signs is invariant under permutations of critical values. We construct a sign with this property and study the invariant thus obtained. This is a joint work with Ilia Itenberg.

Alexandre Zvonkine:

Weighted trees

Half a century ago, in 1965, Birch, Chowla, Hall, and Schinzel posed the following question. Let A and B be two coprime polynomials. What is the minimum possible degree of the difference A^3 - B^2? In 1995, Zannier considered a more general problem: what is the minimum degree of the difference of two polynomials with a prescribed factorization pattern? Subsequent studies revealed two phenomena. First, when the minimum degree is attained, the polynomials in question turn out to be defined over number fields; therefore, the universal Galois group (the automorphism group of the field of algebraic numbers) acts on these polynomials. Second, the theory of dessins d'enfants makes it clear that the problem is closely related to the study of "weighted trees". These are plane trees whose edges are endowed with positive integral weights. In particular, the Galois group acts also on such trees, and many aspects of this action, both on trees and on polynomials, can be explained by combinatorial properties of the trees. This is a joint work with Fedor Pakovich and Nikolay Adrianov.

Vendredi 29 Janvier

Stephen Melczer:

Connecting analytic and asymptotic behaviour through multivariate diagonals

Recent work in the study of analytic combinatorics in several variables has shown how to derive asymptotics for the coefficients of certain families of D-finite functions by representing them as diagonals of multivariate rational functions. In this talk we look at applications of this theory to the enumeration of two dimensional lattice paths in restricted regions: the classical “kernel method” allows one to represent the generating functions of many combinatorial classes arising in this context as diagonals, whose analytic behaviour can then be studied. In particular, we examine a close link between combinatorial properties of the lattice path models (such as their “drift”), the singularities of the associated multivariate rational functions, and the asymptotics of their counting sequences. This allows us to prove conjectured asymptotics of Bostan and Kauers (2009) for walks in two dimensions restricted to the positive quadrant, and newer conjectures of Bostan, Chyzak, van Hoeij, Kauers, and Pech (2015) on the number of walks returning to each bounding axis and the origin. This is joint work with Mark Wilson, George Labahn, Bruno Salvy, and Marni Mishna.

Jean-François Marckert:

À propos du problème de Sylvester

Mettons n points aléatoires uniformes dans un domaine compact convexe K du plan. Notons P(k,n) la probabilité que ces n points sont en position convexe, c'est à dire, sont les sommets d'un polygone convexe. Blaschke en 1917 a montré que P(T,4) <= P(K,4) <= P(O,4) où T désigne un triangle, et O le disque. Dans cet exposé nous montrerons que cette propriété est vraie pour 5 points également. Nous illustrerons par des exemples, que ce domaine de recherche allie des techniques géométriques, probabilistes et combinatoires.

Dan Betea :

Asymptotics of pyramid partitions and related domino tilings

We consider the large scaling limit of a class of domino tilings known as pyramid partitions using the technique Schur processes developed in the mathematical physics community. We give a flavour of the various limiting processes involved, and if time permits look at generalizations and related models such as plane overpartitions, skew pyramid partitions, and the Aztec diamond.