[논문 리뷰] Polynomial representation for the expected length of minimal spanning trees

Jared Nishikawa, Peter T. Otto외 1명|arXiv (Cornell University)|2015. 01. 15.

Graph theory and applications참고 문헌 7인용 수 4

한 줄 요약

이 논문은 [0,1]에서 균일하게 분포된 독립적인 간선 길이를 가진 그래프에서 최소 스패닝 트리(MST)의 기대 길이에 대한 Steele의 적분 공식에서 다항식 피적분함수의 계수에 대한 일반 공식을 유도한다. 첫 번째 일곱 계수들이 정점 수, 간선 수, 사이클 수와 같은 그래프 불변량으로 명시적으로 표현될 수 있음을 보이며, 완전 그래프 $K_n$에 대해서는 정확한 공식을 제공하여 기대 MST 길이의 단조성과 볼록성에 대한 추측을 해결하는 데 도움이 될 수 있는 다항식 구조를 드러낸다.

ABSTRACT

In this paper, we investigate the polynomial integrand of an integral formula that yields the expected length of the minimal spanning tree of a graph whose edges are uniformly distributed over the interval [0, 1]. In particular, we derive a general formula for the coefficients of the polynomial and apply it to express the first few coefficients in terms of the structure of the underlying graph; e.g. number of vertices, edges and cycles.

연구 동기 및 목표

• Steele의 적분 공식에서 다항식 피적분함수의 계수에 대한 일반 공식을 유도하는 것.
• 정점 수, 간선 수, 사이클 구조와 같은 그래프 불변량으로 첫 번째 몇 계수를 표현하는 것.
• 완전 그래프 $K_n$에 대한 다항식 피적분함수의 구조를 분석하고 계수의 패턴을 규명하는 것.
• 다항식 구조가 $K_n$에 대한 기대 MST 길이의 단조 증가성과 볼록성에 대한 추측을 뒷받침할 수 있는지 탐색하는 것.

제안 방법

• 기대 길이 $\mathbb{E}[L(G)]$ 를 투트 토폴로지 다항식의 편미분을 통해 표현하는 Steele의 적분 공식을 사용한다.
• 변수 치환 $x = 1/t$, $y = 1/(1-t)$ 를 통해 피적분함수를 다항식으로 변환하고 이항 전개를 통해 간단화한다.
• 다항식 $p_m(t)$ 에서 $t^i$ 의 계수 $a_i$ 를 연결된 부분그래프의 수에 따라 가중치를 부여한 합으로 일반적으로 표현한다.
• 계수 공식을 적용하여 일반 그래프 및 $K_n$ 에 대해 $a_0$ 에서 $a_6$ 까지의 계수를 명시적으로 계산하며, 부분그래프와 사이클의 조합적 수를 활용한다.
• 완전 그래프 $K_n$ 의 다항식 피적분함수를 $(1-t)^{n-1} q(t)$ 로 인수분해하여 구조적 분해를 드러낸다. 여기서 $q(t)$ 는 차수 최대 $\binom{n-1}{2}$ 인 다항식이다.
• 완전 그래프 $K_n$ 에서의 사이클과 부분그래프의 수를 알려진 값으로 사용하여 $a_3$ 에서 $a_6$ 까지의 정확한 표현을 이항계수로 유도한다.

실험 결과

연구 질문

• RQ1 Steele 공식의 다항식 피적분함수 계수들이 정점 수, 간선 수, 사이클 수와 같은 그래프 이론적 불변량으로 표현될 수 있는가?
• RQ2 일반적인 연결 그래프에 대해 다항식 피적분함수의 첫 번째 일곱 계수의 명시적 형태는 무엇인가?
• RQ3 완전 그래프 $K_n$ 에서 다항식 피적분함수의 계수는 어떻게 행동하는가? 그리고 기대 길이 $\mathbb{E}[L(K_n)]$ 의 단조성과 볼록성과 관련된 패턴을 드러내는가?
• RQ4 $K_n$ 에 대한 다항식 피적분함수는 깊이 있는 대수적 또는 조합적 성질을 드러내는 구조적 인수분해가 가능한가?

주요 결과

• 첫 번째 계수는 $a_0 = n$ 이며, 이는 간선이 없는 연결 부분그래프(성분 수 $n$)에 해당한다.
• 두 번째 계수는 $a_1 = -m$ 이며, 이는 단일 간선 부분그래프에서 유도된 것으로 간선 수의 음수이다.
• 세 번째 계수는 $a_2 = 0$ 이며, 이는 두 간선 부분그래프가 $t^2$ 항에 기여하지 않음을 의미한다.
• 완전 그래프 $K_n$ 에서 계수 $a_3 = \binom{n}{3}$ 이며, 이는 그래프 내 삼각형의 수에서 기인한다.
• 완전 그래프 $K_n$ 에서 계수 $a_4 = 3\binom{n}{4}$ 이며, 이는 4사이클과 관련된 부분그래프의 기여를 반영한다.
• 완전 그래프 $K_n$ 의 다항식 피적분함수는 $p_m(t) = (1-t)^{n-1} q(t)$ 로 인수분해되며, 여기서 $q(t)$ 는 차수 최대 $\binom{n-1}{2}$ 인 다항식이다. 이는 재귀적 또는 계층적 구조를 시사한다.