[논문 리뷰] Perfect matchings in random sparsifications of Dirac hypergraphs

Dong Yeap Kang, Tom Kelly외 3명|arXiv (Cornell University)|2022. 11. 02.

Limits and Structures in Graph Theory인용 수 4

한 줄 요약

이 논문은 $k$-균일 초그래프의 랜덤 희박화에서 강력한 딜라크 유형 정리들을 확립한다. $n \in k\mathbb{N}$ 이고 $p = \Omega(n^{-k+1}\log n)$ 이면, 만약 초그래프 $\mathcal{H}$ 가 최소 $(k-1)$-도 조건 $\delta_{k-1}(\mathcal{H}) \geq m_{k-1}(k,n)$ 를 만족한다면, 그 $p$-랜덤 부분초그래프 $\mathcal{H}_p$ 는 거의 확실히 완전 매칭을 포함한다. 결과는 더 낮은 도 조건으로도 확장되며, 추가적인 $\gamma\binom{n-d}{k-d}$ 항을 포함한다. 또한 완전 매칭의 수가 $\exp((1-1/k)n\log n - \Theta(n))$ 이상임을 보이며, 이는 $\exp(\Theta(n))$ 요소를 제외하고 최적이다.

ABSTRACT

For all integers $n \geq k > d \geq 1$, let $m_{d}(k,n)$ be the minimum integer $D \geq 0$ such that every $k$-uniform $n$-vertex hypergraph $\mathcal H$ with minimum $d$-degree $δ_{d}(\mathcal H)$ at least $D$ has an optimal matching. For every fixed integer $k \geq 3$, we show that for $n \in k \mathbb{N}$ and $p = Ω(n^{-k+1} \log n)$, if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_{k-1}(\mathcal H) \geq m_{k-1}(k,n)$, then a.a.s.\ its $p$-random subhypergraph $\mathcal H_p$ contains a perfect matching. Moreover, for every fixed integer $d < k$ and $γ> 0$, we show that the same conclusion holds if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $δ_d(\mathcal H) \geq m_{d}(k,n) + γ\binom{n - d}{k - d}$. Both of these results strengthen Johansson, Kahn, and Vu's seminal solution to Shamir's problem and can be viewed as ``robust'' versions of hypergraph Dirac-type results. In addition, we also show that in both cases above, $\mathcal H$ has at least $\exp((1-1/k)n \log n - Θ(n))$ many perfect matchings, which is best possible up to an $\exp(Θ(n))$ factor.

연구 동기 및 목표

• 랜덤 희박화에서 $k$-균일 초그래프가 완전 매칭을 포함하는 조건을 확립하여 셰미르 문제의 강력한 형태를 해결하는 것.
• 최소 $d$-도 조건에 추가적인 $\gamma\binom{n-d}{k-d}$ 항을 포함한 경우, 거의 확실히 완전 매칭이 존재함을 보여주는 딜라크 유형 정리의 랜덤 부분초그래프로의 확장.
• 이러한 초그래프에서 완전 매칭의 점근적 수를 결정하여, 최소 $\exp((1-1/k)n\log n - \Theta(n))$ 이상임을 보이며, 이는 $\exp(\Theta(n))$ 요소를 제외하고 최적의 bound와 일치함.
• 디라크 유형 최소 도 조건을 만족하는 초그래프의 랜덤 희박화가 거의 확실히 완전 매칭을 유지함을 보여주어, 극도의 및 확률론적 초그래프 이론을 통합하는 것.

제안 방법

• 거의 완전 매칭을 구성한 후 잔여 정점을 완전 매칭으로 흡수하는 흡수 방법의 사용.
• 가짜난수성 성질을 통한 랜덤 부분초그래프의 구조 제어를 위한 산만성 및 일반성 프레임워크의 적용.
• 체르노프 경계와 농도 불등식을 사용하여, 랜덤 정점 부분집합이 최소 도 조건을 거의 확실히 유지함을 보임.
• $\alpha$-일반성 조건과 도 분포 분석을 활용하여 랜덤 부분초그래프를 기준 초그래프 $\mathcal{K}_{r^*}$ 와 비교.
• 크기와 도 분포를 제어하는 랜덤 분할 $U_\ell$ 을 구성하여 일반성 조건이 거의 확실히 유지됨을 보장.
• 반복적 흡수와 확률론적 임bedding 기법을 사용하여 초그래프의 다층적 구조에서 여러 수준의 도 조건 계층을 수립.

실험 결과

연구 질문

• RQ1 $k$-균일 초그래프의 최소 $d$-도 조건이 무엇일 때, 그 $p$-랜덤 부분초그래프가 거의 확실히 완전 매칭을 포함하는가?
• RQ2 원래 초그래프가 딜라크 유형 최소 코드그리드 조건을 만족할 때, 랜덤 희박화 하에서 완전 매칭의 임계 조건이 어떻게 강력하게 유지되는가?
• RQ3 $m_{k-1}(k,n)$ 코드그리드 임계 조건을 만족하는 $k$-균일 초그래프에서 존재하는 완전 매칭의 최소 수는 얼마이며, 이 수는 $n$ 과 어떻게 척도화되는가?
• RQ4 $\gamma\binom{n-d}{k-d}$ 항이 최소 $d$-도 조건에 추가될 경우, 랜덤 부분초그래프에서 완전 매칭의 존재에 어떤 영향을 미치는가?

주요 결과

• $n \in k\mathbb{N}$ 이고 $p = \Omega(n^{-k+1}\log n)$ 이면, $\delta_{k-1}(\mathcal{H}) \geq m_{k-1}(k,n)$ 이면 $\mathcal{H}_p$ 는 거의 확실히 완전 매칭을 포함한다.
• 모든 고정된 $d < k$ 와 $\gamma > 0$ 에 대해, $\delta_d(\mathcal{H}) \geq m_d(k,n) + \gamma\binom{n-d}{k-d}$ 이면 $\mathcal{H}_p$ 는 거의 확실히 완전 매칭을 포함한다.
• 이러한 초그래프에서 완전 매칭의 수는 최소 $\exp((1-1/k)n\log n - \Theta(n))$ 이며, 이는 $\exp(\Theta(n))$ 요소를 제외하고 최적이다.
• 결과는 초그래프에 대한 딜라크 유형 정리의 강력한 형태를 제공하며, 셰미르 문제의 해법을 랜덤 희박화 설정으로 확장한다.
• 증명은 흡수 방법, 가짜난수성, 농도 불등식의 조합을 통해 랜덤 부분초그래프의 구조를 제어하는 데 기반한다.