2023 - T3 - WS3 - Computer algebra for functional equations in combinatorics and physics

Collection 2023 - T3 - WS3 - Computer algebra for functional equations in combinatorics and physics

Organisateur(s) Bostan, Alin ; Bouttier, Jérémie ; Cluzeau, Thomas ; Di Vizio, Lucia ; Krattenthaler, Christian ; Lairez, Pierre ; Maillard, Jean-Marie
Date(s) 04/12/2023 - 08/12/2023
URL associée https://indico.math.cnrs.fr/event/8115/
8 17

Submodule approach to creative telescoping

De Mark van Hoeij

This talk proposes ideas to speed up the process of creative telescoping, particularly when the telescoper is reducible. One can interpret telescoping as computing an annihilator $L$ in $D$ for an element $H$ in a D-module $M$ . The main idea is to look for submodules of $M$. For a non-trivial submodule $N$, constructing the minimal operator $R$ of the image of $H$ in $M / N$ gives a right-factor of $L$ in $D$. Then $L = L′R$ where $L′$ is the telescoper of $R(H)$. To expedite computing $L′$, compute the action of $D$ on a natural basis of $N$, then obtain the telescoper $L′$ for $R(H)$ with a cyclic vector computation. The next main idea is that when $N$ has automorphisms, use them to construct submodules. An automorphism with distinct eigenvalues can be used to decompose $N$ as a direct sum of submodules $N_1, \ldots, N_k$ . Then $L' = \text{LCLM}(L_1, \ldots, L_k)$ where $L_i$ is the telescoper of the projection of $R(H)$ on $N_i$. An LCLM can greatly increase the degrees of the coefficients, so $L′$ and hence $L$ can be much larger than the factors $L_1, \ldots, L_k$ and $R$. Examples show that computing each factor $L_i$ and $R$ separately can save a lot of CPU time compared to computing the full telescoper $L$ all at once with standard creative telescoping.

Informations sur la vidéo

Données de citation

  • DOI 10.57987/IHP.2023.T3.WS3.007
  • Citer cette vidéo van Hoeij, Mark (05/12/2023). Submodule approach to creative telescoping. IHP. Audiovisual resource. DOI: 10.57987/IHP.2023.T3.WS3.007
  • URL https://dx.doi.org/10.57987/IHP.2023.T3.WS3.007

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis