[논문 리뷰] Matchings in $k$-partite $k$-uniform Hypergraphs

Jie Han, Chuanyun Zang외 1명|arXiv (Cornell University)|2016. 11. 01.

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

한 줄 요약

이 논문은 $k$-분할 $k$-균일 초그래프에서 큰 매칭을 찾기 위한 날카운 코드그리 조건을 확립한다. 두 개의 극한 케이스를 다룰 수 있도록 흡수 방법을 확장함으로써, 만약 적어도 두 개의 분할 코드그리가 $n$에 대해 선형이라면, 초그래프는 크기가 $\min\{n-1, \sum a_i\}$인 매칭을 포함함을 증명한다. 이는 Rödl과 Ruciński의 추측을 해결하고, 이전의 거의 완전 매칭에 관한 결과를 일반화한다.

ABSTRACT

For $k\ge 3$ and $ε>0$, let $H$ be a $k$-partite $k$-graph with parts $V_1,\dots, V_k$ each of size $n$, where $n$ is sufficiently large. Assume that for each $i\in [k]$, every $(k-1)$-set in $\prod_{j\in [k]\setminus \{i\}} V_i$ lies in at least $a_i$ edges, and $a_1\ge a_2\ge \cdots \ge a_k$. We show that if $a_1, a_2\ge εn$, then $H$ contains a matching of size $\min\{n-1, \sum_{i\in [k]}a_i\}$. In particular, $H$ contains a matching of size $n-1$ if each crossing $(k-1)$-set lies in at least $\lceil n/k ceil$ edges, or each crossing $(k-1)$-set lies in at least $\lfloor n/k floor$ edges and $n\equiv 1\bmod k$. This special case answers a question of Rödl and Ruciński and was independently obtained by Lu, Wang, and Yu. The proof of Lu, Wang, and Yu closely follows the approach of Han [Combin. Probab. Comput. 24 (2015), 723--732] by using the absorbing method and considering an extremal case. In contrast, our result is more general and its proof is thus more involved: it uses a more complex absorbing method and deals with two extremal cases.

연구 동기 및 목표

• 분할 수가 $n$인 $k$-분할 $k$-균일 초그래프에서 큰 매칭을 보장하는 최소 코드그리 임계값을 결정하는 것 (단, $k \geq 3$).
• Rödl과 Ruciński의 추측을 해결하는 것: $n \equiv 1 \pmod{k}$ 이면, 분할 최소 코드그리가 $\lfloor n/k\rfloor$ 이상일 때 크기가 $n-1$인 매칭이 존재한다는 것.
• 기존의 거의 완전 매칭에 관한 결과를 일반화하여 코드그리 조건을 완화하고, 합 조건과 두 개 이상의 비작은 코드그리 조건을 포함하는 조건을 도입하는 것.
• 다양한 극한 구조를 다룰 수 있는 정교한 흡수 방법을 개발하는 것 — $k$-분할 초그래프에서의 다수의 극한 구성에 대응 가능하도록.

제안 방법

• 흡수 방법을 사용하여 거의 완전 매칭을 구성하고, 잔여 정점들을 거의 완전한 부분초그래프를 통해 흡수한다.
• 이중 단계 구성 기법을 적용: 먼저 코드그리 조건을 활용해 큰 매칭을 구축하고, 이후 나머지 정점 집합을 추가 매칭을 통해 균형을 맞춘다.
• 소규모 매칭에 대해 근사 알고리즘을 사용하고, 코드그리가 비균형적일 경우 극한 구조를 활용한다.
• 잔여 정점 집합의 크기를 각 분할 간에 균형 있게 맞추는 크기 균형 조정 절차를 구현하여, 최종 매칭이 거의 완전해지도록 보장한다.
• 확률론적 및 극한 구조적 추론을 사용해 나쁜 간선의 수를 제한하고, 잔여 그래프에서 원하는 매칭의 존재를 보장한다.
• 초기 매칭을 제거한 후의 잔여 초그래프가 Theorem 5.1에 의해 완전하거나 거의 완전한 매칭 조건을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 크기가 $n$인 분할을 가진 $k$-분할 $k$-균일 초그래프에서, 분할 코드그리 조건이 크기가 $n-1$인 매칭을 보장하기 위한 최소 조건은 무엇인가? (단, $k \geq 3$)
• RQ2 만약 $n \equiv 1 \pmod{k}$ 이면, $\lceil n/k \rceil$에서 $\lfloor n/k \rfloor$로 매칭 크기 $n-1$에 대한 임계값을 낮출 수 있는가?
• RQ3 분할 코드그리 $a_1, \dots, a_k$ 에 대해 어떤 조건이 성립할 경우, $k$-분할 $k$-균일 초그래프가 크기가 $\min\{n-1, \sum a_i\}$인 매칭을 포함하는가?
• RQ4 한 개의 코드그리가 크고 나머지 코드그리가 작을 경우, 흡수 방법이 모든 극한 구성에 대응할 수 있는가?

주요 결과

• 모든 $k \geq 3$ 및 $\epsilon > 0$에 대해, $n_0$가 존재하여, $H$가 분할 크기가 $n \geq n_0$인 $k$-분할 $k$-균일 초그래프이고, $a_i = \delta'_{k-1}(H)$, $a_1 \geq \cdots \geq a_k$, $a_2 > \epsilon n$ 이면, $H$는 크기가 $\min\{n-1, \sum_{i=1}^k a_i\}$인 매칭을 포함한다.
• 이 결과는 Rödl과 Ruciński의 추측을 확인한다: 만약 $n \equiv 1 \pmod{k}$ 이고 $\delta'_{k-1}(H) \geq \lfloor n/k \rfloor$ 이면, $H$는 크기가 $n-1$인 매칭을 포함한다.
• $\delta'_{k-1}(H) \geq \lceil n/k \rceil$ 이면 크기가 $n-1$인 매칭이 존재하며, 이는 가능한 최고의 임계값과 일치한다.
• 증명 과정에서 흡수 방법이 두 가지 다른 극한 케이스를 다룰 수 있도록 확장되어, 이전 방법보다 더 강력하다.
• $a_1$이 $n$에 가까우면서 $a_2, \dots, a_k$가 작을 경우, 방법이 실패하므로 이 경우는 여전히 열려 있다.
• 결과는 날카로운 조건을 가진다: 극한 구성에 의해 조건을 더 이상 약화시킬 수 없음을 보여준다.