On the computation of minimal polynomials, cyclic vectors, and Frobenius forms - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Linear Algebra and its Applications Année : 1997

On the computation of minimal polynomials, cyclic vectors, and Frobenius forms

Daniel Augot
  • Fonction : Auteur
  • PersonId : 833459

Résumé

Various algorithms connected with the computation of the minimal polynomial of an n × n matrix over a field K are presented here. The complexity of the first algorithm, where the complete factorization of the characteristic polynomial is needed, is O(√nn3). It produces the minimal polynomial and all characteristic subspaces of a matrix of size n. Furthermore, an iterative algorithm for the minimal polynomial is presented with complexity O(n^3 + n^2m^2), where m is a parameter of the shift Hessenberg matrix used. It does not require knowledge of the characteristic polynomial. Important here is the fact that the average value of m or mA is O(log n). Next we are concerned with the topic of finding a cyclic vector for a matrix. We first consider the case where its characteristic polynomial is square-free. Using the shift Hessenberg form leads to an algorithm at cost O(n^3 + m^2n^2). A more sophisticated recurrent procedure gives the result in O(n^3) steps. In particular, a normal basis for an extended finite field of size qn will be obtained with deterministic complexity O(n^3 + n^2log q). Finally, the Frobenius form is obtained with asymptotic average complexity O(n^3log n). All algorithms are deterministic. In all four cases, the complexity obtained is better than for the heretofore best known deterministic algorithm.
Fichier principal
Vignette du fichier
LAA_96.pdf (291.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00541318 , version 1 (30-11-2010)

Identifiants

Citer

Daniel Augot, Paul Camion. On the computation of minimal polynomials, cyclic vectors, and Frobenius forms. Linear Algebra and its Applications, 1997, 260, pp.61-94. ⟨10.1016/S0024-3795(97)80005-5⟩. ⟨inria-00541318⟩

Collections

INRIA INRIA2
165 Consultations
512 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More