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

这是一份关于论文《CORE EP, DUAL CORE EP AND COMPOSITE GENERALIZED INVERSES FOR A CLASS OF STRUCTURED MATRICES》（一类结构矩阵的 Core EP、对偶 Core EP 及复合广义逆）的详细技术总结。

1. 研究问题 (Problem)

本文主要研究一类与双星有向图 (Double Star Digraphs) 相关联的块结构矩阵的广义逆性质。具体而言，作者关注的是在群逆 (Group Inverse) 不存在（即矩阵的 Drazin 指数 $i(A) > 1$）的情况下，如何构造和表征以下类型的广义逆：

• Core 逆 (Core Inverse) 和 对偶 Core 逆 (Dual Core Inverse)：通常要求矩阵群逆存在。
• Core EP 逆 (Core EP Inverse) 和 对偶 Core EP 逆 (Dual Core EP Inverse)：针对指数大于 1 的矩阵的推广。
• 复合广义逆 (Composite Generalized Inverses)：结合 Moore-Penrose 逆与 Core 类逆的复合形式，包括：
  • Moore-Penrose–Core EP 逆 (MPCEP)
  • *Core EP–Moore-Penrose 逆 (∗CEPMP)
  • 广义对偶 Core 逆 (GDC)
  • 广义 Core 逆 (GC)

研究的核心挑战在于，双星有向图关联的矩阵具有特定的稀疏块结构，且在某些参数条件下（如 $x^T y = 0$ 或 $z^T w = 0$）会失去群逆的存在性，导致传统的广义逆公式失效。作者旨在为这些非平凡情况推导显式的分块公式和存在性判据。

2. 方法论 (Methodology)

作者采用了一套系统的代数分析框架，主要包含以下步骤：

1. 模型构建与标准化：

   • 定义双星有向图 $S(m+1),(n+1)$，由两个中心顶点 $u, v$ 及其各自的叶子节点组成，中心间有双向边。
   • 将关联矩阵 $M$ 表示为特定的 $(m+n+2) \times (m+n+2)$ 分块矩阵形式（公式 2.1）。
   • 利用置换相似性 (Permutation Similarity) 证明，任何具有相同加权结构的矩阵在广义逆性质上是等价的，因此只需分析标准型 $M$。

2. 参数化与分类讨论：

   • 引入关键标量参数（如 $s, u, t, v$ 为 Gram 量，$x^T y, z^T w$ 为耦合项，以及 $\zeta, \alpha, \beta, r, h, p, q$ 等组合量）。
   • 根据群逆存在的条件（$x^T y \neq 0$ 且 $z^T w \neq 0$），将问题分为三种互斥情况：
     • Case I: $x^T y = 0 = z^T w$ (指数 $i(M)=2$)。
     • Case II: $x^T y \neq 0 = z^T w$ 且 $\zeta \neq 0$ (指数 $i(M)=3$)。
     • Case III: $x^T y \neq 0 = z^T w$ 且 $\zeta = 0$ (指数 $i(M)=5$，此时 Drazin 逆为零)。
   • 重点分析 Case I 和 Case II，因为 Case III 导致矩阵幂零且 Drazin 逆为零，使得相关广义逆退化为零矩阵。

3. 工具应用：

   • Drazin 逆 ($M^D$)：利用已知的显式公式。
   • Moore-Penrose 逆 ($M^\dagger$)：利用满秩分解和 Gram 矩阵的可逆性条件。
   • $(1,3)$-逆与 $(1,4)$-逆：利用 Proposition 2.1，通过检查 $M^k$ 的 Gram 矩阵 ($(M^k)^* M^k$ 或 $M^k (M^k)^*$) 的秩条件来确定存在性。
   • 核心公式：
     • Core EP 逆：$M^{\text{d}\circ} = M^D M^k (M^k)^{(1,3)}$
     • 对偶 Core EP 逆：$M^{\text{d}\circ} = (M^k)^{(1,4)} M^k M^D$
     • 复合逆：通过矩阵乘法组合 $M^\dagger$ 与 $M^{\text{d}\circ}$ 或 $M^{\text{d}\circ}$ 与 $M^\dagger$ 得到。

