Exact computations with quasiseparable matrices and polynomial matrices with a displacement structure - Archive ouverte HAL Accéder directement au contenu
Thèse Année : 2023

Exact computations with quasiseparable matrices and polynomial matrices with a displacement structure

Calcul exact avec des matrices quasiséparables et des matrices polynomiales à structure de déplacement

Résumé

This thesis in exact linear algebra presents fast algorithms for the computation of the determinant of polynomial matrices with a displacement structure and a study of quasiseparable matrix formats.
Polynomial matrices with a displacement structure have a double structure linked to bivariate polynomials. Computing products of such matrices with techniques used on matrices over a field leads to quasi-linear costs. This is not the case when computing a determinant. Progress was recently made on this operation in the cases of Sylvester matrices and matrices of modular product. By extending the scope of these two algorithms we improve the complexity for computing the characteristic polynomial of Toeplitz-like and Hankel-like matrices. We also improve the cost of the computation of the bivariate resultant by studying the structure of the matrices used in high-order lifting on a Sylvester matrix and adapting the “baby steps/giant steps” technique to this problem.
We also give a comparative study of quasiseparable matrix formats. We compare the costs of basic operations for the Bruhat, SSS and HSS formats both theoretically including the leading constants of their asymptotic costs and experimentally with implementations in the exact linear algebra library fflas-ffpack. For this comparison we adapt the SSS and HSS format to exact computations and present a new Bruhat compression algorithm applicable to multiple input formats, including sparse matrices.
Cette thèse en algèbre linéaire exacte présente des algorithmes rapides pour le calcul du déterminant de matrices polynomiales à structure de déplacement et une étude de formats de matrices quasiséparables.
Les matrices polynomiales à structure de déplacement ont une double structure liée à des polynômes bivariés. Les techniques de calcul de produit existant pour les matrices sur un corps s’appliquent aux matrices polynomiales avec un coût quasi-linéaire en la taille de l’entrée. Ce n’est pas le cas pour les techniques de calcul du déterminant. Des avancées récentes ont permis de réduire le coût de ce calcul dans les cas des matrices de Sylvester et des matrices caractéristiques de matrices de multiplication modulaire. En élargissant le domaine d’application de ces deux algorithmes nous améliorons le coût du calcul du polynôme caractéristique de matrices quasi-Toeplitz et quasi-Hankel. Nous améliorons ensuite le coût du calcul du résultant bivarié en présentant un algorithme ayant nécessité l’analyse de la structure des matrices intervenant dans la remontée d’ordre élevé pour l’inverse d’une matrice de Sylvester afin d’adapter la technique des « pas de bébés, pas de géants » au calcul des termes de l’inverse de matrices polynomiales plus générales que les seules matrices caractéristiques.
Une étude comparative est aussi faite sous l’angle du calcul formel pour différents formats de stockage de matrices quasiséparables. Les formats HSS et SSS sont utilisés en calcul numérique, seuls les formats Bruhat et RRR avaient été étudiés pour le calcul exact. Sont présentés une adaptation des formats HSS et SSS à ce cadre et une nouvelle version de l’algorithme de compression Bruhat prenant en entrée une matrice sous format quelconque, pour utilisation dans le cas d’une matrice creuse et d’une matrice provenant de la somme de deux matrices sous format Bruhat. Les comparaisons se font en termes théoriques et pratiques, avec des implémentations dans la bibliothèque d’algèbre linéaire exacte fflas-ffpack.
Fichier principal
Vignette du fichier
manuscrit_HS_28sept 2023.pdf (1.33 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-04326015 , version 1 (06-12-2023)
tel-04326015 , version 2 (12-01-2024)
tel-04326015 , version 3 (24-01-2024)

Identifiants

  • HAL Id : tel-04326015 , version 1

Citer

Hippolyte Signargout. Exact computations with quasiseparable matrices and polynomial matrices with a displacement structure. Computer Science [cs]. École Normale Supérieure de Lyon, 2023. English. ⟨NNT : ⟩. ⟨tel-04326015v1⟩
102 Consultations
36 Téléchargements

Partager

Gmail Facebook X LinkedIn More