Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Polynomial modular product verification and its implications

Pascal Giorgi 1 Bruno Grenet 1 Armelle Perret Du Cray 1
1 ECO - Exact Computing
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Polynomial multiplication is known to have quasi-linear complexity in both the dense and the sparse cases. Yet no truly linear algorithm has been given in any case for the problem, and it is not clear whether it is even possible. This leaves room for a better algorithm for the simpler problem of verifying a polynomial product. While finding deterministic methods seems out of reach, there exist probabilistic algorithms for the problem that are optimal in number of algebraic operations. We study the generalization of the problem to the verification of a polynomial product modulo a sparse divisor. We investigate its bit complexity for both dense and sparse multiplicands. In particular, we are able to show the primacy of the verification over modular multiplication when the divisor has a constant sparsity and a second highest-degree monomial that is not too large. We use these results to obtain new bounds on the bit complexity of the standard polynomial multiplication verification. In particular, we provide optimal algorithms in the bit complexity model in the dense case by improving a result of Kaminski and develop the first quasi-optimal algorithm for verifying sparse polynomial product.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03102121
Contributor : Bruno Grenet Connect in order to contact the contributor
Submitted on : Thursday, January 7, 2021 - 2:04:07 PM
Last modification on : Monday, October 11, 2021 - 1:24:12 PM
Long-term archiving on: : Thursday, April 8, 2021 - 7:09:29 PM

File

preprint.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03102121, version 1
  • ARXIV : 2101.02142

Collections

Citation

Pascal Giorgi, Bruno Grenet, Armelle Perret Du Cray. Polynomial modular product verification and its implications. 2021. ⟨hal-03102121⟩

Share

Metrics

Record views

83

Files downloads

38