[論文レビュー] Two Results on Union-Closed Families

Ilan Karpas|arXiv (Cornell University)|Aug 4, 2017

Limits and Structures in Graph Theory参考文献 19被引用数 5

ひとこと要約

本稿はブール解析を用いて、和集合閉じた族に関する2つの主要な結果を確立する。第一に、少なくとも冪集合の半分（$2^{n-1}$ 個の集合）を含む和集合閉じた族では、その族の半数以上の集合に現れる要素が存在する。第二に、族に属さないが、族に属するある集合を覆う集合の数は、$2^{n-1}$ 以下であり、この上限はタイトである。これらの結果は、フランクリュの予想を、大規模な族における豊富性の成立を示すことによって前進させる。第一の結果は、ブール関数上のフーリエ解析を用いて証明されている。

ABSTRACT

We show that there is some absolute constant $c>0$, such that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, if \mbox{$|\mathcal{F}| \geq (\frac{1}{2}-c)2^n$}, then there is some element $i \in [n]$ that appears in at least half of the sets of $\mathcal{F}$. We also show that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, the number of sets which are not in $\mathcal{F}$ that cover a set in $\mathcal{F}$ is at most $2^{n-1}$, and provide examples where the inequality is tight.

研究の動機と目的

• サイズが $2^{n-1}$ 以上のすべての和集合閉じた族が、その半数以上の集合に現れる要素を含むことを証明し、フランクリュの予想を支援すること。
• 和集合閉じた族に属さないが、族に属するある集合を覆う集合の数に対する上限 $2^{n-1}$ を確立し、この上限がタイトであることを示すこと。
• 和集合閉じた族における要素の豊富性に関する既存の結果を強化するために、高度なブール解析技術を適用すること。
• 和集合閉じた族の特性関数のフーリエ係数とその構造的性質との関係を調査すること。

提案手法

• ハイパーキューブ上のフーリエ解析を含むブール解析を用いて、和集合閉じた族の特性関数を分析する。
• FKN定理およびKindler-Safra定理を適用し、関数がバランス関数から離れる距離を制限することで、特定の仮定の下で矛盾を導く。
• 影響力とフーリエ係数の分析を用いて、ブール関数の正の影響力 $I^+(f)$ の境界を導出する。
• 和集合閉じた族が単純にルートを持つブール関数に対応することを活用し、構造的制約を導出する。
• 上層作用素 $\partial^+\mathcal{F}$ を用いて、$\mathcal{F}$ に属さないが $\mathcal{F}$ の集合を覆う集合を分析する。
• ブール関数解析からの定理と組合せ論的推論を組み合わせ、要素の豊富性およびシャドウサイズに関するタイトな境界を証明する。

実験結果

リサーチクエスチョン

• RQ1 サイズが $2^{n-1}$ 以上のすべての和集合閉じた族は、その半数以上の集合に現れる要素を含むか？
• RQ2 和集合閉じた族に属さないが、族に属するある集合を覆う集合の最大サイズは何か？
• RQ3 ブール解析技術は、フランクリュの予想および極値組合せ論における関連問題に効果的に適用可能か？
• RQ4 和集合閉じた族の特性関数のフーリエ係数は、その構造的性質をどのように制約するか？
• RQ5 単純にルートを持つブール関数において、負のフーリエ係数 $\hat{f}(\emptyset)$ と正の影響力 $I^+(f)$ の間にタイトな関係があるか？

主な発見

• すべての和集合閉じた族 $\mathcal{F} \subseteq 2^{[n]}$ に対して、$|\mathcal{F}| \geq \left(\frac{1}{2} - c\right)2^n$ を満たす絶対定数 $c > 0$ が存在し、その族に半数以上の集合に現れる要素が存在する。
• 任意の和集合閉じた族 $\mathcal{F} \subseteq 2^{[n]}$ に対して、$\mathcal{F}$ に属さないが $\mathcal{F}$ のある集合を覆う集合の数は、$2^{n-1}$ 以下であり、この上限はタイトである。
• 上限 $|\mathcal{F}| \geq 2^{n-1}$ が成立する場合、ある要素の豊富性が保証され、これは以前の結果（$|\mathcal{F}| \geq \left(\frac{2}{3} - \frac{1}{104}\right)2^n$ を必要としていた）に比べて顕著な改善である。
• 主結果の証明には、特にフーリエ解析を用いたブール解析の新しい技術が用いられ、どの要素も豊富ではないという仮定の下で矛盾を導出する。
• 上層の上限はタイトであり、例 $\mathcal{F} = \{A \subseteq [n] \mid 1 \notin A\}$ によって示されている。この場合、$\mathcal{F}$ に属さないが $\mathcal{F}$ の集合を覆う集合はちょうど $2^{n-1}$ 個存在する。
• 本稿では、単純にルートを持つブール関数において、負のフーリエ係数 $\hat{f}(\emptyset)$ と正の影響力 $I^+(f)$ の間にタイトな関係があると予想しており、既知の等周不等式を一般化するものである。