[論文レビュー] Intersecting families of sets and permutations: a survey

Peter Borg|arXiv (Cornell University)|Jun 30, 2011

Limits and Structures in Graph Theory参考文献 45被引用数 33

ひとこと要約

このサーベイは、t-交差する集合族、符号付き集合、ラベル付き集合、および置換に関して、極値集合論の結果を包括的にレビューし、このような族の構造と最大サイズに焦点を当てる。十分に大きなパラメータに対して、最大のt-交差族はt-スター（共通のt個の要素を持つ族）であることが示され、表現論と高度な組合せ論的技法を用いて、べき集合、べき集合のレベル、遺伝族、置換族において決定的な結果が得られている。

ABSTRACT

A family $\mathcal{A}$ of sets is said to be \emph{$t$-intersecting} if any two sets in $\mathcal{A}$ have at least $t$ common elements. A central problem in extremal set theory is to determine the size or structure of a largest $t$-intersecting sub-family of a given family $\mathcal{F}$. We give a survey of known results, conjectures and open problems for various important families $\mathcal{F}$, namely, power sets, levels of power sets, hereditary families, families of signed sets, families of labeled sets, and families of permutations. We also provide some extensions and consequences of known results.

研究の動機と目的

• t-交差族に関する既知の結果、予想、未解決問題を、べき集合、レベル、遺伝族、符号付き集合、ラベル付き集合、置換を含む主要な組合せ的族についてサーベイすること。
• 最大のt-交差族がt-スター（t-スター性質）である場合、および一意的にそうなる場合（厳密なt-スター性質）を特定すること。
• 特に置換族と符号付き集合族に対して、表現論と固有値法を用いて、極値t-交差族の結果を統合・拡張すること。
• 以前のサーベイ以降の進展を包括的に概説し、未解決の予想と最近の発見的進歩を強調すること。

提案手法

• t-交差族を定義するため、族内のすべてのA, Bに対して|A ∩ B| ≥ tを満たすように、極値集合論を用いて分析する。
• 最大のt-交差族の候補として、固定されたt集合を含むすべての集合を含むt-スターの概念を適用する。
• 置換族の分析には、Ellis, Friedgut, Pilpelの証明で用いられたように、対称群の表現論と固有値技法を用いる。
• 組合せ的境界と極値的構成（例：Deza–Frankl族）を用いて、パラメータが小さい場合に非スター族が最大である可能性を示す。
• 再帰的および構造的議論を用いて、k や n が十分に大きい場合、S_{[n],k}^* や S_{{[n] – r},k}^* のような族で厳密なt-スター性質が成り立つことを証明する。
• Frankl–Wilson, Katona, Ku–Leaderらの先行研究の既知の結果に依拠し、新たな境界と構成を用いてそれらを拡張する。

実験結果

リサーチクエスチョン

• RQ1 どの族Fに対して、最大のt-交差部分族がt-スターとして達成されるか？
• RQ2 族Fが、すべての最大t-交差部分族がt-スターであるという厳密なt-スター性質を満たす条件は何か？
• RQ3 特にtがnに対して大きい場合に、置換族や符号付き集合族における最大t-交差族の構造は何か？
• RQ4 kが十分に大きい場合、Fに依存せず、符号付き集合族S_{F,k}^*においてt-スター性質が保証されるか？
• RQ5 小規模なnに対して、置換族に非自明（非t-スター）な最大t-交差族が存在するか？nが増加する際にそれらはいつ消えるか？

主な発見

• 任意のr ∈ [n]に対して、族S_{{[n] – r},n}^*は厳密なスター性質を持つ。つまり、最大の1-交差部分族はスターである。
• n ≥ n₀(t)のとき、族S_{[n],n}^*はすべてのt ≥ 1に対して厳密なt-スター性質を持つ。これはEllis, Friedgut, Pilpelによる表現論を用いた証明により示された。
• k ≥ k₀*(n,t)のとき、族S_{[n],k}^*は厳密なt-スター性質を持つ。t-交差部分族の最大サイズは(k−t)!/(k−n)!で有界である。
• n ≥ k₀*(r,t)のとき、族S_{{[n] – r},k}^*は厳密なt-スター性質を持つ。最大サイズは(n−t choose r−t) × (n−t)!/(n−r)!で有界である。
• nが十分に大きい場合、DezaとFranklが構成した族G_{n,k,t}は、S_{[n],k}^*の最大t-交差部分族であり、かつt-スターでない。これはt-スター性質が成り立つためにnが十分に大きい必要があることを示している。
• 予想6.5は、k ≥ nのとき、S_{[n],k}^*における極値t-交差族が、初期対角集合との交差閾値に基づく族A_iの和集合であると述べており、この構造はnが十分に大きい場合、定理6.7により確認されている。