[논문 리뷰] Increasing paths in edge-ordered graphs: the hypercube and random graphs

Jessica De Silva, Theodore Molla외 3명|arXiv (Cornell University)|2015. 02. 10.

Advanced Graph Theory Research참고 문헌 6인용 수 4

한 줄 요약

이 논문은 에지 순서가 부여된 그래프에서 증가 경로의 최대 길이에 대한 새로운 하한과 상한을 설정한다. 초월 큐브와 무작위 그래프에 초점을 맞추며, 초월 큐브 $Q_d$에 대해 $f(Q_d) \in \left[\frac{d}{\log d}, d\right]$임을 증명하고, 무작위 그래프 $G(n,p)$에 대해 거의 확실하게 $f(G(n,p)) \geq \frac{(1-o(1))np}{\omega(n)\log n}$임을 보이며, 희박하고 구조적인 그래프에서 증가 경로의 행동에 대한 이해를 향상시킨다.

ABSTRACT

An edge-ordering of a graph $G=(V,E)$ is a bijection $ϕ:E o\{1,2,...,|E|\}$. Given an edge-ordering, a sequence of edges $P=e_1,e_2,...,e_k$ is an increasing path if it is a path in $G$ which satisfies $ϕ(e_i)

연구 동기 및 목표

• d차원 초월 큐브 $Q_d$에 대해, 모든 에지 순서에 대해 가장 긴 증가 경로의 최소 길이인 $f(G)$에 대한 날것의 경계를 결정하는 것.
• 희박한 간선 확률에서의 무작위 그래프 $G(n,p)$에 대해 $f(G(n,p))$를 분석하는 것.
• 오랜 기간 동안 연구되어 온 완전 그래프 $K_n$을 넘어서 증가 경로의 이해를 확장하는 것.
• 조합적 및 확률적 기법을 적용하여 희박하고 구조적인 그래프에서 $f$에 대한 渐近 하한을 유도하는 것.
• 새로운 보조정리와 정리를 통해 평균 차수, 간선 색칠 수, 증가 경로 길이 등의 그래프 매개변수 간의 연결 고리를 설정하는 것.

제안 방법

• 에지 순서가 부여된 그래프에서 증가 경로를 분석하기 위해 보편화된 보행자 알고리즘을 사용한다.
• Lemma 2를 적용한다: 만약 $f(G) < k$이면, $G$의 간선 집합은 각각 최대 $k$개의 정점으로 구성된 $n$개의 부분그래프로 커버될 수 있다.
• Lemma 3을 활용한다: $2\zeta_k - k + 1 < d$이면, 여기서 $\zeta_k = \max_{U \subseteq V, |U|=k} |E(G[U])|$, $f(G) \geq k$이다.
• 비징의 정리를 활용하여 $f(G) \leq \chi'(G) \leq \Delta(G) + 1$를 유도하고, 이를 통해 $f(Q_d) \leq d$라는 상한을 증명한다.
• 합집합 불등식과 확률적 경계를 적용하여 $G(n,p)$가 긴 증가 경로를 피할 확률을 추정한다.
• 체르노프와 합집합 불등식을 사용하여 $G(n,p)$의 최대 차수는 거의 확실하게 $O(np)$임을 보이며, 이는 경계의 날것함을 뒷받침한다.

실험 결과

연구 질문

• RQ1 d차원 초월 큐브 $Q_d$에서, 어떤 에지 순서에 대해 가장 긴 증가 경로의 최소 길이인 $f(Q_d)$의 渐近 행동은 어떻게 되는가?
• RQ2 희박한 간선 확률에서의 무작위 그래프 $G(n,p)$에 대해 $f(G(n,p))$는 어떻게 행동하는가?
• RQ3 평균 차수에 대한 $f(G)$의 하한을 개선하거나 특정 그래프 가족으로 확장할 수 있는가?
• RQ4 최대 차수 또는 색칠 수에 대한 $f(G)$에 대한 가장 날것인 상한은 무엇인가?
• RQ5 무작위 에지 순서에서 $G(n,p)$의 구조가 긴 증가 경로의 존재에 어떻게 영향을 미치는가?

주요 결과

• d차원 초월 큐브 $Q_d$에 대해, $f(Q_d) \in \left[\frac{d}{\log d}, d\right]$임이 입증되었으며, 상한은 $\chi'(Q_d) \leq d+1$과 초월 큐브가 $d$-정규 그래프임을 고려하여 유도되었다.
• 하한 $f(Q_d) \geq \frac{d}{\log d}$는 Lemma 3을 통해 $k = \lceil d / \log d \rceil$일 때 $2\zeta_k - k + 1 < d$임을 보여서 확립되었다.
• 무작위 그래프 $G(n,p)$에 대해, $p \leq \frac{\log n}{\sqrt{n}} \omega(n)$일 때 거의 확실하게 $f(G(n,p)) \geq \frac{(1-o(1))np}{\omega(n)\log n}$임이 증명되었다.
• Corollary 7은 $p \geq \frac{\log n}{\sqrt{n}} \omega(n)$일 때, 거의 확실하게 $f(G(n,p)) \geq (1-o(1))\sqrt{n}$임을 보여주며, 이는 $K_n$에 대해 알려진 최고의 하한과 일치한다.
• $G(n,p)$에 대한 경계는 하한이 로그 인자 정도를 제외하고 날것이며, 거의 확실하게 $f(G(n,p)) \leq (1+o(1))np$이므로 최대 차수 경계와 일치한다.
• 결과적으로, $p \ll 1$인 희박한 그래프인 $G(n,p)$도 여전히 길이 $\sqrt{n}$의 증가 경로를 지닐 수 있으며, 이는 완전 그래프에 대해 알려진 최고의 경계와 일치한다.