Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2016

Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix

Résumé

Given a nonsingular $n \times n$ matrix of univariate polynomials over a field $\mathbb{K}$, we give fast and deterministic algorithms to compute its determinant and its Hermite normal form. Our algorithms use $\widetilde{\mathcal{O}}(n^\omega \lceil s \rceil)$ operations in $\mathbb{K}$, where $s$ is bounded from above by both the average of the degrees of the rows and that of the columns of the matrix and $\omega$ is the exponent of matrix multiplication. The soft-$O$ notation indicates that logarithmic factors in the big-$O$ are omitted while the ceiling function indicates that the cost is $\widetilde{\mathcal{O}}(n^\omega)$ when $s = o(1)$. Our algorithms are based on a fast and deterministic triangularization method for computing the diagonal entries of the Hermite form of a nonsingular matrix.
Fichier principal
Vignette du fichier
determinant_hermite_polmat.pdf (448.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01345627 , version 1 (14-07-2016)
hal-01345627 , version 2 (29-03-2017)

Identifiants

  • HAL Id : hal-01345627 , version 1

Citer

George Labahn, Vincent Neiger, Wei Zhou. Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix. 2016. ⟨hal-01345627v1⟩
291 Consultations
595 Téléchargements

Partager

More