[논문 리뷰] On the enumeration of labelled hypertrees and of labelled bipartite trees

Roland Bacher|arXiv (Cornell University)|2011. 02. 14.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 5

한 줄 요약

이 논문은 다항계수와 스틸링 수를 포함하는 조합적 항등식을 사용하여 주어진 정점 차수와 초간선 크기를 갖는 레이블이 부여된 초수형트리와 이분수형트리의 수를 세는 닫힌 형식의 공식을 제시한다. 주요 기여는 케일리의 공식을 일반화하고 스틸링 수의 제1종을 통해 가중 초수형트리로의 확장을 가능하게 하는 통합된 수세기 공식이다.

ABSTRACT

We give a simple formula for the number of hypertrees with $k$ hyperedges of given sizes and $n+1$ labelled vertices with prescribed degrees. A slight generalization of this formula counts labelled bipartite trees with prescribed degrees in each class of vertices.

연구 동기 및 목표

• 지정된 정점 차수와 초간선 크기를 갖는 레이블이 부여된 초수형트리의 수를 위한 닫힌 형식의 공식 유도.
• 기존의 레이블이 부여된 트리와 초수형트리에 관한 결과를 일반화하며, 허시미의 공식과 에르데리-에터링턴의 차수 제약 조건이 있는 수세기 결과를 포함한다.
• 초수형트리 수세기와 제1종 및 제2종 스틸링 수 사이의 관계 수립.
• 뿌리가 있는 이분수형 산림에서 부모-자식 관계를 기반으로 한 두 단어로 구성된 새로운 인코딩을 사용하여 레이블이 부여된 이분수형트리의 수세기에 대한 이분법적 증명 제공.
• 차수 수열과 다항계수를 사용하여 초수형트리와 이분수형트리의 수세기를 하나의 조합적 프레임워크 아래 통합한다.

제안 방법

• 다항계수와 분할 기반의 차수 제약 조건을 사용하여 레이블이 부여된 초수형트리의 수를 유도하며, 이는 $ \binom{n}{\boldsymbol{\nu}} \frac{1}{\boldsymbol{\nu}!} \binom{k-1}{\boldsymbol{\nu}} $ 로 표현되며, 여기서 $ \boldsymbol{\nu} $ 는 크기 분할에서 부분의 다중도를 세는 것이다.
• 생성함수 공식 도입: $ \frac{n!}{\boldsymbol{\nu}!} \frac{(k-1)!}{\boldsymbol{\nu}!} \frac{1}{\boldsymbol{\nu}!} $, 대칭 함수를 통해 정점 차수와 초간선 크기를 연결한다.
• 뿌리가 있는 이분수형 산림에서의 부모 관계를 인코딩하는 두 단어 $ (W, W') $ 과의 이분법적 대응을 설정하며, 정점 순서 기반의 재귀적 구성 방식을 사용한다.
• 프류퍼 코드 유사성에 기반하여 $ (n+1)^{n-1} $ 과 부분집합으로 인덱싱된 곱공간의 합집합 사이의 일대일 대응을 정의함으로써, 합의 거듭제곱을 포함하는 조합적 항등식을 도출한다.
• 이항정리를 적용하여 차수 생성함수를 대칭 다항식 항등식으로 변환함으로써, 대칭 함수 이론을 통한 수세기 가능성을 확보한다.
• 제1종 스틸링 수를 활용하여 초수형트리의 가중 수세기를 정의하며, 여기서 가중치는 $ (\text{크기}-1)! $ 의 곱으로 구성되며, $ S_1(n,k) $ 를 포함하는 부호가 있는 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 지정된 차수를 갖는 $ n+1 $ 개의 정점과 크기가 주어진 $ k $ 개의 초간선을 갖는 레이블이 부여된 초수형트리의 정확한 수는 얼마인가?
• RQ2 레이블이 부여된 이분수형트리의 수세기를 어떻게 조합적 단어 인코딩 문제로 환원할 수 있는가?
• RQ3 초수형트리의 수세기와 제1종 및 제2종 스틸링 수 사이의 관계는 무엇인가?
• RQ4 부모-인코딩 단어를 사용하여 레이블이 부여된 이분수형트리의 수세기에 대한 이분법적 증명을 구성할 수 있는가?
• RQ5 생성함수 항등식 $ (x_0 + \tdots + x_n)^{n-1} = \text{모든 부분집합 } A \text{에 대한 합} (x_0 + \text{sum}_A x_j)^{n-1-|A|} ( \text{sum}_{\bar{A}} x_j )^{|A|} $ 을 뒷받침하는 대칭 항등식은 무엇인가?

주요 결과

• 정점의 차수가 $ 1+\nu_i $ 이고 $ k $ 개의 초간선의 크기가 $ 1+\nu_j $ 인 레이블이 부여된 초수형트리의 수는 $ \binom{n}{\boldsymbol{\nu}} \frac{1}{\boldsymbol{\nu}!} \binom{k-1}{\boldsymbol{\nu}} $ 로 주어지며, 여기서 $ \boldsymbol{\nu} $ 는 크기의 다중도를 세는 것이다.
• 차수 수열의 생성함수는 $ \frac{n!}{\boldsymbol{\nu}!} \frac{(k-1)!}{\boldsymbol{\nu}!} \frac{1}{\boldsymbol{\nu}!} $ 로 표현되며, 이는 $ \binom{n}{\boldsymbol{\nu}} \frac{1}{\boldsymbol{\nu}!} (x_0 + \tdots + x_n)^{k-1} $ 로 단순화되며, 케일리의 공식을 일반화한다.
• 크기가 $ k $ 개인 초간선과 $ n+1 $ 개의 정점을 갖는 레이블이 부여된 초수형트리의 수는 $ (n+1)^{k-1} S_2(n,k) $ 이며, 여기서 $ S_2(n,k) $ 는 제2종 스틸링 수이다.
• 가중 초수형트리의 수세기 결과로 $ (-1)^{n+k} (n+1)^{k-1} S_1(n,k) $ 를 도출하며, 여기서 $ S_1(n,k) $ 는 제1종 스틸링 수의 절대값이다.
• 뿌리가 있는 산림에서의 부모 관계를 기반으로 한 두 단어 $ (W, W') $ 를 사용한 이분수형트리의 레이블이 부여된 인코딩은 단어의 곱공간과 일대일 대응을 이룬다.
• 이 이분법적 대응은 항등식 $ (x_0 + \tdots + x_n)^{n-1} = \text{모든 부분집합 } A \text{에 대한 합} (x_0 + \text{sum}_A x_j)^{n-1-|A|} ( \text{sum}_{\bar{A}} x_j )^{|A|} $ 를 이끌어내며, 이는 $ (n+1)^{n-1} = \text{sum}_k \binom{n}{k} (k+1)^{n-1-k} (n-k)^k $ 로 특수화된다.