연속시간 구조 균형 모델의 행동 분석

초록

이 논문은 친밀도 행렬 X가 dX/dt = X² 로 진화하는 연속시간 모델을 연구한다. 일반적인 초기조건에서 시스템은 두 가지 궁극적 상태만을 갖는다: 모든 관계가 친화적으로 수렴하거나 두 개의 적대적 파벌이 형성된다. 저자들은 초기조건에 대한 폐쇄형 식을 도출해 파벌 구성을 예측하고, 대규모 무작위 네트워크에서는 초기 친화도 평균이 최종 상태를 결정한다는 결론을 제시한다.

상세 분석

본 연구는 구조적 균형 이론을 연속시간 미분방정식 형태로 전개한다. 친밀도 행렬 X∈ℝⁿˣⁿ은 대칭이며, 원소 xᵢⱼ는 i와 j 사이의 친밀도(양수) 혹은 적대감(음수)을 나타낸다. 시스템은 dX/dt = X² 로 정의되며, 이는 각 쌍의 관계 변화가 현재 관계들의 곱에 비례한다는 가정을 반영한다. 저자들은 먼저 X의 고유값 분해를 이용해 동역학을 고유공간 별로 분리한다. X가 대칭이므로 실수 고유값 λ₁≥…≥λₙ과 정규 직교 고유벡터 v₁,…,vₙ이 존재한다. 미분방정식에 고유분해를 대입하면 각 고유값은 λ̇ᵢ = λᵢ² 형태의 Riccati 방정식을 만족한다는 사실을 얻는다. 이 방정식은 초기값 λᵢ(0) 에 따라 두 가지 궤적만을 만든다. λᵢ(0)>0이면 λᵢ(t) = 1/(1/λᵢ(0) − t) 로 발산하여 t→1/λᵢ(0)⁻ 에서 무한대로 성장한다. 반대로 λᵢ(0)<0이면 λᵢ(t) = 1/(1/λᵢ(0) − t) 가 0으로 수렴한다. 따라서 가장 큰 양의 고유값 λ_max가 존재하면 전체 행렬은 해당 고유벡터 방향으로 급격히 확대되어 모든 원소가 양의 값으로 지배된다. 반면 양의 고유값이 없고 가장 큰 절댓값을 갖는 음의 고유값 λ_min<0만 존재하면 X(t) 은 시간에 따라 스케일이 감소하면서 고유벡터 v_min에 대한 부호가 보존된다. 이 경우 X(t) 은 두 개의 부호 구역으로 분리되며, v_min의 부호에 따라 노드들을 두 파벌로 나눈다. 저자들은 “generic initial condition”을 고유값이 중복되지 않는 경우로 정의하고, 이 경우 위 두 경우가 전부임을 정리한다. 핵심 정리는 초기 행렬의 스펙트럼이 양의 고유값을 포함하면 전역 친화 상태, 그렇지 않으면 두 파벌 상태가 발생한다는 것이다. 또한, 고유벡터 v_min 의 부호 패턴을 이용해 파벌 소속을 명시적으로 계산하는 식을 제시한다. 이 식은 v_min_i > 0 인 노드를 파벌 A, v_min_i < 0 인 노드를 파벌 B 로 지정한다. 마지막으로 무작위 초기조건을 가정한 경우, 행렬 원소가 평균 μ와 분산 σ² 를 갖는 정규분포를 따른다고 하면, μ>0 일 확률이 양의 고유값 존재 확률과 동일함을 대수적 확률론을 통해 증명한다. 따라서 대규모 네트워크에서는 초기 평균 친화도가 양이면 전역 화합, 음이면 양극화가 거의 확실해진다.