[논문 리뷰] Packing a randomly edge-colored random graph with rainbow $k$-outs

Asaf Ferber, Gal Kronenberg외 2명|arXiv (Cornell University)|2014. 10. 07.

Limits and Structures in Graph Theory참고 문헌 20인용 수 8

한 줄 요약

이 논문은 무작위로 색칠된 무작위 그래프를 여러 개의 간선 분리 레이저 서브그래프로 분해하는 방법을 제안한다. 각 서브그래프는 랜덤 $k$-아웃 그래프와 유사하다. 최소 차수 및 간선 확률 조건 하에서, 이 그래프가 높은 확률로 $ (1-o(1))\delta(G)p/(2k) $개의 간선 분리 레이저 서브그래프를 포함함을 증명한다. 각 서브그래프는 $k$-아웃 모델의 단조성 성질을 유지한다. 이는 레이저 해밀턴 사이클과 완전 매칭의 점근적으로 최적의 포장 결과를 이끈다.

ABSTRACT

Let $G$ be a graph on $n$ vertices and let $k$ be a fixed positive integer. We denote by $\mathcal G_{ ext{$k$-out}}(G)$ the probability space consisting of subgraphs of $G$ where each vertex $v\in V(G)$ randomly picks $k$ neighbors from $G$, independently from all other vertices. We show that if $δ(G)=ω(\log n)$ and $k\geq 2$, then the following holds for every $p=ω(\log n/δ(G))$. Let $H$ be a random graph obtained by keeping each $e\in E(G)$ with probability $p$ independently at random and then coloring its edges independently and uniformly at random with elements from the set $[kn]$. Then, w.h.p. $H$ contains $t:=(1-o(1))δ(G)p/(2k)$ edge-disjoint graphs $H_1,...,H_t$ such that each of the $H_i$ is \emph{rainbow} (that is, all the edges are colored with distinct colors), and such that for every monotone increasing property of graphs $\mathcal P$ and for every $1\leq i\leq t$ we have $\Pr[\mathcal G_{ ext{$k$-out}}(G)\models \mathcal P]\leq \Pr[H_i\models \mathcal P]+n^{-ω(1)}$. Note that since (in this case) a typical member of $\mathcal G_{ ext{$k$-out}}(G)$ has average degree roughly $2k$, this result is asymptotically best possible. We present several applications of this; for example, we use this result to prove that for $p=ω(\log n/n)$ and $c=23n$, a graph $H\sim \mathcal G_{c}(K_n,p)$ w.h.p. contains $(1-o(1))np/46$ edge-disjoint rainbow Hamilton cycles. More generally, using a recent result of Frieze and Johansson, the same method allows us to prove that if $G$ has minimum degree $δ(G)\geq (1+\varepsilon)n/2$, then there exist functions $c=O(n)$ and $t=Θ(np)$ (depending on $\varepsilon$) such that the random subgraph $H\sim \mathcal G_{c}(G,p)$ w.h.p. contains $t$ edge-disjoint rainbow Hamilton cycles.

연구 동기 및 목표

• 무작위로 색칠된 무작위 그래프에서 다수의 간선 분리 레이저 서브그래프를 포장하는 일반적인 방법을 개발하는 것.
• 무작연 색칠된 무작위 그래프가 주어진 그래프의 많은 간선 분리 레이저 복제본(특히 해밀턴 사이클과 완전 매칭)을 포함할 수 있는 조건을 설정하는 것.
• 이러한 레이저 서브그래프의 수가 간선 밀도 및 색상 수 측면에서 점근적으로 최적이 되는지 보여주는 것.
• 기존의 단일 레이저 서브그래프 결과를 다수의 이러한 서브그래프 포장 문제로 확장하는 것.

제안 방법

