행렬 에너지로 보는 그래프 위상 복잡성

초록

본 논문은 그래프의 인접 행렬에 대한 행렬 에너지를 새로운 위상 복잡성 지표로 제안한다. 제시된 복잡도 측정값이 Weyuker 기준을 모두 만족함을 증명하고, 그래프 밀도 공간에서 ‘P점’이라는 전이점을 정의하여 연결성 구간을 구분한다.

상세 분석

논문은 먼저 그래프 G(V,E)의 인접 행렬 A에 대해 행렬 에너지 Eₘ(A)=∑|λᵢ| (λᵢ는 A의 고유값) 혹은 특이값 합으로 정의한다. 기존 연구에서 행렬 에너지는 화학 그래프의 안정성 지표로 활용되었지만, 여기서는 시스템 복잡성의 정량적 척도로 재해석한다. 저자는 Eₘ이 그래프의 전반적인 연결 패턴을 포괄적으로 반영한다는 점에 주목한다. 구체적으로, 완전 그래프(Kₙ)에서는 Eₘ=n·(n‑1)으로 최대값을, 빈 그래프에서는 0에 수렴한다. 또한, Eₘ은 그래프 밀도 d=2|E|/(n·(n‑1))와 거의 단조 증가 관계에 있음을 실험과 이론적 경계(예: McClelland 부등식)로 증명한다.

복잡성 지표로서의 타당성을 검증하기 위해 Weyuker 기준 9가지를 하나씩 적용한다. (1) 비동등성: 서로 다른 구조를 가진 두 그래프는 Eₘ 값이 다르게 나타난다. (2) 동등성: 동형 그래프는 동일한 Eₘ을 갖는다. (3) 복합성 증가: 그래프에 새 노드·엣지를 추가하면 Eₘ이 비감소한다. (4) 비선형성: 두 그래프의 합성 그래프의 Eₘ은 개별 Eₘ의 단순 합보다 크게 변한다. (5) 무작위성: 동일한 노드 수·엣지 수라도 무작위 연결 방식에 따라 Eₘ 분포가 넓다. (6) 재현성: 동일한 입력에 대해 항상 같은 Eₘ을 반환한다. (7) 독립성: Eₘ은 그래프의 다른 지표(예: 평균 경로 길이, 클러스터링 계수)와 상관관계가 낮다. (8) 가변성: 매개변수(노드 수, 엣지 수)의 미세 변화가 Eₘ에 미치는 영향이 비선형이다. (9) 계산 가능성: 고유값 계산을 통한 Eₘ 추정은 O(n³) 시간 복잡도로 실용적이다.

특히 저자는 ‘P점(P‑point)’이라는 개념을 도입한다. P점은 그래프 밀도 공간에서 Eₘ이 평균 엣지 수와 동일해지는 임계 밀도 dₚ로 정의된다(즉, Eₘ≈|E|). 이 점을 기준으로 세 가지 연결성 구간이 구분된다: (①) 저밀도 구간(d<dₚ)에서는 Eₘ이 엣지 수에 비해 선형적으로 증가하며, 구조적 다양성이 크다; (②) 중간 구간(d≈dₚ)에서는 Eₘ이 급격히 상승해 복잡도가 급변하고, 작은 구조적 변화가 큰 에너지 변동을 초래한다; (③) 고밀도 구간(d>dₚ)에서는 Eₘ이 포화 상태에 가까워져 추가 엣지가 복잡도에 미치는 영향이 감소한다. 실험에서는 무작위 그래프, 스몰월드, 스케일프리 모델을 대상으로 P점 위치가 그래프 규모 n에 따라 로그‑선형 관계를 보이며, 유한 크기 그래프에서만 의미 있는 전이 현상이 나타난다.

결과적으로 행렬 에너지는 그래프의 전반적 연결성을 한 눈에 파악할 수 있는 정량적 지표이며, Weyuker 기준을 만족함으로써 소프트웨어·시스템 복잡성 측정에 이론적 정당성을 확보한다. P점 개념은 복잡성 전이 현상을 시각화하고, 설계 단계에서 목표 복잡도 구간을 선택하는 데 실용적인 가이드라인을 제공한다.