[논문 리뷰] $F$-factors in hypergraphs via absorption

Allan Lo, Klas Markström|arXiv (Cornell University)|2011. 05. 17.

Limits and Structures in Graph Theory참고 문헌 15인용 수 21

한 줄 요약

이 논문은 $F$-요소를 갖는 $k$-균일 초그래프에서 흡수 기법을 일반화하여, $F$-요소에 대한 점점 증가하는 최소 $l$-차수 임계값을 확립한다. $t^3_1(n,K_3^3(m))$와 $t^3_2(n,K_t^3)$의 점점 증가하는 값을 결정하며, Pikhurko의 질문을 해결하여 $t^3_2(n,K_4^3) = (3/4 + o(1))n$임을 증명한다. $k \geq 6$ 및 $t \geq (3+\sqrt{5})k/2$인 경우 $t^k_{k-1}(n,K_t^k)$에 대한 경계를 제공한다. 이 접근법은 R"{o}dl, Ruci{\'c}inska, 및 Szemer{\'e}di의 흡수 기법을 일반 $F$-요소로 확장하여 초그래프에서 여러 $F$-요소 문제에 대한 정확한 임계값 결정을 가능하게 한다.

ABSTRACT

Given integers $ n \ge k >l \ge 1 $ and a $k$-graph $F$ with $|V(F)|$ divisible by $n$, define $t_l^k(n,F)$ to be the smallest integer $d$ such that every $k$-graph $H$ of order $n$ with minimum $l$-degree $δ_l(H) \ge d $ contains an $F$-factor. A classical theorem of Hajnal and Szemerédi implies that $t^2_1(n,K_t) = (1-1/t)n$ for integers $t$. For $k \ge 3$, $t^k_{k-1}(n,K_k^k)$ (the $δ_{k-1}(H)$ threshold for perfect matchings) has been determined by Kühn and Osthus (asymptotically) and Rödl, Ruciński and Szemerédi (exactly) for large $n$. In this paper, we generalise the absorption technique of Rödl, Ruciński and Szemerédi to $F$-factors. We determine the asymptotic values of $t^k_1(n,K_k^k(m))$ for $k = 3,4$ and $m \ge 1$. In addition, we show that for $t>k = 3$ and $γ>0$, $ t^3_{2}(n,K_t^3) \le (1- \frac{2}{t^2-3t+4} + γ) n$ provided $n$ is large and $t | n$. We also bound $t^3_{2}(n,K_t^3)$ from below. In particular, we deduce that $t^3_2(n,K_4^3) = (3/4+o(1))n$ answering a question of Pikhurko. In addition, we prove that $t^k_{k-1}(n,K_t^k) \le (1- \binom{t-1}{k-1}^{-1} + γ)n$ for $γ>0$, $k \ge 6$ and $t \ge (3+ \sqrt5)k/2$ provided $n$ is large and $t | n$.

연구 동기 및 목표

• 완전 매칭에서 일반 $F$-요소로의 흡수 기법을 $k$-균일 초그래프로 확장하기.
• 완전 $k$-그래프 $K_t^k$를 갖는 $F$-요소에 대해 $k$-그래프에서의 점점 증가하는 최소 $l$-차수 임계값 $t^k_l(n,F)$를 결정하기.
• Pikhurko의 질문을 해결하여 $t^3_2(n,K_4^3)$의 정확한 값을 $(3/4 + o(1))n$로 보여주기.
• $k \geq 6$ 및 $t \geq (3+\sqrt{5})k/2$인 경우 $t^k_{k-1}(n,K_t^k)$에 대한 상한 및 하한을 제공하여 점점 증가하는 임계값을 확립하기.

제안 방법

• 흡수 프레임워크를 $F$-요소로 확장하기 위해 $(F,i,\eta)$-근접성 및 $(F,i,\eta)$-폐쇄성의 일반화된 개념을 도입한다.
• 흡수 기법을 조정하여, $\varepsilon n$개 이하의 정점만을 제외한 거의 $F$-요소를 찾는 문제로 문제를 축소한다.
• 확률론적 및 극한 조합적 추론을 사용하여, 유한한 수의 정점로 선형 수의 $F$-요소를 흡수할 수 있음을 보여준다.
• $K_{t-1}^k$-복사본을 통한 다리 구조를 적용하여 부분 $F$-요소의 다수의 확장 가능성을 생성함으로써 흡수를 가능하게 한다.
• $K_{t-1}^k$-복사본의 수와 그 연결 집합을 기반으로 한 세고 기법을 사용하여 흡수에 필요한 충분한 연결성을 확보한다.
• 규칙성 방법과 안정성 추론을 활용하여 최소 $l$-차수가 높은 초그래프의 구조를 제어한다.

실험 결과

연구 질문

• RQ1 모든 $m \geq 1$에 대해 $t^3_1(n,K_3^3(m))$의 점점 증가하는 값은 무엇인가요?
• RQ2 3-균일 초그래프에서 $K_t^3$-요소에 대한 최소 2-차수 임계값 $t^3_2(n,K_t^3)$은 무엇이며, $t$에 따라 어떻게 변화합니까?
• RQ3 흡수 기법은 임의의 $F$에 대해 $k$-그래프에서 완전 매칭을 초월하여 $F$-요소로 일반화될 수 있나요?
• RQ4 $t^3_2(n,K_4^3) = (3/4 + o(1))n$인지 확인하여 Pikhurko의 질문을 해결할 수 있나요?
• RQ5 $k \geq 6$ 및 $t$가 충분히 클 경우 $k$-균일 초그래프에서 $t^k_{k-1}(n,K_t^k)$의 점점 증가하는 임계값은 무엇입니까?

주요 결과

• $m \geq 1$인 모든 $m$에 대해 $t^3_1(n,K_3^3(m))$의 점점 증가하는 값이 결정되었으며, 3-그래프에서의 $F$-요소에 대한 기존 결과를 확장한다.
• $t^3_2(n,K_4^3) = (3/4 + o(1))n$임을 증명하여 Pikhurko의 질문을 해결한다.
• $k = 3$ 및 $t > k = 3$, $\gamma > 0$일 때, $t|n$인 큰 $n$에 대해 $t^3_2(n,K_t^3) \leq \left(1 - \frac{2}{t^2 - 3t + 4} + \gamma\right)n$이 성립함을 보여주며, 이는 날카운 상한을 제공한다.
• $k \geq 6$ 및 $t \geq (3+\sqrt{5})k/2$인 경우, $t|n$인 큰 $n$에 대해 $t^k_{k-1}(n,K_t^k) \leq \left(1 - \binom{t-1}{k-1}^{-1} + \gamma\right)n$이 성립함을 보여주며, 일반적인 점점 증가하는 임계값을 확립한다.
• $t^3_2(n,K_t^3)$에 대한 하한을 제공하여, $t=4$의 경우 상한의 날카로움을 확인한다.
• 흡수 기법이 $k$-그래프에서의 $F$-요소로 성공적으로 일반화되어, 여러 $F$-요소 문제에 대한 점점 증가하는 임계값 결정이 가능해졌다.