On the Positivity of a Class of Cauchy-Like Matrices

기술 요약: 코시 유사 행렬(Cauchy-like Matrices)의 양의 준정부호성에 관하여

문제 정의
본 논문은 특정 클래스의 코시 유사 행렬 $C \in \mathbb{R}^{n \times n}$의 양의 준정부호성(positive semidefiniteness)을 조사한다. 행렬 원소는 다음과 같이 정의된다:
$$C_{ij} = \frac{r_i(k, l) + r_j(k, l)}{\lambda_i + \lambda_j}$$
여기서 $0 < \lambda_1 < \dots < \lambda_n$은 서로 다른 양의 실수이다. 계수 $r_i(k, l)$은 기본 대칭 다항식의 비율이다:
$$r_i(k, l) := \frac{\sigma^{(i)}_{n-k}}{\sigma^{(i)}_{n-l}}$$
여기서 $\sigma_m$은 변수 $\{\lambda_1, \dots, \lambda_n\}$에 대한 $m$차 기본 대칭 다항식을 나타내며, $\sigma^{(i)}_m$은 변수 $\lambda_i$를 제외한 동일한 다항식을 의미한다. 파라미터 $k$와 $l$의 범위는 $1$에서$n$까지이다.

본 연구의 동기는 컴패니언 형태(companion form)의 상태 행렬을 갖는 리아푸노프 방정식(Lyapunov equations)의 해를 분석하는 데서 기인한다. 본 논문은 $W_{ij} = \frac{f(\lambda_i) + f(\lambda_j)}{\lambda_i + \lambda_j}$ 형태의 행렬(Kwong 또는 anti-Loewner 행렬)이 이미 잘 연구되어 있음을 언급하면서도, 이와 대비되는 이 특정 듀얼 클래스의 행렬들은 문헌에서 크게 소외되어 왔음을 지적한다.

방법론
증명 전략은 세 가지 주요 단계, 즉 변수 변환, 확장된 특이 행렬(augmented singular matrix)의 구성, 그리고 주 부행렬(principal minor)에 기반한 귀납적 논증으로 구성된다.

1. 역수 변수 변환 (Reciprocal Variable Transformation):
   문제는 역수 변수 $x_i = 1/\lambda_i$를 도입함으로써 단순화된다. 대각 행렬 $X = \text{diag}(x_1, \dots, x_n)$와 $D_{l-1} = \text{diag}(e^{(1)}_{l-1}(x), \dots, e^{(n)}_{l-1}(x))$를 이용한 대각 합동 변환(diagonal congruence transformation)을 통해, 원래의 행렬 $C$가 양의 준정부호인 것은 두 파라미터 가족 행렬 $A^{(p,q)}_n(x)$가 양의 준정부호인 것과 필요충분조건임이 밝혀진다. 이 새로운 행렬의 원소는 다음과 같다:
   $$[A^{(p,q)}_n(x)]_{ij} = \frac{e^{(i)}_p(x)e^{(j)}_q(x) + e^{(j)}_p(x)e^{(i)}_q(x)}{x_i + x_j}$$
   여기서 $p = k-1$이고 $q = l-1$이다.

2. 확장 행렬 및 특이성 (Augmented Matrix and Singularity):
   $A^{(p,q)}_n(x)$의 양의 성질을 증명하기 위해, 저자는 크기가 $(n+1) \times (n+1)$인 특이 확장 행렬 $H^{(p,q)}_n(x)$를 구성한다:
   $$H^{(p,q)}_n(x) = \begin{bmatrix} s_{p,q}(x) & v_{p,q}^\top \\ v_{p,q} & A^{(p,q)}_n(x) \end{bmatrix}$$
   여기서 $v_{p,q}$는 기본 대칭 다항식 벡터들의 아다마르 곱(Hadamard product)이며, $s_{p,q}(x)$는 이러한 다항식들의 곱의 부호가 있는 합으로 정의된 스칼라이다.

