[논문 리뷰] Packing Hamilton Cycles in Random and Pseudo-Random Hypergraphs

Alan Frieze, Michael Krivelevich|arXiv (Cornell University)|2010. 03. 09.

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

한 줄 요약

이 논문은 랜덤 및 가짜 랜덤 k-균일 초그래프의 거의 모든 간선이 유형 ℓ의 간선-소속이 아닌 해밀턴 사이클로 패킹될 수 있는 충분한 조건을 설정한다. 여기서 1 ≤ ℓ ≤ k 이고 ℓ ≤ k ≤ 2ℓ 이다. 확률적 방법과 차수 기반 정규성 조건을 사용하여, 간선 확률 p ≫ log²n/n 일 때, 거의 확실히 H(n,p,k)는 (1−o(1))·(n 선택 k)·p/νℓ개의 간선-소속이 아닌 유형-ℓ 해밀턴 사이클을 포함한다. 이는 이전의 랜덤 그래프에서의 해밀턴 사이클 패킹 결과를 초그래프 설정으로 확장하며, 사이클 구조와 간선 소속성에 대한 엄밀한 통제를 제공한다.

ABSTRACT

We say that a $k$-uniform hypergraph $C$ is a Hamilton cycle of type $\ell$, for some $1\le \ell \le k$, if there exists a cyclic ordering of the vertices of $C$ such that every edge consists of $k$ consecutive vertices and for every pair of consecutive edges $E_{i-1},E_i$ in $C$ (in the natural ordering of the edges) we have $|E_{i-1}-E_i|=\ell$. We prove that for $\ell \le k\le 2\ell$, with high probability almost all edges of a random $k$-uniform hypergraph $H(n,p,k)$ with $p(n)\gg \log^2 n/n$ can be decomposed into edge disjoint type $\ell$ Hamilton cycles. We also provide sufficient conditions for decomposing almost all edges of a pseudo-random $k$-uniform hypergraph into type $\ell$ Hamilton cycles, for $\ell \le k\le 2\ell$. For the case $\ell=k$ these results show that almost all edges of corresponding random and pseudo-random hypergraphs can be packed into disjoint perfect matchings.

연구 동기 및 목표

• 랜덤 그래프에서의 해밀턴 사이클 패킹 이론을 랜덤 및 가짜 랜덤 k-균일 초그래프로 확장하기 위해.
• 연속된 간선이 정확히 ℓ개의 정점에서 겹치는 방식으로 정의되는 k-균일 초그래프에서의 유형-ℓ 해밀턴 사이클을 정의하고 분석하기 위해.
• 정점 차수와 공차수 정규성 기반의 충분한 조건을 설정하여, 거의 모든 간선을 간선-소속이 아닌 유형-ℓ 해밀턴 사이클로 분해하기 위해.
• 특히 ℓ ≥ k/2일 경우에 대해 이러한 패킹이 거의 확실히 성립하도록 보장하는 간선 확률 p(n)에 대한 날카로운 경계를 제공하기 위해.
• 이전의 랜덤 그래프에서의 해밀턴 사이클 패킹 결과를 초그래프 영역으로 일반화하기 위해, 특히 ℓ = k일 경우(완벽한 매칭)를 포함하여.

제안 방법

• k-균일 초그래프에서의 유형-ℓ 해밀턴 사이클을, 각 간선이 k개의 연속된 정점으로 이루어지고, 연속된 간선이 정확히 ℓ개의 정점에서 겹치는 순환적 간선 시퀀스로 정의한다.
• 랜덤 초그래프에서의 기대 차수를 바탕으로, 크기가 2(k−ℓ), 2ℓ−k 등인 정점 집합의 최소 및 최대 차수에 대한 정규성 조건(Pa–Pf)을 도입한다.
• 체르노프 불등식과 마팅게일 집중 불등식을 사용하여, 랜덤 및 가짜 랜덤 초그래프가 거의 확실히 이러한 정규성 조건을 만족함을 보인다.
• 랜덤 분할 및 레이블링을 통한 간선-소속이 아닌 해밀턴 사이클 구축: 정점 집합을 부분집합으로 분할하고, 랜덤 부분 구조에 포함된 간선에 레이블을 할당하며, 정규성 조건을 이용해 레이블된 그래프에서 해밀턴 사이클이 존재함을 보장한다.
• 레이블된 부분그래프 Gi에 대해 정리 1((α,ε)-정규 그래프에서의 해밀턴 사이클 패킹)을 적용하여 간선-소속이 아닌 사이클의 수에 하한을 도출한다.
• 제시된 p(n) 및 ǫ 조건 하에서, 결과적으로 생성된 사이클들이 간선-소속이면서 총 간선 집합의 (1−o(1))를 커버함을 증명한다.

실험 결과

연구 질문

• RQ1 ℓ ≤ k ≤ 2ℓ 인 경우에 대해, 거의 확실히 H(n,p,k)의 거의 모든 간선이 간선-소속이 아닌 유형-ℓ 해밀턴 사이클로 패킹될 수 있는 임계 간선 확률 p(n)은 얼마인가?
• RQ2 가짜 랜덤 k-균일 초그래프의 차수 및 공차수 분포에 대한 충분한 조건이, 거의 완전한 간선 패킹을 유형-ℓ 해밀턴 사이클로 보장할 수 있는가?
• RQ3 연속된 간선 간에 ℓ개의 정점으로 겹치는 방식으로 정의되는 유형-ℓ 해밀턴 사이클의 구조가, 이러한 패킹의 가능성과 밀도에 어떤 영향을 미치는가?
• RQ4 이론적으로 랜덤 그래프에서 사용된 기법들이, o(n^k)개의 간선만 존재하는 희박한 영역에서 초그래프로 어떻게 확장될 수 있는가?
• RQ5 이러한 패킹이 거의 확실히 성립하기 위해 필요한 p(n)과 정규성 매개변수 ε의 가장 날카로운 경계는 무엇인가?

주요 결과

• ℓ ≤ k ≤ 2ℓ 이고 p(n) ≫ log²n/n 일 때, 거의 확실히 H(n,p,k)는 (1−o(1))·(n 선택 k)·p/νℓ개의 간선-소속이 아닌 유형-ℓ 해밀턴 사이클을 포함한다.
• 이러한 사이클의 수는 총 간선 집합의 (1−o(1))를 커버하므로 점근적으로 최적이다.
• ℓ = k일 경우, 결과는 거의 확실히 H(n,p,k)의 거의 모든 간선이 간선-소속이 아닌 완벽한 매칭으로 패킹될 수 있음을 시사한다.
• 가짜 랜덤 초그래프에 대한 충분한 조건(Pa–Pf)이 랜덤 초그래프에서도 거의 확실히 성립함을 보여, 결과가 두 모델 모두에 적용 가능함을 입증한다.
• 이 방법은 랜덤 분할 및 레이블링에 기반하며, 이후 정리 1을 부분그래프 Gi에 적용하여 정규성에 의해 해밀턴 사이클 존재를 보장한다.
• 분석은 체르노프 불등식과 마팅게일 유형의 추론을 사용하여, 레이블된 부분그래프 Gi가 (α,ε)-정규임을 확인함으로써, 사이클 패킹이 가능함을 보장한다.