[논문 리뷰] Counting the spanning trees of a directed line graph

Hoda Bidkhori, Shaunak Kishore|ArXiv.org|2009. 10. 19.

Complex Network Analysis Techniques참고 문헌 5인용 수 3

한 줄 요약

이 논문은 방향성 있는 선 그래프에서의 스패닝 트리 수를 세는 쿠나우트의 공식을 일반화하는 생성함수 항등식에 대한 이항 증명을 제공하며, 이는 이진 드 브뤼진 순열과 길이 $2^{n-1}$인 이진 수열 사이의 연결고리를 설정한다. 또한 모든 코우츠 및 드 브뤼진 그래프의 임계군을 규명하여 리브스의 이전 결과를 일반화하고, 그래프 매개변수에 기반한 순환군의 직접 합 분해를 통해 명시적인 군 구조를 제시한다.

ABSTRACT

The line graph LG of a directed graph G has a vertex for every edge of G and an edge for every path of length 2 in G. In 1967, Knuth used the Matrix-Tree Theorem to prove a formula for the number of spanning trees of LG, and he asked for a bijective proof. In this paper, we give a bijective proof of a generating function identity due to Levine which generalizes Knuth's formula. As a result of this proof we find a bijection between binary de Bruijn sequences of degree n and binary sequences of length 2^{n-1}. Finally, we determine the critical groups of all the Kautz graphs and de Bruijn graphs, generalizing a result of Levine.

연구 동기 및 목표

• 방향성 있는 그래프의 선 그래프에서 스패닝 트리 수를 세는 쿠나우트의 공식을 일반화하는 리브스의 생성함수 항등식에 대한 이항 증명을 제공하는 것.
• 스탠리의 미해결 문제를 해결하기 위해 차수 $n$인 이진 드 브뤼진 순열의 집합과 길이 $2^{n-1}$인 이진 수열의 집합 사이에 명시적인 이항 대응을 구성하는 것.
• 모든 코우츠 그래프 $\mathrm{Kautz}_n(m)$ 및 드 브뤼진 그래프 $DB_n(m)$의 임계군의 완전한 구조를 규명하여, 이전에 소수 $m$에 대해 얻어진 결과를 확장하는 것.

제안 방법

• 모든 간선 가중치 스패닝 트리와 그 선 그래프에서의 정점 가중치 스패닝 트리 사이에 이항 대응을 구축하며, 간선 및 정점 변수에 따라 인덱싱된 생성함수를 사용한다.
• 매트릭스-트리 정리와 선형대수적 항등식을 활용하여 생성함수 관계를 유도한 후, 스패닝 트리의 구조를 유지하는 조합적 이항 대응을 제시한다.
• $n$에 대한 귀납법을 사용하여 $DB_n(m)$ 및 $\mathrm{Kautz}_n(m)$의 임계군의 시로프 $p$-부분군을 계산하고, 스패닝 트리의 수의 $p$-진 값표를 분석한다.
• 유한 아벨 군의 구조 정리를 적용하여 임계군을 순환 $p$-군들의 직접 합으로 분해하고, 군의 순서에서의 $p$-거듭제곱의 반복 수를 재귀적으로 세어 지수를 결정한다.
• 귀납 단계를 검증하기 위해 군의 순서의 $p$-진 값표가 순환 분해에서의 지수 합과 일치함을 보장하여, $m$을 나누는 모든 소수에 대해 일致성을 확보한다.
• 이전에 리브스가 소수 $m$에 대해서만 임계군을 계산한 것을, 시로프 이론과 반복 선 그래프 반복을 통한 분석을 통해 임의의 $m$으로 일반화한다.

실험 결과

연구 질문

• RQ1 리브스의 생성함수 항등식에 대한 이항 증명을 구성할 수 있는가? 이는 방향성 있는 선 그래프에서의 스패닝 트리 수를 세는 쿠나우트의 공식을 일반화한다.
• RQ2 차수 $n$인 이진 드 브뤼진 순열의 집합과 길이 $2^{n-1}$인 이진 수열의 집합 사이에 자연스럽고 명시적인 이항 대응이 존재하는가?
• RQ3 임의의 $m$에 대해 드 브뤼진 그래프 $DB_n(m)$의 임계군의 완전한 구조는 무엇인가?
• RQ4 임의의 $m$에 대해 코우츠 그래프 $\mathrm{Kautz}_n(m)$의 임계군의 완전한 구조는 무엇인가?
• RQ5 반복 선 그래프 $\mathrm{Kautz}_n(m)$ 및 $DB_n(m)$의 임계군은 $m$을 나누는 각 소수 $p$에 대해 어떻게 순환 $p$-군들의 직접 합으로 분해되는가?

주요 결과

• 임계군 $DB_n(m)$은 $\left(\mathbb{Z}_{m^n}\right)^{m-2} \oplus \bigoplus_{i=1}^{n-1} \left(\mathbb{Z}_{m^i}\right)^{m^{n-1-i}(m-1)^2}$ 와 동형이며, 이는 모든 $m$에 대해 완전한 분해를 제공한다.
• 임계군 $\mathrm{Kautz}_n(m)$은 $\left(\mathbb{Z}_{m+1}\right)^{m-1} \oplus \left(\mathbb{Z}_{m^{n-1}}\right)^{m^2-2} \oplus \bigoplus_{i=1}^{n-2} \left(\mathbb{Z}_{m^i}\right)^{m^{n-2-i}(m-1)^2(m+1)}$ 와 동형이며, 리브스의 결과를 모든 $m$으로 확장한다.
• 차수 $n$인 이진 드 브뤼진 순열의 집합과 길이 $2^{n-1}$인 이진 수열의 집합 사이에 이항 대응이 구성되었으며, 이는 스탠리의 연습 문제 5.73를 해결한다.
• 임계군 $K(DB_n(m))$의 시로프 $p$-부분군은 $\left(\mathbb{Z}_{p^{nk}}\right)^{m-2} \oplus \bigoplus_{i=1}^{n-1} \left(\mathbb{Z}_{p^{ik}}\right)^{m^{n-1-i}(m-1)^2}$ 와 동형이며, 여기서 $p^k$는 $m$을 나누는 $p$의 최대 거듭제곱이며, 그렇지 않으면 자명하다.
• 코우츠 그래프 $\mathrm{Kautz}_n(m)$의 경우, 시로프 $p$-부분군은 $\left(\mathbb{Z}_{p^{(n-1)k}}\right)^{m^2-2} \oplus \bigoplus_{i=1}^{n-2} \left(\mathbb{Z}_{p^{ik}}\right)^{m^{n-2-i}(m-1)^2(m+1)}$ 와 동형이며, $n > 2$일 때 $a_k = m^{n-2}(m-1)^2$이고, $n = 2$일 때 $a_k = m^2 - 2$이다.
• $DB_n(m)$ 및 $\mathrm{Kautz}_n(m)$의 임계군은 모두 순환 $p$-군들의 직접 합으로 완전히 규명되었으며, 지수는 스패닝 트리의 수에서의 $p$-진 값표의 재귀적 세기로 결정된다.