[論文レビュー] Matchings in $k$-partite $k$-uniform Hypergraphs

Jie Han, Chuanyun Zang+1 more|arXiv (Cornell University)|Nov 1, 2016

Limits and Structures in Graph Theory参考文献 25被引用数 4

ひとこと要約

本稿は、$k$-部グラフの$k$-一様超グラフにおける大きなマッチングの存在を保証するタイトな最小コードグラフ条件を確立する。2つの極端な状況を扱えるように吸収法を拡張することで、少なくとも2つの部のコードグラフが$n$に対して線形であれば、超グラフはサイズ$\min\{n-1, \sum a_i\}$のマッチングを含むことが示され、RödlとRucińskiの予想を解決し、$k$-部超グラフにおけるほぼ完全マッチングに関する先行結果を一般化する。

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.

研究の動機と目的

• $k \geq 3$ に対して、$k$-部$k$-一様超グラフにおける大きなマッチングを保証する最小コードグラフ閾値を特定すること。
• RödlとRucińskiの予想を解決すること：$n \equiv 1 \pmod{k}$ のとき、部の最小コードグラフが$\lfloor n/k\rfloor$以上であれば、サイズ$n-1$のマッチングが存在することを示すこと。
• コードグラフの仮定を緩和し、和の条件と2つの非小コードグラフを含む形で、先行のほぼ完全マッチングに関する結果を一般化すること。
• $k$-部超グラフにおける複数の極端な構造を処理できる洗練された吸収法を開発すること。

提案手法

• 吸収法を用いてほぼ完全マッチングを構築し、残りの頂点をほぼ完全な部分超グラフによる吸収で処理する。
• 2段階の構成法を適用：まずコードグラフ条件を用いて大きなマッチングを構築し、次に未マッチド集合を追加のマッチングでバランスさせる。
• 小さなマッチングには貪欲法を用い、コードグラフが不均衡な場合には極端な構造を活用する。
• 未マッチド頂点集合のサイズを各部で均等にするためのサイズバランス化手順を実装し、最終的なマッチングがほぼ完全になるように保証する。
• 確率的および極端な議論を用いて、悪い辺の数を抑え、残余グラフに望ましいマッチングが存在することを保証する。
• 初期マッチングを除去した残余超グラフが、定理5.1により完全またはほぼ完全マッチングを含む条件を満たしていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 部のサイズが$n$である$k$-部$k$-一様超グラフにおいて、サイズ$n-1$のマッチングを保証する最小部コードグラフ条件は何か？
• 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 1つのコードグラフが大きく、他のコードグラフが小さい場合に、吸収法がすべての極端な構成を処理できるか？

主な発見

• $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$のマッチングが存在し、これは最良の可能な閾値に一致する。
• 証明は、吸収法を2つの異なる極端な状況に拡張することで、従来の手法よりもより頑健なものとなった。
• $a_1$が$n$に近く、$a_2, \dots, a_k$が小さい場合、この方法は失敗するため、このケースは未解決のまま残っている。
• 結果は鋭い：極端な構成によって、閾値条件をさらに緩和することはできないことが示された。