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

이 논문은 **더블 스타 방향 그래프 (double star digraphs)**와 연관된 구조화된 행렬에 대한 **일반화된 역행렬 (generalized inverses)**을 연구한 것입니다. 저자들은 코어 (core), 듀얼 코어 (dual core), 코어 EP (core EP), 듀얼 코어 EP (dual core EP) 역행렬뿐만 아니라, 모어 - 펜로즈 (Moore-Penrose) 역행렬과 코어 유형 역행렬을 결합한 복합 역행렬 (MPCEP, ∗CEPMP, GDC, GC) 에 대한 명시적인 블록 공식과 존재 조건을 도출했습니다.

주요 내용은 다음과 같습니다.

1. 연구 문제 (Problem)

• 배경: 선형 시스템 및 네트워크 시스템에서 특이 행렬 (singular matrices) 의 역행렬을 다루기 위해 드라진 역행렬 (Drazin inverse) 과 모어 - 펜로즈 역행렬 (Moore-Penrose inverse) 이 널리 사용됩니다. 최근에는 이들을 확장한 코어 역행렬, 코어 EP 역행렬 등 다양한 일반화된 역행렬이 제안되었습니다.
• 목표: 그래프 이론과 선형대수의 교차 영역인 더블 스타 방향 그래프에 대응하는 행렬들을 대상으로, 기존에 잘 연구된 역행렬뿐만 아니라 상대적으로 새로운 코어 EP 유형 역행렬과 복합 역행렬의 존재 조건과 명시적인 공식을 구하는 것입니다.
• 특수성: 더블 스타 그래프는 두 개의 중심 정점 (hub) 이 서로 양방향으로 연결되고, 각 중심 정점에 여러 개의 말단 정점 (periphery) 이 연결된 구조를 가집니다. 이 구조는 행렬의 블록 구조를 결정하며, 역행렬의 존재 여부와 형태에 중요한 영향을 미칩니다.

2. 방법론 (Methodology)

• 행렬의 표준형 (Canonical Form): 더블 스타 방향 그래프에 대응하는 임의의 행렬은 순열 유사성 (permutation similarity) 을 통해 특정 블록 구조의 표준형 (식 2.1) 으로 변환될 수 있음을 이용합니다. 이를 통해 일반적인 경우를 분석할 때 행렬의 순서나 가중치에 의존하지 않는 본질적인 성질만 고려합니다.
• 파라미터 정의: 행렬의 블록 구조에서 도출된 스칼라 값들 ($s, t, u, v, r, h, p, q, \zeta, \alpha, \beta$ 등) 을 정의하여 행렬의 랭크와 특이성 패턴을 분석합니다.
• 케이스별 분석: 그룹 역행렬 (group inverse) 이 존재하지 않는 경우 (즉, 지수 $i(M) > 1$인 경우) 를 중심으로 세 가지 상호 배타적인 구조적 경우로 나누어 분석합니다.
  • Case I: $x^T y = 0$이고 $z^T w = 0$인 경우 (지수 2).
  • Case II: $x^T y \neq 0$, $z^T w = 0$, 그리고 $\zeta = x^T y + ab \neq 0$인 경우 (지수 3).
  • Case III: $x^T y \neq 0$, $z^T w = 0$, 그리고 $\zeta = 0$인 경우 (지수 5, 멱영 행렬).
• 도구 활용:
  • 드라진 역행렬 ($M^D$): 각 케이스에 대해 이미 알려진 명시적 공식을 사용합니다.
  • $(1,3)$- 및 $(1,4)$-역행렬: 코어 EP 역행렬의 존재는 $M^k$의 $(1,3)$-역행렬 존재 여부와 직결되며, 이는 그람 행렬 (Gram matrix) 의 랭크 조건을 통해 판별합니다.
  • 풀 랭크 분해 (Full Rank Factorization) 및 쉘러 여분 (Schur Complement): 행렬의 랭크와 역행렬 존재성을 증명하는 데 사용됩니다.
  • 조합 공식: MPCEP, GDC 등 복합 역행렬은 $A^\dagger$와 $A^{\text{d}\circ}$ (또는 $A^{\text{d}\circ}$) 의 곱으로 정의된 공식을 직접 계산하여 유도합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

