Combinatoire dans des stabilisations du modèle du tas de sable sur la grille Z²

Combinatorics on some stabilisations in the Abelian Sandpile Model on the square lattice Z²

• Auteur / Autrice : Henri Derycke
• Direction : Yvan Le Borgne
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 10/12/2018
• Etablissement(s) : Bordeaux
• Ecole(s) doctorale(s) : École doctorale de mathématiques et informatique (Talence, Gironde ; 1991-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire bordelais de recherche en informatique
• Jury : Président / Présidente : Florent Hivert
• Jury : Examinateurs / Examinatrices : Mireille Bousquet-Mélou, Jean-François Marckert, Andrea Sportiello
• Jury : Rapporteurs / Rapporteuses : Sylvie Corteel, Gilles Schaeffer

Mots clés

Mots clés contrôlés

Théorie des graphes

Combinatoire algébrique

Algorithmes

Mots clés libres

Tas de sable

Récurrence

Arbre couvrant

Bootstrap percolation

Q-analogue

Sandpile model

Recurrence

Spanning tree

Bootstrap percolation

Q-analogue

Résumé

Le modèle du tas de sable est un modèle de diffusion discret et isotrope introduit par les physiciens Bak, Tang et Wiesenfeld comme illustration de la criticalité auto-organisée. Pour tout graphe, souvent supposé fini, Dhar a formalisé de nombreuses propriétés simplifiant son analyse. Cette thèse propose des études de ce modèle sur la grille bidimensionnelle usuelle et certains de ses sous-graphes également infinis que sont les bandes bi-infinies de hauteur finie. Des approximations du comportement de la pile de sable peuvent se rapprocher de certains modèles de bootstrap percolation avec un support de stabilisation rectangulaire. Les lois sur son demi-périmètre peuvent se décrire à l’aide de statistiques sur les permutations. Un sous-produit de ce travail fait apparaître une différence de deux séries génératrices comptant des permutations selon deux statistiques mahoniennes classiques dont est extrait un polynôme à coefficients entiers et surtout positifs. La suite de cette thèse revisite dans le cadre de ces graphes infinis, des structures jusque-là bien définies uniquement dans le cas des graphes finis, notamment la récurrence. Dans le modèle sur une bande de hauteur finie H, l’existence donnée par Járai et Lyons d’automates finis reconnaissant les configurations récurrentes lues colonne par colonne est étendu par une construction explicite d’automates avec un nombre moindre d’états, se rapprochant de la conjecture de Gamlin. Dans une seconde approche, l’étude se concentre sur les configurations sur la grille entière qui sont périodiques dans les deux directions. Le puits, un sommet du graphe garantissant la terminaison de la stabilisation, est placé à l’infini dans une direction de pente rationnelle. Ceci permet à la fois de préserver la bipériodicité et de proposer une forme affaiblie du critère de Dhar caractérisant ainsi par un algorithme effectif les configurations récurrentes. Ces configurations récurrentes bipériodiques sont des candidates naturelles pour être les éléments de sous-groupes finis de l’éventuel groupe du tas de sable sur la grille. Des éléments de construction de cette loi de groupe donnent expérimentalement quelques sous-groupes finis.

The sandpile model is a discrete model for diffusion of grains on a graph introduced by physicists Bak, Tang and Wiesenfeld as an illustration for self-organised criticality. For any finite graph, Dhar identified many of its numerous structures which simplify its analysis. This thesis focus on the usual square lattice and its subgraphs which are strips of height H, both notions of infinite graphs. Approximations on the behaviour of the stabilisation of a large stack of grains at the origin of the square lattice lead to some random distribution of grains, which stabilisation is connected to some models of bootstrap percolation where modified vertices by this stabilisation forms a rectangle. The laws of the half-perimeter of this rectangle are described by statistics on permutations. As a byproduct, the difference between the generating functions over some permutations of two classical mahonian statistics on permutations appears to mainly be a polynomial with coefficients which are integers and especially positive. Then, this thesis visits in the case of the studied infinite graphs some well-defined structures on finite graphs, in particular the recurrence. In the model on an horizontal strip of height H, we extend the existence of finite automata recognizing recurrent configurations read column by column presented by Járai and Lyons to new automata with significantly less states and these numbers are closer to a conjecture due to Gamlin. An implementation leads to explicit automata for heights 3 and 4 while up to now only the case 2 was obtained by hand. In a second approach, we consider the configurations on the twodimensional square lattice which are periodic in two directions. We suggest to place the sink ensuring that the stabilisation ends at infinity in a direction of rational slope which allows to preserve biperiodicity and a weaker form of Dhar criterion for recurrent configurations. Hence we obtain an effective algorithm defining recurrent configurations among the biperiodic and stable configurations. These biperiodic and recurrent configurations are natural candidates for being the elements of finite subgroups of the hypothetical group on configurations of the sandpile model on the square lattice. We discuss some notions allowing the definition of the law of such a group and experimentally provide some finite subgroups.