[논문 리뷰] Sharp threshold for embedding combs and other spanning trees in random graphs

Richard Montgomery|arXiv (Cornell University)|2014. 05. 26.

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

한 줄 요약

이 논문은 이중 랜덤 그래프에서 광범위한 스패닝 트리의 클래스, 특히 콤과 많은 긴 빈 경로를 가진 유계 차수 트리를 포함하여 임베딩하기 위한 날카로운 임계값을 확립한다. 확장성 성질과 커넥터 시스템을 기반으로 하는 구성적 방법을 사용하여, $\chi(n,(1+\varepsilon)\log n/n)$가 거의 확실히 이러한 트리를 포함함을 증명한다. 이는 이전 결과를 향상시키며, 연결성 임계값 근처의 넓은 범위의 트리에 대해 한 예측을 확인한다.

ABSTRACT

When $k|n$, the tree $\mathrm{Comb}_{n,k}$ consists of a path containing $n/k$ vertices, each of whose vertices has a disjoint path length $k-1$ beginning at it. We show that, for any $k=k(n)$ and $ε>0$, the binomial random graph $\mathcal{G}(n,(1+ε)\log n/ n)$ almost surely contains $\mathrm{Comb}_{n,k}$ as a subgraph. This improves a recent result of Kahn, Lubetzky and Wormald. We prove a similar statement for a more general class of trees containing both these combs and all bounded degree spanning trees which have at least $εn/ \log^9n$ disjoint bare paths length $\lceil\log^9 n ceil$. We also give an efficient method for finding large expander subgraphs in a binomial random graph. This allows us to improve a result on almost spanning trees by Balogh, Csaba, Pei and Samotij.

연구 동기 및 목표

• 이중 랜덤 그래프에서 많은 긴 빈 경로를 가진 스패닝 트리의 임베딩을 위한 날카로운 임계값을 확립하기.
• 이전에 알려진 $\mathcal{G}(n,(1+\varepsilon)\log n/n)$ 임계값이 콤과 유계 차수 트리 이외의 트리에 대해서도 성립함을 넓히기.
• 확장성 성질과 커넥터 시스템을 사용하여 이러한 트리를 구성적으로 임베딩하는 방법을 제공하기.
• 이전의 거의 스패닝 트리 및 사이클 분해에 대한 결과를 향상시키기.
• $\mathcal{G}(n,(1+\varepsilon)\log n/n)$가 $\alpha n/\log^9 n$개의 서로소 빈 경로를 가진 트리를 거의 확실히 포함함을 보여주기

제안 방법

• 작은 집합과 큰 집합에 모두 확장성을 보장하기 위해 간단한 확률적 추론을 사용하여 $\mathcal{G}(n,p)$ 내에 큰 확장자 하위그래프를 구성한다.
• 층별 임베딩 전략을 적용: 먼저 코어 트리 구조를 임베딩하고, 보조 그래프에서 매칭을 통해 커넥터를 사용해 긴 빈 경로를 연결한다.
• $(\ell, \gamma)$-커넥터를 사용해 정점을 연결하고 더 긴 경로를 형성하며, 서로소성과 연결성을 보장한다.
• 홀의 조건을 적용하여 랜덤 그래프 내에서 커넥터 끝점과 목표 정점 사이의 매칭 존재성을 검증한다.
• 경로를 그래프 내에서 라우팅하기 위해 커넥터 집합 위에 방향 그래프 $M$을 도입하여 서로소 경로 구축을 보장한다.
• 확률적 보조정리(예: 보조정리 2.9, 2.12)를 적용하여 랜덤 그래프 내 최소 차수와 확장성 성질을 확립한다.

실험 결과

연구 질문

• RQ1 모든 유계 차수 스패닝 트리에 대해 $p = (1+\varepsilon)\log n/n$가 충분한지, 특히 충분히 많은 긴 빈 경로를 가진 트리에 대해 입증할 수 있는가?
• RQ2 복잡한 분해 정리에 의존하지 않고, 확장성과 커넥터 시스템을 사용해 이러한 트리를 구성적으로 임베딩할 수 있는 방법이 존재하는가?
• RQ3 트리에 $\alpha n/\log^9 n$개의 서로소 빈 경로가 있고 각 경로의 길이가 $\lceil \log^9 n \rceil$일 경우, 임계값을 $\mathcal{G}(n,(1+\varepsilon)\log n/n)$로 좁힐 수 있는가?
• RQ4 이 방법은 이전 작업에 비해 거의 스패닝 트리 임베딩의 임계값을 향상시키는가?
• RQ5 유사한 기법을 사용해 $k \geq 2\log^9 n$에 대해 랜덤 그래프를 길이 $k$인 $n/k$개의 정점 상호배타적 사이클로 분해할 수 있는가?

주요 결과

• 모든 $\varepsilon > 0$에 대해 $\mathcal{G}(n,(1+\varepsilon)\log n/n)$는 최소 $\alpha n/k$개의 길이 $k$인 이빨을 가진 모든 트리 $T$를 거의 확실히 포함한다. 이는 콤 임베딩 결과를 일반화한다.
• 임계값 $p = (1+\varepsilon)\log n/n$은 길이 $\lceil \log^9 n \rceil$인 $\alpha n/\log^9 n$개의 서로소 빈 경로를 가진 모든 유계 차수 트리에 대해 충분하다.
• 이 방법은 확장성과 커넥터 매칭을 기반으로 하는 구성적 임베딩 알고리즘을 제공하며, 복잡한 분해 정리에 의존하지 않는다.
• 이전의 Balogh 등에 의한 거의 스패닝 트리 임베딩 결과를 향상시켜, 필요로 하는 $p$를 $c/n$에서 $\mathcal{O}(\log n/n)$으로 감소시켰다.
• 길이 $k \geq 2\log^9 n$에 대해 $\mathcal{G}(n,(1+\varepsilon)\log n/n)$는 거의 확실히 $n/k$개의 정점 상호배타적 길이 $k$의 사이클로 분해된다.
• 증명은 $\mathcal{G}(n,(1+\varepsilon)\log n/n)$가 커넥터 시스템을 통해 복잡한 트리 임베딩을 지원하기에 충분한 확장성과 최소 차수를 가진다는 것을 입증한다.