정점 차수열을 활용한 카일리 공식의 새로운 조합 증명

초록

본 논문은 라벨이 붙은 트리의 차수열을 이용해 카일리 공식 (n^{,n-2}) 을 순수히 조합론적으로 증명한다. 정점 1의 차수를 기준으로 트리를 k개의 연결 부분트리로 분할하고, 다중집합과 다항식 전개를 활용해 각 경우의 수를 정확히 계산한다. 이중계산(double‑counting)과 이항정리를 결합해 최종적으로 기존의 푸레(Prufer) 순열이나 행렬‑트리 정리와는 다른 직관적인 증명을 제공한다.

상세 분석

논문은 먼저 “정해진 차수열 (d_1,\dots,d_n) 을 갖는 라벨 트리의 개수는 ((n-2)!/\prod_{i=1}^n (d_i-1)!)” 라는 정리를 제시한다(정리 1). 이는 Joy Al 과 André의 이전 결과를 인용해 증명한다고 명시하지만, 실제 증명 과정은 논문에 포함되지 않아 독자가 직접 확인해야 한다는 점이 아쉽다. 이후 카일리 공식 자체를 귀납법으로 증명한다. 기본 단계 (n=2)는 자명하고, 귀납 가정으로 (T_i=i^{,i-2}) ((2\le i\le n-1))를 가정한다. 핵심은 정점 1의 차수를 (k)라 두고, 남은 (n-1)개의 정점을 크기 (a_1,\dots,a_k)인 k개의 연결 부분트리로 나누는 과정이다. 여기서 다중집합 ({a_1,\dots,a_k})의 순열이 동일 구조를 나타내므로 (k!)으로 나누어 중복을 제거한다는 점이 핵심적인 combinatorial insight이다.

다음으로 각 부분트리 내부에서 가능한 트리의 수는 (T_{a_i})이며, 부분트리들을 라벨링하는 방법은 ((n-1)!/\prod a_i!) 로 표현된다. 또한 각 부분트리에서 정점 1과 연결될 정점을 선택하는 경우의 수가 (\prod a_i)임을 이용해 전체 경우의 수를 식 (5)와 (6)으로 정리한다.

Lemma 3은 위 식을 정리해 “정점 1의 차수가 (k)일 때의 전체 경우의 수는 (T_{n-1},(n-1)^{,k-2}\binom{n-2}{k-1})” 라는 간단한 형태로 변환한다. 이때 이중계산이 사용된다: 한쪽은 트리에서 (k-1)개의 간선을 선택해 k개의 컴포넌트로 분리하는 방식, 다른 한쪽은 앞서 정의한 차수열 기반 계산이다. 식 (8)–(10)에서 다항식 전개와 다중계수의 성질을 활용해 두 계산이 일치함을 보인다.

귀납 단계에서는 Lemma 3을 이용해 (T_n=\sum_{k=1}^{n-1} T_{n-1}(n-1)^{k-2}\binom{n-2}{k-1}) 로 전개하고, 귀납 가정 (T_{n-1}=(n-1)^{,n-3})을 대입한다. 이후 (j=k-1) 로 치환해 이항정리 ((n-1+1)^{,n-2}) 를 적용하면 최종적으로 (T_n=n^{,n-2}) 를 얻는다.

이 증명의 장점은 차수열과 부분트리 분할이라는 자연스러운 구조를 이용해 직관적인 해석을 제공한다는 점이다. 특히 “슈퍼 정점” 개념을 도입해 부분트리를 하나의 정점처럼 취급하고, 그들 사이의 연결을 다시 트리로 보는 아이디어는 시각적으로 이해하기 쉽다. 반면, 논문 본문에 오탈자와 레이아웃 오류가 다수 존재해 흐름을 방해한다. 정리 1의 증명을 별도 섹션에 포함시키지 않은 점, 그리고 일부 기호 표기가 일관되지 않은 점은 독자가 증명을 재구성하는 데 추가적인 노력을 요구한다. 또한 “Joy Al”과 같은 인용이 실제 문헌과 정확히 일치하는지 검증이 필요하다.

전반적으로 이 증명은 기존 푸레 순열이나 행렬‑트리 정리와는 다른 조합적 관점을 제공하며, 차수열 기반 카운팅이 어떻게 전체 트리 수와 연결되는지를 명확히 보여준다. 향후 연구에서는 이 방법을 다른 그래프 클래스(예: 포레스트, 라벨이 없는 트리)나 확장된 차수 제한 조건에 적용해볼 여지가 있다.