[論文レビュー] A better bound on the size of rainbow matchings

Hongliang Lu, Yan Wang+1 more|arXiv (Cornell University)|Apr 27, 2020

Limits and Structures in Graph Theory参考文献 17被引用数 9

ひとこと要約

本稿は、$k$-一様超グラフにおけるレインボー一致の存在に関する著しく改善された上限を確立する。$n > 2kt$ かつ十分に大きな $n$ に対して、$[n]$ の $k$-要素部分集合の $t$ 個の族がすべて ${n \choose k} - {n-t+1 \choose k}$ を超えるならば、サイズ $t$ のレインボー一致が存在する。証明は、吸収法の技術、分数マッチング、および確率的サンプリングを組み合わせ、問題を導出された $(k+1)$-一様超グラフにおける準完全マッチングの探索に還元する。

ABSTRACT

Aharoni and Howard conjectured that, for positive integers $n,k,t$ with $n\ge k$ and $n\ge t$, if $F_1,\ldots, F_t\subseteq {[n]\choose k}$ such that $|F_i|>{n\choose k}-{n-t+1\choose k}$ for $i\in [t]$ then there exist $e_i\in F_i$ for $i\in [t]$ such that $e_1,\ldots,e_t$ are pairwise disjoint. Huang, Loh, and Sudakov proved this conjecture for $t

研究の動機と目的

• アハロンイとハワードによる、$k$-一様超グラフにおけるレインボー一致の存在に関する予想を、緩いサイズ条件のもとで解決すること。
• Huang, Loh, および Sudakov の $n > 3k^2t$ の先行結果を改善し、$n$ が十分に大きいとき、$n > 2kt$ においても予想が成り立つことを示すこと。
• $n$ の閾値を $3k^2t$ から $2kt$ に低下させることで、予想の有効範囲を拡大し、最適な境界に近づけること。
• 吸収集合、分数マッチング、および確率的サンプリングを組み合わせた、超グラフ枠組みにおけるレインボー一致の構築に新たな手法を開発すること。
• すべての $F_i$ が固定された $(t-1)$-集合と交差する $k$-集合からなる例を構築することで、エッジサイズの下界が最適であることを確認し、境界の最適性を裏付けること。

提案手法

• レインボー一致問題を、頂点分割 $X \cup [n]$ を持つ導出された $(k+1)$-一様超グラフ $\mathcal{F}^{t}(k,n)$ におけるマッチング問題に変換する。ここで $X = \{x_1, \dots, x_t\}$ であり、エッジは $e \in F_i$ に対して $\{x_i\} \cup e$ である。
• 吸収法を適用し、任意の小さなバランスの取れた頂点集合を吸収できる小さな吸収マッチング $M_1$ を $\mathcal{F}^{t}(k,n)$ 内に構築することで、大きなマッチングを完成させる柔軟性を確保する。
• 確率的サンプリングを用いて、$\mathcal{F}^{t}(k,n) - V(M_1)$ の部分グラフ $H$ を生成し、好都合な次数および共次数の性質（最小次数が高く、共次数が低い）を満たすようにする。
• ランダム部分集合 $R_i'$ 上での分数完全マッチングから一般化された二項部分グラフ $H'$ を構築し、各頂点の次数が $\approx n^{0.2}$ で、共次数が $< n^{0.19}$ となるようにする。
• Pippenger の定理（超グラフのエッジ被覆）を適用し、$H'$ に小さなエッジ被覆を発見し、これを剪定してすべての頂点を除く $O(n)$ 個の頂点をカバーするマッチング $M_2$ に変換する。
• 残りの頂点を吸収マッチング $M_1$ を用いて吸収することで、$\mathcal{F}^{t}(k,n)$ 内でサイズ $t$ の完全マッチングを完成させる。

実験結果

リサーチクエスチョン

• RQ1 アハロンイとハワードの予想は、$n > 3k^2t$ の代わりに $n > 2kt$ という弱い条件下でも証明可能か？
• RQ2 各族 $F_i$ のサイズにかかる ${n \choose k} - {n-t+1 \choose k}$ の境界は、レインボー一致の存在を保証するために最適か？
• RQ3 吸収法と分数マッチング技術を効果的に組み合わせることで、グローバル構造が限られた超グラフにおいて大規模なマッチングを構築できるか？
• RQ4 $\mathcal{F}^{t}(k,n)$ が示すどのような構造的性質が、$n > 2kt$ かつ $n$ が十分に大きいときレインボー一致の存在を保証するか？
• RQ5 $\mathcal{F}^{t}(k,n)$ が極値族 $\mathcal{F}_t(k,n)$ に近いという性質が、レインボー一致の存在にどのように影響するか？

主な発見

• アハロンイとハワードの予想は、$n > 2kt$ かつ $n$ が十分に大きいとき、$n > 3k^2t$ の先行結果（Huang, Loh, および Sudakov）を改善して証明された。
• ${n \choose k} - {n-t+1 \choose k}$ の境界が最適であることが示され、固定された $(t-1)$-集合と交差するすべての $k$-集合を含む $F_i$ の例によって、マッチングが存在しないことが確認された。
• $|M_1| \leq cn$（$c$ が小さい）である吸収マッチング $M_1$ が $\mathcal{F}^{t}(k,n)$ 内に存在することで、任意の小さなバランスの取れた頂点集合が完全マッチングに吸収可能であることが保証される。
• $\mathcal{F}^{t}(k,n) - V(M_1)$ のスパニング部分グラフ $H'$ が、Pippenger の定理の条件を満たす次数および共次数の性質を持つように構築され、準完全マッチングの構築が可能になった。
• $\mathcal{F}^{t}(k,n)$ 内の最終的なマッチング $M_2 \cup M_3$ は、最大 $k$ 個の頂点を除きすべてをカバーし、$M_3$ が吸収を完了させるため、結果としてサイズが正確に $t$ のマッチングが得られ、レインボー一致の存在が確認された。
• 証明により、$n > 2kt$ が、与えられたエッジサイズ条件のもとでサイズ $t$ のレインボー一致の存在に十分であることが示された。これは、先行研究に比べて顕著な改善である。