[論文レビュー] Minimum density of union-closed families

Igor Balla|arXiv (Cornell University)|Jun 2, 2011

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

ひとこと要約

この論文は、最大集合のサイズが $n$ である連合閉族の最小密度が $n \to \infty$ の際に漸近的に $\log_2 n / (2n)$ に達することを、Wójcikの予想を証明する。Reimerの不等式を用いて連合閉族における平均集合サイズについての下界を確立し、Wójcikの予想される漸近値と一致する。さらに、$n \geq 16$ のとき、ある要素が $\sqrt{("log_2 n)/n} \cdot |\mathscr{F}|/2$ 個以上の集合に現れることを示す系を得る。

ABSTRACT

Let F be a finite union-closed family of sets whose largest set contains n elements. In \cite{Wojcik92}, Wojcik defined the density of F to be the ratio of the average set size of F to n and conjectured that the minimum density over all union-closed families whose largest set contains n elements is (1 + o(1))\log_2(n)/(2n) as n approaches infinity. We use a result of Reimer \cite{Reimer03} to show that the density of F is always at least log_2(n)/(2n), verifying Wojcik's conjecture. As a corollary we show that for n \geq 16, some element must appear in at least \sqrt{(\log_2(n))/n}(|F|/2) sets of F.

研究の動機と目的

• 最大集合のサイズが $n$ である連合閉族の最小密度が漸近的に $(1+o(1))\log_2 n / (2n)$ であるというWójcikの予想を検証すること。
• 連合閉族における平均集合サイズについて、Reimerの定理を用いて下界を確立すること。
• $n \geq 16$ のとき、ある要素が少なくとも $\sqrt{(\log_2 n)/n} \cdot |\mathscr{F}|/2$ 個の集合に現れることを示し、Franklの予想に対する弱い意味での定量的強化を提供すること。
• Franklの予想に対する証拠を提供するため、最小密度 $s_n$ に対する鋭い漸近的下界を証明すること。

提案手法

• 連合閉族にReimerの不等式 $\frac{1}{|\mathscr{F}|}\sum_{A \in \mathscr{F}} |A| \geq \frac{1}{2}\log_2 |\mathscr{F}|$ を適用する。
• 数学的帰納法と構造的補題を用いて、$|\mathscr{F}| < n$ のとき、同一の集合所属関係 $\mathscr{F}_a = \mathscr{F}_b$ を持つ異なる要素 $a, b$ が存在することを示す。
• このような同一所属関係を持つ集合の存在を活用して、全要素カバレッジ $\sum_{a \in \bigcup \mathscr{F}} |\mathscr{F}_a|$ の下界を導出する。
• Reimerの定理の下界と構造的補題を組み合わせることで、すべての $n$ に対して $D(\mathscr{F}) \geq \log_2 n / (2n)$ を得る。
• $k = \lceil \log_2 n \rceil$ を用いた族 $\mathscr{F} = \{A \subseteq \{1,\dots,k\}\} \cup \{\{1,\dots,n\}\}$ を構築し、上界 $s_n \leq (1+o(1))\log_2 n / (2n)$ を示す。
• 密度の下界と最小集合サイズに関する場合分けの解析を組み合わせ、関数 $f(x) = 2x^2 / \log_2 x$ を用いて境界を比較することで、系2を導出する。

実験結果

リサーチクエスチョン

• RQ1 最大集合のサイズが $n$ である連合閉族の最小密度は、$n \to \infty$ の際に漸近的に $\log_2 n / (2n)$ に達するか？
• RQ2 平均集合サイズに関するReimerの不等式を用いて、最小密度 $s_n$ に対するタイトな下界を確立できるか？
• RQ3 小さな族において同一の所属関係 ($\mathscr{F}_a = \mathscr{F}_b$) を持つ要素の存在が、密度の上昇をもたらすか？
• RQ4 $n \geq 16$ のとき、連合閉族において常にある要素が少なくとも $\sqrt{(\log_2 n)/n} \cdot |\mathscr{F}|/2$ 個の集合に現れるか？
• RQ5 最小密度 $s_n$ が上界と下界の両方で抑えられ、漸近形 $s_n = (1+o(1))\log_2 n / (2n)$ を確認できるか？

主な発見

• 最大集合のサイズが $n$ である連合閉族の最小密度 $s_n$ は、Reimerの不等式と構造的補題を用いて $s_n \geq \log_2 n / (2n)$ を満たすことが証明された。
• 漸近的に $s_n = (1+o(1))\log_2 n / (2n)$ となることが示され、Wójcikの予想が確認された。
• $n \geq 16$ のとき、ある要素 $a$ が $|\mathscr{F}_a| \geq \frac{1}{2}\sqrt{\frac{\log_2 n}{n}} |\mathscr{F}|$ を満たすことが保証され、要素の出現頻度に関する定量的下界が得られた。
• 族 $\mathscr{F} = \{A \subseteq \{1,\dots,k\}\} \cup \{\{1,\dots,n\}\}$ で $k = \lceil \log_2 n \rceil$ とすると、密度 $D(\mathscr{F}) = (1+o(1))\log_2 n / (2n)$ を達成し、この境界がタイトであることが示された。
• 証明では、$|\mathscr{F}| < n$ の場合に、同一の所属関係を持つ要素の存在を用いて帰納法と構造的補題を組み合わせて境界を導出している。
• この方法では、$n \geq 3$ のとき $s_n < 1/2$ であるため、Franklの予想を証明するものではないが、その漸近的妥当性に対する強い証拠を提供している。