Core EP, Dual Core EP and Composite Generalized Inverses for a Class of Structured Matrices

Título: Inversos Generalizados Core-EP, Dual Core e Compostos para uma Classe de Matrizes Estruturadas

Autores: Faustino Maciala, C. Mendes Araújo e Pedro Patrício.

1. Problema e Contexto

O artigo aborda o estudo de inversos generalizados para uma classe específica de matrizes associadas a digrafos de estrela dupla (double star digraphs). Embora os inversos de Moore-Penrose ($A^\dagger$) e Drazin ($A^D$) sejam ferramentas padrão para sistemas singulares e decomposições espectrais, existem generalizações mais recentes e refinadas, como os inversos core, dual core, core EP e dual core EP, bem como inversos compostos (como MPCEP, $\ast$CEPMP, GDC e GC).

O problema central é determinar as condições de existência e obter fórmulas explícitas em blocos para esses diversos tipos de inversos quando aplicados a matrizes que representam a estrutura de um digrafo de estrela dupla. Essas matrizes possuem uma estrutura de blocos específica que reflete a conexão entre dois componentes de estrela através de seus vértices centrais.

2. Metodologia

Os autores utilizam uma abordagem algébrica baseada na estrutura de blocos das matrizes associadas ao digrafo $S(m+1),(n+1)$. A metodologia segue os seguintes passos:

1. Representação Canônica: As matrizes associadas ao digrafo são reduzidas, via similaridade de permutação, a uma forma canônica de blocos (Equação 2.1), definida por vetores $x, y, z, w$ e escalares não nulos $a, b$.
2. Classificação Estrutural: A análise é dividida em três casos mutuamente exclusivos, baseados no comportamento do índice de Drazin e na existência do inverso de grupo ($M^\#$):
   • Caso I: $x^T y = 0$ e $z^T w = 0$ (Índice de Drazin = 2).
   • Caso II: $x^T y \neq 0$, $z^T w = 0$ e $\zeta = x^T y + ab \neq 0$ (Índice de Drazin = 3).
   • Caso III: $x^T y \neq 0$, $z^T w = 0$ e $\zeta = 0$ (Índice de Drazin = 5, matriz nilpotente).
3. Técnicas de Redução: Para cada caso, os autores utilizam:
   • Fatoração de Rango Completo: Para analisar a existência de inversos $(1,3)$ e $(1,4)$.
   • Complementos de Schur e Produtos Gram: Para determinar as condições de invertibilidade de produtos como $M^k (M^k)^*$ e $(M^k)^* M^k$.
   • Propriedades de Inversos Compostos: Aplicação de lemas que relacionam os inversos core EP e dual core EP com o inverso de Drazin e inversos $(1,3)$ ou $(1,4)$.
4. Derivação de Fórmulas: Cálculo explícito das matrizes resultantes através de multiplicação de blocos, expressando os resultados em termos dos parâmetros estruturais definidos no artigo (como $s, t, u, v, r, h, \alpha, \beta, \zeta$).

3. Principais Contribuições e Resultados

O artigo fornece uma caracterização completa e fórmulas fechadas para várias classes de inversos generalizados:

• Inversos Core e Dual Core:

  • Estabelecem que a existência desses inversos depende da existência simultânea do inverso de Moore-Penrose e do inverso de grupo.
  • Fornecem fórmulas explícitas para o Caso onde o inverso de grupo existe (condição: $x^T y \neq 0$ e $z^T w \neq 0$).

• Inversos Core EP e Dual Core EP (Seções 4):

  • Analisam os casos onde o inverso de grupo não existe (Casos I e II).
  • Derivam critérios de existência baseados em parâmetros escalares derivados da estrutura (ex: $r = aa + w^*w \neq 0$, $h = bb + y^*y \neq 0$).
  • Apresentam fórmulas explícitas para $M^{\text{d}\circ}$ (Core EP) e $M^{\text{d}\circ\dagger}$ (Dual Core EP) para cada caso estrutural.

• Inversos Compostos (Seções 5 e 6):

  • MPCEP e $\ast$CEPMP: Inversos que combinam Moore-Penrose com Core EP e Dual Core EP. O artigo prova que, para digrafos de estrela dupla, esses dois inversos compostos nunca coincidem, a menos que a estrutura do digrafo seja trivial (vetores nulos).
  • GDC (Generalized Dual Core) e GC (Generalized Core): Novas combinações de inversos. São fornecidas fórmulas de blocos e condições de existência para estes inversos nos Casos I e II.

• Tabela de Resumo (Seção 7):

  • O artigo consolida todas as condições de existência em uma tabela comparativa, mapeando quais parâmetros estruturais devem ser não nulos para garantir a existência de cada tipo de inverso nos diferentes casos de índice de Drazin.

4. Significância e Impacto

• Avanço Teórico: O trabalho preenche lacunas na teoria de inversos generalizados para matrizes com estrutura de grafos específicos, estendendo resultados conhecidos para classes mais complexas de inversos (Core EP e suas variantes compostas).
• Aplicabilidade Computacional: Ao fornecer fórmulas explícitas em blocos, o artigo permite o cálculo direto e eficiente desses inversos sem a necessidade de algoritmos numéricos genéricos e custosos, o que é crucial para sistemas de grande escala modelados por tais grafos.
• Unificação de Conceitos: Demonstra como diferentes generalizações de inversos (Drazin, Moore-Penrose, Core, EP) interagem em estruturas matriciais específicas, oferecendo um quadro unificado para análise de singularidade e invertibilidade.
• Clareza Estrutural: A distinção clara entre os três casos estruturais (baseados na nulidade dos produtos internos dos vetores de arestas) oferece um guia prático para pesquisadores que trabalham com matrizes de grafos estrela e suas variações.

Em suma, o artigo é uma contribuição rigorosa para a álgebra linear e a teoria de grafos, fornecendo ferramentas analíticas precisas para a manipulação de matrizes singulares estruturadas associadas a digrafos de estrela dupla.