$H^{(p,q)}_n(x)$의 특이성은 코시 커널(Cauchy kernel)과 관련된 생성 함수 항등식을 사용하여 확립된다. 구체적으로, 저자는 표준 코시 행렬의 역행렬로부터 유도된 벡터 $w$를 정의하고, $H^{(p,q)}_n(x)$가 $[-\gamma_{p,q}, w^\top]^\top$라는 비자명한 커널 벡터를 가짐을 보여준다. 여기서 $\gamma_{p,q}$는 $n, p, q$의 기우성(parity)에 의존하는 스칼라이다. 이는 단순 극(simple poles)을 가진 엄격한 고유 유리 함수(strictly proper rational function)가 극에서의 값에 의해 유일하게 결정된다는 보조정리(Lemma) 2.1에 기초한다.

3. 주 부행렬을 통한 귀납적 증명 (Inductive Proof via Principal Minors):
   $H^{(p,q)}_n(x)$(그리고 결과적으로 $A^{(p,q)}_n(x)$)의 양의 준정부호성은 주 부행렬 판정법을 사용하여 $n$에 대한 귀납법으로 증명된다.

• 기초 단계 (Base Case): $n=1$인 경우 검증되었다.
• 귀납 단계 (Inductive Step): 저자는 $H^{(p,q)}_n(x)$의 모든 진 주 부행렬(proper principal minors)이 비음수임을 입증한다.
  • 인덱스 0(좌상단)을 포함하는 부행렬의 경우, 행렬은 더 작은 확장 행렬들의 합(비음수 계수에 의해 스케일링됨)과 나머지 항 $R_{p,q}$로 분해된다. $R_{p,q}$의 비음수성은 $R_{p,q}$가 조합적 전개에서 비음수 계수를 가진 단항식들로 구성됨을 보임으로써 확립된다.
  • 인덱스 0을 포함하지 않는 부행렬(즉, $A^{(p,q)}_n(x)$의 부분 행렬)의 경우, 분해는 더 작은 규모의 $A$가 양의 준정부호라는 귀납 가설에 의존한다.
• 행렬식 분석 (Determinant Analysis): 행렬이 특이하므로(행렬식이 0이므로), 증명은 좌상단 원소에 대응하는 여인수(cofactor)를 분석하는 것으로 마무리된다. 역행렬의 랭크-1 구조(rank-1 structure)로부터 유도된 수반 행렬(adjugate matrix)을 사용하여, $\det(A^{(p,q)}_n(x)) \geq 0$임을 보인다.

주요 기여 및 결과

• 주 정리 (Main Theorem): 본 논문은 모든 서로 다른 양의 $\lambda_i$와 모든 $1 \leq k, l \leq n$에 대하여 행렬 $C$가 양의 준정부호임을 증명한다.
• 축소 (Reduction): 문제는 대각 합동을 통해 $A^{(p,q)}_n(x)$의 양의 성질 문제로 축소된다.
• 스칼라 양의 성질 (Scalar Positivity): 새로운 스칼라 양 $s_{p,q}(x)$가 도입되었으며, 양의 $x_i$에 대해 비음수임이 증명되었다. 이는 $s_{p,q}(x)$가 비음수 계수를 가진 항들의 합이라는 조합적 전개를 통해 달성된다.
• 확장 행렬 기법 (Augmented Matrix Technique): 본 논문은 특이 확장 행렬 $H^{(p,q)}_n(x)$를 도입하고, 그 특유의 커널 구조를 활용하여 확장된 시스템의 특이성과 부분 블록 $A^{(p,q)}_n(x)$의 양의 성질 사이의 간극을 메운다.

의의
본 논문은 이 특정 클래스의 코시 유사 행렬(잘 알려진 Kwong 행렬과 듀얼 관계에 있는)에 관한 문헌의 공백을 채우려는 첫 번째 시도로 자리매김한다. 그 의의는 컴패니언 형태의 상태 행렬을 갖는 리아푸노프 방정식의 분석과 연결되는 이 행렬들의 양의 준정부호성을 확립하는 데 있다. 증명 기법은 $s_{p,q}$와 나머지 항 $R_{p,q}$에 대한 명시적인 양의 전개를 제시하여 전체 두 파라미터 가족에 대한 귀납적 논증을 완결할 수 있다는 점에서 주목할 만하다. 본 연구는 고전적인 도구들(코시 행렬, 대칭 다항식, 생성 함수)에 의존하면서도, 이를 새로운 구조적 맥락에 적용하여 양의 성질 문제를 해결하였다.