[論文レビュー] On Ryser's conjecture: $t$-intersecting and degree-bounded hypergraphs, covering by heterogeneous sets

Zoltán Király, Lilla Tóthmérész|arXiv (Cornell University)|May 29, 2017

Limits and Structures in Graph Theory被引用数 1

ひとこと要約

この論文は、$r$-一様 $r$-部グラフのRyserの予想を、$t$-交差するおよび次数制限付きのケースに焦点を当てて調査する。最大次数が2である超グラフについて予想を証明し、$r$-辺彩色完全グラフにおける異なる色の$r-1$個の単色成分による頂点被覆に関する鋭い境界を確立し、長年の予想に対する部分的進展をもたらす。

ABSTRACT

A famous conjecture (usually called Ryser's conjecture) that appeared in the Ph.D thesis of his student, J.~R.~Henderson [15], states that for an $r$-uniform $r$-partite hypergraph $\mathcal{H}$, the inequality $ au(\mathcal{H})\le(r-1)\cdot u(\mathcal{H})$ always holds. This conjecture is widely open, except in the case of $r=2$, when it is equivalent to K\H onig's theorem [18], and in the case of $r=3$, which was proved by Aharoni in 2001 [3]. Here we study some special cases of Ryser's conjecture. First of all the most studied special case is when $\mathcal{H}$ is intersecting. Even for this special case, not too much is known: this conjecture is proved only for $r\le 5$ in [10,21]. For $r>5$ it is also widely open. Generalizing the conjecture for intersecting hypergraphs, we conjecture the following. If an $r$-uniform $r$-partite hypergraph $\mathcal{H}$ is $t$-intersecting (i.e., every two hyperedges meet in at least $t r/4$. Gyarfas [10] showed that Ryser's conjecture for intersecting hypergraphs is equivalent to saying that the vertices of an $r$-edge-colored complete graph can be covered by $r-1$ monochromatic components. Motivated by this formulation, we examine what fraction of the vertices can be covered by $r-1$ monochromatic components of \emph{different} colors in an $r$-edge-colored complete graph. We prove a sharp bound for this problem. Finally we prove Ryser's conjecture for the very special case when the maximum degree of the hypergraph is two.

研究の動機と目的

• 交差する超グラフの既知のケースを一般化し、$t$-交差する$r$-一様 $r$-部超グラフにおけるRyserの予想を拡張すること。
• $r$-辺彩色完全グラフにおける頂点の被覆可能性を、異なる色の$r-1$個の単色成分を用いて調査すること。
• 超グラフの最大次数が2である特殊ケースにおいてRyserの予想を証明すること。
• $r$-辺彩色完全グラフにおける異なる色の$r-1$個の単色成分による頂点被覆の割合の鋭い上界を確立すること。

提案手法

• 交差する超グラフにおけるRyserの予想の一般化版を提示し、$t \geq r/4$ のとき $\alpha(\mathcal{H}) \leq (r-1)\cdot \mu(\mathcal{H})$ が成り立つと提案する。
• 交差する超グラフにおけるRyserの予想と、$r$-辺彩色完全グラフにおける単色成分被覆問題との等価性を用いる。
• 極値的グラフ理論的手法を用いて、異なる色の$r-1$個の単色成分が被覆できる頂点の最大割合を分析する。
• 構造的および組合せ的議論を適用し、次数制約を活用して辺の配置を制限することで、最大次数が2の超グラフにおける予想を証明する。
• 極値的構成と二重数え上げ法を用いて、異なる色の$r-1$個の単色成分による頂点被覆割合の鋭い上界を確立する。

実験結果

リサーチクエスチョン

• RQ1 $r$-辺彩色完全グラフにおいて、異なる色の$r-1$個の単色成分が被覆できる頂点の最大割合は何か？
• RQ2 Ryserの予想は、$t \geq r/4$ を満たす$t$-交差する$r$-一様 $r$-部超グラフに対しても成り立つか？
• RQ3 最大次数が2である超グラフにおいてRyserの予想を証明できるか？
• RQ4 交差する超グラフにおけるRyserの予想と単色成分被覆形式との間には等価性があるか？
• RQ5 異なる色の$r-1$個の単色成分を用いた最大頂点被覆サイズの最もタイトな境界は何か？

主な発見

• 本論文は、最大次数が2である$r$-一様 $r$-部超グラフにおけるRyserの予想を証明し、予想が成り立つ新たな特殊ケースを確立した。
• $r$-辺彩色完全グラフにおいて、異なる色の$r-1$個の単色成分が被覆できる頂点の割合に対する鋭い上界を確立した。
• $t \geq r/4$ のとき、$\alpha(\mathcal{H}) \leq (r-1)\cdot \mu(\mathcal{H})$ が成り立つと示唆する、$t$-交差する超グラフへの予想の一般化を提示した。
• 交差する超グラフにおけるRyserの予想と単色成分被覆問題との等価性を再確認し、主要な道具として用いた。
• 特に色の多様性制約下での単色成分による頂点被覆可能性に関する、新たな構造的洞察を提供した。