의사프랙탈 스케일프리 웹의 투테 다항식 연구

초록

본 논문은 의사프랙탈 스케일프리 웹(PSW)의 투테 다항식에 대한 재귀식을 유도하고, 이를 이용해 PSW의 스패닝 트리 개수와 전단말 신뢰도를 정확히 계산한다. 또한 같은 규모의 시에르핀스키 고갱과 비교하여 무작위 간선 파손에 대한 내구성을 분석한다.

상세 분석

투테 다항식 (T(G;x,y))은 그래프 (G)의 구조적 특성을 두 변수로 포괄하는 강력한 불변량으로, 스패닝 트리 수, 스패닝 포레스트 수, 색칠 가능성, 흐름 다항식 등 다양한 수량을 특수화한다. 일반 그래프에 대해 투테 다항식을 계산하는 문제는 NP‑hard이지만, 특정 자기유사 구조에서는 효율적인 알고리즘을 설계할 수 있다. 본 연구는 이러한 점에 착안하여, 의사프랙탈 스케일프리 웹(PSW)의 생성 과정을 상세히 분석하고, 그 재귀적 특성을 이용해 투테 다항식의 정확한 재귀식을 도출한다.

PSW는 초기 삼각형 (G_0)에서 시작해 매 단계마다 기존 간선마다 새로운 정점을 삽입하고, 그 정점을 양쪽 끝 정점과 연결하는 방식으로 성장한다. 이 과정은 각 단계에서 그래프가 3배로 확장되면서도 자기유사성을 유지한다는 특징을 가진다. 저자들은 이러한 구조적 특징을 활용해, 그래프 (G_{n+1})을 (G_n)의 세 복제와 그 사이의 연결 간선으로 표현함으로써, 투테 다항식에 대한 다음과 같은 두 개의 핵심 재귀식을 얻는다.

1. (T_{n+1}(x,y)=f\bigl(T_n(x,y),x,y\bigr)) – 여기서 (f)는 복제된 세 부분 그래프와 교차 간선의 기여를 합산하는 다항식이다.
2. 초기조건 (T_0(x,y)=x^2+ x + y) (삼각형에 대한 투테 다항식)으로부터 모든 단계의 다항식을 순차적으로 계산할 수 있다.

이 재귀식은 각 단계마다 다항식의 차수가 선형적으로 증가함에도 불구하고, 연산 복잡도가 단계 수에 대해 로그 수준으로 축소됨을 의미한다. 즉, 전체 그래프가 (N)개의 정점을 가질 때, 투테 다항식 계산에 필요한 시간은 (O(\log N))이다. 이는 일반적인 NP‑hard 문제와는 대조적인 결과이며, PSW와 같은 자기유사 네트워크에 대한 효율적인 분석 가능성을 보여준다.

투테 다항식에서 (x=1) 또는 (y=1) 으로 특수화하면 각각 스패닝 트리 수와 스패닝 포레스트 수를 얻는다. 저자들은 재귀식을 이용해 (x=1)을 대입한 경우의 식을 정리하고, 이를 통해 PSW의 스패닝 트리 개수를 정확히 구한다. 결과적으로, (τ_n) (PSW 단계 (n)의 스패닝 트리 수)는 (τ_{n}=3^{(3^{n}-1)/2})와 같은 지수형식으로 표현된다. 이는 기존에 전술된 복잡한 행렬식 계산 없이도 간단히 얻을 수 있는 새로운 접근법이다.

전단말 신뢰도 (R(G,p))는 각 간선이 독립적으로 성공 확률 (p)를 가질 때, 네트워크 전체가 연결된 상태를 유지할 확률이다. 투테 다항식과의 관계 (R(G,p)=p^{|V|-1}(1-p)^{|E|-|V|+1}T\bigl(G;1,\frac{1}{1-p}\bigr))를 이용하면, 위에서 얻은 재귀식을 그대로 신뢰도 함수에 적용할 수 있다. 저자들은 이를 통해 PSW의 신뢰도 (R_n(p))를 단계별로 정확히 구하고, 수치적으로 (p)가 0.5~0.9 구간에서 시에르핀스키 고갱(Sierpinski gasket, SG)보다 낮은 값을 보임을 확인한다. SG는 동일한 정점·간선 수를 가지지만, 규칙적인 격자 구조를 가지고 있어 간선 파손에 대한 복원력이 더 높다. 이는 “스케일프리 네트워크는 노드 제거에 강하다”는 일반적 결론과는 달리, 간선 파손에 대해서는 규칙적 네트워크가 더 우수할 수 있음을 시사한다.

마지막으로, 저자들은 이러한 결과가 모든 스케일프리·규칙적 네트워크에 일반화될 수 있는지에 대한 열린 질문을 제시한다. 현재는 PSW와 SG라는 두 특수 사례만을 분석했으며, 보다 다양한 네트워크 모델에 대한 확장 연구가 필요함을 강조한다.