On the Drazin Index of an Anti-Triangular Block Matrix

Titre : Sur l'indice de Drazin d'une matrice bloc anti-triangulaire

1. Problématique

L'indice de Drazin, noté $i(A)$, est un invariant fondamental pour l'analyse des matrices singulières et de leurs inverses généralisés (notamment l'inverse de Drazin $A^D$). Bien que des résultats précis existent pour les matrices triangulaires par blocs, la théorie concernant les matrices bloc anti-triangulaires (de la forme $M = \begin{bmatrix} A & B \\ C & 0 \end{bmatrix}$) est moins développée, en particulier concernant la caractérisation explicite de leur indice de Drazin.

Le défi principal réside dans la difficulté de calculer directement $i(M)$ pour de grandes matrices, car cela nécessite souvent l'évaluation des rangs des puissances successives $rank(M^k)$. L'objectif de cet article est de fournir des bornes serrées et des formules explicites pour l'indice de Drazin et l'inverse de Drazin de telles matrices, sous des contraintes algébriques spécifiques sur les blocs $A, B$ et $C$.

2. Méthodologie

Les auteurs adoptent une approche algébrique combinant plusieurs techniques avancées :

• Décompositions additives et Lemme de Cline : L'étude repose sur la factorisation de la matrice $M$ en produits de matrices plus simples (ex: $M = SR$) et l'utilisation du lemme de Cline, qui relie l'indice de $AB$ à celui de $BA$($|i(AB) - i(BA)| \le 1$).
• Inverses de von Neumann : L'analyse utilise des inverses de von Neumann ($A^-$ tels que $AA^-A=A$) pour construire des décompositions spectrales et étudier des expressions de la forme $A^2A^- + I - AA^-$.
• Polynômes minimaux : Les auteurs établissent des liens entre l'indice de Drazin et les polynômes minimaux de sommes spéciales, démontrant l'invariance de ces indices par rapport au choix de l'inverse de von Neumann.
• Analyse par cas (Contraintes sur les blocs) : Le problème est résolu en distinguant plusieurs scénarios basés sur les propriétés des blocs :
  • Singularité ou non-singularité de $A$ et de $BC$.
  • Conditions d'annihilation (ex: $ABC = 0$, $BCA = 0$).
  • Conditions d'orthogonalité.

3. Contributions Clés et Résultats Principaux

A. Résultats Préliminaires et Invariance

• Théorème 3.3 & 3.4 : Les auteurs prouvent que l'indice de Drazin de l'expression $A^2A^- + I - AA^-$ est invariant quel que soit le choix de l'inverse de von Neumann $A^-$. Ils établissent que cet indice est égal à $i(A) - 1$ (pour $A$ singulier).
• Lemme 2.10 : Une formule explicite est donnée pour l'indice de Drazin d'une matrice de la forme $\begin{bmatrix} 0 & WW^- \\ W & 0 \end{bmatrix}$, montrant que $i(Y) = 2i(W) - 1$.

B. Caractérisation de l'Indice de $M = \begin{bmatrix} A & B \\ C & 0 \end{bmatrix}$

Le cœur de l'article (Théorème 4.2) fournit des bornes et des formules selon les conditions :

1. Cas général (A et BC singuliers) :

   • Si $ABC = BCA = 0$, l'indice est encadré par :
     $$\max\{i(A), 2i(BC) - 1\} \le i(M) \le \max\{i(A), 2i(BC) - 1\} + 2$$
   • Une formule fermée pour $M^D$ est fournie dans ce cas, impliquant les inverses de Drazin de $A$ et de $BC$ (ou $CB$).

2. Cas partiel ($ABC = 0$ mais pas nécessairement $BCA = 0$) :

   • Les bornes sont élargies :
     $$\max\{i(A), 2i(BC) - 1\} - 1 \le i(M) \le i(A) + 2i(BC) + 2$$
   • Une expression complexe pour $M^D$ est dérivée, faisant intervenir des sommes finies de puissances de $A^D$ et $(BC)^D$.

3. Cas particuliers :

   • Si $BC$ est inversible, $M$ est inversible si et seulement si $B$ et $C$ le sont. Sinon, $i(M)=1$.
   • Si $A$ est inversible et $BC=0$, des conditions précises sur l'inversibilité d'une matrice dérivée déterminent si $i(M)=1$ ou $i(M)=2$.

C. Applications aux Matrices de Graphes

L'article applique ces résultats aux matrices d'adjacence de graphes orientés (digraphes) :

• Graphes bipartis : Leur matrice d'adjacence est de la forme $\begin{bmatrix} 0 & B \\ C & 0 \end{bmatrix}$. Les résultats permettent de calculer l'indice et l'inverse de Drazin en fonction de $BC$.
• Étoiles liées et doubles étoiles : Les auteurs montrent comment leurs résultats s'appliquent aux matrices d'adjacence de structures de graphes spécifiques (linked stars, double star digraphs), confirmant la pertinence de la théorie pour les matrices structurées issues de la théorie des graphes.

4. Signification et Impact

• Complétude théorique : Ce travail comble un vide dans la littérature en fournissant des bornes explicites pour l'indice de Drazin des matrices anti-triangulaires, là où les résultats existants étaient soit inexistants, soit trop généraux.
• Efficacité computationnelle : En reliant $i(M)$ aux indices des blocs $A$ et $BC$ (qui sont souvent de plus petite taille ou plus simples à analyser), la méthode évite le calcul coûteux des puissances de la matrice globale $M$.
• Applications pratiques : La capacité à déterminer l'indice et l'inverse de Drazin pour des matrices de graphes structurés est cruciale pour l'analyse des chaînes de Markov, des réseaux de flux et des systèmes dynamiques discrets où ces matrices apparaissent naturellement.
• Précision : Les auteurs démontrent que leurs bornes sont "serrées" (sharp) en fournissant des exemples numériques où les inégalités deviennent des égalités.

En résumé, cet article propose une avancée significative dans la théorie des inverses généralisés en offrant un cadre robuste pour l'analyse des matrices anti-triangulaires, avec des applications directes et vérifiables en théorie des graphes.