Computing with integrals in nonlinear algebra

A 6-lecture course virtually hosted by MPI-MiS in Leipzig and held on zoom

March 9–25, 2021

Interested participants should register with Pierre Lairez or Bernd Sturmfels.

Abstract

  • How to compute 100 digits of the volume of a semialgebraic (defined by polynomial inequalities)?

  • How to compute the moments $\int_{[0,1]^n} f(x_1,\dotsc,x_n)^k \mathrm{d}x_1 \dotsc \mathrm{d}x_n$ for large $k$? This problem stems from polynomial optimization.

  • How to compute a recurrence relation for the numbers $\sum_{k=0}^n \binom{n}{k}^2\binom{n+k}{k}^2$? This relation is central in Apéry's proof of the irrationality of $\zeta(3)$.

  • How to count the number of smooth rational curves of degree $d$ on a smooth quartic surface in $\mathbb{P}^3$?

These questions from diverse area of mathematics all feature period functions of rational integrals: analytic functions defined by integrating multivariate rational functions. In some regards, period functions are the simplest nonalgebraic functions. One of the first instance to be studied was the perimeter of the ellipse, as a function eccentricity.

I will first expose the fundamental material to compute with period function: linear differential equations as a data structure, symbolic integration and numerical analytic continuation. Next, I will show how to apply these technique in practice on many different problems, including the four questions above. As much as possible, I will connect with current research questions.

Content

This is the plan. I will probably skip some subsections here and there, depending on the audience's interests.

Linear differential equations as a data structure

  • differentially finite (D-finite) power series
    • equivalence with recurrence relation
  • example of D-finite functions
    • algebraic functions are D-finite
    • examples from combinatorics
  • elementary closure properties
    • addition, multiplication, some forms composition
  • solutions to linear ODEs
    • ordinary points
    • singular points
      • exponents
      • regular singularities
      • formal solutions
  • proof of identity
  • guessing
  • software packages
    • gfun (Maple)
    • ore_algebra (Sagemath)
  • integration of multivariate D-finite functions

Numerical evaluation of differentially finite functions

  • radius of convergence of a D-finite power series
  • computation of partial Taylor sums
    • naive quadratic algorithm
    • binary splitting
  • numerical analytic continuation
    • decomposition in elementary steps
    • regular singular points
  • rigorous error bounds
    • tail bounds
    • fixed point method
  • example: computing π

Periods of rational integrals

  • definition
  • relation with homology and cohomology
    • topological reduction of periods
    • analytic reduction of periods
    • period matrix
  • periods depending on a parameter…
    • … are D-finite (Picard-Fuchs equations)
    • arithmetic properties
      • Bombieri-Dwork conjecture
    • examples
  • formal periods and diagonals
    • definition
    • they satisfy a Picard-Fuchs equations
    • further arithmetic properties
      • Furtsenberg theorem
      • Christol conjecture
    • binomial sums
      • integral representations
      • application to symbolic summation
  • computation of Picard-Fuchs equations
    • regular case
    • singular case

Period numbers of curves and surfaces

  • periods of curves
    • period matrix
    • Torelli's theorem
    • computation
  • periods of surfaces
    • period matrix
    • Torelli-type theorems
    • computation
    • effective Lefschetz (1,1)-theorem
      • LLL
      • separation of periods of quartic surfaces
  • higher dimensions
    • Hodge conjecture

Computation of volume of semialgebraic sets

  • statement of the problem
  • function «volume of a slice»
    • it is a period of rational function!
    • everything in this course applies!
  • an actual algorithm
  • computing volume using moments
  • computing moments using Picard-Fuchs equations
    • further thoughts (WIP)

Research directions

  • faster algorithms for computing periods
  • revisiting the holonomic D-module approach to integration

References

A selection of articles that roughly define the scope of this lecture.

Schedule

tue 9 mar 2021
15h-17h (UTC+1)

Lecture #1

thu 11 mar 2021
15h-17h (UTC+1)

Lecture #2

tue 16 mar 2021
15h-17h (UTC+1)

Lecture #3

thu 18 mar 2021
15h-17h (UTC+1)

Lecture #4

tue 23 mar 2021
15h-17h (UTC+1)

Lecture #5

thu 25 mar 2021
15h-17h (UTC+1)

Lecture #6