[論文レビュー] Intersecting extremal constructions in Ryser's Conjecture for r-partite hypergraphs

Ahmad Abu-Khazneh, Alexey Pokrovskiy|BIROn (Birkbeck, University of London)|Sep 17, 2014

graph theory and CDMA systems参考文献 8被引用数 10

ひとこと要約

本稿は、Ryserの予想における極値r部的交差超グラフの最小辺数を解明し、f(6) = 13を証明するとともにf(7) ≤ 22を確立した。組合せデザインとコンピュータ探索を用いて、r−1被覆数を持つ明示的な超グラフを構成し、r=7についての初めての既知の極値例を提供するとともに、先行する射影平面構成を上回るr=6の境界を厳密化した。

ABSTRACT

Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph the vertex cover number is at most $r-1$ times the matching number. This conjecture is only known to be true for $r\leq 3$. For intersecting hypergraphs, Ryser's Conjecture reduces to saying that the edges of every $r$-partite intersecting hypergraph can be covered by $r-1$ vertices. This special case of the conjecture has only been proven for $r \leq 5$. It is interesting to study hypergraphs which are extremal in Ryser's Conjecture i.e, those hypergraphs for which the vertex cover number is exactly $r-1$ times the matching number. There are very few known constructions of such graphs. For large $r$ the only known constructions come from projective planes and exist only when $r-1$ is a prime power. Mansour, Song and Yuster studied how few edges a hypergraph which is extremal for Ryser's Conjecture can have. They defined $f(r)$ as the minimum integer so that there exist an $r$-partite intersecting hypergraph $\mathcal{H}$ with $τ({\mathcal{H}}) = r -1$ and with $f(r)$ edges. They showed that $f(3) = 3, f(4) = 6$, $f(5) = 9$, and $12\leq f(6)\leq 15$. In this paper we focus on the cases when $r=6$ and 7. We show that $f(6)=13$ improving previous bounds. We also show that $f(7)\leq 22$, giving the first known extremal hypergraphs for the $r=7$ case of Ryser's Conjecture. These results have been obtained independently by Aharoni, Barat, and Wanless.

研究の動機と目的

• r-一様r部的交差超グラフHについて、被覆数τ(H) = r−1を満たす最小辺数f(r)を特定すること。
• 射影平面構成より少ない辺数で、τ(H) = r−1を達成するr=6およびr=7の明示的極値超グラフを構成すること。
• f(6)の既知の境界におけるギャップを埋め、r=7についての最初の既知の極値超グラフを確立すること。
• f(r) = Θ(r)であるという予想を支持する計算的および組合せ的証拠を提供すること。

提案手法

• 系統的なコンピュータ探索と検証を用いて、22本の辺とτ(H) = 6を有する7部的超グラフを構築した。
• 再帰的かつ分割に基づく構成法を用いて、超辺を生成し、対ごとの交差性およびr−1被覆可能性を保証した。
• 組合せ的補題を適用して、特にf(6) ≠ 12を証明し、f(6) = 13が最小値であることを確立した。
• 計算ツールを用いてすべての可能な頂点被覆を全列挙することで、被覆数τ(H) = r−1を検証した。
• 既知の射影平面に関する結果を活用し、極値構成の文脈を定義し、辺数を比較した。
• 7部的例における超辺の明確な指定のため、(i,j)という表記を用いてi番目の部におけるj番目の頂点を表した。

実験結果

リサーチクエスチョン

• RQ1 τ(H) = r−1を満たすr部的交差超グラフに必要な最小辺数f(r)は何か？
• RQ2 射影平面構成より少ない辺数で、r=6およびr=7の極値超グラフを構成できるか？
• RQ3 f(6)は正確に13であり、f(7)は22以下に上界が与えられるか？
• RQ4 r > 5の場合、射影平面フレームワークの外に新たな極値構成が存在するか？
• RQ5 任意のrに対して、τ(H) = r−c（cは固定定数）を満たすr部的交差超グラフの族を構成できるか？

主な発見

• f(6) = 13であり、以前の境界12 ≤ f(6) ≤ 15を改善した。
• f(7) ≤ 22であり、τ(H) = 6を満たすr=7についての最初の既知の極値超グラフを確立した。
• 22本の辺を有する構築済み7部的超グラフは、計算的に確認された結果、被覆数が正確に6である。
• f(6) ≠ 12の証明は、補題2.12および定理2.9に依拠しており、f(6) = 13が最小値であることを確認した。
• 結果は、アハロニ、バラット、ヴァンレスが独立して得ており、構成の妥当性を強化した。
• 構成は、切断射影平面の(r−1)²本の辺よりも著しく少ない辺数で、Ryserの予想の極値超グラフが存在可能であることを示した。