홀수 차수 스패닝 트리의 다변량 다항식 열거법

초록

본 논문은 그래프 G의 정점 가중치 {x_i} 로 정의된 다변량 다항식 P_G(x_1,…,x_n)를 이용해, 짝수 정점 수를 갖는 모든 연결 그래프에서 홀수 차수 스패닝 트리(odd spanning tree)의 개수 τ_o(G)를
\

상세 분석

논문은 먼저 가중치가 정점 변수 x_i 로 정의된 그래프 G에 대해 Kirchhoff‑Matrix‑Tree 정리를 가중 버전으로 서술한다. 가중 라플라시안 L_G의 (i,j)‑소행렬식이 바로 다변량 다항식 P_G(x_1,…,x_n)와 동일함을 이용해, 스패닝 트리의 가중합을 다항식 형태로 표현한다.
핵심 아이디어는 “홀수 차수 조건”을 파라미터 σ∈{±1}^n 로 인코딩하는 것이다. 각 스패닝 트리 T의 차수 벡터 d_T=(d_T(v_1),…,d_T(v_n))에 대해 P_G(σ)의 전개식에서 σ_i^{d_T(v_i)}가 등장한다. σ_i 를 ±1 로 치환하면, σ_i^{odd}=σ_i, σ_i^{even}=1 이 되므로, 전체 합을 ∑σ (∏σ_i)P_G(σ) 로 구성하면 홀수 차수인 경우에만 2^n 배의 기여가 남고, 짝수 차수인 경우는 상쇄된다. 이를 정규화하면 정리 2.4의 식이 도출된다.
이 방법은 기존의 전통적 방법(예: 직접적인 Prufer 코드 분석)보다 일반성을 갖는다. 그래프가 짝수 정점 수일 때만 비자명한 결과가 나오며, 정점 수가 홀수이면 τ_o(G)=0 임을 즉시 알 수 있다.
다양한 그래프 클래스에 대해 P_G를 알려진 형태로 대입한다. 예를 들어 완전 그래프 K_n에서는 P{K_n}=x_1…x_n (x_1+…+x_n)^{n-2} 로부터 σ_i 의 곱을 계산하면 (2k−n)^{n-2} 형태의 합이 나오며, 이는 기존의 Feng‑Chen‑Wu 결과와 일치한다. 완전 다분할 그래프 K_{n_1,…,n_k} 에서는 Klee‑Stamps 가 제시한 다항식 표현을 이용해 각 파트별 +1 개수 r_ℓ 를 변수화하고, 다중합을 전개해 최종 식을 얻는다. 거의 완전 그래프 K_n−pK_2 (매칭 p개 삭제)에서는 매칭의 각 에지에 대해 (σ_i,σ_j) 조합에 따라 세 경우(a,b,c) 로 나누어 다항식의 인자를 재구성하고, 전역 합을 다중합 형태로 정리한다. 완전 스플릿 그래프와 Ferrers 그래프에 대해서도 유사하게 라플라시안의 구조적 특성을 활용해 P_G를 구하고, 위의 파라미터 합 공식에 대입한다.
논문은 또한 HIST(홈오모픽히 불가 트리)와의 관계를 언급한다. 홀수 차수 스패닝 트리는 반드시 HIST이므로, 기존의 HIST 존재 조건(예: 최소 차수 조건)과 결합해 존재 여부를 판단할 수 있다. 마지막으로 두 개의 열린 문제를 제시하며, (1) 다변량 다항식의 계수를 직접 구하는 효율적 알고리즘, (2) 비정규 그래프에서 τ_o(G) 의 근사값을 구하는 방법 등에 대한 연구 방향을 제시한다.