Beating binary powering for polynomial matrices

02/08/2023
by   Alin Bostan, et al.
0

The Nth 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 complexity is 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 purely linear in N, even in absence of FFT. The key result making this improvement possible is that the entries of the Nth 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 Nth term of a C-finite sequence of polynomials, and modular exponentiation to the power N for bivariate polynomials.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/10/2019

Computing the Maximum Degree of Minors in Skew Polynomial Matrices

Skew polynomials, which have a noncommutative multiplication rule betwee...
research
02/12/2018

Frobenius Additive Fast Fourier Transform

In ISSAC 2017, van der Hoeven and Larrieu showed that evaluating a polyn...
research
12/31/2018

Subresultants of (x-α)^m and (x-β)^n, Jacobi polynomials and complexity

In an earlier article together with Carlos D'Andrea [BDKSV2017], we desc...
research
10/12/2020

Structured strong ℓ-ifications for structured matrix polynomials in the monomial basis

In the framework of Polynomial Eigenvalue Problems, most of the matrix p...
research
03/10/2021

Binary Signed-Digit Integers, the Stern Diatomic Sequence and Stern Polynomials

Stern's diatomic sequence is a well-studied and simply defined sequence ...
research
12/15/2018

Algorithmic Theory of ODEs and Sampling from Well-conditioned Logconcave Densities

Sampling logconcave functions arising in statistics and machine learning...
research
06/10/2021

Does Bayesian Model Averaging improve polynomial extrapolations? Two toy problems as tests

We assess the accuracy of Bayesian polynomial extrapolations from small ...

Please sign up or login with your details

Forgot password? Click here to reset