[論文レビュー] Large matchings in uniform hypergraphs and the conjectures of Erdos and Samuels

Noga Alon, Péter Frankl+4 more|arXiv (Cornell University)|Jul 6, 2011

Limits and Structures in Graph Theory参考文献 20被引用数 5

ひとこと要約

本稿は、$k$-一様超グラフにおける完全マッチングおよび完全分数マッチングの存在を保証する最小 $d$-次数に関する漸近的タイトな境界を確立する。問題をマッチング数が与えられたときの極値超グラフの辺数に関するエルデシュの予想に還元し、特殊ケースを確率的技法を用いて解き、4-一様および5-一様超グラフにおける完全マッチングの漸近的閾値を同定する。

ABSTRACT

In this paper we study conditions which guarantee the existence of perfect matchings and perfect fractional matchings in uniform hypergraphs. We reduce this problem to an old conjecture by Erdős on estimating the maximum number of edges in a hypergraph when the (fractional) matching number is given, which we are able to solve in some special cases using probabilistic techniques. Based on these results, we obtain some general theorems on the minimum $d$-degree ensuring the existence of perfect (fractional) matchings. In particular, we asymptotically determine the minimum vertex degree which guarantees a perfect matching in 4-uniform and 5-uniform hypergraphs. We also discuss an application to a problem of finding an optimal data allocation in a distributed storage system.

研究の動機と目的

• 固定された $k$ および $d$ に対して、$k$-一様超グラフにおける完全マッチングを保証する最小 $d$-次数条件を特定すること。
• マッチング数が与えられたときの極値超グラフの辺数に関する予想に還元することで、完全マッチングのディラック型閾値 $m_d(k,n)$ の漸近的挙動を解明すること。
• 完全分数マッチングと超グラフの極値辺数に関するエルデシュの予想の分数版との関係を調査すること。
• 得られた結果を分散ストレージの割り当て問題に応用し、特定のデータ割り当て戦略が漸近的に最適であることを示すこと。

提案手法

• エルデシュが提起した、与えられた分数マッチング数を持つ $k$-一様超グラフにおける最大辺数を推定することに帰着することで、$m_d(k,n)$ を特定する問題を簡略化する。
• 特に $l$ が一様性であるとき $x \leq \frac{1}{l+1}$ の場合に、確率的技法を用いてエルデシュの予想の分数版を特殊ケースで証明する。
• 対称関数の最大値に関するサムエルズの予想を適用し、分数マッチング数を束縛することで、極値超グラフ理論と結びつける。
• 極値超グラフ $H_0$ および $H_1(s)$ が下界を達成することを解析することで、$f_d(k,n)$ および $m_d(k,n)$ の漸近的境界を導出する。
• 分数マッチングと分数頂点被覆の双対性を用いて、線形計画法とその双対を介して $\nu^*(H)$ を特徴づける。
• 得られた結果を分散ストレージシステムに応用し、最適なデータ割り当てが極値超グラフ構成に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 $k$-一様超グラフにおける完全マッチングを保証する漸近的最小 $d$-次数は何か？
• RQ2 マッチング数が有界な $k$-一様超グラフにおける極値辺数と分数マッチング数 $\nu^*(H)$ との関係は何か？
• RQ3 確率的技法を用いて、パラメータの範囲内でエルデシュの極値超グラフ予想の分数版を証明できるか？
• RQ4 サムエルズの予想と分数マッチング制約の下での辺数最大化の極値問題との関係は何か？
• RQ5 超グラフマッチングに関する結果をどのように分散ストレージシステムのデータ割り当て最適化に応用できるか？

主な発見

• 4-一様の場合、完全マッチングを保証する最小1-次数は $m_1(4,n) \sim \left(1 - \frac{3^3}{4^4}\right)\binom{n-1}{3}$ を満たし、5-一様の場合には $m_1(5,n) \sim \left(1 - \frac{4^4}{5^4}\right)\binom{n-1}{4}$ である。
• $m_d(k,n)$ の漸近的挙動は、$\max\{c^*, \frac{1}{2}\}\binom{n-d}{k-d}$ で与えられ、ここで $c^*$ は分数エルデシュ予想の解である。
• 一様性が $l$ である超グラフで $\nu^*(H) = xm$ のとき、分数マッチング数 $\nu^*(H)$ は、分数エルデシュ予想の下で $\max\left\{(lx)^l, 1 - (1-x)^l\right\}\binom{m}{l}$ で上界が与えられる。
• $r=3$ および $T < 0.277n$、$r=4$ および $T < 0.217n$ の場合、最適なストレージ割り当ては $x_1 = \cdots = x_T = 1$, $x_{T+1} = \cdots = x_n = 0$ に対応し、これは極値超グラフ構成と一致する。
• 著者らは $k \geq 2$ に対して $f_{k-1}(k,n) = \lceil n/k \rceil$ を証明し、完全マッチングよりも分数マッチングのほうがはるかに低い最小次数で十分であることを示している。
• 本稿では、分数エルデシュ予想がサムエルズの対称関数に関する予想と漸近的に同値であることを確立し、$x \leq \frac{1}{l+1}$ の範囲で確率的技法を用いてそれを証明している。