Le Séminaire de Combinatoire Enumérative et Analytique, également appelé Séminaire Philippe Flajolet depuis 2011, a pour objectif de couvrir un large spectre de recherche en combinatoire, et est ouvert à tou·te·s les chercheur·se·s et étudiant·e·s intéressé·e·s. Le séminaire a lieu à l’IHP.
Prochaine séance : Jeudi 7 décembre 2023, amphi Hermite.
Cette séance sera en même temps une journée spéciale de la conférence Computer Algebra for Functional Equations in Combinatorics and Physics.
L’IHP demande aux participants de s’inscrire à la semaine de conférence via ce lien. Ils pourront alors participer à toute la semaine de conférence, et notamment au cocktail le mercredi 6 au soir .
- 10h00: Mireille Bousquet-Mélou (LaBRI, Université de Bordeaux)
Computer algebra in my combinatorics life.
Many of my papers would just not exist without computer algebra. I will describe how CA has become an essential tool in my research in enumerative combinatorics. The point of view will be that of a (sometimes naive) user, not of an expert. Many examples and questions will be taken from a joint paper with Michael Wallner dealing with the enumeration of king walks avoiding a quadrant (arXiv 2021, to appear). My hope is that some of the questions that I will raise will have an immediate answer ("yes, this is done") and/or that some people in the audience will find a question interesting enough to take it back home.
- 11h00: Tony Guttmann (University of Melbourne)
Self-avoiding walks in a square and the gerrymander sequence.
We give an improved algorithm for the enumeration of self-avoiding walks and polygons within an N×N square as well as SAWs crossing a square. We present some proofs of the expected asymptotic behaviour as the size N of the square grows, and then show how one can numerically estimate the parameters in the asymptotic expression. We then show how the improved algorithm can be adapted to count gerrymander sequences (OEIS A348456), and prove that the asymptotics of the gerrymander sequence is similar to that of SAWs crossing a square. This work has been done in collaboration with Iwan Jensen, and in part with Aleks Owczarek.
- 15h00: Arvind Ayyer (Indian Institute of Science, Bangalore)
Computer algebra for the study of two-dimensional exclusion processes.
We define a new disordered asymmetric simple exclusion process (ASEP) with two species of particles, first-class and second-class, on a two-dimensional toroidal lattice. The dynamics is controlled by first-class particles, which only move horizontally, with forward and backward hopping rates $p_i$ and $q_i$ respectively if the particle is on row $i$. The motion of second-class particles depends on the relative position of these with respect to the first-class ones, and can be both horizontal and vertical. In the first part of my talk, I will illustrate how we used computer algebra software, specifically Mathematica and SageMath, to understand the stationary distribution of this process. We computed the partition function, as well as densities and currents of all particles in the steady state. We observed a novel mechanism we call the Scott Russell phenomenon: the current of second class particles in the vertical direction is the same as that of first-class particles in the horizontal direction. In the second part of my talk, I will show how we simulated the process and realized that the Scott Russell phenomenon also holds out of equilibrium. This is partly joint work with P. Nadeau (European Journal of Combinatorics, 2022).
- 16h30: Dan Romik (University of California, Davis)
A new proof of Viazovska’s modular form inequalities for sphere packing in dimension 8.
Maryna Viazovska in 2016 found a remarkable application of the theory of modular forms to a fundamental problem in geometry, obtaining a solution to the sphere packing problem in dimension 8 through an explicit construction of a so-called "magic function" that she defined in terms of classical functions, the Eisenstein series and Jacobi thetanull functions. The same method also led shortly afterwards to the solution of the sphere packing in dimension 24 by her and several collaborators. One component of Viazovska's proof consisted of proving a pair of inequalities satisfied by the modular forms she constructed. Viazovska gave a proof of these inequalities that relied in an essential way on computer calculations. In this talk I will present a new proof of Viazovska's inequalities that uses only elementary arguments that can be easily checked by a human.
Liste des séances de l’année
Les séances de l’année 2023-2024 ont lieu :
- jeudi 28 septembre 2023:
- Valentin Bonzom
- Cédric Boutillier
- jeudi 07 décembre 2023
- jeudi 08 février 2024
- jeudi 04 avril 2024
- jeudi 06 juin 2024