Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices

Jean-Guillaume Dumas 1 Erich Kaltofen 2 Emmanuel Thomé 3
3 CARAMEL - Cryptology, Arithmetic: Hardware and Software
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : Certificates to a linear algebra computation are additional data structures for each output, which can be used by a—possibly randomized— verification algorithm that proves the correctness of each output. Wiede-mann's algorithm projects the Krylov sequence obtained by repeatedly multiplying a vector by a matrix to obtain a linearly recurrent sequence. The minimal polynomial of this sequence divides the minimal polynomial of the matrix. For instance, if the n×n input matrix is sparse with n 1+o(1) non-zero entries, the computation of the sequence is quadratic in the dimension of the matrix while the computation of the minimal polynomial is n 1+o(1) , once that projected Krylov sequence is obtained. In this paper we give algorithms that compute certificates for the Krylov sequence of sparse or structured n × n matrices over an abstract field, whose Monte Carlo verification complexity can be made essentially linear. As an application this gives certificates for the determinant, the minimal and characteristic polynomials of sparse or structured matrices at the same cost.
Type de document :
Pré-publication, Document de travail
2015
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01171249
Contributeur : Jean-Guillaume Dumas <>
Soumis le : vendredi 3 juillet 2015 - 11:37:48
Dernière modification le : jeudi 22 septembre 2016 - 14:31:08
Document(s) archivé(s) le : mardi 25 avril 2017 - 22:36:48

Fichiers

wied_verif.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01171249, version 1
  • ARXIV : 1507.01083

Citation

Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé. Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices. 2015. <hal-01171249>

Partager

Métriques

Consultations de
la notice

548

Téléchargements du document

71