High-order lifting for polynomial Sylvester matrices - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

High-order lifting for polynomial Sylvester matrices


A new algorithm is presented for computing the resultant of two "sufficiently generic" bivariate polynomials over an arbitrary field. For such p and q in K[x, y] of degree d in x and n in y, the resultant with respect to y is computed using O(n^(1.458)d) arithmetic operations as long as d = O(n^(1/3)). For d = 1, the complexity estimate is therefore essentially reconciled with the best known estimates of Neiger et al. 2021 for the related problems of modular composition and characteristic polynomial in a univariate quotient algebra. This further allows to cross the 3/2 barrier in the exponent of n for the first time in the case of the resultant. More generally, our algorithm improves on best previous algebraic ones as long as d = O(n^(0.47)). The resultant is the determinant of the associated univariate polynomial Sylvester matrix of degree d, the problem is therefore intimately related to that of computing determinants of structured polynomial matrices. We first identify new advanced aspects of structure specific to the polynomial Sylvester matrix. Thanks to this, our contribution is to compute the determinant by successfully mixing the block baby steps/giant steps approach of Kaltofen and Villard 2005, until then restricted to the case d = 1 for characteristic polynomials, and the high-order lifting strategy of Storjohann 2003 usually reserved for dense polynomial matrices.
Fichier principal
Vignette du fichier
resultant.pdf (287.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03740320 , version 1 (29-07-2022)
hal-03740320 , version 2 (07-10-2022)


  • HAL Id : hal-03740320 , version 2


Clément Pernet, Hippolyte Signargout, Gilles Villard. High-order lifting for polynomial Sylvester matrices. 2022. ⟨hal-03740320v2⟩
100 View
48 Download


Gmail Facebook Twitter LinkedIn More