Beating binary powering for polynomial matrices - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Beating binary powering for polynomial matrices

Résumé

The $N$th power of a polynomial matrix of fixed size and degree can be computed by binary powering as fast as multiplying two polynomials of linear degree in $N$. When Fast Fourier Transform (FFT) is available, the resulting arithmetic complexity is \emph{softly linear} in $N$, i.e. linear in $N$ with extra logarithmic factors. We show that it is possible to beat binary powering, by an algorithm whose complexity is \emph{purely linear} in $N$, even in absence of FFT. The key result making this improvement possible is that the entries of the $N$th power of a polynomial matrix satisfy linear differential equations with polynomial coefficients whose orders and degrees are independent of $N$. Similar algorithms are proposed for two related problems: computing the $N$th term of a C-recursive sequence of polynomials, and modular exponentiation to the power $N$ for bivariate polynomials.
Fichier principal
Vignette du fichier
BoNeYu23.pdf (600.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03979664 , version 1 (08-02-2023)
hal-03979664 , version 2 (26-05-2023)

Licence

Identifiants

  • HAL Id : hal-03979664 , version 2

Citer

Alin Bostan, Vincent Neiger, Sergey Yurkevich. Beating binary powering for polynomial matrices. ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway. ⟨hal-03979664v2⟩
176 Consultations
182 Téléchargements

Partager

More