00:00:00 / 00:00:00

Solving equations from combinatorics via computer algebra

By Hadrien Notarantonio

Appears in collection : Combinatorics and Arithmetic for Physics: special days 2023

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, 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 algebraicity of the solutions. In 2006, Bousquet-Melou and Jehanne provided an elementary proof of 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.

Information about the video

  • Date of recording 11/17/23
  • Date of publication 11/27/23
  • Institution IHES
  • Language English
  • Audience Researchers
  • Format MP4


Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback