[論文レビュー] Degree conditions for matchability in $3$-partite hypergraphs

Ron Aharoni, Eli Berger+2 more|arXiv (Cornell University)|May 18, 2016

Limits and Structures in Graph Theory参考文献 15被引用数 3

ひとこと要約

本稿では、3部グラフにおける大きなマッチングを保証する次数条件について、位相的証明を確立している。特に、二部グラフにおける2n−1個のサイズnのマッチングが、やや緩いサイズ制約のもとでサイズnのレインボーマッチングを許容することを証明している。これはDriskoの定理を強化し、組合せ的位相と次数に基づく条件を用いて、ラテン平方や横断的配置に関する結果を拡張している。

ABSTRACT

We study conjectures relating degree conditions in $3$-partite hypergraphs to the matching number of the hypergraph, and use topological methods to prove special cases. In particular, we prove a strong version of a theorem of Drisko \cite{drisko} (as generalized by the first two authors \cite{ab}), that every family of $2n-1$ matchings of size $n$ in a bipartite graph has a partial rainbow matching of size $n$. We show that milder restrictions on the sizes of the matchings suffice. Another result that is strengthened is a theorem of Cameron and Wanless \cite{CamWan}, that every Latin square has a diagonal (permutation submatrix) in which no symbol appears more than twice. We show that the same is true under the weaker condition that the square is row-Latin.

研究の動機と目的

• 二部グラフにおける2n−1個のサイズnのマッチングが、緩いサイズ制約のもとでサイズnのレインボーマッチングを許容することを証明すること。
• すべてのマッチングがサイズが正確にnであるという要件を弱めることで、Driskoの定理を一般化すること。
• ラテン平方と横断的配置に関する結果を拡張し、各行がラテン平方である場合に、同じ記号が横断的配置に2回までしか現れないサイズn−1の部分横断的配置が存在することを証明すること。
• サイズが可変なマッチングを許容する強力なレインボーマッチング定理の位相的証明を確立すること。
• 3部ハイパーグラフにおけるマッチング数の一般化された次数条件を提示・調査すること。これには非対称および正則性に基づく予想が含まれる。

提案手法

• カラフルなヘリの定理とゲーム理論的議論を用いて、大きなレインボーマッチングの存在を証明するため、位相的手法を用いる。
• プレイヤー（POS と NON）が頂点を交互に操作するゲーム理論的モデルを用い、マッチング構築を模倣し、スコアの仮定から矛盾を導出する。
• 次数と単純性の制約を適用する：(A,C) は単純、(B,C) は2-単純、かつすべての a ∈ A に対して deg(a) = n とし、辺数の上限を導出し矛盾を導く。
• 最小マッチングサイズの列が「適合可能（accommodating）」であることを定義し、列が適合可能であることと、すべての i ≤ 2n−1 に対して ai ≥ min(i,n) であることが同値であることを証明する。
• H から二重コピーのハイパーグラフ H′ を構成し、単純性と2-単純性を保った上で、定理1.10を適用し、ν(H′) = n から ν(H) = n を導出する。
• 辺数の上限に基づく背理法を用いる：ν(H) < n を仮定し、|E(GK)| の上界を導出し、次数条件から得られる下界と矛盾させる。

実験結果

リサーチクエスチョン

• RQ1 Driskoの定理における、2n−1個のマッチングがすべて正確にサイズnであるという条件を、より小さいマッチングを許容するように緩めることは可能か？
• RQ2 3部ハイパーグラフにおいて、次数および単純性のどの条件下でマッチング数 ν(H) が n に達するか？
• RQ3 ラテン平方に関するBrualdi-Stein予想は、横断的配置において同じ記号が2回までしか現れないような行ラテン平方へと拡張可能か？
• RQ4 Driskoの定理における2n−1個のマッチングという上限はタイトか？ また、極値的構成は一意的か？
• RQ5 3部ハイパーグラフにおいて、ν(H) ≥ n を保証する最小の次数および単純性の条件は何か？

主な発見

• 二部グラフにおける2n−1個のマッチングの族で、i ≤ n−1 のとき |Fi| ≥ i かつ i ≥ n のとき |Fi| = n であるならば、サイズnのレインボーマッチングが存在する。
• すべての i ≤ 2n−1 に対して |Fi| ≥ min(i,n) であることは、サイズnのレインボーマッチングの存在にとって必要かつ十分な条件である。
• ハイパーグラフ版のDriskoの定理は、より弱い条件下でも成立する：|A| ≥ 2n−1、すべての a ∈ A に対して deg(a) = n、(A,C) が単純、(B,C) が2-単純ならば、ν(H) ≥ n である。
• すべての行ラテン平方が、同じ記号が2回までしか現れないサイズn−1の部分横断的配置をもつという予想が確認された。
• 二重コピーのハイパーグラフ H′ を構成することで、単純性と2-単純性が保たれ、ν(H′) = n から ν(H) = n を導出できる。
• ν(H) < n を仮定することで、|E(GK)| の上界が得られ、次数および単純性の制約から得られる下界と矛盾する。