DeepAI AI Chat
Log In Sign Up

Fast Computation of the N-th Term of a q-Holonomic Sequence and Applications

by   Alin Bostan, et al.

In 1977, Strassen invented a famous baby-step/giant-step algorithm that computes the factorial N! in arithmetic complexity quasi-linear in √(N). In 1988, the Chudnovsky brothers generalized Strassen's algorithm to the computation of the N-th term of any holonomic sequence in essentially the same arithmetic complexity. We design q-analogues of these algorithms. We first extend Strassen's algorithm to the computation of the q-factorial of N, then Chudnovskys' algorithm to the computation of the N-th term of any q-holonomic sequence. Both algorithms work in arithmetic complexity quasi-linear in √(N); surprisingly, they are simpler than their analogues in the holonomic case. We provide a detailed cost analysis, in both arithmetic and bit complexity models. Moreover, we describe various algorithmic consequences, including the acceleration of polynomial and rational solving of linear q-differential equations, and the fast evaluation of large classes of polynomials, including a family recently considered by Nogneng and Schost.


page 1

page 2

page 3

page 4


A Simple and Fast Algorithm for Computing the N-th Term of a Linearly Recurrent Sequence

We present a simple and fast algorithm for computing the N-th term of a ...

Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time

We design a fast algorithm that computes, for a given linear differentia...

Beating binary powering for polynomial matrices

The Nth power of a polynomial matrix of fixed size and degree can be com...

Change of basis for m-primary ideals in one and two variables

Following recent work by van der Hoeven and Lecerf (ISSAC 2017), we disc...

Fast evaluation of some p-adic transcendental functions

We design algorithms for computing values of many p-adic elementary and ...

Simulating a coin with irrational bias using rational arithmetic

An algorithm is presented that, taking a sequence of unbiased coins as i...

The α-divergences associated with a pair of strictly comparable quasi-arithmetic means

We generalize the family of α-divergences using a pair of strictly compa...