Communication Dans Un Congrès Année : 2025

A unified approach for degree bound estimates of linear differential operators

Résumé

We identify a common scheme in several existing algorithms addressing computational problems on linear differential equations with polynomial coefficients. These algorithms reduce to computing a linear relation between vectors obtained as iterates of a simple differential operator known as pseudo-linear map. We focus on establishing precise degree bounds on the output of this class of algorithms. It turns out that in all known instances (least common left multiple, symmetric product,. . . ), the bounds that are derived from the linear algebra step using Cramer's rule are pessimistic. The gap with the behaviour observed in practice is often of one order of magnitude, and better bounds are sometimes known and derived from ad hoc methods and independent arguments. We propose a unified approach for proving output degree bounds for all instances of the class at once. The main technical tools come from the theory of realisations of matrices of rational functions and their determinantal denominators.

Fichier principal
Vignette du fichier
gaillard_hal.pdf (600.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04977634 , version 1 (05-03-2025)
hal-04977634 , version 2 (02-05-2025)

Licence

Identifiants

Citer

Louis Gaillard. A unified approach for degree bound estimates of linear differential operators. ISSAC '25: International Symposium on Symbolic and Algebraic Computation, Jul 2025, Guanajuato Mexico, Mexico. pp.16-24, ⟨10.1145/3747199.3747542⟩. ⟨hal-04977634v2⟩
254 Consultations
353 Téléchargements

Altmetric

Partager

  • More