Skip to Main content Skip to Navigation
Journal articles

Computing the multilinear factors of lacunary polynomials without heights

Abstract : We present a deterministic algorithm which computes the multilinear factors of multivariate lacunary polynomials over number fields. Its complexity is polynomial in ℓ n where ℓ is the lacunary size of the input polynomial and n its number of variables, that is in particular polynomial in the logarithm of its degree. We also provide a randomized algorithm for the same problem of complexity polynomial in ℓ and n. Over other fields of characteristic zero and finite fields of large characteristic, our algorithms compute the multilinear factors having at least three monomials of multivariate polynomials. Lower bounds are provided to explain the limitations of our algorithm. As a by-product, we also design polynomial-time deterministic polynomial identity tests for families of polynomials which were not known to admit any. Our results are based on so-called Gap Theorem which reduce high-degree factorization to repeated low-degree factorizations. While previous algorithms used Gap Theorems expressed in terms of the heights of the coefficients, our Gap Theorems only depend on the exponents of the polynomials. This makes our algorithms more elementary and general, and faster in most cases.
Complete list of metadata

https://hal-polytechnique.archives-ouvertes.fr/hal-00936318
Contributor : Bruno Grenet Connect in order to contact the contributor
Submitted on : Friday, January 24, 2014 - 7:14:33 PM
Last modification on : Sunday, June 26, 2022 - 2:35:47 AM

Links full text

Identifiers

Collections

Citation

Arkadev Chattopadhyay, Bruno Grenet, Pascal Koiran, Natacha Portier, yann Strozecki. Computing the multilinear factors of lacunary polynomials without heights. Journal of Symbolic Computation, Elsevier, 2021, 104 (183-206), ⟨10.1016/j.jsc.2020.04.013⟩. ⟨hal-00936318⟩

Share

Metrics

Record views

190