반정규 그래프의 독립 다항식 연구

초록

본 논문은 각 정점의 차수가 최대 두 개까지만 동일한 반정규 그래프에 대해 독립 다항식 I(G;x)의 폐쇄식 표현을 제시한다. 저자들은 이 식을 이용해 반정규 그래프가 임계 그래프 계열 내에서 독립 다항식으로 유일하게 구분됨을 증명하고, I(G;x)가 로그볼록이며 실근은 최대 두 개, I(G;‑1)은 –1 또는 0만을 취한다는 특성을 밝혀낸다.

상세 요약

반정규 그래프는 “정점의 차수가 두 개 이하만 중복된다”는 정의에 따라, 그래프 이론에서 가장 비정규적인 구조를 나타낸다. 이러한 그래프는 기존의 정규·비정규 구분을 넘어, 차수열이 0,1,2,…,n‑2,n‑1 혹은 그 역순으로 전개되는 특수한 형태를 가진다. 논문은 먼저 반정규 그래프가 임계 그래프(threshold graph)의 한 부분군임을 보이며, 임계 그래프가 갖는 ‘추가·합성’ 연산(단일 정점 추가와 전체 정점과의 연결)으로 반정규 그래프를 재귀적으로 구성할 수 있음을 이용한다.

독립 다항식 I(G;x)=∑_{k=0}^{α}s_k x^k에서 s_k는 크기 k인 독립 집합의 개수이며, α는 최대 독립 집합의 크기이다. 저자들은 반정규 그래프 A_n(정점 수 n)의 경우, 두 가지 기본 형태(짝수·홀수 n)에 대해 다음과 같은 폐쇄식을 도출한다.

• 짝수 n=2m: I(A_{2m};x)= (1+x)·(1+x+…+x^{m‑1}) + x^{m}
• 홀수 n=2m+1: I(A_{2m+1};x)= (1+x)·(1+x+…+x^{m})

이 식은 ‘추가·연결’ 연산이 독립 집합의 계수에 미치는 영향을 정확히 반영한다. 특히 (1+x)·P(x) 형태는 새로운 정점을 독립 집합에 포함하거나 제외하는 선택을 의미하고, 마지막 항 x^{⌈n/2⌉}는 최대 독립 집합이 전부 비인접 정점으로만 구성될 수 있음을 나타낸다.

다음으로 저자들은 이 다항식이 로그볼록(log‑concave)임을 증명한다. 로그볼록성은 계수 배열 {s_k}가 s_k^2 ≥ s_{k‑1}·s_{k+1}을 만족함을 의미하며, 이는 뉴턴 불등식과 직접 연결된다. 폐쇄식이 두 개의 단순 다항식 곱으로 표현되므로, 각 인수의 계수는 이미 알려진 로그볼록성을 가지며, 곱셈에 의해 전체 다항식도 로그볼록성을 유지한다.

실근 분석에서는 I(A_n;x)의 근이 실수축에 제한된다는 것을 보인다. 위의 폐쇄식은 (1+x)와 (1+x+…+x^{m}) 형태의 두 인수로만 이루어지며, (1+x)는 실근 –1을, 두 번째 인수는 기하급수적 급수의 근이 복소평면에 존재하지만 실근은 최대 하나(–1)만을 가질 수 있다. 따라서 전체 다항식은 실근을 최대 두 개(–1과 가능한 또 하나)만 갖는다.

마지막으로 I(A_n;‑1) 값을 계산하면, 짝수 n에서는 I(A_{2m};‑1)=0, 홀수 n에서는 I(A_{2m+1};‑1)=‑1이 된다. 이는 (1+‑1)=0인 인수와 전체 다항식의 부호 구조에 의해 자연스럽게 도출된다.

이러한 결과들을 종합하면, 반정규 그래프는 독립 다항식 하나만으로도 임계 그래프 계열 내에서 완전히 구별될 수 있음을 알 수 있다. 이는 그래프 동형성 문제와 다항식 기반 그래프 인식에 새로운 도구를 제공한다.