[논문 리뷰] Near-perfect clique-factors in sparse pseudorandom graphs

Jie Han, Yoshiharu Kohayakawa외 1명|arXiv (Cornell University)|2018. 06. 01.

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

한 줄 요약

이 논문은 고유치 bound λ ≤ c·d^{t−1}/n^{t−2}를 만족하는 희박한 가짜난수 그래프가 n^{1−1/(8t⁴)}개 이하의 정점을 제외한 거의 완전한 K_t-요소를 포함함을 증명한다. 분수 클리크-요소와 체르노프 불등식을 통한 확률적 임bedding을 사용하여, t ≥ 3인 경우 d-정규 (n,d,λ)-그래프에서 정점을 겹치지 않는 K_t 클리크의 존재를 증명하며, 가짜난수 그래프에서 삼각형-요소에 대한 오랫동안 제기된 추측을 지지한다.

ABSTRACT

We prove that, for any $t\ge 3$, there exists a constant $c=c(t)>0$ such that any $d$-regular $n$-vertex graph with the second largest eigenvalue in absolute value~$λ$ satisfying $λ\le c d^{t-1}/n^{t-2}$ contains vertex-disjoint copies of $K_t$ covering all but at most $n^{1-1/(8t^4)}$ vertices. This provides further support for the conjecture of Krivelevich, Sudakov and Szábo [\emph{Triangle factors in sparse pseudo-random graphs}, Combinatorica extbf{24} (2004), pp.~403--426] that $(n,d,λ)$-graphs with $n\in 3\mathbb{N}$ and $λ\leq cd^{2}/n$ for a suitably small absolute constant~$c>0$ contain triangle-factors.

연구 동기 및 목표

• λ ≤ cd²/n을 만족하는 (n,d,λ)-그래프가 3|n일 때 삼각형-요소를 포함한다는 추측에 강력한 증거나를 제공하는 것.
• 삼각형-요소를 초과하여 t ≥ 3인 일반적인 K_t-요소로 희박한 가짜난수 그래프에서 클리크-요소의 이해를 확장하는 것.
• 근사 완전한 K_t-요소 분해를 보장하는 d와 n에 대한 λ의 정량적 임계값을 설정하는 것.
• 스펙트럼 및 확률적 도구를 사용하여 가짜난수 그래프에서 많은 무게-독립적인 분수 K_t-요소를 구성하는 방법을 개발하는 것.
• 기존 결과와 가짜난수 그래프에서 클리크-요소에 대한 추측된 최적 고유치 한계 사이의 격차를 메우는 것.

제안 방법

• 확산 혼합 렘마를 사용하여 (n,d,λ)-그래프에서 스펙트럼 가짜난수성(λ를 통한)과 간선 분포를 연결한다.
• 분수 K_t-요소를 통한 확률적 구성: 각 정점이 기대값에서 정확히 한 번 커버되도록 삼각형에 가중치를 할당한다.
• 체르노프 불등식을 적용하여 분수 요소에서 파생된 무작위 하이퍼그래프에서 정점 및 쌍의 차수의 집중도를 보인다.
• 하이퍼그래프 매칭 정리(정리 2.1)를 적용하여 무작위 하이퍼그래프에서 큰 매칭을 추출하며, 이는 정점을 겹치지 않는 K_t 클리크에 대응한다.
• 두 가지 접근 방식을 조합: 큰 d에 대해서는 K_{t−1} 부분그래프 임베딩 기반, 작은 d에 대해서는 투런 유형의 추론을 사용하며, 후자가 더 강건하다.
• 집중 불등식과 하이퍼그래프 매칭 조건에서 유도된 매개변수를 사용하여, 결과 매칭이 O(n^{1−1/(8t⁴)})개 이하의 정점을 제외한 나머지를 커버함을 증명한다.

실험 결과

연구 질문

• RQ1 t ≥ 3인 경우, 스펙트럼 조건 λ ≤ c·d^{t−1}/n^{t−2}를 만족할 때, 희박한 가짜난수 그래프에서 거의 완전한 K_t-요소를 보장할 수 있는가?
• RQ2 λ ≤ cd²/n의 조건은 가짜난수 그래프에서 삼각형-요소에 대한 추측된 최적 한계에 얼마나 가까운가?
• RQ3 분수 K_t-요소를 많은 무게-독립적인 복제로 분해하여 K_t-클리크의 확률적 임베딩을 가능하게 할 수 있는가?
• RQ4 희박성(d)과 가짜난수성(λ) 사이의 최적의 트레이드오프는 무엇인가, 거의 스펙트럼 클리크-요소를 보장하기 위해 필요한가?
• RQ5 분수 요소와 무작위 하이퍼그래프 샘플링의 방법은 삼각형의 경우를 초월하여 일반적인 t ≥ 3로 어떻게 확장될 수 있는가?

주요 결과

• 모든 t ≥ 3에 대해, c(t) > 0인 상수 c(t)가 존재하여 λ ≤ (1/(50t·4^{t−2}))·d^{t−1}/n^{t−2}일 경우, 그래프는 n^{1−1/(8t⁴)}개 이하의 정점을 제외한 모든 정점을 커버하는 정점을 겹치지 않는 K_t 클리크를 포함한다.
• λ에 대한 이 조건은 로그 인자 수준에서 점근적으로 최적이며, 삼각형-요소에 대한 추측된 한계 λ ≤ cd²/n에 거의 근접한다.
• 오차 항 n^{1−1/(8t⁴)}을 포함하는 이 방법은 t가 증가할수록 0으로 수렴하므로, 더 큰 클리크에서 더 높은 커버리지가 가능함을 보여준다.
• 결과는 가짜난수 그래프에서 삼각형-요소에 대한 크리브레비치–수다코프–스자보 추측을 지지하며, 일반적인 K_t-요소에 대한 첫 번째 비자명한 결과를 제공한다.
• 분수 요소를 통한 확률적 구성과 체르노프 집중을 통해, 무작위 하이퍼그래프에서 매칭의 고확률 존재성을 보장한다.
• 결과는 이중화된 그래프로 확장되며, 정규 그래프를 초월한 강건성을 보이며, 넨아도프 및 다른 이들의 최근 성과와 일치한다.