[논문 리뷰] Codegree conditions for tiling complete $k$-partite $k$-graphs and loose cycles

Wei Gao, Jie Han외 1명|arXiv (Cornell University)|2016. 12. 21.

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

한 줄 요약

이 논문은 완전한 $k$-분할 $k$-그래프와 $k$-균일 초그래프에서의 루프 없는 순환의 코드도 조건을 향상시켰으며, 격자 기반 초그래프 구성 방법을 사용하여 여러 유형의 그래프에서 Mycroft의 오차 항에 대한 추측이 잘못되었음을 입증함으로써, Mycroft의 추측이 오차 항이 절대적 상수로 유계화될 수 있다는 것에 대해 반례를 제시함. 이는 $K^{(k)}(1,\dots,1,2)$와 루프 없는 순환에 대해 渐近적으로 날카로운 코드도 임계값을 확립함으로써 해결함.

ABSTRACT

Given two $k$-graphs ($k$-uniform hypergraphs) $F$ and $H$, a perfect $F$-tiling (or an $F$-factor) in $H$ is a set of vertex disjoint copies of $F$ that together cover the vertex set of $H$. For all complete $k$-partite $k$-graphs $K$, Mycroft proved a minimum codegree condition that guarantees a $K$-factor in an $n$-vertex $k$-graph, which is tight up to an error term $o(n)$. In this paper we improve the error term in Mycroft's result to a sub-linear term that relates to the Turán number of $K$ when the differences of the sizes of the vertex classes of $K$ are co-prime. Furthermore, we find a construction which shows that our improved codegree condition is asymptotically tight in infinitely many cases thus disproving a conjecture of Mycroft. At last, we determine exact minimum codegree conditions for tiling $K^{(k)}(1, \dots, 1, 2)$ and tiling loose cycles thus generalizing results of Czygrinow, DeBiasio, and Nagle, and of Czygrinow, respectively.

연구 동기 및 목표

• 정점 클래스 크기 차이가 서로소일 경우, Mycroft의 $k$-그래프에서의 완전한 $F$-타일링 코드도 조건의 오차 항을 $o(n)$에서 $F$의 터런 수와 관련된 하위선형 항으로 개선하는 것.
• 코드도 임계값의 오차 항이 $F$에만 의존하는 절대적 상수로 유계화될 수 있다는 Mycroft의 추측이 잘못되었음을 반증하는 것.
• $K^{(k)}(1,\dots,1,2)$와 루프 없는 순환에 대한 $k$-그래프에서의 정확한 최소 코드도 임계값을 결정하는 것.
• Mycroft의 코드도 조건을 만족하나 $F$-팩터를 포함하지 않는 초그래프를 구성함으로써, 새로운 경계의 날카로움을 입증하는 것.

제안 방법

• 코드도 $\delta_{k-1}(G) = (1-o(1))\sqrt{n}$인 부분그래프 $G$를 사용하여, $K^{(k)}(1,\dots,1,2,2)$--free인 일반화된 공간 장벽을 구성함으로써 고전적 공간 장벽을 강화함.
• 이 $G$를 $V_1,\dots,V_p$로 분할된 격자 기반 $k$-그래프 $H_p$와 조합함. 여기서 간선은 부분격자 $L \subset \mathbb{Z}_p^p$에 속하는 색인 벡터와 대응함.
• 모든 벡터 $\mathbf{v} \in \mathbb{Z}_p^p$에 대해 정확히 하나의 이동 $\mathbf{v} + \mathbf{u}_i$가 $L$에 속한다는 성질을 이용하여, 복합 그래프 내에서 혼합 분할 복사본 $K$의 존재를 방지함.
• $H$의 임의의 $K$ 복사본이 반드시 한 개의 $V_i$ 안에 완전히 포함되어야 하며, 이는 $H_p$ 기반 코드도 하한을 상속하지만 $H_p$의 설계로 인해 $K$-팩터가 존재하지 않음을 의미함.
• 만약 $K$의 일부가 여러 $V_i$에 걸쳐 있다면, $K^{(k)}(1,\dots,1,2,2)$-하위그래프가 존재해야 하며, 이는 $G$-free 성질과 모순됨을 보여주기 위해 쌍둥이 원리(양자원리)를 적용함.
• $H_p$의 구조와 $G$-free 성질을 이용하여, $\delta_{k-1}(H) \geq n/p + (1-o(1))\sqrt{n}/p$임에도 불구하고 $H$에 $K$-팩터가 존재하지 않음을 증명함.

실험 결과

연구 질문

• RQ1 정점 클래스 크기 차이가 서로소일 경우, Mycroft의 $F$-타일링 코드도 조건에서 오차 항을 $o(n)$에서 하위선형 항으로 개선할 수 있는가?
• RQ2 Mycroft의 추측, 즉 코드도 임계값의 오차 항이 $F$에만 의존하는 절대적 상수로 유계화될 수 있다는 주장은 모든 완전한 $k$-분할 $k$-그래프에 대해 참인가?
• RQ3 $k$-그래프에서 $K^{(k)}(1,\dots,1,2)$ 타일링에 대한 정확한 최소 코드도 임계값은 무엇인가?
• RQ4 $k$-그래프에서 루프 없는 순환 타일링에 대한 정확한 최소 코드도 임계값은 무엇인가?
• RQ5 격자 기반 구성은 고도의 코드도를 가진 초그래프를 생성하면서도 $F$-팩터를 포함하지 않게 하여, 추측된 임계값을 반증하는 데 사용될 수 있는가?

주요 결과

• 정점 클래스 크기의 차이가 서로소일 경우, Mycroft의 $K^{(k)}(a_1,\dots,a_k)$-타일링 코드도 조건에서 오차 항이 $o(n)$에서 $O(\sqrt{n})$로 개선됨.
• 코드도 $\delta_{k-1}(G) = (1-o(1))\sqrt{n}$인 $K^{(k)}(1,\dots,1,2,2)$-free $k$-그래프의 구성은 고전적 공간 장벽보다 더 강력한 장벽을 제공함.
• $K^{(k)}(1,\dots,1,2)$에 대해 정확한 최소 코드도 임계값은 $\left(\frac{1}{k} + o(1)\right)n$으로 결정되었으며, Mycroft의 결과에서 유도된 渐近 경계와 일치함.
• 논문은 Mycroft의 추측을 반증함: $d \neq 1$인 유형의 $K^{(k)}(a_1,\dots,a_k)$에 대해 $a_{k-2} \geq p+1$이면 ($p$는 $d$의 최소 소인수), 오차 항은 상수로 유계화될 수 없음.
• 결합 초그래프 $H = H_p \cup G$는 코드도 $\delta_{k-1}(H) \geq n/p + (1-o(1))\sqrt{n}/p$이지만 $K$-팩터를 포함하지 않으며, 이는 임계값의 渐近 날카로움을 증명함.
• 루프 없는 순환에 대해 정확한 최소 코드도 임계값은 $\left(\frac{1}{k} + o(1)\right)n$으로 결정되었으며, 이는 이전의 $C_2^3$ 결과를 일반화함.