저항 거리와 Kirchhoff 지수의 헤시안 행렬에 대한 이차형식 추정

초록

본 논문은 양의 가중치를 갖는 그래프의 라플라시안 행렬에 대한 무어-펜로즈 역행렬을 이용해 저항 거리와 Kirchhoff 지수의 헤시안 행렬을 이차형식으로 표현하고, 그 고유값에 대한 그래프 파라미터 기반의 상한·하한을 제시한다. 또한, 가중치가 유한 구간에 제한될 때 Kirchhoff 지수가 강하게 볼록함을 증명한다.

상세 분석

이 연구는 먼저 하이퍼-듀얼 수 체계를 도입하여 가중치가 실수와 작은 변동(ε+ε*)을 포함하는 그래프 G̃를 정의한다. 라플라시안 L의 무어-펜로즈 역행렬 L† 를 이용해 하이퍼-듀얼 라플라시안 L̃의 역행렬을 명시적으로 구하고, 이를 통해 저항 거리 Rij(G̃)와 Kirchhoff 지수 Kf(G̃)의 정확한 식을 도출한다. 핵심은 εε* 항의 계수를 추출함으로써 원래 실수 가중치 그래프 G의 저항 거리와 Kirchhoff 지수에 대한 2차 미분, 즉 헤시안 행렬의 이차형식을 얻는 것이다. 구체적으로, (Δx)ᵀ∇²Rij(x)Δx = 2(L†L₁L†L₁L†)_{ij} 와 (Δx)ᵀ∇²Kf(x)Δx = 2n·tr((L†)²L₁L†L₁) 로 표현한다. 여기서 L₁은 가중치 변동 Δx에 대응하는 실수 행렬이며, L†는 라플라시안의 무어-펜로즈 역행렬이다.

다음으로 저자들은 라플라시안의 스펙트럼 정보를 활용해 위 이차형식의 고유값을 그래프의 알제브라적 연결성(λ₂), 최대 라플라시안 고유값(λ_max), 정점 최대 차수(Δ_max) 및 바이하모닉 거리 등과 연결시킨 상한·하한을 제시한다. 예를 들어, ∇²Kf의 최소 고유값은 λ₂⁴/(n·Δ_max²) 이상의 하한을 갖고, 최대 고유값은 λ_max³·Δ_max/(n·λ₂) 이하의 상한을 가진다. 이러한 경계는 그래프 구조에 따라 강건한 볼록성 판단에 활용될 수 있다.

마지막으로, 가중치 벡터 x가