4. 显式推导：

   • 针对每种情况，计算 $M^k$ 及其 Gram 乘积。
   • 构造 $(1,3)$ 和 $(1,4)$ 逆的显式分块形式。
   • 代入核心公式，通过分块矩阵乘法推导出最终广义逆的显式表达式。

3. 关键贡献 (Key Contributions)

1. 建立了双星图矩阵的广义逆分类理论：
   首次系统地针对双星有向图关联矩阵，在群逆不存在（$i(M) > 1$）的情况下，完整刻画了 Core EP 和对偶 Core EP 逆的存在性与结构。

2. 推导了显式的分块公式：
   论文给出了所有目标广义逆（Core, Dual Core, Core EP, Dual Core EP, MPCEP, ∗CEPMP, GDC, GC）在 Case I 和 Case II 下的显式分块矩阵表达式。这些公式完全用原始矩阵的块参数（$x, y, z, w, a, b$）及其导出的标量参数（$s, t, u, v, \zeta, \alpha, \beta, r, h, p, q$）表示。

3. 提供了精确的存在性判据：
   明确了每种广义逆存在的代数条件。例如，Core EP 逆的存在不仅依赖于 Moore-Penrose 逆的存在（即 $s, u, t, v \neq 0$），还依赖于特定的组合参数（如 Case I 中的 $r, h \neq 0$；Case II 中的 $h, \beta \neq 0$）。

4. 揭示了复合逆的结构特性：
   证明了对于双星图矩阵，MPCEP 逆与 ∗CEPMP 逆、GDC 逆与 GC 逆在 Case I 和 Case II 中永远不相等（除非退化为零向量，这与双星图定义矛盾）。这揭示了此类结构矩阵在广义逆复合运算下的非对称性。

4. 主要结果 (Results)

• 存在性条件总结：

  • Moore-Penrose 逆 ($M^\dagger$)：存在当且仅当 $s, u, t, v \neq 0$。
  • Core EP 逆 ($M^{\text{d}\circ}$)：
    • Case I: 需 $r \neq 0$ 且 $h \neq 0$。
    • Case II: 需 $h \neq 0$ 且 $\beta \neq 0$。
  • 对偶 Core EP 逆 ($M^{\text{d}\circ}$)：
    • Case I: 需 $p \neq 0$ 且 $q \neq 0$。
    • Case II: 需 $q \neq 0$ 且 $\alpha \neq 0$。
  • 复合逆：其存在性取决于对应 Core EP 逆和 Moore-Penrose 逆的同时存在。

• 公式形式：
  所有推导出的广义逆矩阵均保持了与原始矩阵 $M$ 相似的稀疏分块结构，非零元素主要集中在特定的对角块和耦合块中，且系数由上述标量参数的倒数构成。

• Case III 的特殊性：
  当 $\zeta = 0$ 时，矩阵 $M$ 的 Drazin 指数为 5 且 $M^D = 0$。此时，所有基于 Drazin 逆定义的广义逆（Core EP, Dual Core EP 等）均为零矩阵。

5. 意义与影响 (Significance)

1. 理论扩展：
   本文将广义逆理论从常规的群逆存在情形（指数 $\le 1$）扩展到了指数大于 1 的特定结构矩阵，丰富了 Core EP 类逆在图论矩阵中的应用理论。

2. 计算效率：
   通过利用双星图的稀疏结构和分块特性，作者避免了通用的数值算法，提供了解析解 (Closed-form expressions)。这对于需要快速计算或符号推导的网络系统分析（如控制理论、信号处理中的稀疏网络）具有重要价值。

3. 结构洞察：
   研究揭示了图结构参数（如中心与叶节点的连接权重）如何直接影响广义逆的存在性和数值稳定性。例如，某些耦合项为零会导致指数升高，从而改变广义逆的性质。

4. 应用潜力：
   双星图模型常见于网络拓扑分析。这些显式公式可用于解决此类网络中的奇异动态系统问题、约束最小二乘问题以及谱分解问题，特别是在系统矩阵不可逆或指数较高的情况下。

综上所述，该论文通过严谨的代数推导，为双星有向图关联矩阵提供了一套完整的广义逆工具箱，填补了高指数结构矩阵在 Core EP 类逆研究中的空白。