• 저자들은 각 정점이 독립적으로 무작위로 $ k $개의 이웃을 선택하여 형성되는 무작위 서브그래프를 정의하는 무작위 그래프 모델 $ \mathcal{G}_{k\text{-out}}(G) $를 정의한다.
• 최소 차수 $ \delta(G) = \omega(\log n) $ 및 $ k \geq 2 $ 조건 하에서, $ p = \omega(\log n / \delta(G)) $ 및 $ c = kn $ 조건을 만족하는 무작위로 색칠된 그래프 $ H \sim \mathcal{G}_{c}(G,p) $ 는 $ t = (1-o(1))\delta(G)p/(2k) $개의 간선 분리 레이저 서브그래프로 분해 가능하다.
• 각 결과 서브그래프 $ H_i $ 는 임의의 단조 증가 성질 $ \mathcal{P} $ 에 대해 $ \Pr[H_i \models \mathcal{P}] \geq \Pr[\mathcal{G}_{k\text{-out}}(G) \models \mathcal{P}] - n^{-\omega(1)} $ 를 만족하여 성질 유지 보장.
• 각 정점에서 나온 $ k $개의 간선 그룹이 서로 다른 색상을 갖도록 하는 색칠 및 순서 정책을 통해 레이저 구조를 보장.
• 색상 다양성과 간선 분리성을 유지하면서 반복적으로 색상과 간선 순서를 할당하는 확률적 구성 방법을 통해 분해를 달성.
• 기존의 $ k $-아웃 그래프 결과(예: 해밀턴 사이클 또는 완전 매칭 존재성)를 활용하여 서브그래프 $ H_i $ 에서도 동일한 성질가 성립함을 추론하며, 전체 구성 요소에 대해 높은 확률을 보장하기 위해 유니온 바운드를 적용.

실험 결과

연구 질문

• RQ1 무작위로 색칠된 무작위 그래프에 포장할 수 있는 간선 분리 레이저 해밀턴 사이클의 최대 수는 얼마인가?
• RQ2 무작위로 색칠된 그래프 $ H \sim \mathcal{G}_c(G,p) $ 가 $ \mathcal{G}_{k\text{-out}}(G) $ 와 동형인 많은 간선 분리 레이저 서브그래프를 포함하기 위한 간선 확률 $ p $ 와 색상 수 $ c $ 의 조건은 무엇인가?
• RQ3 $ k $-아웃 모델이 무작위로 색칠된 무작위 그래프에서 단조성 성질을 유지하는 데 사용될 수 있는가?
• RQ4 이러한 레이저 서브그래프의 수가 간선 밀도 및 색상 수 측면에서 점근적으로 최적이 되는가?

주요 결과

• 최소 차수 $ \delta(G) = \omega(\log n) $, $ k \geq 2 $, $ p = \omega(\log n / \delta(G)) $ 조건 하에서, 무작위 그래프 $ H \sim \mathcal{G}_{kn}(G,p) $ 는 거의 확실히 $ (1-o(1))\delta(G)p/(2k) $개의 간선 분리 레이저 서브그래프를 포함하며, 각 서브그래프는 $ \mathcal{G}_{k\text{-out}}(G) $ 의 단조성 성질을 유지한다.
• 만약 $ G = K_n $, $ p = \omega(\log n / n) $, $ c = 23n $ 이면, $ H \sim \mathcal{G}_{23n}(K_n,p) $ 는 거의 확실히 $ (1-o(1))np/46 $개의 간선 분리 레이저 해밀턴 사이클을 포함한다.
• $ \varepsilon > 0 $ 이면, $ \delta(G) \geq (1+\varepsilon)n/2 $ 이면, $ c = O(n) $ 및 $ p = \omega(\log n / n) $ 조건 하에서, $ H \sim \mathcal{G}_{c}(G,p) $ 는 거의 확실히 $ \Theta(np) $개의 간선 분리 레이저 해밀턴 사이클을 포함한다.
• 이 방법은 평균 차수 $ \approx 2k $ 를 갖는 일반적인 $ \mathcal{G}_{k\text{-out}}(G) $ 그래프에서 유도되는 이론적 상한과 일치하므로 점근적으로 최적의 포장 결과를 달성한다.
• 완전 매칭으로의 확장도 가능하다: $ G = K_{n,n} $, $ c = 3n $, $ p = \omega(\log n / n) $ 이면, $ H \sim \mathcal{G}_{3n}(K_{n,n},p) $ 는 거의 확실히 $ (1-o(1))np/6 $개의 간선 분리 레이저 완전 매칭을 포함한다.