• 코어 및 듀얼 코어 역행렬: 그룹 역행렬과 모어 - 펜로즈 역행렬이 모두 존재할 때 (Case I, II 에서 $x^T y \neq 0, z^T w \neq 0$인 경우), 코어 역행렬 ($M^{\text{c}\circ}$) 과 듀얼 코어 역행렬 ($M^{\text{d}\circ}$) 의 명시적 블록 공식을 제시했습니다.
• 코어 EP 및 듀얼 코어 EP 역행렬: 그룹 역행렬이 존재하지 않는 경우 (지수 $>1$) 에 대해, Case I과 Case II에서 코어 EP 역행렬 ($M^{\text{d}\circ}$) 과 듀얼 코어 EP 역행렬 ($M^{\text{d}\circ}$) 이 존재하기 위한 필요충분조건과 명시적 공식을 도출했습니다.
  • 예: Case I 에서 코어 EP 역행렬 존재 조건은 $r = aa + w^*w \neq 0$ 및 $h = bb + y^*y \neq 0$입니다.
• 복합 역행렬 (Composite Inverses):
  • MPCEP ($M^{\dagger, \text{d}\circ}$) 과 $\ast$CEPMP ($M^{\text{d}\circ, \dagger}$) 역행렬에 대한 명시적 공식을 제시했습니다.
  • GDC (Generalized Dual Core) 와 GC (Generalized Core) 역행렬에 대한 공식도 도출했습니다.
  • 결과: 더블 스타 그래프 행렬의 경우, Case I 과 Case II 에서 MPCEP 와 $\ast$CEPMP 역행렬은 서로 일치하지 않으며, GDC 와 GC 역행렬도 일치하지 않음을 증명했습니다. (일치하려면 모든 벡터가 0 이어야 하는데, 이는 그래프 구조와 모순됨).
• Case III (멱영 행렬): $x^T y + ab = 0$인 경우, 드라진 역행렬이 0 이 되며, 이에 따라 모든 코어 EP 유형 역행렬과 복합 역행렬이 영행렬 (zero matrix) 이 됨을 보였습니다.

4. 의의 (Significance)

• 이론적 확장: 기존에 알려진 그룹 역행렬과 모어 - 펜로즈 역행렬의 결과를 넘어, 코어 EP 유형 역행렬과 복합 역행렬에 대한 체계적인 이론을 더블 스타 그래프라는 구체적인 구조에 적용했습니다.
• 명시적 해법 제공: 추상적인 존재성 증명에 그치지 않고, 그래프의 구조적 파라미터 ($x, y, z, w, a, b$ 등) 로 표현된 명시적인 블록 공식을 제공하여 실제 계산과 응용이 가능하도록 했습니다.
• 조건 명확화: 각 역행렬이 존재하기 위한 대수적 조건 (예: 특정 스칼라 값이 0 이 아니어야 함) 을 표 (Table 1) 로 정리하여, 연구자들이 특정 행렬 구조에 대해 어떤 역행렬을 사용할 수 있는지 빠르게 판단할 수 있는 기준을 마련했습니다.
• 응용 가능성: 네트워크 시스템, 제어 이론, 신호 처리 등에서 나타나는 구조화된 특이 행렬의 해석에 유용한 도구를 제공합니다.

요약하자면, 이 논문은 더블 스타 방향 그래프 행렬이라는 구체적인 클래스에 대해, 다양한 일반화된 역행렬들의 존재성을 완전히 분류하고 그 해를 명시적으로 구함으로써, 구조화된 행렬의 일반화된 역행렬 이론을 한 단계 발전시켰습니다.