15–17 nov. 2023
Le Bois-Marie
Fuseau horaire Europe/Paris

Solving Equations From Combinatorics Via Computer Algebra

17 nov. 2023, 15:30
45m
Centre de conférences Marilyn et James Simons (Le Bois-Marie)

Centre de conférences Marilyn et James Simons

Le Bois-Marie

35, route de Chartres 91440 Bures-sur-Yvette

Orateur

Prof. Hadrien Notarantonio (Inria Saclay)

Description

Enumerative combinatorics contains a vast landscape of problems that could hardly be solved without the consideration of special functional equations called “Discrete Differential Equations”. Among these problems, are the enumeration of walks, planar maps carrying hard particles, etc. These functional equations relate formal power series in n variables with specializations of them to some of the variables (the specializations being generating functions related to the enumeration of interest). When the involved variables are “nested”, a celebrated result by Popescu (1986) implies the algebraicity of the solutions. In 2006, Bousquet-Melou and Jehanne provided an elementary proof of the algebraicity of the solutions in the case $n=2$. Their proof yields an algorithm, and it has been the state-of-the-art in enumerative combinatorics for solving these equations since then. In this talk,
I will present a recent approach, based on the intensive use of effective algebraic geometry, in order to solve more efficiently such equations in the case n=2. Also, I will introduce and discuss recent advances in the case of systems of such equations. The talk is based on joint works with Alin Bostan, Mohab Safey El Din, and Sergey Yurkevich.

Documents de présentation