[논문 리뷰] Note on packing of edge-disjoint spanning trees in sparse random graphs

Xiaolin Chen, Xueliang Li외 1명|arXiv (Cornell University)|2013. 01. 07.

Limits and Structures in Graph Theory참고 문헌 9인용 수 5

한 줄 요약

이 논문은 희박한 무작위 그래프 $G(n,p)$에서 간선으로 분리된 스패닝 트리의 수에 대해 날카러운 경계를 확립한다. $p$가 $((\log n + \omega(1))/n, 1.1\log n/n)$ 범위에 있을 때, 스패닝 트리의 수가 거의 확실히 최소 차수와 같음을 증명한다. 이는 팔머와 스펜서의 결과를 개선한 것으로, 최소 차수가 $n$에 따라 증가할 수 있도록 허용한다. 반대로, $p \geq 51\log n/n$일 경우, 수 packing 수가 최소 차수보다 엄밀히 작아지며, 이 등식이 성립하는 데 대한 날카러운 임계점임을 보여준다.

ABSTRACT

The \emph{spanning tree packing number} of a graph $G$ is the maximum number of edge-disjoint spanning trees contained in $G$. Let $k\geq 1$ be a fixed integer. Palmer and Spencer proved that in almost every random graph process, the hitting time for having $k$ edge-disjoint spanning trees equals the hitting time for having minimum degree $k$. In this paper, we prove that for any $p$ such that $(\log n+ω(1))/n\leq p\leq (1.1\log n)/n$, almost surely the random graph $G(n,p)$ satisfies that the spanning tree packing number is equal to the minimum degree. Note that this bound for $p$ will allow the minimum degree to be a function of $n$, and in this sense we improve the result of Palmer and Spencer. Moreover, we also obtain that for any $p$ such that $p\geq (51\log n)/n$, almost surely the random graph $G(n,p)$ satisfies that the spanning tree packing number is less than the minimum degree.

연구 동기 및 목표

• 무작위 그래프 $G(n,p)$에서 스패닝 트리 packing 수 $\sigma(G)$가 최소 차수 $\delta(G)$와 같아지는 $p$의 임계 범위를 규명하는 것.
• 고정된 $k$-차수 기준에서 등식을 확립한 팔머와 스펜서의 결과를 확장하여, $\delta(G)$가 $n$에 따라 증가할 수 있도록 허용하는 것.
• 항상 $\sigma(G) < \delta(G)$가 성립하는 날카러운 임계점이 존재하는지 규명하는 것. 이는 더 높은 밀도의 그래프에서는 등식이 성립하지 않음을 보여준다.

제안 방법

• Nash-Williams–Tutte 정리(간선으로 분리된 $k$개의 스패닝 트리가 존재하는 조건을 분할 조건으로 기술함): 정점 집합의 모든 분할 $\mathcal{P}$에 대해 $|E_G(\mathcal{P})| \geq k(|\mathcal{P}|-1)$.
• Chernoff 추정을 사용하여 무작위 그래프에서 정점의 차수와 간선 수의 집중도를 제어함으로써, $\delta(G)$와 $\Delta(G)$가 기대값 주변에 날카럽게 집중됨을 보장한다.
• 정점 분할에서 가장 큰 부분의 크기에 기반한 케이스 분석을 수행하며, 가장 큰 부분이 $n/2$ 이상인지 여부에 따라 경우를 나눈다.
• 작은 집합과 큰 집합에 대해 구조적 보조정리를 활용하여 교차 간선 수를 근사함. 이때 최소 차수와 간선 밀도의 로그 성장 특성을 활용한다.
• 모든 분할에 대해 필요한 분할 조건이 거의 확실히 성립함을 보이기 위해 유니온 바운드와 점근적 확률적 추론을 적용한다.
• 차수 집중과 간선 수 제약을 조합하여, $p \geq 51\log n/n$일 때 $\sigma(G) < \delta(G)$임을 보이며, 이는 $|E(G)|/(n-1) < \delta(G)$가 거의 확실히 성립하기 때문이다.

실험 결과

연구 질문

• RQ1 무작위 그래프 $G(n,p)$에서 스패닝 트리 packing 수 $\sigma(G)$가 최소 차수 $\delta(G)$와 같아지는 $p$의 범위는 무엇인가?
• RQ2 등식 $\sigma(G) = \delta(G)$의 임계점은 고정된 $k$에서 벗어나, $\delta(G)$가 $n$에 따라 증가할 수 있도록 확장될 수 있는가?
• RQ3 등식이 성립하지 않는 날카러운 임계점이 존재하는가? 즉, $\delta(G)$가 크더라도 $\sigma(G) < \delta(G)$가 거의 확실히 성립하는가?

주요 결과

• $(\log n + \omega(1))/n \leq p \leq 1.1\log n/n$일 때, $n \to \infty$일 때 스패닝 트리 packing 수 $\sigma(G)$가 최소 차수 $\delta(G)$와 거의 확실히 일치한다.
• 이 범위는 $\delta(G)$가 $n$에 따라 증가할 수 있도록 허용하며, 팔머와 스펜서의 결과(고정된 $k$가 필요)를 개선한다.
• $p \geq 51\log n/n$일 경우, 스패닝 트리 packing 수 $\sigma(G)$는 거의 확실히 최소 차수 $\delta(G)$보다 작다.
• 증명은 $p \geq 51\log n/n$일 때 $\sigma(G) \leq |E(G)|/(n-1) < \delta(G)$가 거의 확실히 성립함을 보이며, 이는 간선 수와 차수의 집중성 때문이다.
• $p = 51\log n/n$에서의 임계점은 날카롭다: 더 큰 $p$에서는 트리당 간선 수가 최소 차수를 충족하기에 부족해진다.
• 결과적으로 점근적 그림이 완전히 규명된다: $p \leq 1.1\log n/n$일 때 $\sigma(G) = \delta(G)$가 거의 확실히 성립하며, $p \geq 51\log n/n$일 때는 $\sigma(G) < \delta(G)$가 거의 확실히 성립한다.