On the Drazin Index of an Anti-Triangular Block Matrix

Titolo: Sull'indice di Drazin di una matrice a blocchi anti-triangolare

Autori: Faustino Maciala, Xavier Mary, C. Mendes Araújo, Pedro Patrício.

1. Il Problema

L'indice di Drazin è un invariante fondamentale nell'analisi delle matrici singolari e dei loro inversi generalizzati. Mentre la teoria per le matrici a blocchi triangolari è ben consolidata (con risultati noti che legano l'indice della matrice intera agli indici dei blocchi diagonali), la teoria corrispondente per le matrici a blocchi anti-triangolari è meno sviluppata.

Il paper si concentra su matrici della forma:
$$M = \begin{bmatrix} A & B \\ C & 0 \end{bmatrix}$$
dove $A, B, C$ sono blocchi di dimensioni conformi. L'obiettivo principale è determinare l'indice di Drazin $i(M)$ e fornire una rappresentazione esplicita dell'inverso di Drazin $M^D$ sotto specifiche vincoli algebrici sui blocchi. La sfida risiede nel fatto che calcolare l'indice direttamente tramite i ranghi delle potenze ($rank(M^k)$) è computazionalmente oneroso per matrici grandi; pertanto, è necessario trovare limiti (bound) e formule chiuse basate sugli indici dei blocchi costituenti ($i(A)$ e $i(BC)$).

2. Metodologia

Gli autori adottano un approccio basato su decomposizioni additive e proprietà degli inversi di von Neumann. La metodologia si articola nei seguenti punti chiave:

• Decomposizione Additiva e Lemma di Cline: Viene utilizzata una fattorizzazione della matrice $M$ in prodotti di matrici più semplici ($M = SR$) per applicare il Lemma di Cline, che stabilisce relazioni tra l'indice di $AB$e$BA$. Tuttavia, gli autori notano che l'applicazione ripetuta del Lemma di Cline genera disuguaglianze che non permettono un controllo efficace dell'indice.
• Invarianza dell'Indice e Polinomi Minimi: Viene introdotta una tecnica innovativa che collega l'indice di $M$ alle proprietà di invarianza dell'indice e del polinomio minimo di espressioni della forma $A^2A^- + I - AA^-$, dove $A^-$ è un inverso di von Neumann di $A$.
• Analisi di Blocchi Specifici: Si studiano casi particolari in cui i blocchi soddisfano condizioni di annullamento (es. $ABC=0$) o ortogonalità. Vengono analizzate le somme ortogonali di matrici per determinare l'indice della somma come il massimo degli indici dei summandi.
• Uso di Inversi Generalizzati: Il lavoro si basa pesantemente sulle proprietà degli inversi di von Neumann ($A\{1\}$), dell'inverso di gruppo e dell'inverso di Drazin, dimostrando che certi indici sono invarianti rispetto alla scelta specifica dell'inverso di von Neumann.

3. Contributi Chiave e Risultati

A. Relazioni Generali tra Indici

Il paper stabilisce che l'indice di Drazin di matrici della forma $I - AB$ è uguale a quello di $I - BA$. Inoltre, viene dimostrato che per una matrice singolare $A$, l'indice di $A^2A^- + I - AA^-$ è invariante rispetto alla scelta di $A^-$ e vale esattamente $i(A) - 1$. Questo permette di ridurre il problema dell'indice di $M$ a quello di matrici con indice inferiore.

B. Limiti per l'Indice di $M$

Sotto diverse ipotesi sui blocchi, gli autori derivano limiti inferiori e superiori per $i(M)$:

1. Caso Generale con $ABC = BCA = 0$:
   Se i blocchi soddisfano condizioni di annullamento incrociato, l'indice è strettamente controllato:
   $$\max\{i(A), 2i(BC) - 1\} \le i(M) \le \max\{i(A), 2i(BC) - 1\} + 2$$
   In questo caso, viene fornita una formula chiusa esplicita per $M^D$.

2. Caso con $ABC = 0$ (ma non necessariamente $BCA=0$):
   I limiti si allargano leggermente:
   $$\max\{i(A), 2i(BC) - 1\} - 1 \le i(M) \le i(A) + 2i(BC) + 2$$
   Viene fornita una rappresentazione complessa per $M^D$ che coinvolge somme finite di potenze di $A^D$ e $(BC)^D$.

3. Caso di Matrici Bipartite ($A=0$):
   Per matrici della forma $\begin{bmatrix} 0 & B \\ C & 0 \end{bmatrix}$, l'indice soddisfa:
   $$2i(BC) - 1 \le i(M) \le 2i(BC) + 1$$
   Se $BC$ è non singolare, $M$ è invertibile se e solo se $B$ e $C$ lo sono; altrimenti, $M$ è invertibile di gruppo (indice 1).

C. Condizioni per l'Invertibilità di Gruppo

Vengono fornite condizioni necessarie e sufficienti affinché $M$ sia invertibile di gruppo (indice $\le 1$), basate sulla non singolarità di certi blocchi Schur o combinazioni di proiettori associati agli inversi di von Neumann.

D. Applicazioni alle Matrici di Grafi

Il paper dimostra l'applicabilità dei risultati teorici alle matrici di adiacenza di grafi diretti (digraphs):

• Grafi Bipartiti: Le matrici di adiacenza sono naturalmente anti-triangolari. I risultati forniscono limiti precisi per l'indice di Drazin in base alla struttura del sottografo definito dai blocchi $B$ e $C$.
• Linked Stars e Double Stars: Vengono analizzati grafi strutturati come "stelle collegate" e "doppie stelle", mostrando come le condizioni algebriche sui blocchi (es. invertibilità di $BC$) determinino direttamente l'indice di Drazin della matrice di adiacenza associata.

4. Significato e Impatto

Questo lavoro colma una lacuna significativa nella teoria degli inversi generalizzati, estendendo i risultati noti dalle matrici triangolari a quelle anti-triangolari.

• Precisione: Fornisce limiti stretti per l'indice di Drazin, risolvendo l'ambiguità presente nella letteratura precedente dove spesso si conoscevano solo limiti superiori molto larghi.
• Calcolabilità: Le formule chiuse per $M^D$ permettono il calcolo effettivo dell'inverso senza dover calcolare le potenze elevate della matrice intera, sfruttando invece le proprietà dei blocchi.
• Interdisciplinarità: La connessione con la teoria dei grafi dimostra che questi risultati non sono puramente astratti, ma hanno rilevanza pratica nell'analisi di sistemi dinamici, processi stocastici e reti complesse rappresentate da matrici strutturate.

In sintesi, il paper offre un quadro teorico robusto e strumenti computazionali pratici per l'analisi dell'indice di Drazin in una classe di matrici strutturate di grande importanza applicativa.